no unnecessary and cryptic abreviations: rename vrfy to verify

[r27838]

diff --git a/ast2firm.c b/ast2firm.c
index ae5023c..e41150c 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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 */