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

Description

Facilities for inspecting the data dependencies of a program.

Synopsis

# Documentation

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.