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

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 Op GPU

PrettyRep GPU

Defined in Futhark.IR.GPU

Methods

ppExpDec :: ExpDec GPU -> Exp GPU -> Maybe Doc

ASTRep GPU

Defined in Futhark.IR.GPU

Methods

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

Buildable GPU

Defined in Futhark.IR.GPU

Methods

mkExpPat :: [Ident] -> Exp GPU -> Pat GPU

mkExpDec :: Pat GPU -> Exp GPU -> ExpDec GPU

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

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

BuilderOps GPU

Defined in Futhark.IR.GPU

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ GPU) => Pat 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)

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

CheckableOp GPU

Defined in Futhark.IR.GPU

Methods

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

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

TraverseOpStms (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Methods

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

BuilderOps (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise GPU) => Pat (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)

type LetDec GPU

Defined in Futhark.IR.GPU

type LetDec GPU = Type

type ExpDec GPU

Defined in Futhark.IR.GPU

type ExpDec GPU = ()

type BodyDec GPU

Defined in Futhark.IR.GPU

type BodyDec 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 RetType GPU

Defined in Futhark.IR.GPU

type RetType GPU = DeclExtType

type BranchType GPU

Defined in Futhark.IR.GPU

type BranchType GPU = ExtType

type Op GPU

Defined in Futhark.IR.GPU

type Op GPU = HostOp GPU (SOAC GPU)

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 -> HostOp (Wise rep) op -> SimpleM rep (HostOp (Wise rep) op, Stms (Wise rep))

Orphan instances

TraverseOpStms (Wise GPU)

Methods

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

BuilderOps (Wise GPU)

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise GPU) => Pat (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)