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/RTL.mli

    r1572 r1589  
    102102  | St_cond of Register.t * Label.t * Label.t
    103103
    104   (* Return the value of some registers (low bytes first). *)
    105   | St_return of argument list
     104  (* Return control. *)
     105  | St_return
    106106
    107107
Note: See TracChangeset for help on using the changeset viewer.