|
236
|
1 ; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-print-scops \
|
|
|
2 ; RUN: -polly-invariant-load-hoisting=true \
|
|
|
3 ; RUN: -disable-output < %s 2>&1 | FileCheck %s
|
|
150
|
4 ;
|
|
|
5 ; This test case has an SCEVSMax expression with a very high arity. The
|
|
|
6 ; piecewise affine function we would create for it would have a huge amount of
|
|
|
7 ; conjuncts, thus it would take a lot of time creating and handling it.
|
|
|
8 ;
|
|
|
9 ; This ensures we bail out for really complex expressions:
|
|
|
10 ;
|
|
|
11 ; CHECK: Low complexity assumption: { : false }
|
|
|
12 ;
|
|
|
13 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
|
|
|
14
|
|
|
15 ; Function Attrs: norecurse nounwind
|
|
252
|
16 define i32 @foo(ptr nocapture readonly %src1, ptr nocapture readonly %src2, ptr nocapture %score, ptr nocapture %max, i32 %n) #0 {
|
|
150
|
17 entry:
|
|
|
18 %cmp33 = icmp sgt i32 %n, 0
|
|
|
19 br i1 %cmp33, label %for.body.preheader, label %for.body7.preheader
|
|
|
20
|
|
|
21 for.body.preheader: ; preds = %entry
|
|
|
22 br label %for.body
|
|
|
23
|
|
|
24 for.body7.preheader.loopexit: ; preds = %for.body
|
|
|
25 br label %for.body7.preheader
|
|
|
26
|
|
|
27 for.body7.preheader: ; preds = %for.body7.preheader.loopexit, %entry
|
|
252
|
28 %0 = load i32, ptr %score, align 4, !tbaa !3
|
|
150
|
29 %cmp9 = icmp sgt i32 %0, -1
|
|
|
30 %.scoreMax.0 = select i1 %cmp9, i32 %0, i32 -1
|
|
252
|
31 %arrayidx8.1 = getelementptr inbounds i32, ptr %score, i32 1
|
|
|
32 %1 = load i32, ptr %arrayidx8.1, align 4, !tbaa !3
|
|
150
|
33 %cmp9.1 = icmp sgt i32 %1, %.scoreMax.0
|
|
|
34 %.scoreMax.0.1 = select i1 %cmp9.1, i32 %1, i32 %.scoreMax.0
|
|
252
|
35 %arrayidx8.2 = getelementptr inbounds i32, ptr %score, i32 2
|
|
|
36 %2 = load i32, ptr %arrayidx8.2, align 4, !tbaa !3
|
|
150
|
37 %cmp9.2 = icmp sgt i32 %2, %.scoreMax.0.1
|
|
|
38 %.scoreMax.0.2 = select i1 %cmp9.2, i32 %2, i32 %.scoreMax.0.1
|
|
252
|
39 %arrayidx8.3 = getelementptr inbounds i32, ptr %score, i32 3
|
|
|
40 %3 = load i32, ptr %arrayidx8.3, align 4, !tbaa !3
|
|
150
|
41 %cmp9.3 = icmp sgt i32 %3, %.scoreMax.0.2
|
|
|
42 %.scoreMax.0.3 = select i1 %cmp9.3, i32 %3, i32 %.scoreMax.0.2
|
|
252
|
43 %arrayidx8.4 = getelementptr inbounds i32, ptr %score, i32 4
|
|
|
44 %4 = load i32, ptr %arrayidx8.4, align 4, !tbaa !3
|
|
150
|
45 %cmp9.4 = icmp sgt i32 %4, %.scoreMax.0.3
|
|
|
46 %.scoreMax.0.4 = select i1 %cmp9.4, i32 %4, i32 %.scoreMax.0.3
|
|
252
|
47 %arrayidx8.5 = getelementptr inbounds i32, ptr %score, i32 5
|
|
|
48 %5 = load i32, ptr %arrayidx8.5, align 4, !tbaa !3
|
|
150
|
49 %cmp9.5 = icmp sgt i32 %5, %.scoreMax.0.4
|
|
|
50 %.scoreMax.0.5 = select i1 %cmp9.5, i32 %5, i32 %.scoreMax.0.4
|
|
252
|
51 %arrayidx8.6 = getelementptr inbounds i32, ptr %score, i32 6
|
|
|
52 %6 = load i32, ptr %arrayidx8.6, align 4, !tbaa !3
|
|
150
|
53 %cmp9.6 = icmp sgt i32 %6, %.scoreMax.0.5
|
|
|
54 %.scoreMax.0.6 = select i1 %cmp9.6, i32 %6, i32 %.scoreMax.0.5
|
|
252
|
55 %arrayidx8.7 = getelementptr inbounds i32, ptr %score, i32 7
|
|
|
56 %7 = load i32, ptr %arrayidx8.7, align 4, !tbaa !3
|
|
150
|
57 %cmp9.7 = icmp sgt i32 %7, %.scoreMax.0.6
|
|
|
58 %.scoreMax.0.7 = select i1 %cmp9.7, i32 %7, i32 %.scoreMax.0.6
|
|
252
|
59 %arrayidx8.8 = getelementptr inbounds i32, ptr %score, i32 8
|
|
|
60 %8 = load i32, ptr %arrayidx8.8, align 4, !tbaa !3
|
|
150
|
61 %cmp9.8 = icmp sgt i32 %8, %.scoreMax.0.7
|
|
|
62 %.scoreMax.0.8 = select i1 %cmp9.8, i32 %8, i32 %.scoreMax.0.7
|
|
252
|
63 %arrayidx8.9 = getelementptr inbounds i32, ptr %score, i32 9
|
|
|
64 %9 = load i32, ptr %arrayidx8.9, align 4, !tbaa !3
|
|
150
|
65 %cmp9.9 = icmp sgt i32 %9, %.scoreMax.0.8
|
|
|
66 %.scoreMax.0.9 = select i1 %cmp9.9, i32 %9, i32 %.scoreMax.0.8
|
|
252
|
67 %arrayidx8.10 = getelementptr inbounds i32, ptr %score, i32 10
|
|
|
68 %10 = load i32, ptr %arrayidx8.10, align 4, !tbaa !3
|
|
150
|
69 %cmp9.10 = icmp sgt i32 %10, %.scoreMax.0.9
|
|
|
70 %.scoreMax.0.10 = select i1 %cmp9.10, i32 %10, i32 %.scoreMax.0.9
|
|
252
|
71 %arrayidx8.11 = getelementptr inbounds i32, ptr %score, i32 11
|
|
|
72 %11 = load i32, ptr %arrayidx8.11, align 4, !tbaa !3
|
|
150
|
73 %cmp9.11 = icmp sgt i32 %11, %.scoreMax.0.10
|
|
|
74 %.scoreMax.0.11 = select i1 %cmp9.11, i32 %11, i32 %.scoreMax.0.10
|
|
252
|
75 %arrayidx8.12 = getelementptr inbounds i32, ptr %score, i32 12
|
|
|
76 %12 = load i32, ptr %arrayidx8.12, align 4, !tbaa !3
|
|
150
|
77 %cmp9.12 = icmp sgt i32 %12, %.scoreMax.0.11
|
|
|
78 %.scoreMax.0.12 = select i1 %cmp9.12, i32 %12, i32 %.scoreMax.0.11
|
|
252
|
79 %arrayidx8.13 = getelementptr inbounds i32, ptr %score, i32 13
|
|
|
80 %13 = load i32, ptr %arrayidx8.13, align 4, !tbaa !3
|
|
150
|
81 %cmp9.13 = icmp sgt i32 %13, %.scoreMax.0.12
|
|
|
82 %.scoreMax.0.13 = select i1 %cmp9.13, i32 %13, i32 %.scoreMax.0.12
|
|
252
|
83 %arrayidx8.14 = getelementptr inbounds i32, ptr %score, i32 14
|
|
|
84 %14 = load i32, ptr %arrayidx8.14, align 4, !tbaa !3
|
|
150
|
85 %cmp9.14 = icmp sgt i32 %14, %.scoreMax.0.13
|
|
|
86 %.scoreMax.0.14 = select i1 %cmp9.14, i32 %14, i32 %.scoreMax.0.13
|
|
252
|
87 %arrayidx8.15 = getelementptr inbounds i32, ptr %score, i32 15
|
|
|
88 %15 = load i32, ptr %arrayidx8.15, align 4, !tbaa !3
|
|
150
|
89 %cmp9.15 = icmp sgt i32 %15, %.scoreMax.0.14
|
|
|
90 %.scoreMax.0.15 = select i1 %cmp9.15, i32 %15, i32 %.scoreMax.0.14
|
|
252
|
91 %arrayidx8.16 = getelementptr inbounds i32, ptr %score, i32 16
|
|
|
92 %16 = load i32, ptr %arrayidx8.16, align 4, !tbaa !3
|
|
150
|
93 %cmp9.16 = icmp sgt i32 %16, %.scoreMax.0.15
|
|
|
94 %.scoreMax.0.16 = select i1 %cmp9.16, i32 %16, i32 %.scoreMax.0.15
|
|
252
|
95 %arrayidx8.17 = getelementptr inbounds i32, ptr %score, i32 17
|
|
|
96 %17 = load i32, ptr %arrayidx8.17, align 4, !tbaa !3
|
|
150
|
97 %cmp9.17 = icmp sgt i32 %17, %.scoreMax.0.16
|
|
|
98 %.scoreMax.0.17 = select i1 %cmp9.17, i32 %17, i32 %.scoreMax.0.16
|
|
252
|
99 %arrayidx8.18 = getelementptr inbounds i32, ptr %score, i32 18
|
|
|
100 %18 = load i32, ptr %arrayidx8.18, align 4, !tbaa !3
|
|
150
|
101 %cmp9.18 = icmp sgt i32 %18, %.scoreMax.0.17
|
|
|
102 %.scoreMax.0.18 = select i1 %cmp9.18, i32 %18, i32 %.scoreMax.0.17
|
|
252
|
103 %arrayidx8.19 = getelementptr inbounds i32, ptr %score, i32 19
|
|
|
104 %19 = load i32, ptr %arrayidx8.19, align 4, !tbaa !3
|
|
150
|
105 %cmp9.19 = icmp sgt i32 %19, %.scoreMax.0.18
|
|
|
106 %.scoreMax.0.19 = select i1 %cmp9.19, i32 %19, i32 %.scoreMax.0.18
|
|
|
107 %cmp14 = icmp eq i32 %.scoreMax.0.19, -1
|
|
|
108 br i1 %cmp14, label %cleanup, label %if.end16
|
|
|
109
|
|
|
110 for.body: ; preds = %for.body.preheader, %for.body
|
|
|
111 %i.034 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
|
|
252
|
112 %arrayidx = getelementptr inbounds i32, ptr %src1, i32 %i.034
|
|
|
113 %20 = load i32, ptr %arrayidx, align 4, !tbaa !3
|
|
|
114 %arrayidx1 = getelementptr inbounds i32, ptr %src2, i32 %i.034
|
|
|
115 %21 = load i32, ptr %arrayidx1, align 4, !tbaa !3
|
|
150
|
116 %add = add nsw i32 %21, %20
|
|
252
|
117 %arrayidx2 = getelementptr inbounds i32, ptr %score, i32 %i.034
|
|
|
118 store i32 %add, ptr %arrayidx2, align 4, !tbaa !3
|
|
150
|
119 %inc = add nuw nsw i32 %i.034, 1
|
|
|
120 %exitcond = icmp eq i32 %inc, %n
|
|
|
121 br i1 %exitcond, label %for.body7.preheader.loopexit, label %for.body
|
|
|
122
|
|
|
123 if.end16: ; preds = %for.body7.preheader
|
|
252
|
124 store i32 %.scoreMax.0.19, ptr %max, align 4, !tbaa !3
|
|
150
|
125 br label %cleanup
|
|
|
126
|
|
|
127 cleanup: ; preds = %for.body7.preheader, %if.end16
|
|
|
128 %retval.0 = phi i32 [ 1, %if.end16 ], [ 0, %for.body7.preheader ]
|
|
|
129 ret i32 %retval.0
|
|
|
130 }
|
|
|
131
|
|
|
132 attributes #0 = { norecurse nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="arm7tdmi" "target-features"="+strict-align" "unsafe-fp-math"="false" "use-soft-float"="false" }
|
|
|
133
|
|
|
134 !llvm.module.flags = !{!0, !1}
|
|
|
135 !llvm.ident = !{!2}
|
|
|
136
|
|
|
137 !0 = !{i32 1, !"wchar_size", i32 4}
|
|
|
138 !1 = !{i32 1, !"min_enum_size", i32 4}
|
|
|
139 !2 = !{!"clang version 3.9.0"}
|
|
|
140 !3 = !{!4, !4, i64 0}
|
|
|
141 !4 = !{!"int", !5, i64 0}
|
|
|
142 !5 = !{!"omnipotent char", !6, i64 0}
|
|
|
143 !6 = !{!"Simple C/C++ TBAA"}
|
