1 ; This test makes sure that shit instructions are properly eliminated 2 ; even with arbitrary precision integers. 3 ; RUN: opt < %s -instcombine -S | not grep sh 4 ; END. 5 6 define i47 @test1(i47 %A) { 7 %B = shl i47 %A, 0 ; <i47> [#uses=1] 8 ret i47 %B 9 } 10 11 define i41 @test2(i7 %X) { 12 %A = zext i7 %X to i41 ; <i41> [#uses=1] 13 %B = shl i41 0, %A ; <i41> [#uses=1] 14 ret i41 %B 15 } 16 17 define i41 @test3(i41 %A) { 18 %B = ashr i41 %A, 0 ; <i41> [#uses=1] 19 ret i41 %B 20 } 21 22 define i39 @test4(i7 %X) { 23 %A = zext i7 %X to i39 ; <i39> [#uses=1] 24 %B = ashr i39 0, %A ; <i39> [#uses=1] 25 ret i39 %B 26 } 27 28 define i55 @test5(i55 %A) { 29 %B = lshr i55 %A, 55 ; <i55> [#uses=1] 30 ret i55 %B 31 } 32 33 define i32 @test5a(i32 %A) { 34 %B = shl i32 %A, 32 ; <i32> [#uses=1] 35 ret i32 %B 36 } 37 38 define i55 @test6(i55 %A) { 39 %B = shl i55 %A, 1 ; <i55> [#uses=1] 40 %C = mul i55 %B, 3 ; <i55> [#uses=1] 41 ret i55 %C 42 } 43 44 define i29 @test7(i8 %X) { 45 %A = zext i8 %X to i29 ; <i29> [#uses=1] 46 %B = ashr i29 -1, %A ; <i29> [#uses=1] 47 ret i29 %B 48 } 49 50 define i7 @test8(i7 %A) { 51 %B = shl i7 %A, 4 ; <i7> [#uses=1] 52 %C = shl i7 %B, 3 ; <i7> [#uses=1] 53 ret i7 %C 54 } 55 56 define i17 @test9(i17 %A) { 57 %B = shl i17 %A, 16 ; <i17> [#uses=1] 58 %C = lshr i17 %B, 16 ; <i17> [#uses=1] 59 ret i17 %C 60 } 61 62 define i19 @test10(i19 %A) { 63 %B = lshr i19 %A, 18 ; <i19> [#uses=1] 64 %C = shl i19 %B, 18 ; <i19> [#uses=1] 65 ret i19 %C 66 } 67 68 define i23 @test11(i23 %A) { 69 %a = mul i23 %A, 3 ; <i23> [#uses=1] 70 %B = lshr i23 %a, 11 ; <i23> [#uses=1] 71 %C = shl i23 %B, 12 ; <i23> [#uses=1] 72 ret i23 %C 73 } 74 75 define i47 @test12(i47 %A) { 76 %B = ashr i47 %A, 8 ; <i47> [#uses=1] 77 %C = shl i47 %B, 8 ; <i47> [#uses=1] 78 ret i47 %C 79 } 80 81 define i18 @test13(i18 %A) { 82 %a = mul i18 %A, 3 ; <i18> [#uses=1] 83 %B = ashr i18 %a, 8 ; <i18> [#uses=1] 84 %C = shl i18 %B, 9 ; <i18> [#uses=1] 85 ret i18 %C 86 } 87 88 define i35 @test14(i35 %A) { 89 %B = lshr i35 %A, 4 ; <i35> [#uses=1] 90 %C = or i35 %B, 1234 ; <i35> [#uses=1] 91 %D = shl i35 %C, 4 ; <i35> [#uses=1] 92 ret i35 %D 93 } 94 95 define i79 @test14a(i79 %A) { 96 %B = shl i79 %A, 4 ; <i79> [#uses=1] 97 %C = and i79 %B, 1234 ; <i79> [#uses=1] 98 %D = lshr i79 %C, 4 ; <i79> [#uses=1] 99 ret i79 %D 100 } 101 102 define i45 @test15(i1 %C) { 103 %A = select i1 %C, i45 3, i45 1 ; <i45> [#uses=1] 104 %V = shl i45 %A, 2 ; <i45> [#uses=1] 105 ret i45 %V 106 } 107 108 define i53 @test15a(i1 %X) { 109 %A = select i1 %X, i8 3, i8 1 ; <i8> [#uses=1] 110 %B = zext i8 %A to i53 ; <i53> [#uses=1] 111 %V = shl i53 64, %B ; <i53> [#uses=1] 112 ret i53 %V 113 } 114 115 define i1 @test16(i84 %X) { 116 %tmp.3 = ashr i84 %X, 4 ; <i84> [#uses=1] 117 %tmp.6 = and i84 %tmp.3, 1 ; <i84> [#uses=1] 118 %tmp.7 = icmp ne i84 %tmp.6, 0 ; <i1> [#uses=1] 119 ret i1 %tmp.7 120 } 121 122 define i1 @test17(i106 %A) { 123 %B = lshr i106 %A, 3 ; <i106> [#uses=1] 124 %C = icmp eq i106 %B, 1234 ; <i1> [#uses=1] 125 ret i1 %C 126 } 127 128 define i1 @test18(i11 %A) { 129 %B = lshr i11 %A, 10 ; <i11> [#uses=1] 130 %C = icmp eq i11 %B, 123 ; <i1> [#uses=1] 131 ret i1 %C 132 } 133 134 define i1 @test19(i37 %A) { 135 %B = ashr i37 %A, 2 ; <i37> [#uses=1] 136 %C = icmp eq i37 %B, 0 ; <i1> [#uses=1] 137 ret i1 %C 138 } 139 140 define i1 @test19a(i39 %A) { 141 %B = ashr i39 %A, 2 ; <i39> [#uses=1] 142 %C = icmp eq i39 %B, -1 ; <i1> [#uses=1] 143 ret i1 %C 144 } 145 146 define i1 @test20(i13 %A) { 147 %B = ashr i13 %A, 12 ; <i13> [#uses=1] 148 %C = icmp eq i13 %B, 123 ; <i1> [#uses=1] 149 ret i1 %C 150 } 151 152 define i1 @test21(i12 %A) { 153 %B = shl i12 %A, 6 ; <i12> [#uses=1] 154 %C = icmp eq i12 %B, -128 ; <i1> [#uses=1] 155 ret i1 %C 156 } 157 158 define i1 @test22(i14 %A) { 159 %B = shl i14 %A, 7 ; <i14> [#uses=1] 160 %C = icmp eq i14 %B, 0 ; <i1> [#uses=1] 161 ret i1 %C 162 } 163 164 define i11 @test23(i44 %A) { 165 %B = shl i44 %A, 33 ; <i44> [#uses=1] 166 %C = ashr i44 %B, 33 ; <i44> [#uses=1] 167 %D = trunc i44 %C to i11 ; <i8> [#uses=1] 168 ret i11 %D 169 } 170 171 define i37 @test25(i37 %tmp.2, i37 %AA) { 172 %x = lshr i37 %AA, 17 ; <i37> [#uses=1] 173 %tmp.3 = lshr i37 %tmp.2, 17 ; <i37> [#uses=1] 174 %tmp.5 = add i37 %tmp.3, %x ; <i37> [#uses=1] 175 %tmp.6 = shl i37 %tmp.5, 17 ; <i37> [#uses=1] 176 ret i37 %tmp.6 177 } 178 179 define i40 @test26(i40 %A) { 180 %B = lshr i40 %A, 1 ; <i40> [#uses=1] 181 %C = bitcast i40 %B to i40 ; <i40> [#uses=1] 182 %D = shl i40 %C, 1 ; <i40> [#uses=1] 183 ret i40 %D 184 } 185
