]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.Cminor.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / for.Cminor.expected
1
2
3
4 extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int
5
6
7 extern "__builtin___memmove_chk" : int -> int -> int -> int -> int
8
9
10 extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int
11
12
13 extern "__builtin___memset_chk" : int -> int -> int -> int -> int
14
15
16 extern "__builtin___stpcpy_chk" : int -> int -> int -> int
17
18
19 extern "__builtin___strcat_chk" : int -> int -> int -> int
20
21
22 extern "__builtin___strcpy_chk" : int -> int -> int -> int
23
24
25 extern "__builtin___strncat_chk" : int -> int -> int -> int -> int
26
27
28 extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int
29
30
31 extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int
32
33
34 extern "__builtin___vprintf_chk" : int -> int -> int -> int
35
36
37 extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int
38
39
40 extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int
41
42
43 extern "__builtin_acos" : float -> float
44
45
46 extern "__builtin_acosf" : float -> float
47
48
49 extern "__builtin_acosl" : float -> float
50
51
52 extern "__builtin_alloca" : int -> int
53
54
55 extern "__builtin_asin" : float -> float
56
57
58 extern "__builtin_asinf" : float -> float
59
60
61 extern "__builtin_asinl" : float -> float
62
63
64 extern "__builtin_atan" : float -> float
65
66
67 extern "__builtin_atanf" : float -> float
68
69
70 extern "__builtin_atanl" : float -> float
71
72
73 extern "__builtin_atan2" : float -> float -> float
74
75
76 extern "__builtin_atan2f" : float -> float -> float
77
78
79 extern "__builtin_atan2l" : float -> float -> float
80
81
82 extern "__builtin_ceil" : float -> float
83
84
85 extern "__builtin_ceilf" : float -> float
86
87
88 extern "__builtin_ceill" : float -> float
89
90
91 extern "__builtin_cos" : float -> float
92
93
94 extern "__builtin_cosf" : float -> float
95
96
97 extern "__builtin_cosl" : float -> float
98
99
100 extern "__builtin_cosh" : float -> float
101
102
103 extern "__builtin_coshf" : float -> float
104
105
106 extern "__builtin_coshl" : float -> float
107
108
109 extern "__builtin_clz" : int -> int
110
111
112 extern "__builtin_clzl" : int -> int
113
114
115 extern "__builtin_clzll" : int -> int
116
117
118 extern "__builtin_constant_p" : int -> int
119
120
121 extern "__builtin_ctz" : int -> int
122
123
124 extern "__builtin_ctzl" : int -> int
125
126
127 extern "__builtin_ctzll" : int -> int
128
129
130 extern "__builtin_exp" : float -> float
131
132
133 extern "__builtin_expf" : float -> float
134
135
136 extern "__builtin_expl" : float -> float
137
138
139 extern "__builtin_expect" : int -> int -> int
140
141
142 extern "__builtin_fabs" : float -> float
143
144
145 extern "__builtin_fabsf" : float -> float
146
147
148 extern "__builtin_fabsl" : float -> float
149
150
151 extern "__builtin_ffs" : int -> int
152
153
154 extern "__builtin_ffsl" : int -> int
155
156
157 extern "__builtin_ffsll" : int -> int
158
159
160 extern "__builtin_frame_address" : int -> int
161
162
163 extern "__builtin_floor" : float -> float
164
165
166 extern "__builtin_floorf" : float -> float
167
168
169 extern "__builtin_floorl" : float -> float
170
171
172 extern "__builtin_huge_val" : float
173
174
175 extern "__builtin_huge_valf" : float
176
177
178 extern "__builtin_huge_vall" : float
179
180
181 extern "__builtin_inf" : float
182
183
184 extern "__builtin_inff" : float
185
186
187 extern "__builtin_infl" : float
188
189
190 extern "__builtin_memcpy" : int -> int -> int -> int
191
192
193 extern "__builtin_mempcpy" : int -> int -> int -> int
194
195
196 extern "__builtin_fmod" : float -> float
197
198
199 extern "__builtin_fmodf" : float -> float
200
201
202 extern "__builtin_fmodl" : float -> float
203
204
205 extern "__builtin_frexp" : float -> int -> float
206
207
208 extern "__builtin_frexpf" : float -> int -> float
209
210
211 extern "__builtin_frexpl" : float -> int -> float
212
213
214 extern "__builtin_ldexp" : float -> int -> float
215
216
217 extern "__builtin_ldexpf" : float -> int -> float
218
219
220 extern "__builtin_ldexpl" : float -> int -> float
221
222
223 extern "__builtin_log" : float -> float
224
225
226 extern "__builtin_logf" : float -> float
227
228
229 extern "__builtin_logl" : float -> float
230
231
232 extern "__builtin_log10" : float -> float
233
234
235 extern "__builtin_log10f" : float -> float
236
237
238 extern "__builtin_log10l" : float -> float
239
240
241 extern "__builtin_modff" : float -> int -> float
242
243
244 extern "__builtin_modfl" : float -> int -> float
245
246
247 extern "__builtin_nan" : int -> float
248
249
250 extern "__builtin_nanf" : int -> float
251
252
253 extern "__builtin_nanl" : int -> float
254
255
256 extern "__builtin_nans" : int -> float
257
258
259 extern "__builtin_nansf" : int -> float
260
261
262 extern "__builtin_nansl" : int -> float
263
264
265 extern "__builtin_next_arg" : int
266
267
268 extern "__builtin_object_size" : int -> int -> int
269
270
271 extern "__builtin_parity" : int -> int
272
273
274 extern "__builtin_parityl" : int -> int
275
276
277 extern "__builtin_parityll" : int -> int
278
279
280 extern "__builtin_popcount" : int -> int
281
282
283 extern "__builtin_popcountl" : int -> int
284
285
286 extern "__builtin_popcountll" : int -> int
287
288
289 extern "__builtin_powi" : float -> int -> float
290
291
292 extern "__builtin_powif" : float -> int -> float
293
294
295 extern "__builtin_powil" : float -> int -> float
296
297
298 extern "__builtin_return" : int -> void
299
300
301 extern "__builtin_return_address" : int -> int
302
303
304 extern "__builtin_sin" : float -> float
305
306
307 extern "__builtin_sinf" : float -> float
308
309
310 extern "__builtin_sinl" : float -> float
311
312
313 extern "__builtin_sinh" : float -> float
314
315
316 extern "__builtin_sinhf" : float -> float
317
318
319 extern "__builtin_sinhl" : float -> float
320
321
322 extern "__builtin_sqrt" : float -> float
323
324
325 extern "__builtin_sqrtf" : float -> float
326
327
328 extern "__builtin_sqrtl" : float -> float
329
330
331 extern "__builtin_stpcpy" : int -> int -> int
332
333
334 extern "__builtin_strchr" : int -> int -> int
335
336
337 extern "__builtin_strcmp" : int -> int -> int
338
339
340 extern "__builtin_strcpy" : int -> int -> int
341
342
343 extern "__builtin_strcspn" : int -> int -> int
344
345
346 extern "__builtin_strncat" : int -> int -> int -> int
347
348
349 extern "__builtin_strncmp" : int -> int -> int -> int
350
351
352 extern "__builtin_strncpy" : int -> int -> int -> int
353
354
355 extern "__builtin_strspn" : int -> int -> int
356
357
358 extern "__builtin_strpbrk" : int -> int -> int
359
360
361 extern "__builtin_types_compatible_p" : int -> int -> int
362
363
364 extern "__builtin_tan" : float -> float
365
366
367 extern "__builtin_tanf" : float -> float
368
369
370 extern "__builtin_tanl" : float -> float
371
372
373 extern "__builtin_tanh" : float -> float
374
375
376 extern "__builtin_tanhf" : float -> float
377
378
379 extern "__builtin_tanhl" : float -> float
380
381
382 extern "__builtin_va_end" : int -> void
383
384
385 extern "__builtin_varargs_start" : int -> void
386
387
388 extern "__builtin_va_start" : int -> int -> void
389
390
391 extern "__builtin_stdarg_start" : int -> void
392
393
394 extern "__builtin_va_arg" : int -> int -> void
395
396
397 extern "__builtin_va_copy" : int -> int -> void
398
399
400 "for_2" (a, b) : int -> int -> int {
401
402   stack 0;
403
404   var max, pas, i, resul, min;
405
406   c9:
407   resul = 0;
408   c8:
409   min = a * 2;
410   c7:
411   max = a * 4;
412   c6:
413   pas = b + 1;
414   c5:
415   c4:
416   i = min;
417   block {
418     loop {
419       if (!(/* c3 */ i < max)) {
420         exit 0;
421       }
422       else {
423       }
424       block {
425         c1:
426         resul = resul + i;
427       }
428       c2:
429       i = i + pas;
430     }
431   }
432   c0:
433   return resul + 1;
434
435 }
436
437
438 "for_loopParalAsync" (a, b, c) : int -> int -> int -> int {
439
440   stack 0;
441
442   var z, y, x, j, i;
443
444   c29:
445   x = 0;
446   c28:
447   a = 0;
448   c27:
449   a = a + 3;
450   c26:
451   a = a * 2;
452   c25:
453   a = a / 3;
454   c24:
455   a = a + 8;
456   c23:
457   c22:
458   i = 0;
459   block {
460     loop {
461       if (!(/* c21 */ i < 20)) {
462         exit 0;
463       }
464       else {
465       }
466       block {
467         c19:
468         x = x + 1;
469         c18:
470         b = b + 2;
471         c17:
472         y = b / x;
473       }
474       c20:
475       i = i + 1;
476     }
477   }
478   c16:
479   c15:
480   j = 1;
481   block {
482     loop {
483       if (!(/* c14 */ j < a)) {
484         exit 0;
485       }
486       else {
487       }
488       block {
489         c12:
490         c = c * 2;
491         c11:
492         z = c / j;
493       }
494       c13:
495       j = j + 1;
496     }
497   }
498   c10:
499   return x;
500
501 }
502
503
504 "for_double" (pas) : int -> int {
505
506   stack 0;
507
508   var j, i, result, b, a;
509
510   c43:
511   a = 0;
512   c42:
513   b = 0;
514   c41:
515   c40:
516   i = 0;
517   block {
518     loop {
519       if (!(/* c39 */ i < 12)) {
520         exit 0;
521       }
522       else {
523       }
524       block {
525         c37:
526         a = a + i;
527       }
528       c38:
529       i = i + pas;
530     }
531   }
532   c36:
533   c35:
534   j = 0;
535   block {
536     loop {
537       if (!(/* c34 */ j < 5)) {
538         exit 0;
539       }
540       else {
541       }
542       block {
543         c32:
544         b = b + j;
545       }
546       c33:
547       j = j + pas;
548     }
549   }
550   c31:
551   result = a * b;
552   c30:
553   return result;
554
555 }
556
557
558 "for_ex" (b, e, pas) : int -> int -> int -> int {
559
560   stack 0;
561
562   var res, i;
563
564   c50:
565   res = 0;
566   c49:
567   c48:
568   i = b + 3;
569   block {
570     loop {
571       if (!(/* c47 */ i <= (e * 2))) {
572         exit 0;
573       }
574       else {
575       }
576       block {
577         c45:
578         res = res - i;
579       }
580       c46:
581       i = i + pas;
582     }
583   }
584   c44:
585   return res;
586
587 }
588
589
590 "for_fortSimple" (a, b, pas) : int -> int -> int -> int {
591
592   stack 0;
593
594   var res, sortie, i, c;
595
596   c58:
597   res = 0;
598   c57:
599   c56:
600   i = a;
601   block {
602     loop {
603       if (!(/* c55 */ i < b)) {
604         exit 0;
605       }
606       else {
607       }
608       block {
609         c53:
610         res = res + i;
611       }
612       c54:
613       i = i + pas;
614     }
615   }
616   c52:
617   sortie = res + a;
618   c51:
619   return sortie;
620
621 }
622
623
624 "for_imbriq" (pas1, pas2) : int -> int -> int {
625
626   stack 0;
627
628   var j, i, b, a;
629
630   c71:
631   a = 0;
632   c70:
633   c69:
634   i = 0;
635   block {
636     loop {
637       if (!(/* c68 */ i < 23)) {
638         exit 0;
639       }
640       else {
641       }
642       block {
643         c66:
644         b = 0;
645         c65:
646         c64:
647         j = 1;
648         block {
649           loop {
650             if (!(/* c63 */ j < 12)) {
651               exit 0;
652             }
653             else {
654             }
655             block {
656               c61:
657               a = a + b;
658               c60:
659               b = b % j;
660             }
661             c62:
662             j = j + pas2;
663           }
664         }
665       }
666       c67:
667       i = i + pas1;
668     }
669   }
670   c59:
671   return a;
672
673 }
674
675
676 "for_incr" (b, e) : int -> int -> int {
677
678   stack 0;
679
680   var res, i;
681
682   c78:
683   res = 0;
684   c77:
685   c76:
686   i = b + 3;
687   block {
688     loop {
689       if (!(/* c75 */ i <= (e * 2))) {
690         exit 0;
691       }
692       else {
693       }
694       block {
695         c73:
696         res = res - i;
697       }
698       c74:
699       i = i + 1;
700     }
701   }
702   c72:
703   return res;
704
705 }
706
707
708 "for_incrParam" (a, b) : int -> int -> int {
709
710   stack 0;
711
712   var z, i, c;
713
714   c86:
715   z = a + b;
716   c85:
717   c = 3 * z;
718   c84:
719   c83:
720   i = z - 4;
721   block {
722     loop {
723       if (!(/* c82 */ i < (b + 6))) {
724         exit 0;
725       }
726       else {
727       }
728       block {
729         c80:
730         i = (i + z) + a;
731       }
732       c81:
733       i = i + a;
734     }
735   }
736   c79:
737   return i;
738
739 }
740
741
742 "for_forfor" () : int {
743
744   stack 0;
745
746   var j, i;
747
748   c94:
749   c93:
750   i = 0;
751   c92:
752   j = 0;
753   block {
754     loop {
755       if (!(/* c91 */ i < 10)) {
756         exit 0;
757       }
758       else {
759       }
760       block {
761         c89:
762         j = j + 1;
763         c88:
764         j = j + 1;
765       }
766       c90:
767       i = i + 1;
768     }
769   }
770   c87:
771   return j;
772
773 }
774
775
776 "main" () : int {
777
778   stack 0;
779
780   var a;
781
782   c104:
783   a = "for_2"(3, 1) : int -> int -> int;
784   c103:
785   a = "for_loopParalAsync"(1, 2, 3) : int -> int -> int -> int;
786   c102:
787   a = "for_double"(1) : int -> int;
788   c101:
789   a = "for_ex"(2, 10, 1) : int -> int -> int -> int;
790   c100:
791   a = "for_fortSimple"(2, 10, 1) : int -> int -> int -> int;
792   c99:
793   a = "for_imbriq"(2, 3) : int -> int -> int;
794   c98:
795   a = "for_incr"(2, 3) : int -> int -> int;
796   c97:
797   a = "for_incrParam"(2, 3) : int -> int -> int;
798   c96:
799   a = "for_forfor"() : int;
800   c95:
801   return a;
802
803 }
804
805