diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2023-06-07 19:18:26 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-06-07 19:18:26 +0200 |
| commit | e2ebd22acac844ba74e69a34dbf064d41d102cc1 (patch) | |
| tree | 3ded2616ac90961ff16ab26762401425e871d504 | |
| parent | 9963029a24f2d2510b82e7106fae3f364da33c5d (diff) | |
| download | gcc-e2ebd22acac844ba74e69a34dbf064d41d102cc1.zip gcc-e2ebd22acac844ba74e69a34dbf064d41d102cc1.tar.gz gcc-e2ebd22acac844ba74e69a34dbf064d41d102cc1.tar.bz2 | |
match.pd: Improve zero_one_valued_p
Recently zero_one_valued_p was changed to handle integer_zerop
case specially, because tree_nonzero_bits (@0) == 1 only returns
true for non-constant values with range [0, 1] or constant 1,
constant 0 has tree_nonzero_bits (integer_zero_node) == 0.
The following patch reverts that change and instead checks
that tree_nonzero_bits is <= 1U.
2023-06-07 Jakub Jelinek <jakub@redhat.com>
* match.pd (zero_one_valued_p): Don't handle integer_zerop specially,
instead compare tree_nonzero_bits <= 1U rather than just == 1.
| -rw-r--r-- | gcc/match.pd | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index dc36927..fd32389 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1984,15 +1984,12 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) @0) /* zero_one_valued_p will match when a value is known to be either - 0 or 1 including the constant 0. */ + 0 or 1 including constants 0 or 1. */ (match zero_one_valued_p @0 - (if (INTEGRAL_TYPE_P (type) && tree_nonzero_bits (@0) == 1))) + (if (INTEGRAL_TYPE_P (type) && wi::leu_p (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 |