Futhark.Pass.LiftAllocations

This pass attempts to lift allocations and asserts as far towards the top in their body as possible. This helps memory short circuiting do a better job, as it is sensitive to statement ordering. It does not try to hoist allocations outside across body boundaries.

Documentation

liftAllocationsSeqMem :: Pass SeqMem SeqMem

liftAllocationsGPUMem :: Pass GPUMem GPUMem

liftAllocationsMCMem :: Pass MCMem MCMem