Futhark.Pass.ExtractKernels.Kernelise

Sequentialise to kernel statements.

Documentation

transformStm :: Transformer m => Stm -> m ()

transformStms :: Transformer m => Stms SOACS -> m ()

transformBody :: Transformer m => Body -> m (Body InKernel)

transformLambda :: (MonadFreshNames m, HasScope lore m, SameScope lore InKernel) => Lambda -> m (Lambda InKernel)

mapIsh :: Transformer m => Pattern -> Certificates -> SubExp -> [LParam] -> Body InKernel -> [VName] -> m ()

groupStreamMapAccumL :: Transformer m => [PatElem InKernel] -> SubExp -> Lambda InKernel -> [SubExp] -> [VName] -> m ()