projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 664e178) | patch
[InstCombine] (-NSW x) s> x --> x s< 0 (PR39480)
authorRoman Lebedev <lebedev.ri@gmail.com>
Thu, 6 Aug 2020 07:45:32 +0000 (10:45 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Thu, 6 Aug 2020 08:50:34 +0000 (11:50 +0300)
commit5060f5682b011d2a8c708b3c1b16bd4e0c408afb
tree9520df3701f94230dac742af047e62eb58d89235tree | snapshot
parent664e1784cd5ee742d74a95a018986e02d66908ebcommit | diff
[InstCombine] (-NSW x) s> x  --> x s< 0  (PR39480)

Name: (-x) s> x  -->  x s< 0
%neg_x = sub nsw i8 0, %x ; %x must not be INT_MIN
%r = icmp sgt i8 %neg_x, %x
  =>
%r = icmp slt i8 %x, 0

https://rise4fun.com/Alive/ZslD

https://bugs.llvm.org/show_bug.cgi?id=39480
llvm/include/llvm/IR/PatternMatch.h diff | blob | history
llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp diff | blob | history
llvm/test/Transforms/InstCombine/cmp-x-vs-neg-x.ll diff | blob | history
Domain: System / Toolchain;