Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

abc, abc9_exe: respect -q when built with linked ABC #3859

Merged
merged 1 commit into from
Jul 23, 2023

Conversation

whitequark
Copy link
Member

This is mostly important for YoWASP builds, since those do not have a way to build with external ABC (I prototyped it but for some reason ABC always segfaults when built as an independent Wasm binary...)

This is mostly important for YoWASP builds, since those do not have
a way to build with external ABC (I prototyped it but for some reason
ABC always segfaults when built as an independent Wasm binary...)
@whitequark
Copy link
Member Author

whitequark commented Jul 22, 2023

For context, right now using yowasp-yosys -q results in this:

$ yowasp-yosys -q test.v -p synth_ice40
ABC command line: "source /tmp/yosys-abc-000000/abc.script".

+ read_blif /tmp/yosys-abc-000000/input.blif
+ read_lut /tmp/yosys-abc-000000/lutdefs.txt
+ strash
+ &get -n
+ &fraig -x
+ &put
+ scorr
Warning: The network is combinational (run "fraig" or "fraig_sweep").
+ dc2
+ dretime
+ strash
+ dch -f
+ if
+ mfs2
+ lutpack -S 1
+ dress /tmp/yosys-abc-000000/input.blif
Total number of equiv classes                =       2.
Participating nodes from both networks       =       2.
Participating nodes from the first network   =       1. (  50.00 % of nodes)
Participating nodes from the second network  =       1. (  50.00 % of nodes)
Node pairs (any polarity)                    =       1. (  50.00 % of names can be moved)
Node pairs (same polarity)                   =       1. (  50.00 % of names can be moved)
Total runtime =     0.00 sec
+ write_blif /tmp/yosys-abc-000000/output.blif
$

This is quite annoying when the build runs as a part of e.g. the Glasgow software stack, and it can also be really confusing/scary to novice users of Amaranth. Since both Amaranth and ChipFlow now suggest using YoWASP builds of the tools, this needed to be fixed.

@whitequark whitequark merged commit 411b6e9 into YosysHQ:master Jul 23, 2023
15 checks passed
@whitequark whitequark deleted the link_abc-silence branch July 23, 2023 01:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant