Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides last-use analysis for Futhark programs.
Synopsis
- type LastUseMap = Map VName Names
- type Used = Names
- analyseGPUMem :: Prog GPUMem -> (LastUseMap, Used)
- analyseSeqMem :: Prog SeqMem -> (LastUseMap, Used)
Documentation
type LastUseMap = Map VName Names Source #
LastUseMap
tells which names were last used in a given statement.
Statements are uniquely identified by the VName
of the first value
parameter in the statement pattern. Names
is the set of names last used.
analyseGPUMem :: Prog GPUMem -> (LastUseMap, Used) Source #
analyseSeqMem :: Prog SeqMem -> (LastUseMap, Used) Source #