Just a small coment fix, the `(` was in the wrong location, making it look it was transforming into `(X - X) != 0` rather than `X - (X != 0)`.
Pushed as obvious after a quick build for x86_64-linux-gnu. gcc/ChangeLog: * match.pd (X != 0 ? X + ~0 : 0): Fix comment. Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com> --- gcc/match.pd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/match.pd b/gcc/match.pd index 9107e6a95ca..c10bf9a7b80 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -3393,7 +3393,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) /* The boundary condition for case 10: IMM = 1: SAT_U_SUB = X >= IMM ? (X - IMM) : 0. - simplify (X != 0 ? X + ~0 : 0) to (X - X != 0). */ + simplify (X != 0 ? X + ~0 : 0) to X - (X != 0). */ (simplify (cond (ne@1 @0 integer_zerop) (nop_convert1? (plus (nop_convert2?@2 @0) integer_all_onesp)) -- 2.43.0