| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Analysis.DataDependencies
Description
Facilities for inspecting the data dependencies of a program.
Synopsis
- type Dependencies = Map VName Names
- dataDependencies :: Attributes lore => Body lore -> Dependencies
- findNecessaryForReturned :: (Param attr -> Bool) -> [(Param attr, SubExp)] -> Map VName Names -> Names
Documentation
type Dependencies = Map VName Names Source #
A mapping from a variable name v, to those variables on which
the value of v is dependent. The intuition is that we could
remove all other variables, and v would still be computable.
This also includes names bound in loops or by lambdas.
dataDependencies :: Attributes lore => Body lore -> Dependencies Source #
Compute the data dependencies for an entire body.