1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt -instcombine -S -default-data-layout="p:32:32:32-p1:16:16:16-n8:16:32:64" < %s | FileCheck %s 3 4 @G16 = internal constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85, 5 i16 73, i16 82, i16 69, i16 68, i16 0] 6 7 @G16_as1 = internal addrspace(1) constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85, 8 i16 73, i16 82, i16 69, i16 68, i16 0] 9 10 @GD = internal constant [6 x double] 11 [double -10.0, double 1.0, double 4.0, double 2.0, double -20.0, double -40.0] 12 13 %Foo = type { i32, i32, i32, i32 } 14 15 @GS = internal constant %Foo { i32 1, i32 4, i32 9, i32 14 } 16 17 @GStructArr = internal constant [4 x %Foo] [ %Foo { i32 1, i32 4, i32 9, i32 14 }, 18 %Foo { i32 5, i32 4, i32 6, i32 11 }, 19 %Foo { i32 6, i32 5, i32 9, i32 20 }, 20 %Foo { i32 12, i32 3, i32 9, i32 8 } ] 21 22 23 define i1 @test1(i32 %X) { 24 ; CHECK-LABEL: @test1( 25 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 %X, 9 26 ; CHECK-NEXT: ret i1 [[R]] 27 ; 28 %P = getelementptr inbounds [10 x i16], [10 x i16]* @G16, i32 0, i32 %X 29 %Q = load i16, i16* %P 30 %R = icmp eq i16 %Q, 0 31 ret i1 %R 32 } 33 34 define i1 @test1_noinbounds(i32 %X) { 35 ; CHECK-LABEL: @test1_noinbounds( 36 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 %X, 9 37 ; CHECK-NEXT: ret i1 [[R]] 38 ; 39 %P = getelementptr [10 x i16], [10 x i16]* @G16, i32 0, i32 %X 40 %Q = load i16, i16* %P 41 %R = icmp eq i16 %Q, 0 42 ret i1 %R 43 } 44 45 define i1 @test1_noinbounds_i64(i64 %X) { 46 ; CHECK-LABEL: @test1_noinbounds_i64( 47 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 %X to i32 48 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[TMP1]], 9 49 ; CHECK-NEXT: ret i1 [[R]] 50 ; 51 %P = getelementptr [10 x i16], [10 x i16]* @G16, i64 0, i64 %X 52 %Q = load i16, i16* %P 53 %R = icmp eq i16 %Q, 0 54 ret i1 %R 55 } 56 57 define i1 @test1_noinbounds_as1(i32 %x) { 58 ; CHECK-LABEL: @test1_noinbounds_as1( 59 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i32 %x to i16 60 ; CHECK-NEXT: [[R:%.*]] = icmp eq i16 [[TMP1]], 9 61 ; CHECK-NEXT: ret i1 [[R]] 62 ; 63 %p = getelementptr [10 x i16], [10 x i16] addrspace(1)* @G16_as1, i16 0, i32 %x 64 %q = load i16, i16 addrspace(1)* %p 65 %r = icmp eq i16 %q, 0 66 ret i1 %r 67 68 } 69 70 define i1 @test2(i32 %X) { 71 ; CHECK-LABEL: @test2( 72 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 %X, 4 73 ; CHECK-NEXT: ret i1 [[R]] 74 ; 75 %P = getelementptr inbounds [10 x i16], [10 x i16]* @G16, i32 0, i32 %X 76 %Q = load i16, i16* %P 77 %R = icmp slt i16 %Q, 85 78 ret i1 %R 79 } 80 81 define i1 @test3(i32 %X) { 82 ; CHECK-LABEL: @test3( 83 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 %X, 1 84 ; CHECK-NEXT: ret i1 [[R]] 85 ; 86 %P = getelementptr inbounds [6 x double], [6 x double]* @GD, i32 0, i32 %X 87 %Q = load double, double* %P 88 %R = fcmp oeq double %Q, 1.0 89 ret i1 %R 90 91 } 92 93 define i1 @test4(i32 %X) { 94 ; CHECK-LABEL: @test4( 95 ; CHECK-NEXT: [[TMP1:%.*]] = lshr i32 933, %X 96 ; CHECK-NEXT: [[TMP2:%.*]] = and i32 [[TMP1]], 1 97 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP2]], 0 98 ; CHECK-NEXT: ret i1 [[R]] 99 ; 100 %P = getelementptr inbounds [10 x i16], [10 x i16]* @G16, i32 0, i32 %X 101 %Q = load i16, i16* %P 102 %R = icmp sle i16 %Q, 73 103 ret i1 %R 104 } 105 106 define i1 @test4_i16(i16 %X) { 107 ; CHECK-LABEL: @test4_i16( 108 ; CHECK-NEXT: [[TMP1:%.*]] = sext i16 %X to i32 109 ; CHECK-NEXT: [[TMP2:%.*]] = lshr i32 933, [[TMP1]] 110 ; CHECK-NEXT: [[TMP3:%.*]] = and i32 [[TMP2]], 1 111 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP3]], 0 112 ; CHECK-NEXT: ret i1 [[R]] 113 ; 114 %P = getelementptr inbounds [10 x i16], [10 x i16]* @G16, i32 0, i16 %X 115 %Q = load i16, i16* %P 116 %R = icmp sle i16 %Q, 73 117 ret i1 %R 118 } 119 120 define i1 @test5(i32 %X) { 121 ; CHECK-LABEL: @test5( 122 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 %X, 2 123 ; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 %X, 7 124 ; CHECK-NEXT: [[R:%.*]] = or i1 [[TMP1]], [[TMP2]] 125 ; CHECK-NEXT: ret i1 [[R]] 126 ; 127 %P = getelementptr inbounds [10 x i16], [10 x i16]* @G16, i32 0, i32 %X 128 %Q = load i16, i16* %P 129 %R = icmp eq i16 %Q, 69 130 ret i1 %R 131 } 132 133 define i1 @test6(i32 %X) { 134 ; CHECK-LABEL: @test6( 135 ; CHECK-NEXT: [[TMP1:%.*]] = add i32 %X, -1 136 ; CHECK-NEXT: [[R:%.*]] = icmp ult i32 [[TMP1]], 3 137 ; CHECK-NEXT: ret i1 [[R]] 138 ; 139 %P = getelementptr inbounds [6 x double], [6 x double]* @GD, i32 0, i32 %X 140 %Q = load double, double* %P 141 %R = fcmp ogt double %Q, 0.0 142 ret i1 %R 143 } 144 145 define i1 @test7(i32 %X) { 146 ; CHECK-LABEL: @test7( 147 ; CHECK-NEXT: [[TMP1:%.*]] = add i32 %X, -1 148 ; CHECK-NEXT: [[R:%.*]] = icmp ugt i32 [[TMP1]], 2 149 ; CHECK-NEXT: ret i1 [[R]] 150 ; 151 %P = getelementptr inbounds [6 x double], [6 x double]* @GD, i32 0, i32 %X 152 %Q = load double, double* %P 153 %R = fcmp olt double %Q, 0.0 154 ret i1 %R 155 } 156 157 define i1 @test8(i32 %X) { 158 ; CHECK-LABEL: @test8( 159 ; CHECK-NEXT: [[TMP1:%.*]] = or i32 %X, 1 160 ; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 9 161 ; CHECK-NEXT: ret i1 [[TMP2]] 162 ; 163 %P = getelementptr inbounds [10 x i16], [10 x i16]* @G16, i32 0, i32 %X 164 %Q = load i16, i16* %P 165 %R = and i16 %Q, 3 166 %S = icmp eq i16 %R, 0 167 ret i1 %S 168 } 169 170 @GA = internal constant [4 x { i32, i32 } ] [ 171 { i32, i32 } { i32 1, i32 0 }, 172 { i32, i32 } { i32 2, i32 1 }, 173 { i32, i32 } { i32 3, i32 1 }, 174 { i32, i32 } { i32 4, i32 0 } 175 ] 176 177 define i1 @test9(i32 %X) { 178 ; CHECK-LABEL: @test9( 179 ; CHECK-NEXT: [[X_OFF:%.*]] = add i32 %X, -1 180 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[X_OFF]], 2 181 ; CHECK-NEXT: ret i1 [[TMP1]] 182 ; 183 %P = getelementptr inbounds [4 x { i32, i32 } ], [4 x { i32, i32 } ]* @GA, i32 0, i32 %X, i32 1 184 %Q = load i32, i32* %P 185 %R = icmp eq i32 %Q, 1 186 ret i1 %R 187 } 188 189 define i1 @test10_struct(i32 %x) { 190 ; CHECK-LABEL: @test10_struct( 191 ; CHECK-NEXT: ret i1 false 192 ; 193 %p = getelementptr inbounds %Foo, %Foo* @GS, i32 %x, i32 0 194 %q = load i32, i32* %p 195 %r = icmp eq i32 %q, 9 196 ret i1 %r 197 } 198 199 define i1 @test10_struct_noinbounds(i32 %x) { 200 ; CHECK-LABEL: @test10_struct_noinbounds( 201 ; CHECK-NEXT: [[P:%.*]] = getelementptr %Foo, %Foo* @GS, i32 %x, i32 0 202 ; CHECK-NEXT: [[Q:%.*]] = load i32, i32* [[P]], align 8 203 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[Q]], 9 204 ; CHECK-NEXT: ret i1 [[R]] 205 ; 206 %p = getelementptr %Foo, %Foo* @GS, i32 %x, i32 0 207 %q = load i32, i32* %p 208 %r = icmp eq i32 %q, 9 209 ret i1 %r 210 } 211 212 ; Test that the GEP indices are converted before we ever get here 213 ; Index < ptr size 214 define i1 @test10_struct_i16(i16 %x){ 215 ; CHECK-LABEL: @test10_struct_i16( 216 ; CHECK-NEXT: ret i1 false 217 ; 218 %p = getelementptr inbounds %Foo, %Foo* @GS, i16 %x, i32 0 219 %q = load i32, i32* %p 220 %r = icmp eq i32 %q, 0 221 ret i1 %r 222 } 223 224 ; Test that the GEP indices are converted before we ever get here 225 ; Index > ptr size 226 define i1 @test10_struct_i64(i64 %x){ 227 ; CHECK-LABEL: @test10_struct_i64( 228 ; CHECK-NEXT: ret i1 false 229 ; 230 %p = getelementptr inbounds %Foo, %Foo* @GS, i64 %x, i32 0 231 %q = load i32, i32* %p 232 %r = icmp eq i32 %q, 0 233 ret i1 %r 234 } 235 236 define i1 @test10_struct_noinbounds_i16(i16 %x) { 237 ; CHECK-LABEL: @test10_struct_noinbounds_i16( 238 ; CHECK-NEXT: [[TMP1:%.*]] = sext i16 %x to i32 239 ; CHECK-NEXT: [[P:%.*]] = getelementptr %Foo, %Foo* @GS, i32 [[TMP1]], i32 0 240 ; CHECK-NEXT: [[Q:%.*]] = load i32, i32* [[P]], align 8 241 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[Q]], 0 242 ; CHECK-NEXT: ret i1 [[R]] 243 ; 244 %p = getelementptr %Foo, %Foo* @GS, i16 %x, i32 0 245 %q = load i32, i32* %p 246 %r = icmp eq i32 %q, 0 247 ret i1 %r 248 } 249 250 define i1 @test10_struct_arr(i32 %x) { 251 ; CHECK-LABEL: @test10_struct_arr( 252 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 %x, 1 253 ; CHECK-NEXT: ret i1 [[R]] 254 ; 255 %p = getelementptr inbounds [4 x %Foo], [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 256 %q = load i32, i32* %p 257 %r = icmp eq i32 %q, 9 258 ret i1 %r 259 } 260 261 define i1 @test10_struct_arr_noinbounds(i32 %x) { 262 ; CHECK-LABEL: @test10_struct_arr_noinbounds( 263 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 %x, 1 264 ; CHECK-NEXT: ret i1 [[R]] 265 ; 266 %p = getelementptr [4 x %Foo], [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 267 %q = load i32, i32* %p 268 %r = icmp eq i32 %q, 9 269 ret i1 %r 270 } 271 272 define i1 @test10_struct_arr_i16(i16 %x) { 273 ; CHECK-LABEL: @test10_struct_arr_i16( 274 ; CHECK-NEXT: [[R:%.*]] = icmp ne i16 %x, 1 275 ; CHECK-NEXT: ret i1 [[R]] 276 ; 277 %p = getelementptr inbounds [4 x %Foo], [4 x %Foo]* @GStructArr, i16 0, i16 %x, i32 2 278 %q = load i32, i32* %p 279 %r = icmp eq i32 %q, 9 280 ret i1 %r 281 } 282 283 define i1 @test10_struct_arr_i64(i64 %x) { 284 ; CHECK-LABEL: @test10_struct_arr_i64( 285 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 %x to i32 286 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP1]], 1 287 ; CHECK-NEXT: ret i1 [[R]] 288 ; 289 %p = getelementptr inbounds [4 x %Foo], [4 x %Foo]* @GStructArr, i64 0, i64 %x, i32 2 290 %q = load i32, i32* %p 291 %r = icmp eq i32 %q, 9 292 ret i1 %r 293 } 294 295 define i1 @test10_struct_arr_noinbounds_i16(i16 %x) { 296 ; CHECK-LABEL: @test10_struct_arr_noinbounds_i16( 297 ; CHECK-NEXT: [[R:%.*]] = icmp ne i16 %x, 1 298 ; CHECK-NEXT: ret i1 [[R]] 299 ; 300 %p = getelementptr [4 x %Foo], [4 x %Foo]* @GStructArr, i32 0, i16 %x, i32 2 301 %q = load i32, i32* %p 302 %r = icmp eq i32 %q, 9 303 ret i1 %r 304 } 305 306 define i1 @test10_struct_arr_noinbounds_i64(i64 %x) { 307 ; CHECK-LABEL: @test10_struct_arr_noinbounds_i64( 308 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 %x to i32 309 ; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[TMP1]], 1 310 ; CHECK-NEXT: ret i1 [[R]] 311 ; 312 %p = getelementptr [4 x %Foo], [4 x %Foo]* @GStructArr, i32 0, i64 %x, i32 2 313 %q = load i32, i32* %p 314 %r = icmp eq i32 %q, 9 315 ret i1 %r 316 } 317
