diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2008-09-11 14:45:05 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2008-09-11 14:45:05 +0000 |
| commit | 308216549297c41fb602dced560fa1ed8af0f8f6 (patch) | |
| tree | 92b409e6b2cc1567926f357bf36f519f4895571f /gcc/tree-vect-transform.c | |
| parent | cf9757477e367cf9ab4e8dae6489dcd09178033e (diff) | |
| download | gcc-308216549297c41fb602dced560fa1ed8af0f8f6.zip gcc-308216549297c41fb602dced560fa1ed8af0f8f6.tar.gz gcc-308216549297c41fb602dced560fa1ed8af0f8f6.tar.bz2 | |
dojump.c (do_jump): Move below.
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.
From-SVN: r140288
Diffstat (limited to 'gcc/tree-vect-transform.c')
0 files changed, 0 insertions, 0 deletions