tests/clight/testTB_Array_double.LTL.expected

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