abc9_ops: still emit delay table even box has no timing

[yosys.git] / passes / techmap / dffsr2dff.cc

diff --git a/passes/techmap/dffsr2dff.cc b/passes/techmap/dffsr2dff.cc
index 086a1d2fad1998af58332c9186ffacf017d4c13d..61b06fdc1ca5b4ccd4d1a422cd63311d4a4b90bc 100644 (file)
--- a/passes/techmap/dffsr2dff.cc
+++ b/passes/techmap/dffsr2dff.cc
@@ -25,17 +25,17 @@ PRIVATE_NAMESPACE_BEGIN
 
 void dffsr_worker(SigMap &sigmap, Module *module, Cell *cell)
 {
-       if (cell->type == "$dffsr")
+       if (cell->type == ID($dffsr))
        {
-               int width = cell->getParam("\\WIDTH").as_int();
-               bool setpol = cell->getParam("\\SET_POLARITY").as_bool();
-               bool clrpol = cell->getParam("\\CLR_POLARITY").as_bool();
+               int width = cell->getParam(ID(WIDTH)).as_int();
+               bool setpol = cell->getParam(ID(SET_POLARITY)).as_bool();
+               bool clrpol = cell->getParam(ID(CLR_POLARITY)).as_bool();
 
                SigBit setunused = setpol ? State::S0 : State::S1;
                SigBit clrunused = clrpol ? State::S0 : State::S1;
 
-               SigSpec setsig = sigmap(cell->getPort("\\SET"));
-               SigSpec clrsig = sigmap(cell->getPort("\\CLR"));
+               SigSpec setsig = sigmap(cell->getPort(ID(SET)));
+               SigSpec clrsig = sigmap(cell->getPort(ID(CLR)));
 
                Const reset_val;
                SigSpec setctrl, clrctrl;
@@ -78,32 +78,32 @@ void dffsr_worker(SigMap &sigmap, Module *module, Cell *cell)
                log("Converting %s cell %s.%s to $adff.\n", log_id(cell->type), log_id(module), log_id(cell));
 
                if (GetSize(setctrl) == 1) {
-                       cell->setPort("\\ARST", setctrl);
-                       cell->setParam("\\ARST_POLARITY", setpol);
+                       cell->setPort(ID(ARST), setctrl);
+                       cell->setParam(ID(ARST_POLARITY), setpol);
                } else {
-                       cell->setPort("\\ARST", clrctrl);
-                       cell->setParam("\\ARST_POLARITY", clrpol);
+                       cell->setPort(ID(ARST), clrctrl);
+                       cell->setParam(ID(ARST_POLARITY), clrpol);
                }
 
-               cell->type = "$adff";
-               cell->unsetPort("\\SET");
-               cell->unsetPort("\\CLR");
-               cell->setParam("\\ARST_VALUE", reset_val);
-               cell->unsetParam("\\SET_POLARITY");
-               cell->unsetParam("\\CLR_POLARITY");
+               cell->type = ID($adff);
+               cell->unsetPort(ID(SET));
+               cell->unsetPort(ID(CLR));
+               cell->setParam(ID(ARST_VALUE), reset_val);
+               cell->unsetParam(ID(SET_POLARITY));
+               cell->unsetParam(ID(CLR_POLARITY));
 
                return;
        }
 
-       if (cell->type.in("$_DFFSR_NNN_", "$_DFFSR_NNP_", "$_DFFSR_NPN_", "$_DFFSR_NPP_",
-                       "$_DFFSR_PNN_", "$_DFFSR_PNP_", "$_DFFSR_PPN_", "$_DFFSR_PPP_"))
+       if (cell->type.in(ID($_DFFSR_NNN_), ID($_DFFSR_NNP_), ID($_DFFSR_NPN_), ID($_DFFSR_NPP_),
+                       ID($_DFFSR_PNN_), ID($_DFFSR_PNP_), ID($_DFFSR_PPN_), ID($_DFFSR_PPP_)))
        {
                char clkpol = cell->type.c_str()[8];
                char setpol = cell->type.c_str()[9];
                char clrpol = cell->type.c_str()[10];
 
-               SigBit setbit = sigmap(cell->getPort("\\S"));
-               SigBit clrbit = sigmap(cell->getPort("\\R"));
+               SigBit setbit = sigmap(cell->getPort(ID(S)));
+               SigBit clrbit = sigmap(cell->getPort(ID(R)));
 
                SigBit setunused = setpol == 'P' ? State::S0 : State::S1;
                SigBit clrunused = clrpol == 'P' ? State::S0 : State::S1;
@@ -112,14 +112,14 @@ void dffsr_worker(SigMap &sigmap, Module *module, Cell *cell)
 
                if (setbit == setunused) {
                        cell->type = stringf("$_DFF_%c%c0_", clkpol, clrpol);
-                       cell->unsetPort("\\S");
+                       cell->unsetPort(ID(S));
                        goto converted_gate;
                }
 
                if (clrbit == clrunused) {
                        cell->type = stringf("$_DFF_%c%c1_", clkpol, setpol);
-                       cell->setPort("\\R", cell->getPort("\\S"));
-                       cell->unsetPort("\\S");
+                       cell->setPort(ID(R), cell->getPort(ID(S)));
+                       cell->unsetPort(ID(S));
                        goto converted_gate;
                }
 
@@ -133,32 +133,32 @@ void dffsr_worker(SigMap &sigmap, Module *module, Cell *cell)
 
 void adff_worker(SigMap &sigmap, Module *module, Cell *cell)
 {
-       if (cell->type == "$adff")
+       if (cell->type == ID($adff))
        {
-               bool rstpol = cell->getParam("\\ARST_POLARITY").as_bool();
+               bool rstpol = cell->getParam(ID(ARST_POLARITY)).as_bool();
                SigBit rstunused = rstpol ? State::S0 : State::S1;
-               SigSpec rstsig = sigmap(cell->getPort("\\ARST"));
+               SigSpec rstsig = sigmap(cell->getPort(ID(ARST)));
 
                if (rstsig != rstunused)
                        return;
 
                log("Converting %s cell %s.%s to $dff.\n", log_id(cell->type), log_id(module), log_id(cell));
 
-               cell->type = "$dff";
-               cell->unsetPort("\\ARST");
-               cell->unsetParam("\\ARST_VALUE");
-               cell->unsetParam("\\ARST_POLARITY");
+               cell->type = ID($dff);
+               cell->unsetPort(ID(ARST));
+               cell->unsetParam(ID(ARST_VALUE));
+               cell->unsetParam(ID(ARST_POLARITY));
 
                return;
        }
 
-       if (cell->type.in("$_DFF_NN0_", "$_DFF_NN1_", "$_DFF_NP0_", "$_DFF_NP1_",
-                       "$_DFF_PN0_", "$_DFF_PN1_", "$_DFF_PP0_", "$_DFF_PP1_"))
+       if (cell->type.in(ID($_DFF_NN0_), ID($_DFF_NN1_), ID($_DFF_NP0_), ID($_DFF_NP1_),
+                       ID($_DFF_PN0_), ID($_DFF_PN1_), ID($_DFF_PP0_), ID($_DFF_PP1_)))
        {
                char clkpol = cell->type.c_str()[6];
                char rstpol = cell->type.c_str()[7];
 
-               SigBit rstbit = sigmap(cell->getPort("\\R"));
+               SigBit rstbit = sigmap(cell->getPort(ID(R)));
                SigBit rstunused = rstpol == 'P' ? State::S0 : State::S1;
 
                if (rstbit != rstunused)
@@ -168,7 +168,7 @@ void adff_worker(SigMap &sigmap, Module *module, Cell *cell)
                log("Converting %s cell %s.%s to %s.\n", log_id(cell->type), log_id(module), log_id(cell), log_id(newtype));
 
                cell->type = newtype;
-               cell->unsetPort("\\R");
+               cell->unsetPort(ID(R));
 
                return;
        }