192 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define i23 @test1(i23 %A) {5; CHECK-LABEL: @test1(6; CHECK-NEXT: ret i23 07;8 %B = sub i23 %A, %A9 ret i23 %B10}11 12define i47 @test2(i47 %A) {13; CHECK-LABEL: @test2(14; CHECK-NEXT: ret i47 [[A:%.*]]15;16 %B = sub i47 %A, 017 ret i47 %B18}19 20define i97 @test3(i97 %A) {21; CHECK-LABEL: @test3(22; CHECK-NEXT: ret i97 [[A:%.*]]23;24 %B = sub i97 0, %A25 %C = sub i97 0, %B26 ret i97 %C27}28 29define i108 @test4(i108 %A, i108 %x) {30; CHECK-LABEL: @test4(31; CHECK-NEXT: [[C:%.*]] = add i108 [[X:%.*]], [[A:%.*]]32; CHECK-NEXT: ret i108 [[C]]33;34 %B = sub i108 0, %A35 %C = sub i108 %x, %B36 ret i108 %C37}38 39define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) {40; CHECK-LABEL: @test5(41; CHECK-NEXT: [[D_NEG:%.*]] = sub i19 [[COK:%.*]], [[BOK:%.*]]42; CHECK-NEXT: [[E:%.*]] = add i19 [[D_NEG]], [[A:%.*]]43; CHECK-NEXT: ret i19 [[E]]44;45 %D = sub i19 %Bok, %Cok46 %E = sub i19 %A, %D47 ret i19 %E48}49 50define i57 @test6(i57 %A, i57 %B) {51; CHECK-LABEL: @test6(52; CHECK-NEXT: [[B_NOT:%.*]] = xor i57 [[B:%.*]], -153; CHECK-NEXT: [[D:%.*]] = and i57 [[A:%.*]], [[B_NOT]]54; CHECK-NEXT: ret i57 [[D]]55;56 %C = and i57 %A, %B57 %D = sub i57 %A, %C58 ret i57 %D59}60 61define i77 @test7(i77 %A) {62; CHECK-LABEL: @test7(63; CHECK-NEXT: [[B:%.*]] = xor i77 [[A:%.*]], -164; CHECK-NEXT: ret i77 [[B]]65;66 %B = sub i77 -1, %A67 ret i77 %B68}69 70define i27 @test8(i27 %A) {71; CHECK-LABEL: @test8(72; CHECK-NEXT: [[C:%.*]] = shl i27 [[A:%.*]], 373; CHECK-NEXT: ret i27 [[C]]74;75 %B = mul i27 9, %A76 %C = sub i27 %B, %A77 ret i27 %C78}79 80define i42 @test9(i42 %A) {81; CHECK-LABEL: @test9(82; CHECK-NEXT: [[C:%.*]] = mul i42 [[A:%.*]], -283; CHECK-NEXT: ret i42 [[C]]84;85 %B = mul i42 3, %A86 %C = sub i42 %A, %B87 ret i42 %C88}89 90define i1 @test11(i9 %A, i9 %B) {91; CHECK-LABEL: @test11(92; CHECK-NEXT: [[CD:%.*]] = icmp ne i9 [[A:%.*]], [[B:%.*]]93; CHECK-NEXT: ret i1 [[CD]]94;95 %C = sub i9 %A, %B96 %cD = icmp ne i9 %C, 097 ret i1 %cD98}99 100define i43 @test12(i43 %A) {101; CHECK-LABEL: @test12(102; CHECK-NEXT: [[B_NEG:%.*]] = lshr i43 [[A:%.*]], 42103; CHECK-NEXT: ret i43 [[B_NEG]]104;105 %B = ashr i43 %A, 42106 %C = sub i43 0, %B107 ret i43 %C108}109 110define i79 @test13(i79 %A) {111; CHECK-LABEL: @test13(112; CHECK-NEXT: [[B_NEG:%.*]] = ashr i79 [[A:%.*]], 78113; CHECK-NEXT: ret i79 [[B_NEG]]114;115 %B = lshr i79 %A, 78116 %C = sub i79 0, %B117 ret i79 %C118}119 120define i1024 @test14(i1024 %A) {121; CHECK-LABEL: @test14(122; CHECK-NEXT: [[B_NEG:%.*]] = ashr i1024 [[A:%.*]], 1023123; CHECK-NEXT: ret i1024 [[B_NEG]]124;125 %B = lshr i1024 %A, 1023126 %C = bitcast i1024 %B to i1024127 %D = sub i1024 0, %C128 ret i1024 %D129}130 131define i51 @test16(i51 %A) {132; CHECK-LABEL: @test16(133; CHECK-NEXT: [[X_NEG:%.*]] = sdiv i51 [[A:%.*]], -1123134; CHECK-NEXT: ret i51 [[X_NEG]]135;136 %X = sdiv i51 %A, 1123137 %Y = sub i51 0, %X138 ret i51 %Y139}140 141; Can't fold subtract here because negation might overflow.142; PR3142143define i25 @test17(i25 %Aok) {144; CHECK-LABEL: @test17(145; CHECK-NEXT: [[B:%.*]] = sub i25 0, [[AOK:%.*]]146; CHECK-NEXT: [[C:%.*]] = sdiv i25 [[B]], 1234147; CHECK-NEXT: ret i25 [[C]]148;149 %B = sub i25 0, %Aok150 %C = sdiv i25 %B, 1234151 ret i25 %C152}153 154define i128 @test18(i128 %Y) {155; CHECK-LABEL: @test18(156; CHECK-NEXT: ret i128 0157;158 %t1 = shl i128 %Y, 2159 %t2 = shl i128 %Y, 2160 %t3 = sub i128 %t1, %t2161 ret i128 %t3162}163 164define i39 @test19(i39 %X, i39 %Y) {165; CHECK-LABEL: @test19(166; CHECK-NEXT: ret i39 [[X:%.*]]167;168 %Z = sub i39 %X, %Y169 %Q = add i39 %Z, %Y170 ret i39 %Q171}172 173define i1 @test20(i33 %g, i33 %h) {174; CHECK-LABEL: @test20(175; CHECK-NEXT: [[T4:%.*]] = icmp ne i33 [[H:%.*]], 0176; CHECK-NEXT: ret i1 [[T4]]177;178 %t2 = sub i33 %g, %h179 %t4 = icmp ne i33 %t2, %g180 ret i1 %t4181}182 183define i1 @test21(i256 %g, i256 %h) {184; CHECK-LABEL: @test21(185; CHECK-NEXT: [[T4:%.*]] = icmp ne i256 [[H:%.*]], 0186; CHECK-NEXT: ret i1 [[T4]]187;188 %t2 = sub i256 %g, %h189 %t4 = icmp ne i256 %t2, %g190 ret i1 %t4191}192