Futhark.Optimise.ArrayShortCircuiting.ArrayCoalescing

The bulk of the short-circuiting implementation.

Documentation

mkCoalsTab :: MonadFreshNames m => FunDef (Aliases SeqMem) -> m CoalsTab

Given a FunDef in SegMem representation, compute the coalescing table by folding over each function.

type CoalsTab = Map VName CoalsEntry

maps a memory-block name to a CoalsEntry. Among other things, it contains vartab, a map in which each variable associated to that memory block is bound to its Coalesced info.

mkCoalsTabGPU :: MonadFreshNames m => FunDef (Aliases GPUMem) -> m CoalsTab

Given a FunDef in GPUMem representation, compute the coalescing table by folding over each function.