/* cc_opt = */ TRUE,
/* freestanding; = */ FALSE,
/* fp_model = */ fp_model_precise,
- /* vrfy = */ FIRM_VERIFICATION_ON,
+ /* verify = */ FIRM_VERIFICATION_ON,
/* check_all = */ FALSE,
/* lower = */ TRUE,
/* os_support = */ DEFAULT_OS,
/* clone_threshold = */ DEFAULT_CLONE_THRESHOLD,
/* inline_maxsize = */ 750,
/* inline_threshold= */ 0,
- /* vrfy_edges = */ FALSE,
+ /* verify_edges = */ FALSE,
/* grs_simd_opt = */ 0,
/* grs_create_pattern = */ 0,
- /* spare_size = */ 128,
/* enable_statev = */ FALSE,
/* statev_filter = */ "",
};
/* extbb = */ FALSE,
/* ir_graph = */ FALSE,
/* all_phases = */ FALSE,
- /* edge_labels = */ FALSE,
/* statistic = */ STAT_NONE,
/* stat_pattern = */ 0,
/* stat_dag = */ 0,
{ X("restrict"), &firm_opt.honor_restrict, 1, "firm: honor restrict keyword" },
{ X("no-restrict"), &firm_opt.honor_restrict, 1, "firm: restrict keyword is meaningless" },
{ X("no-lower"), &firm_opt.lower, 0, "firm: disable lowering" },
- { X("vrfy-off"), &firm_opt.vrfy, FIRM_VERIFICATION_OFF, "firm: disable node verification" },
- { X("vrfy-on"), &firm_opt.vrfy, FIRM_VERIFICATION_ON, "firm: enable node verification" },
- { X("vrfy-report"), &firm_opt.vrfy, FIRM_VERIFICATION_REPORT, "firm: node verification, report only" },
+ { X("verify-off"), &firm_opt.verify, FIRM_VERIFICATION_OFF, "firm: disable node verification" },
+ { X("verify-on"), &firm_opt.verify, FIRM_VERIFICATION_ON, "firm: enable node verification" },
+ { X("verify-report"), &firm_opt.verify, FIRM_VERIFICATION_REPORT, "firm: node verification, report only" },
{ X("check-all"), &firm_opt.check_all, 1, "firm: enable checking all Firm phases" },
{ X("no-check-all"), &firm_opt.check_all, 0, "firm: disable checking all Firm phases" },
- { X("vrfy-edges-on"), &firm_opt.vrfy_edges, 1, "firm: enable out edge verification" },
- { X("vrfy-edges-off"), &firm_opt.vrfy_edges, 0, "firm: disable out edge verification" },
+ { X("verify-edges-on"), &firm_opt.verify_edges, 1, "firm: enable out edge verification" },
+ { X("verify-edges-off"), &firm_opt.verify_edges, 0, "firm: disable out edge verification" },
/* dumping */
#if defined(_DEBUG) || defined(FIRM_DEBUG)
{ X("dump-no-blocks"), &firm_dump.no_blocks, 1, "firm: dump non-blocked graph" },
{ X("dump-extbb"), &firm_dump.extbb, 1, "firm: dump extended basic blocks" },
{ X("dump-all-phases"), &firm_dump.all_phases, 1, "firm: dump graphs for all optimization phases" },
- { X("dump-edge-labels"), &firm_dump.edge_labels, 1, "firm: dump edge labels" },
/* code generation */
{ X("no-codegen"), &firm_be_opt.selection, BE_NONE, "cg: disable code generator" },