Futhark.Representation.Kernels.Simplify

Documentation

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

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

data Kernels

Instances

Annotations Kernels

Defined in Futhark.Representation.Kernels

Associated Types

type LetAttr Kernels

type ExpAttr Kernels

type BodyAttr Kernels

type FParamAttr Kernels

type LParamAttr Kernels

type RetType Kernels

type BranchType Kernels

type Op Kernels

PrettyLore Kernels

Defined in Futhark.Representation.Kernels

Methods

ppExpLore :: ExpAttr Kernels -> Exp Kernels -> Maybe Doc

Attributes Kernels

Defined in Futhark.Representation.Kernels

Methods

expTypesFromPattern :: (HasScope Kernels m, Monad m) => Pattern Kernels -> m [BranchType Kernels]

Bindable Kernels

Defined in Futhark.Representation.Kernels

Methods

mkExpPat :: [Ident] -> [Ident] -> Exp Kernels -> Pattern Kernels

mkExpAttr :: Pattern Kernels -> Exp Kernels -> ExpAttr Kernels

mkBody :: Stms Kernels -> Result -> Body Kernels

mkLetNames :: (MonadFreshNames m, HasScope Kernels m) => [VName] -> Exp Kernels -> m (Stm Kernels)

BinderOps Kernels

Defined in Futhark.Representation.Kernels

Methods

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

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

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

Checkable Kernels

Defined in Futhark.Representation.Kernels

Methods

checkExpLore :: ExpAttr Kernels -> TypeM Kernels ()

checkBodyLore :: BodyAttr Kernels -> TypeM Kernels ()

checkFParamLore :: VName -> FParamAttr Kernels -> TypeM Kernels ()

checkLParamLore :: VName -> LParamAttr Kernels -> TypeM Kernels ()

checkLetBoundLore :: VName -> LetAttr Kernels -> TypeM Kernels ()

checkRetType :: [RetType Kernels] -> TypeM Kernels ()

matchPattern :: Pattern (Aliases Kernels) -> Exp (Aliases Kernels) -> TypeM Kernels ()

primFParam :: VName -> PrimType -> TypeM Kernels (FParam (Aliases Kernels))

matchReturnType :: [RetType Kernels] -> Result -> TypeM Kernels ()

matchBranchType :: [BranchType Kernels] -> Body (Aliases Kernels) -> TypeM Kernels ()

CheckableOp Kernels

Defined in Futhark.Representation.Kernels

Methods

checkOp :: OpWithAliases (Op Kernels) -> TypeM Kernels ()

HasSegOp Kernels

Defined in Futhark.Representation.Kernels

Associated Types

type SegOpLevel Kernels

Methods

asSegOp :: Op Kernels -> Maybe (SegOp (SegOpLevel Kernels) Kernels)

segOp :: SegOp (SegOpLevel Kernels) Kernels -> Op Kernels

BinderOps (Wise Kernels)

Defined in Futhark.Representation.Kernels.Simplify

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))

HasSegOp (Wise Kernels)

Defined in Futhark.Representation.Kernels.Simplify

Associated Types

type SegOpLevel (Wise Kernels)

Methods

asSegOp :: Op (Wise Kernels) -> Maybe (SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels))

segOp :: SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels) -> Op (Wise Kernels)

type LetAttr Kernels

Defined in Futhark.Representation.Kernels

type LetAttr Kernels = Type

type ExpAttr Kernels

Defined in Futhark.Representation.Kernels

type ExpAttr Kernels = ()

type BodyAttr Kernels

Defined in Futhark.Representation.Kernels

type BodyAttr Kernels = ()

type FParamAttr Kernels

Defined in Futhark.Representation.Kernels

type FParamAttr Kernels = DeclType

type LParamAttr Kernels

Defined in Futhark.Representation.Kernels

type LParamAttr Kernels = Type

type RetType Kernels

Defined in Futhark.Representation.Kernels

type RetType Kernels = DeclExtType

type BranchType Kernels

Defined in Futhark.Representation.Kernels

type BranchType Kernels = ExtType

type Op Kernels

Defined in Futhark.Representation.Kernels

type Op Kernels = HostOp Kernels (SOAC Kernels)

type SegOpLevel Kernels

Defined in Futhark.Representation.Kernels

type SegOpLevel Kernels = SegLevel

type SegOpLevel (Wise Kernels)

Defined in Futhark.Representation.Kernels.Simplify

type SegOpLevel (Wise Kernels) = SegLevel

Building blocks

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

Orphan instances

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))

HasSegOp (Wise Kernels)

Associated Types

type SegOpLevel (Wise Kernels)

Methods

asSegOp :: Op (Wise Kernels) -> Maybe (SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels))

segOp :: SegOp (SegOpLevel (Wise Kernels)) (Wise Kernels) -> Op (Wise Kernels)