[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:42 +0000 (20:08 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Sat, 14 Jul 2018 20:08:42 +0000 (20:08 +0000)
commitedba515baa3d924000f9704890987aaad5d90630
tree127a43a93d39c3c0adda5f0c61f0594233b8bd34
parentf14426101e9b3d796ea2b3bb1a8021c52119201c
[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: 337110
llvm/test/Transforms/InstCombine/canonicalize-constant-low-bit-mask-and-icmp-slt-to-icmp-sgt.ll [new file with mode: 0644]