cleanup cairo

anoma · Jun 26, 2024 · 8a76a8a · 8a76a8a
1 parent 6cf865b
commit 8a76a8a
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 3 deletions.
diff --git a/src/Juvix/Compiler/Reg/Data/TransformationId.hs b/src/Juvix/Compiler/Reg/Data/TransformationId.hs
@@ -6,6 +6,7 @@ import Juvix.Prelude
 
 data TransformationId
   = IdentityTrans
+  | CleanupCairo
   | Cleanup
   | SSA
   | InitBranchVars
@@ -33,12 +34,13 @@ toRustTransformations :: [TransformationId]
 toRustTransformations = [Cleanup]
 
 toCasmTransformations :: [TransformationId]
-toCasmTransformations = [Cleanup, SSA, OptPhaseCairo]
+toCasmTransformations = [CleanupCairo, SSA, OptPhaseCairo]
 
 instance TransformationId' TransformationId where
   transformationText :: TransformationId -> Text
   transformationText = \case
     IdentityTrans -> strIdentity
+    CleanupCairo -> strCleanupCairo
     Cleanup -> strCleanup
     SSA -> strSSA
     InitBranchVars -> strInitBranchVars

diff --git a/src/Juvix/Compiler/Reg/Data/TransformationId/Strings.hs b/src/Juvix/Compiler/Reg/Data/TransformationId/Strings.hs
@@ -17,6 +17,9 @@ strIdentity = "identity"
 strCleanup :: Text
 strCleanup = "cleanup"
 
+strCleanupCairo :: Text
+strCleanupCairo = "cleanup-cairo"
+
 strSSA :: Text
 strSSA = "ssa"
 

diff --git a/src/Juvix/Compiler/Reg/Transformation.hs b/src/Juvix/Compiler/Reg/Transformation.hs
@@ -25,6 +25,7 @@ applyTransformations ts tbl = foldM (flip appTrans) tbl ts
     appTrans = \case
       IdentityTrans -> return . identity
       Cleanup -> return . cleanup
+      CleanupCairo -> return . cleanup' True
       SSA -> return . computeSSA
       InitBranchVars -> return . initBranchVars
       CopyPropagation -> return . copyPropagate

diff --git a/src/Juvix/Compiler/Reg/Transformation/Cleanup.hs b/src/Juvix/Compiler/Reg/Transformation/Cleanup.hs
@@ -1,11 +1,12 @@
 module Juvix.Compiler.Reg.Transformation.Cleanup where
 
+import Juvix.Compiler.Reg.Extra.Base (updateLiveVars')
 import Juvix.Compiler.Reg.Extra.Recursors
 import Juvix.Compiler.Reg.Transformation.Base
 import Juvix.Compiler.Tree.Extra.Rep
 
-cleanup :: InfoTable -> InfoTable
-cleanup tab = mapT (const (cmap go)) tab
+cleanup' :: Bool -> InfoTable -> InfoTable
+cleanup' bCairo tab = mapT (const (cmap go)) tab
   where
     go :: Code -> Code
     go = \case
@@ -17,4 +18,9 @@ cleanup tab = mapT (const (cmap go)) tab
               _caseBranchCode ++ is
             [] ->
               fromJust _instrCaseDefault ++ is
+      Prealloc {} : is | bCairo -> is
+      i : is | bCairo -> updateLiveVars' (const Nothing) i : is
       is -> is
+
+cleanup :: InfoTable -> InfoTable
+cleanup = cleanup' False