1 ; This test makes sure that sub instructions are properly eliminated 2 ; even with arbitrary precision integers. 3 ; 4 5 ; RUN: opt < %s -instcombine -S | \ 6 ; RUN: grep -v "sub i19 %Cok, %Bok" | grep -v "sub i25 0, %Aok" | not grep sub 7 ; END. 8 9 define i23 @test1(i23 %A) { 10 %B = sub i23 %A, %A ; <i23> [#uses=1] 11 ret i23 %B 12 } 13 14 define i47 @test2(i47 %A) { 15 %B = sub i47 %A, 0 ; <i47> [#uses=1] 16 ret i47 %B 17 } 18 19 define i97 @test3(i97 %A) { 20 %B = sub i97 0, %A ; <i97> [#uses=1] 21 %C = sub i97 0, %B ; <i97> [#uses=1] 22 ret i97 %C 23 } 24 25 define i108 @test4(i108 %A, i108 %x) { 26 %B = sub i108 0, %A ; <i108> [#uses=1] 27 %C = sub i108 %x, %B ; <i108> [#uses=1] 28 ret i108 %C 29 } 30 31 define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) { 32 %D = sub i19 %Bok, %Cok ; <i19> [#uses=1] 33 %E = sub i19 %A, %D ; <i19> [#uses=1] 34 ret i19 %E 35 } 36 37 define i57 @test6(i57 %A, i57 %B) { 38 %C = and i57 %A, %B ; <i57> [#uses=1] 39 %D = sub i57 %A, %C ; <i57> [#uses=1] 40 ret i57 %D 41 } 42 43 define i77 @test7(i77 %A) { 44 %B = sub i77 -1, %A ; <i77> [#uses=1] 45 ret i77 %B 46 } 47 48 define i27 @test8(i27 %A) { 49 %B = mul i27 9, %A ; <i27> [#uses=1] 50 %C = sub i27 %B, %A ; <i27> [#uses=1] 51 ret i27 %C 52 } 53 54 define i42 @test9(i42 %A) { 55 %B = mul i42 3, %A ; <i42> [#uses=1] 56 %C = sub i42 %A, %B ; <i42> [#uses=1] 57 ret i42 %C 58 } 59 60 define i124 @test10(i124 %A, i124 %B) { 61 %C = sub i124 0, %A ; <i124> [#uses=1] 62 %D = sub i124 0, %B ; <i124> [#uses=1] 63 %E = mul i124 %C, %D ; <i124> [#uses=1] 64 ret i124 %E 65 } 66 67 define i55 @test10a(i55 %A) { 68 %C = sub i55 0, %A ; <i55> [#uses=1] 69 %E = mul i55 %C, 7 ; <i55> [#uses=1] 70 ret i55 %E 71 } 72 73 define i1 @test11(i9 %A, i9 %B) { 74 %C = sub i9 %A, %B ; <i9> [#uses=1] 75 %cD = icmp ne i9 %C, 0 ; <i1> [#uses=1] 76 ret i1 %cD 77 } 78 79 define i43 @test12(i43 %A) { 80 %B = ashr i43 %A, 42 ; <i43> [#uses=1] 81 %C = sub i43 0, %B ; <i43> [#uses=1] 82 ret i43 %C 83 } 84 85 define i79 @test13(i79 %A) { 86 %B = lshr i79 %A, 78 ; <i79> [#uses=1] 87 %C = sub i79 0, %B ; <i79> [#uses=1] 88 ret i79 %C 89 } 90 91 define i1024 @test14(i1024 %A) { 92 %B = lshr i1024 %A, 1023 ; <i1024> [#uses=1] 93 %C = bitcast i1024 %B to i1024 ; <i1024> [#uses=1] 94 %D = sub i1024 0, %C ; <i1024> [#uses=1] 95 ret i1024 %D 96 } 97 98 define i14 @test15(i14 %A, i14 %B) { 99 %C = sub i14 0, %A ; <i14> [#uses=1] 100 %D = srem i14 %B, %C ; <i14> [#uses=1] 101 ret i14 %D 102 } 103 104 define i51 @test16(i51 %A) { 105 %X = sdiv i51 %A, 1123 ; <i51> [#uses=1] 106 %Y = sub i51 0, %X ; <i51> [#uses=1] 107 ret i51 %Y 108 } 109 110 ; Can't fold subtract here because negation it might oveflow. 111 ; PR3142 112 define i25 @test17(i25 %Aok) { 113 %B = sub i25 0, %Aok ; <i25> [#uses=1] 114 %C = sdiv i25 %B, 1234 ; <i25> [#uses=1] 115 ret i25 %C 116 } 117 118 define i128 @test18(i128 %Y) { 119 %tmp.4 = shl i128 %Y, 2 ; <i128> [#uses=1] 120 %tmp.12 = shl i128 %Y, 2 ; <i128> [#uses=1] 121 %tmp.8 = sub i128 %tmp.4, %tmp.12 ; <i128> [#uses=1] 122 ret i128 %tmp.8 123 } 124 125 define i39 @test19(i39 %X, i39 %Y) { 126 %Z = sub i39 %X, %Y ; <i39> [#uses=1] 127 %Q = add i39 %Z, %Y ; <i39> [#uses=1] 128 ret i39 %Q 129 } 130 131 define i1 @test20(i33 %g, i33 %h) { 132 %tmp.2 = sub i33 %g, %h ; <i33> [#uses=1] 133 %tmp.4 = icmp ne i33 %tmp.2, %g ; <i1> [#uses=1] 134 ret i1 %tmp.4 135 } 136 137 define i1 @test21(i256 %g, i256 %h) { 138 %tmp.2 = sub i256 %g, %h ; <i256> [#uses=1] 139 %tmp.4 = icmp ne i256 %tmp.2, %g; <i1> [#uses=1] 140 ret i1 %tmp.4 141 } 142
