1; RUN: opt < %s -instcombine -mem2reg -simplifycfg | \
2; RUN:   llvm-dis | grep -v store | not grep "i32 1"
3
4; Test to make sure that instcombine does not accidentally propagate the load
5; into the PHI, which would break the program.
6
7define i32 @test(i1 %C) {
8entry:
9        %X = alloca i32         ; <i32*> [#uses=3]
10        %X2 = alloca i32                ; <i32*> [#uses=2]
11        store i32 1, i32* %X
12        store i32 2, i32* %X2
13        br i1 %C, label %cond_true.i, label %cond_continue.i
14
15cond_true.i:            ; preds = %entry
16        br label %cond_continue.i
17
18cond_continue.i:                ; preds = %cond_true.i, %entry
19        %mem_tmp.i.0 = phi i32* [ %X, %cond_true.i ], [ %X2, %entry ]           ; <i32*> [#uses=1]
20        store i32 3, i32* %X
21        %tmp.3 = load i32, i32* %mem_tmp.i.0         ; <i32> [#uses=1]
22        ret i32 %tmp.3
23}
24
25
26