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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
| ; RUN: opt %loadPolly -polly-codegen < %s
;
; Check we do not crash even though there is a dead load that is referenced by
; a parameter and we do not pre-load it (as it is dead).
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
@REGISTER = external global [10 x i32], align 16
; Function Attrs: nounwind uwtable
define void @FORMAT3_4() #0 {
entry:
%INSTR = alloca [32 x i32], align 16
br label %entry.split
entry.split: ; preds = %entry
%0 = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @REGISTER, i64 0, i64 8), align 16
%add = add nsw i32 %0, 2
%cmp = icmp sgt i32 %add, 1048575
br i1 %cmp, label %if.end.36, label %if.else
if.else: ; preds = %entry.split
call void (i32, i32, i32*, ...) bitcast (void (...)* @BYTES_TO_BITS to void (i32, i32, i32*, ...)*)(i32 undef, i32 1, i32* undef) #2
%1 = load i32, i32* undef, align 4
%cmp14 = icmp eq i32 %1, 1
br i1 %cmp14, label %land.lhs.true, label %if.end.36
land.lhs.true: ; preds = %if.else
%arrayidx16 = getelementptr inbounds [32 x i32], [32 x i32]* %INSTR, i64 0, i64 6
br i1 false, label %land.lhs.true.19, label %if.then.23
land.lhs.true.19: ; preds = %land.lhs.true
%arrayidx20 = getelementptr inbounds [32 x i32], [32 x i32]* %INSTR, i64 0, i64 7
br i1 false, label %if.end.36, label %if.then.23
if.then.23: ; preds = %land.lhs.true.19, %land.lhs.true
br i1 false, label %if.end.36, label %if.else.28
if.else.28: ; preds = %if.then.23
br label %if.end.36
if.end.36: ; preds = %if.else.28, %if.then.23, %land.lhs.true.19, %if.else, %entry.split
%RANGE_ERROR.0 = phi i1 [ false, %land.lhs.true.19 ], [ false, %if.else.28 ], [ false, %if.else ], [ true, %entry.split ], [ true, %if.then.23 ]
br i1 %RANGE_ERROR.0, label %if.then.37, label %if.end.38
if.then.37: ; preds = %if.end.36
br label %return
if.end.38: ; preds = %if.end.36
br i1 undef, label %land.lhs.true.43, label %if.else.50
land.lhs.true.43: ; preds = %if.end.38
br i1 undef, label %if.then.47, label %if.else.50
if.then.47: ; preds = %land.lhs.true.43
br label %if.end.107
if.else.50: ; preds = %land.lhs.true.43, %if.end.38
br i1 undef, label %if.then.53, label %if.else.89
if.then.53: ; preds = %if.else.50
br i1 undef, label %land.lhs.true.59, label %if.end.64
land.lhs.true.59: ; preds = %if.then.53
br i1 undef, label %if.then.63, label %if.end.64
if.then.63: ; preds = %land.lhs.true.59
br label %return
if.end.64: ; preds = %land.lhs.true.59, %if.then.53
br i1 undef, label %if.then.80, label %if.end.107
if.then.80: ; preds = %if.end.64
br i1 undef, label %if.then.83, label %if.else.85
if.then.83: ; preds = %if.then.80
br label %if.end.107
if.else.85: ; preds = %if.then.80
br label %if.end.107
if.else.89: ; preds = %if.else.50
br i1 undef, label %if.then.96, label %lor.lhs.false
lor.lhs.false: ; preds = %if.else.89
br i1 undef, label %if.then.96, label %if.end.97
if.then.96: ; preds = %lor.lhs.false, %if.else.89
br label %return
if.end.97: ; preds = %lor.lhs.false
br i1 undef, label %if.then.103, label %if.end.107
if.then.103: ; preds = %if.end.97
br label %if.end.107
if.end.107: ; preds = %if.then.103, %if.end.97, %if.else.85, %if.then.83, %if.end.64, %if.then.47
br i1 undef, label %land.lhs.true.111, label %if.end.142
land.lhs.true.111: ; preds = %if.end.107
br i1 undef, label %if.then.115, label %if.end.142
if.then.115: ; preds = %land.lhs.true.111
br i1 undef, label %if.then.118, label %return
if.then.118: ; preds = %if.then.115
br i1 undef, label %if.then.125, label %for.cond.preheader
for.cond.preheader: ; preds = %if.then.118
br i1 undef, label %for.body.lr.ph, label %for.end
for.body.lr.ph: ; preds = %for.cond.preheader
br label %for.body
if.then.125: ; preds = %if.then.118
br label %return
for.body: ; preds = %for.body, %for.body.lr.ph
br i1 undef, label %for.body, label %for.cond.for.end_crit_edge
for.cond.for.end_crit_edge: ; preds = %for.body
br label %for.end
for.end: ; preds = %for.cond.for.end_crit_edge, %for.cond.preheader
br label %return
if.end.142: ; preds = %land.lhs.true.111, %if.end.107
br i1 undef, label %land.lhs.true.146, label %if.end.206
land.lhs.true.146: ; preds = %if.end.142
br i1 undef, label %if.then.150, label %if.end.206
if.then.150: ; preds = %land.lhs.true.146
br i1 undef, label %if.then.157, label %lor.lhs.false.153
lor.lhs.false.153: ; preds = %if.then.150
br i1 undef, label %if.then.157, label %if.end.158
if.then.157: ; preds = %lor.lhs.false.153, %if.then.150
br label %return
if.end.158: ; preds = %lor.lhs.false.153
br i1 undef, label %if.then.179, label %return
if.then.179: ; preds = %if.end.158
br i1 undef, label %if.then.183, label %for.cond.185.preheader
for.cond.185.preheader: ; preds = %if.then.179
br i1 undef, label %for.body.188.lr.ph, label %for.end.198
for.body.188.lr.ph: ; preds = %for.cond.185.preheader
br label %for.body.188
if.then.183: ; preds = %if.then.179
br label %return
for.body.188: ; preds = %for.body.188, %for.body.188.lr.ph
br i1 undef, label %for.body.188, label %for.cond.185.for.end.198_crit_edge
for.cond.185.for.end.198_crit_edge: ; preds = %for.body.188
br label %for.end.198
for.end.198: ; preds = %for.cond.185.for.end.198_crit_edge, %for.cond.185.preheader
br label %return
if.end.206: ; preds = %land.lhs.true.146, %if.end.142
br i1 undef, label %land.lhs.true.210, label %return
land.lhs.true.210: ; preds = %if.end.206
br i1 undef, label %if.then.214, label %return
if.then.214: ; preds = %land.lhs.true.210
br i1 undef, label %if.then.219, label %return
if.then.219: ; preds = %if.then.214
br label %return
return: ; preds = %if.then.219, %if.then.214, %land.lhs.true.210, %if.end.206, %for.end.198, %if.then.183, %if.end.158, %if.then.157, %for.end, %if.then.125, %if.then.115, %if.then.96, %if.then.63, %if.then.37
ret void
}
declare void @BYTES_TO_BITS(...) #1
attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="haswell" "target-features"="+aes,+avx,+avx2,+bmi,+bmi2,+cmov,+cx16,+f16c,+fma,+fsgsbase,+fxsr,+hle,+lzcnt,+mmx,+movbe,+pclmul,+popcnt,+rdrnd,+rtm,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+xsave,+xsaveopt,-adx,-avx512bw,-avx512cd,-avx512dq,-avx512er,-avx512f,-avx512pf,-avx512vl,-fma4,-prfchw,-rdseed,-sha,-sse4a,-tbm,-xop,-xsavec,-xsaves" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="haswell" "target-features"="+aes,+avx,+avx2,+bmi,+bmi2,+cmov,+cx16,+f16c,+fma,+fsgsbase,+fxsr,+hle,+lzcnt,+mmx,+movbe,+pclmul,+popcnt,+rdrnd,+rtm,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+xsave,+xsaveopt,-adx,-avx512bw,-avx512cd,-avx512dq,-avx512er,-avx512f,-avx512pf,-avx512vl,-fma4,-prfchw,-rdseed,-sha,-sse4a,-tbm,-xop,-xsavec,-xsaves" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { nounwind }
|