]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.LTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / for.LTL.expected
1 program
2
3 globals 0
4
5 procedure for_loopParalAsync(3)
6 var 0
7 entry for_loopParalAsync94
8 for_loopParalAsync94 : newframe                --> for_loopParalAsync93                      
9 for_loopParalAsync93 : j                       --> for_loopParalAsync92                      
10 for_loopParalAsync92 : j                       --> for_loopParalAsync91                      
11 for_loopParalAsync91 : j                       --> for_loopParalAsync90                      
12 for_loopParalAsync90 : j                       --> for_loopParalAsync89                      
13 for_loopParalAsync89 : j                       --> for_loopParalAsync88                      
14 for_loopParalAsync88 : j                       --> for_loopParalAsync87                      
15 for_loopParalAsync87 : j                       --> for_loopParalAsync86                      
16 for_loopParalAsync86 : j                       --> for_loopParalAsync85                      
17 for_loopParalAsync85 : j                       --> for_loopParalAsync84                      
18 for_loopParalAsync84 : j                       --> for_loopParalAsync83                      
19 for_loopParalAsync83 : j                       --> for_loopParalAsync82                      
20 for_loopParalAsync82 : j                       --> for_loopParalAsync81                      
21 for_loopParalAsync81 : j                       --> for_loopParalAsync80                      
22 for_loopParalAsync80 : j                       --> for_loopParalAsync79                      
23 for_loopParalAsync79 : j                       --> for_loopParalAsync78                      
24 for_loopParalAsync78 : j                       --> for_loopParalAsync77                      
25 for_loopParalAsync77 : j                       --> for_loopParalAsync76                      
26 for_loopParalAsync76 : j                       --> for_loopParalAsync75                      
27 for_loopParalAsync75 : j                       --> for_loopParalAsync74                      
28 for_loopParalAsync74 : j                       --> for_loopParalAsync73                      
29 for_loopParalAsync73 : j                       --> for_loopParalAsync72                      
30 for_loopParalAsync72 : j                       --> for_loopParalAsync71                      
31 for_loopParalAsync71 : j                       --> for_loopParalAsync70                      
32 for_loopParalAsync70 : j                       --> for_loopParalAsync69                      
33 for_loopParalAsync69 : j                       --> for_loopParalAsync68                      
34 for_loopParalAsync68 : j                       --> for_loopParalAsync67                      
35 for_loopParalAsync67 : j                       --> for_loopParalAsync66                      
36 for_loopParalAsync66 : j                       --> for_loopParalAsync65                      
37 for_loopParalAsync65 : j                       --> for_loopParalAsync64                      
38 for_loopParalAsync64 : j                       --> for_loopParalAsync63                      
39 for_loopParalAsync63 : j                       --> for_loopParalAsync62                      
40 for_loopParalAsync62 : j                       --> for_loopParalAsync61                      
41 for_loopParalAsync61 : j                       --> for_loopParalAsync60                      
42 for_loopParalAsync60 : j                       --> for_loopParalAsync59                      
43 for_loopParalAsync59 : j                       --> for_loopParalAsync56                      
44 for_loopParalAsync56 : emit c29                --> for_loopParalAsync55                      
45 for_loopParalAsync55 : li    $v0, 0            --> for_loopParalAsync54                      
46 for_loopParalAsync54 : emit c28                --> for_loopParalAsync53                      
47 for_loopParalAsync53 : li    $a2, 0            --> for_loopParalAsync52                      
48 for_loopParalAsync52 : emit c27                --> for_loopParalAsync51                      
49 for_loopParalAsync51 : li    $a0, 3            --> for_loopParalAsync50                      
50 for_loopParalAsync50 : add     $a2, $a2, $a0   --> for_loopParalAsync49                      
51 for_loopParalAsync49 : emit c26                --> for_loopParalAsync48                      
52 for_loopParalAsync48 : li    $a0, 2            --> for_loopParalAsync47                      
53 for_loopParalAsync47 : mulo    $a2, $a2, $a0   --> for_loopParalAsync46                      
54 for_loopParalAsync46 : emit c25                --> for_loopParalAsync45                      
55 for_loopParalAsync45 : li    $a0, 3            --> for_loopParalAsync44                      
56 for_loopParalAsync44 : div     $a2, $a2, $a0   --> for_loopParalAsync43                      
57 for_loopParalAsync43 : emit c24                --> for_loopParalAsync42                      
58 for_loopParalAsync42 : li    $a0, 8            --> for_loopParalAsync41                      
59 for_loopParalAsync41 : add     $a2, $a2, $a0   --> for_loopParalAsync40                      
60 for_loopParalAsync40 : emit c23                --> for_loopParalAsync39                      
61 for_loopParalAsync39 : emit c22                --> for_loopParalAsync38                      
62 for_loopParalAsync38 : li    $a1, 0            --> for_loopParalAsync20                      
63 for_loopParalAsync20 : j                       --> for_loopParalAsync37                      
64 for_loopParalAsync37 : li    $a3, 0            --> for_loopParalAsync36                      
65 for_loopParalAsync36 : emit c21                --> for_loopParalAsync35                      
66 for_loopParalAsync35 : li    $a0, 20           --> for_loopParalAsync34                      
67 for_loopParalAsync34 : slt     $a0, $a1, $a0   --> for_loopParalAsync33                      
68 for_loopParalAsync33 : j                       --> for_loopParalAsync58                      
69 for_loopParalAsync58 : seq     $a0, $a0, $zero --> for_loopParalAsync32                      
70 for_loopParalAsync32 : beq     $a0, $a3        --> for_loopParalAsync31, for_loopParalAsync19
71 for_loopParalAsync19 : emit c16                --> for_loopParalAsync18                      
72 for_loopParalAsync18 : emit c15                --> for_loopParalAsync17                      
73 for_loopParalAsync17 : li    $a1, 1            --> for_loopParalAsync3                       
74 for_loopParalAsync3  : j                       --> for_loopParalAsync16                      
75 for_loopParalAsync16 : li    $a3, 0            --> for_loopParalAsync15                      
76 for_loopParalAsync15 : emit c14                --> for_loopParalAsync14                      
77 for_loopParalAsync14 : slt     $a0, $a1, $a2   --> for_loopParalAsync13                      
78 for_loopParalAsync13 : j                       --> for_loopParalAsync57                      
79 for_loopParalAsync57 : seq     $a0, $a0, $zero --> for_loopParalAsync12                      
80 for_loopParalAsync12 : beq     $a0, $a3        --> for_loopParalAsync11, for_loopParalAsync2 
81 for_loopParalAsync2  : emit c10                --> for_loopParalAsync1                       
82 for_loopParalAsync1  : j                       --> for_loopParalAsync0                       
83 for_loopParalAsync0  : j                       --> for_loopParalAsync106                     
84 for_loopParalAsync106: j                       --> for_loopParalAsync105                     
85 for_loopParalAsync105: j                       --> for_loopParalAsync104                     
86 for_loopParalAsync104: j                       --> for_loopParalAsync103                     
87 for_loopParalAsync103: j                       --> for_loopParalAsync102                     
88 for_loopParalAsync102: j                       --> for_loopParalAsync101                     
89 for_loopParalAsync101: j                       --> for_loopParalAsync100                     
90 for_loopParalAsync100: j                       --> for_loopParalAsync99                      
91 for_loopParalAsync99 : j                       --> for_loopParalAsync98                      
92 for_loopParalAsync98 : j                       --> for_loopParalAsync97                      
93 for_loopParalAsync97 : j                       --> for_loopParalAsync96                      
94 for_loopParalAsync96 : delframe                --> for_loopParalAsync95                      
95 for_loopParalAsync95 : jr    $ra                                                             
96 for_loopParalAsync11 : emit c12                --> for_loopParalAsync10                      
97 for_loopParalAsync10 : j                       --> for_loopParalAsync9                       
98 for_loopParalAsync9  : j                       --> for_loopParalAsync8                       
99 for_loopParalAsync8  : emit c11                --> for_loopParalAsync7                       
100 for_loopParalAsync7  : j                       --> for_loopParalAsync6                       
101 for_loopParalAsync6  : emit c13                --> for_loopParalAsync5                       
102 for_loopParalAsync5  : li    $a0, 1            --> for_loopParalAsync4                       
103 for_loopParalAsync4  : add     $a1, $a1, $a0   --> for_loopParalAsync3                       
104 for_loopParalAsync31 : emit c19                --> for_loopParalAsync30                      
105 for_loopParalAsync30 : li    $a0, 1            --> for_loopParalAsync29                      
106 for_loopParalAsync29 : add     $v0, $v0, $a0   --> for_loopParalAsync28                      
107 for_loopParalAsync28 : emit c18                --> for_loopParalAsync27                      
108 for_loopParalAsync27 : j                       --> for_loopParalAsync26                      
109 for_loopParalAsync26 : j                       --> for_loopParalAsync25                      
110 for_loopParalAsync25 : emit c17                --> for_loopParalAsync24                      
111 for_loopParalAsync24 : j                       --> for_loopParalAsync23                      
112 for_loopParalAsync23 : emit c20                --> for_loopParalAsync22                      
113 for_loopParalAsync22 : li    $a0, 1            --> for_loopParalAsync21                      
114 for_loopParalAsync21 : add     $a1, $a1, $a0   --> for_loopParalAsync20                      
115
116 procedure for_incrParam(2)
117 var 0
118 entry for_incrParam49
119 for_incrParam49: newframe                --> for_incrParam48               
120 for_incrParam48: j                       --> for_incrParam47               
121 for_incrParam47: j                       --> for_incrParam46               
122 for_incrParam46: j                       --> for_incrParam45               
123 for_incrParam45: j                       --> for_incrParam44               
124 for_incrParam44: j                       --> for_incrParam43               
125 for_incrParam43: j                       --> for_incrParam42               
126 for_incrParam42: j                       --> for_incrParam41               
127 for_incrParam41: j                       --> for_incrParam40               
128 for_incrParam40: j                       --> for_incrParam39               
129 for_incrParam39: j                       --> for_incrParam38               
130 for_incrParam38: j                       --> for_incrParam37               
131 for_incrParam37: j                       --> for_incrParam36               
132 for_incrParam36: j                       --> for_incrParam35               
133 for_incrParam35: j                       --> for_incrParam34               
134 for_incrParam34: j                       --> for_incrParam33               
135 for_incrParam33: j                       --> for_incrParam32               
136 for_incrParam32: j                       --> for_incrParam31               
137 for_incrParam31: j                       --> for_incrParam30               
138 for_incrParam30: j                       --> for_incrParam29               
139 for_incrParam29: j                       --> for_incrParam28               
140 for_incrParam28: j                       --> for_incrParam27               
141 for_incrParam27: j                       --> for_incrParam26               
142 for_incrParam26: j                       --> for_incrParam24               
143 for_incrParam24: emit c86                --> for_incrParam23               
144 for_incrParam23: add     $a3, $a0, $a1   --> for_incrParam22               
145 for_incrParam22: emit c85                --> for_incrParam21               
146 for_incrParam21: j                       --> for_incrParam20               
147 for_incrParam20: j                       --> for_incrParam19               
148 for_incrParam19: emit c84                --> for_incrParam18               
149 for_incrParam18: emit c83                --> for_incrParam17               
150 for_incrParam17: li    $v0, 4            --> for_incrParam16               
151 for_incrParam16: sub     $v0, $a3, $v0   --> for_incrParam3                
152 for_incrParam3 : j                       --> for_incrParam15               
153 for_incrParam15: li    $t0, 0            --> for_incrParam14               
154 for_incrParam14: emit c82                --> for_incrParam13               
155 for_incrParam13: li    $a2, 6            --> for_incrParam12               
156 for_incrParam12: add     $a2, $a1, $a2   --> for_incrParam11               
157 for_incrParam11: slt     $a2, $v0, $a2   --> for_incrParam10               
158 for_incrParam10: j                       --> for_incrParam25               
159 for_incrParam25: seq     $a2, $a2, $zero --> for_incrParam9                
160 for_incrParam9 : beq     $a2, $t0        --> for_incrParam8, for_incrParam2
161 for_incrParam2 : emit c79                --> for_incrParam1                
162 for_incrParam1 : j                       --> for_incrParam0                
163 for_incrParam0 : j                       --> for_incrParam61               
164 for_incrParam61: j                       --> for_incrParam60               
165 for_incrParam60: j                       --> for_incrParam59               
166 for_incrParam59: j                       --> for_incrParam58               
167 for_incrParam58: j                       --> for_incrParam57               
168 for_incrParam57: j                       --> for_incrParam56               
169 for_incrParam56: j                       --> for_incrParam55               
170 for_incrParam55: j                       --> for_incrParam54               
171 for_incrParam54: j                       --> for_incrParam53               
172 for_incrParam53: j                       --> for_incrParam52               
173 for_incrParam52: j                       --> for_incrParam51               
174 for_incrParam51: delframe                --> for_incrParam50               
175 for_incrParam50: jr    $ra                                                 
176 for_incrParam8 : emit c80                --> for_incrParam7                
177 for_incrParam7 : add     $v0, $v0, $a3   --> for_incrParam6                
178 for_incrParam6 : add     $v0, $v0, $a0   --> for_incrParam5                
179 for_incrParam5 : emit c81                --> for_incrParam4                
180 for_incrParam4 : add     $v0, $v0, $a0   --> for_incrParam3                
181
182 procedure for_incr(2)
183 var 0
184 entry for_incr44
185 for_incr44: newframe                --> for_incr43          
186 for_incr43: j                       --> for_incr42          
187 for_incr42: j                       --> for_incr41          
188 for_incr41: j                       --> for_incr40          
189 for_incr40: j                       --> for_incr39          
190 for_incr39: j                       --> for_incr38          
191 for_incr38: j                       --> for_incr37          
192 for_incr37: j                       --> for_incr36          
193 for_incr36: j                       --> for_incr35          
194 for_incr35: j                       --> for_incr34          
195 for_incr34: j                       --> for_incr33          
196 for_incr33: j                       --> for_incr32          
197 for_incr32: j                       --> for_incr31          
198 for_incr31: j                       --> for_incr30          
199 for_incr30: j                       --> for_incr29          
200 for_incr29: j                       --> for_incr28          
201 for_incr28: j                       --> for_incr27          
202 for_incr27: j                       --> for_incr26          
203 for_incr26: j                       --> for_incr25          
204 for_incr25: j                       --> for_incr24          
205 for_incr24: j                       --> for_incr23          
206 for_incr23: j                       --> for_incr21          
207 for_incr21: emit c78                --> for_incr20          
208 for_incr20: li    $v0, 0            --> for_incr19          
209 for_incr19: emit c77                --> for_incr18          
210 for_incr18: emit c76                --> for_incr17          
211 for_incr17: li    $a2, 3            --> for_incr16          
212 for_incr16: add     $a2, $a0, $a2   --> for_incr3           
213 for_incr3 : j                       --> for_incr15          
214 for_incr15: li    $a3, 0            --> for_incr14          
215 for_incr14: emit c75                --> for_incr13          
216 for_incr13: li    $a0, 2            --> for_incr12          
217 for_incr12: mulo    $a0, $a1, $a0   --> for_incr11          
218 for_incr11: sle     $a0, $a2, $a0   --> for_incr10          
219 for_incr10: j                       --> for_incr22          
220 for_incr22: seq     $a0, $a0, $zero --> for_incr9           
221 for_incr9 : beq     $a0, $a3        --> for_incr8, for_incr2
222 for_incr2 : emit c72                --> for_incr1           
223 for_incr1 : j                       --> for_incr0           
224 for_incr0 : j                       --> for_incr56          
225 for_incr56: j                       --> for_incr55          
226 for_incr55: j                       --> for_incr54          
227 for_incr54: j                       --> for_incr53          
228 for_incr53: j                       --> for_incr52          
229 for_incr52: j                       --> for_incr51          
230 for_incr51: j                       --> for_incr50          
231 for_incr50: j                       --> for_incr49          
232 for_incr49: j                       --> for_incr48          
233 for_incr48: j                       --> for_incr47          
234 for_incr47: j                       --> for_incr46          
235 for_incr46: delframe                --> for_incr45          
236 for_incr45: jr    $ra                                       
237 for_incr8 : emit c73                --> for_incr7           
238 for_incr7 : sub     $v0, $v0, $a2   --> for_incr6           
239 for_incr6 : emit c74                --> for_incr5           
240 for_incr5 : li    $a0, 1            --> for_incr4           
241 for_incr4 : add     $a2, $a2, $a0   --> for_incr3           
242
243 procedure for_imbriq(2)
244 var 24
245 entry for_imbriq64
246 for_imbriq64: newframe                --> for_imbriq63             
247 for_imbriq63: lw    $ra, 20($sp)      --> for_imbriq62             
248 for_imbriq62: j                       --> for_imbriq61             
249 for_imbriq61: j                       --> for_imbriq60             
250 for_imbriq60: j                       --> for_imbriq59             
251 for_imbriq59: lw    $s4, 16($sp)      --> for_imbriq58             
252 for_imbriq58: lw    $s3, 12($sp)      --> for_imbriq57             
253 for_imbriq57: lw    $s2, 8($sp)       --> for_imbriq56             
254 for_imbriq56: lw    $s1, 4($sp)       --> for_imbriq55             
255 for_imbriq55: lw    $s0, 0($sp)       --> for_imbriq54             
256 for_imbriq54: move    $s4, $a0        --> for_imbriq53             
257 for_imbriq53: move    $s3, $a1        --> for_imbriq52             
258 for_imbriq52: j                       --> for_imbriq51             
259 for_imbriq51: j                       --> for_imbriq50             
260 for_imbriq50: j                       --> for_imbriq49             
261 for_imbriq49: j                       --> for_imbriq48             
262 for_imbriq48: j                       --> for_imbriq47             
263 for_imbriq47: j                       --> for_imbriq46             
264 for_imbriq46: j                       --> for_imbriq45             
265 for_imbriq45: j                       --> for_imbriq44             
266 for_imbriq44: j                       --> for_imbriq43             
267 for_imbriq43: j                       --> for_imbriq42             
268 for_imbriq42: j                       --> for_imbriq41             
269 for_imbriq41: j                       --> for_imbriq40             
270 for_imbriq40: j                       --> for_imbriq39             
271 for_imbriq39: j                       --> for_imbriq38             
272 for_imbriq38: j                       --> for_imbriq34             
273 for_imbriq34: emit c71                --> for_imbriq33             
274 for_imbriq33: li    $s0, 0            --> for_imbriq32             
275 for_imbriq32: emit c70                --> for_imbriq31             
276 for_imbriq31: emit c69                --> for_imbriq30             
277 for_imbriq30: li    $s1, 0            --> for_imbriq3              
278 for_imbriq3 : j                       --> for_imbriq29             
279 for_imbriq29: li    $a0, 0            --> for_imbriq28             
280 for_imbriq28: emit c68                --> for_imbriq27             
281 for_imbriq27: li    $v0, 23           --> for_imbriq26             
282 for_imbriq26: slt     $v0, $s1, $v0   --> for_imbriq25             
283 for_imbriq25: j                       --> for_imbriq36             
284 for_imbriq36: seq     $v0, $v0, $zero --> for_imbriq24             
285 for_imbriq24: beq     $v0, $a0        --> for_imbriq23, for_imbriq2
286 for_imbriq2 : emit c59                --> for_imbriq1              
287 for_imbriq1 : j                       --> for_imbriq0              
288 for_imbriq0 : j                       --> for_imbriq76             
289 for_imbriq76: move    $v0, $s0        --> for_imbriq75             
290 for_imbriq75: lw    $ra, 20($sp)      --> for_imbriq74             
291 for_imbriq74: j                       --> for_imbriq73             
292 for_imbriq73: j                       --> for_imbriq72             
293 for_imbriq72: j                       --> for_imbriq71             
294 for_imbriq71: lw    $s4, 16($sp)      --> for_imbriq70             
295 for_imbriq70: lw    $s3, 12($sp)      --> for_imbriq69             
296 for_imbriq69: lw    $s2, 8($sp)       --> for_imbriq68             
297 for_imbriq68: lw    $s1, 4($sp)       --> for_imbriq67             
298 for_imbriq67: lw    $s0, 0($sp)       --> for_imbriq66             
299 for_imbriq66: delframe                --> for_imbriq65             
300 for_imbriq65: jr    $ra                                            
301 for_imbriq23: emit c66                --> for_imbriq22             
302 for_imbriq22: li    $v0, 0            --> for_imbriq21             
303 for_imbriq21: emit c65                --> for_imbriq20             
304 for_imbriq20: emit c64                --> for_imbriq19             
305 for_imbriq19: li    $s2, 1            --> for_imbriq6              
306 for_imbriq6 : j                       --> for_imbriq18             
307 for_imbriq18: li    $a1, 0            --> for_imbriq17             
308 for_imbriq17: emit c63                --> for_imbriq16             
309 for_imbriq16: li    $a0, 12           --> for_imbriq15             
310 for_imbriq15: slt     $a0, $s2, $a0   --> for_imbriq14             
311 for_imbriq14: j                       --> for_imbriq35             
312 for_imbriq35: seq     $a0, $a0, $zero --> for_imbriq13             
313 for_imbriq13: beq     $a0, $a1        --> for_imbriq12, for_imbriq5
314 for_imbriq5 : emit c67                --> for_imbriq4              
315 for_imbriq4 : add     $s1, $s1, $s4   --> for_imbriq3              
316 for_imbriq12: emit c61                --> for_imbriq11             
317 for_imbriq11: add     $s0, $s0, $v0   --> for_imbriq10             
318 for_imbriq10: emit c60                --> for_imbriq9              
319 for_imbriq9 : la    $a2, mod          --> for_imbriq37             
320 for_imbriq37: j                       --> for_imbriq80             
321 for_imbriq80: move    $a0, $v0        --> for_imbriq79             
322 for_imbriq79: move    $a1, $s2        --> for_imbriq78             
323 for_imbriq78: call  $a2               --> for_imbriq77             
324 for_imbriq77: j                       --> for_imbriq8              
325 for_imbriq8 : emit c62                --> for_imbriq7              
326 for_imbriq7 : add     $s2, $s2, $s3   --> for_imbriq6              
327
328 procedure for_fortSimple(3)
329 var 0
330 entry for_fortSimple41
331 for_fortSimple41: newframe                --> for_fortSimple40                
332 for_fortSimple40: j                       --> for_fortSimple39                
333 for_fortSimple39: j                       --> for_fortSimple38                
334 for_fortSimple38: j                       --> for_fortSimple37                
335 for_fortSimple37: j                       --> for_fortSimple36                
336 for_fortSimple36: j                       --> for_fortSimple35                
337 for_fortSimple35: j                       --> for_fortSimple34                
338 for_fortSimple34: j                       --> for_fortSimple33                
339 for_fortSimple33: j                       --> for_fortSimple32                
340 for_fortSimple32: j                       --> for_fortSimple31                
341 for_fortSimple31: j                       --> for_fortSimple30                
342 for_fortSimple30: j                       --> for_fortSimple29                
343 for_fortSimple29: j                       --> for_fortSimple28                
344 for_fortSimple28: j                       --> for_fortSimple27                
345 for_fortSimple27: j                       --> for_fortSimple26                
346 for_fortSimple26: j                       --> for_fortSimple25                
347 for_fortSimple25: j                       --> for_fortSimple24                
348 for_fortSimple24: j                       --> for_fortSimple23                
349 for_fortSimple23: j                       --> for_fortSimple22                
350 for_fortSimple22: j                       --> for_fortSimple21                
351 for_fortSimple21: j                       --> for_fortSimple19                
352 for_fortSimple19: emit c58                --> for_fortSimple18                
353 for_fortSimple18: li    $t0, 0            --> for_fortSimple17                
354 for_fortSimple17: emit c57                --> for_fortSimple16                
355 for_fortSimple16: emit c56                --> for_fortSimple15                
356 for_fortSimple15: move    $a3, $a0        --> for_fortSimple5                 
357 for_fortSimple5 : j                       --> for_fortSimple14                
358 for_fortSimple14: li    $t1, 0            --> for_fortSimple13                
359 for_fortSimple13: emit c55                --> for_fortSimple12                
360 for_fortSimple12: slt     $v0, $a3, $a1   --> for_fortSimple11                
361 for_fortSimple11: j                       --> for_fortSimple20                
362 for_fortSimple20: seq     $v0, $v0, $zero --> for_fortSimple10                
363 for_fortSimple10: beq     $v0, $t1        --> for_fortSimple9, for_fortSimple4
364 for_fortSimple4 : emit c52                --> for_fortSimple3                 
365 for_fortSimple3 : add     $v0, $t0, $a0   --> for_fortSimple2                 
366 for_fortSimple2 : emit c51                --> for_fortSimple1                 
367 for_fortSimple1 : j                       --> for_fortSimple0                 
368 for_fortSimple0 : j                       --> for_fortSimple53                
369 for_fortSimple53: j                       --> for_fortSimple52                
370 for_fortSimple52: j                       --> for_fortSimple51                
371 for_fortSimple51: j                       --> for_fortSimple50                
372 for_fortSimple50: j                       --> for_fortSimple49                
373 for_fortSimple49: j                       --> for_fortSimple48                
374 for_fortSimple48: j                       --> for_fortSimple47                
375 for_fortSimple47: j                       --> for_fortSimple46                
376 for_fortSimple46: j                       --> for_fortSimple45                
377 for_fortSimple45: j                       --> for_fortSimple44                
378 for_fortSimple44: j                       --> for_fortSimple43                
379 for_fortSimple43: delframe                --> for_fortSimple42                
380 for_fortSimple42: jr    $ra                                                   
381 for_fortSimple9 : emit c53                --> for_fortSimple8                 
382 for_fortSimple8 : add     $t0, $t0, $a3   --> for_fortSimple7                 
383 for_fortSimple7 : emit c54                --> for_fortSimple6                 
384 for_fortSimple6 : add     $a3, $a3, $a2   --> for_fortSimple5                 
385
386 procedure for_forfor(0)
387 var 0
388 entry for_forfor44
389 for_forfor44: newframe                --> for_forfor43             
390 for_forfor43: j                       --> for_forfor42             
391 for_forfor42: j                       --> for_forfor41             
392 for_forfor41: j                       --> for_forfor40             
393 for_forfor40: j                       --> for_forfor39             
394 for_forfor39: j                       --> for_forfor38             
395 for_forfor38: j                       --> for_forfor37             
396 for_forfor37: j                       --> for_forfor36             
397 for_forfor36: j                       --> for_forfor35             
398 for_forfor35: j                       --> for_forfor34             
399 for_forfor34: j                       --> for_forfor33             
400 for_forfor33: j                       --> for_forfor32             
401 for_forfor32: j                       --> for_forfor31             
402 for_forfor31: j                       --> for_forfor30             
403 for_forfor30: j                       --> for_forfor29             
404 for_forfor29: j                       --> for_forfor28             
405 for_forfor28: j                       --> for_forfor27             
406 for_forfor27: j                       --> for_forfor26             
407 for_forfor26: j                       --> for_forfor25             
408 for_forfor25: j                       --> for_forfor23             
409 for_forfor23: emit c94                --> for_forfor22             
410 for_forfor22: emit c93                --> for_forfor21             
411 for_forfor21: li    $a1, 0            --> for_forfor20             
412 for_forfor20: emit c92                --> for_forfor19             
413 for_forfor19: li    $v0, 0            --> for_forfor3              
414 for_forfor3 : j                       --> for_forfor18             
415 for_forfor18: li    $a2, 0            --> for_forfor17             
416 for_forfor17: emit c91                --> for_forfor16             
417 for_forfor16: li    $a0, 10           --> for_forfor15             
418 for_forfor15: slt     $a0, $a1, $a0   --> for_forfor14             
419 for_forfor14: j                       --> for_forfor24             
420 for_forfor24: seq     $a0, $a0, $zero --> for_forfor13             
421 for_forfor13: beq     $a0, $a2        --> for_forfor12, for_forfor2
422 for_forfor2 : emit c87                --> for_forfor1              
423 for_forfor1 : j                       --> for_forfor0              
424 for_forfor0 : j                       --> for_forfor56             
425 for_forfor56: j                       --> for_forfor55             
426 for_forfor55: j                       --> for_forfor54             
427 for_forfor54: j                       --> for_forfor53             
428 for_forfor53: j                       --> for_forfor52             
429 for_forfor52: j                       --> for_forfor51             
430 for_forfor51: j                       --> for_forfor50             
431 for_forfor50: j                       --> for_forfor49             
432 for_forfor49: j                       --> for_forfor48             
433 for_forfor48: j                       --> for_forfor47             
434 for_forfor47: j                       --> for_forfor46             
435 for_forfor46: delframe                --> for_forfor45             
436 for_forfor45: jr    $ra                                            
437 for_forfor12: emit c89                --> for_forfor11             
438 for_forfor11: li    $a0, 1            --> for_forfor10             
439 for_forfor10: add     $v0, $v0, $a0   --> for_forfor9              
440 for_forfor9 : emit c88                --> for_forfor8              
441 for_forfor8 : li    $a0, 1            --> for_forfor7              
442 for_forfor7 : add     $v0, $v0, $a0   --> for_forfor6              
443 for_forfor6 : emit c90                --> for_forfor5              
444 for_forfor5 : li    $a0, 1            --> for_forfor4              
445 for_forfor4 : add     $a1, $a1, $a0   --> for_forfor3              
446
447 procedure for_ex(3)
448 var 0
449 entry for_ex43
450 for_ex43: newframe                --> for_ex42        
451 for_ex42: j                       --> for_ex41        
452 for_ex41: j                       --> for_ex40        
453 for_ex40: j                       --> for_ex39        
454 for_ex39: j                       --> for_ex38        
455 for_ex38: j                       --> for_ex37        
456 for_ex37: j                       --> for_ex36        
457 for_ex36: j                       --> for_ex35        
458 for_ex35: j                       --> for_ex34        
459 for_ex34: j                       --> for_ex33        
460 for_ex33: j                       --> for_ex32        
461 for_ex32: j                       --> for_ex31        
462 for_ex31: j                       --> for_ex30        
463 for_ex30: j                       --> for_ex29        
464 for_ex29: j                       --> for_ex28        
465 for_ex28: j                       --> for_ex27        
466 for_ex27: j                       --> for_ex26        
467 for_ex26: j                       --> for_ex25        
468 for_ex25: j                       --> for_ex24        
469 for_ex24: j                       --> for_ex23        
470 for_ex23: j                       --> for_ex22        
471 for_ex22: j                       --> for_ex20        
472 for_ex20: emit c50                --> for_ex19        
473 for_ex19: li    $v0, 0            --> for_ex18        
474 for_ex18: emit c49                --> for_ex17        
475 for_ex17: emit c48                --> for_ex16        
476 for_ex16: li    $a3, 3            --> for_ex15        
477 for_ex15: add     $a3, $a0, $a3   --> for_ex3         
478 for_ex3 : j                       --> for_ex14        
479 for_ex14: li    $t0, 0            --> for_ex13        
480 for_ex13: emit c47                --> for_ex12        
481 for_ex12: li    $a0, 2            --> for_ex11        
482 for_ex11: mulo    $a0, $a1, $a0   --> for_ex10        
483 for_ex10: sle     $a0, $a3, $a0   --> for_ex9         
484 for_ex9 : j                       --> for_ex21        
485 for_ex21: seq     $a0, $a0, $zero --> for_ex8         
486 for_ex8 : beq     $a0, $t0        --> for_ex7, for_ex2
487 for_ex2 : emit c44                --> for_ex1         
488 for_ex1 : j                       --> for_ex0         
489 for_ex0 : j                       --> for_ex55        
490 for_ex55: j                       --> for_ex54        
491 for_ex54: j                       --> for_ex53        
492 for_ex53: j                       --> for_ex52        
493 for_ex52: j                       --> for_ex51        
494 for_ex51: j                       --> for_ex50        
495 for_ex50: j                       --> for_ex49        
496 for_ex49: j                       --> for_ex48        
497 for_ex48: j                       --> for_ex47        
498 for_ex47: j                       --> for_ex46        
499 for_ex46: j                       --> for_ex45        
500 for_ex45: delframe                --> for_ex44        
501 for_ex44: jr    $ra                                   
502 for_ex7 : emit c45                --> for_ex6         
503 for_ex6 : sub     $v0, $v0, $a3   --> for_ex5         
504 for_ex5 : emit c46                --> for_ex4         
505 for_ex4 : add     $a3, $a3, $a2   --> for_ex3         
506
507 procedure for_double(1)
508 var 0
509 entry for_double64
510 for_double64: newframe                --> for_double63              
511 for_double63: j                       --> for_double62              
512 for_double62: j                       --> for_double61              
513 for_double61: j                       --> for_double60              
514 for_double60: j                       --> for_double59              
515 for_double59: j                       --> for_double58              
516 for_double58: j                       --> for_double57              
517 for_double57: j                       --> for_double56              
518 for_double56: j                       --> for_double55              
519 for_double55: j                       --> for_double54              
520 for_double54: j                       --> for_double53              
521 for_double53: j                       --> for_double52              
522 for_double52: j                       --> for_double51              
523 for_double51: j                       --> for_double50              
524 for_double50: j                       --> for_double49              
525 for_double49: j                       --> for_double48              
526 for_double48: j                       --> for_double47              
527 for_double47: j                       --> for_double46              
528 for_double46: j                       --> for_double45              
529 for_double45: j                       --> for_double44              
530 for_double44: j                       --> for_double43              
531 for_double43: j                       --> for_double42              
532 for_double42: j                       --> for_double41              
533 for_double41: j                       --> for_double40              
534 for_double40: j                       --> for_double39              
535 for_double39: j                       --> for_double36              
536 for_double36: emit c43                --> for_double35              
537 for_double35: li    $a1, 0            --> for_double34              
538 for_double34: emit c42                --> for_double33              
539 for_double33: li    $a2, 0            --> for_double32              
540 for_double32: emit c41                --> for_double31              
541 for_double31: emit c40                --> for_double30              
542 for_double30: li    $a3, 0            --> for_double19              
543 for_double19: j                       --> for_double29              
544 for_double29: li    $t0, 0            --> for_double28              
545 for_double28: emit c39                --> for_double27              
546 for_double27: li    $v0, 12           --> for_double26              
547 for_double26: slt     $v0, $a3, $v0   --> for_double25              
548 for_double25: j                       --> for_double38              
549 for_double38: seq     $v0, $v0, $zero --> for_double24              
550 for_double24: beq     $v0, $t0        --> for_double23, for_double18
551 for_double18: emit c36                --> for_double17              
552 for_double17: emit c35                --> for_double16              
553 for_double16: li    $a3, 0            --> for_double5               
554 for_double5 : j                       --> for_double15              
555 for_double15: li    $t0, 0            --> for_double14              
556 for_double14: emit c34                --> for_double13              
557 for_double13: li    $v0, 5            --> for_double12              
558 for_double12: slt     $v0, $a3, $v0   --> for_double11              
559 for_double11: j                       --> for_double37              
560 for_double37: seq     $v0, $v0, $zero --> for_double10              
561 for_double10: beq     $v0, $t0        --> for_double9, for_double4  
562 for_double4 : emit c31                --> for_double3               
563 for_double3 : mulo    $v0, $a1, $a2   --> for_double2               
564 for_double2 : emit c30                --> for_double1               
565 for_double1 : j                       --> for_double0               
566 for_double0 : j                       --> for_double76              
567 for_double76: j                       --> for_double75              
568 for_double75: j                       --> for_double74              
569 for_double74: j                       --> for_double73              
570 for_double73: j                       --> for_double72              
571 for_double72: j                       --> for_double71              
572 for_double71: j                       --> for_double70              
573 for_double70: j                       --> for_double69              
574 for_double69: j                       --> for_double68              
575 for_double68: j                       --> for_double67              
576 for_double67: j                       --> for_double66              
577 for_double66: delframe                --> for_double65              
578 for_double65: jr    $ra                                             
579 for_double9 : emit c32                --> for_double8               
580 for_double8 : add     $a2, $a2, $a3   --> for_double7               
581 for_double7 : emit c33                --> for_double6               
582 for_double6 : add     $a3, $a3, $a0   --> for_double5               
583 for_double23: emit c37                --> for_double22              
584 for_double22: add     $a1, $a1, $a3   --> for_double21              
585 for_double21: emit c38                --> for_double20              
586 for_double20: add     $a3, $a3, $a0   --> for_double19              
587
588 procedure for_2(2)
589 var 0
590 entry for_253
591 for_253: newframe                --> for_252       
592 for_252: j                       --> for_251       
593 for_251: j                       --> for_250       
594 for_250: j                       --> for_249       
595 for_249: j                       --> for_248       
596 for_248: j                       --> for_247       
597 for_247: j                       --> for_246       
598 for_246: j                       --> for_245       
599 for_245: j                       --> for_244       
600 for_244: j                       --> for_243       
601 for_243: j                       --> for_242       
602 for_242: j                       --> for_241       
603 for_241: j                       --> for_240       
604 for_240: j                       --> for_239       
605 for_239: j                       --> for_238       
606 for_238: j                       --> for_237       
607 for_237: j                       --> for_236       
608 for_236: j                       --> for_235       
609 for_235: j                       --> for_234       
610 for_234: j                       --> for_233       
611 for_233: j                       --> for_232       
612 for_232: j                       --> for_231       
613 for_231: j                       --> for_230       
614 for_230: j                       --> for_229       
615 for_229: j                       --> for_227       
616 for_227: emit c9                 --> for_226       
617 for_226: li    $a2, 0            --> for_225       
618 for_225: emit c8                 --> for_224       
619 for_224: li    $v0, 2            --> for_223       
620 for_223: mulo    $v0, $a0, $v0   --> for_222       
621 for_222: emit c7                 --> for_221       
622 for_221: li    $a3, 4            --> for_220       
623 for_220: mulo    $a0, $a0, $a3   --> for_219       
624 for_219: emit c6                 --> for_218       
625 for_218: li    $a3, 1            --> for_217       
626 for_217: add     $a1, $a1, $a3   --> for_216       
627 for_216: emit c5                 --> for_215       
628 for_215: emit c4                 --> for_214       
629 for_214: j                       --> for_24        
630 for_24 : j                       --> for_213       
631 for_213: li    $t0, 0            --> for_212       
632 for_212: emit c3                 --> for_211       
633 for_211: slt     $a3, $v0, $a0   --> for_210       
634 for_210: j                       --> for_228       
635 for_228: seq     $a3, $a3, $zero --> for_29        
636 for_29 : beq     $a3, $t0        --> for_28, for_23
637 for_23 : emit c0                 --> for_22        
638 for_22 : li    $v0, 1            --> for_21        
639 for_21 : add     $v0, $a2, $v0   --> for_20        
640 for_20 : j                       --> for_265       
641 for_265: j                       --> for_264       
642 for_264: j                       --> for_263       
643 for_263: j                       --> for_262       
644 for_262: j                       --> for_261       
645 for_261: j                       --> for_260       
646 for_260: j                       --> for_259       
647 for_259: j                       --> for_258       
648 for_258: j                       --> for_257       
649 for_257: j                       --> for_256       
650 for_256: j                       --> for_255       
651 for_255: delframe                --> for_254       
652 for_254: jr    $ra                                 
653 for_28 : emit c1                 --> for_27        
654 for_27 : add     $a2, $a2, $v0   --> for_26        
655 for_26 : emit c2                 --> for_25        
656 for_25 : add     $v0, $v0, $a1   --> for_24        
657
658 procedure _main(0)
659 var 4
660 entry main85
661 main85 : newframe                      --> main84 
662 main84 : lw    $ra, 0($sp)             --> main83 
663 main83 : j                             --> main82 
664 main82 : j                             --> main81 
665 main81 : j                             --> main80 
666 main80 : j                             --> main79 
667 main79 : j                             --> main78 
668 main78 : j                             --> main77 
669 main77 : j                             --> main76 
670 main76 : j                             --> main75 
671 main75 : j                             --> main74 
672 main74 : j                             --> main73 
673 main73 : j                             --> main72 
674 main72 : j                             --> main71 
675 main71 : j                             --> main70 
676 main70 : j                             --> main69 
677 main69 : j                             --> main68 
678 main68 : j                             --> main67 
679 main67 : j                             --> main66 
680 main66 : j                             --> main65 
681 main65 : j                             --> main64 
682 main64 : j                             --> main63 
683 main63 : j                             --> main62 
684 main62 : j                             --> main61 
685 main61 : j                             --> main60 
686 main60 : j                             --> main59 
687 main59 : j                             --> main58 
688 main58 : j                             --> main57 
689 main57 : j                             --> main56 
690 main56 : j                             --> main55 
691 main55 : j                             --> main54 
692 main54 : j                             --> main53 
693 main53 : j                             --> main52 
694 main52 : j                             --> main51 
695 main51 : j                             --> main50 
696 main50 : j                             --> main49 
697 main49 : j                             --> main48 
698 main48 : j                             --> main38 
699 main38 : emit c104                     --> main37 
700 main37 : li    $a0, 3                  --> main36 
701 main36 : li    $a1, 1                  --> main35 
702 main35 : la    $v0, for_2              --> main45 
703 main45 : j                             --> main125
704 main125: j                             --> main124
705 main124: j                             --> main123
706 main123: call  $v0                     --> main122
707 main122: j                             --> main34 
708 main34 : emit c103                     --> main33 
709 main33 : li    $a0, 1                  --> main32 
710 main32 : li    $a1, 2                  --> main31 
711 main31 : li    $a2, 3                  --> main30 
712 main30 : la    $v0, for_loopParalAsync --> main44 
713 main44 : j                             --> main121
714 main121: j                             --> main120
715 main120: j                             --> main119
716 main119: j                             --> main118
717 main118: call  $v0                     --> main117
718 main117: j                             --> main29 
719 main29 : emit c102                     --> main28 
720 main28 : li    $a0, 1                  --> main27 
721 main27 : la    $v0, for_double         --> main42 
722 main42 : j                             --> main114
723 main114: j                             --> main113
724 main113: call  $v0                     --> main112
725 main112: j                             --> main26 
726 main26 : emit c101                     --> main25 
727 main25 : li    $a0, 2                  --> main24 
728 main24 : li    $a1, 10                 --> main23 
729 main23 : li    $a2, 1                  --> main22 
730 main22 : la    $v0, for_ex             --> main41 
731 main41 : j                             --> main111
732 main111: j                             --> main110
733 main110: j                             --> main109
734 main109: j                             --> main108
735 main108: call  $v0                     --> main107
736 main107: j                             --> main21 
737 main21 : emit c100                     --> main20 
738 main20 : li    $a0, 2                  --> main19 
739 main19 : li    $a1, 10                 --> main18 
740 main18 : li    $a2, 1                  --> main17 
741 main17 : la    $v0, for_fortSimple     --> main40 
742 main40 : j                             --> main106
743 main106: j                             --> main105
744 main105: j                             --> main104
745 main104: j                             --> main103
746 main103: call  $v0                     --> main102
747 main102: j                             --> main16 
748 main16 : emit c99                      --> main15 
749 main15 : li    $a0, 2                  --> main14 
750 main14 : li    $a1, 3                  --> main13 
751 main13 : la    $v0, for_imbriq         --> main39 
752 main39 : j                             --> main101
753 main101: j                             --> main100
754 main100: j                             --> main99 
755 main99 : call  $v0                     --> main98 
756 main98 : j                             --> main12 
757 main12 : emit c98                      --> main11 
758 main11 : li    $a0, 2                  --> main10 
759 main10 : li    $a1, 3                  --> main9  
760 main9  : la    $v0, for_incr           --> main47 
761 main47 : j                             --> main133
762 main133: j                             --> main132
763 main132: j                             --> main131
764 main131: call  $v0                     --> main130
765 main130: j                             --> main8  
766 main8  : emit c97                      --> main7  
767 main7  : li    $a0, 2                  --> main6  
768 main6  : li    $a1, 3                  --> main5  
769 main5  : la    $v0, for_incrParam      --> main46 
770 main46 : j                             --> main129
771 main129: j                             --> main128
772 main128: j                             --> main127
773 main127: call  $v0                     --> main126
774 main126: j                             --> main4  
775 main4  : emit c96                      --> main3  
776 main3  : la    $v0, for_forfor         --> main43 
777 main43 : j                             --> main116
778 main116: call  $v0                     --> main115
779 main115: j                             --> main2  
780 main2  : emit c95                      --> main1  
781 main1  : j                             --> main0  
782 main0  : j                             --> main97 
783 main97 : j                             --> main96 
784 main96 : lw    $ra, 0($sp)             --> main95 
785 main95 : j                             --> main94 
786 main94 : j                             --> main93 
787 main93 : j                             --> main92 
788 main92 : j                             --> main91 
789 main91 : j                             --> main90 
790 main90 : j                             --> main89 
791 main89 : j                             --> main88 
792 main88 : j                             --> main87 
793 main87 : delframe                      --> main86 
794 main86 : jr    $ra                                
795
796 __builtin_varargs_start: int -> void
797
798
799 __builtin_va_start: int -> int -> void
800
801
802 __builtin_va_end: int -> void
803
804
805 __builtin_va_copy: int -> int -> void
806
807
808 __builtin_va_arg: int -> int -> void
809
810
811 __builtin_types_compatible_p: int -> int -> int
812
813
814 __builtin_tanl: float -> float
815
816
817 __builtin_tanhl: float -> float
818
819
820 __builtin_tanhf: float -> float
821
822
823 __builtin_tanh: float -> float
824
825
826 __builtin_tanf: float -> float
827
828
829 __builtin_tan: float -> float
830
831
832 __builtin_strspn: int -> int -> int
833
834
835 __builtin_strpbrk: int -> int -> int
836
837
838 __builtin_strncpy: int -> int -> int -> int
839
840
841 __builtin_strncmp: int -> int -> int -> int
842
843
844 __builtin_strncat: int -> int -> int -> int
845
846
847 __builtin_strcspn: int -> int -> int
848
849
850 __builtin_strcpy: int -> int -> int
851
852
853 __builtin_strcmp: int -> int -> int
854
855
856 __builtin_strchr: int -> int -> int
857
858
859 __builtin_stpcpy: int -> int -> int
860
861
862 __builtin_stdarg_start: int -> void
863
864
865 __builtin_sqrtl: float -> float
866
867
868 __builtin_sqrtf: float -> float
869
870
871 __builtin_sqrt: float -> float
872
873
874 __builtin_sinl: float -> float
875
876
877 __builtin_sinhl: float -> float
878
879
880 __builtin_sinhf: float -> float
881
882
883 __builtin_sinh: float -> float
884
885
886 __builtin_sinf: float -> float
887
888
889 __builtin_sin: float -> float
890
891
892 __builtin_return_address: int -> int
893
894
895 __builtin_return: int -> void
896
897
898 __builtin_powil: float -> int -> float
899
900
901 __builtin_powif: float -> int -> float
902
903
904 __builtin_powi: float -> int -> float
905
906
907 __builtin_popcountll: int -> int
908
909
910 __builtin_popcountl: int -> int
911
912
913 __builtin_popcount: int -> int
914
915
916 __builtin_parityll: int -> int
917
918
919 __builtin_parityl: int -> int
920
921
922 __builtin_parity: int -> int
923
924
925 __builtin_object_size: int -> int -> int
926
927
928 __builtin_next_arg: int
929
930
931 __builtin_nansl: int -> float
932
933
934 __builtin_nansf: int -> float
935
936
937 __builtin_nans: int -> float
938
939
940 __builtin_nanl: int -> float
941
942
943 __builtin_nanf: int -> float
944
945
946 __builtin_nan: int -> float
947
948
949 __builtin_modfl: float -> int -> float
950
951
952 __builtin_modff: float -> int -> float
953
954
955 __builtin_mempcpy: int -> int -> int -> int
956
957
958 __builtin_memcpy: int -> int -> int -> int
959
960
961 __builtin_logl: float -> float
962
963
964 __builtin_logf: float -> float
965
966
967 __builtin_log10l: float -> float
968
969
970 __builtin_log10f: float -> float
971
972
973 __builtin_log10: float -> float
974
975
976 __builtin_log: float -> float
977
978
979 __builtin_ldexpl: float -> int -> float
980
981
982 __builtin_ldexpf: float -> int -> float
983
984
985 __builtin_ldexp: float -> int -> float
986
987
988 __builtin_infl: float
989
990
991 __builtin_inff: float
992
993
994 __builtin_inf: float
995
996
997 __builtin_huge_vall: float
998
999
1000 __builtin_huge_valf: float
1001
1002
1003 __builtin_huge_val: float
1004
1005
1006 __builtin_frexpl: float -> int -> float
1007
1008
1009 __builtin_frexpf: float -> int -> float
1010
1011
1012 __builtin_frexp: float -> int -> float
1013
1014
1015 __builtin_frame_address: int -> int
1016
1017
1018 __builtin_fmodl: float -> float
1019
1020
1021 __builtin_fmodf: float -> float
1022
1023
1024 __builtin_fmod: float -> float
1025
1026
1027 __builtin_floorl: float -> float
1028
1029
1030 __builtin_floorf: float -> float
1031
1032
1033 __builtin_floor: float -> float
1034
1035
1036 __builtin_ffsll: int -> int
1037
1038
1039 __builtin_ffsl: int -> int
1040
1041
1042 __builtin_ffs: int -> int
1043
1044
1045 __builtin_fabsl: float -> float
1046
1047
1048 __builtin_fabsf: float -> float
1049
1050
1051 __builtin_fabs: float -> float
1052
1053
1054 __builtin_expl: float -> float
1055
1056
1057 __builtin_expf: float -> float
1058
1059
1060 __builtin_expect: int -> int -> int
1061
1062
1063 __builtin_exp: float -> float
1064
1065
1066 __builtin_ctzll: int -> int
1067
1068
1069 __builtin_ctzl: int -> int
1070
1071
1072 __builtin_ctz: int -> int
1073
1074
1075 __builtin_cosl: float -> float
1076
1077
1078 __builtin_coshl: float -> float
1079
1080
1081 __builtin_coshf: float -> float
1082
1083
1084 __builtin_cosh: float -> float
1085
1086
1087 __builtin_cosf: float -> float
1088
1089
1090 __builtin_cos: float -> float
1091
1092
1093 __builtin_constant_p: int -> int
1094
1095
1096 __builtin_clzll: int -> int
1097
1098
1099 __builtin_clzl: int -> int
1100
1101
1102 __builtin_clz: int -> int
1103
1104
1105 __builtin_ceill: float -> float
1106
1107
1108 __builtin_ceilf: float -> float
1109
1110
1111 __builtin_ceil: float -> float
1112
1113
1114 __builtin_atanl: float -> float
1115
1116
1117 __builtin_atanf: float -> float
1118
1119
1120 __builtin_atan2l: float -> float -> float
1121
1122
1123 __builtin_atan2f: float -> float -> float
1124
1125
1126 __builtin_atan2: float -> float -> float
1127
1128
1129 __builtin_atan: float -> float
1130
1131
1132 __builtin_asinl: float -> float
1133
1134
1135 __builtin_asinf: float -> float
1136
1137
1138 __builtin_asin: float -> float
1139
1140
1141 __builtin_alloca: int -> int
1142
1143
1144 __builtin_acosl: float -> float
1145
1146
1147 __builtin_acosf: float -> float
1148
1149
1150 __builtin_acos: float -> float
1151
1152
1153 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
1154
1155
1156 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
1157
1158
1159 __builtin___vprintf_chk: int -> int -> int -> int
1160
1161
1162 __builtin___vfprintf_chk: int -> int -> int -> int -> int
1163
1164
1165 __builtin___strncpy_chk: int -> int -> int -> int -> int
1166
1167
1168 __builtin___strncat_chk: int -> int -> int -> int -> int
1169
1170
1171 __builtin___strcpy_chk: int -> int -> int -> int
1172
1173
1174 __builtin___strcat_chk: int -> int -> int -> int
1175
1176
1177 __builtin___stpcpy_chk: int -> int -> int -> int
1178
1179
1180 __builtin___memset_chk: int -> int -> int -> int -> int
1181
1182
1183 __builtin___mempcpy_chk: int -> int -> int -> int -> int
1184
1185
1186 __builtin___memmove_chk: int -> int -> int -> int -> int
1187
1188
1189 __builtin___memcpy_chk: int -> int -> int -> int -> int
1190
1191