blob: ce6866d54417855a8f0bfd95516df25ef529ee9f [file] [log] [blame]
Dan Gohman3bfbc452009-09-11 00:04:14 +00001; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
2
3; Verify that over-indexed getelementptrs are folded.
4@A = external global [2 x [3 x [5 x [7 x i32]]]]
5@B = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 0, i64 0, i64 2, i64 1, i64 7523)
Chris Lattner042ff032010-09-02 22:35:33 +00006; CHECK: @B = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 36, i64 0, i64 1, i64 0, i64 5)
Dan Gohman3bfbc452009-09-11 00:04:14 +00007@C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 3, i64 2, i64 0, i64 0, i64 7523)
Chris Lattner042ff032010-09-02 22:35:33 +00008; CHECK: @C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 39, i64 1, i64 1, i64 4, i64 5)
Chris Lattnerb5fbb062009-04-25 22:20:49 +00009
10;; Verify that i16 indices work.
11@x = external global {i32, i32}
Chris Lattner1afcace2011-07-09 17:41:24 +000012@y = global i32* getelementptr ({ i32, i32 }* @x, i16 42, i32 0)
13; CHECK: @y = global i32* getelementptr ({ i32, i32 }* @x, i16 42, i32 0)
Chris Lattnerb5fbb062009-04-25 22:20:49 +000014
15; see if i92 indices work too.
16define i32 *@test({i32, i32}* %t, i92 %n) {
Dan Gohman3bfbc452009-09-11 00:04:14 +000017; CHECK: @test
Chris Lattner1afcace2011-07-09 17:41:24 +000018; CHECK: %B = getelementptr { i32, i32 }* %t, i92 %n, i32 0
Chris Lattnerb5fbb062009-04-25 22:20:49 +000019 %B = getelementptr {i32, i32}* %t, i92 %n, i32 0
20 ret i32* %B
21}
22