Futhark.Representation.AST.Attributes.Names

Facilities for determining which names are used in some syntactic construct. The most important interface is the FreeIn class and its instances, but for reasons related to the Haskell type system, some constructs have specialised functions.

Free names

data Names

A set of names.

Instances

Eq Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

(==) :: Names -> Names -> Bool

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

Show Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

showsPrec :: Int -> Names -> ShowS

show :: Names -> String

showList :: [Names] -> ShowS

Semigroup Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

(<>) :: Names -> Names -> Names

sconcat :: NonEmpty Names -> Names

stimes :: Integral b => b -> Names -> Names

Monoid Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

mempty :: Names

mappend :: Names -> Names -> Names

mconcat :: [Names] -> Names

Pretty Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

ppr :: Names -> Doc

pprPrec :: Int -> Names -> Doc

pprList :: [Names] -> Doc

FreeIn Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Names -> FV

Substitute Names

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Names -> Names

Rename Names

Defined in Futhark.Transform.Rename

Methods

rename :: Names -> RenameM Names

AliasesOf Names

Defined in Futhark.Representation.AST.Attributes.Aliases

Methods

aliasesOf :: Names -> Names

MonadState Names (TypeM lore)

Defined in Futhark.TypeCheck

Methods

get :: TypeM lore Names

put :: Names -> TypeM lore ()

state :: (Names -> (a, Names)) -> TypeM lore a

nameIn :: VName -> Names -> Bool

Does the set of names contain this name?

oneName :: VName -> Names

Construct a name set from a single name.

namesFromList :: [VName] -> Names

Construct a name set from a list. Slow.

namesToList :: Names -> [VName]

Turn a name set into a list of names. Slow.

namesIntersection :: Names -> Names -> Names

The intersection of two name sets.

namesIntersect :: Names -> Names -> Bool

Do the two name sets intersect?

namesSubtract :: Names -> Names -> Names

Subtract the latter name set from the former.

mapNames :: (VName -> VName) -> Names -> Names

Map over the names in a set.

Class

class FreeIn a where

A class indicating that we can obtain free variable information from values of this type.

Minimal complete definition

Nothing

Methods

freeIn' :: a -> FV

Instances

FreeIn Bool

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Bool -> FV

FreeIn Int

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Int -> FV

FreeIn ()

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: () -> FV

FreeIn VName

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: VName -> FV

FreeIn SubExp

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: SubExp -> FV

FreeIn Certificates

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Certificates -> FV

FreeIn Ident

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Ident -> FV

FreeIn FV

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: FV -> FV

FreeIn Names

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Names -> FV

FreeIn ScalExp

Defined in Futhark.Analysis.ScalExp

Methods

freeIn' :: ScalExp -> FV

FreeIn KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

freeIn' :: KnownBound -> FV

FreeIn Names'

Defined in Futhark.Representation.Aliases

Methods

freeIn' :: Names' -> FV

FreeIn ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

freeIn' :: ExpWisdom -> FV

FreeIn VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

freeIn' :: VarWisdom -> FV

FreeIn SplitOrdering

Defined in Futhark.Representation.Kernels.KernelExp

Methods

freeIn' :: SplitOrdering -> FV

FreeIn KernelResult

Defined in Futhark.Representation.Kernels.Kernel

Methods

freeIn' :: KernelResult -> FV

FreeIn SplitOrdering

Defined in Futhark.Representation.Kernels.Kernel

Methods

freeIn' :: SplitOrdering -> FV

FreeIn LoopNesting

Defined in Futhark.Pass.ExtractKernels.Distribution

Methods

freeIn' :: LoopNesting -> FV

FreeIn MemReturn

Defined in Futhark.Representation.ExplicitMemory

Methods

freeIn' :: MemReturn -> FV

FreeIn MemBind

Defined in Futhark.Representation.ExplicitMemory

Methods

freeIn' :: MemBind -> FV

FreeIn Arg

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: Arg -> FV

FreeIn ExpLeaf

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: ExpLeaf -> FV

FreeIn Size

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: Size -> FV

FreeIn Sequential

Defined in Futhark.CodeGen.ImpCode.Sequential

Methods

freeIn' :: Sequential -> FV

FreeIn AtomicOp

Defined in Futhark.CodeGen.ImpCode.Kernels

Methods

freeIn' :: AtomicOp -> FV

FreeIn KernelOp

Defined in Futhark.CodeGen.ImpCode.Kernels

Methods

freeIn' :: KernelOp -> FV

FreeIn Kernel

Defined in Futhark.CodeGen.ImpCode.Kernels

Methods

freeIn' :: Kernel -> FV

FreeIn HostOp

Defined in Futhark.CodeGen.ImpCode.Kernels

Methods

freeIn' :: HostOp -> FV

FreeIn a => FreeIn [a]

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: [a] -> FV

FreeIn a => FreeIn (Maybe a)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Maybe a -> FV

FreeIn attr => FreeIn (PatElemT attr)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: PatElemT attr -> FV

FreeIn d => FreeIn (DimIndex d)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: DimIndex d -> FV

FreeIn attr => FreeIn (Param attr)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Param attr -> FV

FreeIn d => FreeIn (Ext d)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Ext d -> FV

FreeIn d => FreeIn (ShapeBase d)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: ShapeBase d -> FV

(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Lambda lore)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Lambda lore -> FV

(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Exp lore)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Exp lore -> FV

FreeIn a => FreeIn (IfAttr a)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: IfAttr a -> FV

FreeIn (LParamAttr lore) => FreeIn (LoopForm lore)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: LoopForm lore -> FV

