1 ; RUN: llvm-as < %s | opt -instcombine -mem2reg -simplifycfg | llvm-dis | \
2 ; RUN: 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