Changeset 3263 for src/RTL/RTL.ma


Ignore:
Timestamp:
May 10, 2013, 1:40:31 PM (7 years ago)
Author:
tranquil
Message:

moved callee saved saving and restoring to ERTL -> LTL pass (untrusted
colourer and interference graph creator still need to be updated)
joint now has the stack size split in three (referenced locals, params
and spilled)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r3037 r3263  
    108108  (mk_universe … (p0 (p0 one)))
    109109  (mk_universe … (p1 (p0 one)))
    110   [ ] rs 0 0 (empty_map …) l1 in
     110  [ ] rs 0 0 0 (empty_map …) l1 in
    111111(* todo: args for main? *)
    112112let res ≝ add_graph … l1
Note: See TracChangeset for help on using the changeset viewer.