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
NewRHS = Constant::getNullValue(X->getType());
break;
+ case ICmpInst::ICMP_SGE:
+ NewPred = ICmpInst::ICMP_SLE;
+ NewRHS = Constant::getNullValue(X->getType());
+ break;
+
case ICmpInst::ICMP_EQ:
case ICmpInst::ICMP_NE:
NewPred = Pred;
define i1 @t1(i8 %x) {
; CHECK-LABEL: @t1(
-; CHECK-NEXT: [[NEG_X:%.*]] = sub nsw i8 0, [[X:%.*]]
-; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[NEG_X]], [[X]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP]]
;
%neg_x = sub nsw i8 0, %x