Futhark.Analysis.UsageTable

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

Documentation

data UsageTable

Instances

Eq UsageTable

Defined in Futhark.Analysis.UsageTable

Methods

(==) :: UsageTable -> UsageTable -> Bool

(/=) :: UsageTable -> UsageTable -> Bool

Show UsageTable

Defined in Futhark.Analysis.UsageTable

Methods

showsPrec :: Int -> UsageTable -> ShowS

show :: UsageTable -> String

showList :: [UsageTable] -> ShowS

Semigroup UsageTable

Defined in Futhark.Analysis.UsageTable

Methods

(<>) :: UsageTable -> UsageTable -> UsageTable

sconcat :: NonEmpty UsageTable -> UsageTable

stimes :: Integral b => b -> UsageTable -> UsageTable

Monoid UsageTable

Defined in Futhark.Analysis.UsageTable

Methods

mempty :: UsageTable

mappend :: UsageTable -> UsageTable -> UsageTable

mconcat :: [UsageTable] -> UsageTable

Substitute UsageTable

Defined in Futhark.Analysis.UsageTable

Methods

substituteNames :: Map VName VName -> UsageTable -> UsageTable

empty :: UsageTable

contains :: UsageTable -> [VName] -> Bool

without :: UsageTable -> [VName] -> UsageTable

lookup :: VName -> UsageTable -> Maybe Usages

keys :: UsageTable -> [VName]

used :: VName -> UsageTable -> Bool

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

Expand the usage table based on aliasing information.

isConsumed :: VName -> UsageTable -> Bool

isInResult :: VName -> UsageTable -> Bool

isUsedDirectly :: VName -> UsageTable -> Bool

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

allConsumed :: UsageTable -> Names

usages :: Names -> UsageTable

usage :: VName -> Usages -> UsageTable

consumedUsage :: VName -> UsageTable

inResultUsage :: VName -> UsageTable

data Usages

Instances

Eq Usages

Defined in Futhark.Analysis.UsageTable

Methods

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

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

Ord Usages

Defined in Futhark.Analysis.UsageTable

Methods

compare :: Usages -> Usages -> Ordering

(<) :: Usages -> Usages -> Bool

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

(>) :: Usages -> Usages -> Bool

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

max :: Usages -> Usages -> Usages

min :: Usages -> Usages -> Usages

Show Usages

Defined in Futhark.Analysis.UsageTable

Methods

showsPrec :: Int -> Usages -> ShowS

show :: Usages -> String

showList :: [Usages] -> ShowS

Semigroup Usages

Defined in Futhark.Analysis.UsageTable

Methods

(<>) :: Usages -> Usages -> Usages

sconcat :: NonEmpty Usages -> Usages

stimes :: Integral b => b -> Usages -> Usages

Monoid Usages

Defined in Futhark.Analysis.UsageTable

Methods

mempty :: Usages

mappend :: Usages -> Usages -> Usages

mconcat :: [Usages] -> Usages

leftScope :: UsageTable -> UsageTable