Eliminate always-inline functions/continuations when inlining

minoki · Sep 17, 2024 · a3629d2 · a3629d2
1 parent d092af4
commit a3629d2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/cps/inline.sml b/src/cps/inline.sml
@@ -770,7 +770,8 @@ struct
                           )
                         val dec = C.ValDec {exp = exp, results = [SOME result]}
                       in
-                        (env, cenv, subst, csubst, dec :: acc)
+                        if alwaysInline then (env, cenv, subst, csubst, acc)
+                        else (env, cenv, subst, csubst, dec :: acc)
                       end
                   | _ =>
                       (case (C.isDiscardable exp, results) of
@@ -825,7 +826,8 @@ struct
             val dec = C.ContDec
               {name = name, params = params, body = body, attr = attr}
           in
-            (env, cenv, subst, csubst, dec :: acc)
+            if alwaysInline then (env, cenv, subst, csubst, acc)
+            else (env, cenv, subst, csubst, dec :: acc)
           end
       | C.RecContDec defs =>
           let