Ignore:
Timestamp:
Dec 6, 2011, 5:04:13 PM (9 years ago)
Author:
tranquil
Message:
  • turned to argument-less return statements for RTLabs and RTL (there was a hidden invariant, for which the arguments of return statements where equal to the f_result field of the function definition: they were useless and an optimization was breaking the compilation)
  • corrected a bug in liveness analysis I had introduced
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml

    r1580 r1589  
    144144    Printf.sprintf "branch %s <> 0 --> %s, %s"
    145145      (Register.print srcr) lbl_true lbl_false
    146   | ERTL.St_return ret_regs ->
    147     Printf.sprintf "return %s" (print_return ret_regs)
     146  | ERTL.St_return ->
     147    Printf.sprintf "return"
    148148
    149149
Note: See TracChangeset for help on using the changeset viewer.