Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Provides last-use analysis for Futhark programs.
Synopsis
- type LastUseMap = Map VName Names
- type LastUse = Map VName VName
- 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.
type LastUse = Map VName VName Source #
LastUse
is a mapping from a VName
to the statement identifying it's
last use. LastUseMap
is the inverse of LastUse
.
analyseGPUMem :: Prog GPUMem -> (LastUseMap, Used) Source #
analyseSeqMem :: Prog SeqMem -> (LastUseMap, Used) Source #