Futhark.Analysis.LastUse

Provides last-use analysis for Futhark programs.

Documentation

type LastUseMap = Map VName Names

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

LastUse is a mapping from a VName to the statement identifying it's last use. LastUseMap is the inverse of LastUse.

type Used = Names

Used is the set of VName that were used somewhere in a statement, body or otherwise.

analyseGPUMem :: Prog GPUMem -> (LastUseMap, Used)

analyseSeqMem :: Prog SeqMem -> (LastUseMap, Used)