tests/clight/binop.LTL.expected

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