; RUN: opt -regions -analyze < %s | FileCheck %s | |
define void @normal_condition() nounwind { | |
0: | |
br label %"7" | |
7: | |
br i1 1, label %"1", label %"8" | |
1: | |
br i1 1, label %"6", label %"3" | |
6: | |
br label %"8" | |
8: | |
br i1 1, label %"8", label %"7" | |
3: | |
br label %"4" | |
4: | |
ret void | |
} | |
; CHECK: [0] 0 => <Function Return> | |
; CHECK-NEXT: [1] 7 => 3 | |
; CHECK-NEXT: [2] 8 => 7 |