| Dan Gohman | 3bfbc45 | 2009-09-11 00:04:14 +0000 | [diff] [blame] | 1 | ; 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) |
| 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) ; <i32**> [#uses=0] |
| 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) ; <i32**> [#uses=0] |
| Chris Lattner | b5fbb06 | 2009-04-25 22:20:49 +0000 | [diff] [blame] | 9 | |
| 10 | ;; Verify that i16 indices work. |
| 11 | @x = external global {i32, i32} |
| 12 | @y = global i32* getelementptr ({i32, i32}* @x, i16 42, i32 0) |
| Dan Gohman | 3bfbc45 | 2009-09-11 00:04:14 +0000 | [diff] [blame] | 13 | ; CHECK: @y = global i32* getelementptr (%0* @x, i16 42, i32 0) |
| Chris Lattner | b5fbb06 | 2009-04-25 22:20:49 +0000 | [diff] [blame] | 14 | |
| 15 | ; see if i92 indices work too. |
| 16 | define i32 *@test({i32, i32}* %t, i92 %n) { |
| Dan Gohman | 3bfbc45 | 2009-09-11 00:04:14 +0000 | [diff] [blame] | 17 | ; CHECK: @test |
| 18 | ; CHECK: %B = getelementptr %0* %t, i92 %n, i32 0 |
| Chris Lattner | b5fbb06 | 2009-04-25 22:20:49 +0000 | [diff] [blame] | 19 | %B = getelementptr {i32, i32}* %t, i92 %n, i32 0 |
| 20 | ret i32* %B |
| 21 | } |
| 22 | |