156 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4; Fold5; (%x - %y) u<= %x6; to7; @llvm.sub.with.overflow(%x, %y) + extractvalue + not8 9define i1 @t0_basic(i8 %x, i8 %y) {10; CHECK-LABEL: @t0_basic(11; CHECK-NEXT: [[R:%.*]] = icmp ule i8 [[Y:%.*]], [[X:%.*]]12; CHECK-NEXT: ret i1 [[R]]13;14 %t0 = sub i8 %x, %y15 %r = icmp ule i8 %t0, %x16 ret i1 %r17}18 19define <2 x i1> @t1_vec(<2 x i8> %x, <2 x i8> %y) {20; CHECK-LABEL: @t1_vec(21; CHECK-NEXT: [[R:%.*]] = icmp ule <2 x i8> [[Y:%.*]], [[X:%.*]]22; CHECK-NEXT: ret <2 x i1> [[R]]23;24 %t0 = sub <2 x i8> %x, %y25 %r = icmp ule <2 x i8> %t0, %x26 ret <2 x i1> %r27}28 29; Commutativity30 31define i1 @t2_commutative(i8 %x, i8 %y) {32; CHECK-LABEL: @t2_commutative(33; CHECK-NEXT: [[R:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]34; CHECK-NEXT: ret i1 [[R]]35;36 %t0 = sub i8 %x, %y37 %r = icmp uge i8 %x, %t0 ; swapped38 ret i1 %r39}40 41; Extra-use tests42 43declare void @use8(i8)44 45define i1 @t3_extrause0(i8 %x, i8 %y) {46; CHECK-LABEL: @t3_extrause0(47; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]48; CHECK-NEXT: call void @use8(i8 [[T0]])49; CHECK-NEXT: [[R:%.*]] = icmp ule i8 [[Y]], [[X]]50; CHECK-NEXT: ret i1 [[R]]51;52 %t0 = sub i8 %x, %y53 call void @use8(i8 %t0)54 %r = icmp ule i8 %t0, %x55 ret i1 %r56}57 58; Negative tests59 60define i1 @n4_not_commutative(i8 %x, i8 %y) {61; CHECK-LABEL: @n4_not_commutative(62; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]63; CHECK-NEXT: [[R:%.*]] = icmp ule i8 [[T0]], [[Y]]64; CHECK-NEXT: ret i1 [[R]]65;66 %t0 = sub i8 %x, %y67 %r = icmp ule i8 %t0, %y ; can't check against %y.68 ret i1 %r69}70 71define i1 @n5_wrong_pred0(i8 %x, i8 %y) {72; CHECK-LABEL: @n5_wrong_pred0(73; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]74; CHECK-NEXT: [[R:%.*]] = icmp ult i8 [[T0]], [[X]]75; CHECK-NEXT: ret i1 [[R]]76;77 %t0 = sub i8 %x, %y78 %r = icmp ult i8 %t0, %x79 ret i1 %r80}81 82define i1 @n6_wrong_pred1(i8 %x, i8 %y) {83; CHECK-LABEL: @n6_wrong_pred1(84; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]85; CHECK-NEXT: [[R:%.*]] = icmp uge i8 [[T0]], [[X]]86; CHECK-NEXT: ret i1 [[R]]87;88 %t0 = sub i8 %x, %y89 %r = icmp uge i8 %t0, %x90 ret i1 %r91}92 93define i1 @n7_wrong_pred2(i8 %x, i8 %y) {94; CHECK-LABEL: @n7_wrong_pred2(95; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[Y:%.*]], 096; CHECK-NEXT: ret i1 [[R]]97;98 %t0 = sub i8 %x, %y99 %r = icmp eq i8 %t0, %x100 ret i1 %r101}102 103define i1 @n8_wrong_pred3(i8 %x, i8 %y) {104; CHECK-LABEL: @n8_wrong_pred3(105; CHECK-NEXT: [[R:%.*]] = icmp ne i8 [[Y:%.*]], 0106; CHECK-NEXT: ret i1 [[R]]107;108 %t0 = sub i8 %x, %y109 %r = icmp ne i8 %t0, %x110 ret i1 %r111}112 113define i1 @n9_wrong_pred4(i8 %x, i8 %y) {114; CHECK-LABEL: @n9_wrong_pred4(115; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]116; CHECK-NEXT: [[R:%.*]] = icmp slt i8 [[T0]], [[X]]117; CHECK-NEXT: ret i1 [[R]]118;119 %t0 = sub i8 %x, %y120 %r = icmp slt i8 %t0, %x121 ret i1 %r122}123 124define i1 @n10_wrong_pred5(i8 %x, i8 %y) {125; CHECK-LABEL: @n10_wrong_pred5(126; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]127; CHECK-NEXT: [[R:%.*]] = icmp sle i8 [[T0]], [[X]]128; CHECK-NEXT: ret i1 [[R]]129;130 %t0 = sub i8 %x, %y131 %r = icmp sle i8 %t0, %x132 ret i1 %r133}134 135define i1 @n11_wrong_pred6(i8 %x, i8 %y) {136; CHECK-LABEL: @n11_wrong_pred6(137; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]138; CHECK-NEXT: [[R:%.*]] = icmp sgt i8 [[T0]], [[X]]139; CHECK-NEXT: ret i1 [[R]]140;141 %t0 = sub i8 %x, %y142 %r = icmp sgt i8 %t0, %x143 ret i1 %r144}145 146define i1 @n12_wrong_pred7(i8 %x, i8 %y) {147; CHECK-LABEL: @n12_wrong_pred7(148; CHECK-NEXT: [[T0:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]149; CHECK-NEXT: [[R:%.*]] = icmp sge i8 [[T0]], [[X]]150; CHECK-NEXT: ret i1 [[R]]151;152 %t0 = sub i8 %x, %y153 %r = icmp sge i8 %t0, %x154 ret i1 %r155}156