/* precise_exc = */ FALSE, /* never needed for C */
/* use_DivMod = */ FALSE,
/* remove_unused = */ TRUE,
/* precise_exc = */ FALSE, /* never needed for C */
/* use_DivMod = */ FALSE,
/* remove_unused = */ TRUE,
/* cloning = */ FALSE,
/* auto_sync = */ TRUE,
/* alias_analysis = */ TRUE,
/* strict_alias = */ FALSE,
/* no_alias = */ FALSE,
/* cloning = */ FALSE,
/* auto_sync = */ TRUE,
/* alias_analysis = */ TRUE,
/* strict_alias = */ FALSE,
/* no_alias = */ FALSE,
/* freestanding; = */ FALSE,
/* fp_model = */ fp_model_precise,
/* lower_ll = */ FALSE,
/* freestanding; = */ FALSE,
/* fp_model = */ fp_model_precise,
/* lower_ll = */ FALSE,
/* ycomp_host = */ FIRM_YCOMP_DEFAULT_HOST,
/* ycomp_port = */ FIRM_YCOMP_DEFAULT_PORT,
/* clone_threshold = */ DEFAULT_CLONE_THRESHOLD,
/* ycomp_host = */ FIRM_YCOMP_DEFAULT_HOST,
/* ycomp_port = */ FIRM_YCOMP_DEFAULT_PORT,
/* clone_threshold = */ DEFAULT_CLONE_THRESHOLD,
/* vrfy_edges = */ FALSE,
/* grs_simd_opt = */ 0,
/* grs_create_pattern = */ 0,
/* vrfy_edges = */ FALSE,
/* grs_simd_opt = */ 0,
/* grs_create_pattern = */ 0,
{ X("no-reassociation"), &firm_opt.reassoc, 0, "firm: disable reassociation" },
{ X("inline"), &firm_opt.do_inline, 1, "firm: enable FIRM inlining" },
{ X("no-inline"), &firm_opt.do_inline, 0, "firm: disable FIRM inlining" },
{ X("no-reassociation"), &firm_opt.reassoc, 0, "firm: disable reassociation" },
{ X("inline"), &firm_opt.do_inline, 1, "firm: enable FIRM inlining" },
{ X("no-inline"), &firm_opt.do_inline, 0, "firm: disable FIRM inlining" },
+ { X("inline-max-size=<size>"), NULL, 0, "firm: set maximum size for function inlining" },
+ { X("inline-threshold=<size>"),NULL, 0, "firm: set benefice threshold for function inlining" },
{ X("tail-rec"), &firm_opt.tail_rec, 1, "firm: enable tail-recursion optimization" },
{ X("no-tail-rec"), &firm_opt.tail_rec, 0, "firm: disable tail-recursion optimization" },
{ X("strength-red"), &firm_opt.strength_red, 1, "firm: enable strength reduction for loops" },
{ X("tail-rec"), &firm_opt.tail_rec, 1, "firm: enable tail-recursion optimization" },
{ X("no-tail-rec"), &firm_opt.tail_rec, 0, "firm: disable tail-recursion optimization" },
{ X("strength-red"), &firm_opt.strength_red, 1, "firm: enable strength reduction for loops" },
{ X("no-scalar-replace"), &firm_opt.scalar_replace, 0, "firm: disable scalar replacement" },
{ X("confirm"), &firm_opt.confirm, 1, "firm: enable Confirm optimization" },
{ X("no-confirm"), &firm_opt.confirm, 0, "firm: disable Confirm optimization" },
{ X("no-scalar-replace"), &firm_opt.scalar_replace, 0, "firm: disable scalar replacement" },
{ X("confirm"), &firm_opt.confirm, 1, "firm: enable Confirm optimization" },
{ X("no-confirm"), &firm_opt.confirm, 0, "firm: disable Confirm optimization" },
- { X("opt-mul"), &firm_opt.muls, 0, "firm: enable multiplication optimization" },
+ { X("opt-mul"), &firm_opt.muls, 1, "firm: enable multiplication optimization" },
{ X("no-opt-mul"), &firm_opt.muls, 0, "firm: disable multiplication optimization" },
{ X("no-opt-mul"), &firm_opt.muls, 0, "firm: disable multiplication optimization" },
- { X("opt-div"), &firm_opt.divs, 0, "firm: enable division optimization" },
+ { X("opt-div"), &firm_opt.divs, 1, "firm: enable division optimization" },
{ X("no-opt-div"), &firm_opt.divs, 0, "firm: disable division optimization" },
{ X("no-opt-div"), &firm_opt.divs, 0, "firm: disable division optimization" },
- { X("opt-mod"), &firm_opt.mods, 0, "firm: enable remainder optimization" },
+ { X("opt-mod"), &firm_opt.mods, 1, "firm: enable remainder optimization" },
{ X("no-opt-mod"), &firm_opt.mods, 0, "firm: disable remainder optimization" },
{ X("opt-fragile-ops"), &firm_opt.fragile_ops, 1, "firm: enable fragile ops optimization" },
{ X("no-opt-fragile-ops"), &firm_opt.fragile_ops, 0, "firm: disable fragile ops optimization" },
{ X("no-opt-mod"), &firm_opt.mods, 0, "firm: disable remainder optimization" },
{ X("opt-fragile-ops"), &firm_opt.fragile_ops, 1, "firm: enable fragile ops optimization" },
{ X("no-opt-fragile-ops"), &firm_opt.fragile_ops, 0, "firm: disable fragile ops optimization" },
{ X("no-opt-load-store"), &firm_opt.load_store, 0, "firm: disable load store optimization" },
{ X("opt-modes"), &firm_opt.modes, 1, "firm: optimize integer modes" },
{ X("no-opt-modes"), &firm_opt.modes, 0, "firm: disable integer modes optimization" },
{ X("no-opt-load-store"), &firm_opt.load_store, 0, "firm: disable load store optimization" },
{ X("opt-modes"), &firm_opt.modes, 1, "firm: optimize integer modes" },
{ X("no-opt-modes"), &firm_opt.modes, 0, "firm: disable integer modes optimization" },
- { X("jmptbls"), &firm_opt.jmp_tbls, 1, "firm: create jump table for switch" },
- { X("no-jmptbls"), &firm_opt.jmp_tbls, 0, "firm: do not create jump table for switch" },
{ X("sync"), &firm_opt.auto_sync, 1, "firm: automatically create Sync nodes" },
{ X("no-sync"), &firm_opt.auto_sync, 0, "firm: do not create Sync nodes" },
{ X("opt-alias"), &firm_opt.alias_analysis, 1, "firm: enable alias analysis" },
{ X("sync"), &firm_opt.auto_sync, 1, "firm: automatically create Sync nodes" },
{ X("no-sync"), &firm_opt.auto_sync, 0, "firm: do not create Sync nodes" },
{ X("opt-alias"), &firm_opt.alias_analysis, 1, "firm: enable alias analysis" },
{ X("fp-precise"), &firm_opt.fp_model, fp_model_precise, "firm: precise fp model" },
{ X("fp-fast"), &firm_opt.fp_model, fp_model_fast, "firm: fast fp model" },
{ X("fp-strict"), &firm_opt.fp_model, fp_model_strict, "firm: strict fp model" },
{ X("fp-precise"), &firm_opt.fp_model, fp_model_precise, "firm: precise fp model" },
{ X("fp-fast"), &firm_opt.fp_model, fp_model_fast, "firm: fast fp model" },
{ X("fp-strict"), &firm_opt.fp_model, fp_model_strict, "firm: strict fp model" },
- { X("luffig"), &firm_opt.luffig, 1, "firm: enable the fluffy load/store optimization" },
- { X("no-luffig"), &firm_opt.luffig, 0, "firm: disable the fluffy load/store optimization" },
+ { X("sync"), &firm_opt.sync, 1, "firm: use Syncs to remove unnecessary memory dependencies" },
+ { X("no-sync"), &firm_opt.sync, 0, "firm: do not use Syncs to remove unnecessary memory dependencies" },
{ X("deconv"), &firm_opt.deconv, 1, "firm: enable the conv node optimization" },
{ X("no-deconv"), &firm_opt.deconv, 0, "firm: disable the conv node optimization" },
{ X("opt-cc"), &firm_opt.cc_opt, 1, "firm: enable calling conventions optimization" },
{ X("no-opt-cc"), &firm_opt.cc_opt, 0, "firm: disable calling conventions optimization" },
{ X("bool"), &firm_opt.bool_opt, 1, "firm: enable bool simplification optimization" },
{ X("no-bool"), &firm_opt.bool_opt, 0, "firm: disable bool simplification optimization" },
{ X("deconv"), &firm_opt.deconv, 1, "firm: enable the conv node optimization" },
{ X("no-deconv"), &firm_opt.deconv, 0, "firm: disable the conv node optimization" },
{ X("opt-cc"), &firm_opt.cc_opt, 1, "firm: enable calling conventions optimization" },
{ X("no-opt-cc"), &firm_opt.cc_opt, 0, "firm: disable calling conventions optimization" },
{ X("bool"), &firm_opt.bool_opt, 1, "firm: enable bool simplification optimization" },
{ X("no-bool"), &firm_opt.bool_opt, 0, "firm: disable bool simplification optimization" },
+ { X("end-melt"), &firm_opt.end_melt, 1, "firm: enable end block melting" },
+ { X("no-end-melt"), &firm_opt.end_melt, 0, "firm: disable end block melting" },
{ X("freestanding"), &firm_opt.freestanding, 1, "firm: freestanding environment" },
{ X("hosted"), &firm_opt.freestanding, 0, "firm: hosted environment" },
{ X("freestanding"), &firm_opt.freestanding, 1, "firm: freestanding environment" },
{ X("hosted"), &firm_opt.freestanding, 0, "firm: hosted environment" },
firm_opt.alias_analysis = FALSE;
firm_opt.strict_alias = FALSE;
firm_opt.no_alias = FALSE;
firm_opt.alias_analysis = FALSE;
firm_opt.strict_alias = FALSE;
firm_opt.no_alias = FALSE;
+ else if (strncmp("inline-max-size=", opt, 16) == 0) {
+ sscanf(&opt[16], "%u", &firm_opt.inline_maxsize);
+ return 1;
+ }
+ else if (strncmp("inline-threshold=", opt, 17) == 0) {
+ sscanf(&opt[17], "%u", &firm_opt.inline_threshold);
+ return 1;
+ }