riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Added "opt -full" alias for all more aggressive optimizations

This commit is contained in:
Clifford Wolf 2014-10-31 03:36:51 +01:00
parent a21481b338
commit ab28491f27
4 changed files with 35 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
passes/opt/opt.cc
View File

@ -37,22 +37,22 @@ struct OptPass : public Pass {
log("a series of trivial optimizations and cleanups. This pass executes the other\n"); log("a series of trivial optimizations and cleanups. This pass executes the other\n");
log("passes in the following order:\n"); log("passes in the following order:\n");
log("\n"); log("\n");
log(" opt_const [-mux_undef] [-mux_bool] [-undriven] [-fine] [-keepdc]\n"); log(" opt_const [-mux_undef] [-mux_bool] [-undriven] [-fine] [-full] [-keepdc]\n");
log(" opt_share -nomux\n"); log(" opt_share -nomux\n");
log("\n"); log("\n");
log(" do\n"); log(" do\n");
log(" opt_muxtree\n"); log(" opt_muxtree\n");
log(" opt_reduce [-fine]\n"); log(" opt_reduce [-fine] [-full]\n");
log(" opt_share\n"); log(" opt_share\n");
log(" opt_rmdff\n"); log(" opt_rmdff\n");
log(" opt_clean [-purge]\n"); log(" opt_clean [-purge]\n");
log(" opt_const [-mux_undef] [-mux_bool] [-undriven] [-fine] [-keepdc]\n"); log(" opt_const [-mux_undef] [-mux_bool] [-undriven] [-fine] [-full] [-keepdc]\n");
log(" while <changed design>\n"); log(" while <changed design>\n");
log("\n"); log("\n");
log("When called with -fast the following script is used instead:\n"); log("When called with -fast the following script is used instead:\n");
log("\n"); log("\n");
log(" do\n"); log(" do\n");
log(" opt_const [-mux_undef] [-mux_bool] [-undriven] [-fine] [-keepdc]\n"); log(" opt_const [-mux_undef] [-mux_bool] [-undriven] [-fine] [-full] [-keepdc]\n");
log(" opt_share\n"); log(" opt_share\n");
log(" opt_rmdff\n"); log(" opt_rmdff\n");
log(" opt_clean [-purge]\n"); log(" opt_clean [-purge]\n");
@ -96,6 +96,11 @@ struct OptPass : public Pass {
opt_reduce_args += " -fine"; opt_reduce_args += " -fine";
continue; continue;
} }
if (args[argidx] == "-full") {
opt_const_args += " -full";
opt_reduce_args += " -full";
continue;
}
if (args[argidx] == "-keepdc") { if (args[argidx] == "-keepdc") {
opt_const_args += " -keepdc"; opt_const_args += " -keepdc";
continue; continue;

16
passes/opt/opt_const.cc
View File

@ -942,15 +942,18 @@ struct OptConstPass : public Pass {
log(" -undriven\n"); log(" -undriven\n");
log(" replace undriven nets with undef (x) constants\n"); log(" replace undriven nets with undef (x) constants\n");
log("\n"); log("\n");
log(" -fine\n");
log(" perform fine-grain optimizations\n");
log("\n");
log(" -full\n");
log(" alias for -mux_undef -mux_bool -undriven -fine\n");
log("\n");
log(" -keepdc\n"); log(" -keepdc\n");
log(" some optimizations change the behavior of the circuit with respect to\n"); log(" some optimizations change the behavior of the circuit with respect to\n");
log(" don't-care bits. for example in 'a+0' a single x-bit in 'a' will cause\n"); log(" don't-care bits. for example in 'a+0' a single x-bit in 'a' will cause\n");
log(" all result bits to be set to x. this behavior changes when 'a+0' is\n"); log(" all result bits to be set to x. this behavior changes when 'a+0' is\n");
log(" replaced by 'a'. the -keepdc option disables all such optimizations.\n"); log(" replaced by 'a'. the -keepdc option disables all such optimizations.\n");
log("\n"); log("\n");
log(" -fine\n");
log(" perform fine-grain optimizations\n");
log("\n");
} }
virtual void execute(std::vector<std::string> args, RTLIL::Design *design) virtual void execute(std::vector<std::string> args, RTLIL::Design *design)
{ {
@ -981,6 +984,13 @@ struct OptConstPass : public Pass {
do_fine = true; do_fine = true;
continue; continue;
} }
if (args[argidx] == "-full") {
mux_undef = true;
mux_bool = true;
undriven = true;
do_fine = true;
continue;
}
if (args[argidx] == "-keepdc") { if (args[argidx] == "-keepdc") {
keepdc = true; keepdc = true;
continue; continue;

7
passes/opt/opt_reduce.cc
View File

@ -346,6 +346,9 @@ struct OptReducePass : public Pass {
log(" -fine\n"); log(" -fine\n");
log(" perform fine-grain optimizations\n"); log(" perform fine-grain optimizations\n");
log("\n"); log("\n");
log(" -full\n");
log(" alias for -fine\n");
log("\n");
} }
virtual void execute(std::vector<std::string> args, RTLIL::Design *design) virtual void execute(std::vector<std::string> args, RTLIL::Design *design)
{ {
@ -359,6 +362,10 @@ struct OptReducePass : public Pass {
do_fine = true; do_fine = true;
continue; continue;
} }
if (args[argidx] == "-full") {
do_fine = true;
continue;
}
break; break;
} }
extra_args(args, argidx, design); extra_args(args, argidx, design);

8
techlibs/common/synth.cc
View File

@ -76,9 +76,11 @@ struct SynthPass : public Pass {
log(" opt_clean\n"); log(" opt_clean\n");
log("\n"); log("\n");
log(" fine:\n"); log(" fine:\n");
log(" opt -fast -full\n");
log(" memory_map\n"); log(" memory_map\n");
log(" opt -full\n");
log(" techmap\n"); log(" techmap\n");
log(" opt -fast\n"); log(" opt -fast -full\n");
#ifdef YOSYS_ENABLE_ABC #ifdef YOSYS_ENABLE_ABC
log(" abc -fast\n"); log(" abc -fast\n");
log(" opt_clean\n"); log(" opt_clean\n");
@ -144,9 +146,11 @@ struct SynthPass : public Pass {
if (check_label(active, run_from, run_to, "fine")) if (check_label(active, run_from, run_to, "fine"))
{ {
Pass::call(design, "opt -fast -full");
Pass::call(design, "memory_map"); Pass::call(design, "memory_map");
Pass::call(design, "opt -full");
Pass::call(design, "techmap"); Pass::call(design, "techmap");
Pass::call(design, "opt -fast"); Pass::call(design, "opt -fast -full");
#ifdef YOSYS_ENABLE_ABC #ifdef YOSYS_ENABLE_ABC
Pass::call(design, "abc -fast"); Pass::call(design, "abc -fast");
Pass::call(design, "opt_clean"); Pass::call(design, "opt_clean");