Safe Haskell	None
Language	Haskell2010

Futhark.IR.Kernels.Simplify

Contents

Building blocks
Orphan instances

Synopsis

simplifyKernels :: Prog Kernels -> PassM (Prog Kernels)
simplifyLambda :: (HasScope Kernels m, MonadFreshNames m) => Lambda Kernels -> m (Lambda Kernels)
data Kernels
simplifyKernelOp :: (SimplifiableLore lore, BodyDec lore ~ ()) => SimplifyOp lore op -> HostOp lore op -> SimpleM lore (HostOp (Wise lore) (OpWithWisdom op), Stms (Wise lore))

Documentation

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

simplifyLambda :: (HasScope Kernels m, MonadFreshNames m) => Lambda Kernels -> m (Lambda Kernels) Source #

data Kernels Source #

The phantom data type for the kernels representation.

Instances

Instances details

Decorations Kernels Source #
Instance details Defined in Futhark.IR.Kernels Associated Types type LetDec Kernels Source # type ExpDec Kernels Source # type BodyDec Kernels Source # type FParamInfo Kernels Source # type LParamInfo Kernels Source # type RetType Kernels Source # type BranchType Kernels Source # type Op Kernels Source #
PrettyLore Kernels Source #
Instance details Defined in Futhark.IR.Kernels Methods ppExpLore :: ExpDec Kernels -> Exp Kernels -> Maybe Doc Source #
ASTLore Kernels Source #
Instance details Defined in Futhark.IR.Kernels Methods expTypesFromPattern :: (HasScope Kernels m, Monad m) => Pattern Kernels -> m [BranchType Kernels] Source #
Bindable Kernels Source #
Instance details Defined in Futhark.IR.Kernels Methods mkExpPat :: [Ident] -> [Ident] -> Exp Kernels -> Pattern Kernels Source # mkExpDec :: Pattern Kernels -> Exp Kernels -> ExpDec Kernels Source # mkBody :: Stms Kernels -> Result -> Body Kernels Source # mkLetNames :: (MonadFreshNames m, HasScope Kernels m) => [VName] -> Exp Kernels -> m (Stm Kernels) Source #
BinderOps Kernels Source #
Instance details Defined in Futhark.IR.Kernels Methods mkExpDecB :: (MonadBinder m, Lore m ~ Kernels) => Pattern Kernels -> Exp Kernels -> m (ExpDec Kernels) Source # mkBodyB :: (MonadBinder m, Lore m ~ Kernels) => Stms Kernels -> Result -> m (Body Kernels) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Kernels) => [VName] -> Exp Kernels -> m (Stm Kernels) Source #
Checkable Kernels Source #
Instance details Defined in Futhark.IR.Kernels Methods checkExpLore :: ExpDec Kernels -> TypeM Kernels () Source # checkBodyLore :: BodyDec Kernels -> TypeM Kernels () Source # checkFParamLore :: VName -> FParamInfo Kernels -> TypeM Kernels () Source # checkLParamLore :: VName -> LParamInfo Kernels -> TypeM Kernels () Source # checkLetBoundLore :: VName -> LetDec Kernels -> TypeM Kernels () Source # checkRetType :: [RetType Kernels] -> TypeM Kernels () Source # matchPattern :: Pattern (Aliases Kernels) -> Exp (Aliases Kernels) -> TypeM Kernels () Source # primFParam :: VName -> PrimType -> TypeM Kernels (FParam (Aliases Kernels)) Source # matchReturnType :: [RetType Kernels] -> Result -> TypeM Kernels () Source # matchBranchType :: [BranchType Kernels] -> Body (Aliases Kernels) -> TypeM Kernels () Source # matchLoopResult :: [FParam (Aliases Kernels)] -> [FParam (Aliases Kernels)] -> [SubExp] -> TypeM Kernels () Source #
CheckableOp Kernels Source #
Instance details Defined in Futhark.IR.Kernels Methods checkOp :: OpWithAliases (Op Kernels) -> TypeM Kernels () Source #
HasSegOp Kernels Source #
Instance details Defined in Futhark.IR.Kernels Associated Types type SegOpLevel Kernels Source # Methods asSegOp :: Op Kernels -> Maybe (SegOp (SegOpLevel Kernels) Kernels) Source # segOp :: SegOp (SegOpLevel Kernels) Kernels -> Op Kernels Source #
BinderOps (Wise Kernels) Source #
Instance details Defined in Futhark.IR.Kernels.Simplify Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpDec (Wise Kernels)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise Kernels) => Stms (Wise Kernels) -> Result -> m (Body (Wise Kernels)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Kernels) => [VName] -> Exp (Wise Kernels) -> m (Stm (Wise Kernels)) Source #
HasSOAC (Wise Kernels) Source #
Instance details Defined in Futhark.IR.Kernels.Simplify Methods asSOAC :: Op (Wise Kernels) -> Maybe (SOAC (Wise Kernels)) Source # soacOp :: SOAC (Wise Kernels) -> Op (Wise Kernels) Source #
HasSegOp (Wise Kernels) Source #
Instance details Defined in Futhark.IR.Kernels.Simplify Associated Types type SegOpLevel (Wise Kernels) Source # Methods asSegOp :: Op (Wise Kernels) -> Maybe (SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels)) Source # segOp :: SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels) -> Op (Wise Kernels) Source #
type LetDec Kernels Source #
Instance details Defined in Futhark.IR.Kernels type LetDec Kernels = Type
type ExpDec Kernels Source #
Instance details Defined in Futhark.IR.Kernels type ExpDec Kernels = ()
type BodyDec Kernels Source #
Instance details Defined in Futhark.IR.Kernels type BodyDec Kernels = ()
type FParamInfo Kernels Source #
Instance details Defined in Futhark.IR.Kernels type FParamInfo Kernels = DeclType
type LParamInfo Kernels Source #
Instance details Defined in Futhark.IR.Kernels type LParamInfo Kernels = Type
type RetType Kernels Source #
Instance details Defined in Futhark.IR.Kernels type RetType Kernels = DeclExtType
type BranchType Kernels Source #
Instance details Defined in Futhark.IR.Kernels type BranchType Kernels = ExtType
type Op Kernels Source #
Instance details Defined in Futhark.IR.Kernels type Op Kernels = HostOp Kernels (SOAC Kernels)
type SegOpLevel Kernels Source #
Instance details Defined in Futhark.IR.Kernels type SegOpLevel Kernels = SegLevel
type SegOpLevel (Wise Kernels) Source #
Instance details Defined in Futhark.IR.Kernels.Simplify type SegOpLevel (Wise Kernels) = SegLevel

Building blocks

simplifyKernelOp :: (SimplifiableLore lore, BodyDec lore ~ ()) => SimplifyOp lore op -> HostOp lore op -> SimpleM lore (HostOp (Wise lore) (OpWithWisdom op), Stms (Wise lore)) Source #

Orphan instances

BinderOps (Wise Kernels) Source #
Instance details Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpDec (Wise Kernels)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise Kernels) => Stms (Wise Kernels) -> Result -> m (Body (Wise Kernels)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Kernels) => [VName] -> Exp (Wise Kernels) -> m (Stm (Wise Kernels)) Source #
HasSOAC (Wise Kernels) Source #
Instance details Methods asSOAC :: Op (Wise Kernels) -> Maybe (SOAC (Wise Kernels)) Source # soacOp :: SOAC (Wise Kernels) -> Op (Wise Kernels) Source #
HasSegOp (Wise Kernels) Source #
Instance details Associated Types type SegOpLevel (Wise Kernels) Source # Methods asSegOp :: Op (Wise Kernels) -> Maybe (SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels)) Source # segOp :: SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels) -> Op (Wise Kernels) Source #