projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8878b79) | patch
[InstCombine] (-NSW x) s>= x --> x s<= 0 (PR39480)
authorRoman Lebedev <lebedev.ri@gmail.com>
Thu, 6 Aug 2020 08:07:17 +0000 (11:07 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Thu, 6 Aug 2020 08:50:34 +0000 (11:50 +0300)
commit388520765157f1ce7e48e49179dc58781ae61f56
treee9725dd7ee229da3da62bb99141fcdb3a35f5772tree | snapshot
parent8878b79cfe99e1ef36a265539329cd323e05a40dcommit | 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 sge i8 %neg_x, %x
  =>
%r = icmp sle i8 %x, 0

https://rise4fun.com/Alive/Hdip

https://bugs.llvm.org/show_bug.cgi?id=39480
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;