FreeIn d => FreeIn (DimChange d)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: DimChange d -> FV

(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Body lore)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Body lore -> FV

FreeIn (Stm lore) => FreeIn (Stms lore)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Stms lore -> FV

(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Stm lore)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: Stm lore -> FV

FreeIn attr => FreeIn (StmAux attr)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: StmAux attr -> FV

FreeIn attr => FreeIn (PatternT attr)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: PatternT attr -> FV

FreeIn v => FreeIn (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

freeIn' :: PrimExp v -> FV

FreeIn num => FreeIn (IxFun num)

Defined in Futhark.Representation.ExplicitMemory.IndexFunction

Methods

freeIn' :: IxFun num -> FV

Attributes lore => FreeIn (SOAC lore)

Defined in Futhark.Representation.SOACS.SOAC

Methods

freeIn' :: SOAC lore -> FV

Attributes lore => FreeIn (GroupStreamLambda lore)

Defined in Futhark.Representation.Kernels.KernelExp

Methods

freeIn' :: GroupStreamLambda lore -> FV

Attributes lore => FreeIn (KernelExp lore)

Defined in Futhark.Representation.Kernels.KernelExp

Methods

freeIn' :: KernelExp lore -> FV

(Attributes lore, FreeIn (LParamAttr lore)) => FreeIn (SegOp lore)

Defined in Futhark.Representation.Kernels.Kernel

Methods

freeIn' :: SegOp lore -> FV

Attributes lore => FreeIn (KernelBody lore)

Defined in Futhark.Representation.Kernels.Kernel

Methods

freeIn' :: KernelBody lore -> FV

FreeIn inner => FreeIn (MemOp inner)

Defined in Futhark.Representation.ExplicitMemory

Methods

freeIn' :: MemOp inner -> FV

FreeIn a => FreeIn (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: Code a -> FV

(FreeIn a, FreeIn b) => FreeIn (a, b)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: (a, b) -> FV

FreeIn shape => FreeIn (TypeBase shape u)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: TypeBase shape u -> FV

FreeIn e => FreeIn (Count u e)

Defined in Futhark.Representation.Kernels.Sizes

Methods

freeIn' :: Count u e -> FV

(Attributes lore, FreeIn op) => FreeIn (HostOp lore op)

Defined in Futhark.Representation.Kernels.Kernel

Methods

freeIn' :: HostOp lore op -> FV

(FreeIn a, FreeIn b, FreeIn c) => FreeIn (a, b, c)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: (a, b, c) -> FV

(FreeIn d, FreeIn ret) => FreeIn (MemInfo d u ret)

Defined in Futhark.Representation.ExplicitMemory

Methods

freeIn' :: MemInfo d u ret -> FV

freeIn :: FreeIn a => a -> Names

The free variables of some syntactic construct.

Specialised Functions

freeInStmsAndRes :: (FreeIn (Op lore), FreeIn (LetAttr lore), FreeIn (LParamAttr lore), FreeIn (FParamAttr lore), FreeAttr (BodyAttr lore), FreeAttr (ExpAttr lore)) => Stms lore -> Result -> FV

Return the set of variable names that are free in the given statements and result. Filters away the names that are bound by the statements.

Bound Names

boundInBody :: Body lore -> Names

The names bound by the bindings immediately in a BodyT.

boundByStm :: Stm lore -> Names

The names bound by a binding.

boundByStms :: Stms lore -> Names

The names bound by the bindings.

boundByLambda :: Lambda lore -> [VName]

The names of the lambda parameters plus the index parameter.

Efficient computation

class FreeIn attr => FreeAttr attr where

Either return precomputed free names stored in the attribute, or the freshly computed names. Relies on lazy evaluation to avoid the work.

Minimal complete definition

Nothing

Methods

precomputed :: attr -> FV -> FV

Instances

FreeAttr ()

Defined in Futhark.Representation.AST.Attributes.Names

Methods

precomputed :: () -> FV -> FV

FreeAttr KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

precomputed :: KnownBound -> FV -> FV

FreeAttr Names'

Defined in Futhark.Representation.Aliases

Methods

precomputed :: Names' -> FV -> FV

FreeAttr ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

precomputed :: ExpWisdom -> FV -> FV

FreeAttr a => FreeAttr [a]

Defined in Futhark.Representation.AST.Attributes.Names

Methods

precomputed :: [a] -> FV -> FV

FreeAttr a => FreeAttr (Maybe a)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

precomputed :: Maybe a -> FV -> FV

(FreeAttr a, FreeIn b) => FreeAttr (a, b)

Defined in Futhark.Representation.AST.Attributes.Names

Methods

precomputed :: (a, b) -> FV -> FV

data FV

A computation to build a free variable set.

Instances

Semigroup FV

Defined in Futhark.Representation.AST.Attributes.Names

Methods

(<>) :: FV -> FV -> FV

sconcat :: NonEmpty FV -> FV

stimes :: Integral b => b -> FV -> FV

Monoid FV

Defined in Futhark.Representation.AST.Attributes.Names

Methods

mempty :: FV

mappend :: FV -> FV -> FV

mconcat :: [FV] -> FV

FreeIn FV

Defined in Futhark.Representation.AST.Attributes.Names

Methods

freeIn' :: FV -> FV

Substitute FV

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> FV -> FV

fvBind :: Names -> FV -> FV

Consider a variable to be bound in the given FV computation.

fvName :: VName -> FV

Take note of a variable reference.

fvNames :: Names -> FV

Take note of a set of variable references.