Futhark.Analysis.LastUse

Provides last-use analysis for Futhark programs.

Documentation

type LastUseMap = Map VName Names

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)

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.