1; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s 2; RUN: verify-uselistorder %s 3 4@A = external global [2 x [3 x [5 x [7 x i32]]]] 5@B = global ptr getelementptr ([2 x [3 x [5 x [7 x i32]]]], ptr @A, i64 0, i64 0, i64 2, i64 1, i64 7523) 6; CHECK: @B = global ptr getelementptr ([2 x [3 x [5 x [7 x i32]]]], ptr @A, i64 0, i64 0, i64 2, i64 1, i64 7523) 7@C = global ptr getelementptr ([2 x [3 x [5 x [7 x i32]]]], ptr @A, i64 3, i64 2, i64 0, i64 0, i64 7523) 8; CHECK: @C = global ptr getelementptr ([2 x [3 x [5 x [7 x i32]]]], ptr @A, i64 3, i64 2, i64 0, i64 0, i64 7523) 9 10; Verify that constant expression GEPs work with i84 indices. 11@D = external global [1 x i32] 12 13@E = global ptr getelementptr inbounds ([1 x i32], ptr @D, i84 0, i64 1) 14; CHECK: @E = global ptr getelementptr inbounds ([1 x i32], ptr @D, i84 0, i64 1) 15 16; Verify that i16 indices work. 17@x = external global {i32, i32} 18@y = global ptr getelementptr ({ i32, i32 }, ptr @x, i16 42, i32 0) 19; CHECK: @y = global ptr getelementptr ({ i32, i32 }, ptr @x, i16 42, i32 0) 20 21@PR23753_a = external global i8 22@PR23753_b = global ptr getelementptr (i8, ptr @PR23753_a, i64 ptrtoint (ptr @PR23753_a to i64)) 23; CHECK: @PR23753_b = global ptr getelementptr (i8, ptr @PR23753_a, i64 ptrtoint (ptr @PR23753_a to i64)) 24 25@nestedarray = global [2 x [4 x ptr]] zeroinitializer 26 27; CHECK: @nestedarray.1 = alias ptr, getelementptr inbounds inrange(-32, 32) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0, i32 4) 28@nestedarray.1 = alias ptr, getelementptr inbounds inrange(-32, 32) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0, i32 4) 29 30; CHECK: @nestedarray.2 = alias ptr, getelementptr inbounds inrange(0, 1) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0, i32 4) 31@nestedarray.2 = alias ptr, getelementptr inbounds inrange(0, 1) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0, i32 4) 32 33; CHECK: @nestedarray.3 = alias ptr, getelementptr inbounds inrange(0, 4) ([4 x ptr], ptr @nestedarray, i32 0, i32 0) 34@nestedarray.3 = alias ptr, getelementptr inbounds inrange(0, 4) ([4 x ptr], ptr getelementptr inbounds ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0), i32 0, i32 0) 35 36; CHECK: @nestedarray.4 = alias ptr, getelementptr inbounds ([4 x ptr], ptr getelementptr inbounds inrange(0, 4) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0), i32 1, i32 0) 37@nestedarray.4 = alias ptr, getelementptr inbounds ([4 x ptr], ptr getelementptr inbounds inrange(0, 4) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0), i32 1, i32 0) 38 39; CHECK: @nestedarray.5 = alias ptr, getelementptr inbounds ([4 x ptr], ptr getelementptr inbounds inrange(0, 32) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0), i32 1, i32 0) 40@nestedarray.5 = alias ptr, getelementptr inbounds ([4 x ptr], ptr getelementptr inbounds inrange(0, 32) ([2 x [4 x ptr]], ptr @nestedarray, i32 0, i32 0), i32 1, i32 0) 41 42; See if i92 indices work too. 43define ptr @test(ptr %t, i92 %n) { 44; CHECK: @test 45; CHECK: %B = getelementptr { i32, i32 }, ptr %t, i92 %n, i32 0 46 %B = getelementptr {i32, i32}, ptr %t, i92 %n, i32 0 47 ret ptr %B 48} 49 50; Verify that constant expression vector GEPs work. 51 52@z = global <2 x ptr> getelementptr ([3 x {i32, i32}], <2 x ptr> zeroinitializer, <2 x i32> <i32 1, i32 2>, <2 x i32> <i32 2, i32 3>, <2 x i32> <i32 1, i32 1>) 53 54; Verify that struct GEP works with a vector of pointers. 55define <2 x ptr> @test7(<2 x ptr> %a) { 56 %w = getelementptr {i32, i32}, <2 x ptr> %a, <2 x i32> <i32 5, i32 9>, <2 x i32> zeroinitializer 57 ret <2 x ptr> %w 58} 59 60; Verify that array GEP works with a vector of pointers. 61define <2 x ptr> @test8(<2 x ptr> %a) { 62 %w = getelementptr [2 x i8], <2 x ptr> %a, <2 x i32> <i32 0, i32 0>, <2 x i8> <i8 0, i8 1> 63 ret <2 x ptr> %w 64} 65 66@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 67 68; Verify that array GEP doesn't incorrectly infer inbounds. 69define ptr @test9() { 70entry: 71 ret ptr getelementptr ([16 x i32], ptr @array, i64 0, i64 -13) 72; CHECK-LABEL: define ptr @test9( 73; CHECK: ret ptr getelementptr ([16 x i32], ptr @array, i64 0, i64 -13) 74} 75