annotate polly/test/ScopInfo/assume_gep_bounds_many.ll @ 252:1f2b6ac9f198 llvm-original

LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
1 ; RUN: opt %loadPolly -disable-output -polly-print-scops -polly-ignore-aliasing \
150
anatofuz
parents:
diff changeset
2 ; RUN: < %s | FileCheck %s
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 ; CHECK: Assumed Context:
anatofuz
parents:
diff changeset
5 ; CHECK-NEXT: [n1_a, n1_b, n1_c, n1_d, n2_a, n2_b, n2_c, n2_d, n3_a, n3_b, n3_c, n3_d, n4_a, n4_b, n4_c, n4_d, n5_a, n5_b, n5_c, n5_d, n6_a, n6_b, n6_c, n6_d, n7_a, n7_b, n7_c, n7_d, n8_a, n8_b, n8_c, n8_d, n9_a, n9_b, n9_c, n9_d, p1_b, p1_c, p1_d, p2_b, p2_c, p2_d, p3_b, p3_c, p3_d, p4_b, p4_c, p4_d, p5_b, p5_c, p5_d, p6_b, p6_c, p6_d, p7_b, p7_c, p7_d, p8_b, p8_c, p8_d, p9_b, p9_c, p9_d] -> { : p1_b >= n1_b and p1_c >= n1_c and p1_d >= n1_d and p2_b >= n2_b and p2_c >= n2_c and p2_d >= n2_d and p3_b >= n3_b and p3_c >= n3_c and p3_d >= n3_d and p4_b >= n4_b and p4_c >= n4_c and p4_d >= n4_d and p5_b >= n5_b and p5_c >= n5_c and p5_d >= n5_d and p6_b >= n6_b and p6_c >= n6_c and p6_d >= n6_d and p7_b >= n7_b and p7_c >= n7_c and p7_d >= n7_d and p8_b >= n8_b and p8_c >= n8_c and p8_d >= n8_d and p9_b >= n9_b and p9_c >= n9_c and p9_d >= n9_d }
anatofuz
parents:
diff changeset
6 ; CHECK-NEXT: Invalid Context:
anatofuz
parents:
diff changeset
7 ; CHECK-NEXT: [n1_a, n1_b, n1_c, n1_d, n2_a, n2_b, n2_c, n2_d, n3_a, n3_b, n3_c, n3_d, n4_a, n4_b, n4_c, n4_d, n5_a, n5_b, n5_c, n5_d, n6_a, n6_b, n6_c, n6_d, n7_a, n7_b, n7_c, n7_d, n8_a, n8_b, n8_c, n8_d, n9_a, n9_b, n9_c, n9_d, p1_b, p1_c, p1_d, p2_b, p2_c, p2_d, p3_b, p3_c, p3_d, p4_b, p4_c, p4_d, p5_b, p5_c, p5_d, p6_b, p6_c, p6_d, p7_b, p7_c, p7_d, p8_b, p8_c, p8_d, p9_b, p9_c, p9_d] -> { : false }
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 ;
anatofuz
parents:
diff changeset
11 ; void foo(long n1_a, long n1_b, long n1_c, long n1_d, long n2_a, long n2_b,
anatofuz
parents:
diff changeset
12 ; long n2_c, long n2_d, long n3_a, long n3_b, long n3_c, long n3_d,
anatofuz
parents:
diff changeset
13 ; long n4_a, long n4_b, long n4_c, long n4_d, long n5_a, long n5_b,
anatofuz
parents:
diff changeset
14 ; long n5_c, long n5_d, long n6_a, long n6_b, long n6_c, long n6_d,
anatofuz
parents:
diff changeset
15 ; long n7_a, long n7_b, long n7_c, long n7_d, long n8_a, long n8_b,
anatofuz
parents:
diff changeset
16 ; long n8_c, long n8_d, long n9_a, long n9_b, long n9_c, long n9_d,
anatofuz
parents:
diff changeset
17 ; long p1_b, long p1_c, long p1_d, long p2_b, long p2_c, long p2_d,
anatofuz
parents:
diff changeset
18 ; long p3_b, long p3_c, long p3_d, long p4_b, long p4_c, long p4_d,
anatofuz
parents:
diff changeset
19 ; long p5_b, long p5_c, long p5_d, long p6_b, long p6_c, long p6_d,
anatofuz
parents:
diff changeset
20 ; long p7_b, long p7_c, long p7_d, long p8_b, long p8_c, long p8_d,
anatofuz
parents:
diff changeset
21 ; long p9_b, long p9_c, long p9_d, float A_1[][p1_b][p1_c][p1_d],
anatofuz
parents:
diff changeset
22 ; float A_2[][p2_b][p2_c][p2_d], float A_3[][p3_b][p3_c][p3_d],
anatofuz
parents:
diff changeset
23 ; float A_4[][p4_b][p4_c][p4_d], float A_5[][p5_b][p5_c][p5_d],
anatofuz
parents:
diff changeset
24 ; float A_6[][p6_b][p6_c][p6_d], float A_7[][p7_b][p7_c][p7_d],
anatofuz
parents:
diff changeset
25 ; float A_8[][p8_b][p8_c][p8_d], float A_9[][p9_b][p9_c][p9_d]) {
anatofuz
parents:
diff changeset
26 ; for (long i = 0; i < n1_a; i++)
anatofuz
parents:
diff changeset
27 ; for (long j = 0; j < n1_b; j++)
anatofuz
parents:
diff changeset
28 ; for (long k = 0; k < n1_c; k++)
anatofuz
parents:
diff changeset
29 ; for (long l = 0; l < n1_d; l++)
anatofuz
parents:
diff changeset
30 ; A_1[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
31 ; for (long i = 0; i < n2_a; i++)
anatofuz
parents:
diff changeset
32 ; for (long j = 0; j < n2_b; j++)
anatofuz
parents:
diff changeset
33 ; for (long k = 0; k < n2_c; k++)
anatofuz
parents:
diff changeset
34 ; for (long l = 0; l < n2_d; l++)
anatofuz
parents:
diff changeset
35 ; A_2[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
36 ; for (long i = 0; i < n3_a; i++)
anatofuz
parents:
diff changeset
37 ; for (long j = 0; j < n3_b; j++)
anatofuz
parents:
diff changeset
38 ; for (long k = 0; k < n3_c; k++)
anatofuz
parents:
diff changeset
39 ; for (long l = 0; l < n3_d; l++)
anatofuz
parents:
diff changeset
40 ; A_3[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
41 ; for (long i = 0; i < n4_a; i++)
anatofuz
parents:
diff changeset
42 ; for (long j = 0; j < n4_b; j++)
anatofuz
parents:
diff changeset
43 ; for (long k = 0; k < n4_c; k++)
anatofuz
parents:
diff changeset
44 ; for (long l = 0; l < n4_d; l++)
anatofuz
parents:
diff changeset
45 ; A_4[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
46 ; for (long i = 0; i < n5_a; i++)
anatofuz
parents:
diff changeset
47 ; for (long j = 0; j < n5_b; j++)
anatofuz
parents:
diff changeset
48 ; for (long k = 0; k < n5_c; k++)
anatofuz
parents:
diff changeset
49 ; for (long l = 0; l < n5_d; l++)
anatofuz
parents:
diff changeset
50 ; A_5[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
51 ; for (long i = 0; i < n6_a; i++)
anatofuz
parents:
diff changeset
52 ; for (long j = 0; j < n6_b; j++)
anatofuz
parents:
diff changeset
53 ; for (long k = 0; k < n6_c; k++)
anatofuz
parents:
diff changeset
54 ; for (long l = 0; l < n6_d; l++)
anatofuz
parents:
diff changeset
55 ; A_6[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
56 ; for (long i = 0; i < n7_a; i++)
anatofuz
parents:
diff changeset
57 ; for (long j = 0; j < n7_b; j++)
anatofuz
parents:
diff changeset
58 ; for (long k = 0; k < n7_c; k++)
anatofuz
parents:
diff changeset
59 ; for (long l = 0; l < n7_d; l++)
anatofuz
parents:
diff changeset
60 ; A_7[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
61 ; for (long i = 0; i < n8_a; i++)
anatofuz
parents:
diff changeset
62 ; for (long j = 0; j < n8_b; j++)
anatofuz
parents:
diff changeset
63 ; for (long k = 0; k < n8_c; k++)
anatofuz
parents:
diff changeset
64 ; for (long l = 0; l < n8_d; l++)
anatofuz
parents:
diff changeset
65 ; A_8[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
66 ; for (long i = 0; i < n9_a; i++)
anatofuz
parents:
diff changeset
67 ; for (long j = 0; j < n9_b; j++)
anatofuz
parents:
diff changeset
68 ; for (long k = 0; k < n9_c; k++)
anatofuz
parents:
diff changeset
69 ; for (long l = 0; l < n9_d; l++)
anatofuz
parents:
diff changeset
70 ; A_9[i][j][k][l] += i + j + k + l;
anatofuz
parents:
diff changeset
71 ; }
anatofuz
parents:
diff changeset
72 ;
anatofuz
parents:
diff changeset
73 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
74
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
75 define void @foo(i64 %n1_a, i64 %n1_b, i64 %n1_c, i64 %n1_d, i64 %n2_a, i64 %n2_b, i64 %n2_c, i64 %n2_d, i64 %n3_a, i64 %n3_b, i64 %n3_c, i64 %n3_d, i64 %n4_a, i64 %n4_b, i64 %n4_c, i64 %n4_d, i64 %n5_a, i64 %n5_b, i64 %n5_c, i64 %n5_d, i64 %n6_a, i64 %n6_b, i64 %n6_c, i64 %n6_d, i64 %n7_a, i64 %n7_b, i64 %n7_c, i64 %n7_d, i64 %n8_a, i64 %n8_b, i64 %n8_c, i64 %n8_d, i64 %n9_a, i64 %n9_b, i64 %n9_c, i64 %n9_d, i64 %p1_b, i64 %p1_c, i64 %p1_d, i64 %p2_b, i64 %p2_c, i64 %p2_d, i64 %p3_b, i64 %p3_c, i64 %p3_d, i64 %p4_b, i64 %p4_c, i64 %p4_d, i64 %p5_b, i64 %p5_c, i64 %p5_d, i64 %p6_b, i64 %p6_c, i64 %p6_d, i64 %p7_b, i64 %p7_c, i64 %p7_d, i64 %p8_b, i64 %p8_c, i64 %p8_d, i64 %p9_b, i64 %p9_c, i64 %p9_d, ptr %A_1, ptr %A_2, ptr %A_3, ptr %A_4, ptr %A_5, ptr %A_6, ptr %A_7, ptr %A_8, ptr %A_9) {
150
anatofuz
parents:
diff changeset
76 bb:
anatofuz
parents:
diff changeset
77 br label %bb1
anatofuz
parents:
diff changeset
78
anatofuz
parents:
diff changeset
79 bb1: ; preds = %bb37, %bb
anatofuz
parents:
diff changeset
80 %i.0 = phi i64 [ 0, %bb ], [ %tmp38, %bb37 ]
anatofuz
parents:
diff changeset
81 %tmp = icmp slt i64 %i.0, %n1_a
anatofuz
parents:
diff changeset
82 br i1 %tmp, label %bb2, label %bb39
anatofuz
parents:
diff changeset
83
anatofuz
parents:
diff changeset
84 bb2: ; preds = %bb1
anatofuz
parents:
diff changeset
85 br label %bb3
anatofuz
parents:
diff changeset
86
anatofuz
parents:
diff changeset
87 bb3: ; preds = %bb34, %bb2
anatofuz
parents:
diff changeset
88 %j.0 = phi i64 [ 0, %bb2 ], [ %tmp35, %bb34 ]
anatofuz
parents:
diff changeset
89 %tmp4 = icmp slt i64 %j.0, %n1_b
anatofuz
parents:
diff changeset
90 br i1 %tmp4, label %bb5, label %bb36
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 bb5: ; preds = %bb3
anatofuz
parents:
diff changeset
93 br label %bb6
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 bb6: ; preds = %bb31, %bb5
anatofuz
parents:
diff changeset
96 %k.0 = phi i64 [ 0, %bb5 ], [ %tmp32, %bb31 ]
anatofuz
parents:
diff changeset
97 %tmp7 = icmp slt i64 %k.0, %n1_c
anatofuz
parents:
diff changeset
98 br i1 %tmp7, label %bb8, label %bb33
anatofuz
parents:
diff changeset
99
anatofuz
parents:
diff changeset
100 bb8: ; preds = %bb6
anatofuz
parents:
diff changeset
101 br label %bb9
anatofuz
parents:
diff changeset
102
anatofuz
parents:
diff changeset
103 bb9: ; preds = %bb28, %bb8
anatofuz
parents:
diff changeset
104 %l.0 = phi i64 [ 0, %bb8 ], [ %tmp29, %bb28 ]
anatofuz
parents:
diff changeset
105 %tmp10 = icmp slt i64 %l.0, %n1_d
anatofuz
parents:
diff changeset
106 br i1 %tmp10, label %bb11, label %bb30
anatofuz
parents:
diff changeset
107
anatofuz
parents:
diff changeset
108 bb11: ; preds = %bb9
anatofuz
parents:
diff changeset
109 %tmp12 = add nuw nsw i64 %i.0, %j.0
anatofuz
parents:
diff changeset
110 %tmp13 = add nsw i64 %tmp12, %k.0
anatofuz
parents:
diff changeset
111 %tmp14 = add nsw i64 %tmp13, %l.0
anatofuz
parents:
diff changeset
112 %tmp15 = sitofp i64 %tmp14 to float
anatofuz
parents:
diff changeset
113 %tmp16 = mul nuw i64 %p1_b, %p1_c
anatofuz
parents:
diff changeset
114 %tmp17 = mul nuw i64 %tmp16, %p1_d
anatofuz
parents:
diff changeset
115 %tmp18 = mul nsw i64 %i.0, %tmp17
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
116 %tmp19 = getelementptr inbounds float, ptr %A_1, i64 %tmp18
150
anatofuz
parents:
diff changeset
117 %tmp20 = mul nuw i64 %p1_c, %p1_d
anatofuz
parents:
diff changeset
118 %tmp21 = mul nsw i64 %j.0, %tmp20
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
119 %tmp22 = getelementptr inbounds float, ptr %tmp19, i64 %tmp21
150
anatofuz
parents:
diff changeset
120 %tmp23 = mul nsw i64 %k.0, %p1_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
121 %tmp24 = getelementptr inbounds float, ptr %tmp22, i64 %tmp23
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
122 %tmp25 = getelementptr inbounds float, ptr %tmp24, i64 %l.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
123 %tmp26 = load float, ptr %tmp25, align 4
150
anatofuz
parents:
diff changeset
124 %tmp27 = fadd float %tmp26, %tmp15
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
125 store float %tmp27, ptr %tmp25, align 4
150
anatofuz
parents:
diff changeset
126 br label %bb28
anatofuz
parents:
diff changeset
127
anatofuz
parents:
diff changeset
128 bb28: ; preds = %bb11
anatofuz
parents:
diff changeset
129 %tmp29 = add nuw nsw i64 %l.0, 1
anatofuz
parents:
diff changeset
130 br label %bb9
anatofuz
parents:
diff changeset
131
anatofuz
parents:
diff changeset
132 bb30: ; preds = %bb9
anatofuz
parents:
diff changeset
133 br label %bb31
anatofuz
parents:
diff changeset
134
anatofuz
parents:
diff changeset
135 bb31: ; preds = %bb30
anatofuz
parents:
diff changeset
136 %tmp32 = add nuw nsw i64 %k.0, 1
anatofuz
parents:
diff changeset
137 br label %bb6
anatofuz
parents:
diff changeset
138
anatofuz
parents:
diff changeset
139 bb33: ; preds = %bb6
anatofuz
parents:
diff changeset
140 br label %bb34
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 bb34: ; preds = %bb33
anatofuz
parents:
diff changeset
143 %tmp35 = add nuw nsw i64 %j.0, 1
anatofuz
parents:
diff changeset
144 br label %bb3
anatofuz
parents:
diff changeset
145
anatofuz
parents:
diff changeset
146 bb36: ; preds = %bb3
anatofuz
parents:
diff changeset
147 br label %bb37
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149 bb37: ; preds = %bb36
anatofuz
parents:
diff changeset
150 %tmp38 = add nuw nsw i64 %i.0, 1
anatofuz
parents:
diff changeset
151 br label %bb1
anatofuz
parents:
diff changeset
152
anatofuz
parents:
diff changeset
153 bb39: ; preds = %bb1
anatofuz
parents:
diff changeset
154 br label %bb40
anatofuz
parents:
diff changeset
155
anatofuz
parents:
diff changeset
156 bb40: ; preds = %bb77, %bb39
anatofuz
parents:
diff changeset
157 %i1.0 = phi i64 [ 0, %bb39 ], [ %tmp78, %bb77 ]
anatofuz
parents:
diff changeset
158 %tmp41 = icmp slt i64 %i1.0, %n2_a
anatofuz
parents:
diff changeset
159 br i1 %tmp41, label %bb42, label %bb79
anatofuz
parents:
diff changeset
160
anatofuz
parents:
diff changeset
161 bb42: ; preds = %bb40
anatofuz
parents:
diff changeset
162 br label %bb43
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 bb43: ; preds = %bb74, %bb42
anatofuz
parents:
diff changeset
165 %j2.0 = phi i64 [ 0, %bb42 ], [ %tmp75, %bb74 ]
anatofuz
parents:
diff changeset
166 %tmp44 = icmp slt i64 %j2.0, %n2_b
anatofuz
parents:
diff changeset
167 br i1 %tmp44, label %bb45, label %bb76
anatofuz
parents:
diff changeset
168
anatofuz
parents:
diff changeset
169 bb45: ; preds = %bb43
anatofuz
parents:
diff changeset
170 br label %bb46
anatofuz
parents:
diff changeset
171
anatofuz
parents:
diff changeset
172 bb46: ; preds = %bb71, %bb45
anatofuz
parents:
diff changeset
173 %k3.0 = phi i64 [ 0, %bb45 ], [ %tmp72, %bb71 ]
anatofuz
parents:
diff changeset
174 %tmp47 = icmp slt i64 %k3.0, %n2_c
anatofuz
parents:
diff changeset
175 br i1 %tmp47, label %bb48, label %bb73
anatofuz
parents:
diff changeset
176
anatofuz
parents:
diff changeset
177 bb48: ; preds = %bb46
anatofuz
parents:
diff changeset
178 br label %bb49
anatofuz
parents:
diff changeset
179
anatofuz
parents:
diff changeset
180 bb49: ; preds = %bb68, %bb48
anatofuz
parents:
diff changeset
181 %l4.0 = phi i64 [ 0, %bb48 ], [ %tmp69, %bb68 ]
anatofuz
parents:
diff changeset
182 %tmp50 = icmp slt i64 %l4.0, %n2_d
anatofuz
parents:
diff changeset
183 br i1 %tmp50, label %bb51, label %bb70
anatofuz
parents:
diff changeset
184
anatofuz
parents:
diff changeset
185 bb51: ; preds = %bb49
anatofuz
parents:
diff changeset
186 %tmp52 = add nuw nsw i64 %i1.0, %j2.0
anatofuz
parents:
diff changeset
187 %tmp53 = add nsw i64 %tmp52, %k3.0
anatofuz
parents:
diff changeset
188 %tmp54 = add nsw i64 %tmp53, %l4.0
anatofuz
parents:
diff changeset
189 %tmp55 = sitofp i64 %tmp54 to float
anatofuz
parents:
diff changeset
190 %tmp56 = mul nuw i64 %p2_b, %p2_c
anatofuz
parents:
diff changeset
191 %tmp57 = mul nuw i64 %tmp56, %p2_d
anatofuz
parents:
diff changeset
192 %tmp58 = mul nsw i64 %i1.0, %tmp57
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
193 %tmp59 = getelementptr inbounds float, ptr %A_2, i64 %tmp58
150
anatofuz
parents:
diff changeset
194 %tmp60 = mul nuw i64 %p2_c, %p2_d
anatofuz
parents:
diff changeset
195 %tmp61 = mul nsw i64 %j2.0, %tmp60
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
196 %tmp62 = getelementptr inbounds float, ptr %tmp59, i64 %tmp61
150
anatofuz
parents:
diff changeset
197 %tmp63 = mul nsw i64 %k3.0, %p2_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
198 %tmp64 = getelementptr inbounds float, ptr %tmp62, i64 %tmp63
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
199 %tmp65 = getelementptr inbounds float, ptr %tmp64, i64 %l4.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
200 %tmp66 = load float, ptr %tmp65, align 4
150
anatofuz
parents:
diff changeset
201 %tmp67 = fadd float %tmp66, %tmp55
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
202 store float %tmp67, ptr %tmp65, align 4
150
anatofuz
parents:
diff changeset
203 br label %bb68
anatofuz
parents:
diff changeset
204
anatofuz
parents:
diff changeset
205 bb68: ; preds = %bb51
anatofuz
parents:
diff changeset
206 %tmp69 = add nuw nsw i64 %l4.0, 1
anatofuz
parents:
diff changeset
207 br label %bb49
anatofuz
parents:
diff changeset
208
anatofuz
parents:
diff changeset
209 bb70: ; preds = %bb49
anatofuz
parents:
diff changeset
210 br label %bb71
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 bb71: ; preds = %bb70
anatofuz
parents:
diff changeset
213 %tmp72 = add nuw nsw i64 %k3.0, 1
anatofuz
parents:
diff changeset
214 br label %bb46
anatofuz
parents:
diff changeset
215
anatofuz
parents:
diff changeset
216 bb73: ; preds = %bb46
anatofuz
parents:
diff changeset
217 br label %bb74
anatofuz
parents:
diff changeset
218
anatofuz
parents:
diff changeset
219 bb74: ; preds = %bb73
anatofuz
parents:
diff changeset
220 %tmp75 = add nuw nsw i64 %j2.0, 1
anatofuz
parents:
diff changeset
221 br label %bb43
anatofuz
parents:
diff changeset
222
anatofuz
parents:
diff changeset
223 bb76: ; preds = %bb43
anatofuz
parents:
diff changeset
224 br label %bb77
anatofuz
parents:
diff changeset
225
anatofuz
parents:
diff changeset
226 bb77: ; preds = %bb76
anatofuz
parents:
diff changeset
227 %tmp78 = add nuw nsw i64 %i1.0, 1
anatofuz
parents:
diff changeset
228 br label %bb40
anatofuz
parents:
diff changeset
229
anatofuz
parents:
diff changeset
230 bb79: ; preds = %bb40
anatofuz
parents:
diff changeset
231 br label %bb80
anatofuz
parents:
diff changeset
232
anatofuz
parents:
diff changeset
233 bb80: ; preds = %bb117, %bb79
anatofuz
parents:
diff changeset
234 %i5.0 = phi i64 [ 0, %bb79 ], [ %tmp118, %bb117 ]
anatofuz
parents:
diff changeset
235 %tmp81 = icmp slt i64 %i5.0, %n3_a
anatofuz
parents:
diff changeset
236 br i1 %tmp81, label %bb82, label %bb119
anatofuz
parents:
diff changeset
237
anatofuz
parents:
diff changeset
238 bb82: ; preds = %bb80
anatofuz
parents:
diff changeset
239 br label %bb83
anatofuz
parents:
diff changeset
240
anatofuz
parents:
diff changeset
241 bb83: ; preds = %bb114, %bb82
anatofuz
parents:
diff changeset
242 %j6.0 = phi i64 [ 0, %bb82 ], [ %tmp115, %bb114 ]
anatofuz
parents:
diff changeset
243 %tmp84 = icmp slt i64 %j6.0, %n3_b
anatofuz
parents:
diff changeset
244 br i1 %tmp84, label %bb85, label %bb116
anatofuz
parents:
diff changeset
245
anatofuz
parents:
diff changeset
246 bb85: ; preds = %bb83
anatofuz
parents:
diff changeset
247 br label %bb86
anatofuz
parents:
diff changeset
248
anatofuz
parents:
diff changeset
249 bb86: ; preds = %bb111, %bb85
anatofuz
parents:
diff changeset
250 %k7.0 = phi i64 [ 0, %bb85 ], [ %tmp112, %bb111 ]
anatofuz
parents:
diff changeset
251 %tmp87 = icmp slt i64 %k7.0, %n3_c
anatofuz
parents:
diff changeset
252 br i1 %tmp87, label %bb88, label %bb113
anatofuz
parents:
diff changeset
253
anatofuz
parents:
diff changeset
254 bb88: ; preds = %bb86
anatofuz
parents:
diff changeset
255 br label %bb89
anatofuz
parents:
diff changeset
256
anatofuz
parents:
diff changeset
257 bb89: ; preds = %bb108, %bb88
anatofuz
parents:
diff changeset
258 %l8.0 = phi i64 [ 0, %bb88 ], [ %tmp109, %bb108 ]
anatofuz
parents:
diff changeset
259 %tmp90 = icmp slt i64 %l8.0, %n3_d
anatofuz
parents:
diff changeset
260 br i1 %tmp90, label %bb91, label %bb110
anatofuz
parents:
diff changeset
261
anatofuz
parents:
diff changeset
262 bb91: ; preds = %bb89
anatofuz
parents:
diff changeset
263 %tmp92 = add nuw nsw i64 %i5.0, %j6.0
anatofuz
parents:
diff changeset
264 %tmp93 = add nsw i64 %tmp92, %k7.0
anatofuz
parents:
diff changeset
265 %tmp94 = add nsw i64 %tmp93, %l8.0
anatofuz
parents:
diff changeset
266 %tmp95 = sitofp i64 %tmp94 to float
anatofuz
parents:
diff changeset
267 %tmp96 = mul nuw i64 %p3_b, %p3_c
anatofuz
parents:
diff changeset
268 %tmp97 = mul nuw i64 %tmp96, %p3_d
anatofuz
parents:
diff changeset
269 %tmp98 = mul nsw i64 %i5.0, %tmp97
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
270 %tmp99 = getelementptr inbounds float, ptr %A_3, i64 %tmp98
150
anatofuz
parents:
diff changeset
271 %tmp100 = mul nuw i64 %p3_c, %p3_d
anatofuz
parents:
diff changeset
272 %tmp101 = mul nsw i64 %j6.0, %tmp100
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
273 %tmp102 = getelementptr inbounds float, ptr %tmp99, i64 %tmp101
150
anatofuz
parents:
diff changeset
274 %tmp103 = mul nsw i64 %k7.0, %p3_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
275 %tmp104 = getelementptr inbounds float, ptr %tmp102, i64 %tmp103
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
276 %tmp105 = getelementptr inbounds float, ptr %tmp104, i64 %l8.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
277 %tmp106 = load float, ptr %tmp105, align 4
150
anatofuz
parents:
diff changeset
278 %tmp107 = fadd float %tmp106, %tmp95
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
279 store float %tmp107, ptr %tmp105, align 4
150
anatofuz
parents:
diff changeset
280 br label %bb108
anatofuz
parents:
diff changeset
281
anatofuz
parents:
diff changeset
282 bb108: ; preds = %bb91
anatofuz
parents:
diff changeset
283 %tmp109 = add nuw nsw i64 %l8.0, 1
anatofuz
parents:
diff changeset
284 br label %bb89
anatofuz
parents:
diff changeset
285
anatofuz
parents:
diff changeset
286 bb110: ; preds = %bb89
anatofuz
parents:
diff changeset
287 br label %bb111
anatofuz
parents:
diff changeset
288
anatofuz
parents:
diff changeset
289 bb111: ; preds = %bb110
anatofuz
parents:
diff changeset
290 %tmp112 = add nuw nsw i64 %k7.0, 1
anatofuz
parents:
diff changeset
291 br label %bb86
anatofuz
parents:
diff changeset
292
anatofuz
parents:
diff changeset
293 bb113: ; preds = %bb86
anatofuz
parents:
diff changeset
294 br label %bb114
anatofuz
parents:
diff changeset
295
anatofuz
parents:
diff changeset
296 bb114: ; preds = %bb113
anatofuz
parents:
diff changeset
297 %tmp115 = add nuw nsw i64 %j6.0, 1
anatofuz
parents:
diff changeset
298 br label %bb83
anatofuz
parents:
diff changeset
299
anatofuz
parents:
diff changeset
300 bb116: ; preds = %bb83
anatofuz
parents:
diff changeset
301 br label %bb117
anatofuz
parents:
diff changeset
302
anatofuz
parents:
diff changeset
303 bb117: ; preds = %bb116
anatofuz
parents:
diff changeset
304 %tmp118 = add nuw nsw i64 %i5.0, 1
anatofuz
parents:
diff changeset
305 br label %bb80
anatofuz
parents:
diff changeset
306
anatofuz
parents:
diff changeset
307 bb119: ; preds = %bb80
anatofuz
parents:
diff changeset
308 br label %bb120
anatofuz
parents:
diff changeset
309
anatofuz
parents:
diff changeset
310 bb120: ; preds = %bb157, %bb119
anatofuz
parents:
diff changeset
311 %i9.0 = phi i64 [ 0, %bb119 ], [ %tmp158, %bb157 ]
anatofuz
parents:
diff changeset
312 %tmp121 = icmp slt i64 %i9.0, %n4_a
anatofuz
parents:
diff changeset
313 br i1 %tmp121, label %bb122, label %bb159
anatofuz
parents:
diff changeset
314
anatofuz
parents:
diff changeset
315 bb122: ; preds = %bb120
anatofuz
parents:
diff changeset
316 br label %bb123
anatofuz
parents:
diff changeset
317
anatofuz
parents:
diff changeset
318 bb123: ; preds = %bb154, %bb122
anatofuz
parents:
diff changeset
319 %j10.0 = phi i64 [ 0, %bb122 ], [ %tmp155, %bb154 ]
anatofuz
parents:
diff changeset
320 %tmp124 = icmp slt i64 %j10.0, %n4_b
anatofuz
parents:
diff changeset
321 br i1 %tmp124, label %bb125, label %bb156
anatofuz
parents:
diff changeset
322
anatofuz
parents:
diff changeset
323 bb125: ; preds = %bb123
anatofuz
parents:
diff changeset
324 br label %bb126
anatofuz
parents:
diff changeset
325
anatofuz
parents:
diff changeset
326 bb126: ; preds = %bb151, %bb125
anatofuz
parents:
diff changeset
327 %k11.0 = phi i64 [ 0, %bb125 ], [ %tmp152, %bb151 ]
anatofuz
parents:
diff changeset
328 %tmp127 = icmp slt i64 %k11.0, %n4_c
anatofuz
parents:
diff changeset
329 br i1 %tmp127, label %bb128, label %bb153
anatofuz
parents:
diff changeset
330
anatofuz
parents:
diff changeset
331 bb128: ; preds = %bb126
anatofuz
parents:
diff changeset
332 br label %bb129
anatofuz
parents:
diff changeset
333
anatofuz
parents:
diff changeset
334 bb129: ; preds = %bb148, %bb128
anatofuz
parents:
diff changeset
335 %l12.0 = phi i64 [ 0, %bb128 ], [ %tmp149, %bb148 ]
anatofuz
parents:
diff changeset
336 %tmp130 = icmp slt i64 %l12.0, %n4_d
anatofuz
parents:
diff changeset
337 br i1 %tmp130, label %bb131, label %bb150
anatofuz
parents:
diff changeset
338
anatofuz
parents:
diff changeset
339 bb131: ; preds = %bb129
anatofuz
parents:
diff changeset
340 %tmp132 = add nuw nsw i64 %i9.0, %j10.0
anatofuz
parents:
diff changeset
341 %tmp133 = add nsw i64 %tmp132, %k11.0
anatofuz
parents:
diff changeset
342 %tmp134 = add nsw i64 %tmp133, %l12.0
anatofuz
parents:
diff changeset
343 %tmp135 = sitofp i64 %tmp134 to float
anatofuz
parents:
diff changeset
344 %tmp136 = mul nuw i64 %p4_b, %p4_c
anatofuz
parents:
diff changeset
345 %tmp137 = mul nuw i64 %tmp136, %p4_d
anatofuz
parents:
diff changeset
346 %tmp138 = mul nsw i64 %i9.0, %tmp137
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
347 %tmp139 = getelementptr inbounds float, ptr %A_4, i64 %tmp138
150
anatofuz
parents:
diff changeset
348 %tmp140 = mul nuw i64 %p4_c, %p4_d
anatofuz
parents:
diff changeset
349 %tmp141 = mul nsw i64 %j10.0, %tmp140
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
350 %tmp142 = getelementptr inbounds float, ptr %tmp139, i64 %tmp141
150
anatofuz
parents:
diff changeset
351 %tmp143 = mul nsw i64 %k11.0, %p4_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
352 %tmp144 = getelementptr inbounds float, ptr %tmp142, i64 %tmp143
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
353 %tmp145 = getelementptr inbounds float, ptr %tmp144, i64 %l12.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
354 %tmp146 = load float, ptr %tmp145, align 4
150
anatofuz
parents:
diff changeset
355 %tmp147 = fadd float %tmp146, %tmp135
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
356 store float %tmp147, ptr %tmp145, align 4
150
anatofuz
parents:
diff changeset
357 br label %bb148
anatofuz
parents:
diff changeset
358
anatofuz
parents:
diff changeset
359 bb148: ; preds = %bb131
anatofuz
parents:
diff changeset
360 %tmp149 = add nuw nsw i64 %l12.0, 1
anatofuz
parents:
diff changeset
361 br label %bb129
anatofuz
parents:
diff changeset
362
anatofuz
parents:
diff changeset
363 bb150: ; preds = %bb129
anatofuz
parents:
diff changeset
364 br label %bb151
anatofuz
parents:
diff changeset
365
anatofuz
parents:
diff changeset
366 bb151: ; preds = %bb150
anatofuz
parents:
diff changeset
367 %tmp152 = add nuw nsw i64 %k11.0, 1
anatofuz
parents:
diff changeset
368 br label %bb126
anatofuz
parents:
diff changeset
369
anatofuz
parents:
diff changeset
370 bb153: ; preds = %bb126
anatofuz
parents:
diff changeset
371 br label %bb154
anatofuz
parents:
diff changeset
372
anatofuz
parents:
diff changeset
373 bb154: ; preds = %bb153
anatofuz
parents:
diff changeset
374 %tmp155 = add nuw nsw i64 %j10.0, 1
anatofuz
parents:
diff changeset
375 br label %bb123
anatofuz
parents:
diff changeset
376
anatofuz
parents:
diff changeset
377 bb156: ; preds = %bb123
anatofuz
parents:
diff changeset
378 br label %bb157
anatofuz
parents:
diff changeset
379
anatofuz
parents:
diff changeset
380 bb157: ; preds = %bb156
anatofuz
parents:
diff changeset
381 %tmp158 = add nuw nsw i64 %i9.0, 1
anatofuz
parents:
diff changeset
382 br label %bb120
anatofuz
parents:
diff changeset
383
anatofuz
parents:
diff changeset
384 bb159: ; preds = %bb120
anatofuz
parents:
diff changeset
385 br label %bb160
anatofuz
parents:
diff changeset
386
anatofuz
parents:
diff changeset
387 bb160: ; preds = %bb197, %bb159
anatofuz
parents:
diff changeset
388 %i13.0 = phi i64 [ 0, %bb159 ], [ %tmp198, %bb197 ]
anatofuz
parents:
diff changeset
389 %tmp161 = icmp slt i64 %i13.0, %n5_a
anatofuz
parents:
diff changeset
390 br i1 %tmp161, label %bb162, label %bb199
anatofuz
parents:
diff changeset
391
anatofuz
parents:
diff changeset
392 bb162: ; preds = %bb160
anatofuz
parents:
diff changeset
393 br label %bb163
anatofuz
parents:
diff changeset
394
anatofuz
parents:
diff changeset
395 bb163: ; preds = %bb194, %bb162
anatofuz
parents:
diff changeset
396 %j14.0 = phi i64 [ 0, %bb162 ], [ %tmp195, %bb194 ]
anatofuz
parents:
diff changeset
397 %tmp164 = icmp slt i64 %j14.0, %n5_b
anatofuz
parents:
diff changeset
398 br i1 %tmp164, label %bb165, label %bb196
anatofuz
parents:
diff changeset
399
anatofuz
parents:
diff changeset
400 bb165: ; preds = %bb163
anatofuz
parents:
diff changeset
401 br label %bb166
anatofuz
parents:
diff changeset
402
anatofuz
parents:
diff changeset
403 bb166: ; preds = %bb191, %bb165
anatofuz
parents:
diff changeset
404 %k15.0 = phi i64 [ 0, %bb165 ], [ %tmp192, %bb191 ]
anatofuz
parents:
diff changeset
405 %tmp167 = icmp slt i64 %k15.0, %n5_c
anatofuz
parents:
diff changeset
406 br i1 %tmp167, label %bb168, label %bb193
anatofuz
parents:
diff changeset
407
anatofuz
parents:
diff changeset
408 bb168: ; preds = %bb166
anatofuz
parents:
diff changeset
409 br label %bb169
anatofuz
parents:
diff changeset
410
anatofuz
parents:
diff changeset
411 bb169: ; preds = %bb188, %bb168
anatofuz
parents:
diff changeset
412 %l16.0 = phi i64 [ 0, %bb168 ], [ %tmp189, %bb188 ]
anatofuz
parents:
diff changeset
413 %tmp170 = icmp slt i64 %l16.0, %n5_d
anatofuz
parents:
diff changeset
414 br i1 %tmp170, label %bb171, label %bb190
anatofuz
parents:
diff changeset
415
anatofuz
parents:
diff changeset
416 bb171: ; preds = %bb169
anatofuz
parents:
diff changeset
417 %tmp172 = add nuw nsw i64 %i13.0, %j14.0
anatofuz
parents:
diff changeset
418 %tmp173 = add nsw i64 %tmp172, %k15.0
anatofuz
parents:
diff changeset
419 %tmp174 = add nsw i64 %tmp173, %l16.0
anatofuz
parents:
diff changeset
420 %tmp175 = sitofp i64 %tmp174 to float
anatofuz
parents:
diff changeset
421 %tmp176 = mul nuw i64 %p5_b, %p5_c
anatofuz
parents:
diff changeset
422 %tmp177 = mul nuw i64 %tmp176, %p5_d
anatofuz
parents:
diff changeset
423 %tmp178 = mul nsw i64 %i13.0, %tmp177
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
424 %tmp179 = getelementptr inbounds float, ptr %A_5, i64 %tmp178
150
anatofuz
parents:
diff changeset
425 %tmp180 = mul nuw i64 %p5_c, %p5_d
anatofuz
parents:
diff changeset
426 %tmp181 = mul nsw i64 %j14.0, %tmp180
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
427 %tmp182 = getelementptr inbounds float, ptr %tmp179, i64 %tmp181
150
anatofuz
parents:
diff changeset
428 %tmp183 = mul nsw i64 %k15.0, %p5_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
429 %tmp184 = getelementptr inbounds float, ptr %tmp182, i64 %tmp183
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
430 %tmp185 = getelementptr inbounds float, ptr %tmp184, i64 %l16.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
431 %tmp186 = load float, ptr %tmp185, align 4
150
anatofuz
parents:
diff changeset
432 %tmp187 = fadd float %tmp186, %tmp175
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
433 store float %tmp187, ptr %tmp185, align 4
150
anatofuz
parents:
diff changeset
434 br label %bb188
anatofuz
parents:
diff changeset
435
anatofuz
parents:
diff changeset
436 bb188: ; preds = %bb171
anatofuz
parents:
diff changeset
437 %tmp189 = add nuw nsw i64 %l16.0, 1
anatofuz
parents:
diff changeset
438 br label %bb169
anatofuz
parents:
diff changeset
439
anatofuz
parents:
diff changeset
440 bb190: ; preds = %bb169
anatofuz
parents:
diff changeset
441 br label %bb191
anatofuz
parents:
diff changeset
442
anatofuz
parents:
diff changeset
443 bb191: ; preds = %bb190
anatofuz
parents:
diff changeset
444 %tmp192 = add nuw nsw i64 %k15.0, 1
anatofuz
parents:
diff changeset
445 br label %bb166
anatofuz
parents:
diff changeset
446
anatofuz
parents:
diff changeset
447 bb193: ; preds = %bb166
anatofuz
parents:
diff changeset
448 br label %bb194
anatofuz
parents:
diff changeset
449
anatofuz
parents:
diff changeset
450 bb194: ; preds = %bb193
anatofuz
parents:
diff changeset
451 %tmp195 = add nuw nsw i64 %j14.0, 1
anatofuz
parents:
diff changeset
452 br label %bb163
anatofuz
parents:
diff changeset
453
anatofuz
parents:
diff changeset
454 bb196: ; preds = %bb163
anatofuz
parents:
diff changeset
455 br label %bb197
anatofuz
parents:
diff changeset
456
anatofuz
parents:
diff changeset
457 bb197: ; preds = %bb196
anatofuz
parents:
diff changeset
458 %tmp198 = add nuw nsw i64 %i13.0, 1
anatofuz
parents:
diff changeset
459 br label %bb160
anatofuz
parents:
diff changeset
460
anatofuz
parents:
diff changeset
461 bb199: ; preds = %bb160
anatofuz
parents:
diff changeset
462 br label %bb200
anatofuz
parents:
diff changeset
463
anatofuz
parents:
diff changeset
464 bb200: ; preds = %bb237, %bb199
anatofuz
parents:
diff changeset
465 %i17.0 = phi i64 [ 0, %bb199 ], [ %tmp238, %bb237 ]
anatofuz
parents:
diff changeset
466 %tmp201 = icmp slt i64 %i17.0, %n6_a
anatofuz
parents:
diff changeset
467 br i1 %tmp201, label %bb202, label %bb239
anatofuz
parents:
diff changeset
468
anatofuz
parents:
diff changeset
469 bb202: ; preds = %bb200
anatofuz
parents:
diff changeset
470 br label %bb203
anatofuz
parents:
diff changeset
471
anatofuz
parents:
diff changeset
472 bb203: ; preds = %bb234, %bb202
anatofuz
parents:
diff changeset
473 %j18.0 = phi i64 [ 0, %bb202 ], [ %tmp235, %bb234 ]
anatofuz
parents:
diff changeset
474 %tmp204 = icmp slt i64 %j18.0, %n6_b
anatofuz
parents:
diff changeset
475 br i1 %tmp204, label %bb205, label %bb236
anatofuz
parents:
diff changeset
476
anatofuz
parents:
diff changeset
477 bb205: ; preds = %bb203
anatofuz
parents:
diff changeset
478 br label %bb206
anatofuz
parents:
diff changeset
479
anatofuz
parents:
diff changeset
480 bb206: ; preds = %bb231, %bb205
anatofuz
parents:
diff changeset
481 %k19.0 = phi i64 [ 0, %bb205 ], [ %tmp232, %bb231 ]
anatofuz
parents:
diff changeset
482 %tmp207 = icmp slt i64 %k19.0, %n6_c
anatofuz
parents:
diff changeset
483 br i1 %tmp207, label %bb208, label %bb233
anatofuz
parents:
diff changeset
484
anatofuz
parents:
diff changeset
485 bb208: ; preds = %bb206
anatofuz
parents:
diff changeset
486 br label %bb209
anatofuz
parents:
diff changeset
487
anatofuz
parents:
diff changeset
488 bb209: ; preds = %bb228, %bb208
anatofuz
parents:
diff changeset
489 %l20.0 = phi i64 [ 0, %bb208 ], [ %tmp229, %bb228 ]
anatofuz
parents:
diff changeset
490 %tmp210 = icmp slt i64 %l20.0, %n6_d
anatofuz
parents:
diff changeset
491 br i1 %tmp210, label %bb211, label %bb230
anatofuz
parents:
diff changeset
492
anatofuz
parents:
diff changeset
493 bb211: ; preds = %bb209
anatofuz
parents:
diff changeset
494 %tmp212 = add nuw nsw i64 %i17.0, %j18.0
anatofuz
parents:
diff changeset
495 %tmp213 = add nsw i64 %tmp212, %k19.0
anatofuz
parents:
diff changeset
496 %tmp214 = add nsw i64 %tmp213, %l20.0
anatofuz
parents:
diff changeset
497 %tmp215 = sitofp i64 %tmp214 to float
anatofuz
parents:
diff changeset
498 %tmp216 = mul nuw i64 %p6_b, %p6_c
anatofuz
parents:
diff changeset
499 %tmp217 = mul nuw i64 %tmp216, %p6_d
anatofuz
parents:
diff changeset
500 %tmp218 = mul nsw i64 %i17.0, %tmp217
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
501 %tmp219 = getelementptr inbounds float, ptr %A_6, i64 %tmp218
150
anatofuz
parents:
diff changeset
502 %tmp220 = mul nuw i64 %p6_c, %p6_d
anatofuz
parents:
diff changeset
503 %tmp221 = mul nsw i64 %j18.0, %tmp220
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
504 %tmp222 = getelementptr inbounds float, ptr %tmp219, i64 %tmp221
150
anatofuz
parents:
diff changeset
505 %tmp223 = mul nsw i64 %k19.0, %p6_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
506 %tmp224 = getelementptr inbounds float, ptr %tmp222, i64 %tmp223
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
507 %tmp225 = getelementptr inbounds float, ptr %tmp224, i64 %l20.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
508 %tmp226 = load float, ptr %tmp225, align 4
150
anatofuz
parents:
diff changeset
509 %tmp227 = fadd float %tmp226, %tmp215
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
510 store float %tmp227, ptr %tmp225, align 4
150
anatofuz
parents:
diff changeset
511 br label %bb228
anatofuz
parents:
diff changeset
512
anatofuz
parents:
diff changeset
513 bb228: ; preds = %bb211
anatofuz
parents:
diff changeset
514 %tmp229 = add nuw nsw i64 %l20.0, 1
anatofuz
parents:
diff changeset
515 br label %bb209
anatofuz
parents:
diff changeset
516
anatofuz
parents:
diff changeset
517 bb230: ; preds = %bb209
anatofuz
parents:
diff changeset
518 br label %bb231
anatofuz
parents:
diff changeset
519
anatofuz
parents:
diff changeset
520 bb231: ; preds = %bb230
anatofuz
parents:
diff changeset
521 %tmp232 = add nuw nsw i64 %k19.0, 1
anatofuz
parents:
diff changeset
522 br label %bb206
anatofuz
parents:
diff changeset
523
anatofuz
parents:
diff changeset
524 bb233: ; preds = %bb206
anatofuz
parents:
diff changeset
525 br label %bb234
anatofuz
parents:
diff changeset
526
anatofuz
parents:
diff changeset
527 bb234: ; preds = %bb233
anatofuz
parents:
diff changeset
528 %tmp235 = add nuw nsw i64 %j18.0, 1
anatofuz
parents:
diff changeset
529 br label %bb203
anatofuz
parents:
diff changeset
530
anatofuz
parents:
diff changeset
531 bb236: ; preds = %bb203
anatofuz
parents:
diff changeset
532 br label %bb237
anatofuz
parents:
diff changeset
533
anatofuz
parents:
diff changeset
534 bb237: ; preds = %bb236
anatofuz
parents:
diff changeset
535 %tmp238 = add nuw nsw i64 %i17.0, 1
anatofuz
parents:
diff changeset
536 br label %bb200
anatofuz
parents:
diff changeset
537
anatofuz
parents:
diff changeset
538 bb239: ; preds = %bb200
anatofuz
parents:
diff changeset
539 br label %bb240
anatofuz
parents:
diff changeset
540
anatofuz
parents:
diff changeset
541 bb240: ; preds = %bb277, %bb239
anatofuz
parents:
diff changeset
542 %i21.0 = phi i64 [ 0, %bb239 ], [ %tmp278, %bb277 ]
anatofuz
parents:
diff changeset
543 %tmp241 = icmp slt i64 %i21.0, %n7_a
anatofuz
parents:
diff changeset
544 br i1 %tmp241, label %bb242, label %bb279
anatofuz
parents:
diff changeset
545
anatofuz
parents:
diff changeset
546 bb242: ; preds = %bb240
anatofuz
parents:
diff changeset
547 br label %bb243
anatofuz
parents:
diff changeset
548
anatofuz
parents:
diff changeset
549 bb243: ; preds = %bb274, %bb242
anatofuz
parents:
diff changeset
550 %j22.0 = phi i64 [ 0, %bb242 ], [ %tmp275, %bb274 ]
anatofuz
parents:
diff changeset
551 %tmp244 = icmp slt i64 %j22.0, %n7_b
anatofuz
parents:
diff changeset
552 br i1 %tmp244, label %bb245, label %bb276
anatofuz
parents:
diff changeset
553
anatofuz
parents:
diff changeset
554 bb245: ; preds = %bb243
anatofuz
parents:
diff changeset
555 br label %bb246
anatofuz
parents:
diff changeset
556
anatofuz
parents:
diff changeset
557 bb246: ; preds = %bb271, %bb245
anatofuz
parents:
diff changeset
558 %k23.0 = phi i64 [ 0, %bb245 ], [ %tmp272, %bb271 ]
anatofuz
parents:
diff changeset
559 %tmp247 = icmp slt i64 %k23.0, %n7_c
anatofuz
parents:
diff changeset
560 br i1 %tmp247, label %bb248, label %bb273
anatofuz
parents:
diff changeset
561
anatofuz
parents:
diff changeset
562 bb248: ; preds = %bb246
anatofuz
parents:
diff changeset
563 br label %bb249
anatofuz
parents:
diff changeset
564
anatofuz
parents:
diff changeset
565 bb249: ; preds = %bb268, %bb248
anatofuz
parents:
diff changeset
566 %l24.0 = phi i64 [ 0, %bb248 ], [ %tmp269, %bb268 ]
anatofuz
parents:
diff changeset
567 %tmp250 = icmp slt i64 %l24.0, %n7_d
anatofuz
parents:
diff changeset
568 br i1 %tmp250, label %bb251, label %bb270
anatofuz
parents:
diff changeset
569
anatofuz
parents:
diff changeset
570 bb251: ; preds = %bb249
anatofuz
parents:
diff changeset
571 %tmp252 = add nuw nsw i64 %i21.0, %j22.0
anatofuz
parents:
diff changeset
572 %tmp253 = add nsw i64 %tmp252, %k23.0
anatofuz
parents:
diff changeset
573 %tmp254 = add nsw i64 %tmp253, %l24.0
anatofuz
parents:
diff changeset
574 %tmp255 = sitofp i64 %tmp254 to float
anatofuz
parents:
diff changeset
575 %tmp256 = mul nuw i64 %p7_b, %p7_c
anatofuz
parents:
diff changeset
576 %tmp257 = mul nuw i64 %tmp256, %p7_d
anatofuz
parents:
diff changeset
577 %tmp258 = mul nsw i64 %i21.0, %tmp257
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
578 %tmp259 = getelementptr inbounds float, ptr %A_7, i64 %tmp258
150
anatofuz
parents:
diff changeset
579 %tmp260 = mul nuw i64 %p7_c, %p7_d
anatofuz
parents:
diff changeset
580 %tmp261 = mul nsw i64 %j22.0, %tmp260
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
581 %tmp262 = getelementptr inbounds float, ptr %tmp259, i64 %tmp261
150
anatofuz
parents:
diff changeset
582 %tmp263 = mul nsw i64 %k23.0, %p7_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
583 %tmp264 = getelementptr inbounds float, ptr %tmp262, i64 %tmp263
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
584 %tmp265 = getelementptr inbounds float, ptr %tmp264, i64 %l24.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
585 %tmp266 = load float, ptr %tmp265, align 4
150
anatofuz
parents:
diff changeset
586 %tmp267 = fadd float %tmp266, %tmp255
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
587 store float %tmp267, ptr %tmp265, align 4
150
anatofuz
parents:
diff changeset
588 br label %bb268
anatofuz
parents:
diff changeset
589
anatofuz
parents:
diff changeset
590 bb268: ; preds = %bb251
anatofuz
parents:
diff changeset
591 %tmp269 = add nuw nsw i64 %l24.0, 1
anatofuz
parents:
diff changeset
592 br label %bb249
anatofuz
parents:
diff changeset
593
anatofuz
parents:
diff changeset
594 bb270: ; preds = %bb249
anatofuz
parents:
diff changeset
595 br label %bb271
anatofuz
parents:
diff changeset
596
anatofuz
parents:
diff changeset
597 bb271: ; preds = %bb270
anatofuz
parents:
diff changeset
598 %tmp272 = add nuw nsw i64 %k23.0, 1
anatofuz
parents:
diff changeset
599 br label %bb246
anatofuz
parents:
diff changeset
600
anatofuz
parents:
diff changeset
601 bb273: ; preds = %bb246
anatofuz
parents:
diff changeset
602 br label %bb274
anatofuz
parents:
diff changeset
603
anatofuz
parents:
diff changeset
604 bb274: ; preds = %bb273
anatofuz
parents:
diff changeset
605 %tmp275 = add nuw nsw i64 %j22.0, 1
anatofuz
parents:
diff changeset
606 br label %bb243
anatofuz
parents:
diff changeset
607
anatofuz
parents:
diff changeset
608 bb276: ; preds = %bb243
anatofuz
parents:
diff changeset
609 br label %bb277
anatofuz
parents:
diff changeset
610
anatofuz
parents:
diff changeset
611 bb277: ; preds = %bb276
anatofuz
parents:
diff changeset
612 %tmp278 = add nuw nsw i64 %i21.0, 1
anatofuz
parents:
diff changeset
613 br label %bb240
anatofuz
parents:
diff changeset
614
anatofuz
parents:
diff changeset
615 bb279: ; preds = %bb240
anatofuz
parents:
diff changeset
616 br label %bb280
anatofuz
parents:
diff changeset
617
anatofuz
parents:
diff changeset
618 bb280: ; preds = %bb317, %bb279
anatofuz
parents:
diff changeset
619 %i25.0 = phi i64 [ 0, %bb279 ], [ %tmp318, %bb317 ]
anatofuz
parents:
diff changeset
620 %tmp281 = icmp slt i64 %i25.0, %n8_a
anatofuz
parents:
diff changeset
621 br i1 %tmp281, label %bb282, label %bb319
anatofuz
parents:
diff changeset
622
anatofuz
parents:
diff changeset
623 bb282: ; preds = %bb280
anatofuz
parents:
diff changeset
624 br label %bb283
anatofuz
parents:
diff changeset
625
anatofuz
parents:
diff changeset
626 bb283: ; preds = %bb314, %bb282
anatofuz
parents:
diff changeset
627 %j26.0 = phi i64 [ 0, %bb282 ], [ %tmp315, %bb314 ]
anatofuz
parents:
diff changeset
628 %tmp284 = icmp slt i64 %j26.0, %n8_b
anatofuz
parents:
diff changeset
629 br i1 %tmp284, label %bb285, label %bb316
anatofuz
parents:
diff changeset
630
anatofuz
parents:
diff changeset
631 bb285: ; preds = %bb283
anatofuz
parents:
diff changeset
632 br label %bb286
anatofuz
parents:
diff changeset
633
anatofuz
parents:
diff changeset
634 bb286: ; preds = %bb311, %bb285
anatofuz
parents:
diff changeset
635 %k27.0 = phi i64 [ 0, %bb285 ], [ %tmp312, %bb311 ]
anatofuz
parents:
diff changeset
636 %tmp287 = icmp slt i64 %k27.0, %n8_c
anatofuz
parents:
diff changeset
637 br i1 %tmp287, label %bb288, label %bb313
anatofuz
parents:
diff changeset
638
anatofuz
parents:
diff changeset
639 bb288: ; preds = %bb286
anatofuz
parents:
diff changeset
640 br label %bb289
anatofuz
parents:
diff changeset
641
anatofuz
parents:
diff changeset
642 bb289: ; preds = %bb308, %bb288
anatofuz
parents:
diff changeset
643 %l28.0 = phi i64 [ 0, %bb288 ], [ %tmp309, %bb308 ]
anatofuz
parents:
diff changeset
644 %tmp290 = icmp slt i64 %l28.0, %n8_d
anatofuz
parents:
diff changeset
645 br i1 %tmp290, label %bb291, label %bb310
anatofuz
parents:
diff changeset
646
anatofuz
parents:
diff changeset
647 bb291: ; preds = %bb289
anatofuz
parents:
diff changeset
648 %tmp292 = add nuw nsw i64 %i25.0, %j26.0
anatofuz
parents:
diff changeset
649 %tmp293 = add nsw i64 %tmp292, %k27.0
anatofuz
parents:
diff changeset
650 %tmp294 = add nsw i64 %tmp293, %l28.0
anatofuz
parents:
diff changeset
651 %tmp295 = sitofp i64 %tmp294 to float
anatofuz
parents:
diff changeset
652 %tmp296 = mul nuw i64 %p8_b, %p8_c
anatofuz
parents:
diff changeset
653 %tmp297 = mul nuw i64 %tmp296, %p8_d
anatofuz
parents:
diff changeset
654 %tmp298 = mul nsw i64 %i25.0, %tmp297
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
655 %tmp299 = getelementptr inbounds float, ptr %A_8, i64 %tmp298
150
anatofuz
parents:
diff changeset
656 %tmp300 = mul nuw i64 %p8_c, %p8_d
anatofuz
parents:
diff changeset
657 %tmp301 = mul nsw i64 %j26.0, %tmp300
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
658 %tmp302 = getelementptr inbounds float, ptr %tmp299, i64 %tmp301
150
anatofuz
parents:
diff changeset
659 %tmp303 = mul nsw i64 %k27.0, %p8_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
660 %tmp304 = getelementptr inbounds float, ptr %tmp302, i64 %tmp303
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
661 %tmp305 = getelementptr inbounds float, ptr %tmp304, i64 %l28.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
662 %tmp306 = load float, ptr %tmp305, align 4
150
anatofuz
parents:
diff changeset
663 %tmp307 = fadd float %tmp306, %tmp295
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
664 store float %tmp307, ptr %tmp305, align 4
150
anatofuz
parents:
diff changeset
665 br label %bb308
anatofuz
parents:
diff changeset
666
anatofuz
parents:
diff changeset
667 bb308: ; preds = %bb291
anatofuz
parents:
diff changeset
668 %tmp309 = add nuw nsw i64 %l28.0, 1
anatofuz
parents:
diff changeset
669 br label %bb289
anatofuz
parents:
diff changeset
670
anatofuz
parents:
diff changeset
671 bb310: ; preds = %bb289
anatofuz
parents:
diff changeset
672 br label %bb311
anatofuz
parents:
diff changeset
673
anatofuz
parents:
diff changeset
674 bb311: ; preds = %bb310
anatofuz
parents:
diff changeset
675 %tmp312 = add nuw nsw i64 %k27.0, 1
anatofuz
parents:
diff changeset
676 br label %bb286
anatofuz
parents:
diff changeset
677
anatofuz
parents:
diff changeset
678 bb313: ; preds = %bb286
anatofuz
parents:
diff changeset
679 br label %bb314
anatofuz
parents:
diff changeset
680
anatofuz
parents:
diff changeset
681 bb314: ; preds = %bb313
anatofuz
parents:
diff changeset
682 %tmp315 = add nuw nsw i64 %j26.0, 1
anatofuz
parents:
diff changeset
683 br label %bb283
anatofuz
parents:
diff changeset
684
anatofuz
parents:
diff changeset
685 bb316: ; preds = %bb283
anatofuz
parents:
diff changeset
686 br label %bb317
anatofuz
parents:
diff changeset
687
anatofuz
parents:
diff changeset
688 bb317: ; preds = %bb316
anatofuz
parents:
diff changeset
689 %tmp318 = add nuw nsw i64 %i25.0, 1
anatofuz
parents:
diff changeset
690 br label %bb280
anatofuz
parents:
diff changeset
691
anatofuz
parents:
diff changeset
692 bb319: ; preds = %bb280
anatofuz
parents:
diff changeset
693 br label %bb320
anatofuz
parents:
diff changeset
694
anatofuz
parents:
diff changeset
695 bb320: ; preds = %bb357, %bb319
anatofuz
parents:
diff changeset
696 %i29.0 = phi i64 [ 0, %bb319 ], [ %tmp358, %bb357 ]
anatofuz
parents:
diff changeset
697 %tmp321 = icmp slt i64 %i29.0, %n9_a
anatofuz
parents:
diff changeset
698 br i1 %tmp321, label %bb322, label %bb359
anatofuz
parents:
diff changeset
699
anatofuz
parents:
diff changeset
700 bb322: ; preds = %bb320
anatofuz
parents:
diff changeset
701 br label %bb323
anatofuz
parents:
diff changeset
702
anatofuz
parents:
diff changeset
703 bb323: ; preds = %bb354, %bb322
anatofuz
parents:
diff changeset
704 %j30.0 = phi i64 [ 0, %bb322 ], [ %tmp355, %bb354 ]
anatofuz
parents:
diff changeset
705 %tmp324 = icmp slt i64 %j30.0, %n9_b
anatofuz
parents:
diff changeset
706 br i1 %tmp324, label %bb325, label %bb356
anatofuz
parents:
diff changeset
707
anatofuz
parents:
diff changeset
708 bb325: ; preds = %bb323
anatofuz
parents:
diff changeset
709 br label %bb326
anatofuz
parents:
diff changeset
710
anatofuz
parents:
diff changeset
711 bb326: ; preds = %bb351, %bb325
anatofuz
parents:
diff changeset
712 %k31.0 = phi i64 [ 0, %bb325 ], [ %tmp352, %bb351 ]
anatofuz
parents:
diff changeset
713 %tmp327 = icmp slt i64 %k31.0, %n9_c
anatofuz
parents:
diff changeset
714 br i1 %tmp327, label %bb328, label %bb353
anatofuz
parents:
diff changeset
715
anatofuz
parents:
diff changeset
716 bb328: ; preds = %bb326
anatofuz
parents:
diff changeset
717 br label %bb329
anatofuz
parents:
diff changeset
718
anatofuz
parents:
diff changeset
719 bb329: ; preds = %bb348, %bb328
anatofuz
parents:
diff changeset
720 %l32.0 = phi i64 [ 0, %bb328 ], [ %tmp349, %bb348 ]
anatofuz
parents:
diff changeset
721 %tmp330 = icmp slt i64 %l32.0, %n9_d
anatofuz
parents:
diff changeset
722 br i1 %tmp330, label %bb331, label %bb350
anatofuz
parents:
diff changeset
723
anatofuz
parents:
diff changeset
724 bb331: ; preds = %bb329
anatofuz
parents:
diff changeset
725 %tmp332 = add nuw nsw i64 %i29.0, %j30.0
anatofuz
parents:
diff changeset
726 %tmp333 = add nsw i64 %tmp332, %k31.0
anatofuz
parents:
diff changeset
727 %tmp334 = add nsw i64 %tmp333, %l32.0
anatofuz
parents:
diff changeset
728 %tmp335 = sitofp i64 %tmp334 to float
anatofuz
parents:
diff changeset
729 %tmp336 = mul nuw i64 %p9_b, %p9_c
anatofuz
parents:
diff changeset
730 %tmp337 = mul nuw i64 %tmp336, %p9_d
anatofuz
parents:
diff changeset
731 %tmp338 = mul nsw i64 %i29.0, %tmp337
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
732 %tmp339 = getelementptr inbounds float, ptr %A_9, i64 %tmp338
150
anatofuz
parents:
diff changeset
733 %tmp340 = mul nuw i64 %p9_c, %p9_d
anatofuz
parents:
diff changeset
734 %tmp341 = mul nsw i64 %j30.0, %tmp340
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
735 %tmp342 = getelementptr inbounds float, ptr %tmp339, i64 %tmp341
150
anatofuz
parents:
diff changeset
736 %tmp343 = mul nsw i64 %k31.0, %p9_d
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
737 %tmp344 = getelementptr inbounds float, ptr %tmp342, i64 %tmp343
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
738 %tmp345 = getelementptr inbounds float, ptr %tmp344, i64 %l32.0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
739 %tmp346 = load float, ptr %tmp345, align 4
150
anatofuz
parents:
diff changeset
740 %tmp347 = fadd float %tmp346, %tmp335
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
741 store float %tmp347, ptr %tmp345, align 4
150
anatofuz
parents:
diff changeset
742 br label %bb348
anatofuz
parents:
diff changeset
743
anatofuz
parents:
diff changeset
744 bb348: ; preds = %bb331
anatofuz
parents:
diff changeset
745 %tmp349 = add nuw nsw i64 %l32.0, 1
anatofuz
parents:
diff changeset
746 br label %bb329
anatofuz
parents:
diff changeset
747
anatofuz
parents:
diff changeset
748 bb350: ; preds = %bb329
anatofuz
parents:
diff changeset
749 br label %bb351
anatofuz
parents:
diff changeset
750
anatofuz
parents:
diff changeset
751 bb351: ; preds = %bb350
anatofuz
parents:
diff changeset
752 %tmp352 = add nuw nsw i64 %k31.0, 1
anatofuz
parents:
diff changeset
753 br label %bb326
anatofuz
parents:
diff changeset
754
anatofuz
parents:
diff changeset
755 bb353: ; preds = %bb326
anatofuz
parents:
diff changeset
756 br label %bb354
anatofuz
parents:
diff changeset
757
anatofuz
parents:
diff changeset
758 bb354: ; preds = %bb353
anatofuz
parents:
diff changeset
759 %tmp355 = add nuw nsw i64 %j30.0, 1
anatofuz
parents:
diff changeset
760 br label %bb323
anatofuz
parents:
diff changeset
761
anatofuz
parents:
diff changeset
762 bb356: ; preds = %bb323
anatofuz
parents:
diff changeset
763 br label %bb357
anatofuz
parents:
diff changeset
764
anatofuz
parents:
diff changeset
765 bb357: ; preds = %bb356
anatofuz
parents:
diff changeset
766 %tmp358 = add nuw nsw i64 %i29.0, 1
anatofuz
parents:
diff changeset
767 br label %bb320
anatofuz
parents:
diff changeset
768
anatofuz
parents:
diff changeset
769 bb359: ; preds = %bb320
anatofuz
parents:
diff changeset
770 ret void
anatofuz
parents:
diff changeset
771 }