From: Matthias Braun Date: Wed, 28 Jul 2010 14:58:26 +0000 (+0000) Subject: no unnecessary and cryptic abreviations: rename vrfy to verify X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=6ef9c0622c9347f33e74eb31894241b3adbaf541;p=cparser no unnecessary and cryptic abreviations: rename vrfy to verify [r27838] --- diff --git a/ast2firm.c b/ast2firm.c index ae5023c..e41150c 100644 --- a/ast2firm.c +++ b/ast2firm.c @@ -5935,7 +5935,7 @@ static void create_function(entity_t *entity) set_type_size_bytes(frame_type, offset); set_type_alignment_bytes(frame_type, align_all); - irg_vrfy(irg); + irg_verify(irg, VERIFY_ENFORCE_SSA); current_function = old_current_function; if (current_trampolines != NULL) { diff --git a/driver/firm_cmdline.c b/driver/firm_cmdline.c index a77ec87..6d2dfb8 100644 --- a/driver/firm_cmdline.c +++ b/driver/firm_cmdline.c @@ -39,7 +39,7 @@ struct a_firm_opt firm_opt = { /* 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, @@ -49,7 +49,7 @@ struct a_firm_opt firm_opt = { /* 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, @@ -138,13 +138,13 @@ static const struct params { { 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) diff --git a/driver/firm_cmdline.h b/driver/firm_cmdline.h index e7f12e3..fa8b893 100644 --- a/driver/firm_cmdline.h +++ b/driver/firm_cmdline.h @@ -42,7 +42,7 @@ struct a_firm_opt { a_byte cc_opt; /**< optimize calling conventions */ a_byte freestanding; /**< if set, freestanding mode is enabled */ a_byte fp_model; /**< fp model */ - a_byte vrfy; /**< Firm verifier setting */ + a_byte verify; /**< Firm verifier setting */ a_byte check_all; /**< enable checking all Firm phases */ a_byte lower; /**< enable Firm lowering */ a_byte os_support; /**< current os support */ @@ -52,7 +52,7 @@ struct a_firm_opt { int clone_threshold; /**< The threshold value for procedure cloning. */ unsigned inline_maxsize; /**< Maximum function size for inlining. */ unsigned inline_threshold;/**< Inlining benefice threshold. */ - a_byte vrfy_edges; /**< verify edges */ + a_byte verify_edges; /**< verify edges */ a_byte grs_simd_opt; a_byte grs_create_pattern; unsigned spare_size; /**< allowed spare size for table switches in machine words. */ diff --git a/driver/firm_opt.c b/driver/firm_opt.c index 0107e42..1459134 100644 --- a/driver/firm_opt.c +++ b/driver/firm_opt.c @@ -388,7 +388,7 @@ static bool do_irg_opt(ir_graph *irg, const char *name) if (firm_opt.check_all) { timer_push(t_verify); - irg_verify(irg, VRFY_ENFORCE_SSA); + irg_verify(irg, VERIFY_ENFORCE_SSA); timer_pop(t_verify); } @@ -420,7 +420,7 @@ static void do_irp_opt(const char *name) int i; timer_push(t_verify); for (i = get_irp_n_irgs() - 1; i >= 0; --i) { - irg_verify(get_irp_irg(i), VRFY_ENFORCE_SSA); + irg_verify(get_irp_irg(i), VERIFY_ENFORCE_SSA); } timer_pop(t_verify); } @@ -708,7 +708,7 @@ void gen_firm_init(void) if_conv_info = be_params->if_conv_info; } - edges_init_dbg(firm_opt.vrfy_edges); + edges_init_dbg(firm_opt.verify_edges); /* Sel node cannot produce NULL pointers */ set_opt_sel_based_null_check_elim(1); @@ -721,7 +721,7 @@ void gen_firm_init(void) /* do not run architecture dependent optimizations in building phase */ arch_dep_set_opts(arch_dep_none); - do_node_verification((firm_verification_t) firm_opt.vrfy); + do_node_verification((firm_verification_t) firm_opt.verify); if (firm_dump.filter != NULL) ir_set_dump_filter(firm_dump.filter); if (firm_dump.extbb) @@ -792,7 +792,7 @@ void gen_firm_finish(FILE *out, const char *input_filename, dump_all(""); timer_push(t_verify); - tr_vrfy(); + tr_verify(); timer_pop(t_verify); /* all graphs are finalized, set the irp phase to high */