Ignore:
Timestamp:
Mar 29, 2013, 5:19:53 PM (7 years ago)
Author:
tranquil
Message:
  • ADDRESS joint instruction now has also an offset
  • corrected call to pointer (needed to clear the accumulator)
  • now we make sure globals contain also function names

LINToASM will be fixed in an upcoming commit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/linearise.ma

    r2950 r3037  
    887887   ≝
    888888  λp,pr.(*transform_program ??? pr*)
    889    mk_joint_program ?
    890     (transform_program ??? pr
    891      (λglobals.transf_fundef ?? (λf_in.\fst (linearise_int_fun p globals f_in))))
    892     (init_cost_label ? pr).
     889   transform_joint_program … (λglobals,f_in.\fst (linearise_int_fun p globals f_in)) pr.
    893890   
    894891(*    mk_joint_program
Note: See TracChangeset for help on using the changeset viewer.