https://bugs.llvm.org/show_bug.cgi?id=48406
Sanjay Patel <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Sanjay Patel <[email protected]> ---
-correlated-propagation seems to get this in all cases.
-instcombine tries to fold abs() too via a wrapper around computeKnownBits
called getKnownSign().
But notice that the compare is not a direct test of the sign-bit; it is "x <=
0", so that doesn't work.
Since we're getting the expected result through the typical optimization
pipeline, I wouldn't add more code to instcombine.
If there are still abs() patterns that escape optimization, we can revisit.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
