Skip to content
Unverified Commit 01a6c4bd authored by Roman Lebedev's avatar Roman Lebedev
Browse files

[InstCombine] (-NSW x) s< x --> x s> 0 (PR39480) 

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

https://rise4fun.com/Alive/3IXb

https://bugs.llvm.org/show_bug.cgi?id=39480
parent 38852076
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment