https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113265
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Thinking on how to solve this would be have a match which says maybe_negative_expr which matches - and minus expressions and then have an external function which checks if -@0 matches @1 . Though that would be gcc 15 material and should be replacing where we already match (a-b) and (b-a) manually and that might simplify things too ...
