1; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s 2; RUN: verify-uselistorder %s 3 4; Verify that over-indexed getelementptrs are folded. 5@A = external global [2 x [3 x [5 x [7 x i32]]]] 6@B = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]], [2 x [3 x [5 x [7 x i32]]]]* @A, i64 0, i64 0, i64 2, i64 1, i64 7523) 7; CHECK: @B = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]], [2 x [3 x [5 x [7 x i32]]]]* @A, i64 36, i64 0, i64 1, i64 0, i64 5) 8@C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]], [2 x [3 x [5 x [7 x i32]]]]* @A, i64 3, i64 2, i64 0, i64 0, i64 7523) 9; CHECK: @C = global i32* getelementptr ([2 x [3 x [5 x [7 x i32]]]], [2 x [3 x [5 x [7 x i32]]]]* @A, i64 39, i64 1, i64 1, i64 4, i64 5) 10 11; Verify that constant expression GEPs work with i84 indices. 12@D = external global [1 x i32] 13 14@E = global i32* getelementptr inbounds ([1 x i32], [1 x i32]* @D, i84 0, i64 1) 15; CHECK: @E = global i32* getelementptr inbounds ([1 x i32], [1 x i32]* @D, i84 1, i64 0) 16 17; Verify that i16 indices work. 18@x = external global {i32, i32} 19@y = global i32* getelementptr ({ i32, i32 }, { i32, i32 }* @x, i16 42, i32 0) 20; CHECK: @y = global i32* getelementptr ({ i32, i32 }, { i32, i32 }* @x, i16 42, i32 0) 21 22@PR23753_a = external global i8 23@PR23753_b = global i8* getelementptr (i8, i8* @PR23753_a, i64 ptrtoint (i8* @PR23753_a to i64)) 24; CHECK: @PR23753_b = global i8* getelementptr (i8, i8* @PR23753_a, i64 ptrtoint (i8* @PR23753_a to i64)) 25 26; See if i92 indices work too. 27define i32 *@test({i32, i32}* %t, i92 %n) { 28; CHECK: @test 29; CHECK: %B = getelementptr { i32, i32 }, { i32, i32 }* %t, i92 %n, i32 0 30 %B = getelementptr {i32, i32}, {i32, i32}* %t, i92 %n, i32 0 31 ret i32* %B 32} 33 34; Verify that constant expression vector GEPs work. 35 36@z = global <2 x i32*> getelementptr ([3 x {i32, i32}], <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>) 37 38; Verify that struct GEP works with a vector of pointers. 39define <2 x i32*> @test7(<2 x {i32, i32}*> %a) { 40 %w = getelementptr {i32, i32}, <2 x {i32, i32}*> %a, <2 x i32> <i32 5, i32 9>, <2 x i32> zeroinitializer 41 ret <2 x i32*> %w 42} 43 44; Verify that array GEP works with a vector of pointers. 45define <2 x i8*> @test8(<2 x [2 x i8]*> %a) { 46 %w = getelementptr [2 x i8], <2 x [2 x i8]*> %a, <2 x i32> <i32 0, i32 0>, <2 x i8> <i8 0, i8 1> 47 ret <2 x i8*> %w 48} 49 50@array = internal global [16 x i32] [i32 -200, i32 -199, i32 -198, i32 -197, i32 -196, i32 -195, i32 -194, i32 -193, i32 -192, i32 -191, i32 -190, i32 -189, i32 -188, i32 -187, i32 -186, i32 -185], align 16 51 52; Verify that array GEP doesn't incorrectly infer inbounds. 53define i32* @test9() { 54entry: 55 ret i32* getelementptr ([16 x i32], [16 x i32]* @array, i64 0, i64 -13) 56; CHECK-LABEL: define i32* @test9( 57; CHECK: ret i32* getelementptr ([16 x i32], [16 x i32]* @array, i64 0, i64 -13) 58} 59