Changeset 2659 for src

Timestamp:

Feb 12, 2013, 2:47:18 AM (7 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:

• BACKEND_BROKEN_FILES (modified) (1 diff)
• RTL/RTLTailcall.ma (deleted)
• RTL/RTLToERTL.ma (modified) (2 diffs)

src/BACKEND_BROKEN_FILES

@@ -16 +16 @@
 
 RTL/RTL_semantics.ma:             parametri
-RTL/RTLTailcall.ma                FCOND rotto, cosa fare con sto codice?
- RTL/RTLToERTL.ma
+RTL/RTLToERTL.ma:                 parametri (??)
 
 RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo

src/RTL/RTLToERTL.ma

@@ -1 @@
-include "RTL/RTLTailcall.ma".
 include "utilities/RegisterSet.ma".
 include "common/Identifiers.ma".
@@ -314 +313 @@
 definition rtl_to_ertl : rtl_program → ertl_program ≝
  λp.
-  let p ≝ tailcall_simplify p in (* tailcall simplification here *)
-    transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)).
+  transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)).