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))