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/RTL/RTLToERTL.ml

    r1584 r1589  
    350350    add_graph lbl (ERTL.St_cond (srcr, lbl_true, lbl_false)) def
    351351
    352   | RTL.St_return ret_regs ->
    353     add_graph lbl (ERTL.St_return ret_regs) def
     352  | RTL.St_return ->
     353    add_graph lbl (ERTL.St_return) def
    354354
    355355  | RTL.St_tailcall_id _ | RTL.St_tailcall_ptr _ ->
Note: See TracChangeset for help on using the changeset viewer.