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/cminor/cminorToRTLabs.ml

    r1572 r1589  
    445445  let exit = Label.Gen.fresh luniverse in
    446446
    447   (* The control flow graph: for now, it is only a return instruction at the
    448      end. *)
    449   let return = match result with
    450     | None -> None
    451     | Some (retr, _) -> Some (RTLabs.Reg retr) in
    452   let graph = Label.Map.add exit (RTLabs.St_return return) Label.Map.empty in
     447  let graph = Label.Map.add exit RTLabs.St_return Label.Map.empty in
    453448
    454449  let rtlabs_fun =
Note: See TracChangeset for help on using the changeset viewer.