1 ; RUN: opt -instcombine -S < %s | FileCheck -check-prefix=NODL %s 2 ; RUN: opt -instcombine -S -default-data-layout="p:32:32:32-p1:16:16:16-n8:16:32:64" < %s | FileCheck -check-prefix=P32 %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 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X 25 %Q = load i16* %P 26 %R = icmp eq i16 %Q, 0 27 ret i1 %R 28 ; NODL-LABEL: @test1( 29 ; NODL-NEXT: %R = icmp eq i32 %X, 9 30 ; NODL-NEXT: ret i1 %R 31 32 ; P32-LABEL: @test1( 33 ; P32-NEXT: %R = icmp eq i32 %X, 9 34 ; P32-NEXT: ret i1 %R 35 } 36 37 define i1 @test1_noinbounds(i32 %X) { 38 %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X 39 %Q = load i16* %P 40 %R = icmp eq i16 %Q, 0 41 ret i1 %R 42 ; NODL-LABEL: @test1_noinbounds( 43 ; NODL-NEXT: %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X 44 45 ; P32-LABEL: @test1_noinbounds( 46 ; P32-NEXT: %R = icmp eq i32 %X, 9 47 ; P32-NEXT: ret i1 %R 48 } 49 50 define i1 @test1_noinbounds_i64(i64 %X) { 51 %P = getelementptr [10 x i16]* @G16, i64 0, i64 %X 52 %Q = load i16* %P 53 %R = icmp eq i16 %Q, 0 54 ret i1 %R 55 ; NODL-LABEL: @test1_noinbounds_i64( 56 ; NODL-NEXT: %P = getelementptr [10 x i16]* @G16, i64 0, i64 %X 57 58 ; P32-LABEL: @test1_noinbounds_i64( 59 ; P32: %R = icmp eq i32 %1, 9 60 ; P32-NEXT: ret i1 %R 61 } 62 63 define i1 @test1_noinbounds_as1(i32 %x) { 64 %p = getelementptr [10 x i16] addrspace(1)* @G16_as1, i16 0, i32 %x 65 %q = load i16 addrspace(1)* %p 66 %r = icmp eq i16 %q, 0 67 ret i1 %r 68 69 ; P32-LABEL: @test1_noinbounds_as1( 70 ; P32-NEXT: trunc i32 %x to i16 71 ; P32-NEXT: %r = icmp eq i16 %1, 9 72 ; P32-NEXT: ret i1 %r 73 } 74 75 define i1 @test2(i32 %X) { 76 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X 77 %Q = load i16* %P 78 %R = icmp slt i16 %Q, 85 79 ret i1 %R 80 ; NODL-LABEL: @test2( 81 ; NODL-NEXT: %R = icmp ne i32 %X, 4 82 ; NODL-NEXT: ret i1 %R 83 } 84 85 define i1 @test3(i32 %X) { 86 %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X 87 %Q = load double* %P 88 %R = fcmp oeq double %Q, 1.0 89 ret i1 %R 90 ; NODL-LABEL: @test3( 91 ; NODL-NEXT: %R = icmp eq i32 %X, 1 92 ; NODL-NEXT: ret i1 %R 93 94 ; P32-LABEL: @test3( 95 ; P32-NEXT: %R = icmp eq i32 %X, 1 96 ; P32-NEXT: ret i1 %R 97 98 } 99 100 define i1 @test4(i32 %X) { 101 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X 102 %Q = load i16* %P 103 %R = icmp sle i16 %Q, 73 104 ret i1 %R 105 ; NODL-LABEL: @test4( 106 ; NODL-NEXT: lshr i32 933, %X 107 ; NODL-NEXT: and i32 {{.*}}, 1 108 ; NODL-NEXT: %R = icmp ne i32 {{.*}}, 0 109 ; NODL-NEXT: ret i1 %R 110 111 ; P32-LABEL: @test4( 112 ; P32-NEXT: lshr i32 933, %X 113 ; P32-NEXT: and i32 {{.*}}, 1 114 ; P32-NEXT: %R = icmp ne i32 {{.*}}, 0 115 ; P32-NEXT: ret i1 %R 116 } 117 118 define i1 @test4_i16(i16 %X) { 119 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i16 %X 120 %Q = load i16* %P 121 %R = icmp sle i16 %Q, 73 122 ret i1 %R 123 124 ; NODL-LABEL: @test4_i16( 125 ; NODL-NEXT: lshr i16 933, %X 126 ; NODL-NEXT: and i16 {{.*}}, 1 127 ; NODL-NEXT: %R = icmp ne i16 {{.*}}, 0 128 ; NODL-NEXT: ret i1 %R 129 130 ; P32-LABEL: @test4_i16( 131 ; P32-NEXT: sext i16 %X to i32 132 ; P32-NEXT: lshr i32 933, %1 133 ; P32-NEXT: and i32 {{.*}}, 1 134 ; P32-NEXT: %R = icmp ne i32 {{.*}}, 0 135 ; P32-NEXT: ret i1 %R 136 } 137 138 define i1 @test5(i32 %X) { 139 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X 140 %Q = load i16* %P 141 %R = icmp eq i16 %Q, 69 142 ret i1 %R 143 ; NODL-LABEL: @test5( 144 ; NODL-NEXT: icmp eq i32 %X, 2 145 ; NODL-NEXT: icmp eq i32 %X, 7 146 ; NODL-NEXT: %R = or i1 147 ; NODL-NEXT: ret i1 %R 148 149 ; P32-LABEL: @test5( 150 ; P32-NEXT: icmp eq i32 %X, 2 151 ; P32-NEXT: icmp eq i32 %X, 7 152 ; P32-NEXT: %R = or i1 153 ; P32-NEXT: ret i1 %R 154 } 155 156 define i1 @test6(i32 %X) { 157 %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X 158 %Q = load double* %P 159 %R = fcmp ogt double %Q, 0.0 160 ret i1 %R 161 ; NODL-LABEL: @test6( 162 ; NODL-NEXT: add i32 %X, -1 163 ; NODL-NEXT: %R = icmp ult i32 {{.*}}, 3 164 ; NODL-NEXT: ret i1 %R 165 166 ; P32-LABEL: @test6( 167 ; P32-NEXT: add i32 %X, -1 168 ; P32-NEXT: %R = icmp ult i32 {{.*}}, 3 169 ; P32-NEXT: ret i1 %R 170 } 171 172 define i1 @test7(i32 %X) { 173 %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X 174 %Q = load double* %P 175 %R = fcmp olt double %Q, 0.0 176 ret i1 %R 177 ; NODL-LABEL: @test7( 178 ; NODL-NEXT: add i32 %X, -1 179 ; NODL-NEXT: %R = icmp ugt i32 {{.*}}, 2 180 ; NODL-NEXT: ret i1 %R 181 182 ; P32-LABEL: @test7( 183 ; P32-NEXT: add i32 %X, -1 184 ; P32-NEXT: %R = icmp ugt i32 {{.*}}, 2 185 ; P32-NEXT: ret i1 %R 186 } 187 188 define i1 @test8(i32 %X) { 189 %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X 190 %Q = load i16* %P 191 %R = and i16 %Q, 3 192 %S = icmp eq i16 %R, 0 193 ret i1 %S 194 ; NODL-LABEL: @test8( 195 ; NODL-NEXT: and i32 %X, -2 196 ; NODL-NEXT: icmp eq i32 {{.*}}, 8 197 ; NODL-NEXT: ret i1 198 199 ; P32-LABEL: @test8( 200 ; P32-NEXT: and i32 %X, -2 201 ; P32-NEXT: icmp eq i32 {{.*}}, 8 202 ; P32-NEXT: ret i1 203 } 204 205 @GA = internal constant [4 x { i32, i32 } ] [ 206 { i32, i32 } { i32 1, i32 0 }, 207 { i32, i32 } { i32 2, i32 1 }, 208 { i32, i32 } { i32 3, i32 1 }, 209 { i32, i32 } { i32 4, i32 0 } 210 ] 211 212 define i1 @test9(i32 %X) { 213 %P = getelementptr inbounds [4 x { i32, i32 } ]* @GA, i32 0, i32 %X, i32 1 214 %Q = load i32* %P 215 %R = icmp eq i32 %Q, 1 216 ret i1 %R 217 ; NODL-LABEL: @test9( 218 ; NODL-NEXT: add i32 %X, -1 219 ; NODL-NEXT: icmp ult i32 {{.*}}, 2 220 ; NODL-NEXT: ret i1 221 222 ; P32-LABEL: @test9( 223 ; P32-NEXT: add i32 %X, -1 224 ; P32-NEXT: icmp ult i32 {{.*}}, 2 225 ; P32-NEXT: ret i1 226 } 227 228 define i1 @test10_struct(i32 %x) { 229 ; NODL-LABEL: @test10_struct( 230 ; NODL: getelementptr inbounds %Foo* @GS, i32 %x, i32 0 231 232 ; P32-LABEL: @test10_struct( 233 ; P32: getelementptr inbounds %Foo* @GS, i32 %x, i32 0 234 %p = getelementptr inbounds %Foo* @GS, i32 %x, i32 0 235 %q = load i32* %p 236 %r = icmp eq i32 %q, 9 237 ret i1 %r 238 } 239 240 define i1 @test10_struct_noinbounds(i32 %x) { 241 ; NODL-LABEL: @test10_struct_noinbounds( 242 ; NODL: getelementptr %Foo* @GS, i32 %x, i32 0 243 244 ; P32-LABEL: @test10_struct_noinbounds( 245 ; P32: getelementptr %Foo* @GS, i32 %x, i32 0 246 %p = getelementptr %Foo* @GS, i32 %x, i32 0 247 %q = load i32* %p 248 %r = icmp eq i32 %q, 9 249 ret i1 %r 250 } 251 252 ; Test that the GEP indices are converted before we ever get here 253 ; Index < ptr size 254 define i1 @test10_struct_i16(i16 %x){ 255 ; NODL-LABEL: @test10_struct_i16( 256 ; NODL: getelementptr inbounds %Foo* @GS, i16 %x, i32 0 257 258 ; P32-LABEL: @test10_struct_i16( 259 ; P32: %1 = sext i16 %x to i32 260 ; P32: getelementptr inbounds %Foo* @GS, i32 %1, i32 0 261 %p = getelementptr inbounds %Foo* @GS, i16 %x, i32 0 262 %q = load i32* %p 263 %r = icmp eq i32 %q, 0 264 ret i1 %r 265 } 266 267 ; Test that the GEP indices are converted before we ever get here 268 ; Index > ptr size 269 define i1 @test10_struct_i64(i64 %x){ 270 ; NODL-LABEL: @test10_struct_i64( 271 ; NODL: getelementptr inbounds %Foo* @GS, i64 %x, i32 0 272 273 ; P32-LABEL: @test10_struct_i64( 274 ; P32: %1 = trunc i64 %x to i32 275 ; P32: getelementptr inbounds %Foo* @GS, i32 %1, i32 0 276 %p = getelementptr inbounds %Foo* @GS, i64 %x, i32 0 277 %q = load i32* %p 278 %r = icmp eq i32 %q, 0 279 ret i1 %r 280 } 281 282 define i1 @test10_struct_noinbounds_i16(i16 %x) { 283 ; NODL-LABEL: @test10_struct_noinbounds_i16( 284 ; NODL: getelementptr %Foo* @GS, i16 %x, i32 0 285 286 ; P32-LABEL: @test10_struct_noinbounds_i16( 287 ; P32: %1 = sext i16 %x to i32 288 ; P32: getelementptr %Foo* @GS, i32 %1, i32 0 289 %p = getelementptr %Foo* @GS, i16 %x, i32 0 290 %q = load i32* %p 291 %r = icmp eq i32 %q, 0 292 ret i1 %r 293 } 294 295 define i1 @test10_struct_arr(i32 %x) { 296 ; NODL-LABEL: @test10_struct_arr( 297 ; NODL-NEXT: %r = icmp ne i32 %x, 1 298 ; NODL-NEXT: ret i1 %r 299 300 ; P32-LABEL: @test10_struct_arr( 301 ; P32-NEXT: %r = icmp ne i32 %x, 1 302 ; P32-NEXT: ret i1 %r 303 %p = getelementptr inbounds [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 304 %q = load i32* %p 305 %r = icmp eq i32 %q, 9 306 ret i1 %r 307 } 308 309 define i1 @test10_struct_arr_noinbounds(i32 %x) { 310 ; NODL-LABEL: @test10_struct_arr_noinbounds( 311 ; NODL-NEXT %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 312 313 ; P32-LABEL: @test10_struct_arr_noinbounds( 314 ; P32-NEXT %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 315 %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 316 %q = load i32* %p 317 %r = icmp eq i32 %q, 9 318 ret i1 %r 319 } 320 321 define i1 @test10_struct_arr_i16(i16 %x) { 322 ; NODL-LABEL: @test10_struct_arr_i16( 323 ; NODL-NEXT: %r = icmp ne i16 %x, 1 324 ; NODL-NEXT: ret i1 %r 325 326 ; P32-LABEL: @test10_struct_arr_i16( 327 ; P32-NEXT: %r = icmp ne i16 %x, 1 328 ; P32-NEXT: ret i1 %r 329 %p = getelementptr inbounds [4 x %Foo]* @GStructArr, i16 0, i16 %x, i32 2 330 %q = load i32* %p 331 %r = icmp eq i32 %q, 9 332 ret i1 %r 333 } 334 335 define i1 @test10_struct_arr_i64(i64 %x) { 336 ; NODL-LABEL: @test10_struct_arr_i64( 337 ; NODL-NEXT: %r = icmp ne i64 %x, 1 338 ; NODL-NEXT: ret i1 %r 339 340 ; P32-LABEL: @test10_struct_arr_i64( 341 ; P32-NEXT: trunc i64 %x to i32 342 ; P32-NEXT: %r = icmp ne i32 %1, 1 343 ; P32-NEXT: ret i1 %r 344 %p = getelementptr inbounds [4 x %Foo]* @GStructArr, i64 0, i64 %x, i32 2 345 %q = load i32* %p 346 %r = icmp eq i32 %q, 9 347 ret i1 %r 348 } 349 350 define i1 @test10_struct_arr_noinbounds_i16(i16 %x) { 351 ; NODL-LABEL: @test10_struct_arr_noinbounds_i16( 352 ; NODL-NEXT: %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i16 %x, i32 2 353 354 ; P32-LABEL: @test10_struct_arr_noinbounds_i16( 355 ; P32-NEXT: %r = icmp ne i16 %x, 1 356 %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i16 %x, i32 2 357 %q = load i32* %p 358 %r = icmp eq i32 %q, 9 359 ret i1 %r 360 } 361 362 define i1 @test10_struct_arr_noinbounds_i64(i64 %x) { 363 ; FIXME: Should be no trunc? 364 ; NODL-LABEL: @test10_struct_arr_noinbounds_i64( 365 ; NODL-NEXT: %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i64 %x, i32 2 366 367 ; P32-LABEL: @test10_struct_arr_noinbounds_i64( 368 ; P32: %r = icmp ne i32 %1, 1 369 ; P32-NEXT: ret i1 %r 370 %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i64 %x, i32 2 371 %q = load i32* %p 372 %r = icmp eq i32 %q, 9 373 ret i1 %r 374 } 375
