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) 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) 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) 13; CHECK: @y = global i32* getelementptr ({ i32, i32 }* @x, i16 42, i32 0) 14 15; See if i92 indices work too. 16define 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 21} 22 23; Verify that constant expression vector GEPs work. 24 25@z = global <2 x i32*> getelementptr (<2 x [3 x {i32, i32}]*> zeroinitializer, <2 x i32> <i32 1, i32 2>, <2 x i32> <i32 2, i32 3>, <2 x i32> <i32 1, i32 1>) 26 27; Verify that struct GEP works with a vector of pointers. 28define <2 x i32*> @test7(<2 x {i32, i32}*> %a) { 29 %w = getelementptr <2 x {i32, i32}*> %a, <2 x i32> <i32 5, i32 9>, <2 x i32> zeroinitializer 30 ret <2 x i32*> %w 31} 32 33; Verify that array GEP works with a vector of pointers. 34define <2 x i8*> @test8(<2 x [2 x i8]*> %a) { 35 %w = getelementptr <2 x [2 x i8]*> %a, <2 x i32> <i32 0, i32 0>, <2 x i8> <i8 0, i8 1> 36 ret <2 x i8*> %w 37} 38