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

Safe HaskellNone
LanguageHaskell2010

Futhark.Analysis.UsageTable

Description

A usage-table is sort of a bottom-up symbol table, describing how (and if) a variable is used.

Synopsis

Documentation

expand :: (VName -> Names) -> UsageTable -> UsageTable Source #

Expand the usage table based on aliasing information.

isUsedDirectly :: VName -> UsageTable -> Bool Source #

Has the given name been used directly (i.e. could we rename it or remove it without anyone noticing?)

data Usages Source #

Instances
Eq Usages Source # 
Instance details

Defined in Futhark.Analysis.UsageTable

Methods

(==) :: Usages -> Usages -> Bool #

(/=) :: Usages -> Usages -> Bool #

Ord Usages Source # 
Instance details

Defined in Futhark.Analysis.UsageTable

Show Usages Source # 
Instance details

Defined in Futhark.Analysis.UsageTable

Semigroup Usages Source # 
Instance details

Defined in Futhark.Analysis.UsageTable

Monoid Usages Source # 
Instance details

Defined in Futhark.Analysis.UsageTable