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/joint/linearise.ma

    r3037 r3263  
    849849   (joint_if_luniverse ?? f_sig) (joint_if_runiverse ?? f_sig)
    850850   (joint_if_result ?? f_sig) (joint_if_params ?? f_sig)
    851    (joint_if_stacksize ?? f_sig) (joint_if_local_stacksize ?? f_sig)
    852    code 0 (* exit is dummy! *), hide_prf ??»,
     851   (joint_if_local_stacksize ?? f_sig)
     852   (joint_if_params_stacksize ?? f_sig)
     853   (joint_if_spilled_stacksize ?? f_sig)
     854   code 0, hide_prf ??»,
    853855   sigma〉, proj1 ?? (pi2 ?? code_sigma)».
    854856cases daemon (*)
Note: See TracChangeset for help on using the changeset viewer.