Futhark.IR.Prop.Aliases

The IR tracks aliases, mostly to ensure the soundness of in-place updates, but it can also be used for other things (such as memory optimisations). This module contains the raw building blocks for determining the aliases of the values produced by expressions. It also contains some building blocks for inspecting consumption.

One important caveat is that all aliases computed here are local. Thus, they do not take aliases-of-aliases into account. See Futhark.Analysis.Alias if this is not what you want.

Documentation

subExpAliases :: SubExp -> Names

The alises of a subexpression.

expAliases :: Aliased lore => Exp lore -> [Names]

The aliases of an expression, one per non-context value returned.

patternAliases :: AliasesOf dec => PatternT dec -> [Names]

The aliases of each pattern element (including the context).

lookupAliases :: AliasesOf (LetDec lore) => VName -> Scope lore -> Names

Also includes the name itself.

class (Decorations lore, AliasedOp (Op lore), AliasesOf (LetDec lore)) => Aliased lore where

The class of lores that contain aliasing information.

Methods

bodyAliases :: Body lore -> [Names]

The aliases of the body results.

consumedInBody :: Body lore -> Names

The variables consumed in the body.

Instances

(ASTLore lore, CanBeAliased (Op lore)) => Aliased (Aliases lore)

Defined in Futhark.IR.Aliases

Methods

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

consumedInBody :: Body (Aliases lore) -> Names

(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

class AliasesOf a where

Something that contains alias information.

Methods

aliasesOf :: a -> Names

The alias of the argument element.

Instances

AliasesOf Names

Defined in Futhark.IR.Prop.Aliases

Methods

aliasesOf :: Names -> Names

AliasesOf dec => AliasesOf (PatElemT dec)

Defined in Futhark.IR.Prop.Aliases

Methods

aliasesOf :: PatElemT dec -> Names

AliasesOf (VarAliases, dec)

Defined in Futhark.IR.Aliases

Methods

aliasesOf :: (VarAliases, dec) -> Names

AliasesOf (VarWisdom, dec)

Defined in Futhark.Optimise.Simplify.Lore

Methods

aliasesOf :: (VarWisdom, dec) -> Names

Consumption

consumedInStm :: Aliased lore => Stm lore -> Names

The variables consumed in this statement.

consumedInExp :: Aliased lore => Exp lore -> Names

The variables consumed in this expression.

consumedByLambda :: Aliased lore => Lambda lore -> Names

The variables consumed by this lambda.

Extensibility

type AliasTable = Map VName Names

Pre-existing aliases for variables. Used to add transitive aliases.

class IsOp op => AliasedOp op where

The class of operations that can produce aliasing and consumption information.

Methods

opAliases :: op -> [Names]

consumedInOp :: op -> Names

Instances

AliasedOp ()

Defined in Futhark.IR.Prop.Aliases

Methods

opAliases :: () -> [Names]

consumedInOp :: () -> Names

AliasedOp SizeOp

Defined in Futhark.IR.Kernels.Kernel

Methods

opAliases :: SizeOp -> [Names]

consumedInOp :: SizeOp -> Names

(ASTLore lore, Aliased lore) => AliasedOp (SOAC lore)

Defined in Futhark.IR.SOACS.SOAC

Methods

opAliases :: SOAC lore -> [Names]

consumedInOp :: SOAC lore -> Names

AliasedOp inner => AliasedOp (MemOp inner)

Defined in Futhark.IR.Mem

Methods

opAliases :: MemOp inner -> [Names]

consumedInOp :: MemOp inner -> Names

(ASTLore lore, Aliased lore, ASTConstraints lvl) => AliasedOp (SegOp lvl lore)

Defined in Futhark.IR.SegOp

Methods

opAliases :: SegOp lvl lore -> [Names]

consumedInOp :: SegOp lvl lore -> Names

(Aliased lore, AliasedOp op, ASTLore lore) => AliasedOp (MCOp lore op)

Defined in Futhark.IR.MC.Op

Methods

opAliases :: MCOp lore op -> [Names]

consumedInOp :: MCOp lore op -> Names

(Aliased lore, AliasedOp op, ASTLore lore) => AliasedOp (HostOp lore op)

Defined in Futhark.IR.Kernels.Kernel

Methods

opAliases :: HostOp lore op -> [Names]

consumedInOp :: HostOp lore op -> Names

class AliasedOp (OpWithAliases op) => CanBeAliased op where

The class of operations that can be given aliasing information. This is a somewhat subtle concept that is only used in the simplifier and when using "lore adapters".

Associated Types

type OpWithAliases op :: Type

The op that results when we add aliases to this op.

Methods

removeOpAliases :: OpWithAliases op -> op

Remove aliases from this op.

addOpAliases :: AliasTable -> op -> OpWithAliases op

Add aliases to this op.

Instances

CanBeAliased ()

Defined in Futhark.IR.Prop.Aliases

Associated Types

type OpWithAliases ()

Methods

removeOpAliases :: OpWithAliases () -> ()

addOpAliases :: AliasTable -> () -> OpWithAliases ()

(ASTLore lore, ASTLore (Aliases lore), CanBeAliased (Op lore)) => CanBeAliased (SOAC lore)

Defined in Futhark.IR.SOACS.SOAC

Associated Types

type OpWithAliases (SOAC lore)

Methods

removeOpAliases :: OpWithAliases (SOAC lore) -> SOAC lore

addOpAliases :: AliasTable -> SOAC lore -> OpWithAliases (SOAC lore)

CanBeAliased inner => CanBeAliased (MemOp inner)

Defined in Futhark.IR.Mem

Associated Types

type OpWithAliases (MemOp inner)

Methods

removeOpAliases :: OpWithAliases (MemOp inner) -> MemOp inner

addOpAliases :: AliasTable -> MemOp inner -> OpWithAliases (MemOp inner)

(ASTLore lore, ASTLore (Aliases lore), CanBeAliased (Op lore), ASTConstraints lvl) => CanBeAliased (SegOp lvl lore)

Defined in Futhark.IR.SegOp

Associated Types

type OpWithAliases (SegOp lvl lore)

Methods

removeOpAliases :: OpWithAliases (SegOp lvl lore) -> SegOp lvl lore

addOpAliases :: AliasTable -> SegOp lvl lore -> OpWithAliases (SegOp lvl lore)

(CanBeAliased (Op lore), CanBeAliased op, ASTLore lore) => CanBeAliased (MCOp lore op)

Defined in Futhark.IR.MC.Op

Associated Types

type OpWithAliases (MCOp lore op)

Methods

removeOpAliases :: OpWithAliases (MCOp lore op) -> MCOp lore op

addOpAliases :: AliasTable -> MCOp lore op -> OpWithAliases (MCOp lore op)

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

Defined in Futhark.IR.Kernels.Kernel

Associated Types

type OpWithAliases (HostOp lore op)

Methods

removeOpAliases :: OpWithAliases (HostOp lore op) -> HostOp lore op

addOpAliases :: AliasTable -> HostOp lore op -> OpWithAliases (HostOp lore op)