tests/clight/fir4.LTL.expected

   1 program
   2
   3 globals 288
   4
   5 procedure fir4(4)
   6 var 116
   7 entry fir4280
   8 fir4280: newframe                --> fir4279
   9 fir4279: lw    $ra, 112($sp)     --> fir4278
  10 fir4278: lw    $s7, 108($sp)     --> fir4277
  11 fir4277: lw    $s6, 104($sp)     --> fir4276
  12 fir4276: lw    $s5, 100($sp)     --> fir4275
  13 fir4275: lw    $s4, 96($sp)      --> fir4274
  14 fir4274: lw    $s3, 92($sp)      --> fir4273
  15 fir4273: lw    $s2, 88($sp)      --> fir4272
  16 fir4272: lw    $s1, 84($sp)      --> fir4271
  17 fir4271: lw    $s0, 80($sp)      --> fir4270
  18 fir4270: lw    $a0, 64($sp)      --> fir4269
  19 fir4269: move    $s6, $a1        --> fir4268
  20 fir4268: lw    $a2, 68($sp)      --> fir4267
  21 fir4267: lw    $a3, 72($sp)      --> fir4266
  22 fir4266: j                       --> fir4265
  23 fir4265: j                       --> fir4264
  24 fir4264: j                       --> fir4263
  25 fir4263: j                       --> fir4262
  26 fir4262: j                       --> fir4261
  27 fir4261: j                       --> fir4260
  28 fir4260: j                       --> fir4259
  29 fir4259: j                       --> fir4258
  30 fir4258: j                       --> fir4257
  31 fir4257: j                       --> fir4256
  32 fir4256: j                       --> fir4255
  33 fir4255: j                       --> fir4254
  34 fir4254: j                       --> fir4253
  35 fir4253: j                       --> fir4252
  36 fir4252: j                       --> fir4251
  37 fir4251: j                       --> fir4250
  38 fir4250: j                       --> fir4249
  39 fir4249: j                       --> fir4248
  40 fir4248: j                       --> fir4247
  41 fir4247: j                       --> fir4246
  42 fir4246: j                       --> fir4245
  43 fir4245: j                       --> fir4244
  44 fir4244: j                       --> fir4243
  45 fir4243: j                       --> fir4242
  46 fir4242: j                       --> fir4241
  47 fir4241: j                       --> fir4240
  48 fir4240: j                       --> fir4239
  49 fir4239: j                       --> fir4238
  50 fir4238: j                       --> fir4237
  51 fir4237: j                       --> fir4236
  52 fir4236: j                       --> fir4235
  53 fir4235: j                       --> fir4234
  54 fir4234: j                       --> fir4233
  55 fir4233: j                       --> fir4232
  56 fir4232: j                       --> fir4231
  57 fir4231: j                       --> fir4230
  58 fir4230: j                       --> fir4229
  59 fir4229: j                       --> fir4228
  60 fir4228: j                       --> fir4227
  61 fir4227: j                       --> fir4226
  62 fir4226: j                       --> fir4225
  63 fir4225: j                       --> fir4224
  64 fir4224: j                       --> fir4223
  65 fir4223: j                       --> fir4222
  66 fir4222: j                       --> fir4221
  67 fir4221: j                       --> fir4220
  68 fir4220: j                       --> fir4219
  69 fir4219: j                       --> fir4218
  70 fir4218: j                       --> fir4217
  71 fir4217: j                       --> fir4216
  72 fir4216: j                       --> fir4215
  73 fir4215: j                       --> fir4214
  74 fir4214: j                       --> fir4213
  75 fir4213: j                       --> fir4212
  76 fir4212: j                       --> fir4211
  77 fir4211: j                       --> fir4210
  78 fir4210: j                       --> fir4209
  79 fir4209: j                       --> fir4208
  80 fir4208: j                       --> fir4207
  81 fir4207: j                       --> fir4206
  82 fir4206: j                       --> fir4205
  83 fir4205: j                       --> fir4204
  84 fir4204: j                       --> fir4203
  85 fir4203: j                       --> fir4202
  86 fir4202: j                       --> fir4201
  87 fir4201: j                       --> fir4200
  88 fir4200: j                       --> fir4199
  89 fir4199: j                       --> fir4198
  90 fir4198: j                       --> fir4197
  91 fir4197: j                       --> fir4196
  92 fir4196: j                       --> fir4195
  93 fir4195: j                       --> fir4194
  94 fir4194: j                       --> fir4193
  95 fir4193: j                       --> fir4192
  96 fir4192: j                       --> fir4191
  97 fir4191: j                       --> fir4190
  98 fir4190: j                       --> fir4189
  99 fir4189: j                       --> fir4188
 100 fir4188: j                       --> fir4187
 101 fir4187: j                       --> fir4186
 102 fir4186: j                       --> fir4185
 103 fir4185: j                       --> fir4184
 104 fir4184: j                       --> fir4183
 105 fir4183: j                       --> fir4182
 106 fir4182: j                       --> fir4181
 107 fir4181: j                       --> fir4180
 108 fir4180: j                       --> fir4179
 109 fir4179: j                       --> fir4178
 110 fir4178: j                       --> fir4177
 111 fir4177: j                       --> fir4176
 112 fir4176: j                       --> fir4175
 113 fir4175: j                       --> fir4174
 114 fir4174: j                       --> fir4173
 115 fir4173: j                       --> fir4172
 116 fir4172: j                       --> fir4171
 117 fir4171: j                       --> fir4170
 118 fir4170: j                       --> fir4169
 119 fir4169: j                       --> fir4168
 120 fir4168: j                       --> fir4167
 121 fir4167: j                       --> fir4166
 122 fir4166: j                       --> fir4165
 123 fir4165: j                       --> fir4164
 124 fir4164: j                       --> fir4163
 125 fir4163: j                       --> fir4162
 126 fir4162: j                       --> fir4161
 127 fir4161: j                       --> fir4160
 128 fir4160: j                       --> fir4159
 129 fir4159: j                       --> fir4158
 130 fir4158: j                       --> fir4157
 131 fir4157: j                       --> fir4156
 132 fir4156: j                       --> fir4135
 133 fir4135: emit c25                --> fir4134
 134 fir4134: li    $s1, 0            --> fir4133
 135 fir4133: emit c24                --> fir4132
 136 fir4132: j                       --> fir4131
 137 fir4131: emit c23                --> fir4130
 138 fir4130: emit c22                --> fir4129
 139 fir4129: li    $s3, 0            --> fir4113
 140 fir4113: j                       --> fir4128
 141 fir4128: li    $a0, 0            --> fir4127
 142 fir4127: emit c21                --> fir4126
 143 fir4126: li    $v0, 16           --> fir4125
 144 fir4125: slt     $v0, $s3, $v0   --> fir4124
 145 fir4124: j                       --> fir4139
 146 fir4139: seq     $v0, $v0, $zero --> fir4123
 147 fir4123: beq     $v0, $a0        --> fir4122, fir4112
 148 fir4112: emit c18                --> fir4111
 149 fir4111: emit c17                --> fir4110
 150 fir4110: li    $s4, 0            --> fir43
 151 fir43  : j                       --> fir4109
 152 fir4109: li    $a0, 0            --> fir4108
 153 fir4108: emit c16                --> fir4107
 154 fir4107: lw    $fp, 72($sp)      --> fir4320
 155 fir4320: slt     $v0, $s4, $fp   --> fir4106
 156 fir4106: j                       --> fir4137
 157 fir4137: seq     $v0, $v0, $zero --> fir4105
 158 fir4105: beq     $v0, $a0        --> fir4104, fir42
 159 fir42  : emit c0                 --> fir41
 160 fir41  : li    $v0, 0            --> fir40
 161 fir40  : j                       --> fir4292
 162 fir4292: j                       --> fir4291
 163 fir4291: lw    $ra, 112($sp)     --> fir4290
 164 fir4290: lw    $s7, 108($sp)     --> fir4289
 165 fir4289: lw    $s6, 104($sp)     --> fir4288
 166 fir4288: lw    $s5, 100($sp)     --> fir4287
 167 fir4287: lw    $s4, 96($sp)      --> fir4286
 168 fir4286: lw    $s3, 92($sp)      --> fir4285
 169 fir4285: lw    $s2, 88($sp)      --> fir4284
 170 fir4284: lw    $s1, 84($sp)      --> fir4283
 171 fir4283: lw    $s0, 80($sp)      --> fir4282
 172 fir4282: delframe                --> fir4281
 173 fir4281: jr    $ra
 174 fir4104: emit c14                --> fir4103
 175 fir4103: li    $v0, 4            --> fir4102
 176 fir4102: mulo    $v0, $s4, $v0   --> fir4101
 177 fir4101: lw    $v1, 64($sp)      --> fir4319
 178 fir4319: add     $v0, $v1, $v0   --> fir4136
 179 fir4136: lw    $a1, 0($v0)       --> fir4100
 180 fir4100: move    $a0, $sp        --> fir4293
 181 fir4293: j                       --> fir499
 182 fir499 : li    $v0, 4            --> fir498
 183 fir498 : mulo    $v0, $s1, $v0   --> fir497
 184 fir497 : add     $v0, $a0, $v0   --> fir4155
 185 fir4155: lw    $a1, 0($v0)       --> fir496
 186 fir496 : emit c13                --> fir495
 187 fir495 : li    $s5, 0            --> fir494
 188 fir494 : emit c12                --> fir493
 189 fir493 : emit c11                --> fir492
 190 fir492 : li    $s3, 0            --> fir418
 191 fir418 : j                       --> fir491
 192 fir491 : li    $a0, 0            --> fir490
 193 fir490 : emit c10                --> fir489
 194 fir489 : li    $v0, 16           --> fir488
 195 fir488 : slt     $v0, $s3, $v0   --> fir487
 196 fir487 : j                       --> fir4154
 197 fir4154: seq     $v0, $v0, $zero --> fir486
 198 fir486 : beq     $v0, $a0        --> fir485, fir417
 199 fir417 : emit c2                 --> fir416
 200 fir416 : li    $v0, 1            --> fir415
 201 fir415 : add     $a0, $s1, $v0   --> fir414
 202 fir414 : li    $a1, 16           --> fir413
 203 fir413 : la    $v0, mod          --> fir4140
 204 fir4140: j                       --> fir4298
 205 fir4298: j                       --> fir4297
 206 fir4297: j                       --> fir4296
 207 fir4296: call  $v0               --> fir4295
 208 fir4295: move    $s1, $v0        --> fir412
 209 fir412 : emit c1                 --> fir411
 210 fir411 : li    $v0, 16           --> fir410
 211 fir410 : srav    $a0, $s5, $v0   --> fir49
 212 fir49  : li    $v0, 4            --> fir48
 213 fir48  : mulo    $v0, $s4, $v0   --> fir47
 214 fir47  : lw    $v1, 68($sp)      --> fir4323
 215 fir4323: add     $v0, $v1, $v0   --> fir4150
 216 fir4150: lw    $a0, 0($v0)       --> fir46
 217 fir46  : emit c15                --> fir45
 218 fir45  : li    $v0, 1            --> fir44
 219 fir44  : add     $s4, $s4, $v0   --> fir43
 220 fir485 : emit c8                 --> fir484
 221 fir484 : move    $a0, $sp        --> fir4318
 222 fir4318: j                       --> fir483
 223 fir483 : li    $v0, 4            --> fir482
 224 fir482 : mulo    $v0, $s1, $v0   --> fir481
 225 fir481 : add     $v0, $a0, $v0   --> fir4153
 226 fir4153: lw    $a0, 0($v0)       --> fir480
 227 fir480 : li    $v0, 4            --> fir479
 228 fir479 : mulo    $v0, $s3, $v0   --> fir478
 229 fir478 : add     $v0, $s6, $v0   --> fir4152
 230 fir4152: lw    $v0, 0($v0)       --> fir477
 231 fir477 : mulo    $s2, $a0, $v0   --> fir476
 232 fir476 : emit c7                 --> fir475
 233 fir475 : move    $s0, $sp        --> fir4317
 234 fir4317: j                       --> fir474
 235 fir474 : li    $v0, 1            --> fir473
 236 fir473 : add     $a0, $s1, $v0   --> fir472
 237 fir472 : li    $a1, 16           --> fir471
 238 fir471 : la    $v0, mod          --> fir4151
 239 fir4151: j                       --> fir4314
 240 fir4314: j                       --> fir4313
 241 fir4313: j                       --> fir4312
 242 fir4312: call  $v0               --> fir4311
 243 fir4311: j                       --> fir470
 244 fir470 : li    $a0, 4            --> fir469
 245 fir469 : mulo    $v0, $v0, $a0   --> fir468
 246 fir468 : add     $v0, $s0, $v0   --> fir4149
 247 fir4149: lw    $a1, 0($v0)       --> fir467
 248 fir467 : li    $v0, 1            --> fir466
 249 fir466 : add     $a0, $s3, $v0   --> fir465
 250 fir465 : li    $v0, 4            --> fir464
 251 fir464 : mulo    $v0, $a0, $v0   --> fir463
 252 fir463 : add     $v0, $s6, $v0   --> fir4148
 253 fir4148: lw    $v0, 0($v0)       --> fir462
 254 fir462 : mulo    $v1, $a1, $v0   --> fir4322
 255 fir4322: lw    $v1, 76($sp)      --> fir461
 256 fir461 : emit c6                 --> fir460
 257 fir460 : move    $s0, $sp        --> fir4316
 258 fir4316: j                       --> fir459
 259 fir459 : li    $v0, 2            --> fir458
 260 fir458 : add     $a0, $s1, $v0   --> fir457
 261 fir457 : li    $a1, 16           --> fir456
 262 fir456 : la    $v0, mod          --> fir4147
 263 fir4147: j                       --> fir4310
 264 fir4310: j                       --> fir4309
 265 fir4309: j                       --> fir4308
 266 fir4308: call  $v0               --> fir4307
 267 fir4307: j                       --> fir455
 268 fir455 : li    $a0, 4            --> fir454
 269 fir454 : mulo    $v0, $v0, $a0   --> fir453
 270 fir453 : add     $v0, $s0, $v0   --> fir4146
 271 fir4146: lw    $a1, 0($v0)       --> fir452
 272 fir452 : li    $v0, 2            --> fir451
 273 fir451 : add     $a0, $s3, $v0   --> fir450
 274 fir450 : li    $v0, 4            --> fir449
 275 fir449 : mulo    $v0, $a0, $v0   --> fir448
 276 fir448 : add     $v0, $s6, $v0   --> fir4145
 277 fir4145: lw    $v0, 0($v0)       --> fir447
 278 fir447 : mulo    $s7, $a1, $v0   --> fir446
 279 fir446 : emit c5                 --> fir445
 280 fir445 : move    $s0, $sp        --> fir4315
 281 fir4315: j                       --> fir444
 282 fir444 : li    $v0, 3            --> fir443
 283 fir443 : add     $a0, $s1, $v0   --> fir442
 284 fir442 : li    $a1, 16           --> fir441
 285 fir441 : la    $v0, mod          --> fir4144
 286 fir4144: j                       --> fir4306
 287 fir4306: j                       --> fir4305
 288 fir4305: j                       --> fir4304
 289 fir4304: call  $v0               --> fir4303
 290 fir4303: j                       --> fir440
 291 fir440 : li    $a0, 4            --> fir439
 292 fir439 : mulo    $v0, $v0, $a0   --> fir438
 293 fir438 : add     $v0, $s0, $v0   --> fir4143
 294 fir4143: lw    $a1, 0($v0)       --> fir437
 295 fir437 : li    $v0, 3            --> fir436
 296 fir436 : add     $a0, $s3, $v0   --> fir435
 297 fir435 : li    $v0, 4            --> fir434
 298 fir434 : mulo    $v0, $a0, $v0   --> fir433
 299 fir433 : add     $v0, $s6, $v0   --> fir4142
 300 fir4142: lw    $v0, 0($v0)       --> fir432
 301 fir432 : mulo    $v0, $a1, $v0   --> fir431
 302 fir431 : emit c4                 --> fir430
 303 fir430 : add     $a0, $s5, $s2   --> fir429
 304 fir429 : lw    $fp, 76($sp)      --> fir4321
 305 fir4321: add     $a0, $a0, $fp   --> fir428
 306 fir428 : add     $a0, $a0, $s7   --> fir427
 307 fir427 : add     $s5, $a0, $v0   --> fir426
 308 fir426 : emit c3                 --> fir425
 309 fir425 : li    $v0, 4            --> fir424
 310 fir424 : add     $a0, $s1, $v0   --> fir423
 311 fir423 : li    $a1, 16           --> fir422
 312 fir422 : la    $v0, mod          --> fir4141
 313 fir4141: j                       --> fir4302
 314 fir4302: j                       --> fir4301
 315 fir4301: j                       --> fir4300
 316 fir4300: call  $v0               --> fir4299
 317 fir4299: move    $s1, $v0        --> fir421
 318 fir421 : emit c9                 --> fir420
 319 fir420 : li    $v0, 4            --> fir419
 320 fir419 : add     $s3, $s3, $v0   --> fir418
 321 fir4122: emit c19                --> fir4121
 322 fir4121: j                       --> fir4120
 323 fir4120: move    $a0, $sp        --> fir4294
 324 fir4294: j                       --> fir4119
 325 fir4119: li    $v0, 4            --> fir4118
 326 fir4118: mulo    $v0, $s3, $v0   --> fir4117
 327 fir4117: add     $v0, $a0, $v0   --> fir4138
 328 fir4138: lw    $zero, 0($v0)     --> fir4116
 329 fir4116: emit c20                --> fir4115
 330 fir4115: li    $v0, 1            --> fir4114
 331 fir4114: add     $s3, $s3, $v0   --> fir4113
 332
 333 procedure _main(0)
 334 var 68
 335 entry main385
 336 main385: newframe              --> main384
 337 main384: lw    $ra, 64($sp)    --> main383
 338 main383: j                     --> main382
 339 main382: j                     --> main381
 340 main381: j                     --> main380
 341 main380: j                     --> main379
 342 main379: j                     --> main378
 343 main378: j                     --> main377
 344 main377: j                     --> main376
 345 main376: j                     --> main375
 346 main375: j                     --> main374
 347 main374: j                     --> main373
 348 main373: j                     --> main372
 349 main372: j                     --> main371
 350 main371: j                     --> main370
 351 main370: j                     --> main369
 352 main369: j                     --> main368
 353 main368: j                     --> main367
 354 main367: j                     --> main366
 355 main366: j                     --> main365
 356 main365: j                     --> main364
 357 main364: j                     --> main363
 358 main363: j                     --> main362
 359 main362: j                     --> main361
 360 main361: j                     --> main360
 361 main360: j                     --> main359
 362 main359: j                     --> main358
 363 main358: j                     --> main357
 364 main357: j                     --> main356
 365 main356: j                     --> main355
 366 main355: j                     --> main354
 367 main354: j                     --> main353
 368 main353: j                     --> main352
 369 main352: j                     --> main351
 370 main351: j                     --> main350
 371 main350: j                     --> main349
 372 main349: j                     --> main348
 373 main348: j                     --> main347
 374 main347: j                     --> main346
 375 main346: j                     --> main345
 376 main345: j                     --> main344
 377 main344: j                     --> main343
 378 main343: j                     --> main342
 379 main342: j                     --> main341
 380 main341: j                     --> main340
 381 main340: j                     --> main339
 382 main339: j                     --> main338
 383 main338: j                     --> main337
 384 main337: j                     --> main336
 385 main336: j                     --> main335
 386 main335: j                     --> main334
 387 main334: j                     --> main333
 388 main333: j                     --> main332
 389 main332: j                     --> main331
 390 main331: j                     --> main330
 391 main330: j                     --> main329
 392 main329: j                     --> main328
 393 main328: j                     --> main327
 394 main327: j                     --> main326
 395 main326: j                     --> main325
 396 main325: j                     --> main324
 397 main324: j                     --> main323
 398 main323: j                     --> main322
 399 main322: j                     --> main321
 400 main321: j                     --> main320
 401 main320: j                     --> main319
 402 main319: j                     --> main318
 403 main318: j                     --> main317
 404 main317: j                     --> main316
 405 main316: j                     --> main315
 406 main315: j                     --> main314
 407 main314: j                     --> main313
 408 main313: j                     --> main312
 409 main312: j                     --> main311
 410 main311: j                     --> main310
 411 main310: j                     --> main309
 412 main309: j                     --> main308
 413 main308: j                     --> main307
 414 main307: j                     --> main306
 415 main306: j                     --> main305
 416 main305: j                     --> main304
 417 main304: j                     --> main303
 418 main303: j                     --> main302
 419 main302: j                     --> main301
 420 main301: j                     --> main300
 421 main300: j                     --> main299
 422 main299: j                     --> main298
 423 main298: j                     --> main297
 424 main297: j                     --> main296
 425 main296: j                     --> main295
 426 main295: j                     --> main294
 427 main294: j                     --> main293
 428 main293: j                     --> main292
 429 main292: j                     --> main291
 430 main291: j                     --> main290
 431 main290: j                     --> main289
 432 main289: j                     --> main288
 433 main288: j                     --> main287
 434 main287: j                     --> main286
 435 main286: j                     --> main285
 436 main285: j                     --> main284
 437 main284: j                     --> main283
 438 main283: j                     --> main282
 439 main282: j                     --> main281
 440 main281: j                     --> main280
 441 main280: j                     --> main279
 442 main279: j                     --> main278
 443 main278: j                     --> main277
 444 main277: j                     --> main276
 445 main276: j                     --> main275
 446 main275: j                     --> main274
 447 main274: j                     --> main273
 448 main273: j                     --> main272
 449 main272: j                     --> main271
 450 main271: j                     --> main270
 451 main270: j                     --> main269
 452 main269: j                     --> main268
 453 main268: j                     --> main267
 454 main267: j                     --> main266
 455 main266: j                     --> main265
 456 main265: j                     --> main264
 457 main264: j                     --> main263
 458 main263: j                     --> main262
 459 main262: j                     --> main261
 460 main261: j                     --> main260
 461 main260: j                     --> main259
 462 main259: j                     --> main258
 463 main258: j                     --> main257
 464 main257: j                     --> main256
 465 main256: j                     --> main255
 466 main255: j                     --> main254
 467 main254: j                     --> main253
 468 main253: j                     --> main252
 469 main252: j                     --> main251
 470 main251: j                     --> main250
 471 main250: j                     --> main249
 472 main249: j                     --> main248
 473 main248: j                     --> main247
 474 main247: j                     --> main246
 475 main246: j                     --> main245
 476 main245: j                     --> main244
 477 main244: j                     --> main243
 478 main243: j                     --> main242
 479 main242: j                     --> main241
 480 main241: j                     --> main240
 481 main240: j                     --> main239
 482 main239: j                     --> main238
 483 main238: j                     --> main237
 484 main237: j                     --> main236
 485 main236: j                     --> main235
 486 main235: j                     --> main234
 487 main234: j                     --> main233
 488 main233: j                     --> main232
 489 main232: j                     --> main231
 490 main231: j                     --> main230
 491 main230: j                     --> main229
 492 main229: j                     --> main228
 493 main228: j                     --> main227
 494 main227: j                     --> main226
 495 main226: j                     --> main152
 496 main152: li    $a0, 1129       --> main151
 497 main151: move    $v0, $gp      --> main426
 498 main426: j                     --> main181
 499 main181: lw    $a0, 0($v0)     --> main150
 500 main150: li    $a0, 60034      --> main149
 501 main149: move    $v0, $gp      --> main424
 502 main424: j                     --> main179
 503 main179: lw    $a0, 4($v0)     --> main148
 504 main148: li    $a0, 64720      --> main147
 505 main147: move    $v0, $gp      --> main423
 506 main423: j                     --> main178
 507 main178: lw    $a0, 8($v0)     --> main146
 508 main146: li    $a0, 5595       --> main145
 509 main145: move    $v0, $gp      --> main422
 510 main422: j                     --> main177
 511 main177: lw    $a0, 12($v0)    --> main144
 512 main144: li    $a0, 494        --> main143
 513 main143: move    $v0, $gp      --> main421
 514 main421: j                     --> main176
 515 main176: lw    $a0, 16($v0)    --> main142
 516 main142: li    $a0, 59867      --> main141
 517 main141: move    $v0, $gp      --> main420
 518 main420: j                     --> main175
 519 main175: lw    $a0, 20($v0)    --> main140
 520 main140: li    $a0, 65370      --> main139
 521 main139: move    $v0, $gp      --> main419
 522 main419: j                     --> main174
 523 main174: lw    $a0, 24($v0)    --> main138
 524 main138: li    $a0, 5724       --> main137
 525 main137: move    $v0, $gp      --> main418
 526 main418: j                     --> main173
 527 main173: lw    $a0, 28($v0)    --> main136
 528 main136: li    $a0, 5724       --> main135
 529 main135: move    $v0, $gp      --> main417
 530 main417: j                     --> main172
 531 main172: lw    $a0, 32($v0)    --> main134
 532 main134: li    $a0, 65370      --> main133
 533 main133: move    $v0, $gp      --> main416
 534 main416: j                     --> main171
 535 main171: lw    $a0, 36($v0)    --> main132
 536 main132: li    $a0, 59867      --> main131
 537 main131: move    $v0, $gp      --> main415
 538 main415: j                     --> main170
 539 main170: lw    $a0, 40($v0)    --> main130
 540 main130: li    $a0, 494        --> main129
 541 main129: move    $v0, $gp      --> main413
 542 main413: j                     --> main168
 543 main168: lw    $a0, 44($v0)    --> main128
 544 main128: li    $a0, 5595       --> main127
 545 main127: move    $v0, $gp      --> main412
 546 main412: j                     --> main167
 547 main167: lw    $a0, 48($v0)    --> main126
 548 main126: li    $a0, 64720      --> main125
 549 main125: move    $v0, $gp      --> main411
 550 main411: j                     --> main166
 551 main166: lw    $a0, 52($v0)    --> main124
 552 main124: li    $a0, 60034      --> main123
 553 main123: move    $v0, $gp      --> main410
 554 main410: j                     --> main165
 555 main165: lw    $a0, 56($v0)    --> main122
 556 main122: li    $a0, 1129       --> main121
 557 main121: move    $v0, $gp      --> main409
 558 main409: j                     --> main164
 559 main164: lw    $a0, 60($v0)    --> main120
 560 main120: li    $a0, 1          --> main119
 561 main119: move    $v0, $gp      --> main408
 562 main408: j                     --> main163
 563 main163: lw    $a0, 64($v0)    --> main118
 564 main118: j                     --> main117
 565 main117: move    $v0, $gp      --> main407
 566 main407: j                     --> main162
 567 main162: lw    $zero, 68($v0)  --> main116
 568 main116: li    $a0, 16384      --> main115
 569 main115: move    $v0, $gp      --> main406
 570 main406: j                     --> main161
 571 main161: lw    $a0, 72($v0)    --> main114
 572 main114: j                     --> main113
 573 main113: move    $v0, $gp      --> main405
 574 main405: j                     --> main160
 575 main160: lw    $zero, 76($v0)  --> main112
 576 main112: j                     --> main111
 577 main111: move    $v0, $gp      --> main404
 578 main404: j                     --> main159
 579 main159: lw    $zero, 80($v0)  --> main110
 580 main110: j                     --> main109
 581 main109: move    $v0, $gp      --> main402
 582 main402: j                     --> main157
 583 main157: lw    $zero, 84($v0)  --> main108
 584 main108: j                     --> main107
 585 main107: move    $v0, $gp      --> main401
 586 main401: j                     --> main156
 587 main156: lw    $zero, 88($v0)  --> main106
 588 main106: j                     --> main105
 589 main105: move    $v0, $gp      --> main400
 590 main400: j                     --> main155
 591 main155: lw    $zero, 92($v0)  --> main104
 592 main104: j                     --> main103
 593 main103: move    $v0, $gp      --> main399
 594 main399: j                     --> main154
 595 main154: lw    $zero, 96($v0)  --> main102
 596 main102: j                     --> main101
 597 main101: move    $v0, $gp      --> main398
 598 main398: j                     --> main153
 599 main153: lw    $zero, 100($v0) --> main100
 600 main100: j                     --> main99
 601 main99 : move    $v0, $gp      --> main478
 602 main478: j                     --> main225
 603 main225: lw    $zero, 104($v0) --> main98
 604 main98 : j                     --> main97
 605 main97 : move    $v0, $gp      --> main477
 606 main477: j                     --> main224
 607 main224: lw    $zero, 108($v0) --> main96
 608 main96 : j                     --> main95
 609 main95 : move    $v0, $gp      --> main476
 610 main476: j                     --> main223
 611 main223: lw    $zero, 112($v0) --> main94
 612 main94 : j                     --> main93
 613 main93 : move    $v0, $gp      --> main475
 614 main475: j                     --> main222
 615 main222: lw    $zero, 116($v0) --> main92
 616 main92 : j                     --> main91
 617 main91 : move    $v0, $gp      --> main474
 618 main474: j                     --> main221
 619 main221: lw    $zero, 120($v0) --> main90
 620 main90 : j                     --> main89
 621 main89 : move    $v0, $gp      --> main472
 622 main472: j                     --> main219
 623 main219: lw    $zero, 124($v0) --> main88
 624 main88 : j                     --> main87
 625 main87 : move    $v0, $gp      --> main471
 626 main471: j                     --> main218
 627 main218: lw    $zero, 128($v0) --> main86
 628 main86 : j                     --> main85
 629 main85 : move    $v0, $gp      --> main470
 630 main470: j                     --> main217
 631 main217: lw    $zero, 132($v0) --> main84
 632 main84 : j                     --> main83
 633 main83 : move    $v0, $gp      --> main469
 634 main469: j                     --> main216
 635 main216: lw    $zero, 136($v0) --> main82
 636 main82 : j                     --> main81
 637 main81 : move    $v0, $gp      --> main468
 638 main468: j                     --> main215
 639 main215: lw    $zero, 140($v0) --> main80
 640 main80 : j                     --> main79
 641 main79 : move    $v0, $gp      --> main467
 642 main467: j                     --> main214
 643 main214: lw    $zero, 144($v0) --> main78
 644 main78 : j                     --> main77
 645 main77 : move    $v0, $gp      --> main466
 646 main466: j                     --> main213
 647 main213: lw    $zero, 148($v0) --> main76
 648 main76 : j                     --> main75
 649 main75 : move    $v0, $gp      --> main465
 650 main465: j                     --> main212
 651 main212: lw    $zero, 152($v0) --> main74
 652 main74 : j                     --> main73
 653 main73 : move    $v0, $gp      --> main464
 654 main464: j                     --> main211
 655 main211: lw    $zero, 156($v0) --> main72
 656 main72 : j                     --> main71
 657 main71 : move    $v0, $gp      --> main463
 658 main463: j                     --> main210
 659 main210: lw    $zero, 160($v0) --> main70
 660 main70 : li    $a0, 7986       --> main69
 661 main69 : move    $v0, $gp      --> main461
 662 main461: j                     --> main209
 663 main209: lw    $a0, 164($v0)   --> main68
 664 main68 : li    $a0, 8993       --> main67
 665 main67 : move    $v0, $gp      --> main460
 666 main460: j                     --> main208
 667 main208: lw    $a0, 168($v0)   --> main66
 668 main66 : li    $a0, 1808       --> main65
 669 main65 : move    $v0, $gp      --> main459
 670 main459: j                     --> main207
 671 main207: lw    $a0, 172($v0)   --> main64
 672 main64 : li    $a0, 4096       --> main63
 673 main63 : move    $v0, $gp      --> main458
 674 main458: j                     --> main206
 675 main206: lw    $a0, 176($v0)   --> main62
 676 main62 : li    $a0, 4096       --> main61
 677 main61 : move    $v0, $gp      --> main457
 678 main457: j                     --> main205
 679 main205: lw    $a0, 180($v0)   --> main60
 680 main60 : li    $a0, 4096       --> main59
 681 main59 : move    $v0, $gp      --> main455
 682 main455: j                     --> main204
 683 main204: lw    $a0, 184($v0)   --> main58
 684 main58 : li    $a0, 4096       --> main57
 685 main57 : move    $v0, $gp      --> main454
 686 main454: j                     --> main203
 687 main203: lw    $a0, 188($v0)   --> main56
 688 main56 : li    $a0, 4096       --> main55
 689 main55 : move    $v0, $gp      --> main453
 690 main453: j                     --> main202
 691 main202: lw    $a0, 192($v0)   --> main54
 692 main54 : li    $a0, 4096       --> main53
 693 main53 : move    $v0, $gp      --> main452
 694 main452: j                     --> main201
 695 main201: lw    $a0, 196($v0)   --> main52
 696 main52 : li    $a0, 4096       --> main51
 697 main51 : move    $v0, $gp      --> main451
 698 main451: j                     --> main200
 699 main200: lw    $a0, 200($v0)   --> main50
 700 main50 : li    $a0, 4096       --> main49
 701 main49 : move    $v0, $gp      --> main449
 702 main449: j                     --> main199
 703 main199: lw    $a0, 204($v0)   --> main48
 704 main48 : li    $a0, 4096       --> main47
 705 main47 : move    $v0, $gp      --> main448
 706 main448: j                     --> main198
 707 main198: lw    $a0, 208($v0)   --> main46
 708 main46 : li    $a0, 4096       --> main45
 709 main45 : move    $v0, $gp      --> main447
 710 main447: j                     --> main197
 711 main197: lw    $a0, 212($v0)   --> main44
 712 main44 : li    $a0, 4096       --> main43
 713 main43 : move    $v0, $gp      --> main446
 714 main446: j                     --> main196
 715 main196: lw    $a0, 216($v0)   --> main42
 716 main42 : li    $a0, 4096       --> main41
 717 main41 : move    $v0, $gp      --> main445
 718 main445: j                     --> main195
 719 main195: lw    $a0, 220($v0)   --> main40
 720 main40 : li    $a0, 4096       --> main39
 721 main39 : move    $v0, $gp      --> main444
 722 main444: j                     --> main194
 723 main194: lw    $a0, 224($v0)   --> main38
 724 main38 : li    $a0, 4096       --> main37
 725 main37 : move    $v0, $gp      --> main443
 726 main443: j                     --> main193
 727 main193: lw    $a0, 228($v0)   --> main36
 728 main36 : li    $a0, 4096       --> main35
 729 main35 : move    $v0, $gp      --> main442
 730 main442: j                     --> main192
 731 main192: lw    $a0, 232($v0)   --> main34
 732 main34 : li    $a0, 4096       --> main33
 733 main33 : move    $v0, $gp      --> main441
 734 main441: j                     --> main191
 735 main191: lw    $a0, 236($v0)   --> main32
 736 main32 : li    $a0, 4096       --> main31
 737 main31 : move    $v0, $gp      --> main440
 738 main440: j                     --> main190
 739 main190: lw    $a0, 240($v0)   --> main30
 740 main30 : li    $a0, 4096       --> main29
 741 main29 : move    $v0, $gp      --> main439
 742 main439: j                     --> main188
 743 main188: lw    $a0, 244($v0)   --> main28
 744 main28 : li    $a0, 4096       --> main27
 745 main27 : move    $v0, $gp      --> main438
 746 main438: j                     --> main187
 747 main187: lw    $a0, 248($v0)   --> main26
 748 main26 : li    $a0, 4096       --> main25
 749 main25 : move    $v0, $gp      --> main437
 750 main437: j                     --> main186
 751 main186: lw    $a0, 252($v0)   --> main24
 752 main24 : li    $a0, 4096       --> main23
 753 main23 : move    $v0, $gp      --> main436
 754 main436: j                     --> main185
 755 main185: lw    $a0, 256($v0)   --> main22
 756 main22 : li    $a0, 4096       --> main21
 757 main21 : move    $v0, $gp      --> main435
 758 main435: j                     --> main184
 759 main184: lw    $a0, 260($v0)   --> main20
 760 main20 : li    $a0, 4096       --> main19
 761 main19 : move    $v0, $gp      --> main434
 762 main434: j                     --> main183
 763 main183: lw    $a0, 264($v0)   --> main18
 764 main18 : li    $a0, 4096       --> main17
 765 main17 : move    $v0, $gp      --> main427
 766 main427: j                     --> main182
 767 main182: lw    $a0, 268($v0)   --> main16
 768 main16 : li    $a0, 4096       --> main15
 769 main15 : move    $v0, $gp      --> main425
 770 main425: j                     --> main180
 771 main180: lw    $a0, 272($v0)   --> main14
 772 main14 : li    $a0, 4096       --> main13
 773 main13 : move    $v0, $gp      --> main414
 774 main414: j                     --> main169
 775 main169: lw    $a0, 276($v0)   --> main12
 776 main12 : li    $a0, 4096       --> main11
 777 main11 : move    $v0, $gp      --> main403
 778 main403: j                     --> main158
 779 main158: lw    $a0, 280($v0)   --> main10
 780 main10 : li    $a0, 4096       --> main9
 781 main9  : move    $v0, $gp      --> main473
 782 main473: j                     --> main220
 783 main220: lw    $a0, 284($v0)   --> main8
 784 main8  : emit c27              --> main7
 785 main7  : move    $a0, $gp      --> main462
 786 main462: addi    $a0, $a0, 64  --> main6
 787 main6  : move    $a1, $gp      --> main456
 788 main456: j                     --> main5
 789 main5  : move    $a2, $sp      --> main450
 790 main450: j                     --> main4
 791 main4  : li    $a3, 16         --> main3
 792 main3  : la    $v0, fir4       --> main189
 793 main189: j                     --> main433
 794 main433: j                     --> main432
 795 main432: j                     --> main431
 796 main431: j                     --> main430
 797 main430: j                     --> main429
 798 main429: call  $v0             --> main428
 799 main428: j                     --> main2
 800 main2  : emit c26              --> main1
 801 main1  : j                     --> main0
 802 main0  : j                     --> main397
 803 main397: j                     --> main396
 804 main396: lw    $ra, 64($sp)    --> main395
 805 main395: j                     --> main394
 806 main394: j                     --> main393
 807 main393: j                     --> main392
 808 main392: j                     --> main391
 809 main391: j                     --> main390
 810 main390: j                     --> main389
 811 main389: j                     --> main388
 812 main388: j                     --> main387
 813 main387: delframe              --> main386
 814 main386: jr    $ra
 815
 816 __builtin_varargs_start: int -> void
 817
 818
 819 __builtin_va_start: int -> int -> void
 820
 821
 822 __builtin_va_end: int -> void
 823
 824
 825 __builtin_va_copy: int -> int -> void
 826
 827
 828 __builtin_va_arg: int -> int -> void
 829
 830
 831 __builtin_types_compatible_p: int -> int -> int
 832
 833
 834 __builtin_tanl: float -> float
 835
 836
 837 __builtin_tanhl: float -> float
 838
 839
 840 __builtin_tanhf: float -> float
 841
 842
 843 __builtin_tanh: float -> float
 844
 845
 846 __builtin_tanf: float -> float
 847
 848
 849 __builtin_tan: float -> float
 850
 851
 852 __builtin_strspn: int -> int -> int
 853
 854
 855 __builtin_strpbrk: int -> int -> int
 856
 857
 858 __builtin_strncpy: int -> int -> int -> int
 859
 860
 861 __builtin_strncmp: int -> int -> int -> int
 862
 863
 864 __builtin_strncat: int -> int -> int -> int
 865
 866
 867 __builtin_strcspn: int -> int -> int
 868
 869
 870 __builtin_strcpy: int -> int -> int
 871
 872
 873 __builtin_strcmp: int -> int -> int
 874
 875
 876 __builtin_strchr: int -> int -> int
 877
 878
 879 __builtin_stpcpy: int -> int -> int
 880
 881
 882 __builtin_stdarg_start: int -> void
 883
 884
 885 __builtin_sqrtl: float -> float
 886
 887
 888 __builtin_sqrtf: float -> float
 889
 890
 891 __builtin_sqrt: float -> float
 892
 893
 894 __builtin_sinl: float -> float
 895
 896
 897 __builtin_sinhl: float -> float
 898
 899
 900 __builtin_sinhf: float -> float
 901
 902
 903 __builtin_sinh: float -> float
 904
 905
 906 __builtin_sinf: float -> float
 907
 908
 909 __builtin_sin: float -> float
 910
 911
 912 __builtin_return_address: int -> int
 913
 914
 915 __builtin_return: int -> void
 916
 917
 918 __builtin_powil: float -> int -> float
 919
 920
 921 __builtin_powif: float -> int -> float
 922
 923
 924 __builtin_powi: float -> int -> float
 925
 926
 927 __builtin_popcountll: int -> int
 928
 929
 930 __builtin_popcountl: int -> int
 931
 932
 933 __builtin_popcount: int -> int
 934
 935
 936 __builtin_parityll: int -> int
 937
 938
 939 __builtin_parityl: int -> int
 940
 941
 942 __builtin_parity: int -> int
 943
 944
 945 __builtin_object_size: int -> int -> int
 946
 947
 948 __builtin_next_arg: int
 949
 950
 951 __builtin_nansl: int -> float
 952
 953
 954 __builtin_nansf: int -> float
 955
 956
 957 __builtin_nans: int -> float
 958
 959
 960 __builtin_nanl: int -> float
 961
 962
 963 __builtin_nanf: int -> float
 964
 965
 966 __builtin_nan: int -> float
 967
 968
 969 __builtin_modfl: float -> int -> float
 970
 971
 972 __builtin_modff: float -> int -> float
 973
 974
 975 __builtin_mempcpy: int -> int -> int -> int
 976
 977
 978 __builtin_memcpy: int -> int -> int -> int
 979
 980
 981 __builtin_logl: float -> float
 982
 983
 984 __builtin_logf: float -> float
 985
 986
 987 __builtin_log10l: float -> float
 988
 989
 990 __builtin_log10f: float -> float
 991
 992
 993 __builtin_log10: float -> float
 994
 995
 996 __builtin_log: float -> float
 997
 998
 999 __builtin_ldexpl: float -> int -> float
