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