source: Deliverables/D2.2/8051-memoryspaces-branch/tests/clight/for.Cminor.expected @ 1448

Last change on this file since 1448 was 453, checked in by ayache, 10 years ago

Import of the Paris's sources.

File size: 10.8 KB
Line 
1
2
3
4extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int
5
6
7extern "__builtin___memmove_chk" : int -> int -> int -> int -> int
8
9
10extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int
11
12
13extern "__builtin___memset_chk" : int -> int -> int -> int -> int
14
15
16extern "__builtin___stpcpy_chk" : int -> int -> int -> int
17
18
19extern "__builtin___strcat_chk" : int -> int -> int -> int
20
21
22extern "__builtin___strcpy_chk" : int -> int -> int -> int
23
24
25extern "__builtin___strncat_chk" : int -> int -> int -> int -> int
26
27
28extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int
29
30
31extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int
32
33
34extern "__builtin___vprintf_chk" : int -> int -> int -> int
35
36
37extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int
38
39
40extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int
41
42
43extern "__builtin_acos" : float -> float
44
45
46extern "__builtin_acosf" : float -> float
47
48
49extern "__builtin_acosl" : float -> float
50
51
52extern "__builtin_alloca" : int -> int
53
54
55extern "__builtin_asin" : float -> float
56
57
58extern "__builtin_asinf" : float -> float
59
60
61extern "__builtin_asinl" : float -> float
62
63
64extern "__builtin_atan" : float -> float
65
66
67extern "__builtin_atanf" : float -> float
68
69
70extern "__builtin_atanl" : float -> float
71
72
73extern "__builtin_atan2" : float -> float -> float
74
75
76extern "__builtin_atan2f" : float -> float -> float
77
78
79extern "__builtin_atan2l" : float -> float -> float
80
81
82extern "__builtin_ceil" : float -> float
83
84
85extern "__builtin_ceilf" : float -> float
86
87
88extern "__builtin_ceill" : float -> float
89
90
91extern "__builtin_cos" : float -> float
92
93
94extern "__builtin_cosf" : float -> float
95
96
97extern "__builtin_cosl" : float -> float
98
99
100extern "__builtin_cosh" : float -> float
101
102
103extern "__builtin_coshf" : float -> float
104
105
106extern "__builtin_coshl" : float -> float
107
108
109extern "__builtin_clz" : int -> int
110
111
112extern "__builtin_clzl" : int -> int
113
114
115extern "__builtin_clzll" : int -> int
116
117
118extern "__builtin_constant_p" : int -> int
119
120
121extern "__builtin_ctz" : int -> int
122
123
124extern "__builtin_ctzl" : int -> int
125
126
127extern "__builtin_ctzll" : int -> int
128
129
130extern "__builtin_exp" : float -> float
131
132
133extern "__builtin_expf" : float -> float
134
135
136extern "__builtin_expl" : float -> float
137
138
139extern "__builtin_expect" : int -> int -> int
140
141
142extern "__builtin_fabs" : float -> float
143
144
145extern "__builtin_fabsf" : float -> float
146
147
148extern "__builtin_fabsl" : float -> float
149
150
151extern "__builtin_ffs" : int -> int
152
153
154extern "__builtin_ffsl" : int -> int
155
156
157extern "__builtin_ffsll" : int -> int
158
159
160extern "__builtin_frame_address" : int -> int
161
162
163extern "__builtin_floor" : float -> float
164
165
166extern "__builtin_floorf" : float -> float
167
168
169extern "__builtin_floorl" : float -> float
170
171
172extern "__builtin_huge_val" : float
173
174
175extern "__builtin_huge_valf" : float
176
177
178extern "__builtin_huge_vall" : float
179
180
181extern "__builtin_inf" : float
182
183
184extern "__builtin_inff" : float
185
186
187extern "__builtin_infl" : float
188
189
190extern "__builtin_memcpy" : int -> int -> int -> int
191
192
193extern "__builtin_mempcpy" : int -> int -> int -> int
194
195
196extern "__builtin_fmod" : float -> float
197
198
199extern "__builtin_fmodf" : float -> float
200
201
202extern "__builtin_fmodl" : float -> float
203
204
205extern "__builtin_frexp" : float -> int -> float
206
207
208extern "__builtin_frexpf" : float -> int -> float
209
210
211extern "__builtin_frexpl" : float -> int -> float
212
213
214extern "__builtin_ldexp" : float -> int -> float
215
216
217extern "__builtin_ldexpf" : float -> int -> float
218
219
220extern "__builtin_ldexpl" : float -> int -> float
221
222
223extern "__builtin_log" : float -> float
224
225
226extern "__builtin_logf" : float -> float
227
228
229extern "__builtin_logl" : float -> float
230
231
232extern "__builtin_log10" : float -> float
233
234
235extern "__builtin_log10f" : float -> float
236
237
238extern "__builtin_log10l" : float -> float
239
240
241extern "__builtin_modff" : float -> int -> float
242
243
244extern "__builtin_modfl" : float -> int -> float
245
246
247extern "__builtin_nan" : int -> float
248
249
250extern "__builtin_nanf" : int -> float
251
252
253extern "__builtin_nanl" : int -> float
254
255
256extern "__builtin_nans" : int -> float
257
258
259extern "__builtin_nansf" : int -> float
260
261
262extern "__builtin_nansl" : int -> float
263
264
265extern "__builtin_next_arg" : int
266
267
268extern "__builtin_object_size" : int -> int -> int
269
270
271extern "__builtin_parity" : int -> int
272
273
274extern "__builtin_parityl" : int -> int
275
276
277extern "__builtin_parityll" : int -> int
278
279
280extern "__builtin_popcount" : int -> int
281
282
283extern "__builtin_popcountl" : int -> int
284
285
286extern "__builtin_popcountll" : int -> int
287
288
289extern "__builtin_powi" : float -> int -> float
290
291
292extern "__builtin_powif" : float -> int -> float
293
294
295extern "__builtin_powil" : float -> int -> float
296
297
298extern "__builtin_return" : int -> void
299
300
301extern "__builtin_return_address" : int -> int
302
303
304extern "__builtin_sin" : float -> float
305
306
307extern "__builtin_sinf" : float -> float
308
309
310extern "__builtin_sinl" : float -> float
311
312
313extern "__builtin_sinh" : float -> float
314
315
316extern "__builtin_sinhf" : float -> float
317
318
319extern "__builtin_sinhl" : float -> float
320
321
322extern "__builtin_sqrt" : float -> float
323
324
325extern "__builtin_sqrtf" : float -> float
326
327
328extern "__builtin_sqrtl" : float -> float
329
330
331extern "__builtin_stpcpy" : int -> int -> int
332
333
334extern "__builtin_strchr" : int -> int -> int
335
336
337extern "__builtin_strcmp" : int -> int -> int
338
339
340extern "__builtin_strcpy" : int -> int -> int
341
342
343extern "__builtin_strcspn" : int -> int -> int
344
345
346extern "__builtin_strncat" : int -> int -> int -> int
347
348
349extern "__builtin_strncmp" : int -> int -> int -> int
350
351
352extern "__builtin_strncpy" : int -> int -> int -> int
353
354
355extern "__builtin_strspn" : int -> int -> int
356
357
358extern "__builtin_strpbrk" : int -> int -> int
359
360
361extern "__builtin_types_compatible_p" : int -> int -> int
362
363
364extern "__builtin_tan" : float -> float
365
366
367extern "__builtin_tanf" : float -> float
368
369
370extern "__builtin_tanl" : float -> float
371
372
373extern "__builtin_tanh" : float -> float
374
375
376extern "__builtin_tanhf" : float -> float
377
378
379extern "__builtin_tanhl" : float -> float
380
381
382extern "__builtin_va_end" : int -> void
383
384
385extern "__builtin_varargs_start" : int -> void
386
387
388extern "__builtin_va_start" : int -> int -> void
389
390
391extern "__builtin_stdarg_start" : int -> void
392
393
394extern "__builtin_va_arg" : int -> int -> void
395
396
397extern "__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
Note: See TracBrowser for help on using the repository browser.