tests/clight/fib.LTL.expected

   1 program
   2
   3 globals 0
   4
   5 procedure fib(1)
   6 var 12
   7 entry fib37
   8 fib37: newframe            --> fib36
   9 fib36: sets  local(0), $ra --> fib35
  10 fib35: j                   --> fib34
  11 fib34: j                   --> fib33
  12 fib33: j                   --> fib32
  13 fib32: j                   --> fib31
  14 fib31: j                   --> fib30
  15 fib30: j                   --> fib29
  16 fib29: sets  local(4), $s1 --> fib28
  17 fib28: sets  local(8), $s0 --> fib27
  18 fib27: move  $s1, $a0      --> fib26
  19 fib26: j                   --> fib25
  20 fib25: j                   --> fib24
  21 fib24: j                   --> fib23
  22 fib23: j                   --> fib22
  23 fib22: j                   --> fib21
  24 fib21: j                   --> fib20
  25 fib20: j                   --> fib19
  26 fib19: j                   --> fib18
  27 fib18: j                   --> fib17
  28 fib17: emit c4             --> fib16
  29 fib16: j                   --> fib15
  30 fib15: li    $v0, 2        --> fib14
  31 fib14: slt   $v0, $s1, $v0 --> fib13
  32 fib13: beq   $v0, $zero    --> fib10, fib12
  33 fib12: emit c3             --> fib11
  34 fib11: li    $v0, 1        --> fib0
  35 fib0 : j                   --> fib49
  36 fib49: j                   --> fib48
  37 fib48: gets  $ra, local(0) --> fib47
  38 fib47: j                   --> fib46
  39 fib46: j                   --> fib45
  40 fib45: j                   --> fib44
  41 fib44: j                   --> fib43
  42 fib43: j                   --> fib42
  43 fib42: j                   --> fib41
  44 fib41: gets  $s1, local(4) --> fib40
  45 fib40: gets  $s0, local(8) --> fib39
  46 fib39: delframe            --> fib38
  47 fib38: jr    $ra
  48 fib10: emit c2             --> fib9
  49 fib9 : li    $v0, 1        --> fib8
  50 fib8 : subu  $a0, $s1, $v0 --> fib7
  51 fib7 : j                   --> fib55
  52 fib55: j                   --> fib54
  53 fib54: call  fib           --> fib53
  54 fib53: move  $s0, $v0      --> fib6
  55 fib6 : emit c1             --> fib5
  56 fib5 : li    $v0, 2        --> fib4
  57 fib4 : subu  $a0, $s1, $v0 --> fib3
  58 fib3 : j                   --> fib52
  59 fib52: j                   --> fib51
  60 fib51: call  fib           --> fib50
  61 fib50: j                   --> fib2
  62 fib2 : emit c0             --> fib1
  63 fib1 : addu  $v0, $s0, $v0 --> fib0
  64
  65 procedure _main(0)
  66 var 4
  67 entry main17
  68 main17: newframe            --> main16
  69 main16: sets  local(0), $ra --> main15
  70 main15: j                   --> main14
  71 main14: j                   --> main13
  72 main13: j                   --> main12
  73 main12: j                   --> main11
  74 main11: j                   --> main10
  75 main10: j                   --> main9
  76 main9 : j                   --> main8
  77 main8 : j                   --> main7
  78 main7 : j                   --> main6
  79 main6 : j                   --> main5
  80 main5 : emit c6             --> main4
  81 main4 : li    $a0, 10       --> main3
  82 main3 : j                   --> main32
  83 main32: j                   --> main31
  84 main31: call  fib           --> main30
  85 main30: j                   --> main2
  86 main2 : emit c5             --> main1
  87 main1 : j                   --> main0
  88 main0 : j                   --> main29
  89 main29: j                   --> main28
  90 main28: gets  $ra, local(0) --> main27
  91 main27: j                   --> main26
  92 main26: j                   --> main25
  93 main25: j                   --> main24
  94 main24: j                   --> main23
  95 main23: j                   --> main22
  96 main22: j                   --> main21
  97 main21: j                   --> main20
  98 main20: j                   --> main19
  99 main19: delframe            --> main18
 100 main18: jr    $ra
 101