Futhark.Representation.Kernels.Simplify

Documentation

simplifyKernels :: Prog Kernels -> PassM (Prog Kernels)

simplifyLambda :: (HasScope InKernel m, MonadFreshNames m) => KernelSpace -> Lambda InKernel -> [Maybe VName] -> m (Lambda InKernel)

Building blocks

simplifyKernelOp :: (SimplifiableLore lore, SimplifiableLore outerlore, BodyAttr outerlore ~ (), BodyAttr lore ~ (), ExpAttr lore ~ ExpAttr outerlore, SameScope lore outerlore, RetType lore ~ RetType outerlore, BranchType lore ~ BranchType outerlore) => (KernelSpace -> SimpleOps lore) -> Env lore -> Kernel lore -> SimpleM outerlore (Kernel (Wise lore), Stms (Wise outerlore))

simplifyKernelExp :: SimplifiableLore lore => KernelSpace -> KernelExp lore -> SimpleM lore (KernelExp (Wise lore), Stms (Wise lore))

Orphan instances

Simplifiable CombineSpace

Methods

simplify :: SimplifiableLore lore => CombineSpace -> SimpleM lore CombineSpace

Simplifiable SplitOrdering

Methods

simplify :: SimplifiableLore lore => SplitOrdering -> SimpleM lore SplitOrdering

Simplifiable WhichThreads

Methods

simplify :: SimplifiableLore lore => WhichThreads -> SimpleM lore WhichThreads

Simplifiable KernelResult

Methods

simplify :: SimplifiableLore lore => KernelResult -> SimpleM lore KernelResult

Simplifiable SpaceStructure

Methods

simplify :: SimplifiableLore lore => SpaceStructure -> SimpleM lore SpaceStructure

Simplifiable KernelSpace

Methods

simplify :: SimplifiableLore lore => KernelSpace -> SimpleM lore KernelSpace

BinderOps (Wise InKernel)

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ Wise InKernel) => Pattern (Wise InKernel) -> Exp (Wise InKernel) -> m (ExpAttr (Wise InKernel))

mkBodyB :: (MonadBinder m, Lore m ~ Wise InKernel) => Stms (Wise InKernel) -> Result -> m (Body (Wise InKernel))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise InKernel) => [VName] -> Exp (Wise InKernel) -> m (Stm (Wise InKernel))

BinderOps (Wise Kernels)

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpAttr (Wise Kernels))

mkBodyB :: (MonadBinder m, Lore m ~ Wise Kernels) => Stms (Wise Kernels) -> Result -> m (Body (Wise Kernels))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Kernels) => [VName] -> Exp (Wise Kernels) -> m (Stm (Wise Kernels))