1 ; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "X3.lcssa = phi int" &&
2 ; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%X4 = add int 3, %X3.lcssa"
4 void %lcssa(bool %S2) {
6 br label %loop.interior
8 loop.interior: ; preds = %entry
9 br bool %S2, label %if.true, label %if.false
20 %X3 = phi int [%X1, %if.true], [%X2, %if.false]
21 br bool %S2, label %loop.exit, label %loop.interior