Futhark.IR.GPU.Simplify

Documentation

simplifyGPU :: Prog GPU -> PassM (Prog GPU)

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

data GPU

The phantom data type for the kernels representation.

Instances

BuilderOps GPU

Defined in Futhark.IR.GPU

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ GPU) => Pat (LetDec GPU) -> Exp GPU -> m (ExpDec GPU)

mkBodyB :: (MonadBuilder m, Rep m ~ GPU) => Stms GPU -> Result -> m (Body GPU)

mkLetNamesB :: (MonadBuilder m, Rep m ~ GPU) => [VName] -> Exp GPU -> m (Stm GPU)

Buildable GPU

Defined in Futhark.IR.GPU

Methods

mkExpPat :: [Ident] -> Exp GPU -> Pat (LetDec GPU)

mkExpDec :: Pat (LetDec GPU) -> Exp GPU -> ExpDec GPU

mkBody :: Stms GPU -> Result -> Body GPU

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

PrettyRep GPU

Defined in Futhark.IR.GPU

Methods

ppExpDec :: ExpDec GPU -> Exp GPU -> Maybe (Doc a)

ASTRep GPU

Defined in Futhark.IR.GPU

Methods

expTypesFromPat :: (HasScope GPU m, Monad m) => Pat (LetDec GPU) -> m [BranchType GPU]

RepTypes GPU

Defined in Futhark.IR.GPU

Associated Types

type LetDec GPU

type ExpDec GPU

type BodyDec GPU

type FParamInfo GPU

type LParamInfo GPU

type RetType GPU

type BranchType GPU

type OpC GPU :: Type -> Type

HasSegOp GPU

Defined in Futhark.IR.GPU

Associated Types

type SegOpLevel GPU

Methods

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

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

Checkable GPU

Defined in Futhark.IR.GPU

Methods

checkExpDec :: ExpDec GPU -> TypeM GPU ()

checkBodyDec :: BodyDec GPU -> TypeM GPU ()

checkFParamDec :: VName -> FParamInfo GPU -> TypeM GPU ()

checkLParamDec :: VName -> LParamInfo GPU -> TypeM GPU ()

checkLetBoundDec :: VName -> LetDec GPU -> TypeM GPU ()

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

matchPat :: Pat (LetDec (Aliases GPU)) -> Exp (Aliases GPU) -> TypeM GPU ()

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

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

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

matchLoopResult :: [FParam (Aliases GPU)] -> Result -> TypeM GPU ()

checkOp :: Op (Aliases GPU) -> TypeM GPU ()

BuilderOps (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise GPU) => Pat (LetDec (Wise GPU)) -> Exp (Wise GPU) -> m (ExpDec (Wise GPU))

mkBodyB :: (MonadBuilder m, Rep m ~ Wise GPU) => Stms (Wise GPU) -> Result -> m (Body (Wise GPU))

mkLetNamesB :: (MonadBuilder m, Rep m ~ Wise GPU) => [VName] -> Exp (Wise GPU) -> m (Stm (Wise GPU))

HasSOAC (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Methods

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

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

HasSegOp (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Associated Types

type SegOpLevel (Wise GPU)

Methods

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

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

TraverseOpStms (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise GPU)) (Wise GPU)

type BodyDec GPU

Defined in Futhark.IR.GPU

type BodyDec GPU = ()

type BranchType GPU

Defined in Futhark.IR.GPU

type BranchType GPU = ExtType

type ExpDec GPU

Defined in Futhark.IR.GPU

type ExpDec GPU = ()

type FParamInfo GPU

Defined in Futhark.IR.GPU

type FParamInfo GPU = DeclType

type LParamInfo GPU

Defined in Futhark.IR.GPU

type LParamInfo GPU = Type

type LetDec GPU

Defined in Futhark.IR.GPU

type LetDec GPU = Type

type OpC GPU

Defined in Futhark.IR.GPU

type OpC GPU = HostOp SOAC

type RetType GPU

Defined in Futhark.IR.GPU

type RetType GPU = DeclExtType

type SegOpLevel GPU

Defined in Futhark.IR.GPU

type SegOpLevel GPU = SegLevel

type SegOpLevel (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

type SegOpLevel (Wise GPU) = SegLevel

Building blocks

simplifyKernelOp :: (SimplifiableRep rep, BodyDec rep ~ ()) => SimplifyOp rep (op (Wise rep)) -> HostOp op (Wise rep) -> SimpleM rep (HostOp op (Wise rep), Stms (Wise rep))

Orphan instances

BuilderOps (Wise GPU)

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise GPU) => Pat (LetDec (Wise GPU)) -> Exp (Wise GPU) -> m (ExpDec (Wise GPU))

mkBodyB :: (MonadBuilder m, Rep m ~ Wise GPU) => Stms (Wise GPU) -> Result -> m (Body (Wise GPU))

mkLetNamesB :: (MonadBuilder m, Rep m ~ Wise GPU) => [VName] -> Exp (Wise GPU) -> m (Stm (Wise GPU))

HasSOAC (Wise GPU)

Methods

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

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

HasSegOp (Wise GPU)

Associated Types

type SegOpLevel (Wise GPU)

Methods

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

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

TraverseOpStms (Wise GPU)

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise GPU)) (Wise GPU)