source: Deliverables/D2.2/8051/tests/clight/ifthenelse.Cminor.expected @ 486

Last change on this file since 486 was 486, checked in by ayache, 8 years ago

Deliverable D2.2

File size: 9.6 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"if_jian" (a, b, c, d, e, f, g, x, y) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int {
401
402  stack 0;
403
404  var u, v, t1, t2, t3, t4, t5;
405
406  c15:
407  t1 = (a + b) < c;
408  c14:
409  t2 = d + e;
410  c13:
411  t3 = c + 1;
412  c12:
413  if (y == 1) {
414    c11:
415    if (t1) {
416      c10:
417      u = t3 + d;
418    }
419    else {
420      c9:
421      if (!x) {
422        c8:
423        u = t2 + d;
424      }
425      else {
426      }
427    }
428    c7:
429    if ((/* c6 */ !t1) ? ((/* c5 */ x) ? 1 : 0) : 0) {
430      c4:
431      v = t2 + e;
432    }
433    else {
434    }
435  }
436  else {
437    c3:
438    t4 = t3 + e;
439    c2:
440    t5 = t4 + f;
441    c1:
442    u = t5 + g;
443  }
444  c0:
445  return u;
446
447}
448
449
450"if_exSimple" (a, b) : int -> int -> int {
451
452  stack 0;
453
454  var g, e, f;
455
456  c23:
457  if (a < b) {
458    c22:
459    e = a + b;
460    c21:
461    e = 2 * e;
462    c20:
463    g = e;
464  }
465  else {
466    c19:
467    f = 2 * b;
468    c18:
469    f = f + a;
470    c17:
471    g = f + b;
472  }
473  c16:
474  return g;
475
476}
477
478
479"if_imbriq1" (a, b, c) : int -> int -> int -> int {
480
481  stack 0;
482
483  var result;
484
485  c29:
486  if (a < b) {
487    c28:
488    if (b < c) {
489      c27:
490      result = b;
491    }
492    else {
493      c26:
494      result = c;
495    }
496  }
497  else {
498    c25:
499    result = a;
500  }
501  c24:
502  return result;
503
504}
505
506
507"if_imbriq2" (a, b, c) : int -> int -> int -> int {
508
509  stack 0;
510
511  var result;
512
513  c35:
514  if (a < b) {
515    c34:
516    if (b < c) {
517      c33:
518      result = b;
519    }
520    else {
521      c32:
522      result = 47;
523    }
524  }
525  else {
526    c31:
527    result = a;
528  }
529  c30:
530  return result;
531
532}
533
534
535"if_min" (a, b) : int -> int -> int {
536
537  stack 0;
538
539  var min;
540
541  c39:
542  if (a > b) {
543    c38:
544    min = b;
545  }
546  else {
547    c37:
548    min = a;
549  }
550  c36:
551  return min;
552
553}
554
555
556"if_prog" (j, i) : int -> int -> int {
557
558  stack 0;
559
560  var a, b;
561
562  c44:
563  a = i + j;
564  c43:
565  if (a < 0) {
566    c42:
567    b = 2;
568  }
569  else {
570    c41:
571    b = 3;
572  }
573  c40:
574  return b;
575
576}
577
578
579"if_sansElse" (a, b) : int -> int -> int {
580
581  stack 0;
582
583  var c;
584
585  c48:
586  c = 0;
587  c47:
588  if (a < b) {
589    c46:
590    c = a;
591  }
592  else {
593  }
594  c45:
595  return c;
596
597}
598
599
600"if_test" (a, b, x, y) : int -> int -> int -> int -> int {
601
602  stack 0;
603
604  var c, d, v, w, z;
605
606  c61:
607  c = 0;
608  c60:
609  d = 0;
610  c59:
611  v = 0;
612  c58:
613  w = 0;
614  c57:
615  z = 0;
616  c56:
617  if (a < b) {
618    c55:
619    c = a + b;
620  }
621  else {
622  }
623  c54:
624  if (x < y) {
625    c53:
626    z = x + y;
627    c52:
628    w = z + x;
629  }
630  else {
631  }
632  c51:
633  d = c + 1;
634  c50:
635  v = c + w;
636  c49:
637  return c;
638
639}
640
641
642"if_ual" (op, a, b) : int -> int -> int -> int {
643
644  stack 0;
645
646  var result;
647
648  c74:
649  if (op == 0) {
650    c73:
651    result = a + b;
652  }
653  else {
654    c72:
655    if (op == 1) {
656      c71:
657      result = a - b;
658    }
659    else {
660      c70:
661      if (op == 2) {
662        c69:
663        result = (/* c68 */ a) ? ((/* c67 */ b) ? 1 : 0) : 0;
664      }
665      else {
666        c66:
667        if (op == 3) {
668          c65:
669          result = (/* c64 */ a) ? 1 : ((/* c63 */ b) ? 1 : 0);
670        }
671        else {
672        }
673      }
674    }
675  }
676  c62:
677  return result;
678
679}
680
681
682"main" () : int {
683
684  stack 0;
685
686  var a;
687
688  c84:
689  a = "if_jian"(1, 2, 3, 4, 5, 6, 7, 8, 9) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int;
690  c83:
691  a = "if_exSimple"(1, 2) : int -> int -> int;
692  c82:
693  a = "if_imbriq1"(1, 2, 3) : int -> int -> int -> int;
694  c81:
695  a = "if_imbriq2"(1, 2, 3) : int -> int -> int -> int;
696  c80:
697  a = "if_min"(1, 2) : int -> int -> int;
698  c79:
699  a = "if_prog"(1, 2) : int -> int -> int;
700  c78:
701  a = "if_sansElse"(1, 2) : int -> int -> int;
702  c77:
703  a = "if_test"(1, 2, 3, 4) : int -> int -> int -> int -> int;
704  c76:
705  a = "if_ual"(1, 2, 3) : int -> int -> int -> int;
706  c75:
707  return a;
708
709}
710
711
Note: See TracBrowser for help on using the repository browser.