| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.MemoryBlockMerging.Types
Synopsis
- type MName = VName
- type MNames = Names
- data MemorySrc = MemorySrc {
- memSrcName :: MName
- memSrcIxFun :: IxFun
- memSrcShape :: Shape
- data MemoryLoc = MemoryLoc {
- memLocName :: MName
- memLocIxFun :: IxFun
- type VarMemMappings t = Map VName t
- type MemAliases = Map MName MNames
- type VarAliases = Map VName Names
- type FirstUses = Map VName MNames
- data StmOrRes
- type LastUses = Map StmOrRes MNames
- type Interferences = Map MName MNames
- type ActualVariables = Map VName Names
- type PotentialKernelDataRaceInterferences = [PotentialKernelDataRaceInterferenceGroup]
- type PotentialKernelDataRaceInterferenceGroup = [KernelFirstUse]
- type KernelFirstUse = (MName, VName, PrimType, IxFun)
Documentation
Constructors
| MemorySrc | |
Fields
| |
Constructors
| MemoryLoc | |
Fields
| |
type VarMemMappings t = Map VName t Source #