tests/clight/testCOMP_tri.LTL.expected

   1 program
   2
   3 globals 0
   4
   5 procedure tri(2)
   6 var 0
   7 entry tri121
   8 tri121: newframe                --> tri120
   9 tri120: j                       --> tri119
  10 tri119: j                       --> tri118
  11 tri118: j                       --> tri117
  12 tri117: j                       --> tri116
  13 tri116: j                       --> tri115
  14 tri115: j                       --> tri114
  15 tri114: j                       --> tri113
  16 tri113: j                       --> tri112
  17 tri112: j                       --> tri111
  18 tri111: j                       --> tri110
  19 tri110: j                       --> tri109
  20 tri109: j                       --> tri108
  21 tri108: j                       --> tri107
  22 tri107: j                       --> tri106
  23 tri106: j                       --> tri105
  24 tri105: j                       --> tri104
  25 tri104: j                       --> tri103
  26 tri103: j                       --> tri102
  27 tri102: j                       --> tri101
  28 tri101: j                       --> tri100
  29 tri100: j                       --> tri99
  30 tri99 : j                       --> tri98
  31 tri98 : j                       --> tri97
  32 tri97 : j                       --> tri96
  33 tri96 : j                       --> tri95
  34 tri95 : j                       --> tri94
  35 tri94 : j                       --> tri93
  36 tri93 : j                       --> tri92
  37 tri92 : j                       --> tri91
  38 tri91 : j                       --> tri90
  39 tri90 : j                       --> tri89
  40 tri89 : j                       --> tri88
  41 tri88 : j                       --> tri87
  42 tri87 : j                       --> tri86
  43 tri86 : j                       --> tri85
  44 tri85 : j                       --> tri84
  45 tri84 : j                       --> tri83
  46 tri83 : j                       --> tri82
  47 tri82 : j                       --> tri81
  48 tri81 : j                       --> tri80
  49 tri80 : j                       --> tri79
  50 tri79 : j                       --> tri78
  51 tri78 : j                       --> tri77
  52 tri77 : j                       --> tri76
  53 tri76 : j                       --> tri75
  54 tri75 : j                       --> tri74
  55 tri74 : j                       --> tri73
  56 tri73 : j                       --> tri72
  57 tri72 : j                       --> tri71
  58 tri71 : j                       --> tri70
  59 tri70 : j                       --> tri69
  60 tri69 : j                       --> tri68
  61 tri68 : j                       --> tri67
  62 tri67 : j                       --> tri58
  63 tri58 : emit c12                --> tri57
  64 tri57 : j                       --> tri56
  65 tri56 : emit c11                --> tri55
  66 tri55 : emit c10                --> tri54
  67 tri54 : li    $t0, 0            --> tri1
  68 tri1  : j                       --> tri53
  69 tri53 : li    $a2, 0            --> tri52
  70 tri52 : emit c9                 --> tri51
  71 tri51 : slt     $v0, $t0, $a1   --> tri50
  72 tri50 : j                       --> tri65
  73 tri65 : seq     $v0, $v0, $zero --> tri49
  74 tri49 : beq     $v0, $a2        --> tri48, tri0
  75 tri0  : j                       --> tri132
  76 tri132: j                       --> tri131
  77 tri131: j                       --> tri130
  78 tri130: j                       --> tri129
  79 tri129: j                       --> tri128
  80 tri128: j                       --> tri127
  81 tri127: j                       --> tri126
  82 tri126: j                       --> tri125
  83 tri125: j                       --> tri124
  84 tri124: j                       --> tri123
  85 tri123: delframe                --> tri122
  86 tri122: jr    $ra
  87 tri48 : emit c7                 --> tri47
  88 tri47 : emit c6                 --> tri46
  89 tri46 : li    $t1, 1            --> tri5
  90 tri5  : j                       --> tri45
  91 tri45 : li    $a2, 0            --> tri44
  92 tri44 : emit c5                 --> tri43
  93 tri43 : sub     $v0, $a1, $t0   --> tri42
  94 tri42 : slt     $v0, $t1, $v0   --> tri41
  95 tri41 : j                       --> tri64
  96 tri64 : seq     $v0, $v0, $zero --> tri40
  97 tri40 : beq     $v0, $a2        --> tri39, tri4
  98 tri4  : emit c8                 --> tri3
  99 tri3  : li    $v0, 1            --> tri2
 100 tri2  : add     $t0, $t0, $v0   --> tri1
 101 tri39 : emit c3                 --> tri38
 102 tri38 : j                       --> tri37
 103 tri37 : li    $v0, 4            --> tri36
 104 tri36 : mulo    $v0, $t1, $v0   --> tri35
 105 tri35 : add     $v0, $a0, $v0   --> tri63
 106 tri63 : lw    $a3, 0($v0)       --> tri34
 107 tri34 : li    $v0, 1            --> tri33
 108 tri33 : sub     $a2, $t1, $v0   --> tri32
 109 tri32 : li    $v0, 4            --> tri31
 110 tri31 : mulo    $v0, $a2, $v0   --> tri30
 111 tri30 : add     $v0, $a0, $v0   --> tri62
 112 tri62 : lw    $v0, 0($v0)       --> tri29
 113 tri29 : slt     $v0, $a3, $v0   --> tri28
 114 tri28 : beq     $v0, $zero      --> tri8, tri27
 115 tri27 : emit c2                 --> tri26
 116 tri26 : li    $v0, 1            --> tri25
 117 tri25 : sub     $a2, $t1, $v0   --> tri24
 118 tri24 : li    $v0, 4            --> tri23
 119 tri23 : mulo    $v0, $a2, $v0   --> tri22
 120 tri22 : add     $v0, $a0, $v0   --> tri61
 121 tri61 : lw    $t2, 0($v0)       --> tri21
 122 tri21 : emit c1                 --> tri20
 123 tri20 : li    $v0, 4            --> tri19
 124 tri19 : mulo    $v0, $t1, $v0   --> tri18
 125 tri18 : add     $v0, $a0, $v0   --> tri60
 126 tri60 : lw    $a3, 0($v0)       --> tri17
 127 tri17 : li    $v0, 1            --> tri16
 128 tri16 : sub     $a2, $t1, $v0   --> tri15
 129 tri15 : li    $v0, 4            --> tri14
 130 tri14 : mulo    $v0, $a2, $v0   --> tri13
 131 tri13 : add     $v0, $a0, $v0   --> tri59
 132 tri59 : lw    $a3, 0($v0)       --> tri12
 133 tri12 : emit c0                 --> tri11
 134 tri11 : li    $v0, 4            --> tri10
 135 tri10 : mulo    $v0, $t1, $v0   --> tri9
 136 tri9  : add     $v0, $a0, $v0   --> tri66
 137 tri66 : lw    $t2, 0($v0)       --> tri8
 138 tri8  : emit c4                 --> tri7
 139 tri7  : li    $v0, 1            --> tri6
 140 tri6  : add     $t1, $t1, $v0   --> tri5
 141
 142 procedure _main(0)
 143 var 44
 144 entry main171
 145 main171: newframe                --> main170
 146 main170: lw    $ra, 40($sp)      --> main169
 147 main169: j                       --> main168
 148 main168: j                       --> main167
 149 main167: j                       --> main166
 150 main166: j                       --> main165
 151 main165: j                       --> main164
 152 main164: j                       --> main163
 153 main163: j                       --> main162
 154 main162: j                       --> main161
 155 main161: j                       --> main160
 156 main160: j                       --> main159
 157 main159: j                       --> main158
 158 main158: j                       --> main157
 159 main157: j                       --> main156
 160 main156: j                       --> main155
 161 main155: j                       --> main154
 162 main154: j                       --> main153
 163 main153: j                       --> main152
 164 main152: j                       --> main151
 165 main151: j                       --> main150
 166 main150: j                       --> main149
 167 main149: j                       --> main148
 168 main148: j                       --> main147
 169 main147: j                       --> main146
 170 main146: j                       --> main145
 171 main145: j                       --> main144
 172 main144: j                       --> main143
 173 main143: j                       --> main142
 174 main142: j                       --> main141
 175 main141: j                       --> main140
 176 main140: j                       --> main139
 177 main139: j                       --> main138
 178 main138: j                       --> main137
 179 main137: j                       --> main136
 180 main136: j                       --> main135
 181 main135: j                       --> main134
 182 main134: j                       --> main133
 183 main133: j                       --> main132
 184 main132: j                       --> main131
 185 main131: j                       --> main130
 186 main130: j                       --> main129
 187 main129: j                       --> main128
 188 main128: j                       --> main127
 189 main127: j                       --> main126
 190 main126: j                       --> main125
 191 main125: j                       --> main124
 192 main124: j                       --> main123
 193 main123: j                       --> main122
 194 main122: j                       --> main121
 195 main121: j                       --> main120
 196 main120: j                       --> main119
 197 main119: j                       --> main118
 198 main118: j                       --> main117
 199 main117: j                       --> main116
 200 main116: j                       --> main115
 201 main115: j                       --> main114
 202 main114: j                       --> main113
 203 main113: j                       --> main112
 204 main112: j                       --> main111
 205 main111: j                       --> main110
 206 main110: j                       --> main109
 207 main109: j                       --> main108
 208 main108: j                       --> main107
 209 main107: j                       --> main106
 210 main106: j                       --> main105
 211 main105: j                       --> main104
 212 main104: j                       --> main103
 213 main103: j                       --> main102
 214 main102: j                       --> main101
 215 main101: j                       --> main100
 216 main100: j                       --> main99
 217 main99 : j                       --> main98
 218 main98 : j                       --> main97
 219 main97 : j                       --> main96
 220 main96 : j                       --> main95
 221 main95 : j                       --> main94
 222 main94 : j                       --> main93
 223 main93 : j                       --> main80
 224 main80 : emit c24                --> main79
 225 main79 : li    $a1, 10           --> main78
 226 main78 : move    $a0, $sp        --> main194
 227 main194: j                       --> main77
 228 main77 : j                       --> main76
 229 main76 : li    $v0, 4            --> main75
 230 main75 : mulo    $v0, $zero, $v0 --> main74
 231 main74 : add     $v0, $a0, $v0   --> main92
 232 main92 : lw    $a1, 0($v0)       --> main73
 233 main73 : emit c23                --> main72
 234 main72 : li    $a2, 9            --> main71
 235 main71 : move    $a1, $sp        --> main193
 236 main193: j                       --> main70
 237 main70 : li    $a0, 1            --> main69
 238 main69 : li    $v0, 4            --> main68
 239 main68 : mulo    $v0, $a0, $v0   --> main67
 240 main67 : add     $v0, $a1, $v0   --> main90
 241 main90 : lw    $a2, 0($v0)       --> main66
 242 main66 : emit c22                --> main65
 243 main65 : li    $a2, 8            --> main64
 244 main64 : move    $a1, $sp        --> main192
 245 main192: j                       --> main63
 246 main63 : li    $a0, 2            --> main62
 247 main62 : li    $v0, 4            --> main61
 248 main61 : mulo    $v0, $a0, $v0   --> main60
 249 main60 : add     $v0, $a1, $v0   --> main89
 250 main89 : lw    $a2, 0($v0)       --> main59
 251 main59 : emit c21                --> main58
 252 main58 : li    $a2, 7            --> main57
 253 main57 : move    $a1, $sp        --> main191
 254 main191: j                       --> main56
 255 main56 : li    $a0, 3            --> main55
 256 main55 : li    $v0, 4            --> main54
 257 main54 : mulo    $v0, $a0, $v0   --> main53
 258 main53 : add     $v0, $a1, $v0   --> main88
 259 main88 : lw    $a2, 0($v0)       --> main52
 260 main52 : emit c20                --> main51
 261 main51 : li    $a2, 6            --> main50
 262 main50 : move    $a1, $sp        --> main190
 263 main190: j                       --> main49
 264 main49 : li    $a0, 4            --> main48
 265 main48 : li    $v0, 4            --> main47
 266 main47 : mulo    $v0, $a0, $v0   --> main46
 267 main46 : add     $v0, $a1, $v0   --> main87
 268 main87 : lw    $a2, 0($v0)       --> main45
 269 main45 : emit c19                --> main44
 270 main44 : li    $a2, 5            --> main43
 271 main43 : move    $a1, $sp        --> main188
 272 main188: j                       --> main42
 273 main42 : li    $a0, 5            --> main41
 274 main41 : li    $v0, 4            --> main40
 275 main40 : mulo    $v0, $a0, $v0   --> main39
 276 main39 : add     $v0, $a1, $v0   --> main86
 277 main86 : lw    $a2, 0($v0)       --> main38
 278 main38 : emit c18                --> main37
 279 main37 : li    $a2, 4            --> main36
 280 main36 : move    $a1, $sp        --> main187
 281 main187: j                       --> main35
 282 main35 : li    $a0, 6            --> main34
 283 main34 : li    $v0, 4            --> main33
 284 main33 : mulo    $v0, $a0, $v0   --> main32
 285 main32 : add     $v0, $a1, $v0   --> main85
 286 main85 : lw    $a2, 0($v0)       --> main31
 287 main31 : emit c17                --> main30
 288 main30 : li    $a2, 3            --> main29
 289 main29 : move    $a1, $sp        --> main186
 290 main186: j                       --> main28
 291 main28 : li    $a0, 7            --> main27
 292 main27 : li    $v0, 4            --> main26
 293 main26 : mulo    $v0, $a0, $v0   --> main25
 294 main25 : add     $v0, $a1, $v0   --> main84
 295 main84 : lw    $a2, 0($v0)       --> main24
 296 main24 : emit c16                --> main23
 297 main23 : li    $a2, 2            --> main22
 298 main22 : move    $a1, $sp        --> main185
 299 main185: j                       --> main21
 300 main21 : li    $a0, 8            --> main20
 301 main20 : li    $v0, 4            --> main19
 302 main19 : mulo    $v0, $a0, $v0   --> main18
 303 main18 : add     $v0, $a1, $v0   --> main83
 304 main83 : lw    $a2, 0($v0)       --> main17
 305 main17 : emit c15                --> main16
 306 main16 : li    $a2, 1            --> main15
 307 main15 : move    $a1, $sp        --> main184
 308 main184: j                       --> main14
 309 main14 : li    $a0, 9            --> main13
 310 main13 : li    $v0, 4            --> main12
 311 main12 : mulo    $v0, $a0, $v0   --> main11
 312 main11 : add     $v0, $a1, $v0   --> main82
 313 main82 : lw    $a2, 0($v0)       --> main10
 314 main10 : emit c14                --> main9
 315 main9  : move    $a0, $sp        --> main195
 316 main195: j                       --> main8
 317 main8  : li    $a1, 10           --> main7
 318 main7  : la    $v0, tri          --> main91
 319 main91 : j                       --> main199
 320 main199: j                       --> main198
 321 main198: j                       --> main197
 322 main197: call  $v0               --> main196
 323 main196: j                       --> main6
 324 main6  : emit c13                --> main5
 325 main5  : j                       --> main189
 326 main189: j                       --> main4
 327 main4  : j                       --> main3
 328 main3  : li    $v0, 4            --> main2
 329 main2  : mulo    $v0, $zero, $v0 --> main1
 330 main1  : add     $v0, $sp, $v0   --> main81
 331 main81 : lw    $v0, 0($v0)       --> main0
 332 main0  : j                       --> main183
 333 main183: j                       --> main182
 334 main182: lw    $ra, 40($sp)      --> main181
 335 main181: j                       --> main180
 336 main180: j                       --> main179
 337 main179: j                       --> main178
 338 main178: j                       --> main177
 339 main177: j                       --> main176
 340 main176: j                       --> main175
 341 main175: j                       --> main174
 342 main174: j                       --> main173
 343 main173: delframe                --> main172
 344 main172: jr    $ra
 345
 346 __builtin_varargs_start: int -> void
 347
 348
 349 __builtin_va_start: int -> int -> void
 350
 351
 352 __builtin_va_end: int -> void
 353
 354
 355 __builtin_va_copy: int -> int -> void
 356
 357
 358 __builtin_va_arg: int -> int -> void
 359
 360
 361 __builtin_types_compatible_p: int -> int -> int
 362
 363
 364 __builtin_tanl: float -> float
 365
 366
 367 __builtin_tanhl: float -> float
 368
 369
 370 __builtin_tanhf: float -> float
 371
 372
 373 __builtin_tanh: float -> float
 374
 375
 376 __builtin_tanf: float -> float
 377
 378
 379 __builtin_tan: float -> float
 380
 381
 382 __builtin_strspn: int -> int -> int
 383
 384
 385 __builtin_strpbrk: int -> int -> int
 386
 387
 388 __builtin_strncpy: int -> int -> int -> int
 389
 390
 391 __builtin_strncmp: int -> int -> int -> int
 392
 393
 394 __builtin_strncat: int -> int -> int -> int
 395
 396
 397 __builtin_strcspn: int -> int -> int
 398
 399
 400 __builtin_strcpy: int -> int -> int
 401
 402
 403 __builtin_strcmp: int -> int -> int
 404
 405
 406 __builtin_strchr: int -> int -> int
 407
 408
 409 __builtin_stpcpy: int -> int -> int
 410
 411
 412 __builtin_stdarg_start: int -> void
 413
 414
 415 __builtin_sqrtl: float -> float
 416
 417
 418 __builtin_sqrtf: float -> float
 419
 420
 421 __builtin_sqrt: float -> float
 422
 423
 424 __builtin_sinl: float -> float
 425
 426
 427 __builtin_sinhl: float -> float
 428
 429
 430 __builtin_sinhf: float -> float
 431
 432
 433 __builtin_sinh: float -> float
 434
 435
 436 __builtin_sinf: float -> float
 437
 438
 439 __builtin_sin: float -> float
 440
 441
 442 __builtin_return_address: int -> int
 443
 444
 445 __builtin_return: int -> void
 446
 447
 448 __builtin_powil: float -> int -> float
 449
 450
 451 __builtin_powif: float -> int -> float
 452
 453
 454 __builtin_powi: float -> int -> float
 455
 456
 457 __builtin_popcountll: int -> int
 458
 459
 460 __builtin_popcountl: int -> int
 461
 462
 463 __builtin_popcount: int -> int
 464
 465
 466 __builtin_parityll: int -> int
 467
 468
 469 __builtin_parityl: int -> int
 470
 471
 472 __builtin_parity: int -> int
 473
 474
 475 __builtin_object_size: int -> int -> int
 476
 477
 478 __builtin_next_arg: int
 479
 480
 481 __builtin_nansl: int -> float
 482
 483
 484 __builtin_nansf: int -> float
 485
 486
 487 __builtin_nans: int -> float
 488
 489
 490 __builtin_nanl: int -> float
 491
 492
 493 __builtin_nanf: int -> float
 494
 495
 496 __builtin_nan: int -> float
 497
 498
 499 __builtin_modfl: float -> int -> float
 500
 501
 502 __builtin_modff: float -> int -> float
 503
 504
 505 __builtin_mempcpy: int -> int -> int -> int
 506
 507
 508 __builtin_memcpy: int -> int -> int -> int
 509
 510
 511 __builtin_logl: float -> float
 512
 513
 514 __builtin_logf: float -> float
 515
 516
 517 __builtin_log10l: float -> float
 518
 519
 520 __builtin_log10f: float -> float
 521
 522
 523 __builtin_log10: float -> float
 524
 525
 526 __builtin_log: float -> float
 527
 528
 529 __builtin_ldexpl: float -> int -> float
 530
 531
 532 __builtin_ldexpf: float -> int -> float
 533
 534
 535 __builtin_ldexp: float -> int -> float
 536
 537
 538 __builtin_infl: float
 539
 540
 541 __builtin_inff: float
 542
 543
 544 __builtin_inf: float
 545
 546
 547 __builtin_huge_vall: float
 548
 549
 550 __builtin_huge_valf: float
 551
 552
 553 __builtin_huge_val: float
 554
 555
 556 __builtin_frexpl: float -> int -> float
 557
 558
 559 __builtin_frexpf: float -> int -> float
 560
 561
 562 __builtin_frexp: float -> int -> float
 563
 564
 565 __builtin_frame_address: int -> int
 566
 567
 568 __builtin_fmodl: float -> float
 569
 570
 571 __builtin_fmodf: float -> float
 572
 573
 574 __builtin_fmod: float -> float
 575
 576
 577 __builtin_floorl: float -> float
 578
 579
 580 __builtin_floorf: float -> float
 581
 582
 583 __builtin_floor: float -> float
 584
 585
 586 __builtin_ffsll: int -> int
 587
 588
 589 __builtin_ffsl: int -> int
 590
 591
 592 __builtin_ffs: int -> int
 593
 594
 595 __builtin_fabsl: float -> float
 596
 597
 598 __builtin_fabsf: float -> float
 599
 600
 601 __builtin_fabs: float -> float
 602
 603
 604 __builtin_expl: float -> float
 605
 606
 607 __builtin_expf: float -> float
 608
 609
 610 __builtin_expect: int -> int -> int
 611
 612
 613 __builtin_exp: float -> float
 614
 615
 616 __builtin_ctzll: int -> int
 617
 618
 619 __builtin_ctzl: int -> int
 620
 621
 622 __builtin_ctz: int -> int
 623
 624
 625 __builtin_cosl: float -> float
 626
 627
 628 __builtin_coshl: float -> float
 629
 630
 631 __builtin_coshf: float -> float
 632
 633
 634 __builtin_cosh: float -> float
 635
 636
 637 __builtin_cosf: float -> float
 638
 639
 640 __builtin_cos: float -> float
 641
 642
 643 __builtin_constant_p: int -> int
 644
 645
 646 __builtin_clzll: int -> int
 647
 648
 649 __builtin_clzl: int -> int
 650
 651
 652 __builtin_clz: int -> int
 653
 654
 655 __builtin_ceill: float -> float
 656
 657
 658 __builtin_ceilf: float -> float
 659
 660
 661 __builtin_ceil: float -> float
 662
 663
 664 __builtin_atanl: float -> float
 665
 666
 667 __builtin_atanf: float -> float
 668
 669
 670 __builtin_atan2l: float -> float -> float
 671
 672
 673 __builtin_atan2f: float -> float -> float
 674
 675
 676 __builtin_atan2: float -> float -> float
 677
 678
 679 __builtin_atan: float -> float
 680
 681
 682 __builtin_asinl: float -> float
 683
 684
 685 __builtin_asinf: float -> float
 686
 687
 688 __builtin_asin: float -> float
 689
 690
 691 __builtin_alloca: int -> int
 692
 693
 694 __builtin_acosl: float -> float
 695
 696
 697 __builtin_acosf: float -> float
 698
 699
 700 __builtin_acos: float -> float
 701
 702
 703 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
 704
 705
 706 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
 707
 708
 709 __builtin___vprintf_chk: int -> int -> int -> int
 710
 711
 712 __builtin___vfprintf_chk: int -> int -> int -> int -> int
 713
 714
 715 __builtin___strncpy_chk: int -> int -> int -> int -> int
 716
 717
 718 __builtin___strncat_chk: int -> int -> int -> int -> int
 719
 720
 721 __builtin___strcpy_chk: int -> int -> int -> int
 722
 723
 724 __builtin___strcat_chk: int -> int -> int -> int
 725
 726
 727 __builtin___stpcpy_chk: int -> int -> int -> int
 728
 729
 730 __builtin___memset_chk: int -> int -> int -> int -> int
 731
 732
 733 __builtin___mempcpy_chk: int -> int -> int -> int -> int
 734
 735
 736 __builtin___memmove_chk: int -> int -> int -> int -> int
 737
 738
 739 __builtin___memcpy_chk: int -> int -> int -> int -> int
 740
 741