Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Optimise.Simplify.Lore

Description

Definition of the lore used by the simplification engine.

Synopsis

data Wise lore
newtype VarWisdom = VarWisdom {
- varWisdomAliases :: VarAliases
}
data ExpWisdom
removeStmWisdom :: CanBeWise (Op lore) => Stm (Wise lore) -> Stm lore
removeLambdaWisdom :: CanBeWise (Op lore) => Lambda (Wise lore) -> Lambda lore
removeFunDefWisdom :: CanBeWise (Op lore) => FunDef (Wise lore) -> FunDef lore
removeExpWisdom :: CanBeWise (Op lore) => Exp (Wise lore) -> Exp lore
removePatternWisdom :: PatternT (VarWisdom, a) -> PatternT a
removeBodyWisdom :: CanBeWise (Op lore) => Body (Wise lore) -> Body lore
removeScopeWisdom :: Scope (Wise lore) -> Scope lore
addScopeWisdom :: Scope lore -> Scope (Wise lore)
addWisdomToPattern :: (ASTLore lore, CanBeWise (Op lore)) => Pattern lore -> Exp (Wise lore) -> Pattern (Wise lore)
mkWiseBody :: (ASTLore lore, CanBeWise (Op lore)) => BodyDec lore -> Stms (Wise lore) -> Result -> Body (Wise lore)
mkWiseLetStm :: (ASTLore lore, CanBeWise (Op lore)) => Pattern lore -> StmAux (ExpDec lore) -> Exp (Wise lore) -> Stm (Wise lore)
mkWiseExpDec :: (ASTLore lore, CanBeWise (Op lore)) => Pattern (Wise lore) -> ExpDec lore -> Exp (Wise lore) -> ExpDec (Wise lore)
class (AliasedOp (OpWithWisdom op), IsOp (OpWithWisdom op)) => CanBeWise op where
- type OpWithWisdom op :: Type
- removeOpWisdom :: OpWithWisdom op -> op

Documentation

data Wise lore Source #

Instances

Instances details

