projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e61e35) | patch
[NFC][InstCombine] Tests for x & (-1 >> y) s>= x to x s<= (-1 >> y) fold.
authorRoman Lebedev <lebedev.ri@gmail.com>
Sat, 14 Jul 2018 20:08:31 +0000 (20:08 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Sat, 14 Jul 2018 20:08:31 +0000 (20:08 +0000)
commit53a014e61d0208a600b597b68f8baee2b497c61b
tree877c129669992b6dd718fdd71bd5c875cf88c26btree | snapshot
parent1e61e358a4ed048c3900c32dc84a2665c592cc4ccommit | diff
[NFC][InstCombine] Tests for  x & (-1 >> y) s>= x  to  x s<= (-1 >> y)  fold.

https://bugs.llvm.org/show_bug.cgi?id=38123
https://rise4fun.com/Alive/I3O

This pattern is not commutative!
We must make sure not to fold the commuted version!

llvm-svn: 337108
llvm/test/Transforms/InstCombine/canonicalize-constant-low-bit-mask-and-icmp-sge-to-icmp-sle.ll [new file with mode: 0644] blob
Domain: System / Toolchain;