Futhark.Optimise.Simplify.Lore

Definition of the lore used by the simplification engine.

Documentation

data Wise lore

Instances

(Decorations lore, CanBeWise (Op lore)) => Decorations (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type LetDec (Wise lore)

type ExpDec (Wise lore)

type BodyDec (Wise lore)

type FParamInfo (Wise lore)

type LParamInfo (Wise lore)

type RetType (Wise lore)

type BranchType (Wise lore)

type Op (Wise lore)

(PrettyLore lore, CanBeWise (Op lore)) => PrettyLore (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Methods

ppExpLore :: ExpDec (Wise lore) -> Exp (Wise lore) -> Maybe Doc

(ASTLore lore, CanBeWise (Op lore)) => ASTLore (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Methods

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

(ASTLore lore, CanBeWise (Op lore)) => Aliased (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Methods

bodyAliases :: Body (Wise lore) -> [Names]

consumedInBody :: Body (Wise lore) -> Names

(Bindable lore, CanBeWise (Op lore)) => Bindable (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Methods

mkExpPat :: [Ident] -> [Ident] -> Exp (Wise lore) -> Pattern (Wise lore)

mkExpDec :: Pattern (Wise lore) -> Exp (Wise lore) -> ExpDec (Wise lore)

mkBody :: Stms (Wise lore) -> Result -> Body (Wise lore)

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

BinderOps (Wise Seq)

Defined in Futhark.IR.Seq

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise Seq) => Pattern (Wise Seq) -> Exp (Wise Seq) -> m (ExpDec (Wise Seq))

mkBodyB :: (MonadBinder m, Lore m ~ Wise Seq) => Stms (Wise Seq) -> Result -> m (Body (Wise Seq))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Seq) => [VName] -> Exp (Wise Seq) -> m (Stm (Wise Seq))

BinderOps (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise SOACS) => Pattern (Wise SOACS) -> Exp (Wise SOACS) -> m (ExpDec (Wise SOACS))

mkBodyB :: (MonadBinder m, Lore m ~ Wise SOACS) => Stms (Wise SOACS) -> Result -> m (Body (Wise SOACS))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SOACS) => [VName] -> Exp (Wise SOACS) -> m (Stm (Wise SOACS))

BinderOps (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Pattern (Wise SeqMem) -> Exp (Wise SeqMem) -> m (ExpDec (Wise SeqMem))

mkBodyB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Stms (Wise SeqMem) -> Result -> m (Body (Wise SeqMem))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SeqMem) => [VName] -> Exp (Wise SeqMem) -> m (Stm (Wise SeqMem))

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

BinderOps (Wise KernelsMem)

Defined in Futhark.IR.KernelsMem

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => Pattern (Wise KernelsMem) -> Exp (Wise KernelsMem) -> m (ExpDec (Wise KernelsMem))

mkBodyB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => Stms (Wise KernelsMem) -> Result -> m (Body (Wise KernelsMem))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise KernelsMem) => [VName] -> Exp (Wise KernelsMem) -> m (Stm (Wise KernelsMem))

HasSOAC (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

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

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

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)

SimplifiableLore lore => LocalScope (Wise lore) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

localScope :: Scope (Wise lore) -> SimpleM lore a -> SimpleM lore a

SimplifiableLore lore => HasScope (Wise lore) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

lookupType :: VName -> SimpleM lore Type

lookupInfo :: VName -> SimpleM lore (NameInfo (Wise lore))

askScope :: SimpleM lore (Scope (Wise lore))

asksScope :: (Scope (Wise lore) -> a) -> SimpleM lore a

type LetDec (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type LetDec (Wise lore) = (VarWisdom, LetDec lore)

type ExpDec (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type ExpDec (Wise lore) = (ExpWisdom, ExpDec lore)

type BodyDec (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type BodyDec (Wise lore)

type FParamInfo (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type FParamInfo (Wise lore) = FParamInfo lore

type LParamInfo (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type LParamInfo (Wise lore) = LParamInfo lore

type RetType (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type RetType (Wise lore) = RetType lore

type BranchType (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type BranchType (Wise lore) = BranchType lore

type Op (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

type Op (Wise lore) = OpWithWisdom (Op lore)

type SegOpLevel (Wise Kernels)

Defined in Futhark.IR.Kernels.Simplify

type SegOpLevel (Wise Kernels) = SegLevel

newtype VarWisdom

The wisdom of the let-bound variable.

Constructors

VarWisdom

Fields

• varWisdomAliases :: VarAliases

Instances

Eq VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

(==) :: VarWisdom -> VarWisdom -> Bool

(/=) :: VarWisdom -> VarWisdom -> Bool

Ord VarWisdom

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

Defined in Futhark.Optimise.Simplify.Lore

Methods

showsPrec :: Int -> VarWisdom -> ShowS

show :: VarWisdom -> String

showList :: [VarWisdom] -> ShowS

Generic VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type Rep VarWisdom :: Type -> Type

Methods

from :: VarWisdom -> Rep VarWisdom x

to :: Rep VarWisdom x -> VarWisdom

SexpIso VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

sexpIso :: SexpGrammar VarWisdom

FreeIn VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

freeIn' :: VarWisdom -> FV

Substitute VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

substituteNames :: Map VName VName -> VarWisdom -> VarWisdom

Rename VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

rename :: VarWisdom -> RenameM VarWisdom

PrettyAnnot (PatElemT dec) => PrettyAnnot (PatElemT (VarWisdom, dec))

Defined in Futhark.Optimise.Simplify.Lore

Methods

ppAnnot :: PatElemT (VarWisdom, dec) -> Maybe Doc

AliasesOf (VarWisdom, dec)

Defined in Futhark.Optimise.Simplify.Lore

Methods

aliasesOf :: (VarWisdom, dec) -> Names

type Rep VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

type Rep VarWisdom = D1 ('MetaData "VarWisdom" "Futhark.Optimise.Simplify.Lore" "futhark-0.17.3-inplace" 'True) (C1 ('MetaCons "VarWisdom" 'PrefixI 'True) (S1 ('MetaSel ('Just "varWisdomAliases") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarAliases)))

data ExpWisdom

Wisdom about an expression.

Instances

Eq ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

(==) :: ExpWisdom -> ExpWisdom -> Bool

(/=) :: ExpWisdom -> ExpWisdom -> Bool

Ord ExpWisdom

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

Defined in Futhark.Optimise.Simplify.Lore

Methods

showsPrec :: Int -> ExpWisdom -> ShowS

show :: ExpWisdom -> String

showList :: [ExpWisdom] -> ShowS

Generic ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type Rep ExpWisdom :: Type -> Type

Methods

from :: ExpWisdom -> Rep ExpWisdom x

to :: Rep ExpWisdom x -> ExpWisdom

SexpIso ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

sexpIso :: SexpGrammar ExpWisdom

FreeDec ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

precomputed :: ExpWisdom -> FV -> FV

FreeIn ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

freeIn' :: ExpWisdom -> FV

Substitute ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

substituteNames :: Map VName VName -> ExpWisdom -> ExpWisdom

Rename ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

rename :: ExpWisdom -> RenameM ExpWisdom

type Rep ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

type Rep ExpWisdom = D1 ('MetaData "ExpWisdom" "Futhark.Optimise.Simplify.Lore" "futhark-0.17.3-inplace" 'False) (C1 ('MetaCons "ExpWisdom" 'PrefixI 'True) (S1 ('MetaSel ('Just "_expWisdomConsumed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConsumedInExp) :*: S1 ('MetaSel ('Just "expWisdomFree") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AliasDec)))

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

Associated Types

type OpWithWisdom op :: Type

Methods

removeOpWisdom :: OpWithWisdom op -> op

Instances

CanBeWise ()

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type OpWithWisdom ()

Methods

removeOpWisdom :: OpWithWisdom () -> ()

(ASTLore lore, CanBeWise (Op lore)) => CanBeWise (SOAC lore)

Defined in Futhark.IR.SOACS.SOAC

Associated Types

type OpWithWisdom (SOAC lore)

Methods

removeOpWisdom :: OpWithWisdom (SOAC lore) -> SOAC lore

CanBeWise inner => CanBeWise (MemOp inner)

Defined in Futhark.IR.Mem

Associated Types

type OpWithWisdom (MemOp inner)

Methods

removeOpWisdom :: OpWithWisdom (MemOp inner) -> MemOp inner

(CanBeWise (Op lore), ASTLore lore, ASTConstraints lvl) => CanBeWise (SegOp lvl lore)

Defined in Futhark.IR.SegOp

Associated Types

type OpWithWisdom (SegOp lvl lore)

Methods

removeOpWisdom :: OpWithWisdom (SegOp lvl lore) -> SegOp lvl lore

(CanBeWise (Op lore), CanBeWise op, ASTLore lore) => CanBeWise (HostOp lore op)

Defined in Futhark.IR.Kernels.Kernel

Associated Types

type OpWithWisdom (HostOp lore op)

Methods

removeOpWisdom :: OpWithWisdom (HostOp lore op) -> HostOp lore op