(Decorations lore, CanBeWise (Op lore)) => Decorations (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Associated Types type LetDec (Wise lore) Source # type ExpDec (Wise lore) Source # type BodyDec (Wise lore) Source # type FParamInfo (Wise lore) Source # type LParamInfo (Wise lore) Source # type RetType (Wise lore) Source # type BranchType (Wise lore) Source # type Op (Wise lore) Source #
(PrettyLore lore, CanBeWise (Op lore)) => PrettyLore (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods ppExpLore :: ExpDec (Wise lore) -> Exp (Wise lore) -> Maybe Doc Source #
(ASTLore lore, CanBeWise (Op lore)) => ASTLore (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods expTypesFromPattern :: (HasScope (Wise lore) m, Monad m) => Pattern (Wise lore) -> m [BranchType (Wise lore)] Source #
(ASTLore lore, CanBeWise (Op lore)) => Aliased (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods bodyAliases :: Body (Wise lore) -> [Names] Source # consumedInBody :: Body (Wise lore) -> Names Source #
(Bindable lore, CanBeWise (Op lore)) => Bindable (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods mkExpPat :: [Ident] -> [Ident] -> Exp (Wise lore) -> Pattern (Wise lore) Source # mkExpDec :: Pattern (Wise lore) -> Exp (Wise lore) -> ExpDec (Wise lore) Source # mkBody :: Stms (Wise lore) -> Result -> Body (Wise lore) Source # mkLetNames :: (MonadFreshNames m, HasScope (Wise lore) m) => [VName] -> Exp (Wise lore) -> m (Stm (Wise lore)) Source #
BinderOps (Wise Seq) Source #
Instance details Defined in Futhark.IR.Seq Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise Seq) => Pattern (Wise Seq) -> Exp (Wise Seq) -> m (ExpDec (Wise Seq)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise Seq) => Stms (Wise Seq) -> Result -> m (Body (Wise Seq)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Seq) => [VName] -> Exp (Wise Seq) -> m (Stm (Wise Seq)) Source #
BinderOps (Wise SOACS) Source #
Instance details Defined in Futhark.IR.SOACS.Simplify Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpDec (Wise SOACS)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise SOACS) => Stms (Wise SOACS) -> Result -> m (Body (Wise SOACS)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SOACS) => [VName] -> Exp (Wise SOACS) -> m (Stm (Wise SOACS)) Source #
BinderOps (Wise MCMem) Source #
Instance details Defined in Futhark.IR.MCMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise MCMem) => Pattern (Wise MCMem) -> Exp (Wise MCMem) -> m (ExpDec (Wise MCMem)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise MCMem) => Stms (Wise MCMem) -> Result -> m (Body (Wise MCMem)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise MCMem) => [VName] -> Exp (Wise MCMem) -> m (Stm (Wise MCMem)) Source #
BinderOps (Wise MC) Source #
Instance details Defined in Futhark.IR.MC Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise MC) => Pattern (Wise MC) -> Exp (Wise MC) -> m (ExpDec (Wise MC)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise MC) => Stms (Wise MC) -> Result -> m (Body (Wise MC)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise MC) => [VName] -> Exp (Wise MC) -> m (Stm (Wise MC)) Source #
BinderOps (Wise SeqMem) Source #
Instance details Defined in Futhark.IR.SeqMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Pattern (Wise SeqMem) -> Exp (Wise SeqMem) -> m (ExpDec (Wise SeqMem)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Stms (Wise SeqMem) -> Result -> m (Body (Wise SeqMem)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SeqMem) => [VName] -> Exp (Wise SeqMem) -> m (Stm (Wise SeqMem)) 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 #
BinderOps (Wise KernelsMem) Source #
Instance details Defined in Futhark.IR.KernelsMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => Pattern (Wise KernelsMem) -> Exp (Wise KernelsMem) -> m (ExpDec (Wise KernelsMem)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => Stms (Wise KernelsMem) -> Result -> m (Body (Wise KernelsMem)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => [VName] -> Exp (Wise KernelsMem) -> m (Stm (Wise KernelsMem)) Source #
HasSOAC (Wise SOACS) Source #
Instance details Defined in Futhark.IR.SOACS.Simplify Methods asSOAC :: Op (Wise SOACS) -> Maybe (SOAC (Wise SOACS)) Source # soacOp :: SOAC (Wise SOACS) -> Op (Wise SOACS) 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 MC) Source #
Instance details Defined in Futhark.IR.MC Associated Types type SegOpLevel (Wise MC) Source # Methods asSegOp :: Op (Wise MC) -> Maybe (SegOp (SegOpLevel (Wise MC)) (Wise MC)) Source # segOp :: SegOp (SegOpLevel (Wise MC)) (Wise MC) -> Op (Wise MC) 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 #
SimplifiableLore lore => LocalScope (Wise lore) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods localScope :: Scope (Wise lore) -> SimpleM lore a -> SimpleM lore a Source #
SimplifiableLore lore => HasScope (Wise lore) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods lookupType :: VName -> SimpleM lore Type Source # lookupInfo :: VName -> SimpleM lore (NameInfo (Wise lore)) Source # askScope :: SimpleM lore (Scope (Wise lore)) Source # asksScope :: (Scope (Wise lore) -> a) -> SimpleM lore a Source #
type LetDec (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type LetDec (Wise lore) = (VarWisdom, LetDec lore)
type ExpDec (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type ExpDec (Wise lore) = (ExpWisdom, ExpDec lore)
type BodyDec (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type BodyDec (Wise lore)
type FParamInfo (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type FParamInfo (Wise lore) = FParamInfo lore
type LParamInfo (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type LParamInfo (Wise lore) = LParamInfo lore
type RetType (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type RetType (Wise lore) = RetType lore
type BranchType (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type BranchType (Wise lore) = BranchType lore
type Op (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type Op (Wise lore) = OpWithWisdom (Op lore)
type SegOpLevel (Wise MC) Source #
Instance details Defined in Futhark.IR.MC type SegOpLevel (Wise MC) = ()
type SegOpLevel (Wise Kernels) Source #
Instance details Defined in Futhark.IR.Kernels.Simplify type SegOpLevel (Wise Kernels) = SegLevel

newtype VarWisdom Source #

The wisdom of the let-bound variable.

Constructors

VarWisdom
Fields varWisdomAliases :: VarAliases

Instances

Instances details

Eq VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods (==) :: VarWisdom -> VarWisdom -> Bool # (/=) :: VarWisdom -> VarWisdom -> Bool #
Ord VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods compare :: VarWisdom -> VarWisdom -> Ordering # (<) :: VarWisdom -> VarWisdom -> Bool # (<=) :: VarWisdom -> VarWisdom -> Bool # (>) :: VarWisdom -> VarWisdom -> Bool # (>=) :: VarWisdom -> VarWisdom -> Bool # max :: VarWisdom -> VarWisdom -> VarWisdom # min :: VarWisdom -> VarWisdom -> VarWisdom #
Show VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods showsPrec :: Int -> VarWisdom -> ShowS # show :: VarWisdom -> String # showList :: [VarWisdom] -> ShowS #
Pretty VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods ppr :: VarWisdom -> Doc # pprPrec :: Int -> VarWisdom -> Doc # pprList :: [VarWisdom] -> Doc #
FreeIn VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods freeIn' :: VarWisdom -> FV Source #
Substitute VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods substituteNames :: Map VName VName -> VarWisdom -> VarWisdom Source #
Rename VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods rename :: VarWisdom -> RenameM VarWisdom Source #
AliasesOf (VarWisdom, dec) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods aliasesOf :: (VarWisdom, dec) -> Names Source #

data ExpWisdom Source #

Wisdom about an expression.

Instances

Instances details

Eq ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods (==) :: ExpWisdom -> ExpWisdom -> Bool # (/=) :: ExpWisdom -> ExpWisdom -> Bool #
Ord ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods compare :: ExpWisdom -> ExpWisdom -> Ordering # (<) :: ExpWisdom -> ExpWisdom -> Bool # (<=) :: ExpWisdom -> ExpWisdom -> Bool # (>) :: ExpWisdom -> ExpWisdom -> Bool # (>=) :: ExpWisdom -> ExpWisdom -> Bool # max :: ExpWisdom -> ExpWisdom -> ExpWisdom # min :: ExpWisdom -> ExpWisdom -> ExpWisdom #
Show ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods showsPrec :: Int -> ExpWisdom -> ShowS # show :: ExpWisdom -> String # showList :: [ExpWisdom] -> ShowS #
FreeDec ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods precomputed :: ExpWisdom -> FV -> FV Source #
FreeIn ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods freeIn' :: ExpWisdom -> FV Source #
Substitute ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods substituteNames :: Map VName VName -> ExpWisdom -> ExpWisdom Source #
Rename ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods rename :: ExpWisdom -> RenameM ExpWisdom Source #

removeStmWisdom :: CanBeWise (Op lore) => Stm (Wise lore) -> Stm lore Source #

removeLambdaWisdom :: CanBeWise (Op lore) => Lambda (Wise lore) -> Lambda lore Source #

removeFunDefWisdom :: CanBeWise (Op lore) => FunDef (Wise lore) -> FunDef lore Source #

removeExpWisdom :: CanBeWise (Op lore) => Exp (Wise lore) -> Exp lore Source #

removePatternWisdom :: PatternT (VarWisdom, a) -> PatternT a Source #

removeBodyWisdom :: CanBeWise (Op lore) => Body (Wise lore) -> Body lore Source #

removeScopeWisdom :: Scope (Wise lore) -> Scope lore Source #

addScopeWisdom :: Scope lore -> Scope (Wise lore) Source #

addWisdomToPattern :: (ASTLore lore, CanBeWise (Op lore)) => Pattern lore -> Exp (Wise lore) -> Pattern (Wise lore) Source #

mkWiseBody :: (ASTLore lore, CanBeWise (Op lore)) => BodyDec lore -> Stms (Wise lore) -> Result -> Body (Wise lore) Source #

mkWiseLetStm :: (ASTLore lore, CanBeWise (Op lore)) => Pattern lore -> StmAux (ExpDec lore) -> Exp (Wise lore) -> Stm (Wise lore) Source #

mkWiseExpDec :: (ASTLore lore, CanBeWise (Op lore)) => Pattern (Wise lore) -> ExpDec lore -> Exp (Wise lore) -> ExpDec (Wise lore) Source #

class (AliasedOp (OpWithWisdom op), IsOp (OpWithWisdom op)) => CanBeWise op where Source #

Associated Types

type OpWithWisdom op :: Type Source #

Methods

removeOpWisdom :: OpWithWisdom op -> op Source #

Instances

Instances details

CanBeWise () Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Associated Types type OpWithWisdom () Source # Methods removeOpWisdom :: OpWithWisdom () -> () Source #
(ASTLore lore, CanBeWise (Op lore)) => CanBeWise (SOAC lore) Source #
Instance details Defined in Futhark.IR.SOACS.SOAC Associated Types type OpWithWisdom (SOAC lore) Source # Methods removeOpWisdom :: OpWithWisdom (SOAC lore) -> SOAC lore Source #
CanBeWise inner => CanBeWise (MemOp inner) Source #
Instance details Defined in Futhark.IR.Mem Associated Types type OpWithWisdom (MemOp inner) Source # Methods removeOpWisdom :: OpWithWisdom (MemOp inner) -> MemOp inner Source #
(CanBeWise (Op lore), ASTLore lore, ASTConstraints lvl) => CanBeWise (SegOp lvl lore) Source #
Instance details Defined in Futhark.IR.SegOp Associated Types type OpWithWisdom (SegOp lvl lore) Source # Methods removeOpWisdom :: OpWithWisdom (SegOp lvl lore) -> SegOp lvl lore Source #
(CanBeWise (Op lore), CanBeWise op, ASTLore lore) => CanBeWise (MCOp lore op) Source #
Instance details Defined in Futhark.IR.MC.Op Associated Types type OpWithWisdom (MCOp lore op) Source # Methods removeOpWisdom :: OpWithWisdom (MCOp lore op) -> MCOp lore op Source #
(CanBeWise (Op lore), CanBeWise op, ASTLore lore) => CanBeWise (HostOp lore op) Source #
Instance details Defined in Futhark.IR.Kernels.Kernel Associated Types type OpWithWisdom (HostOp lore op) Source # Methods removeOpWisdom :: OpWithWisdom (HostOp lore op) -> HostOp lore op Source #