Remove unused AST values

Author: nspin

asl/arm-mras-asl.cabal

@@ -32,7 +32,8 @@ test-suite test
   main-is:            Test.hs
 
   -- for now
-  other-modules:      ARM.MRAS.ASL.Parser
+  other-modules:      Recon
+                    , ARM.MRAS.ASL.Parser
                     , ARM.MRAS.ASL.Parser.Lexer
                     , ARM.MRAS.ASL.Parser.Parser
                     , ARM.MRAS.ASL.Parser.ParserMonad

asl/src/ARM/MRAS/ASL/Parser/Parser.y

@@ -270,12 +270,10 @@ lexpr ::                                { LExpr                   }
     : '-'                               { LExprEmpty              }
     | qualident                         { LExprId $1              }
     | lexpr '.' ident                   { LExprDot $1 $3          }
-    | lexpr '.' '[' ident cpl_ident ']' { LExprDots $1 ($4 :| $5) }
     | lexpr '.' '<' ident cpl_ident '>' { LExprDots $1 ($4 :| $5) }
     | lexpr '[' csl_slice ']'           { LExprSlice $1 $3        }
     | lexpr '<' csl_slice '>'           { LExprSlice $1 $3        }
     | '<' csl_slice '>'                 { LExprConcat $2          }
-    | '[' lexpr cpl_lexpr ']'           { LExprBrack ($2 :| $3)   }
     | '(' lexpr cpl_lexpr ')'           { LExprParen ($2 :| $3)   }
 
 indented_block ::                            { NonEmpty Statement }

asl/src/ARM/MRAS/ASL/Parser/Syntax.hs

@@ -74,8 +74,7 @@ data LExpr =
     | LExprDot LExpr Ident
     | LExprDots LExpr (NonEmpty Ident)
     | LExprSlice LExpr [Slice]
-    | LExprConcat [Slice] -- there is only one instance of this in all of the public A64 ASL
-    | LExprBrack (NonEmpty LExpr)
+    | LExprConcat [Slice]
     | LExprParen (NonEmpty LExpr)
     deriving (Eq, Show, Generic, NFData)
 

asl/test/Recon.hs

@@ -0,0 +1,57 @@
+{-# LANGUAGE ParallelListComp #-}
+{-# LANGUAGE TupleSections #-}
+
+module Recon where
+
+import ARM.MRAS
+import ARM.MRAS.ASL.Parser
+import ARM.MRAS.ASL.Parser.Lexer
+import ARM.MRAS.ASL.Parser.Parser
+import ARM.MRAS.ASL.Parser.ParserMonad
+import ARM.MRAS.ASL.Parser.Syntax
+import ARM.MRAS.ASL.Parser.Tokens
+
+import Control.DeepSeq
+import Control.Lens
+import Control.Monad
+import Control.Monad.Except
+import Control.Monad.State
+import Data.List
+import Data.Monoid
+import System.IO
+import System.Exit
+import System.FilePath
+import System.Directory
+
+
+defChunks :: [String]
+defChunks = map _shared_ps_code (topoSort sharedps)
+
+stmtChunks :: [String]
+stmtChunks = (base ++ fpsimd) ^.. traverse.(insn_classes.traverse._2 <> insn_ps).traverse.ps_code
+
+parseDefsM :: Monad m => String -> StateT [String] (ExceptT PError m) [Definition]
+parseDefsM asl = StateT $ ExceptT . return . parseDefs asl
+
+parseStmtsM :: Monad m => String -> StateT [String] (ExceptT PError m) [Statement]
+parseStmtsM asl = StateT $ \s -> ExceptT (return (fmap (, s) (parseStmts s asl)))
+
+needle = "LExprDots"
+
+recon :: IO ()
+recon = do
+    r <- runExceptT . flip runStateT [] $ do
+        liftIO (readFile "test/prelude.asl") >>= parseDefsM
+        forM_ (topoSort sharedps) $ \ps -> do
+            ast <- parseDefsM (_shared_ps_code ps)
+            when (needle `isInfixOf` (show ast)) $ do
+                liftIO . putStrLn $ "sharedps: " ++ _shared_ps_name ps
+        forM_ (base ++ fpsimd) $ \insn -> do
+            let pss = insn ^.. (insn_classes.traverse._2 <> insn_ps).traverse
+            forM_ pss $ \ps -> do
+                ast <- parseStmtsM (_ps_code ps)
+                when (needle `isInfixOf` (show ast)) $ do
+                    liftIO . putStrLn $ "insn: " ++ _insn_file insn
+    case r of
+        Left err -> die (show err)
+        Right _ -> return ()