diff options
author | bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-09-11 14:45:05 +0000 |
---|---|---|
committer | bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-09-11 14:45:05 +0000 |
commit | e31161b30aca84f8abb3216ed59a52b62bda13b9 (patch) | |
tree | 92b409e6b2cc1567926f357bf36f519f4895571f /gcc/tree-flow.h | |
parent | ec30db32980cc4cb8fca9c96304eeb428f93611c (diff) | |
download | gcc-e31161b30aca84f8abb3216ed59a52b62bda13b9.tar.gz |
2008-09-11 Paolo Bonzini <bonzini@gnu.org>
* dojump.c (do_jump) [BIT_AND_EXPR]: Move below. Fall through to
TRUTH_AND_EXPR for boolean (1-bit precision) expressions.
(do_jump) [BIT_IOR_EXPR]: Compile as TRUTH_OR_EXPR.
* tree-flow.h (simplify_stmt_using_ranges): Accept a GSI, return a bool.
* tree-ssa-propagate.c (substitute_and_fold): Pass a GSI to
VRP's simplify_stmt_using_ranges. Do simplify_stmt_using_ranges
before finalizing the changes.
* tree-vrp.c (extract_range_from_binary_expr): Add limited support
for BIT_IOR_EXPR.
(simplify_truth_ops_using_ranges): New.
(simplify_div_or_mod_using_ranges, simplify_abs_using_ranges,
simplify_cond_using_ranges, simplify_switch_using_ranges): Return
whether a simplification was made.
(simplify_stmt_using_ranges): Ditto, and accept a GSI. For GS_ASSIGN,
use a switch statement and also call simplify_truth_ops_using_ranges.
testsuite:
2008-09-11 Paolo Bonzini <bonzini@gnu.org>
* gcc.dg/tree-ssa/vrp47.c: New.
* gcc.target/i386/andor-2.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@140288 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-flow.h')
-rw-r--r-- | gcc/tree-flow.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index 99b993dc415..7f3c0dddeb5 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -913,7 +913,7 @@ tree fold_const_aggregate_ref (tree); /* In tree-vrp.c */ tree vrp_evaluate_conditional (enum tree_code, tree, tree, gimple); -void simplify_stmt_using_ranges (gimple); +bool simplify_stmt_using_ranges (gimple_stmt_iterator *); /* In tree-ssa-dom.c */ extern void dump_dominator_optimization_stats (FILE *); |