tests/clight/testTB_boucle.LTL.expected

   1 program
   2
   3 globals 40
   4
   5 procedure _main(0)
   6 var 24
   7 entry main155
   8 main155: newframe                --> main154
   9 main154: lw    $ra, 20($sp)      --> main153
  10 main153: j                       --> main152
  11 main152: j                       --> main151
  12 main151: j                       --> main150
  13 main150: j                       --> main149
  14 main149: j                       --> main148
  15 main148: j                       --> main147
  16 main147: j                       --> main146
  17 main146: j                       --> main145
  18 main145: j                       --> main144
  19 main144: j                       --> main143
  20 main143: j                       --> main142
  21 main142: j                       --> main141
  22 main141: j                       --> main140
  23 main140: j                       --> main139
  24 main139: j                       --> main138
  25 main138: j                       --> main137
  26 main137: j                       --> main136
  27 main136: j                       --> main135
  28 main135: j                       --> main134
  29 main134: j                       --> main133
  30 main133: j                       --> main132
  31 main132: j                       --> main131
  32 main131: j                       --> main130
  33 main130: j                       --> main129
  34 main129: j                       --> main128
  35 main128: j                       --> main127
  36 main127: j                       --> main126
  37 main126: j                       --> main125
  38 main125: j                       --> main124
  39 main124: j                       --> main123
  40 main123: j                       --> main122
  41 main122: j                       --> main121
  42 main121: j                       --> main120
  43 main120: j                       --> main119
  44 main119: j                       --> main118
  45 main118: j                       --> main117
  46 main117: j                       --> main116
  47 main116: j                       --> main115
  48 main115: j                       --> main114
  49 main114: j                       --> main113
  50 main113: j                       --> main112
  51 main112: j                       --> main111
  52 main111: j                       --> main110
  53 main110: j                       --> main109
  54 main109: j                       --> main108
  55 main108: j                       --> main107
  56 main107: j                       --> main106
  57 main106: j                       --> main105
  58 main105: j                       --> main104
  59 main104: j                       --> main103
  60 main103: j                       --> main102
  61 main102: j                       --> main101
  62 main101: j                       --> main100
  63 main100: j                       --> main99
  64 main99 : j                       --> main98
  65 main98 : j                       --> main97
  66 main97 : j                       --> main96
  67 main96 : j                       --> main95
  68 main95 : j                       --> main94
  69 main94 : j                       --> main93
  70 main93 : j                       --> main92
  71 main92 : j                       --> main91
  72 main91 : j                       --> main90
  73 main90 : j                       --> main89
  74 main89 : j                       --> main88
  75 main88 : j                       --> main87
  76 main87 : j                       --> main86
  77 main86 : j                       --> main85
  78 main85 : j                       --> main67
  79 main67 : li    $a0, 1            --> main66
  80 main66 : move    $v0, $gp        --> main185
  81 main185: j                       --> main83
  82 main83 : lw    $a0, 0($v0)       --> main65
  83 main65 : li    $a0, 2            --> main64
  84 main64 : move    $v0, $gp        --> main184
  85 main184: j                       --> main82
  86 main82 : lw    $a0, 4($v0)       --> main63
  87 main63 : li    $a0, 3            --> main62
  88 main62 : move    $v0, $gp        --> main183
  89 main183: j                       --> main81
  90 main81 : lw    $a0, 8($v0)       --> main61
  91 main61 : li    $a0, 5            --> main60
  92 main60 : move    $v0, $gp        --> main182
  93 main182: j                       --> main80
  94 main80 : lw    $a0, 12($v0)      --> main59
  95 main59 : li    $a0, 8            --> main58
  96 main58 : move    $v0, $gp        --> main181
  97 main181: j                       --> main79
  98 main79 : lw    $a0, 16($v0)      --> main57
  99 main57 : li    $a0, 13           --> main56
 100 main56 : move    $v0, $gp        --> main180
 101 main180: j                       --> main78
 102 main78 : lw    $a0, 20($v0)      --> main55
 103 main55 : li    $a0, 21           --> main54
 104 main54 : move    $v0, $gp        --> main179
 105 main179: j                       --> main77
 106 main77 : lw    $a0, 24($v0)      --> main53
 107 main53 : li    $a0, 34           --> main52
 108 main52 : move    $v0, $gp        --> main178
 109 main178: j                       --> main76
 110 main76 : lw    $a0, 28($v0)      --> main51
 111 main51 : li    $a0, 55           --> main50
 112 main50 : move    $v0, $gp        --> main177
 113 main177: j                       --> main75
 114 main75 : lw    $a0, 32($v0)      --> main49
 115 main49 : li    $a0, 89           --> main48
 116 main48 : move    $v0, $gp        --> main175
 117 main175: j                       --> main74
 118 main74 : lw    $a0, 36($v0)      --> main47
 119 main47 : emit c11                --> main46
 120 main46 : li    $a1, 0            --> main45
 121 main45 : move    $a0, $sp        --> main174
 122 main174: j                       --> main44
 123 main44 : j                       --> main43
 124 main43 : li    $v0, 4            --> main42
 125 main42 : mulo    $v0, $zero, $v0 --> main41
 126 main41 : add     $v0, $a0, $v0   --> main73
 127 main73 : lw    $a1, 0($v0)       --> main40
 128 main40 : emit c10                --> main39
 129 main39 : j                       --> main38
 130 main38 : move    $a1, $sp        --> main173
 131 main173: j                       --> main37
 132 main37 : li    $a0, 1            --> main36
 133 main36 : li    $v0, 4            --> main35
 134 main35 : mulo    $v0, $a0, $v0   --> main34
 135 main34 : add     $v0, $a1, $v0   --> main72
 136 main72 : lw    $zero, 0($v0)     --> main33
 137 main33 : emit c9                 --> main32
 138 main32 : j                       --> main31
 139 main31 : move    $a1, $sp        --> main172
 140 main172: j                       --> main30
 141 main30 : li    $a0, 2            --> main29
 142 main29 : li    $v0, 4            --> main28
 143 main28 : mulo    $v0, $a0, $v0   --> main27
 144 main27 : add     $v0, $a1, $v0   --> main71
 145 main71 : lw    $zero, 0($v0)     --> main26
 146 main26 : emit c8                 --> main25
 147 main25 : j                       --> main24
 148 main24 : move    $a1, $sp        --> main171
 149 main171: j                       --> main23
 150 main23 : li    $a0, 3            --> main22
 151 main22 : li    $v0, 4            --> main21
 152 main21 : mulo    $v0, $a0, $v0   --> main20
 153 main20 : add     $v0, $a1, $v0   --> main70
 154 main70 : lw    $zero, 0($v0)     --> main19
 155 main19 : emit c7                 --> main18
 156 main18 : j                       --> main17
 157 main17 : move    $a1, $sp        --> main170
 158 main170: j                       --> main16
 159 main16 : li    $a0, 4            --> main15
 160 main15 : li    $v0, 4            --> main14
 161 main14 : mulo    $v0, $a0, $v0   --> main13
 162 main13 : add     $v0, $a1, $v0   --> main69
 163 main69 : lw    $zero, 0($v0)     --> main12
 164 main12 : emit c6                 --> main11
 165 main11 : move    $a0, $gp        --> main169
 166 main169: j                       --> main10
 167 main10 : move    $a1, $gp        --> main168
 168 main168: addi    $a1, $a1, 20    --> main9
 169 main9  : move    $a2, $sp        --> main192
 170 main192: j                       --> main8
 171 main8  : li    $a3, 5            --> main7
 172 main7  : la    $v0, TB_Boucle    --> main84
 173 main84 : j                       --> main191
 174 main191: j                       --> main190
 175 main190: j                       --> main189
 176 main189: j                       --> main188
 177 main188: j                       --> main187
 178 main187: call  $v0               --> main186
 179 main186: j                       --> main6
 180 main6  : emit c5                 --> main5
 181 main5  : j                       --> main176
 182 main176: j                       --> main4
 183 main4  : li    $a0, 4            --> main3
 184 main3  : li    $v0, 4            --> main2
 185 main2  : mulo    $v0, $a0, $v0   --> main1
 186 main1  : add     $v0, $sp, $v0   --> main68
 187 main68 : lw    $v0, 0($v0)       --> main0
 188 main0  : j                       --> main167
 189 main167: j                       --> main166
 190 main166: lw    $ra, 20($sp)      --> main165
 191 main165: j                       --> main164
 192 main164: j                       --> main163
 193 main163: j                       --> main162
 194 main162: j                       --> main161
 195 main161: j                       --> main160
 196 main160: j                       --> main159
 197 main159: j                       --> main158
 198 main158: j                       --> main157
 199 main157: delframe                --> main156
 200 main156: jr    $ra
 201
 202 __builtin_varargs_start: int -> void
 203
 204
 205 __builtin_va_start: int -> int -> void
 206
 207
 208 __builtin_va_end: int -> void
 209
 210
 211 __builtin_va_copy: int -> int -> void
 212
 213
 214 __builtin_va_arg: int -> int -> void
 215
 216
 217 __builtin_types_compatible_p: int -> int -> int
 218
 219
 220 __builtin_tanl: float -> float
 221
 222
 223 __builtin_tanhl: float -> float
 224
 225
 226 __builtin_tanhf: float -> float
 227
 228
 229 __builtin_tanh: float -> float
 230
 231
 232 __builtin_tanf: float -> float
 233
 234
 235 __builtin_tan: float -> float
 236
 237
 238 __builtin_strspn: int -> int -> int
 239
 240
 241 __builtin_strpbrk: int -> int -> int
 242
 243
 244 __builtin_strncpy: int -> int -> int -> int
 245
 246
 247 __builtin_strncmp: int -> int -> int -> int
 248
 249
 250 __builtin_strncat: int -> int -> int -> int
 251
 252
 253 __builtin_strcspn: int -> int -> int
 254
 255
 256 __builtin_strcpy: int -> int -> int
 257
 258
 259 __builtin_strcmp: int -> int -> int
 260
 261
 262 __builtin_strchr: int -> int -> int
 263
 264
 265 __builtin_stpcpy: int -> int -> int
 266
 267
 268 __builtin_stdarg_start: int -> void
 269
 270
 271 __builtin_sqrtl: float -> float
 272
 273
 274 __builtin_sqrtf: float -> float
 275
 276
 277 __builtin_sqrt: float -> float
 278
 279
 280 __builtin_sinl: float -> float
 281
 282
 283 __builtin_sinhl: float -> float
 284
 285
 286 __builtin_sinhf: float -> float
 287
 288
 289 __builtin_sinh: float -> float
 290
 291
 292 __builtin_sinf: float -> float
 293
 294
 295 __builtin_sin: float -> float
 296
 297
 298 __builtin_return_address: int -> int
 299
 300
 301 __builtin_return: int -> void
 302
 303
 304 __builtin_powil: float -> int -> float
 305
 306
 307 __builtin_powif: float -> int -> float
 308
 309
 310 __builtin_powi: float -> int -> float
 311
 312
 313 __builtin_popcountll: int -> int
 314
 315
 316 __builtin_popcountl: int -> int
 317
 318
 319 __builtin_popcount: int -> int
 320
 321
 322 __builtin_parityll: int -> int
 323
 324
 325 __builtin_parityl: int -> int
 326
 327
 328 __builtin_parity: int -> int
 329
 330
 331 __builtin_object_size: int -> int -> int
 332
 333
 334 __builtin_next_arg: int
 335
 336
 337 __builtin_nansl: int -> float
 338
 339
 340 __builtin_nansf: int -> float
 341
 342
 343 __builtin_nans: int -> float
 344
 345
 346 __builtin_nanl: int -> float
 347
 348
 349 __builtin_nanf: int -> float
 350
 351
 352 __builtin_nan: int -> float
 353
 354
 355 __builtin_modfl: float -> int -> float
 356
 357
 358 __builtin_modff: float -> int -> float
 359
 360
 361 __builtin_mempcpy: int -> int -> int -> int
 362
 363
 364 __builtin_memcpy: int -> int -> int -> int
 365
 366
 367 __builtin_logl: float -> float
 368
 369
 370 __builtin_logf: float -> float
 371
 372
 373 __builtin_log10l: float -> float
 374
 375
 376 __builtin_log10f: float -> float
 377
 378
 379 __builtin_log10: float -> float
 380
 381
 382 __builtin_log: float -> float
 383
 384
 385 __builtin_ldexpl: float -> int -> float
 386
 387
 388 __builtin_ldexpf: float -> int -> float
 389
 390
 391 __builtin_ldexp: float -> int -> float
 392
 393
 394 __builtin_infl: float
 395
 396
 397 __builtin_inff: float
 398
 399
 400 __builtin_inf: float
 401
 402
 403 __builtin_huge_vall: float
 404
 405
 406 __builtin_huge_valf: float
 407
 408
 409 __builtin_huge_val: float
 410
 411
 412 __builtin_frexpl: float -> int -> float
 413
 414
 415 __builtin_frexpf: float -> int -> float
 416
 417
 418 __builtin_frexp: float -> int -> float
 419
 420
 421 __builtin_frame_address: int -> int
 422
 423
 424 __builtin_fmodl: float -> float
 425
 426
 427 __builtin_fmodf: float -> float
 428
 429
 430 __builtin_fmod: float -> float
 431
 432
 433 __builtin_floorl: float -> float
 434
 435
 436 __builtin_floorf: float -> float
 437
 438
 439 __builtin_floor: float -> float
 440
 441
 442 __builtin_ffsll: int -> int
 443
 444
 445 __builtin_ffsl: int -> int
 446
 447
 448 __builtin_ffs: int -> int
 449
 450
 451 __builtin_fabsl: float -> float
 452
 453
 454 __builtin_fabsf: float -> float
 455
 456
 457 __builtin_fabs: float -> float
 458
 459
 460 __builtin_expl: float -> float
 461
 462
 463 __builtin_expf: float -> float
 464
 465
 466 __builtin_expect: int -> int -> int
 467
 468
 469 __builtin_exp: float -> float
 470
 471
 472 __builtin_ctzll: int -> int
 473
 474
 475 __builtin_ctzl: int -> int
 476
 477
 478 __builtin_ctz: int -> int
 479
 480
 481 __builtin_cosl: float -> float
 482
 483
 484 __builtin_coshl: float -> float
 485
 486
 487 __builtin_coshf: float -> float
 488
 489
 490 __builtin_cosh: float -> float
 491
 492
 493 __builtin_cosf: float -> float
 494
 495
 496 __builtin_cos: float -> float
 497
 498
 499 __builtin_constant_p: int -> int
 500
 501
 502 __builtin_clzll: int -> int
 503
 504
 505 __builtin_clzl: int -> int
 506
 507
 508 __builtin_clz: int -> int
 509
 510
 511 __builtin_ceill: float -> float
 512
 513
 514 __builtin_ceilf: float -> float
 515
 516
 517 __builtin_ceil: float -> float
 518
 519
 520 __builtin_atanl: float -> float
 521
 522
 523 __builtin_atanf: float -> float
 524
 525
 526 __builtin_atan2l: float -> float -> float
 527
 528
 529 __builtin_atan2f: float -> float -> float
 530
 531
 532 __builtin_atan2: float -> float -> float
 533
 534
 535 __builtin_atan: float -> float
 536
 537
 538 __builtin_asinl: float -> float
 539
 540
 541 __builtin_asinf: float -> float
 542
 543
 544 __builtin_asin: float -> float
 545
 546
 547 __builtin_alloca: int -> int
 548
 549
 550 __builtin_acosl: float -> float
 551
 552
 553 __builtin_acosf: float -> float
 554
 555
 556 __builtin_acos: float -> float
 557
 558
 559 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
 560
 561
 562 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
 563
 564
 565 __builtin___vprintf_chk: int -> int -> int -> int
 566
 567
 568 __builtin___vfprintf_chk: int -> int -> int -> int -> int
 569
 570
 571 __builtin___strncpy_chk: int -> int -> int -> int -> int
 572
 573
 574 __builtin___strncat_chk: int -> int -> int -> int -> int
 575
 576
 577 __builtin___strcpy_chk: int -> int -> int -> int
 578
 579
 580 __builtin___strcat_chk: int -> int -> int -> int
 581
 582
 583 __builtin___stpcpy_chk: int -> int -> int -> int
 584
 585
 586 __builtin___memset_chk: int -> int -> int -> int -> int
 587
 588
 589 __builtin___mempcpy_chk: int -> int -> int -> int -> int
 590
 591
 592 __builtin___memmove_chk: int -> int -> int -> int -> int
 593
 594
 595 __builtin___memcpy_chk: int -> int -> int -> int -> int
 596
 597
 598 procedure TB_Boucle(4)
 599 var 0
 600 entry TB_Boucle59
 601 TB_Boucle59: newframe                --> TB_Boucle58
 602 TB_Boucle58: j                       --> TB_Boucle57
 603 TB_Boucle57: j                       --> TB_Boucle56
 604 TB_Boucle56: j                       --> TB_Boucle55
 605 TB_Boucle55: j                       --> TB_Boucle54
 606 TB_Boucle54: j                       --> TB_Boucle53
 607 TB_Boucle53: j                       --> TB_Boucle52
 608 TB_Boucle52: j                       --> TB_Boucle51
 609 TB_Boucle51: j                       --> TB_Boucle50
 610 TB_Boucle50: j                       --> TB_Boucle49
 611 TB_Boucle49: j                       --> TB_Boucle48
 612 TB_Boucle48: j                       --> TB_Boucle47
 613 TB_Boucle47: j                       --> TB_Boucle46
 614 TB_Boucle46: j                       --> TB_Boucle45
 615 TB_Boucle45: j                       --> TB_Boucle44
 616 TB_Boucle44: j                       --> TB_Boucle43
 617 TB_Boucle43: j                       --> TB_Boucle42
 618 TB_Boucle42: j                       --> TB_Boucle41
 619 TB_Boucle41: j                       --> TB_Boucle40
 620 TB_Boucle40: j                       --> TB_Boucle39
 621 TB_Boucle39: j                       --> TB_Boucle38
 622 TB_Boucle38: j                       --> TB_Boucle37
 623 TB_Boucle37: j                       --> TB_Boucle36
 624 TB_Boucle36: j                       --> TB_Boucle35
 625 TB_Boucle35: j                       --> TB_Boucle34
 626 TB_Boucle34: j                       --> TB_Boucle33
 627 TB_Boucle33: j                       --> TB_Boucle32
 628 TB_Boucle32: j                       --> TB_Boucle31
 629 TB_Boucle31: j                       --> TB_Boucle30
 630 TB_Boucle30: j                       --> TB_Boucle29
 631 TB_Boucle29: j                       --> TB_Boucle28
 632 TB_Boucle28: j                       --> TB_Boucle23
 633 TB_Boucle23: emit c4                 --> TB_Boucle22
 634 TB_Boucle22: emit c3                 --> TB_Boucle21
 635 TB_Boucle21: li    $t0, 0            --> TB_Boucle1
 636 TB_Boucle1 : j                       --> TB_Boucle20
 637 TB_Boucle20: li    $t1, 0            --> TB_Boucle19
 638 TB_Boucle19: emit c2                 --> TB_Boucle18
 639 TB_Boucle18: slt     $v0, $t0, $a3   --> TB_Boucle17
 640 TB_Boucle17: j                       --> TB_Boucle25
 641 TB_Boucle25: seq     $v0, $v0, $zero --> TB_Boucle16
 642 TB_Boucle16: beq     $v0, $t1        --> TB_Boucle15, TB_Boucle0
 643 TB_Boucle0 : j                       --> TB_Boucle70
 644 TB_Boucle70: j                       --> TB_Boucle69
 645 TB_Boucle69: j                       --> TB_Boucle68
 646 TB_Boucle68: j                       --> TB_Boucle67
 647 TB_Boucle67: j                       --> TB_Boucle66
 648 TB_Boucle66: j                       --> TB_Boucle65
 649 TB_Boucle65: j                       --> TB_Boucle64
 650 TB_Boucle64: j                       --> TB_Boucle63
 651 TB_Boucle63: j                       --> TB_Boucle62
 652 TB_Boucle62: j                       --> TB_Boucle61
 653 TB_Boucle61: delframe                --> TB_Boucle60
 654 TB_Boucle60: jr    $ra
 655 TB_Boucle15: emit c0                 --> TB_Boucle14
 656 TB_Boucle14: li    $v0, 4            --> TB_Boucle13
 657 TB_Boucle13: mulo    $v0, $t0, $v0   --> TB_Boucle12
 658 TB_Boucle12: add     $v0, $a0, $v0   --> TB_Boucle24
 659 TB_Boucle24: lw    $t1, 0($v0)       --> TB_Boucle11
 660 TB_Boucle11: li    $v0, 4            --> TB_Boucle10
 661 TB_Boucle10: mulo    $v0, $t0, $v0   --> TB_Boucle9
 662 TB_Boucle9 : add     $v0, $a1, $v0   --> TB_Boucle27
 663 TB_Boucle27: lw    $v0, 0($v0)       --> TB_Boucle8
 664 TB_Boucle8 : add     $t1, $t1, $v0   --> TB_Boucle7
 665 TB_Boucle7 : li    $v0, 4            --> TB_Boucle6
 666 TB_Boucle6 : mulo    $v0, $t0, $v0   --> TB_Boucle5
 667 TB_Boucle5 : add     $v0, $a2, $v0   --> TB_Boucle26
 668 TB_Boucle26: lw    $t1, 0($v0)       --> TB_Boucle4
 669 TB_Boucle4 : emit c1                 --> TB_Boucle3
 670 TB_Boucle3 : li    $v0, 1            --> TB_Boucle2
 671 TB_Boucle2 : add     $t0, $t0, $v0   --> TB_Boucle1
 672