diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-06-06 08:21:46 -0700 |
|---|---|---|
| committer | Andrew Pinski <apinski@marvell.com> | 2023-06-06 19:43:16 -0700 |
| commit | c5c4fa2f9a448d529be746119ebca4fc5e5701b2 (patch) | |
| tree | 7dbd69a2448ac50a1c2afa4a438c0c089375636b | |
| parent | 42eb371286fa4f1f8419ff9e8059576e574c7a2c (diff) | |
| download | gcc-c5c4fa2f9a448d529be746119ebca4fc5e5701b2.zip gcc-c5c4fa2f9a448d529be746119ebca4fc5e5701b2.tar.gz gcc-c5c4fa2f9a448d529be746119ebca4fc5e5701b2.tar.bz2 | |
Match: zero_one_valued_p should match 0 constants too
While working on `bool0 ? bool1 : bool2` I noticed that
zero_one_valued_p does not match on the constant zero
as in that case tree_nonzero_bits will return 0 and
that is different from 1.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
gcc/ChangeLog:
* match.pd (zero_one_valued_p): Match 0 integer constant
too.
| -rw-r--r-- | gcc/match.pd | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 16482b7..7bb7413 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1983,11 +1983,16 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (bit_not (bit_not @0)) @0) +/* zero_one_valued_p will match when a value is known to be either + 0 or 1 including the constant 0. */ (match zero_one_valued_p @0 (if (INTEGRAL_TYPE_P (type) && tree_nonzero_bits (@0) == 1))) (match zero_one_valued_p truth_valued_p@0) +(match zero_one_valued_p + integer_zerop@0 + (if (INTEGRAL_TYPE_P (type)))) /* Transform { 0 or 1 } * { 0 or 1 } into { 0 or 1 } & { 0 or 1 }. */ (simplify |