Fix a couple more bugs in the phi construction by pulling in code that does
[oota-llvm.git] / test / Transforms / GVN / 2007-07-26-PhiErasure.ll
1 ; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep {tmp298316 =}
2
3         %struct..0anon = type { i32 }
4         %struct.FILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 }
5         %struct.__sFILEX = type opaque
6         %struct.__sbuf = type { i8*, i32 }
7         %struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] }
8 @n_spills = external global i32         ; <i32*> [#uses=2]
9
10 define i32 @reload(%struct.rtx_def* %first, i32 %global, %struct.FILE* %dumpfile) {
11 cond_next2835.1:                ; preds = %cond_next2861
12         %tmp2922 = load i32* @n_spills, align 4         ; <i32> [#uses=0]
13         br label %bb2928
14
15 bb2928:         ; preds = %cond_next2835.1, %cond_next2943
16         br i1 false, label %cond_next2943, label %cond_true2935
17
18 cond_true2935:          ; preds = %bb2928
19         br label %cond_next2943
20
21 cond_next2943:          ; preds = %cond_true2935, %bb2928
22         br i1 false, label %bb2982.preheader, label %bb2928
23
24 bb2982.preheader:               ; preds = %cond_next2943
25         %tmp298316 = load i32* @n_spills, align 4               ; <i32> [#uses=0]
26         ret i32 0
27
28 }