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