Futhark.Optimise.ArrayShortCircuiting.ArrayCoalescing

The bulk of the short-circuiting implementation.

Documentation

mkCoalsTab :: MonadFreshNames m => Prog (Aliases SeqMem) -> m (Map Name CoalsTab)

Given a Prog 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 => Prog (Aliases GPUMem) -> m (Map Name CoalsTab)

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

mkCoalsTabMC :: MonadFreshNames m => Prog (Aliases MCMem) -> m (Map Name CoalsTab)

Given a Prog in MCMem representation, compute the coalescing table by folding over each function.