[Bug tree-optimization/67998] redundant test for 0 when also checking inequality

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
   Target Milestone|---                         |12.0
      Known to fail|                            |7.1.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed already on the trunk, I have not tried any other version (except GCC 7
where it was still broken):
  <bb 2> [local count: 1073741824]:
  if (a_2(D) <= b_3(D))
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072224]:

  <bb 4> [local count: 1073741824]:
  # _1 = PHI <5(3), 2(2)>