remove unused transformations

anoma · Oct 4, 2024 · 876f1b0 · 876f1b0
1 parent 64fd429
commit 876f1b0
Show file tree

Hide file tree

Showing 6 changed files with 5 additions and 50 deletions.
diff --git a/src/Juvix/Compiler/Core/Pipeline.hs b/src/Juvix/Compiler/Core/Pipeline.hs
@@ -26,7 +26,7 @@ toVampIR :: (Members '[Error JuvixError, Reader EntryPoint] r) => Module -> Sem
 toVampIR = mapReader fromEntryPoint . applyTransformations toVampIRTransformations
 
 extraAnomaTransformations :: [TransformationId]
-extraAnomaTransformations = [ComputeCaseANF]
+extraAnomaTransformations = []
 
 applyExtraTransformations :: (Members '[Error JuvixError, Reader EntryPoint] r) => [TransformationId] -> Module -> Sem r Module
 applyExtraTransformations transforms = mapReader fromEntryPoint . applyTransformations transforms
diff --git a/src/Juvix/Compiler/Tree/Data/TransformationId.hs b/src/Juvix/Compiler/Tree/Data/TransformationId.hs
@@ -9,7 +9,6 @@ data TransformationId
   | IdentityU
   | IdentityD
   | Apply
-  | TempHeight
   | FilterUnreachable
   | Validate
   | CheckNoAnoma
@@ -25,7 +24,7 @@ data PipelineId
 type TransformationLikeId = TransformationLikeId' TransformationId PipelineId
 
 toNockmaTransformations :: [TransformationId]
-toNockmaTransformations = [Validate, Apply, FilterUnreachable, TempHeight]
+toNockmaTransformations = [Validate, Apply, FilterUnreachable]
 
 toAsmTransformations :: [TransformationId]
 toAsmTransformations = [Validate, CheckNoAnoma, CheckNoByteArray]
@@ -40,7 +39,6 @@ instance TransformationId' TransformationId where
     IdentityU -> strIdentityU
     IdentityD -> strIdentityD
     Apply -> strApply
-    TempHeight -> strTempHeight
     FilterUnreachable -> strFilterUnreachable
     Validate -> strValidate
     CheckNoAnoma -> strCheckNoAnoma

diff --git a/src/Juvix/Compiler/Tree/Data/TransformationId/Strings.hs b/src/Juvix/Compiler/Tree/Data/TransformationId/Strings.hs
@@ -23,9 +23,6 @@ strIdentityD = "identity-dmap"
 strApply :: Text
 strApply = "apply"
 
-strTempHeight :: Text
-strTempHeight = "temp-height"
-
 strFilterUnreachable :: Text
 strFilterUnreachable = "filter-unreachable"
 

diff --git a/src/Juvix/Compiler/Tree/Language/Base.hs b/src/Juvix/Compiler/Tree/Language/Base.hs
@@ -51,20 +51,10 @@ data DirectRef
   deriving stock (Eq)
 
 mkTempRef :: OffsetRef -> DirectRef
-mkTempRef o = TempRef (RefTemp o Nothing)
+mkTempRef o = TempRef (RefTemp o)
 
-mkTempRef' :: Int -> Int -> DirectRef
-mkTempRef' height idx =
-  TempRef
-    ( RefTemp
-        { _refTempOffsetRef = OffsetRef {_offsetRefOffset = idx, _offsetRefName = Nothing},
-          _refTempTempHeight = Just height
-        }
-    )
-
-data RefTemp = RefTemp
-  { _refTempOffsetRef :: OffsetRef,
-    _refTempTempHeight :: Maybe Int
+newtype RefTemp = RefTemp
+  { _refTempOffsetRef :: OffsetRef
   }
   deriving stock (Eq)
 

diff --git a/src/Juvix/Compiler/Tree/Transformation.hs b/src/Juvix/Compiler/Tree/Transformation.hs
@@ -14,7 +14,6 @@ import Juvix.Compiler.Tree.Transformation.CheckNoAnoma
 import Juvix.Compiler.Tree.Transformation.CheckNoByteArray
 import Juvix.Compiler.Tree.Transformation.FilterUnreachable
 import Juvix.Compiler.Tree.Transformation.IdentityTrans
-import Juvix.Compiler.Tree.Transformation.TempHeight
 import Juvix.Compiler.Tree.Transformation.Validate
 
 applyTransformations :: forall r. (Member (Error JuvixError) r) => [TransformationId] -> InfoTable -> Sem r InfoTable
@@ -26,7 +25,6 @@ applyTransformations ts tbl = foldM (flip appTrans) tbl ts
       IdentityU -> return . identityU
       IdentityD -> return . identityD
       Apply -> return . computeApply
-      TempHeight -> return . computeTempHeight
       FilterUnreachable -> return . filterUnreachable
       Validate -> mapError (JuvixError @TreeError) . validate
       CheckNoAnoma -> \tbl' -> mapError (JuvixError @TreeError) (checkNoAnoma tbl') $> tbl'

diff --git a/src/Juvix/Compiler/Tree/Transformation/TempHeight.hs b/src/Juvix/Compiler/Tree/Transformation/TempHeight.hs