OSDN Git Service

[NFC][InstCombine] Tests for x & (-1 >> y) == x -> x u<= (-1 >> y) fold
authorRoman Lebedev <lebedev.ri@gmail.com>
Wed, 11 Jul 2018 12:37:12 +0000 (12:37 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Wed, 11 Jul 2018 12:37:12 +0000 (12:37 +0000)
commit6c02a48ba4f910dab9a58d3fa6d4855bae5f335d
treee18a5891dab24b073ab908fbf392226dacfef1ee
parentf72585ca173fbc0e9ee43ee2ffec70d9f55e0ff5
[NFC][InstCombine] Tests for  x & (-1 >> y) == x  ->  x u<= (-1 >> y)  fold

https://bugs.llvm.org/show_bug.cgi?id=38123

This pattern will be produced by Implicit Integer Truncation sanitizer,
https://reviews.llvm.org/D48958
https://bugs.llvm.org/show_bug.cgi?id=21530
in unsigned case, therefore it is probably a good idea to improve it.

https://rise4fun.com/Alive/Rny

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@336796 91177308-0d34-0410-b5e6-96231b3b80d8
test/Transforms/InstCombine/canonicalize-constant-low-bit-mask-and-icmp-eq-to-icmp-ule.ll [new file with mode: 0644]
test/Transforms/InstCombine/canonicalize-low-bit-mask-and-icmp-eq-to-icmp-ule.ll [new file with mode: 0644]