diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-04-22 10:03:18 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-04-23 21:36:59 +0200 |
| commit | 634482380cfe5d6a1c801af0ce04e8048c5c9baf (patch) | |
| tree | 9d02c59a8afb34f2a4a9e3ad39f24879f6fb5547 /passes/opt | |
| parent | 012c6af088a22c035ce1244954b6625188478480 (diff) | |
| download | yosys-634482380cfe5d6a1c801af0ce04e8048c5c9baf.tar.gz yosys-634482380cfe5d6a1c801af0ce04e8048c5c9baf.tar.bz2 yosys-634482380cfe5d6a1c801af0ce04e8048c5c9baf.zip | |
Preserve $specify[23] cells
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/opt')
| -rw-r--r-- | passes/opt/opt_clean.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc index c38e9df5e..3f38dd580 100644 --- a/passes/opt/opt_clean.cc +++ b/passes/opt/opt_clean.cc @@ -64,7 +64,7 @@ struct keep_cache_t bool query(Cell *cell) { - if (cell->type.in("$memwr", "$meminit", "$assert", "$assume", "$live", "$fair", "$cover")) + if (cell->type.in("$memwr", "$meminit", "$assert", "$assume", "$live", "$fair", "$cover", "$specify2", "$specify3")) return true; if (cell->has_keep_attr()) |