tests/clight/testTB_Array_LE.LTL.expected

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