projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efcad77) | patch
[NFC][InstCombine] Add tests for (X - Y) < X --> Y <= X iff Y != 0
authorRoman Lebedev <lebedev.ri@gmail.com>
Wed, 25 Sep 2019 19:06:26 +0000 (19:06 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Wed, 25 Sep 2019 19:06:26 +0000 (19:06 +0000)
commitdfda7d2d90df4034cb9d28f178dbbef93a57abe0
treedc3c9c42bcea0d4f90d7295f268f20258091ca3ftree | snapshot
parentefcad77431e10b615469595eff301804a5027f18commit | diff
[NFC][InstCombine] Add tests for (X - Y) < X  -->  Y <= X  iff  Y != 0

https://rise4fun.com/Alive/KtL
This should go to InstCombiner::foldICmpBinO(), next to
"Convert sub-with-unsigned-overflow comparisons into a comparison of args."

llvm-svn: 372911
llvm/test/Transforms/InstCombine/strict-sub-underflow-check-to-comparison-of-sub-operands.ll [new file with mode: 0644] blob
Domain: System / Toolchain;