1 ; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \
2 ; RUN: grep {%X.1.lcssa}
3 ; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \
4 ; RUN: not grep {%X.1.lcssa1}
14 br bool true, label %loop_body.1, label %loop_exit2
18 %rel.1 = call bool %c1()
19 br bool %rel.1, label %loop_exit, label %loop_body.2
22 %rel.2 = call bool %c2()
23 br bool %rel.2, label %loop_exit, label %loop_begin