← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Analysis/RegionInfo/infinite_loop_3.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Analysis/RegionInfo/infinite_loop_3.ll
 
1
; REQUIRES: asserts
 
2
; RUN: opt -regions -analyze < %s 
 
3
; RUN: opt -regions -stats < %s 2>&1 | FileCheck -check-prefix=STAT %s
 
4
 
 
5
; RUN: opt -regions -print-region-style=bb  -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s
 
6
; RUN: opt -regions -print-region-style=rn  -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
 
7
 
 
8
define void @normal_condition() nounwind {
 
9
0:
 
10
        br label %"7"
 
11
7:
 
12
        br i1 1, label %"1", label %"8"
 
13
1:
 
14
        br i1 1, label %"2", label %"3"
 
15
2:
 
16
        br label %"5"
 
17
5:
 
18
        br i1 1, label %"11", label %"12"
 
19
11:
 
20
        br label %"6"
 
21
12:
 
22
        br label %"6"
 
23
6:
 
24
        br label %"2"
 
25
8:
 
26
        br label %"9"
 
27
9:
 
28
        br i1 1, label %"13", label %"14"
 
29
13:
 
30
        br label %"10"
 
31
14:
 
32
        br label %"10"
 
33
10:
 
34
        br label %"8"
 
35
3:
 
36
        br label %"4"
 
37
4:
 
38
        ret void
 
39
}
 
40
; CHECK-NOT: =>
 
41
; CHECK: [0] 0 => <Function Return>
 
42
; CHECK-NEXT: [1] 1 => 3
 
43
; CHECK-NEXT: [1] 7 => 1
 
44
; STAT: 3 region - The # of regions
 
45
; STAT: 2 region - The # of simple regions
 
46
 
 
47
; BBIT: 0, 7, 1, 2, 5, 11, 6, 12, 3, 4, 8, 9, 13, 10, 14,
 
48
; BBIT: 7, 8, 9, 13, 10, 14,
 
49
; BBIT: 1, 2, 5, 11, 6, 12,
 
50
 
 
51
; RNIT: 0, 7 => 1, 1 => 3, 3, 4,
 
52
; RNIT: 7, 8, 9, 13, 10, 14,
 
53
; RNIT: 1, 2, 5, 11, 6, 12,