[Bug tree-optimization/124545] VN nary lookup trick for converted plus/minus lacks inverse trick

[ptomsich at gcc dot gnu.org]

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

ptomsich at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ptomsich at gcc dot gnu.org

--- Comment #2 from ptomsich at gcc dot gnu.org ---
Created attachment 63960
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63960&action=edit
match.pd-based patch

For what it's worth...

I also took a shot at this today, as I was wondering whether this can be done
with match.pd and narrowly matched for this pass.  Surprisingly I came across
the 'op!' operator/qualifier which only works inside of VN.

Tested on aarch64 only.