Futhark.IR.Rep

The core Futhark AST is parameterised by a rep type parameter, which is then used to invoke the type families defined here.

Documentation

class (Show (LetDec l), Show (ExpDec l), Show (BodyDec l), Show (FParamInfo l), Show (LParamInfo l), Show (RetType l), Show (BranchType l), Show (Op l), Eq (LetDec l), Eq (ExpDec l), Eq (BodyDec l), Eq (FParamInfo l), Eq (LParamInfo l), Eq (RetType l), Eq (BranchType l), Eq (Op l), Ord (LetDec l), Ord (ExpDec l), Ord (BodyDec l), Ord (FParamInfo l), Ord (LParamInfo l), Ord (RetType l), Ord (BranchType l), Ord (Op l), IsRetType (RetType l), IsBodyType (BranchType l), Typed (FParamInfo l), Typed (LParamInfo l), Typed (LetDec l), DeclTyped (FParamInfo l)) => RepTypes l

A collection of type families giving various common types for a representation, along with constraints specifying that the types they map to should satisfy some minimal requirements.

Associated Types

type LetDec l :: Type

Decoration for every let-pattern element.

type LetDec l = Type

type ExpDec l :: Type

Decoration for every expression.

type ExpDec l = ()

type BodyDec l :: Type

Decoration for every body.

type BodyDec l = ()

type FParamInfo l :: Type

Decoration for every (non-lambda) function parameter.

type FParamInfo l = DeclType

type LParamInfo l :: Type

Decoration for every lambda function parameter.

type LParamInfo l = Type

type RetType l :: Type

The return type decoration of function calls.

type RetType l = DeclExtType

type BranchType l :: Type

The return type decoration of branches.

type BranchType l = ExtType

type OpC l :: Type -> Type

Type constructor for the extensible operation. The somewhat funky definition is to ensure that we can change the "inner" representation in a generic way (e.g. add aliasing information) In most code, you will use the Op alias instead.

type OpC l = NoOp

Instances

RepTypes GPU

Defined in Futhark.IR.GPU

Associated Types

type LetDec GPU

type ExpDec GPU

type BodyDec GPU

type FParamInfo GPU

type LParamInfo GPU

type RetType GPU

type BranchType GPU

type OpC GPU :: Type -> Type

RepTypes GPUMem

Defined in Futhark.IR.GPUMem

Associated Types

type LetDec GPUMem

type ExpDec GPUMem

type BodyDec GPUMem

type FParamInfo GPUMem

type LParamInfo GPUMem

type RetType GPUMem

type BranchType GPUMem

type OpC GPUMem :: Type -> Type

RepTypes MC

Defined in Futhark.IR.MC

Associated Types

type LetDec MC

type ExpDec MC

type BodyDec MC

type FParamInfo MC

type LParamInfo MC

type RetType MC

type BranchType MC

type OpC MC :: Type -> Type

RepTypes MCMem

Defined in Futhark.IR.MCMem

Associated Types

type LetDec MCMem

type ExpDec MCMem

type BodyDec MCMem

type FParamInfo MCMem

type LParamInfo MCMem

type RetType MCMem

type BranchType MCMem

type OpC MCMem :: Type -> Type

RepTypes SOACS

Defined in Futhark.IR.SOACS

Associated Types

type LetDec SOACS

type ExpDec SOACS

type BodyDec SOACS

type FParamInfo SOACS

type LParamInfo SOACS

type RetType SOACS

type BranchType SOACS

type OpC SOACS :: Type -> Type

RepTypes Seq

Defined in Futhark.IR.Seq

Associated Types

type LetDec Seq

type ExpDec Seq

type BodyDec Seq

type FParamInfo Seq

type LParamInfo Seq

type RetType Seq

type BranchType Seq

type OpC Seq :: Type -> Type

RepTypes SeqMem

Defined in Futhark.IR.SeqMem

Associated Types

type LetDec SeqMem

type ExpDec SeqMem

type BodyDec SeqMem

type FParamInfo SeqMem

type LParamInfo SeqMem

type RetType SeqMem

type BranchType SeqMem

type OpC SeqMem :: Type -> Type

(RepTypes rep, ASTConstraints (OpC rep (Aliases rep))) => RepTypes (Aliases rep)

Defined in Futhark.IR.Aliases

Associated Types

type LetDec (Aliases rep)

type ExpDec (Aliases rep)

type BodyDec (Aliases rep)

type FParamInfo (Aliases rep)

type LParamInfo (Aliases rep)

type RetType (Aliases rep)

type BranchType (Aliases rep)

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

