Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / f96b0063674e6bf72da5429bd49097e33c2325c7 / . / test / Analysis / RegionInfo / next.ll
blob: d986387099c3e1d4b07ea5c6589fda9e0e542db4 [file] [log] [blame]
Tobias Grosserf96b0062010-07-22 07:46:31 +0000[diff] [blame^]1; RUN: opt -regions -analyze < %s | FileCheck %s
2; RUN: opt -regions -stats < %s |& FileCheck -check-prefix=STAT %s
3; RUN: opt -regions -print-region-style=bb -analyze < %s |& FileCheck -check-prefix=BBIT %s
4; RUN: opt -regions -print-region-style=rn -analyze < %s |& FileCheck -check-prefix=RNIT %s
5
6define void @MAIN__() nounwind {
7entry:
8 br label %__label_002001.outer
9
10__label_002001.outer: ; preds = %bb236, %bb92
11 br label %__label_002001
12
13__label_002001: ; preds = %bb229, %__label_002001.outer
14 br i1 1, label %bb93, label %__label_000020
15
16bb93: ; preds = %__label_002001
17 br i1 1, label %__label_000020, label %bb197
18
19bb197: ; preds = %bb193
20 br i1 1, label %bb229, label %bb224
21
22bb224: ; preds = %bb223, %bb227
23 br i1 1, label %bb229, label %bb224
24
25bb229: ; preds = %bb227, %bb223
26 br i1 1, label %__label_002001, label %__label_002001.outer
27
28__label_000020: ; preds = %__label_002001, %bb194
29 ret void
30}
31
32; CHECK-NOT: =>
33; CHECK: [0] entry => <Function Return>
34; CHECK-NEXT: [1] __label_002001.outer => __label_000020
35; CHECK-NEXT; [2] bb197 => bb229
36; CHECK-NEXT; [3] bb224 => bb229
37
38; STAT: 4 region - The # of regions
39; STAT: 1 region - The # of simple regions
40
41; BBIT: entry, __label_002001.outer, __label_002001, bb93, __label_000020, bb197, bb229, bb224,
42; BBIT: __label_002001.outer, __label_002001, bb93, bb197, bb229, bb224,
43; BBIT: bb197, bb224,
44; BBIT: bb224,
45
46; RNIT: entry, __label_002001.outer => __label_000020, __label_000020,
47; RNIT: __label_002001.outer, __label_002001, bb93, bb197 => bb229, bb229,
48; RNIT: bb197, bb224 => bb229,
49; RNIT: bb224,