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

Safe Haskell | None
Language | GHC2021

Futhark.Analysis.MemAlias

Synopsis

- analyzeSeqMem :: Prog SeqMem -> (MemAliases, Map Name MemAliases)
- analyzeGPUMem :: Prog GPUMem -> (MemAliases, Map Name MemAliases)
- aliasesOf :: MemAliases -> VName -> Names
- data MemAliases

# Documentation

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

Produce aliases for constants and for each function.

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

Produce aliases for constants and for each function.

aliasesOf :: MemAliases -> VName -> Names Source #

data MemAliases Source #

#### Instances

Instances details

Monoid MemAliases Source # |
Instance details Defined in Futhark.Analysis.MemAlias Methods mempty :: MemAliases Source # mappend :: MemAliases -> MemAliases -> MemAliases Source # mconcat :: [MemAliases] -> MemAliases Source #
Semigroup MemAliases Source # |
Instance details Defined in Futhark.Analysis.MemAlias Methods (<>) :: MemAliases -> MemAliases -> MemAliases Source # sconcat :: NonEmpty MemAliases -> MemAliases Source # stimes :: Integral b => b -> MemAliases -> MemAliases Source #
Show MemAliases Source # |
Instance details Defined in Futhark.Analysis.MemAlias Methods showsPrec :: Int -> MemAliases -> ShowS Source # show :: MemAliases -> String Source # showList :: [MemAliases] -> ShowS Source #
Eq MemAliases Source # |
Instance details Defined in Futhark.Analysis.MemAlias Methods (==) :: MemAliases -> MemAliases -> Bool Source # (/=) :: MemAliases -> MemAliases -> Bool Source #
Pretty MemAliases Source # |
Instance details Defined in Futhark.Analysis.MemAlias Methods pretty :: MemAliases -> Doc ann Source # prettyList :: [MemAliases] -> Doc ann Source #