(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

type Op l = OpC l l

Apply the OpC constructor of a representation to that representation.

data NoOp rep

Returns nothing and does nothing. Placeholder for when we don't really want an operation.

Constructors

NoOp

Instances

CanBeAliased (NoOp :: Type -> Type)

Defined in Futhark.IR.Aliases

Methods

addOpAliases :: AliasableRep rep => AliasTable -> NoOp rep -> NoOp (Aliases rep)

RephraseOp (NoOp :: Type -> Type)

Defined in Futhark.IR.Rephrase

Methods

rephraseInOp :: Monad m => Rephraser m from to -> NoOp from -> m (NoOp to)

CanBeWise (NoOp :: Type -> Type)

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Show (NoOp rep)

Defined in Futhark.IR.Rep

Methods

showsPrec :: Int -> NoOp rep -> ShowS

show :: NoOp rep -> String

showList :: [NoOp rep] -> ShowS

OpMetrics (NoOp rep)

Defined in Futhark.Analysis.Metrics

Methods

opMetrics :: NoOp rep -> MetricsM ()

IndexOp (NoOp rep)

Defined in Futhark.Analysis.SymbolTable

Methods

indexOp :: (ASTRep rep0, IndexOp (Op rep0)) => SymbolTable rep0 -> Int -> NoOp rep -> [TPrimExp Int64 VName] -> Maybe Indexed

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

Defined in Futhark.IR.GPUMem

Methods

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

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

Defined in Futhark.IR.GPUMem

Methods

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

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) (Aliases MCMem))

Defined in Futhark.IR.MCMem

Methods

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

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

Defined in Futhark.IR.MCMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => MCOp NoOp MCMem -> 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]

OpReturns (NoOp rep)

Defined in Futhark.IR.Mem

Methods

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

IsOp (NoOp rep)

Defined in Futhark.IR.Prop

Methods

safeOp :: NoOp rep -> Bool

cheapOp :: NoOp rep -> Bool

opDependencies :: NoOp rep -> [Names]

AliasedOp (NoOp rep)

Defined in Futhark.IR.Prop.Aliases

Methods

opAliases :: NoOp rep -> [Names]

consumedInOp :: NoOp rep -> Names

FreeIn (NoOp rep)

Defined in Futhark.IR.Prop.Names

Methods

freeIn' :: NoOp rep -> FV

TypedOp (NoOp rep)

Defined in Futhark.IR.Prop.TypeOf

Methods

opType :: HasScope t m => NoOp rep -> m [ExtType]

TopDownHelper (HostOp (NoOp :: Type -> Type) (Aliases GPUMem))

Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis

Methods

innerNonNegatives :: [VName] -> HostOp NoOp (Aliases GPUMem) -> Names

innerKnownLessThan :: HostOp NoOp (Aliases GPUMem) -> [(VName, PrimExp VName)]

scopeHelper :: HostOp NoOp (Aliases GPUMem) -> Scope rep

TopDownHelper (NoOp rep)

Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis

Methods

innerNonNegatives :: [VName] -> NoOp rep -> Names

innerKnownLessThan :: NoOp rep -> [(VName, PrimExp VName)]

scopeHelper :: NoOp rep -> Scope rep0

CSEInOp (NoOp rep)

Defined in Futhark.Optimise.CSE

Methods

cseInOp :: NoOp rep -> CSEM rep0 (NoOp rep)

SizeSubst (NoOp rep)

Defined in Futhark.Pass.ExplicitAllocations

Methods

opIsConst :: NoOp rep -> Bool

Rename (NoOp rep)

Defined in Futhark.Transform.Rename

Methods

rename :: NoOp rep -> RenameM (NoOp rep)

Substitute (NoOp rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> NoOp rep -> NoOp rep

Eq (NoOp rep)

Defined in Futhark.IR.Rep

Methods

(==) :: NoOp rep -> NoOp rep -> Bool

(/=) :: NoOp rep -> NoOp rep -> Bool

Ord (NoOp rep)

Defined in Futhark.IR.Rep

Methods

compare :: NoOp rep -> NoOp rep -> Ordering

(<) :: NoOp rep -> NoOp rep -> Bool

(<=) :: NoOp rep -> NoOp rep -> Bool

(>) :: NoOp rep -> NoOp rep -> Bool

(>=) :: NoOp rep -> NoOp rep -> Bool

max :: NoOp rep -> NoOp rep -> NoOp rep

min :: NoOp rep -> NoOp rep -> NoOp rep

Pretty (NoOp rep)

Defined in Futhark.IR.Pretty

Methods

pretty :: NoOp rep -> Doc ann

prettyList :: [NoOp rep] -> Doc ann

module Futhark.IR.RetType