Safe Haskell	None
Language	Haskell2010

Futhark.Optimise.Simplify.Lore

Description

Definition of the lore used by the simplification engine.

Synopsis

data Wise lore
data VarWisdom = VarWisdom {
- varWisdomAliases :: VarAliases
- varWisdomRange :: Range
}
data ExpWisdom
removeStmWisdom :: CanBeWise (Op lore) => Stm (Wise lore) -> Stm lore
removeLambdaWisdom :: CanBeWise (Op lore) => Lambda (Wise lore) -> Lambda lore
removeProgWisdom :: CanBeWise (Op lore) => Prog (Wise lore) -> Prog 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
removePatElemWisdom :: PatElemT (VarWisdom, a) -> PatElemT a
removeBodyWisdom :: CanBeWise (Op lore) => Body (Wise lore) -> Body lore
removeScopeWisdom :: Scope (Wise lore) -> Scope lore
addScopeWisdom :: Scope lore -> Scope (Wise lore)
addWisdomToPattern :: (Attributes lore, CanBeWise (Op lore)) => Pattern lore -> Exp (Wise lore) -> Pattern (Wise lore)
mkWiseBody :: (Attributes lore, CanBeWise (Op lore)) => BodyAttr lore -> Stms (Wise lore) -> Result -> Body (Wise lore)
mkWiseLetStm :: (Attributes lore, CanBeWise (Op lore)) => Pattern lore -> StmAux (ExpAttr lore) -> Exp (Wise lore) -> Stm (Wise lore)
mkWiseExpAttr :: (Attributes lore, CanBeWise (Op lore)) => Pattern (Wise lore) -> ExpAttr lore -> Exp (Wise lore) -> ExpAttr (Wise lore)
class (AliasedOp (OpWithWisdom op), RangedOp (OpWithWisdom op), IsOp (OpWithWisdom op), UsageInOp (OpWithWisdom op)) => CanBeWise op where
- type OpWithWisdom op :: *
- removeOpWisdom :: OpWithWisdom op -> op

Documentation

data Wise lore Source #

Instances

(Annotations lore, CanBeWise (Op lore)) => Annotations (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Associated Types type LetAttr (Wise lore) :: Type Source # type ExpAttr (Wise lore) :: Type Source # type BodyAttr (Wise lore) :: Type Source # type FParamAttr (Wise lore) :: Type Source # type LParamAttr (Wise lore) :: Type Source # type RetType (Wise lore) :: Type Source # type BranchType (Wise lore) :: Type Source # type Op (Wise lore) :: Type Source #
(PrettyLore lore, CanBeWise (Op lore)) => PrettyLore (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods ppExpLore :: ExpAttr (Wise lore) -> Exp (Wise lore) -> Maybe Doc Source #
(Attributes lore, CanBeWise (Op lore)) => Attributes (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 #
(Attributes 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 # mkExpAttr :: Pattern (Wise lore) -> Exp (Wise lore) -> ExpAttr (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 SOACS) Source #
Instance details Defined in Futhark.Representation.SOACS.Simplify Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpAttr (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 InKernel) Source #
Instance details Defined in Futhark.Representation.Kernels.Simplify Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise InKernel) => Pattern (Wise InKernel) -> Exp (Wise InKernel) -> m (ExpAttr (Wise InKernel)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise InKernel) => Stms (Wise InKernel) -> Result -> m (Body (Wise InKernel)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise InKernel) => [VName] -> Exp (Wise InKernel) -> m (Stm (Wise InKernel)) Source #
BinderOps (Wise Kernels) Source #
Instance details Defined in Futhark.Representation.Kernels.Simplify Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise Kernels) => Pattern (Wise Kernels) -> Exp (Wise Kernels) -> m (ExpAttr (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 ExplicitMemory) Source #
Instance details Defined in Futhark.Pass.ExplicitAllocations Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise ExplicitMemory) => Pattern (Wise ExplicitMemory) -> Exp (Wise ExplicitMemory) -> m (ExpAttr (Wise ExplicitMemory)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise ExplicitMemory) => Stms (Wise ExplicitMemory) -> Result -> m (Body (Wise ExplicitMemory)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise ExplicitMemory) => [VName] -> Exp (Wise ExplicitMemory) -> m (Stm (Wise ExplicitMemory)) 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 LetAttr (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type LetAttr (Wise lore) = (VarWisdom, LetAttr lore)
type ExpAttr (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type ExpAttr (Wise lore) = (ExpWisdom, ExpAttr lore)
type BodyAttr (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type BodyAttr (Wise lore)
type FParamAttr (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type FParamAttr (Wise lore) = FParamAttr lore
type LParamAttr (Wise lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore type LParamAttr (Wise lore) = LParamAttr 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)

data VarWisdom Source #

The wisdom of the let-bound variable.

Constructors

VarWisdom
Fields varWisdomAliases :: VarAliases varWisdomRange :: Range

Instances

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 #
FreeIn VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods freeIn :: VarWisdom -> Names 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 #
PrettyAnnot (PatElemT attr) => PrettyAnnot (PatElemT (VarWisdom, attr)) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods ppAnnot :: PatElemT (VarWisdom, attr) -> Maybe Doc Source #
AliasesOf (VarWisdom, attr) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods aliasesOf :: (VarWisdom, attr) -> Names Source #
RangeOf (VarWisdom, attr) Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods rangeOf :: (VarWisdom, attr) -> Range Source #

data ExpWisdom Source #

Wisdom about an expression.

Instances

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 #
FreeAttr ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods precomputed :: ExpWisdom -> Names -> Names Source #
FreeIn ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods freeIn :: ExpWisdom -> Names 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 #

removeProgWisdom :: CanBeWise (Op lore) => Prog (Wise lore) -> Prog 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 #

removePatElemWisdom :: PatElemT (VarWisdom, a) -> PatElemT 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 :: (Attributes lore, CanBeWise (Op lore)) => Pattern lore -> Exp (Wise lore) -> Pattern (Wise lore) Source #

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

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

mkWiseExpAttr :: (Attributes lore, CanBeWise (Op lore)) => Pattern (Wise lore) -> ExpAttr lore -> Exp (Wise lore) -> ExpAttr (Wise lore) Source #

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

Associated Types

type OpWithWisdom op :: * Source #

Methods

removeOpWisdom :: OpWithWisdom op -> op Source #

Instances

CanBeWise () Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Associated Types type OpWithWisdom () :: Type Source # Methods removeOpWisdom :: OpWithWisdom () -> () Source #
(Attributes lore, CanBeWise (Op lore)) => CanBeWise (SOAC lore) Source #
Instance details Defined in Futhark.Representation.SOACS.SOAC Associated Types type OpWithWisdom (SOAC lore) :: Type Source # Methods removeOpWisdom :: OpWithWisdom (SOAC lore) -> SOAC lore Source #
(Attributes lore, CanBeWise (Op lore)) => CanBeWise (KernelExp lore) Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Associated Types type OpWithWisdom (KernelExp lore) :: Type Source # Methods removeOpWisdom :: OpWithWisdom (KernelExp lore) -> KernelExp lore Source #
(Attributes lore, CanBeWise (Op lore)) => CanBeWise (Kernel lore) Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Associated Types type OpWithWisdom (Kernel lore) :: Type Source # Methods removeOpWisdom :: OpWithWisdom (Kernel lore) -> Kernel lore Source #
CanBeWise inner => CanBeWise (MemOp inner) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Associated Types type OpWithWisdom (MemOp inner) :: Type Source # Methods removeOpWisdom :: OpWithWisdom (MemOp inner) -> MemOp inner Source #