]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testCOMP_tri.ERTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testCOMP_tri.ERTL.expected
1 program
2
3 globals 0
4
5 procedure tri(2)
6 stacksize 0
7 var %0, %1, %2, %3, %4, %5, %6, 
8     %7, %8, %9, %10, %11, %12, %13, 
9     %14, %15, %16, %17, %18, %19, %20, 
10     %21, %22, %23, %24, %25, %26, %27, 
11     %28, %29, %30, %31, %32, %33, %34, 
12     %35, %36, %37, %38, %39, %40, %41, 
13     %42, %43, %44, %45, %46, %47, %48, 
14     %49, %50, %51, %52, %53
15 entry tri121
16 tri121: newframe              --> tri120     
17 tri120: move  %53, $ra        --> tri119     
18 tri119: move  %52, $s7        --> tri118     
19 tri118: move  %51, $s6        --> tri117     
20 tri117: move  %50, $s5        --> tri116     
21 tri116: move  %49, $s4        --> tri115     
22 tri115: move  %48, $s3        --> tri114     
23 tri114: move  %47, $s2        --> tri113     
24 tri113: move  %46, $s1        --> tri112     
25 tri112: move  %45, $s0        --> tri111     
26 tri111: move  %0, $a0         --> tri110     
27 tri110: move  %1, $a1         --> tri109     
28 tri109: li    %2, 0           --> tri108     
29 tri108: li    %3, 0           --> tri107     
30 tri107: li    %4, 0           --> tri106     
31 tri106: li    %5, 0           --> tri105     
32 tri105: li    %6, 0           --> tri104     
33 tri104: li    %7, 0           --> tri103     
34 tri103: li    %8, 0           --> tri102     
35 tri102: li    %9, 0           --> tri101     
36 tri101: li    %10, 0          --> tri100     
37 tri100: li    %11, 0          --> tri99      
38 tri99 : li    %12, 0          --> tri98      
39 tri98 : li    %13, 0          --> tri97      
40 tri97 : li    %14, 0          --> tri96      
41 tri96 : li    %15, 0          --> tri95      
42 tri95 : li    %16, 0          --> tri94      
43 tri94 : li    %17, 0          --> tri93      
44 tri93 : li    %18, 0          --> tri92      
45 tri92 : li    %19, 0          --> tri91      
46 tri91 : li    %20, 0          --> tri90      
47 tri90 : li    %21, 0          --> tri89      
48 tri89 : li    %22, 0          --> tri88      
49 tri88 : li    %23, 0          --> tri87      
50 tri87 : li    %24, 0          --> tri86      
51 tri86 : li    %25, 0          --> tri85      
52 tri85 : li    %26, 0          --> tri84      
53 tri84 : li    %27, 0          --> tri83      
54 tri83 : li    %28, 0          --> tri82      
55 tri82 : li    %29, 0          --> tri81      
56 tri81 : li    %30, 0          --> tri80      
57 tri80 : li    %31, 0          --> tri79      
58 tri79 : li    %32, 0          --> tri78      
59 tri78 : li    %33, 0          --> tri77      
60 tri77 : li    %34, 0          --> tri76      
61 tri76 : li    %35, 0          --> tri75      
62 tri75 : li    %36, 0          --> tri74      
63 tri74 : li    %37, 0          --> tri73      
64 tri73 : li    %38, 0          --> tri72      
65 tri72 : li    %39, 0          --> tri71      
66 tri71 : li    %40, 0          --> tri70      
67 tri70 : li    %41, 0          --> tri69      
68 tri69 : li    %42, 0          --> tri68      
69 tri68 : li    %43, 0          --> tri67      
70 tri67 : li    %44, 0          --> tri58      
71 tri58 : emit c12              --> tri57      
72 tri57 : li    %2, 0           --> tri56      
73 tri56 : emit c11              --> tri55      
74 tri55 : emit c10              --> tri54      
75 tri54 : li    %4, 0           --> tri1       
76 tri1  : j                     --> tri53      
77 tri53 : li    %35, 0          --> tri52      
78 tri52 : emit c9               --> tri51      
79 tri51 : slt     %36, %4, %1   --> tri50      
80 tri50 : li    %43, 0          --> tri65      
81 tri65 : seq     %34, %36, %43 --> tri49      
82 tri49 : beq     %34, %35      --> tri48, tri0
83 tri0  : j                     --> tri132     
84 tri132: move  $ra, %53        --> tri131     
85 tri131: move  $s7, %52        --> tri130     
86 tri130: move  $s6, %51        --> tri129     
87 tri129: move  $s5, %50        --> tri128     
88 tri128: move  $s4, %49        --> tri127     
89 tri127: move  $s3, %48        --> tri126     
90 tri126: move  $s2, %47        --> tri125     
91 tri125: move  $s1, %46        --> tri124     
92 tri124: move  $s0, %45        --> tri123     
93 tri123: delframe              --> tri122     
94 tri122: jr    $ra                            
95 tri48 : emit c7               --> tri47      
96 tri47 : emit c6               --> tri46      
97 tri46 : li    %3, 1           --> tri5       
98 tri5  : j                     --> tri45      
99 tri45 : li    %31, 0          --> tri44      
100 tri44 : emit c5               --> tri43      
101 tri43 : sub     %33, %1, %4   --> tri42      
102 tri42 : slt     %32, %3, %33  --> tri41      
103 tri41 : li    %42, 0          --> tri64      
104 tri64 : seq     %30, %32, %42 --> tri40      
105 tri40 : beq     %30, %31      --> tri39, tri4
106 tri4  : emit c8               --> tri3       
107 tri3  : li    %5, 1           --> tri2       
108 tri2  : add     %4, %4, %5    --> tri1       
109 tri39 : emit c3               --> tri38      
110 tri38 : li    %21, 0          --> tri37      
111 tri37 : li    %29, 4          --> tri36      
112 tri36 : mulo    %28, %3, %29  --> tri35      
113 tri35 : add     %41, %0, %28  --> tri63      
114 tri63 : lw    %22, 0(%41)     --> tri34      
115 tri34 : li    %27, 1          --> tri33      
116 tri33 : sub     %25, %3, %27  --> tri32      
117 tri32 : li    %26, 4          --> tri31      
118 tri31 : mulo    %24, %25, %26 --> tri30      
119 tri30 : add     %40, %0, %24  --> tri62      
120 tri62 : lw    %23, 0(%40)     --> tri29      
121 tri29 : slt     %20, %22, %23 --> tri28      
122 tri28 : beq     %20, %21      --> tri8, tri27
123 tri27 : emit c2               --> tri26      
124 tri26 : li    %19, 1          --> tri25      
125 tri25 : sub     %17, %3, %19  --> tri24      
126 tri24 : li    %18, 4          --> tri23      
127 tri23 : mulo    %16, %17, %18 --> tri22      
128 tri22 : add     %39, %0, %16  --> tri61      
129 tri61 : lw    %2, 0(%39)      --> tri21      
130 tri21 : emit c1               --> tri20      
131 tri20 : li    %15, 4          --> tri19      
132 tri19 : mulo    %14, %3, %15  --> tri18      
133 tri18 : add     %38, %0, %14  --> tri60      
134 tri60 : lw    %9, 0(%38)      --> tri17      
135 tri17 : li    %13, 1          --> tri16      
136 tri16 : sub     %11, %3, %13  --> tri15      
137 tri15 : li    %12, 4          --> tri14      
138 tri14 : mulo    %10, %11, %12 --> tri13      
139 tri13 : add     %37, %0, %10  --> tri59      
140 tri59 : sw    %9, 0(%37)      --> tri12      
141 tri12 : emit c0               --> tri11      
142 tri11 : li    %8, 4           --> tri10      
143 tri10 : mulo    %7, %3, %8    --> tri9       
144 tri9  : add     %44, %0, %7   --> tri66      
145 tri66 : sw    %2, 0(%44)      --> tri8       
146 tri8  : emit c4               --> tri7       
147 tri7  : li    %6, 1           --> tri6       
148 tri6  : add     %3, %3, %6    --> tri5       
149
150 procedure _main(0)
151 stacksize 40
152 var %0, %1, %2, %3, %4, %5, %6, 
153     %7, %8, %9, %10, %11, %12, %13, 
154     %14, %15, %16, %17, %18, %19, %20, 
155     %21, %22, %23, %24, %25, %26, %27, 
156     %28, %29, %30, %31, %32, %33, %34, 
157     %35, %36, %37, %38, %39, %40, %41, 
158     %42, %43, %44, %45, %46, %47, %48, 
159     %49, %50, %51, %52, %53, %54, %55, 
160     %56, %57, %58, %59, %60, %61, %62, 
161     %63, %64, %65, %66, %67, %68, %69, 
162     %70, %71, %72, %73, %74, %75, %76, 
163     %77, %78
164 entry main171
165 main171: newframe              --> main170
166 main170: move  %78, $ra        --> main169
167 main169: move  %77, $s7        --> main168
168 main168: move  %76, $s6        --> main167
169 main167: move  %75, $s5        --> main166
170 main166: move  %74, $s4        --> main165
171 main165: move  %73, $s3        --> main164
172 main164: move  %72, $s2        --> main163
173 main163: move  %71, $s1        --> main162
174 main162: move  %70, $s0        --> main161
175 main161: li    %1, 0           --> main160
176 main160: li    %2, 0           --> main159
177 main159: li    %3, 0           --> main158
178 main158: li    %4, 0           --> main157
179 main157: li    %5, 0           --> main156
180 main156: li    %6, 0           --> main155
181 main155: li    %7, 0           --> main154
182 main154: li    %8, 0           --> main153
183 main153: li    %9, 0           --> main152
184 main152: li    %10, 0          --> main151
185 main151: li    %11, 0          --> main150
186 main150: li    %12, 0          --> main149
187 main149: li    %13, 0          --> main148
188 main148: li    %14, 0          --> main147
189 main147: li    %15, 0          --> main146
190 main146: li    %16, 0          --> main145
191 main145: li    %17, 0          --> main144
192 main144: li    %18, 0          --> main143
193 main143: li    %19, 0          --> main142
194 main142: li    %20, 0          --> main141
195 main141: li    %21, 0          --> main140
196 main140: li    %22, 0          --> main139
197 main139: li    %23, 0          --> main138
198 main138: li    %24, 0          --> main137
199 main137: li    %25, 0          --> main136
200 main136: li    %26, 0          --> main135
201 main135: li    %27, 0          --> main134
202 main134: li    %28, 0          --> main133
203 main133: li    %29, 0          --> main132
204 main132: li    %30, 0          --> main131
205 main131: li    %31, 0          --> main130
206 main130: li    %32, 0          --> main129
207 main129: li    %33, 0          --> main128
208 main128: li    %34, 0          --> main127
209 main127: li    %35, 0          --> main126
210 main126: li    %36, 0          --> main125
211 main125: li    %37, 0          --> main124
212 main124: li    %38, 0          --> main123
213 main123: li    %39, 0          --> main122
214 main122: li    %40, 0          --> main121
215 main121: li    %41, 0          --> main120
216 main120: li    %42, 0          --> main119
217 main119: li    %43, 0          --> main118
218 main118: li    %44, 0          --> main117
219 main117: li    %45, 0          --> main116
220 main116: li    %46, 0          --> main115
221 main115: li    %47, 0          --> main114
222 main114: li    %48, 0          --> main113
223 main113: li    %49, 0          --> main112
224 main112: li    %50, 0          --> main111
225 main111: li    %51, 0          --> main110
226 main110: li    %52, 0          --> main109
227 main109: li    %53, 0          --> main108
228 main108: li    %54, 0          --> main107
229 main107: li    %55, 0          --> main106
230 main106: li    %56, 0          --> main105
231 main105: li    %57, 0          --> main104
232 main104: li    %58, 0          --> main103
233 main103: li    %59, 0          --> main102
234 main102: li    %60, 0          --> main101
235 main101: li    %61, 0          --> main100
236 main100: li    %62, 0          --> main99 
237 main99 : li    %63, 0          --> main98 
238 main98 : li    %64, 0          --> main97 
239 main97 : li    %65, 0          --> main96 
240 main96 : li    %66, 0          --> main95 
241 main95 : li    %67, 0          --> main94 
242 main94 : li    %68, 0          --> main93 
243 main93 : li    %69, 0          --> main80 
244 main80 : emit c24              --> main79 
245 main79 : li    %53, 10         --> main78 
246 main78 : move  %54, $sp        --> main194
247 main194: move    %54, %54      --> main77 
248 main77 : li    %56, 0          --> main76 
249 main76 : li    %57, 4          --> main75 
250 main75 : mulo    %55, %56, %57 --> main74 
251 main74 : add     %69, %54, %55 --> main92 
252 main92 : sw    %53, 0(%69)     --> main73 
253 main73 : emit c23              --> main72 
254 main72 : li    %48, 9          --> main71 
255 main71 : move  %49, $sp        --> main193
256 main193: move    %49, %49      --> main70 
257 main70 : li    %51, 1          --> main69 
258 main69 : li    %52, 4          --> main68 
259 main68 : mulo    %50, %51, %52 --> main67 
260 main67 : add     %67, %49, %50 --> main90 
261 main90 : sw    %48, 0(%67)     --> main66 
262 main66 : emit c22              --> main65 
263 main65 : li    %43, 8          --> main64 
264 main64 : move  %44, $sp        --> main192
265 main192: move    %44, %44      --> main63 
266 main63 : li    %46, 2          --> main62 
267 main62 : li    %47, 4          --> main61 
268 main61 : mulo    %45, %46, %47 --> main60 
269 main60 : add     %66, %44, %45 --> main89 
270 main89 : sw    %43, 0(%66)     --> main59 
271 main59 : emit c21              --> main58 
272 main58 : li    %38, 7          --> main57 
273 main57 : move  %39, $sp        --> main191
274 main191: move    %39, %39      --> main56 
275 main56 : li    %41, 3          --> main55 
276 main55 : li    %42, 4          --> main54 
277 main54 : mulo    %40, %41, %42 --> main53 
278 main53 : add     %65, %39, %40 --> main88 
279 main88 : sw    %38, 0(%65)     --> main52 
280 main52 : emit c20              --> main51 
281 main51 : li    %33, 6          --> main50 
282 main50 : move  %34, $sp        --> main190
283 main190: move    %34, %34      --> main49 
284 main49 : li    %36, 4          --> main48 
285 main48 : li    %37, 4          --> main47 
286 main47 : mulo    %35, %36, %37 --> main46 
287 main46 : add     %64, %34, %35 --> main87 
288 main87 : sw    %33, 0(%64)     --> main45 
289 main45 : emit c19              --> main44 
290 main44 : li    %28, 5          --> main43 
291 main43 : move  %29, $sp        --> main188
292 main188: move    %29, %29      --> main42 
293 main42 : li    %31, 5          --> main41 
294 main41 : li    %32, 4          --> main40 
295 main40 : mulo    %30, %31, %32 --> main39 
296 main39 : add     %63, %29, %30 --> main86 
297 main86 : sw    %28, 0(%63)     --> main38 
298 main38 : emit c18              --> main37 
299 main37 : li    %23, 4          --> main36 
300 main36 : move  %24, $sp        --> main187
301 main187: move    %24, %24      --> main35 
302 main35 : li    %26, 6          --> main34 
303 main34 : li    %27, 4          --> main33 
304 main33 : mulo    %25, %26, %27 --> main32 
305 main32 : add     %62, %24, %25 --> main85 
306 main85 : sw    %23, 0(%62)     --> main31 
307 main31 : emit c17              --> main30 
308 main30 : li    %18, 3          --> main29 
309 main29 : move  %19, $sp        --> main186
310 main186: move    %19, %19      --> main28 
311 main28 : li    %21, 7          --> main27 
312 main27 : li    %22, 4          --> main26 
313 main26 : mulo    %20, %21, %22 --> main25 
314 main25 : add     %61, %19, %20 --> main84 
315 main84 : sw    %18, 0(%61)     --> main24 
316 main24 : emit c16              --> main23 
317 main23 : li    %13, 2          --> main22 
318 main22 : move  %14, $sp        --> main185
319 main185: move    %14, %14      --> main21 
320 main21 : li    %16, 8          --> main20 
321 main20 : li    %17, 4          --> main19 
322 main19 : mulo    %15, %16, %17 --> main18 
323 main18 : add     %60, %14, %15 --> main83 
324 main83 : sw    %13, 0(%60)     --> main17 
325 main17 : emit c15              --> main16 
326 main16 : li    %8, 1           --> main15 
327 main15 : move  %9, $sp         --> main184
328 main184: move    %9, %9        --> main14 
329 main14 : li    %11, 9          --> main13 
330 main13 : li    %12, 4          --> main12 
331 main12 : mulo    %10, %11, %12 --> main11 
332 main11 : add     %59, %9, %10  --> main82 
333 main82 : sw    %8, 0(%59)      --> main10 
334 main10 : emit c14              --> main9  
335 main9  : move  %5, $sp         --> main195
336 main195: move    %5, %5        --> main8  
337 main8  : li    %6, 10          --> main7  
338 main7  : la    %68, tri        --> main91 
339 main91 : j                     --> main199
340 main199: move  $a0, %5         --> main198
341 main198: move  $a1, %6         --> main197
342 main197: call  %68(2)          --> main196
343 main196: move  %7, $v0         --> main6  
344 main6  : emit c13              --> main5  
345 main5  : move  %1, $sp         --> main189
346 main189: move    %1, %1        --> main4  
347 main4  : li    %3, 0           --> main3  
348 main3  : li    %4, 4           --> main2  
349 main2  : mulo    %2, %3, %4    --> main1  
350 main1  : add     %58, %1, %2   --> main81 
351 main81 : lw    %0, 0(%58)      --> main0  
352 main0  : j                     --> main183
353 main183: move  $v0, %0         --> main182
354 main182: move  $ra, %78        --> main181
355 main181: move  $s7, %77        --> main180
356 main180: move  $s6, %76        --> main179
357 main179: move  $s5, %75        --> main178
358 main178: move  $s4, %74        --> main177
359 main177: move  $s3, %73        --> main176
360 main176: move  $s2, %72        --> main175
361 main175: move  $s1, %71        --> main174
362 main174: move  $s0, %70        --> main173
363 main173: delframe              --> main172
364 main172: jr    $ra             (xmits $v0)
365
366 __builtin_varargs_start: int -> void
367
368
369 __builtin_va_start: int -> int -> void
370
371
372 __builtin_va_end: int -> void
373
374
375 __builtin_va_copy: int -> int -> void
376
377
378 __builtin_va_arg: int -> int -> void
379
380
381 __builtin_types_compatible_p: int -> int -> int
382
383
384 __builtin_tanl: float -> float
385
386
387 __builtin_tanhl: float -> float
388
389
390 __builtin_tanhf: float -> float
391
392
393 __builtin_tanh: float -> float
394
395
396 __builtin_tanf: float -> float
397
398
399 __builtin_tan: float -> float
400
401
402 __builtin_strspn: int -> int -> int
403
404
405 __builtin_strpbrk: int -> int -> int
406
407
408 __builtin_strncpy: int -> int -> int -> int
409
410
411 __builtin_strncmp: int -> int -> int -> int
412
413
414 __builtin_strncat: int -> int -> int -> int
415
416
417 __builtin_strcspn: int -> int -> int
418
419
420 __builtin_strcpy: int -> int -> int
421
422
423 __builtin_strcmp: int -> int -> int
424
425
426 __builtin_strchr: int -> int -> int
427
428
429 __builtin_stpcpy: int -> int -> int
430
431
432 __builtin_stdarg_start: int -> void
433
434
435 __builtin_sqrtl: float -> float
436
437
438 __builtin_sqrtf: float -> float
439
440
441 __builtin_sqrt: float -> float
442
443
444 __builtin_sinl: float -> float
445
446
447 __builtin_sinhl: float -> float
448
449
450 __builtin_sinhf: float -> float
451
452
453 __builtin_sinh: float -> float
454
455
456 __builtin_sinf: float -> float
457
458
459 __builtin_sin: float -> float
460
461
462 __builtin_return_address: int -> int
463
464
465 __builtin_return: int -> void
466
467
468 __builtin_powil: float -> int -> float
469
470
471 __builtin_powif: float -> int -> float
472
473
474 __builtin_powi: float -> int -> float
475
476
477 __builtin_popcountll: int -> int
478
479
480 __builtin_popcountl: int -> int
481
482
483 __builtin_popcount: int -> int
484
485
486 __builtin_parityll: int -> int
487
488
489 __builtin_parityl: int -> int
490
491
492 __builtin_parity: int -> int
493
494
495 __builtin_object_size: int -> int -> int
496
497
498 __builtin_next_arg: int
499
500
501 __builtin_nansl: int -> float
502
503
504 __builtin_nansf: int -> float
505
506
507 __builtin_nans: int -> float
508
509
510 __builtin_nanl: int -> float
511
512
513 __builtin_nanf: int -> float
514
515
516 __builtin_nan: int -> float
517
518
519 __builtin_modfl: float -> int -> float
520
521
522 __builtin_modff: float -> int -> float
523
524
525 __builtin_mempcpy: int -> int -> int -> int
526
527
528 __builtin_memcpy: int -> int -> int -> int
529
530
531 __builtin_logl: float -> float
532
533
534 __builtin_logf: float -> float
535
536
537 __builtin_log10l: float -> float
538
539
540 __builtin_log10f: float -> float
541
542
543 __builtin_log10: float -> float
544
545
546 __builtin_log: float -> float
547
548
549 __builtin_ldexpl: float -> int -> float
550
551
552 __builtin_ldexpf: float -> int -> float
553
554
555 __builtin_ldexp: float -> int -> float
556
557
558 __builtin_infl: float
559
560
561 __builtin_inff: float
562
563
564 __builtin_inf: float
565
566
567 __builtin_huge_vall: float
568
569
570 __builtin_huge_valf: float
571
572
573 __builtin_huge_val: float
574
575
576 __builtin_frexpl: float -> int -> float
577
578
579 __builtin_frexpf: float -> int -> float
580
581
582 __builtin_frexp: float -> int -> float
583
584
585 __builtin_frame_address: int -> int
586
587
588 __builtin_fmodl: float -> float
589
590
591 __builtin_fmodf: float -> float
592
593
594 __builtin_fmod: float -> float
595
596
597 __builtin_floorl: float -> float
598
599
600 __builtin_floorf: float -> float
601
602
603 __builtin_floor: float -> float
604
605
606 __builtin_ffsll: int -> int
607
608
609 __builtin_ffsl: int -> int
610
611
612 __builtin_ffs: int -> int
613
614
615 __builtin_fabsl: float -> float
616
617
618 __builtin_fabsf: float -> float
619
620
621 __builtin_fabs: float -> float
622
623
624 __builtin_expl: float -> float
625
626
627 __builtin_expf: float -> float
628
629
630 __builtin_expect: int -> int -> int
631
632
633 __builtin_exp: float -> float
634
635
636 __builtin_ctzll: int -> int
637
638
639 __builtin_ctzl: int -> int
640
641
642 __builtin_ctz: int -> int
643
644
645 __builtin_cosl: float -> float
646
647
648 __builtin_coshl: float -> float
649
650
651 __builtin_coshf: float -> float
652
653
654 __builtin_cosh: float -> float
655
656
657 __builtin_cosf: float -> float
658
659
660 __builtin_cos: float -> float
661
662
663 __builtin_constant_p: int -> int
664
665
666 __builtin_clzll: int -> int
667
668
669 __builtin_clzl: int -> int
670
671
672 __builtin_clz: int -> int
673
674
675 __builtin_ceill: float -> float
676
677
678 __builtin_ceilf: float -> float
679
680
681 __builtin_ceil: float -> float
682
683
684 __builtin_atanl: float -> float
685
686
687 __builtin_atanf: float -> float
688
689
690 __builtin_atan2l: float -> float -> float
691
692
693 __builtin_atan2f: float -> float -> float
694
695
696 __builtin_atan2: float -> float -> float
697
698
699 __builtin_atan: float -> float
700
701
702 __builtin_asinl: float -> float
703
704
705 __builtin_asinf: float -> float
706
707
708 __builtin_asin: float -> float
709
710
711 __builtin_alloca: int -> int
712
713
714 __builtin_acosl: float -> float
715
716
717 __builtin_acosf: float -> float
718
719
720 __builtin_acos: float -> float
721
722
723 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
724
725
726 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
727
728
729 __builtin___vprintf_chk: int -> int -> int -> int
730
731
732 __builtin___vfprintf_chk: int -> int -> int -> int -> int
733
734
735 __builtin___strncpy_chk: int -> int -> int -> int -> int
736
737
738 __builtin___strncat_chk: int -> int -> int -> int -> int
739
740
741 __builtin___strcpy_chk: int -> int -> int -> int
742
743
744 __builtin___strcat_chk: int -> int -> int -> int
745
746
747 __builtin___stpcpy_chk: int -> int -> int -> int
748
749
750 __builtin___memset_chk: int -> int -> int -> int -> int
751
752
753 __builtin___mempcpy_chk: int -> int -> int -> int -> int
754
755
756 __builtin___memmove_chk: int -> int -> int -> int -> int
757
758
759 __builtin___memcpy_chk: int -> int -> int -> int -> int
760
761