diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2021-09-09 10:06:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-09 10:06:31 -0700 |
| commit | 96b6410dcb7a82e7be8d4a2025835936f2ca84a7 (patch) | |
| tree | 7a81eec8aba9d517d6b5f9042b3a5640a634284d /passes/techmap/abc9.cc | |
| parent | 65316ec9262e1cc10fdc7215f2d3ead579d1e258 (diff) | |
| download | yosys-96b6410dcb7a82e7be8d4a2025835936f2ca84a7.tar.gz yosys-96b6410dcb7a82e7be8d4a2025835936f2ca84a7.tar.bz2 yosys-96b6410dcb7a82e7be8d4a2025835936f2ca84a7.zip | |
abc9: make re-entrant (#2993)
* Add testcase
* Cleanup some state at end of abc9
* Re-assign abc9_box_id from scratch
* Suppress delete unless prep_bypass did something
Diffstat (limited to 'passes/techmap/abc9.cc')
| -rw-r--r-- | passes/techmap/abc9.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 207a280fc..1f00fc3e7 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -289,8 +289,10 @@ struct Abc9Pass : public ScriptPass run("scc -specify -set_attr abc9_scc_id {}"); if (help_mode) run("abc9_ops -prep_bypass [-prep_dff]", "(option if -dff)"); - else + else { + active_design->scratchpad_unset("abc9_ops.prep_bypass.did_something"); run(stringf("abc9_ops -prep_bypass %s", dff_mode ? "-prep_dff" : "")); + } if (dff_mode) { run("design -copy-to $abc9_map @$abc9_flops", "(only if -dff)"); run("select -unset $abc9_flops", " (only if -dff)"); @@ -450,6 +452,9 @@ struct Abc9Pass : public ScriptPass run("design -delete $abc9_unmap"); if (saved_designs.count("$abc9_holes") || help_mode) run("design -delete $abc9_holes"); + if (help_mode || active_design->scratchpad_get_bool("abc9_ops.prep_bypass.did_something")) + run("delete =*_$abc9_byp"); + run("setattr -mod -unset abc9_box_id"); } } } Abc9Pass; |