Холодные функции после специализатора (#263)

bmstu-iu9 · Apr 12, 2020 · a5b0b5b · a5b0b5b
1 parent 92456fc
commit a5b0b5b
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 2 deletions.
diff --git a/src/compiler/Log-AST.ref b/src/compiler/Log-AST.ref
@@ -25,6 +25,8 @@ UndoubleEmtpyLines {
 
 Element {
   (Function s.Scope (e.Name) e.Body) = <Function (e.Name) s.Scope e.Body>;
+  (ColdFunction s.Scope (e.Name) e.Body)
+    = <ColdFunction (e.Name) s.Scope e.Body>;
 
   (Enum GN-Entry e.Name) = ('$EENUM ' <DisplayName e.Name> ';');
   (Enum GN-Local e.Name) = ('$ENUM ' <DisplayName e.Name> ';');
@@ -62,6 +64,16 @@ DoLongLine {
 
 
 Function {
+  (e.Name) s.Scope e.Body
+    = <Function-Aux (<DisplayName e.Name>) s.Scope e.Body>;
+}
+
+ColdFunction {
+  (e.Name) s.Scope e.Body
+    = <Function-Aux ('* ' <DisplayName e.Name> ' *') s.Scope e.Body>;
+}
+
+Function-Aux {
   (e.Name) s.Scope Sentences e.Sentences
     = ()
       (<Entry s.Scope> <DisplayName e.Name> ' {')

diff --git a/src/compiler/OptTree-Drive.ref b/src/compiler/OptTree-Drive.ref
@@ -141,6 +141,15 @@ DistinctFuncs {
       e.B (Function s.ScopeClass (e.Name) e.Body1) e.M e.E
     >;
 
+  e.B
+  (ColdFunction s.ScopeClass (e.Name) e.Body1)
+  e.M
+  (Function s.ScopeClass (e.Name) e.Body2)
+  e.E
+  = <DistinctFuncs
+      e.B (Function s.ScopeClass (e.Name) e.Body1) e.M e.E
+    >;
+
   e.Other = e.Other
 }
 

diff --git a/src/compiler/OptTree-Spec.ref b/src/compiler/OptTree-Spec.ref
@@ -112,7 +112,7 @@ SpecUnit {
       >
     : (e.SpecInfo^ (e.NewFunctions^)) e.Sentences^
     = (e.SpecInfo (e.NewFunctions))
-      (Function s.ScopeClass t.Name Sentences e.Sentences);
+      (ColdFunction s.ScopeClass t.Name Sentences e.Sentences);
 
   (e.SpecInfo (e.NewFunctions)) t.Other = (e.SpecInfo (e.NewFunctions)) t.Other;
 }
@@ -701,7 +701,16 @@ Spec-PrepareConditions {
   <OptTree-Spec-CleanupColdFunctions e.AST> == e.AST^
 */
 $ENTRY OptTree-Spec-CleanupColdFunctions {
-  e.AST = e.AST;
+  e.AST
+    = <Map
+        {
+          (ColdFunction s.ScopeClass (e.Name) e.Body)
+            = (Function s.ScopeClass (e.Name) e.Body);
+
+          t.OtherItem = t.OtherItem;
+        }
+        e.AST
+      >;
 }
 
 /*