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/ERTL/Interference.ma

    r3255 r3263  
    7474  ∀fn:joint_internal_function ERTL globals.
    7575   ∀liveafter.
     76    list register → (* callee saved store *)
    7677    coloured_graph (interferes … fn liveafter).
Note: See TracChangeset for help on using the changeset viewer.