Changeset 2659


Ignore:
Timestamp:
Feb 12, 2013, 2:47:18 AM (6 years ago)
Author:
sacerdot
Message:

Tailcall elimination no longer necessary:

  1. the back-end is almost ready for tailcalls
  2. tailcalls are never generated by the frontend
Location:
src
Files:
1 deleted
2 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2658 r2659  
    1616
    1717RTL/RTL_semantics.ma:             parametri
    18 RTL/RTLTailcall.ma                FCOND rotto, cosa fare con sto codice?
    19  RTL/RTLToERTL.ma
     18RTL/RTLToERTL.ma:                 parametri (??)
    2019
    2120RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
  • src/RTL/RTLToERTL.ma

    r2490 r2659  
    1 include "RTL/RTLTailcall.ma".
    21include "utilities/RegisterSet.ma".
    32include "common/Identifiers.ma".
     
    314313definition rtl_to_ertl : rtl_program → ertl_program ≝
    315314 λp.
    316   let p ≝ tailcall_simplify p in (* tailcall simplification here *)
    317     transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)).
     315  transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)).
Note: See TracChangeset for help on using the changeset viewer.