| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.MemoryBlockMerging.MemoryUpdater
Description
Transform a function based on a mapping from variable to memory and index function: Change every variable in the mapping to its possibly new memory block.
Synopsis
- transformFromVarMemMappings :: MonadFreshNames m => VarMemMappings MemoryLoc -> VarMemMappings MName -> Map MName SubExp -> Map MName SubExp -> Bool -> FunDef ExplicitMemory -> m (FunDef ExplicitMemory)
Documentation
transformFromVarMemMappings :: MonadFreshNames m => VarMemMappings MemoryLoc -> VarMemMappings MName -> Map MName SubExp -> Map MName SubExp -> Bool -> FunDef ExplicitMemory -> m (FunDef ExplicitMemory) Source #
Transform a function to use new memory blocks.