Return to upstream synth_xilinx with opt -full and wreduce

This commit is contained in:
Eddie Hung 2019-06-26 16:25:48 -07:00
parent 502054e040
commit 5f807a7a5b
1 changed files with 3 additions and 19 deletions

View File

@ -241,26 +241,10 @@ struct SynthXilinxPass : public ScriptPass
} }
if (check_label("coarse")) { if (check_label("coarse")) {
run("proc");
if (flatten || help_mode)
run("flatten", "(with -flatten only)");
run("opt_expr");
run("opt_clean");
run("check");
run("opt");
if (help_mode) if (help_mode)
run("wreduce [-keepdc]", "('-widemux' only)"); run("synth -run coarse [-flatten]", "(with '-flatten')");
else else
run("wreduce" + std::string(widemux > 0 ? " -keepdc" : "")); run("synth -run coarse" + std::string(flatten ? "" : " -flatten"), "(with '-flatten')");
run("peepopt");
run("opt_clean");
run("alumacc");
run("share");
run("opt");
run("fsm");
run("opt -fast");
run("memory -nomap");
run("opt_clean");
if (widemux > 0 || help_mode) if (widemux > 0 || help_mode)
run("muxpack", " ('-widemux' only)"); run("muxpack", " ('-widemux' only)");
@ -288,7 +272,7 @@ struct SynthXilinxPass : public ScriptPass
} }
if (check_label("fine")) { if (check_label("fine")) {
run("opt -fast"); run("opt -fast -full");
run("memory_map"); run("memory_map");
run("dffsr2dff"); run("dffsr2dff");
run("dff2dffe"); run("dff2dffe");