diff options
| author | clairexen <claire@symbioticeda.com> | 2020-06-10 12:44:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-10 12:44:23 +0200 |
| commit | b2a0f49371170deb9c19bb9444c1c997fc1d1917 (patch) | |
| tree | 7edcd36834a5c7ad59960588a600532ce6ad7b4e /techlibs/common/prep.cc | |
| parent | a408771c62eed4252cd2a8f4ae6dd7fa75d1e696 (diff) | |
| parent | b3b515087d61762ee350e9fce9cb77fb6cacaa3a (diff) | |
| download | yosys-b2a0f49371170deb9c19bb9444c1c997fc1d1917.tar.gz yosys-b2a0f49371170deb9c19bb9444c1c997fc1d1917.tar.bz2 yosys-b2a0f49371170deb9c19bb9444c1c997fc1d1917.zip | |
Merge pull request #2131 from YosysHQ/claire/preserveffs
Do not optimize away FFs in "prep" and Verific front-end
Diffstat (limited to 'techlibs/common/prep.cc')
| -rw-r--r-- | techlibs/common/prep.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/techlibs/common/prep.cc b/techlibs/common/prep.cc index cdd21c3b3..82e6126c6 100644 --- a/techlibs/common/prep.cc +++ b/techlibs/common/prep.cc @@ -192,7 +192,7 @@ struct PrepPass : public ScriptPass run(nokeepdc ? "opt_expr" : "opt_expr -keepdc"); run("opt_clean"); run("check"); - run(nokeepdc ? "opt" : "opt -keepdc"); + run(nokeepdc ? "opt -noff" : "opt -noff -keepdc"); if (!ifxmode) { if (help_mode) run("wreduce -keepdc [-memx]"); @@ -208,7 +208,7 @@ struct PrepPass : public ScriptPass run("opt_clean"); run("memory_collect"); } - run(nokeepdc ? "opt -fast" : "opt -keepdc -fast"); + run(nokeepdc ? "opt -noff -fast" : "opt -noff -keepdc -fast"); } if (check_label("check")) |