Futhark.Optimise.Simplify.Rep

Representation used by the simplification engine.

Documentation

data Wise rep

Instances

(RepTypes rep, CanBeWise (Op 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 Op (Wise rep)

(PrettyRep rep, CanBeWise (Op rep)) => PrettyRep (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

TraverseOpStms (Wise Seq)

Defined in Futhark.IR.Seq

Methods

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

TraverseOpStms (Wise SOACS)

Defined in Futhark.IR.SOACS.Simplify

Methods

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

TraverseOpStms (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

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

TraverseOpStms (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

TraverseOpStms (Wise MC)

Defined in Futhark.IR.MC

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise MC)) (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)

(ASTRep rep, CanBeWise (Op 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)]

(ASTRep rep, CanBeWise (Op rep)) => Aliased (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

consumedInBody :: Body (Wise rep) -> Names

(Buildable rep, CanBeWise (Op 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))

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

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

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

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)

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

Defined in Futhark.Optimise.Simplify.Engine

Methods

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

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

OpReturns (MCOp (Wise MCMem) ())

Defined in Futhark.IR.MCMem

Methods

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

OpReturns (HostOp (Wise GPUMem) ())

Defined in Futhark.IR.GPUMem

Methods

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

type LetDec (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

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

type ExpDec (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

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

type BodyDec (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type BodyDec (Wise 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 RetType (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type RetType (Wise rep) = RetType rep

type BranchType (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type BranchType (Wise rep) = BranchType rep

type Op (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

type Op (Wise rep) = OpWithWisdom (Op rep)

type SegOpLevel (Wise MC)

Defined in Futhark.IR.MC

type SegOpLevel (Wise MC) = ()

type SegOpLevel (Wise GPU)

Defined in Futhark.IR.GPU.Simplify

type SegOpLevel (Wise GPU) = SegLevel

newtype VarWisdom

The wisdom of the let-bound variable.

Constructors

VarWisdom

Fields

• varWisdomAliases :: VarAliases

Instances

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

Show VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

showsPrec :: Int -> VarWisdom -> ShowS

show :: VarWisdom -> String

showList :: [VarWisdom] -> ShowS

Pretty VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

ppr :: VarWisdom -> Doc

pprPrec :: Int -> VarWisdom -> Doc

pprList :: [VarWisdom] -> Doc

FreeIn VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

freeIn' :: VarWisdom -> FV

Substitute VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Rename VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

rename :: VarWisdom -> RenameM VarWisdom

AliasesOf (VarWisdom, dec)

Defined in Futhark.Optimise.Simplify.Rep

Methods

aliasesOf :: (VarWisdom, dec) -> Names

data ExpWisdom

Wisdom about an expression.

Instances

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

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

Substitute ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Rename ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

rename :: ExpWisdom -> RenameM ExpWisdom

removeStmWisdom :: CanBeWise (Op rep) => Stm (Wise rep) -> Stm rep

removeLambdaWisdom :: CanBeWise (Op rep) => Lambda (Wise rep) -> Lambda rep

removeFunDefWisdom :: CanBeWise (Op rep) => FunDef (Wise rep) -> FunDef rep

removeExpWisdom :: CanBeWise (Op rep) => Exp (Wise rep) -> Exp rep

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

removeBodyWisdom :: CanBeWise (Op rep) => Body (Wise rep) -> Body rep

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

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

addWisdomToPat :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec rep) -> Exp (Wise rep) -> Pat (LetDec (Wise rep))

mkWiseBody :: (ASTRep rep, CanBeWise (Op rep)) => BodyDec rep -> Stms (Wise rep) -> Result -> Body (Wise rep)

mkWiseLetStm :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec rep) -> StmAux (ExpDec rep) -> Exp (Wise rep) -> Stm (Wise rep)

mkWiseExpDec :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec (Wise rep)) -> ExpDec rep -> Exp (Wise rep) -> ExpDec (Wise rep)

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

Associated Types

type OpWithWisdom op :: Type

Methods

removeOpWisdom :: OpWithWisdom op -> op

addOpWisdom :: op -> OpWithWisdom op

Instances

CanBeWise ()

Defined in Futhark.Optimise.Simplify.Rep

Associated Types

type OpWithWisdom ()

Methods

removeOpWisdom :: OpWithWisdom () -> ()

addOpWisdom :: () -> OpWithWisdom ()

(ASTRep rep, CanBeWise (Op rep)) => CanBeWise (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Associated Types

type OpWithWisdom (SOAC rep)

Methods

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

addOpWisdom :: SOAC rep -> OpWithWisdom (SOAC rep)

CanBeWise inner => CanBeWise (MemOp inner)

Defined in Futhark.IR.Mem

Associated Types

type OpWithWisdom (MemOp inner)

Methods

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

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

(CanBeWise (Op rep), ASTRep rep, ASTConstraints lvl) => CanBeWise (SegOp lvl rep)

Defined in Futhark.IR.SegOp

Associated Types

type OpWithWisdom (SegOp lvl rep)

Methods

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

addOpWisdom :: SegOp lvl rep -> OpWithWisdom (SegOp lvl rep)

(CanBeWise (Op rep), CanBeWise op, ASTRep rep) => CanBeWise (MCOp rep op)

Defined in Futhark.IR.MC.Op

Associated Types

type OpWithWisdom (MCOp rep op)

Methods

removeOpWisdom :: OpWithWisdom (MCOp rep op) -> MCOp rep op

addOpWisdom :: MCOp rep op -> OpWithWisdom (MCOp rep op)

(CanBeWise (Op rep), CanBeWise op, ASTRep rep) => CanBeWise (HostOp rep op)

Defined in Futhark.IR.GPU.Op

Associated Types

type OpWithWisdom (HostOp rep op)

Methods

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

addOpWisdom :: HostOp rep op -> OpWithWisdom (HostOp rep op)

Constructing representation

type Informing rep = (ASTRep rep, CanBeWise (Op rep))

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

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

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

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