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/RTLGraph.ml

    r1580 r1589  
    6262  | St_tailcall_id (f, args), [] -> St_tailcall_id (f, args)
    6363  | St_tailcall_ptr (f1, f2, args), [] -> St_tailcall_ptr (f1, f2, args)
    64   | St_return regs, [] -> St_return regs
     64  | St_return, [] -> St_return
    6565  | _ -> invalid_arg "fill_succs: statement and successors do not match"
Note: See TracChangeset for help on using the changeset viewer.