From ae93744d3bca8ba3e54e6f48ec7d80593eb3d6d9 Mon Sep 17 00:00:00 2001 From: Jeff Law Date: Wed, 4 Dec 2013 20:18:18 -0700 Subject: common.opt: Split up -fisolate-erroneous-paths into -fisolate-erroneous-paths-dereference... * common.opt: Split up -fisolate-erroneous-paths into -fisolate-erroneous-paths-dereference and -fisolate-erroneous-paths-attribute. * invoke.texi: Corresponding changes. * gimple.c (infer_nonnull_range): Add and use new arguments to control what kind of statements can be used to infer a non-null range. * gimple.h (infer_nonnull_range): Update prototype. * tree-vrp.c (infer_value_range): Corresponding changes. * opts.c (default_options_table): Update due to option split. * gimple-ssa-isolate-paths.c: Fix trailing whitespace. (find_implicit_erroneous_behaviour): Pass additional arguments to infer_nonnull_range. (find_explicit_erroneous_behaviour): Similarly. (gate_isolate_erroneous_paths): Check both of the new options. testsuite/ * gcc.dg/pr38984.c: Use -fno-isolate-erroneous-paths-dereference. * gcc.dg/tree-ssa/isolate-2.c: Explicitly turn on -fisolate-erroneous-paths-attribute. * gcc.dg/tree-ssa/isolate-4.c: Likewise. From-SVN: r205689 --- gcc/gimple-ssa-isolate-paths.c | 29 +++++++++++++++++------------ 1 file changed, 17 insertions(+), 12 deletions(-) (limited to 'gcc/gimple-ssa-isolate-paths.c') diff --git a/gcc/gimple-ssa-isolate-paths.c b/gcc/gimple-ssa-isolate-paths.c index 440d2ed86d9..052bf3fbf94 100644 --- a/gcc/gimple-ssa-isolate-paths.c +++ b/gcc/gimple-ssa-isolate-paths.c @@ -48,7 +48,7 @@ along with GCC; see the file COPYING3. If not see static bool cfg_altered; /* Callback for walk_stmt_load_store_ops. - + Return TRUE if OP will dereference the tree stored in DATA, FALSE otherwise. @@ -144,7 +144,6 @@ isolate_path (basic_block bb, basic_block duplicate, gimple_stmt_iterator si, si2; edge_iterator ei; edge e2; - /* First duplicate BB if we have not done so already and remove all the duplicate's outgoing edges as duplicate is going to unconditionally @@ -171,7 +170,7 @@ isolate_path (basic_block bb, basic_block duplicate, the statement which triggers undefined behaviour. If found, then transform the statement into a trap and delete everything after the statement. If not found, then this particular instance was subsumed by - an earlier instance of undefined behaviour and there's nothing to do. + an earlier instance of undefined behaviour and there's nothing to do. This is made more complicated by the fact that we have STMT, which is in BB rather than in DUPLICATE. So we set up two iterators, one for each @@ -180,7 +179,7 @@ isolate_path (basic_block bb, basic_block duplicate, When we find STMT the second iterator should point to STMT's equivalent in duplicate. If DUPLICATE ends before STMT is found in BB, then there's - nothing to do. + nothing to do. Ignore labels and debug statements. */ si = gsi_start_nondebug_after_labels_bb (bb); @@ -247,7 +246,7 @@ find_implicit_erroneous_behaviour (void) continue; /* PHI produces a pointer result. See if any of the PHI's - arguments are NULL. + arguments are NULL. When we remove an edge, we want to reprocess the current index, hence the ugly way we update I for each iteration. */ @@ -259,7 +258,7 @@ find_implicit_erroneous_behaviour (void) tree op = gimple_phi_arg_def (phi, i); next_i = i + 1; - + if (!integer_zerop (op)) continue; @@ -277,7 +276,10 @@ find_implicit_erroneous_behaviour (void) if (gimple_bb (use_stmt) != bb) continue; - if (infer_nonnull_range (use_stmt, lhs)) + if (infer_nonnull_range (use_stmt, lhs, + flag_isolate_erroneous_paths_dereference, + flag_isolate_erroneous_paths_attribute)) + { duplicate = isolate_path (bb, duplicate, e, use_stmt, lhs); @@ -294,7 +296,7 @@ find_implicit_erroneous_behaviour (void) } /* Look for statements which exhibit erroneous behaviour. For example - a NULL pointer dereference. + a NULL pointer dereference. When found, optimize the block containing the erroneous behaviour. */ static void @@ -327,7 +329,9 @@ find_explicit_erroneous_behaviour (void) /* By passing null_pointer_node, we can use infer_nonnull_range to detect explicit NULL pointer dereferences and other uses where a non-NULL value is required. */ - if (infer_nonnull_range (stmt, null_pointer_node)) + if (infer_nonnull_range (stmt, null_pointer_node, + flag_isolate_erroneous_paths_dereference, + flag_isolate_erroneous_paths_attribute)) { insert_trap_and_remove_trailing_statements (&si, null_pointer_node); @@ -361,7 +365,7 @@ find_explicit_erroneous_behaviour (void) unconditional trap and eliminate the outgoing edges from the statement's basic block. This may expose secondary optimization opportunities. - In the latter case, we isolate the path(s) with the NULL PHI + In the latter case, we isolate the path(s) with the NULL PHI feeding the dereference. We can then replace the offending statement and eliminate the outgoing edges in the duplicate. Again, this may expose secondary optimization opportunities. @@ -398,7 +402,7 @@ gimple_ssa_isolate_erroneous_paths (void) free_original_copy_tables (); - /* We scramble the CFG and loop structures a bit, clean up + /* We scramble the CFG and loop structures a bit, clean up appropriately. We really should incrementally update the loop structures, in theory it shouldn't be that hard. */ if (cfg_altered) @@ -416,7 +420,8 @@ gate_isolate_erroneous_paths (void) { /* If we do not have a suitable builtin function for the trap statement, then do not perform the optimization. */ - return (flag_isolate_erroneous_paths != 0); + return (flag_isolate_erroneous_paths_dereference != 0 + || flag_isolate_erroneous_paths_attribute != 0); } namespace { -- cgit v1.2.3