[opaque pointer type] Add textual IR support for explicit type parameter to getelemen...
[oota-llvm.git] / test / CodeGen / X86 / 2008-12-23-crazy-address.ll
1 ; RUN: llc < %s -march=x86 -relocation-model=static | grep "lea.*X.*esp" | count 2
2
3 @X = external global [0 x i32]
4
5 define void @foo() nounwind {
6 entry:
7         %Y = alloca i32
8         call void @frob(i32* %Y) nounwind
9         %Y3 = bitcast i32* %Y to i8*
10         %ctg2 = getelementptr i8, i8* %Y3, i32 ptrtoint ([0 x i32]* @X to i32)
11         %0 = ptrtoint i8* %ctg2 to i32
12         call void @borf(i32 %0) nounwind
13         ret void
14 }
15
16 define void @bar(i32 %i) nounwind {
17 entry:
18         %Y = alloca [10 x i32]
19         %0 = getelementptr [10 x i32], [10 x i32]* %Y, i32 0, i32 0
20         call void @frob(i32* %0) nounwind
21         %1 = getelementptr [0 x i32], [0 x i32]* @X, i32 0, i32 %i
22         %2 = getelementptr [10 x i32], [10 x i32]* %Y, i32 0, i32 0
23         %3 = ptrtoint i32* %2 to i32
24         %4 = bitcast i32* %1 to i8*
25         %ctg2 = getelementptr i8, i8* %4, i32 %3
26         %5 = ptrtoint i8* %ctg2 to i32
27         call void @borf(i32 %5) nounwind
28         ret void
29 }
30
31 declare void @frob(i32*)
32
33 declare void @borf(i32)