tests/clight/testTB_Array_lecture.LTL.expected

   1 program
   2
   3 globals 20
   4
   5 procedure array_lecture(3)
   6 var 0
   7 entry array_lecture33
   8 array_lecture33: newframe              --> array_lecture32
   9 array_lecture32: j                     --> array_lecture31
  10 array_lecture31: j                     --> array_lecture30
  11 array_lecture30: j                     --> array_lecture29
  12 array_lecture29: j                     --> array_lecture28
  13 array_lecture28: j                     --> array_lecture27
  14 array_lecture27: j                     --> array_lecture26
  15 array_lecture26: j                     --> array_lecture25
  16 array_lecture25: j                     --> array_lecture24
  17 array_lecture24: j                     --> array_lecture23
  18 array_lecture23: j                     --> array_lecture22
  19 array_lecture22: j                     --> array_lecture21
  20 array_lecture21: j                     --> array_lecture20
  21 array_lecture20: j                     --> array_lecture19
  22 array_lecture19: j                     --> array_lecture18
  23 array_lecture18: j                     --> array_lecture17
  24 array_lecture17: j                     --> array_lecture16
  25 array_lecture16: j                     --> array_lecture15
  26 array_lecture15: j                     --> array_lecture14
  27 array_lecture14: j                     --> array_lecture13
  28 array_lecture13: j                     --> array_lecture10
  29 array_lecture10: emit c2               --> array_lecture9
  30 array_lecture9 : li    $v0, 4          --> array_lecture8
  31 array_lecture8 : mulo    $v0, $a1, $v0 --> array_lecture7
  32 array_lecture7 : add     $v0, $a0, $v0 --> array_lecture12
  33 array_lecture12: lw    $a1, 0($v0)     --> array_lecture6
  34 array_lecture6 : emit c1               --> array_lecture5
  35 array_lecture5 : li    $v0, 4          --> array_lecture4
  36 array_lecture4 : mulo    $v0, $a2, $v0 --> array_lecture3
  37 array_lecture3 : add     $v0, $a0, $v0 --> array_lecture11
  38 array_lecture11: lw    $v0, 0($v0)     --> array_lecture2
  39 array_lecture2 : emit c0               --> array_lecture1
  40 array_lecture1 : add     $v0, $a1, $v0 --> array_lecture0
  41 array_lecture0 : j                     --> array_lecture45
  42 array_lecture45: j                     --> array_lecture44
  43 array_lecture44: j                     --> array_lecture43
  44 array_lecture43: j                     --> array_lecture42
  45 array_lecture42: j                     --> array_lecture41
  46 array_lecture41: j                     --> array_lecture40
  47 array_lecture40: j                     --> array_lecture39
  48 array_lecture39: j                     --> array_lecture38
  49 array_lecture38: j                     --> array_lecture37
  50 array_lecture37: j                     --> array_lecture36
  51 array_lecture36: j                     --> array_lecture35
  52 array_lecture35: delframe              --> array_lecture34
  53 array_lecture34: jr    $ra
  54
  55 procedure _main(0)
  56 var 4
  57 entry main48
  58 main48: newframe                 --> main47
  59 main47: lw    $ra, 0($sp)        --> main46
  60 main46: j                        --> main45
  61 main45: j                        --> main44
  62 main44: j                        --> main43
  63 main43: j                        --> main42
  64 main42: j                        --> main41
  65 main41: j                        --> main40
  66 main40: j                        --> main39
  67 main39: j                        --> main38
  68 main38: j                        --> main37
  69 main37: j                        --> main36
  70 main36: j                        --> main35
  71 main35: j                        --> main34
  72 main34: j                        --> main33
  73 main33: j                        --> main32
  74 main32: j                        --> main31
  75 main31: j                        --> main30
  76 main30: j                        --> main29
  77 main29: j                        --> main28
  78 main28: j                        --> main27
  79 main27: j                        --> main26
  80 main26: j                        --> main25
  81 main25: j                        --> main24
  82 main24: j                        --> main17
  83 main17: li    $a0, 1             --> main16
  84 main16: move    $v0, $gp         --> main64
  85 main64: j                        --> main21
  86 main21: lw    $a0, 0($v0)        --> main15
  87 main15: li    $a0, 2             --> main14
  88 main14: move    $v0, $gp         --> main63
  89 main63: j                        --> main20
  90 main20: lw    $a0, 4($v0)        --> main13
  91 main13: li    $a0, 3             --> main12
  92 main12: move    $v0, $gp         --> main62
  93 main62: j                        --> main19
  94 main19: lw    $a0, 8($v0)        --> main11
  95 main11: li    $a0, 5             --> main10
  96 main10: move    $v0, $gp         --> main61
  97 main61: j                        --> main18
  98 main18: lw    $a0, 12($v0)       --> main9
  99 main9 : li    $a0, 8             --> main8
 100 main8 : move    $v0, $gp         --> main71
 101 main71: j                        --> main23
 102 main23: lw    $a0, 16($v0)       --> main7
 103 main7 : emit c4                  --> main6
 104 main6 : move    $a0, $gp         --> main70
 105 main70: j                        --> main5
 106 main5 : li    $a1, 0             --> main4
 107 main4 : li    $a2, 4             --> main3
 108 main3 : la    $v0, array_lecture --> main22
 109 main22: j                        --> main69
 110 main69: j                        --> main68
 111 main68: j                        --> main67
 112 main67: j                        --> main66
 113 main66: call  $v0                --> main65
 114 main65: j                        --> main2
 115 main2 : emit c3                  --> main1
 116 main1 : j                        --> main0
 117 main0 : j                        --> main60
 118 main60: j                        --> main59
 119 main59: lw    $ra, 0($sp)        --> main58
 120 main58: j                        --> main57
 121 main57: j                        --> main56
 122 main56: j                        --> main55
 123 main55: j                        --> main54
 124 main54: j                        --> main53
 125 main53: j                        --> main52
 126 main52: j                        --> main51
 127 main51: j                        --> main50
 128 main50: delframe                 --> main49
 129 main49: jr    $ra
 130
 131 __builtin_varargs_start: int -> void
 132
 133
 134 __builtin_va_start: int -> int -> void
 135
 136
 137 __builtin_va_end: int -> void
 138
 139
 140 __builtin_va_copy: int -> int -> void
 141
 142
 143 __builtin_va_arg: int -> int -> void
 144
 145
 146 __builtin_types_compatible_p: int -> int -> int
 147
 148
 149 __builtin_tanl: float -> float
 150
 151
 152 __builtin_tanhl: float -> float
 153
 154
 155 __builtin_tanhf: float -> float
 156
 157
 158 __builtin_tanh: float -> float
 159
 160
 161 __builtin_tanf: float -> float
 162
 163
 164 __builtin_tan: float -> float
 165
 166
 167 __builtin_strspn: int -> int -> int
 168
 169
 170 __builtin_strpbrk: int -> int -> int
 171
 172
 173 __builtin_strncpy: int -> int -> int -> int
 174
 175
 176 __builtin_strncmp: int -> int -> int -> int
 177
 178
 179 __builtin_strncat: int -> int -> int -> int
 180
 181
 182 __builtin_strcspn: int -> int -> int
 183
 184
 185 __builtin_strcpy: int -> int -> int
 186
 187
 188 __builtin_strcmp: int -> int -> int
 189
 190
 191 __builtin_strchr: int -> int -> int
 192
 193
 194 __builtin_stpcpy: int -> int -> int
 195
 196
 197 __builtin_stdarg_start: int -> void
 198
 199
 200 __builtin_sqrtl: float -> float
 201
 202
 203 __builtin_sqrtf: float -> float
 204
 205
 206 __builtin_sqrt: float -> float
 207
 208
 209 __builtin_sinl: float -> float
 210
 211
 212 __builtin_sinhl: float -> float
 213
 214
 215 __builtin_sinhf: float -> float
 216
 217
 218 __builtin_sinh: float -> float
 219
 220
 221 __builtin_sinf: float -> float
 222
 223
 224 __builtin_sin: float -> float
 225
 226
 227 __builtin_return_address: int -> int
 228
 229
 230 __builtin_return: int -> void
 231
 232
 233 __builtin_powil: float -> int -> float
 234
 235
 236 __builtin_powif: float -> int -> float
 237
 238
 239 __builtin_powi: float -> int -> float
 240
 241
 242 __builtin_popcountll: int -> int
 243
 244
 245 __builtin_popcountl: int -> int
 246
 247
 248 __builtin_popcount: int -> int
 249
 250
 251 __builtin_parityll: int -> int
 252
 253
 254 __builtin_parityl: int -> int
 255
 256
 257 __builtin_parity: int -> int
 258
 259
 260 __builtin_object_size: int -> int -> int
 261
 262
 263 __builtin_next_arg: int
 264
 265
 266 __builtin_nansl: int -> float
 267
 268
 269 __builtin_nansf: int -> float
 270
 271
 272 __builtin_nans: int -> float
 273
 274
 275 __builtin_nanl: int -> float
 276
 277
 278 __builtin_nanf: int -> float
 279
 280
 281 __builtin_nan: int -> float
 282
 283
 284 __builtin_modfl: float -> int -> float
 285
 286
 287 __builtin_modff: float -> int -> float
 288
 289
 290 __builtin_mempcpy: int -> int -> int -> int
 291
 292
 293 __builtin_memcpy: int -> int -> int -> int
 294
 295
 296 __builtin_logl: float -> float
 297
 298
 299 __builtin_logf: float -> float
 300
 301
 302 __builtin_log10l: float -> float
 303
 304
 305 __builtin_log10f: float -> float
 306
 307
 308 __builtin_log10: float -> float
 309
 310
 311 __builtin_log: float -> float
 312
 313
 314 __builtin_ldexpl: float -> int -> float
 315
 316
 317 __builtin_ldexpf: float -> int -> float
 318
 319
 320 __builtin_ldexp: float -> int -> float
 321
 322
 323 __builtin_infl: float
 324
 325
 326 __builtin_inff: float
 327
 328
 329 __builtin_inf: float
 330
 331
 332 __builtin_huge_vall: float
 333
 334
 335 __builtin_huge_valf: float
 336
 337
 338 __builtin_huge_val: float
 339
 340
 341 __builtin_frexpl: float -> int -> float
 342
 343
 344 __builtin_frexpf: float -> int -> float
 345
 346
 347 __builtin_frexp: float -> int -> float
 348
 349
 350 __builtin_frame_address: int -> int
 351
 352
 353 __builtin_fmodl: float -> float
 354
 355
 356 __builtin_fmodf: float -> float
 357
 358
 359 __builtin_fmod: float -> float
 360
 361
 362 __builtin_floorl: float -> float
 363
 364
 365 __builtin_floorf: float -> float
 366
 367
 368 __builtin_floor: float -> float
 369
 370
 371 __builtin_ffsll: int -> int
 372
 373
 374 __builtin_ffsl: int -> int
 375
 376
 377 __builtin_ffs: int -> int
 378
 379
 380 __builtin_fabsl: float -> float
 381
 382
 383 __builtin_fabsf: float -> float
 384
 385
 386 __builtin_fabs: float -> float
 387
 388
 389 __builtin_expl: float -> float
 390
 391
 392 __builtin_expf: float -> float
 393
 394
 395 __builtin_expect: int -> int -> int
 396
 397
 398 __builtin_exp: float -> float
 399
 400
 401 __builtin_ctzll: int -> int
 402
 403
 404 __builtin_ctzl: int -> int
 405
 406
 407 __builtin_ctz: int -> int
 408
 409
 410 __builtin_cosl: float -> float
 411
 412
 413 __builtin_coshl: float -> float
 414
 415
 416 __builtin_coshf: float -> float
 417
 418
 419 __builtin_cosh: float -> float
 420
 421
 422 __builtin_cosf: float -> float
 423
 424
 425 __builtin_cos: float -> float
 426
 427
 428 __builtin_constant_p: int -> int
 429
 430
 431 __builtin_clzll: int -> int
 432
 433
 434 __builtin_clzl: int -> int
 435
 436
 437 __builtin_clz: int -> int
 438
 439
 440 __builtin_ceill: float -> float
 441
 442
 443 __builtin_ceilf: float -> float
 444
 445
 446 __builtin_ceil: float -> float
 447
 448
 449 __builtin_atanl: float -> float
 450
 451
 452 __builtin_atanf: float -> float
 453
 454
 455 __builtin_atan2l: float -> float -> float
 456
 457
 458 __builtin_atan2f: float -> float -> float
 459
 460
 461 __builtin_atan2: float -> float -> float
 462
 463
 464 __builtin_atan: float -> float
 465
 466
 467 __builtin_asinl: float -> float
 468
 469
 470 __builtin_asinf: float -> float
 471
 472
 473 __builtin_asin: float -> float
 474
 475
 476 __builtin_alloca: int -> int
 477
 478
 479 __builtin_acosl: float -> float
 480
 481
 482 __builtin_acosf: float -> float
 483
 484
 485 __builtin_acos: float -> float
 486
 487
 488 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
 489
 490
 491 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
 492
 493
 494 __builtin___vprintf_chk: int -> int -> int -> int
 495
 496
 497 __builtin___vfprintf_chk: int -> int -> int -> int -> int
 498
 499
 500 __builtin___strncpy_chk: int -> int -> int -> int -> int
 501
 502
 503 __builtin___strncat_chk: int -> int -> int -> int -> int
 504
 505
 506 __builtin___strcpy_chk: int -> int -> int -> int
 507
 508
 509 __builtin___strcat_chk: int -> int -> int -> int
 510
 511
 512 __builtin___stpcpy_chk: int -> int -> int -> int
 513
 514
 515 __builtin___memset_chk: int -> int -> int -> int -> int
 516
 517
 518 __builtin___mempcpy_chk: int -> int -> int -> int -> int
 519
 520
 521 __builtin___memmove_chk: int -> int -> int -> int -> int
 522
 523
 524 __builtin___memcpy_chk: int -> int -> int -> int -> int
 525
 526