diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-06-07 06:47:42 -0700 |
|---|---|---|
| committer | Andrew Pinski <apinski@marvell.com> | 2023-06-07 14:29:46 -0700 |
| commit | 941209f9da23b4e0f338ed970012fcfa7b20e528 (patch) | |
| tree | 9927bc913ecae56f95dcbc97cf7289f360bf0998 | |
| parent | 99bfdb072e67fa3fe294d86b4b2a9f686f8d9705 (diff) | |
| download | gcc-941209f9da23b4e0f338ed970012fcfa7b20e528.zip gcc-941209f9da23b4e0f338ed970012fcfa7b20e528.tar.gz gcc-941209f9da23b4e0f338ed970012fcfa7b20e528.tar.bz2 | |
MATCH: Fix comment for `(zero_one ==/!= 0) ? y : z <op> y` patterns
The patterns match more than just `a & 1` so change the comment
for these two patterns to say that.
Committed as obvious after a bootstrap/test on x86_64-linux-gnu.
gcc/ChangeLog:
* match.pd: Fix comment for the
`(zero_one ==/!= 0) ? y : z <op> y` patterns.
| -rw-r--r-- | gcc/match.pd | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index fd32389..4ad037d 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -3685,7 +3685,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (cond (le @0 integer_zerop@1) (negate@2 @0) integer_zerop@1) (max @2 @1)) -/* ((x & 0x1) == 0) ? y : z <op> y -> (-(typeof(y))(x & 0x1) & z) <op> y */ +/* (zero_one == 0) ? y : z <op> y -> (-(typeof(y))zero_one & z) <op> y */ (for op (bit_xor bit_ior) (simplify (cond (eq zero_one_valued_p@0 @@ -3697,7 +3697,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) && (INTEGRAL_TYPE_P (TREE_TYPE (@0)))) (op (bit_and (negate (convert:type @0)) @2) @1)))) -/* ((x & 0x1) == 0) ? z <op> y : y -> (-(typeof(y))(x & 0x1) & z) <op> y */ +/* (zero_one != 0) ? z <op> y : y -> (-(typeof(y))zero_one & z) <op> y */ (for op (bit_xor bit_ior) (simplify (cond (ne zero_one_valued_p@0 |