diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-08-05 10:16:48 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-08-05 10:16:48 +0000 |
| commit | 0f36b2dafd0b61c7b473be85bc1ff85bf730a88a (patch) | |
| tree | 5dc0207a3bb63bd0426a054a80e8a68dccd41514 /gcc/tree-vrp.c | |
| parent | 8b201bc546eac5bba84fe9daf7872a7b9803d9c0 (diff) | |
| download | gcc-0f36b2dafd0b61c7b473be85bc1ff85bf730a88a.zip gcc-0f36b2dafd0b61c7b473be85bc1ff85bf730a88a.tar.gz gcc-0f36b2dafd0b61c7b473be85bc1ff85bf730a88a.tar.bz2 | |
re PR tree-optimization/49984 (VRP does not handle BIT_XOR_EXPR)
2011-08-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/49984
* tree-vrp.c (extract_range_from_binary_expr_1): Handle BIT_XOR_EXPR.
* gcc.dg/tree-ssa/vrp59.c: New testcase.
From-SVN: r177425
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 34 |
1 files changed, 32 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 121746e..eb6fc9d 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2214,7 +2214,8 @@ extract_range_from_binary_expr_1 (value_range_t *vr, && code != MIN_EXPR && code != MAX_EXPR && code != BIT_AND_EXPR - && code != BIT_IOR_EXPR) + && code != BIT_IOR_EXPR + && code != BIT_XOR_EXPR) { set_value_range_to_varying (vr); return; @@ -2635,7 +2636,7 @@ extract_range_from_binary_expr_1 (value_range_t *vr, min = vrp_int_const_binop (code, vr0.min, vr1.max); max = vrp_int_const_binop (code, vr0.max, vr1.min); } - else if (code == BIT_AND_EXPR || code == BIT_IOR_EXPR) + else if (code == BIT_AND_EXPR || code == BIT_IOR_EXPR || code == BIT_XOR_EXPR) { bool int_cst_range0, int_cst_range1; double_int may_be_nonzero0, may_be_nonzero1; @@ -2694,6 +2695,35 @@ extract_range_from_binary_expr_1 (value_range_t *vr, if (int_cst_range1) min = vrp_int_const_binop (MAX_EXPR, min, vr1.min); } + else if (code == BIT_XOR_EXPR) + { + double_int result_zero_bits, result_one_bits; + result_zero_bits + = double_int_ior (double_int_and (must_be_nonzero0, + must_be_nonzero1), + double_int_not + (double_int_ior (may_be_nonzero0, + may_be_nonzero1))); + result_one_bits + = double_int_ior (double_int_and + (must_be_nonzero0, + double_int_not (may_be_nonzero1)), + double_int_and + (must_be_nonzero1, + double_int_not (may_be_nonzero0))); + max = double_int_to_tree (expr_type, + double_int_not (result_zero_bits)); + min = double_int_to_tree (expr_type, result_one_bits); + /* Return a [min, max] range if we know the + result range is either positive or negative. */ + if (tree_int_cst_sgn (max) >= 0) + /* The range is bound by a lower value of 0. */; + else if (tree_int_cst_sgn (min) < 0) + /* The range is bound by an upper value of -1. */; + else + /* We don't know whether the sign bit is set or not. */ + max = min = NULL_TREE; + } else { set_value_range_to_varying (vr); |