diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-16 00:17:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-16 00:17:15 +0100 |
| commit | 3fb363ec8c728e49f4206cb245028137dc2ff885 (patch) | |
| tree | 8b6ebb50417b0ce18838157cf1dffe3fe9f959dc /kernel/rtlil.cc | |
| parent | b5cf8c9442774bba49d308d75d72036d6b05ec38 (diff) | |
| parent | dacaebae35c81b4f4970af3ef8bfdb73691fa215 (diff) | |
| download | yosys-3fb363ec8c728e49f4206cb245028137dc2ff885.tar.gz yosys-3fb363ec8c728e49f4206cb245028137dc2ff885.tar.bz2 yosys-3fb363ec8c728e49f4206cb245028137dc2ff885.zip | |
Merge pull request #876 from YosysHQ/clifford/fmcombine
Add fmcombine pass
Diffstat (limited to 'kernel/rtlil.cc')
| -rw-r--r-- | kernel/rtlil.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index 7f1816190..d0fa88890 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -760,7 +760,7 @@ namespace { void check() { - if (cell->type.substr(0, 1) != "$" || cell->type.substr(0, 3) == "$__" || cell->type.substr(0, 8) == "$paramod" || + if (cell->type.substr(0, 1) != "$" || cell->type.substr(0, 3) == "$__" || cell->type.substr(0, 8) == "$paramod" || cell->type.substr(0,10) == "$fmcombine" || cell->type.substr(0, 9) == "$verific$" || cell->type.substr(0, 7) == "$array:" || cell->type.substr(0, 8) == "$extern:") return; @@ -2360,7 +2360,7 @@ void RTLIL::Cell::check() void RTLIL::Cell::fixup_parameters(bool set_a_signed, bool set_b_signed) { - if (type.substr(0, 1) != "$" || type.substr(0, 2) == "$_" || type.substr(0, 8) == "$paramod" || + if (type.substr(0, 1) != "$" || type.substr(0, 2) == "$_" || type.substr(0, 8) == "$paramod" || type.substr(0,10) == "$fmcombine" || type.substr(0, 9) == "$verific$" || type.substr(0, 7) == "$array:" || type.substr(0, 8) == "$extern:") return; |