SigSet<Cell*> to use stable compare class
authorEddie Hung <eddie@fpgeh.com>
Thu, 12 Sep 2019 18:45:02 +0000 (11:45 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 12 Sep 2019 18:45:02 +0000 (11:45 -0700)
kernel/consteval.h
passes/cmds/scc.cc
passes/opt/opt_reduce.cc
passes/opt/opt_rmdff.cc
passes/sat/sat.cc

index 7a83d28e7d3678ecc8205adea6fb03f9a7672463..c1c0c45cc844aa6f6192e005327a9fbbe25bda74 100644 (file)
@@ -33,7 +33,7 @@ struct ConstEval
        SigMap assign_map;
        SigMap values_map;
        SigPool stop_signals;
-       SigSet<RTLIL::Cell*> sig2driver;
+       SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> sig2driver;
        std::set<RTLIL::Cell*> busy;
        std::vector<SigMap> stack;
        RTLIL::State defaultval;
index 99f4fbae8799ff5c19c1b99d94154ab35c95d260..0a4f9e98d6965de32942e4b2ee0c541533333c05 100644 (file)
@@ -116,7 +116,7 @@ struct SccWorker
                }
 
                SigPool selectedSignals;
-               SigSet<RTLIL::Cell*> sigToNextCells;
+               SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> sigToNextCells;
 
                for (auto &it : module->wires_)
                        if (design->selected(module, it.second))
index 6a8d8cabdf56f303363fc78a0910d08a199aa7d4..9850775afb885f8ff2d9056b2a2947fd66869af9 100644 (file)
@@ -37,7 +37,7 @@ struct OptReduceWorker
        int total_count;
        bool did_something;
 
-       void opt_reduce(pool<RTLIL::Cell*> &cells, SigSet<RTLIL::Cell*> &drivers, RTLIL::Cell *cell)
+       void opt_reduce(pool<RTLIL::Cell*> &cells, SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> &drivers, RTLIL::Cell *cell)
        {
                if (cells.count(cell) == 0)
                        return;
@@ -289,7 +289,7 @@ struct OptReduceWorker
                        const IdString type_list[] = { ID($reduce_or), ID($reduce_and) };
                        for (auto type : type_list)
                        {
-                               SigSet<RTLIL::Cell*> drivers;
+                               SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> drivers;
                                pool<RTLIL::Cell*> cells;
 
                                for (auto &cell_it : module->cells_) {
index 0bf74098aef2610ed1fa847cd7c01e16861b69c8..8d4b6b14b7cf4b3db6ccb7da3229129e159c2f4a 100644 (file)
@@ -29,7 +29,7 @@ USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
 SigMap assign_map, dff_init_map;
-SigSet<RTLIL::Cell*> mux_drivers;
+SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> mux_drivers;
 dict<SigBit, RTLIL::Cell*> bit2driver;
 dict<SigBit, pool<SigBit>> init_attributes;
 
index 430bba1e82cec5139afaacb4182723b99f8edb28..097fc5a2e9e9b3b21c7b727e64cc5b45bd5e6164 100644 (file)
@@ -61,7 +61,7 @@ struct SatHelper
        // model variables
        std::vector<std::string> shows;
        SigPool show_signal_pool;
-       SigSet<RTLIL::Cell*> show_drivers;
+       SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> show_drivers;
        int max_timestep, timeout;
        bool gotTimeout;