1 ; The %A getelementptr instruction should be eliminated here
3 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
4 ; RUN: grep -v %B | not grep getelementptr
5 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep foo1
8 @Global = constant [10 x i8] c"helloworld" ; <[10 x i8]*> [#uses=1]
10 ; Test noop elimination
11 define i32* @foo1(i32* %I) {
12 %A = getelementptr i32* %I, i64 0 ; <i32*> [#uses=1]
16 ; Test noop elimination
17 define i32* @foo2(i32* %I) {
18 %A = getelementptr i32* %I ; <i32*> [#uses=1]
22 ; Test that two array indexing geps fold
23 define i32* @foo3(i32* %I) {
24 %A = getelementptr i32* %I, i64 17 ; <i32*> [#uses=1]
25 %B = getelementptr i32* %A, i64 4 ; <i32*> [#uses=1]
29 ; Test that two getelementptr insts fold
30 define i32* @foo4({ i32 }* %I) {
31 %A = getelementptr { i32 }* %I, i64 1 ; <{ i32 }*> [#uses=1]
32 %B = getelementptr { i32 }* %A, i64 0, i32 0 ; <i32*> [#uses=1]
36 define void @foo5(i8 %B) {
37 ; This should be turned into a constexpr instead of being an instruction
38 %A = getelementptr [10 x i8]* @Global, i64 0, i64 4 ; <i8*> [#uses=1]
44 %M = malloc [4 x i32] ; <[4 x i32]*> [#uses=1]
45 %A = getelementptr [4 x i32]* %M, i64 0, i64 0 ; <i32*> [#uses=1]
46 %B = getelementptr i32* %A, i64 2 ; <i32*> [#uses=1]
50 define i32* @foo7(i32* %I, i64 %C, i64 %D) {
51 %A = getelementptr i32* %I, i64 %C ; <i32*> [#uses=1]
52 %B = getelementptr i32* %A, i64 %D ; <i32*> [#uses=1]
56 define i8* @foo8([10 x i32]* %X) {
57 ;; Fold into the cast.
58 %A = getelementptr [10 x i32]* %X, i64 0, i64 0 ; <i32*> [#uses=1]
59 %B = bitcast i32* %A to i8* ; <i8*> [#uses=1]
64 %A = getelementptr { i32, double }* null, i32 0, i32 1 ; <double*> [#uses=1]
65 %B = ptrtoint double* %A to i32 ; <i32> [#uses=1]
69 define i1 @test10({ i32, i32 }* %x, { i32, i32 }* %y) {
70 %tmp.1 = getelementptr { i32, i32 }* %x, i32 0, i32 1 ; <i32*> [#uses=1]
71 %tmp.3 = getelementptr { i32, i32 }* %y, i32 0, i32 1 ; <i32*> [#uses=1]
73 %tmp.4 = icmp eq i32* %tmp.1, %tmp.3 ; <i1> [#uses=1]
77 define i1 @test11({ i32, i32 }* %X) {
78 %P = getelementptr { i32, i32 }* %X, i32 0, i32 0 ; <i32*> [#uses=1]
79 %Q = icmp eq i32* %P, null ; <i1> [#uses=1]