Futhark.Analysis.MemAlias

Documentation

analyzeSeqMem :: Prog SeqMem -> (MemAliases, Map Name MemAliases)

Produce aliases for constants and for each function.

analyzeGPUMem :: Prog GPUMem -> (MemAliases, Map Name MemAliases)

Produce aliases for constants and for each function.

aliasesOf :: MemAliases -> VName -> Names

data MemAliases

Instances

Monoid MemAliases

Defined in Futhark.Analysis.MemAlias

Methods

mempty :: MemAliases

mappend :: MemAliases -> MemAliases -> MemAliases

mconcat :: [MemAliases] -> MemAliases

Semigroup MemAliases

Defined in Futhark.Analysis.MemAlias

Methods

(<>) :: MemAliases -> MemAliases -> MemAliases

sconcat :: NonEmpty MemAliases -> MemAliases

stimes :: Integral b => b -> MemAliases -> MemAliases

Show MemAliases

Defined in Futhark.Analysis.MemAlias

Methods

showsPrec :: Int -> MemAliases -> ShowS

show :: MemAliases -> String

showList :: [MemAliases] -> ShowS

Eq MemAliases

Defined in Futhark.Analysis.MemAlias

Methods

(==) :: MemAliases -> MemAliases -> Bool

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

Pretty MemAliases

Defined in Futhark.Analysis.MemAlias

Methods

pretty :: MemAliases -> Doc ann

prettyList :: [MemAliases] -> Doc ann