Fix bug in updating dominance frontier after loop
[oota-llvm.git] / test / Transforms / SimplifyCFG / 2002-05-05-EmptyBlockMerge.ll
1 ; Basic block #2 should not be merged into BB #3!
2 ;
3 ; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | \
4 ; RUN:   grep {br label}
5 ;
6 declare void %foo()
7 implementation
8
9 void "cprop_test12"(int* %data) {
10 bb0:
11         %reg108 = load int* %data
12         %cond218 = setne int %reg108, 5
13         br bool %cond218, label %bb3, label %bb2
14
15 bb2:
16         call void %foo()
17         br label %bb3
18
19 bb3:
20         %reg117 = phi int [ 110, %bb2 ], [ %reg108, %bb0 ]
21         store int %reg117, int* %data
22         ret void
23 }
24