1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
| ; REQUIRES: asserts
; RUN: opt -regions -analyze < %s | FileCheck %s
; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
; While working on improvements to region info analysis, this test
; case caused an incorrect region bb2 => bb3 to be detected.
define internal i8 @main_read() nounwind {
bb:
br label %bb1
bb1:
br i1 true, label %bb2, label %bb7
bb2:
br i1 true, label %bb4, label %bb3
bb3:
br i1 true, label %bb4, label %bb8
bb4:
br label %bb5
bb5:
br label %bb6
bb6:
br label %bb1
bb7:
br label %bb5
bb8:
ret i8 1
}
; CHECK: [0] bb => <Function Return>
; CHECK-NEXT: [1] bb1 => bb8
; CHECK-NEXT: End region tree
|