futhark-0.11.0: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Analysis.Range

Synopsis

Documentation

rangeAnalysis :: (Attributes lore, CanBeRanged (Op lore)) => Prog lore -> Prog (Ranges lore) Source #

Perform variable range analysis on the given program, returning a program with embedded range annotations.

type RangeM = Reader RangeEnv Source #

analyseExp :: (Attributes lore, CanBeRanged (Op lore)) => Exp lore -> RangeM (Exp (Ranges lore)) Source #

analyseLambda :: (Attributes lore, CanBeRanged (Op lore)) => Lambda lore -> RangeM (Lambda (Ranges lore)) Source #

analyseBody :: (Attributes lore, CanBeRanged (Op lore)) => Body lore -> RangeM (Body (Ranges lore)) Source #

analyseStms :: (Attributes lore, CanBeRanged (Op lore)) => Stms lore -> (Stms (Ranges lore) -> RangeM a) -> RangeM a Source #