tests/clight/testTB_Array_ecriture.LTL.expected

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