source: Deliverables/D2.3/8051/tests/clight/testTB_boucle.Cminor.expected @ 453

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

Import of the Paris's sources.

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