HomePhabricator

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

Authored by lebedev.ri on Aug 6 2020, 1:14 AM.

Description

[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 sle i8 %neg_x, %x

=>

%r = icmp sge i8 %x, 0

https://rise4fun.com/Alive/91k

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

Details

Committed
lebedev.riAug 6 2020, 1:50 AM
Parents
rG01a6c4bd26a5: [InstCombine] (-NSW x) s< x --> x s> 0 (PR39480)
Branches
Unknown
Tags
Unknown