[Bug tree-optimization/112324] phiopt fail to recog if (b < 0) max = MAX(-b, max); else max = MAX (b, max) into max = MAX (ABS(b), max)

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu.org
     Ever confirmed|0                           |1
          Component|middle-end                  |tree-optimization
             Status|UNCONFIRMED                 |ASSIGNED
           Severity|normal                      |enhancement
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
   Last reconfirmed|                            |2023-11-01

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Mine.

There is another bug which is very much similar to this but:
  max_19 = MAX_EXPR <_4, max_6>;
  goto <bb 6>; [INV]

  <bb 5> :
  _8 = MAX_EXPR <max_6, tmp_15>;

  <bb 6> :
  # max_5 = PHI <max_19(4), _8(5)>

Basically we need to pull MAX_EXPR out of the if and then the ABS will be
recognized and all.