diff options
author | Richard Guenther <rguenther@suse.de> | 2010-07-29 13:45:47 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-07-29 13:45:47 +0000 |
commit | 950f7f45269b7cb641b9f754b408980a01971ce2 (patch) | |
tree | acaa4c3048af7730f61897ba56c531c20312e416 /gcc/tree-vrp.c | |
parent | 8d0741923dc99b7876f8faafdc238b59a32d0ffc (diff) | |
download | gcc-950f7f45269b7cb641b9f754b408980a01971ce2.zip gcc-950f7f45269b7cb641b9f754b408980a01971ce2.tar.gz gcc-950f7f45269b7cb641b9f754b408980a01971ce2.tar.bz2 |
double-int.h (double_int_and_not): New function.
2010-07-28 Richard Guenther <rguenther@suse.de>
* double-int.h (double_int_and_not): New function.
* combine.c (try_combine): Use it.
* tree-vrp.c (simplify_bit_ops_using_ranges): Likewise.
From-SVN: r162681
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index fbb549f..05fa186 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6953,15 +6953,13 @@ simplify_bit_ops_using_ranges (gimple_stmt_iterator *gsi, gimple stmt) switch (gimple_assign_rhs_code (stmt)) { case BIT_AND_EXPR: - mask = double_int_and (may_be_nonzero0, - double_int_not (must_be_nonzero1)); + mask = double_int_and_not (may_be_nonzero0, must_be_nonzero1); if (double_int_zero_p (mask)) { op = op0; break; } - mask = double_int_and (may_be_nonzero1, - double_int_not (must_be_nonzero0)); + mask = double_int_and_not (may_be_nonzero1, must_be_nonzero0); if (double_int_zero_p (mask)) { op = op1; @@ -6969,15 +6967,13 @@ simplify_bit_ops_using_ranges (gimple_stmt_iterator *gsi, gimple stmt) } break; case BIT_IOR_EXPR: - mask = double_int_and (may_be_nonzero0, - double_int_not (must_be_nonzero1)); + mask = double_int_and_not (may_be_nonzero0, must_be_nonzero1); if (double_int_zero_p (mask)) { op = op1; break; } - mask = double_int_and (may_be_nonzero1, - double_int_not (must_be_nonzero0)); + mask = double_int_and_not (may_be_nonzero1, must_be_nonzero0); if (double_int_zero_p (mask)) { op = op0; |