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

Safe HaskellNone
LanguageHaskell2010

Futhark.Analysis.DataDependencies

Description

Facilities for inspecting the data dependencies of a program.

Synopsis

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.