tests/clight/testTB_boucle.Cminor.expected

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