1000
1001
1002 __builtin_ldexpf: float -> int -> float
1003
1004
1005 __builtin_ldexp: float -> int -> float
1006
1007
1008 __builtin_infl: float
1009
1010
1011 __builtin_inff: float
1012
1013
1014 __builtin_inf: float
1015
1016
1017 __builtin_huge_vall: float
1018
1019
1020 __builtin_huge_valf: float
1021
1022
1023 __builtin_huge_val: float
1024
1025
1026 __builtin_frexpl: float -> int -> float
1027
1028
1029 __builtin_frexpf: float -> int -> float
1030
1031
1032 __builtin_frexp: float -> int -> float
1033
1034
1035 __builtin_frame_address: int -> int
1036
1037
1038 __builtin_fmodl: float -> float
1039
1040
1041 __builtin_fmodf: float -> float
1042
1043
1044 __builtin_fmod: float -> float
1045
1046
1047 __builtin_floorl: float -> float
1048
1049
1050 __builtin_floorf: float -> float
1051
1052
1053 __builtin_floor: float -> float
1054
1055
1056 __builtin_ffsll: int -> int
1057
1058
1059 __builtin_ffsl: int -> int
1060
1061
1062 __builtin_ffs: int -> int
1063
1064
1065 __builtin_fabsl: float -> float
1066
1067
1068 __builtin_fabsf: float -> float
1069
1070
1071 __builtin_fabs: float -> float
1072
1073
1074 __builtin_expl: float -> float
1075
1076
1077 __builtin_expf: float -> float
1078
1079
1080 __builtin_expect: int -> int -> int
1081
1082
1083 __builtin_exp: float -> float
1084
1085
1086 __builtin_ctzll: int -> int
1087
1088
1089 __builtin_ctzl: int -> int
1090
1091
1092 __builtin_ctz: int -> int
1093
1094
1095 __builtin_cosl: float -> float
1096
1097
1098 __builtin_coshl: float -> float
1099
1100
1101 __builtin_coshf: float -> float
1102
1103
1104 __builtin_cosh: float -> float
1105
1106
1107 __builtin_cosf: float -> float
1108
1109
1110 __builtin_cos: float -> float
1111
1112
1113 __builtin_constant_p: int -> int
1114
1115
1116 __builtin_clzll: int -> int
1117
1118
1119 __builtin_clzl: int -> int
1120
1121
1122 __builtin_clz: int -> int
1123
1124
1125 __builtin_ceill: float -> float
1126
1127
1128 __builtin_ceilf: float -> float
1129
1130
1131 __builtin_ceil: float -> float
1132
1133
1134 __builtin_atanl: float -> float
1135
1136
1137 __builtin_atanf: float -> float
1138
1139
1140 __builtin_atan2l: float -> float -> float
1141
1142
1143 __builtin_atan2f: float -> float -> float
1144
1145
1146 __builtin_atan2: float -> float -> float
1147
1148
1149 __builtin_atan: float -> float
1150
1151
1152 __builtin_asinl: float -> float
1153
1154
1155 __builtin_asinf: float -> float
1156
1157
1158 __builtin_asin: float -> float
1159
1160
1161 __builtin_alloca: int -> int
1162
1163
1164 __builtin_acosl: float -> float
1165
1166
1167 __builtin_acosf: float -> float
1168
1169
1170 __builtin_acos: float -> float
1171
1172
1173 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
1174
1175
1176 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
1177
1178
1179 __builtin___vprintf_chk: int -> int -> int -> int
1180
1181
1182 __builtin___vfprintf_chk: int -> int -> int -> int -> int
1183
1184
1185 __builtin___strncpy_chk: int -> int -> int -> int -> int
1186
1187
1188 __builtin___strncat_chk: int -> int -> int -> int -> int
1189
1190
1191 __builtin___strcpy_chk: int -> int -> int -> int
1192
1193
1194 __builtin___strcat_chk: int -> int -> int -> int
1195
1196
1197 __builtin___stpcpy_chk: int -> int -> int -> int
1198
1199
1200 __builtin___memset_chk: int -> int -> int -> int -> int
1201
1202
1203 __builtin___mempcpy_chk: int -> int -> int -> int -> int
1204
1205
1206 __builtin___memmove_chk: int -> int -> int -> int -> int
1207
1208
1209 __builtin___memcpy_chk: int -> int -> int -> int -> int
1210
1211