Futhark.Optimise.Simplify.Rep

Representation used by the simplification engine. It contains aliasing information and a bit of caching for various information that is looked up frequently. The name is an old relic; feel free to suggest a better one.

Documentation

data Wise rep

Representative phantom type for the simplifier representation.

Instances

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

BuilderOps (Wise GPUMem)

Defined in Futhark.IR.GPUMem

Methods

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

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

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

BuilderOps (Wise MC)

Defined in Futhark.IR.MC

Methods

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

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

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

BuilderOps (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

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

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

BuilderOps (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

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

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

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

BuilderOps (Wise Seq)

Defined in Futhark.IR.Seq

Methods

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

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

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

BuilderOps (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

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

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

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

(Buildable rep, Informing rep) => Buildable (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

mkExpDec :: Pat (LetDec (Wise rep)) -> Exp (Wise rep) -> ExpDec (Wise rep)

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

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

OpReturns (HostOp (NoOp :: Type -> Type) (Wise GPUMem))

Defined in Futhark.IR.GPUMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => HostOp NoOp (Wise GPUMem) -> m [ExpReturns]

OpReturns (MCOp (NoOp :: Type -> Type) (Wise MCMem))

Defined in Futhark.IR.MCMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => MCOp NoOp (Wise MCMem) -> m [ExpReturns]

(Informing rep, Pretty (OpC rep (Wise rep))) => PrettyRep (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

ppExpDec :: ExpDec (Wise rep) -> Exp (Wise rep) -> Maybe (Doc a)

(Informing rep, IsOp (OpC rep (Wise rep))) => ASTRep (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Informing rep => Aliased (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

consumedInBody :: Body (Wise rep) -> Names

(Informing rep, Ord (OpC rep (Wise rep)), Eq (OpC rep (Wise rep)), Show (OpC rep (Wise rep)), IsOp (OpC rep (Wise rep)), Pretty (OpC rep (Wise rep))) => RepTypes (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Associated Types

type LetDec (Wise rep)

type ExpDec (Wise rep)

type BodyDec (Wise rep)

type FParamInfo (Wise rep)

type LParamInfo (Wise rep)

type RetType (Wise rep)

type BranchType (Wise rep)

type OpC (Wise rep) :: Type -> Type

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)

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)

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)

HasSegOp (Wise MC)

Defined in Futhark.IR.MC

Associated Types

type SegOpLevel (Wise MC)

Methods

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

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

TraverseOpStms (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

Methods

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

TraverseOpStms (Wise GPUMem)

Defined in Futhark.IR.GPUMem

Methods

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

TraverseOpStms (Wise MC)

Defined in Futhark.IR.MC

Methods

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

TraverseOpStms (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

TraverseOpStms (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

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

TraverseOpStms (Wise Seq)

Defined in Futhark.IR.Seq

Methods

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

TraverseOpStms (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

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

SimplifiableRep rep => HasScope (Wise rep) (SimpleM rep)

Defined in Futhark.Optimise.Simplify.Engine

Methods

lookupType :: VName -> SimpleM rep Type

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

askScope :: SimpleM rep (Scope (Wise rep))

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

SimplifiableRep rep => LocalScope (Wise rep) (SimpleM rep)

Defined in Futhark.Optimise.Simplify.Engine

Methods

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

type BodyDec (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type BodyDec (Wise rep)

type BranchType (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type BranchType (Wise rep) = BranchType rep

type ExpDec (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

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

type FParamInfo (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type FParamInfo (Wise rep) = FParamInfo rep

type LParamInfo (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type LParamInfo (Wise rep) = LParamInfo rep

type LetDec (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

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

type OpC (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type OpC (Wise rep) = OpC rep

type RetType (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type RetType (Wise rep) = RetType rep

type SegOpLevel (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

type SegOpLevel (Wise GPU) = SegLevel

type SegOpLevel (Wise MC)

Defined in Futhark.IR.MC

type SegOpLevel (Wise MC) = ()

newtype VarWisdom

The information associated with a let-bound variable.

Constructors

VarWisdom

Fields

• varWisdomAliases :: VarAliases

Instances

Show VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

showsPrec :: Int -> VarWisdom -> ShowS

show :: VarWisdom -> String

showList :: [VarWisdom] -> ShowS

FreeIn VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

freeIn' :: VarWisdom -> FV

Rename VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

rename :: VarWisdom -> RenameM VarWisdom

Substitute VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Eq VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

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

Ord VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

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

Pretty VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

pretty :: VarWisdom -> Doc ann

prettyList :: [VarWisdom] -> Doc ann

AliasesOf (VarWisdom, dec)

Defined in Futhark.Optimise.Simplify.Rep

Methods

aliasesOf :: (VarWisdom, dec) -> Names

data ExpWisdom

Simplifier information about an expression.

Instances

Show ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

showsPrec :: Int -> ExpWisdom -> ShowS

show :: ExpWisdom -> String

showList :: [ExpWisdom] -> ShowS

FreeDec ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

precomputed :: ExpWisdom -> FV -> FV

FreeIn ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

freeIn' :: ExpWisdom -> FV

Rename ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

rename :: ExpWisdom -> RenameM ExpWisdom

Substitute ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Eq ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

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

Ord ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

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

removeStmWisdom :: RephraseOp (OpC rep) => Stm (Wise rep) -> Stm rep

Remove simplifier information from statement.

removeLambdaWisdom :: RephraseOp (OpC rep) => Lambda (Wise rep) -> Lambda rep

Remove simplifier information from lambda.

removeFunDefWisdom :: RephraseOp (OpC rep) => FunDef (Wise rep) -> FunDef rep

Remove simplifier information from function.

removeExpWisdom :: RephraseOp (OpC rep) => Exp (Wise rep) -> Exp rep

Remove simplifier information from expression.

removePatWisdom :: Pat (VarWisdom, a) -> Pat a

Remove simplifier information from pattern.

removeBodyWisdom :: RephraseOp (OpC rep) => Body (Wise rep) -> Body rep

Remove simplifier information from body.

removeScopeWisdom :: Scope (Wise rep) -> Scope rep

Remove simplifier information from scope.

addScopeWisdom :: Scope rep -> Scope (Wise rep)

Add simplifier information to scope. All the aliasing information will be vacuous, however.

addWisdomToPat :: Informing rep => Pat (LetDec rep) -> Exp (Wise rep) -> Pat (LetDec (Wise rep))

Add simplifier information to pattern.

mkWiseBody :: Informing rep => BodyDec rep -> Stms (Wise rep) -> Result -> Body (Wise rep)

Produce a body with simplifier information.

mkWiseStm :: Informing rep => Pat (LetDec rep) -> StmAux (ExpDec rep) -> Exp (Wise rep) -> Stm (Wise rep)

Produce a statement with simplifier information.

mkWiseExpDec :: Informing rep => Pat (LetDec (Wise rep)) -> ExpDec rep -> Exp (Wise rep) -> ExpDec (Wise rep)

Produce simplifier information for an expression.

class CanBeWise op where

A type class for indicating that this operation can be lifted into the simplifier representation.

Methods

addOpWisdom :: Informing rep => op rep -> op (Wise rep)

Instances

CanBeWise SOAC

Defined in Futhark.IR.SOACS.SOAC

Methods

addOpWisdom :: Informing rep => SOAC rep -> SOAC (Wise rep)

CanBeWise op => CanBeWise (HostOp op)

Defined in Futhark.IR.GPU.Op

Methods

addOpWisdom :: Informing rep => HostOp op rep -> HostOp op (Wise rep)

CanBeWise op => CanBeWise (MCOp op)

Defined in Futhark.IR.MC.Op

Methods

addOpWisdom :: Informing rep => MCOp op rep -> MCOp op (Wise rep)

CanBeWise inner => CanBeWise (MemOp inner)

Defined in Futhark.IR.Mem

Methods

addOpWisdom :: Informing rep => MemOp inner rep -> MemOp inner (Wise rep)

CanBeWise (NoOp :: Type -> Type)

Defined in Futhark.Optimise.Simplify.Rep

Methods

addOpWisdom :: Informing rep => NoOp rep -> NoOp (Wise rep)

CanBeWise (SegOp lvl)

Defined in Futhark.IR.SegOp

Methods

addOpWisdom :: Informing rep => SegOp lvl rep -> SegOp lvl (Wise rep)

Constructing representation

type Informing rep = (ASTRep rep, AliasedOp (OpC rep (Wise rep)), RephraseOp (OpC rep), CanBeWise (OpC rep), FreeIn (OpC rep (Wise rep)))

Constraints that let us transform a representation into a Wise representation.

informLambda :: Informing rep => Lambda rep -> Lambda (Wise rep)

Construct a Wise lambda.

informFunDef :: Informing rep => FunDef rep -> FunDef (Wise rep)

Construct a Wise function definition.

informStms :: Informing rep => Stms rep -> Stms (Wise rep)

Construct Wise statements.

informBody :: Informing rep => Body rep -> Body (Wise rep)

Construct a Wise body.