[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
[oota-llvm.git] / test / Transforms / GlobalOpt / 2008-12-16-HeapSRACrash.ll
1 ; RUN: opt < %s -globalopt | llvm-dis
2 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
3 target triple = "i386-apple-darwin7"
4         %struct.foo = type { i32, i32 }
5 @X = internal global %struct.foo* null          ; <%struct.foo**> [#uses=2]
6
7 define void @bar(i32 %Size) nounwind noinline {
8 entry:
9         %malloccall = tail call i8* @malloc(i32 trunc (i64 mul (i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), i64 2000000) to i32))
10         %tmp = bitcast i8* %malloccall to [1000000 x %struct.foo]*
11         %.sub = getelementptr [1000000 x %struct.foo], [1000000 x %struct.foo]* %tmp, i32 0, i32 0              ; <%struct.foo*> [#uses=1]
12         store %struct.foo* %.sub, %struct.foo** @X, align 4
13         ret void
14 }
15
16 declare noalias i8* @malloc(i32)
17
18 define i32 @baz() nounwind readonly noinline {
19 bb1.thread:
20         %tmpLD1 = load %struct.foo*, %struct.foo** @X, align 4          ; <%struct.foo*> [#uses=3]
21         store %struct.foo* %tmpLD1, %struct.foo** null
22         br label %bb1
23
24 bb1:            ; preds = %bb1, %bb1.thread
25         %tmp = phi %struct.foo* [ %tmpLD1, %bb1.thread ], [ %tmpLD1, %bb1 ]             ; <%struct.foo*> [#uses=0]
26         br i1 false, label %bb2, label %bb1
27
28 bb2:            ; preds = %bb1
29         ret i32 0
30 }