1 ; The %A getelementptr instruction should be eliminated here
3 ; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | \
4 ; RUN: grep -v %B | not grep getelementptr
5 ; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | grep foo1
8 %Global = constant [10 x sbyte] c"helloworld"
12 int *%foo1(int* %I) { ; Test noop elimination
13 %A = getelementptr int* %I, long 0
17 int* %foo2(int* %I) { ; Test noop elimination
18 %A = getelementptr int* %I
21 int* %foo3(int * %I) { ; Test that two array indexing geps fold
22 %A = getelementptr int* %I, long 17
23 %B = getelementptr int* %A, long 4
27 int* %foo4({int} *%I) { ; Test that two getelementptr insts fold
28 %A = getelementptr {int}* %I, long 1
29 %B = getelementptr {int}* %A, long 0, uint 0
33 void %foo5(sbyte %B) {
34 ; This should be turned into a constexpr instead of being an instruction
35 %A = getelementptr [10 x sbyte]* %Global, long 0, long 4
36 store sbyte %B, sbyte* %A
42 %A = getelementptr [4 x int]* %M, long 0, long 0
43 %B = getelementptr int* %A, long 2
47 int* %foo7(int* %I, long %C, long %D) {
48 %A = getelementptr int* %I, long %C
49 %B = getelementptr int* %A, long %D
53 sbyte* %foo8([10 x int]* %X) {
54 %A = getelementptr [10 x int]* %X, long 0, long 0 ;; Fold into the cast.
55 %B = cast int* %A to sbyte*
60 %A = getelementptr {int, double}* null, int 0, uint 1
61 %B = cast double* %A to int
65 bool %test10({int, int} * %x, {int, int} * %y) {
66 %tmp.1 = getelementptr {int,int}* %x, int 0, uint 1
67 %tmp.3 = getelementptr {int,int}* %y, int 0, uint 1
68 %tmp.4 = seteq int* %tmp.1, %tmp.3 ;; seteq x, y
72 bool %test11({int,int} *%X) {
73 %P = getelementptr {int,int}* %X, int 0, uint 0
74 %Q = seteq int* %P, null