GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Remove more unused imports

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-06 10:22:16 -08:00
parent 4e1db21b08
commit 15078b2bde
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
macaw-ppc/src/Data/Macaw/PPC.hs
View File

@ -17,8 +17,6 @@ import qualified Data.Macaw.Architecture.Info as MI
import Data.Macaw.CFG
import qualified Data.Macaw.CFG.DemandSet as MDS
import qualified Data.Macaw.Memory as MM
import qualified Data.Parameterized.TraversableFC as FC
import Data.Parameterized.Some ( Some(..), viewSome )
import qualified SemMC.Architecture.PPC32 as PPC32
import qualified SemMC.Architecture.PPC64 as PPC64
@ -37,21 +35,15 @@ import Data.Macaw.PPC.Identify ( identifyCall,
import Data.Macaw.PPC.Arch ( rewriteTermStmt,
rewriteStmt,
rewritePrimFn,
valuesInPPCStmt,
ppcPrimFnHasSideEffects,
PPCArchConstraints
)
import qualified Data.Macaw.PPC.Semantics.PPC32 as PPC32
import qualified Data.Macaw.PPC.Semantics.PPC64 as PPC64
addValueListDemands :: [Some (Value ppc ids)] -> MDS.DemandComp ppc ids ()
addValueListDemands = mapM_ (viewSome MDS.addValueDemands)
archDemandContext :: (PPCArchConstraints ppc) => proxy ppc -> MDS.DemandContext ppc ids
archDemandContext _ =
MDS.DemandContext { MDS.demandConstraints = \a -> a
-- , MDS.addArchStmtDemands = addValueListDemands . valuesInPPCStmt
-- , MDS.addArchFnDemands = addValueListDemands . FC.foldMapFC (\v -> [ Some v ])
, MDS.archFnHasSideEffects = ppcPrimFnHasSideEffects
}