[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
----------------------------------------------------------------------------
         Depends on|                            |119920

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
With the patch from PR 119920, I get in ifcvt:
  _32 = (unsigned int) tmp_11;
  _33 = -_32;
  _4 = (int) _33;
  _23 = tmp_11 < 0;
  _31 = _23 ? _4 : tmp_11;
  max_5 = MAX_EXPR <_31, max_17>;

Which still has an issue but because this is ABSU with a cast which
fold_build_cond_expr does not support (yet).

I can add that in a few.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119920
[Bug 119920] Missed vectorization for conditioned adds