diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-25 18:21:08 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-25 18:21:08 -0700 |
| commit | cd8a640989d0819266d2678304951de2a247405d (patch) | |
| tree | a41d38e6f3eff20be5ec1269d5558621615d221a | |
| parent | 34aa3532fb1df2300da83df4071b46da69e3723c (diff) | |
| download | yosys-cd8a640989d0819266d2678304951de2a247405d.tar.gz yosys-cd8a640989d0819266d2678304951de2a247405d.tar.bz2 yosys-cd8a640989d0819266d2678304951de2a247405d.zip | |
Reject if (* init *) present
| -rw-r--r-- | passes/pmgen/ice40_dsp.pmg | 3 | ||||
| -rw-r--r-- | passes/pmgen/xilinx_dsp.pmg | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/passes/pmgen/ice40_dsp.pmg b/passes/pmgen/ice40_dsp.pmg index 9330dd09b..6b6d2b56f 100644 --- a/passes/pmgen/ice40_dsp.pmg +++ b/passes/pmgen/ice40_dsp.pmg @@ -333,6 +333,9 @@ code reject; if (c.wire->get_bool_attribute(\keep)) reject; + Const init = c.wire->attributes.at(\init, State::Sx); + if (!init.is_fully_undef() && !init.is_fully_zero()) + reject; } endcode diff --git a/passes/pmgen/xilinx_dsp.pmg b/passes/pmgen/xilinx_dsp.pmg index e256f7d7e..0a345e88d 100644 --- a/passes/pmgen/xilinx_dsp.pmg +++ b/passes/pmgen/xilinx_dsp.pmg @@ -355,6 +355,9 @@ code reject; if (c.wire->get_bool_attribute(\keep)) reject; + Const init = c.wire->attributes.at(\init, State::Sx); + if (!init.is_fully_undef() && !init.is_fully_zero()) + reject; } endcode |