1 ; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -mem2reg -simplifycfg | \
2 ; RUN: llvm-dis | grep -v store | not grep {int 1}
4 ; Test to make sure that instcombine does not accidentally propagate the load
5 ; into the PHI, which would break the program.
13 br bool %C, label %cond_true.i, label %cond_continue.i
16 br label %cond_continue.i
19 %mem_tmp.i.0 = phi int* [ %X, %cond_true.i ], [ %X2, %entry ]
21 %tmp.3 = load int* %mem_tmp.i.0