[Bug tree-optimization/95738] Failure to optimize comparison of vector after sign xor to unsigned comparison

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

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

Andrew Pinski  changed:

   What|Removed |Added

   Last reconfirmed||2021-08-07
 Status|UNCONFIRMED |NEW
 Ever confirmed|0   |1

--- Comment #2 from Andrew Pinski  ---
Confirmed.

We don't even do the scalar one:

int64_t f(int64_t a, int64_t b)
{
auto sign = (int64_t)0x8000u;
return (a ^ sign) > (b ^ sign);
}

[Bug tree-optimization/95738] Failure to optimize comparison of vector after sign xor to unsigned comparison

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

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

Andrew Pinski  changed:

   What|Removed |Added

Summary|Failure to optimize |Failure to optimize
   |comparison of float after   |comparison of vector after
   |sign xor to unsigned|sign xor to unsigned
   |comparison  |comparison
   Severity|normal  |enhancement

--- Comment #1 from Andrew Pinski  ---
Vectors optimizations are less likely to implemented really.