https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64450

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(for cmp (tcc_comparison)
 (simplify
  (cmp (pointer_diff @0 @1) integer_zero_p)
  (cmp @0 @1)))

Maybe ....

But we might also need handle the match patterns for too:
A CMP B ? A - B : -(A - B)
A CMP B ? A - B : B - A

(which is also on my todo list anyways).

Reply via email to