Futhark.IR.Kernels.Simplify

Documentation

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

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

data Kernels

The phantom data type for the kernels representation.

Instances

Decorations Kernels

Defined in Futhark.IR.Kernels

Associated Types

type LetDec Kernels

type ExpDec Kernels

type BodyDec Kernels

type FParamInfo Kernels

type LParamInfo Kernels

type RetType Kernels

type BranchType Kernels

type Op Kernels

PrettyLore Kernels

Defined in Futhark.IR.Kernels

Methods

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

ASTLore Kernels

Defined in Futhark.IR.Kernels

Methods

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

Bindable Kernels

Defined in Futhark.IR.Kernels

Methods

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

mkExpDec :: Pattern Kernels -> Exp Kernels -> ExpDec Kernels

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

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

BinderOps Kernels

Defined in Futhark.IR.Kernels

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Kernels) => Pattern Kernels -> Exp Kernels -> m (ExpDec 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.IR.Kernels

Methods

checkExpLore :: ExpDec Kernels -> TypeM Kernels ()

checkBodyLore :: BodyDec Kernels -> TypeM Kernels ()

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

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

checkLetBoundLore :: VName -> LetDec 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 ()

matchLoopResult :: [FParam (Aliases Kernels)] -> [FParam (Aliases Kernels)] -> [SubExp] -> TypeM Kernels ()

CheckableOp Kernels

Defined in Futhark.IR.Kernels

Methods

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

HasSegOp Kernels

Defined in Futhark.IR.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.IR.Kernels.Simplify

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpDec (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))

HasSOAC (Wise Kernels)

Defined in Futhark.IR.Kernels.Simplify

Methods

asSOAC :: Op (Wise Kernels) -> Maybe (SOAC (Wise Kernels))

soacOp :: SOAC (Wise Kernels) -> Op (Wise Kernels)

HasSegOp (Wise Kernels)

Defined in Futhark.IR.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 LetDec Kernels

Defined in Futhark.IR.Kernels

type LetDec Kernels = Type

type ExpDec Kernels

Defined in Futhark.IR.Kernels

type ExpDec Kernels = ()

type BodyDec Kernels

Defined in Futhark.IR.Kernels

type BodyDec Kernels = ()

type FParamInfo Kernels

Defined in Futhark.IR.Kernels

type FParamInfo Kernels = DeclType

type LParamInfo Kernels

Defined in Futhark.IR.Kernels

type LParamInfo Kernels = Type

type RetType Kernels

Defined in Futhark.IR.Kernels

type RetType Kernels = DeclExtType

type BranchType Kernels

Defined in Futhark.IR.Kernels

type BranchType Kernels = ExtType

type Op Kernels

Defined in Futhark.IR.Kernels

type Op Kernels = HostOp Kernels (SOAC Kernels)

type SegOpLevel Kernels

Defined in Futhark.IR.Kernels

type SegOpLevel Kernels = SegLevel

type SegOpLevel (Wise Kernels)

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

Orphan instances

BinderOps (Wise Kernels)

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpDec (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))

HasSOAC (Wise Kernels)

Methods

asSOAC :: Op (Wise Kernels) -> Maybe (SOAC (Wise Kernels))

soacOp :: SOAC (Wise Kernels) -> Op (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)