diff options
author | Claire Wolf <claire@symbioticeda.com> | 2020-06-09 15:54:14 +0200 |
---|---|---|
committer | Claire Wolf <claire@symbioticeda.com> | 2020-06-09 15:54:14 +0200 |
commit | 3c7122c3788a05d90423f22ec03f97c39da2da0b (patch) | |
tree | 8d1c6075a45cb77b5cb4cc49c81efdb7e1939c34 /techlibs/common/prep.cc | |
parent | 9a2cf5e3db15218af9a5320a8ca1a7f190aa236b (diff) | |
download | yosys-3c7122c3788a05d90423f22ec03f97c39da2da0b.tar.gz yosys-3c7122c3788a05d90423f22ec03f97c39da2da0b.tar.bz2 yosys-3c7122c3788a05d90423f22ec03f97c39da2da0b.zip |
Do not optimize away FFs in "prep" and Verific fron-end
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
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")) |