| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Futhark.IR.Syntax.Core
Description
The most primitive ("core") aspects of the AST. Split out of Futhark.IR.Syntax in order for Futhark.IR.Rep to use these definitions. This module is re-exported from Futhark.IR.Syntax and there should be no reason to include it explicitly.
Synopsis
- module Language.Futhark.Core
- module Language.Futhark.Primitive
- data Commutativity
- data Uniqueness
- newtype ShapeBase d = Shape {
- shapeDims :: [d]
- type Shape = ShapeBase SubExp
- stripDims :: Int -> ShapeBase d -> ShapeBase d
- data Ext a
- type ExtSize = Ext SubExp
- type ExtShape = ShapeBase ExtSize
- newtype Rank = Rank Int
- class (Monoid a, Eq a, Ord a) => ArrayShape a where
- shapeRank :: a -> Int
- subShapeOf :: a -> a -> Bool
- data Space
- type SpaceId = String
- data TypeBase shape u
- type Type = TypeBase Shape NoUniqueness
- type ExtType = TypeBase ExtShape NoUniqueness
- type DeclType = TypeBase Shape Uniqueness
- type DeclExtType = TypeBase ExtShape Uniqueness
- data Diet
- newtype ErrorMsg a = ErrorMsg [ErrorMsgPart a]
- data ErrorMsgPart a
- = ErrorString Text
- | ErrorVal PrimType a
- errorMsgArgTypes :: ErrorMsg a -> [PrimType]
- data ValueType = ValueType Signedness Rank PrimType
- data OpaqueType
- = OpaqueType [ValueType]
- | OpaqueRecord [(Name, EntryPointType)]
- | OpaqueSum [ValueType] [(Name, [(EntryPointType, [Int])])]
- | OpaqueArray Int Name [ValueType]
- | OpaqueRecordArray Int Name [(Name, EntryPointType)]
- newtype OpaqueTypes = OpaqueTypes [(Name, OpaqueType)]
- data Signedness
- data EntryPointType
- data Attr
- newtype Attrs = Attrs {}
- oneAttr :: Attr -> Attrs
- inAttrs :: Attr -> Attrs -> Bool
- withoutAttrs :: Attrs -> Attrs -> Attrs
- mapAttrs :: (Attr -> a) -> Attrs -> [a]
- data PrimValue
- data Ident = Ident {}
- newtype Certs = Certs {}
- data SubExp
- data Param dec = Param {
- paramAttrs :: Attrs
- paramName :: VName
- paramDec :: dec
- data DimIndex d
- newtype Slice d = Slice {}
- dimFix :: DimIndex d -> Maybe d
- sliceIndices :: Slice d -> Maybe [d]
- sliceDims :: Slice d -> [d]
- sliceShape :: Slice d -> ShapeBase d
- unitSlice :: Num d => d -> d -> DimIndex d
- fixSlice :: Num d => Slice d -> [d] -> [d]
- sliceSlice :: Num d => Slice d -> Slice d -> Slice d
- data PatElem dec = PatElem {
- patElemName :: VName
- patElemDec :: dec
- data FlatSlice d = FlatSlice d [FlatDimIndex d]
- data FlatDimIndex d = FlatDimIndex d d
- flatSliceDims :: FlatSlice d -> [d]
- flatSliceStrides :: FlatSlice d -> [d]
Documentation
module Language.Futhark.Core
module Language.Futhark.Primitive
Types
data Commutativity Source #
Whether some operator is commutative or not. The Monoid
instance returns the least commutative of its arguments.
Constructors
| Noncommutative | |
| Commutative |
Instances
data Uniqueness Source #
The uniqueness attribute of a type. This essentially indicates
whether or not in-place modifications are acceptable. With respect
to ordering, Unique is greater than Nonunique.
Constructors
| Nonunique | May have references outside current function. |
| Unique | No references outside current function. |
Instances
The size of an array type as a list of its dimension sizes, with the type of sizes being parametric.
Instances
type Shape = ShapeBase SubExp Source #
The size of an array as a list of subexpressions. If a variable, that variable must be in scope where this array is used.
stripDims :: Int -> ShapeBase d -> ShapeBase d Source #
stripDims n shape strips the outer n dimensions from
shape.
Something that may be existential.
Instances
type ExtShape = ShapeBase ExtSize Source #
Like Shape but some of its elements may be bound in a local
environment instead. These are denoted with integral indices.
The size of an array type as merely the number of dimensions, with no further information.
Instances
| Monoid Rank Source # | |
| Semigroup Rank Source # | |
| Show Rank Source # | |
| ArrayShape Rank Source # | |
| Rename Rank Source # | |
| Substitute Rank Source # | |
Defined in Futhark.Transform.Substitute | |
| Eq Rank Source # | |
| Ord Rank Source # | |
Defined in Futhark.IR.Syntax.Core | |
| Pretty Rank Source # | |
| Pretty u => Pretty (TypeBase Rank u) Source # | |
class (Monoid a, Eq a, Ord a) => ArrayShape a where Source #
A class encompassing types containing array shape information.
Methods
shapeRank :: a -> Int Source #
Return the rank of an array with the given size.
subShapeOf :: a -> a -> Bool Source #
Check whether one shape if a subset of another shape.
Instances
The memory space of a block. If DefaultSpace, this is the "default"
space, whatever that is. The exact meaning of the SpaceId
depends on the backend used. In GPU kernels, for example, this is
used to distinguish between constant, global and shared memory
spaces. In GPU-enabled host code, it is used to distinguish
between host memory (DefaultSpace) and GPU space.
Constructors
| DefaultSpace | |
| Space SpaceId | |
| ScalarSpace [SubExp] PrimType | A special kind of memory that is a statically sized array of some primitive type. Used for private memory on GPUs. |
data TypeBase shape u Source #
The type of a value. When comparing types for equality with
==, shapes must match.
Constructors
| Prim PrimType | |
| Acc VName Shape [Type] u | Token, index space, element type, and uniqueness. |
| Array PrimType shape u | |
| Mem Space |
Instances
type Type = TypeBase Shape NoUniqueness Source #
A type with shape information, used for describing the type of variables.
type ExtType = TypeBase ExtShape NoUniqueness Source #
A type with existentially quantified shapes - used as part of function (and function-like) return types. Generally only makes sense when used in a list.
type DeclType = TypeBase Shape Uniqueness Source #
A type with shape and uniqueness information, used declaring return- and parameters types.
type DeclExtType = TypeBase ExtShape Uniqueness Source #
An ExtType with uniqueness information, used for function
return types.
Information about which parts of a value/type are consumed. For
example, we might say that a function taking three arguments of
types ([int], *[int], [int]) has diet [Observe, Consume,
Observe].
Constructors
| Consume | Consumes this value. |
| Observe | Only observes value in this position, does not consume. A result may alias this. |
| ObservePrim | As |
An error message is a list of error parts, which are concatenated to form the final message.
Constructors
| ErrorMsg [ErrorMsgPart a] |
Instances
data ErrorMsgPart a Source #
A part of an error message.
Constructors
| ErrorString Text | A literal string. |
| ErrorVal PrimType a | A run-time value. |
Instances
errorMsgArgTypes :: ErrorMsg a -> [PrimType] Source #
How many non-constant parts does the error message have, and what is their type?
Entry point information
An actual non-opaque type that can be passed to and from Futhark programs, or serve as the contents of opaque types. Scalars are represented with zero rank.
Constructors
| ValueType Signedness Rank PrimType |
Instances
| Show ValueType Source # | |
| Eq ValueType Source # | |
| Ord ValueType Source # | |
Defined in Futhark.IR.Syntax.Core | |
| Pretty ValueType Source # | |
data OpaqueType Source #
The representation of an opaque type.
Constructors
| OpaqueType [ValueType] | |
| OpaqueRecord [(Name, EntryPointType)] | Note that the field ordering here denote the actual representation - make sure it is preserved. |
| OpaqueSum [ValueType] [(Name, [(EntryPointType, [Int])])] | Constructor ordering also denotes representation, in that the index of the constructor is the identifying number. The total values used to represent a sum values is the
|
| OpaqueArray Int Name [ValueType] | An array with this rank and named opaque element type. |
| OpaqueRecordArray Int Name [(Name, EntryPointType)] | An array with known rank and where the elements are this record type. |
Instances
| Show OpaqueType Source # | |
Defined in Futhark.IR.Syntax.Core | |
| Eq OpaqueType Source # | |
Defined in Futhark.IR.Syntax.Core Methods (==) :: OpaqueType -> OpaqueType -> Bool Source # (/=) :: OpaqueType -> OpaqueType -> Bool Source # | |
| Ord OpaqueType Source # | |
Defined in Futhark.IR.Syntax.Core Methods compare :: OpaqueType -> OpaqueType -> Ordering Source # (<) :: OpaqueType -> OpaqueType -> Bool Source # (<=) :: OpaqueType -> OpaqueType -> Bool Source # (>) :: OpaqueType -> OpaqueType -> Bool Source # (>=) :: OpaqueType -> OpaqueType -> Bool Source # max :: OpaqueType -> OpaqueType -> OpaqueType Source # min :: OpaqueType -> OpaqueType -> OpaqueType Source # | |
| Pretty OpaqueType Source # | |
Defined in Futhark.IR.Pretty | |
newtype OpaqueTypes Source #
Names of opaque types and their representation.
Constructors
| OpaqueTypes [(Name, OpaqueType)] |
Instances
data Signedness Source #
Since the core language does not care for signedness, but the source language does, entry point input/output information has metadata for integer types (and arrays containing these) that indicate whether they are really unsigned integers. This doesn't matter for non-integer types.
Instances
| Show Signedness Source # | |
Defined in Futhark.IR.Syntax.Core | |
| Eq Signedness Source # | |
Defined in Futhark.IR.Syntax.Core Methods (==) :: Signedness -> Signedness -> Bool Source # (/=) :: Signedness -> Signedness -> Bool Source # | |
| Ord Signedness Source # | |
Defined in Futhark.IR.Syntax.Core Methods compare :: Signedness -> Signedness -> Ordering Source # (<) :: Signedness -> Signedness -> Bool Source # (<=) :: Signedness -> Signedness -> Bool Source # (>) :: Signedness -> Signedness -> Bool Source # (>=) :: Signedness -> Signedness -> Bool Source # max :: Signedness -> Signedness -> Signedness Source # min :: Signedness -> Signedness -> Signedness Source # | |
| Pretty Signedness Source # | |
Defined in Futhark.IR.Pretty | |
data EntryPointType Source #
Every entry point argument and return value has an annotation indicating how it maps to the original source program type.
Constructors
| TypeOpaque Name | An opaque type of this name. |
| TypeTransparent ValueType | A transparent type, which is scalar if the rank is zero. |
Instances
| Show EntryPointType Source # | |
Defined in Futhark.IR.Syntax.Core | |
| Eq EntryPointType Source # | |
Defined in Futhark.IR.Syntax.Core Methods (==) :: EntryPointType -> EntryPointType -> Bool Source # (/=) :: EntryPointType -> EntryPointType -> Bool Source # | |
| Ord EntryPointType Source # | |
Defined in Futhark.IR.Syntax.Core Methods compare :: EntryPointType -> EntryPointType -> Ordering Source # (<) :: EntryPointType -> EntryPointType -> Bool Source # (<=) :: EntryPointType -> EntryPointType -> Bool Source # (>) :: EntryPointType -> EntryPointType -> Bool Source # (>=) :: EntryPointType -> EntryPointType -> Bool Source # max :: EntryPointType -> EntryPointType -> EntryPointType Source # min :: EntryPointType -> EntryPointType -> EntryPointType Source # | |
| Pretty EntryPointType Source # | |
Defined in Futhark.IR.Pretty Methods pretty :: EntryPointType -> Doc ann Source # prettyList :: [EntryPointType] -> Doc ann Source # | |
Attributes
A single attribute.
Every statement is associated with a set of attributes, which can have various effects throughout the compiler.