Land the long talked about "type system rewrite" patch. This
[llvm/stm8.git] / test / Assembler / getelementptr.ll
blobce6866d54417855a8f0bfd95516df25ef529ee9f
1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
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)
6 ; 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)
7 @C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]]* @A, i64 3, i64 2, i64 0, i64 0, i64 7523)
8 ; 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)
10 ;; Verify that i16 indices work.
11 @x = external global {i32, i32}
12 @y = global i32* getelementptr ({ i32, i32 }* @x, i16 42, i32 0)
13 ; CHECK: @y = global i32* getelementptr ({ i32, i32 }* @x, i16 42, i32 0)
15 ; see if i92 indices work too.
16 define i32 *@test({i32, i32}* %t, i92 %n) {
17 ; CHECK: @test
18 ; CHECK: %B = getelementptr { i32, i32 }* %t, i92 %n, i32 0
19   %B = getelementptr {i32, i32}* %t, i92 %n, i32 0
20   ret i32* %B