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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
; RUN: opt < %s -passes=loop-interchange -pass-remarks-missed='loop-interchange' \
; RUN: -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -passes=loop-interchange -pass-remarks-missed='loop-interchange' \
; RUN: -loop-interchange-max-loop-nest-depth=12 -disable-output 2>&1 | \
; RUN: FileCheck --allow-empty -check-prefix=CHECK-MAX %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
; CHECK: Unsupported depth of loop nest, the supported range is [2, 10].
; CHECK-MAX-NOT: Unsupported depth of loop nest, the supported range is [2, 10].
define void @big_loop_nest() {
entry:
br label %for1.header
for1.header:
%j = phi i64 [ 0, %entry ], [ %j.next, %for1.inc ]
br label %for2.header
for2.header:
%k = phi i64 [ 0, %for1.header ], [ %k.next, %for2.inc ]
br label %for3.header
for3.header:
%l = phi i64 [ 0, %for2.header ], [ %l.next, %for3.inc ]
br label %for4.header
for4.header:
%m = phi i64 [ 0, %for3.header ], [ %m.next, %for4.inc ]
br label %for5.header
for5.header:
%n = phi i64 [ 0, %for4.header ], [ %n.next, %for5.inc ]
br label %for6.header
for6.header:
%o = phi i64 [ 0, %for5.header ], [ %o.next, %for6.inc ]
br label %for7.header
for7.header:
%p = phi i64 [ 0, %for6.header ], [ %p.next, %for7.inc ]
br label %for8.header
for8.header:
%q = phi i64 [ 0, %for7.header ], [ %q.next, %for8.inc ]
br label %for9.header
for9.header:
%r = phi i64 [ 0, %for8.header ], [ %r.next, %for9.inc ]
br label %for10.header
for10.header:
%s = phi i64 [ 0, %for9.header ], [ %s.next, %for10.inc ]
br label %for11
for11:
%t = phi i64 [ %t.next, %for11 ], [ 0, %for10.header ]
%t.next = add nuw nsw i64 %t, 1
%exitcond = icmp eq i64 %t.next, 99
br i1 %exitcond, label %for1.inc, label %for11
for1.inc:
%j.next = add nuw nsw i64 %j, 1
%exitcond26 = icmp eq i64 %j.next, 99
br i1 %exitcond26, label %for2.inc, label %for1.header
for2.inc:
%k.next = add nuw nsw i64 %k, 1
%exitcond27 = icmp eq i64 %j.next, 99
br i1 %exitcond27, label %for3.inc, label %for2.header
for3.inc:
%l.next = add nuw nsw i64 %l, 1
%exitcond28 = icmp eq i64 %l.next, 99
br i1 %exitcond28, label %for4.inc, label %for3.header
for4.inc:
%m.next = add nuw nsw i64 %m, 1
%exitcond29 = icmp eq i64 %m.next, 99
br i1 %exitcond29, label %for5.inc, label %for4.header
for5.inc:
%n.next = add nuw nsw i64 %n, 1
%exitcond30 = icmp eq i64 %n.next, 99
br i1 %exitcond30, label %for6.inc, label %for5.header
for6.inc:
%o.next = add nuw nsw i64 %o, 1
%exitcond31 = icmp eq i64 %o.next, 99
br i1 %exitcond31, label %for7.inc, label %for6.header
for7.inc:
%p.next = add nuw nsw i64 %p, 1
%exitcond32 = icmp eq i64 %p.next, 99
br i1 %exitcond32, label %for8.inc, label %for7.header
for8.inc:
%q.next = add nuw nsw i64 %q, 1
%exitcond33 = icmp eq i64 %q.next, 99
br i1 %exitcond33, label %for9.inc, label %for8.header
for9.inc:
%r.next = add nuw nsw i64 %r, 1
%exitcond34 = icmp eq i64 %q.next, 99
br i1 %exitcond34, label %for10.inc, label %for9.header
for10.inc:
%s.next = add nuw nsw i64 %s, 1
%exitcond35 = icmp eq i64 %s.next, 99
br i1 %exitcond35, label %for.end, label %for10.header
for.end:
ret void
}
|
