futhark-0.19.7: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.Analysis.LastUse

Description

Provides last-use analysis for Futhark programs.

Synopsis

Documentation

type LastUseMap = Map VName Names Source #

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.

analyseProg :: Prog GPUMem -> (LastUseMap, Used) Source #

Analyses a program to return a last-use map, mapping each simple statement in the program to the values that were last used within that statement, and the set of all VName that were used inside.