+ size_t argidx;
+ for (argidx = 1; argidx < args.size(); argidx++) {
+ if (args[argidx] == "-purge") {
+ opt_clean_args += " -purge";
+ continue;
+ }
+ if (args[argidx] == "-mux_undef") {
+ opt_expr_args += " -mux_undef";
+ continue;
+ }
+ if (args[argidx] == "-mux_bool") {
+ opt_expr_args += " -mux_bool";
+ continue;
+ }
+ if (args[argidx] == "-undriven") {
+ opt_expr_args += " -undriven";
+ continue;
+ }
+ if (args[argidx] == "-noclkinv") {
+ opt_expr_args += " -noclkinv";
+ continue;
+ }
+ if (args[argidx] == "-fine") {
+ opt_expr_args += " -fine";
+ opt_reduce_args += " -fine";
+ continue;
+ }
+ if (args[argidx] == "-full") {
+ opt_expr_args += " -full";
+ opt_reduce_args += " -full";
+ opt_share = true;
+ continue;
+ }
+ if (args[argidx] == "-keepdc") {
+ opt_expr_args += " -keepdc";
+ opt_dff_args += " -keepdc";
+ continue;
+ }
+ if (args[argidx] == "-nodffe") {
+ opt_dff_args += " -nodffe";
+ continue;
+ }
+ if (args[argidx] == "-nosdff") {
+ opt_dff_args += " -nosdff";
+ continue;
+ }
+ if (args[argidx] == "-sat") {
+ opt_dff_args += " -sat";
+ continue;
+ }
+ if (args[argidx] == "-share_all") {
+ opt_merge_args += " -share_all";
+ continue;
+ }
+ if (args[argidx] == "-fast") {
+ fast_mode = true;
+ continue;
+ }
+ if (args[argidx] == "-noff") {
+ noff_mode = true;
+ continue;
+ }
+ break;
+ }
+ extra_args(args, argidx, design);