Futhark.CodeGen.ImpCode

ImpCode is an imperative intermediate language used as a stepping stone in code generation. The functional core IR (Futhark.IR.Syntax) gets translated into ImpCode by Futhark.CodeGen.ImpGen. Later we then translate ImpCode to, for example, C.

Basic design

ImpCode distinguishes between statements (Code), which may have side effects, and expressions (Exp) which do not. Expressions involve only scalars and have a type. The actual expression definition is in Futhark.Analysis.PrimExp, specifically PrimExp and its phantom-typed variant TPrimExp.

Code is a generic representation parametrised on an extensible arbitrary operation, represented by the Op constructor. Specific instantiations of ImpCode, such as Futhark.CodeGen.ImpCode.Multicore, will pass in a specific kind of operation to express backend-specific functionality (in the case of multicore, this is Multicore).

Arrays and memory

ImpCode does not have arrays. DeclareArray is for declaring constant array literals, not arrays in general. Instead, ImpCode deals only with memory. Array operations present in core IR programs are turned into Write, Read, and Copy operations that use flat indexes and offsets based on the index function of the original array.

Scoping

ImpCode is much simpler than the functional core IR; partly because we hope to do less work on it. We don't have real optimisation passes on ImpCode. One result of this simplicity is that ImpCode has a fairly naive view of scoping. The only things that can bring new names into scope are DeclareMem, DeclareScalar, DeclareArray, For, and function parameters. In particular, Ops cannot bind parameters. The standard workaround is to define Ops that retrieve the value of an implicit parameter and assign it to a variable declared with the normal mechanisms. GetLoopBounds is an example of this pattern.

Inspiration

ImpCode was originally inspired by the paper "Defunctionalizing Push Arrays" (FHPC '14).

Documentation

data Definitions a

A collection of imperative functions and constants.

Constructors

Definitions

Fields

• defTypes :: OpaqueTypes
• defConsts :: Constants a
• defFuns :: Functions a

Instances

Functor Definitions

Defined in Futhark.CodeGen.ImpCode

Methods

fmap :: (a -> b) -> Definitions a -> Definitions b

(<$) :: a -> Definitions b -> Definitions a

Show a => Show (Definitions a)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Definitions a -> ShowS

show :: Definitions a -> String

showList :: [Definitions a] -> ShowS

Pretty op => Pretty (Definitions op)

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: Definitions op -> Doc ann

prettyList :: [Definitions op] -> Doc ann

newtype Functions a

A collection of imperative functions.

Constructors

Functions

Fields

• unFunctions :: [(Name, Function a)]

Instances

Foldable Functions

Defined in Futhark.CodeGen.ImpCode

Methods

fold :: Monoid m => Functions m -> m

foldMap :: Monoid m => (a -> m) -> Functions a -> m

foldMap' :: Monoid m => (a -> m) -> Functions a -> m

foldr :: (a -> b -> b) -> b -> Functions a -> b

foldr' :: (a -> b -> b) -> b -> Functions a -> b

foldl :: (b -> a -> b) -> b -> Functions a -> b

foldl' :: (b -> a -> b) -> b -> Functions a -> b

foldr1 :: (a -> a -> a) -> Functions a -> a

foldl1 :: (a -> a -> a) -> Functions a -> a

toList :: Functions a -> [a]

null :: Functions a -> Bool

length :: Functions a -> Int

elem :: Eq a => a -> Functions a -> Bool

maximum :: Ord a => Functions a -> a

minimum :: Ord a => Functions a -> a

sum :: Num a => Functions a -> a

product :: Num a => Functions a -> a

Traversable Functions

Defined in Futhark.CodeGen.ImpCode

Methods

traverse :: Applicative f => (a -> f b) -> Functions a -> f (Functions b)

sequenceA :: Applicative f => Functions (f a) -> f (Functions a)

mapM :: Monad m => (a -> m b) -> Functions a -> m (Functions b)

sequence :: Monad m => Functions (m a) -> m (Functions a)

Functor Functions

Defined in Futhark.CodeGen.ImpCode

Methods

fmap :: (a -> b) -> Functions a -> Functions b

(<$) :: a -> Functions b -> Functions a

Monoid (Functions a)

Defined in Futhark.CodeGen.ImpCode

Methods

mempty :: Functions a

mappend :: Functions a -> Functions a -> Functions a

mconcat :: [Functions a] -> Functions a

Semigroup (Functions a)

Defined in Futhark.CodeGen.ImpCode

Methods

(<>) :: Functions a -> Functions a -> Functions a

sconcat :: NonEmpty (Functions a) -> Functions a

stimes :: Integral b => b -> Functions a -> Functions a

Show a => Show (Functions a)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Functions a -> ShowS

show :: Functions a -> String

showList :: [Functions a] -> ShowS

FreeIn a => FreeIn (Functions a)

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: Functions a -> FV

Pretty op => Pretty (Functions op)

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: Functions op -> Doc ann

prettyList :: [Functions op] -> Doc ann

type Function = FunctionT

Type alias for namespace control.

data FunctionT a

A imperative function, containing the body as well as its low-level inputs and outputs, as well as its high-level arguments and results. The latter are only present if the function is an entry point.

Constructors

Function

Fields

• functionEntry :: Maybe EntryPoint
• functionOutput :: [Param]
• functionInput :: [Param]
• functionBody :: Code a

Instances

Foldable FunctionT

Defined in Futhark.CodeGen.ImpCode

Methods

fold :: Monoid m => FunctionT m -> m

foldMap :: Monoid m => (a -> m) -> FunctionT a -> m

foldMap' :: Monoid m => (a -> m) -> FunctionT a -> m

foldr :: (a -> b -> b) -> b -> FunctionT a -> b

foldr' :: (a -> b -> b) -> b -> FunctionT a -> b

foldl :: (b -> a -> b) -> b -> FunctionT a -> b

foldl' :: (b -> a -> b) -> b -> FunctionT a -> b

foldr1 :: (a -> a -> a) -> FunctionT a -> a

foldl1 :: (a -> a -> a) -> FunctionT a -> a

toList :: FunctionT a -> [a]

null :: FunctionT a -> Bool

length :: FunctionT a -> Int

elem :: Eq a => a -> FunctionT a -> Bool

maximum :: Ord a => FunctionT a -> a

minimum :: Ord a => FunctionT a -> a

sum :: Num a => FunctionT a -> a

product :: Num a => FunctionT a -> a

Traversable FunctionT

Defined in Futhark.CodeGen.ImpCode

Methods

traverse :: Applicative f => (a -> f b) -> FunctionT a -> f (FunctionT b)

sequenceA :: Applicative f => FunctionT (f a) -> f (FunctionT a)

mapM :: Monad m => (a -> m b) -> FunctionT a -> m (FunctionT b)

sequence :: Monad m => FunctionT (m a) -> m (FunctionT a)

Functor FunctionT

Defined in Futhark.CodeGen.ImpCode

Methods

fmap :: (a -> b) -> FunctionT a -> FunctionT b

(<$) :: a -> FunctionT b -> FunctionT a

Show a => Show (FunctionT a)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> FunctionT a -> ShowS

show :: FunctionT a -> String

showList :: [FunctionT a] -> ShowS

Pretty op => Pretty (FunctionT op)

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: FunctionT op -> Doc ann

prettyList :: [FunctionT op] -> Doc ann

data EntryPoint

Information about how this function can be called from the outside world.

Constructors

EntryPoint

Fields

• entryPointName :: Name
• entryPointResults :: [(Uniqueness, ExternalValue)]
• entryPointArgs :: [((Name, Uniqueness), ExternalValue)]

Instances

Show EntryPoint

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> EntryPoint -> ShowS

show :: EntryPoint -> String

showList :: [EntryPoint] -> ShowS

FreeIn EntryPoint

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: EntryPoint -> FV

Pretty EntryPoint

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: EntryPoint -> Doc ann

prettyList :: [EntryPoint] -> Doc ann

data Constants a

A collection of imperative constants.

Constructors

Constants

Fields

• constsDecl :: [Param]

  The constants that are made available to the functions.

• constsInit :: Code a

  Setting the value of the constants. Note that this must not contain declarations of the names defined in constsDecl.

Instances

Functor Constants

Defined in Futhark.CodeGen.ImpCode

Methods

fmap :: (a -> b) -> Constants a -> Constants b

(<$) :: a -> Constants b -> Constants a

Monoid (Constants a)

Defined in Futhark.CodeGen.ImpCode

Methods

mempty :: Constants a

mappend :: Constants a -> Constants a -> Constants a

mconcat :: [Constants a] -> Constants a

Semigroup (Constants a)

Defined in Futhark.CodeGen.ImpCode

Methods

(<>) :: Constants a -> Constants a -> Constants a

sconcat :: NonEmpty (Constants a) -> Constants a

stimes :: Integral b => b -> Constants a -> Constants a

Show a => Show (Constants a)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Constants a -> ShowS

show :: Constants a -> String

showList :: [Constants a] -> ShowS

Pretty op => Pretty (Constants op)

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: Constants op -> Doc ann

prettyList :: [Constants op] -> Doc ann

data ValueDesc

A description of an externally meaningful value.

Constructors

ArrayValue VName Space PrimType Signedness [DimSize]

An array with memory block memory space, element type, signedness of element type (if applicable), and shape.

ScalarValue PrimType Signedness VName

A scalar value with signedness if applicable.

Instances

Show ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> ValueDesc -> ShowS

show :: ValueDesc -> String

showList :: [ValueDesc] -> ShowS

FreeIn ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: ValueDesc -> FV

Eq ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

(==) :: ValueDesc -> ValueDesc -> Bool

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

Pretty ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: ValueDesc -> Doc ann

prettyList :: [ValueDesc] -> Doc ann

data ExternalValue

^ An externally visible value. This can be an opaque value (covering several physical internal values), or a single value that can be used externally. We record the uniqueness because it is important to the external interface as well.

Constructors

OpaqueValue Name [ValueDesc]

The string is a human-readable description with no other semantics.

TransparentValue ValueDesc

Instances

Show ExternalValue

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> ExternalValue -> ShowS

show :: ExternalValue -> String

showList :: [ExternalValue] -> ShowS

FreeIn ExternalValue

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: ExternalValue -> FV

Pretty ExternalValue

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: ExternalValue -> Doc ann

prettyList :: [ExternalValue] -> Doc ann

data Param

An ImpCode function parameter.

Constructors

MemParam VName Space

ScalarParam VName PrimType

Instances

Show Param

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Param -> ShowS

show :: Param -> String

showList :: [Param] -> ShowS

Eq Param

Defined in Futhark.CodeGen.ImpCode

Methods

(==) :: Param -> Param -> Bool

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

Pretty Param

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: Param -> Doc ann

prettyList :: [Param] -> Doc ann

paramName :: Param -> VName

The name of a parameter.

type MemSize = SubExp

The size of a memory block.

type DimSize = SubExp

The size of an array.

data Code a

A block of imperative code. Parameterised by an Op, which allows extensibility. Concrete uses of this type will instantiate the type parameter with e.g. a construct for launching GPU kernels.

Constructors

Skip

No-op. Crucial for the Monoid instance.

(:>>:)

Fields

• (Code a)

  Statement composition. Crucial for the Semigroup instance.

• (Code a)

For VName Exp (Code a)

A for-loop iterating the given number of times. The loop parameter starts counting from zero and will have the same (integer) type as the bound. The bound is evaluated just once, before the loop is entered.

While (TExp Bool) (Code a)

While loop. The conditional is (of course) re-evaluated before every iteration of the loop.

DeclareMem VName Space

Declare a memory block variable that will point to memory in the given memory space. Note that this is distinct from allocation. The memory block must be the target of either an Allocate or a SetMem before it can be used for reading or writing.

DeclareScalar VName Volatility PrimType

Declare a scalar variable with an initially undefined value.

DeclareArray VName PrimType ArrayContents

Create a DefaultSpace array containing the given values. The lifetime of the array will be the entire application. This is mostly used for constant arrays.

Allocate VName (Count Bytes (TExp Int64)) Space

Memory space must match the corresponding DeclareMem.

Free VName Space

Indicate that some memory block will never again be referenced via the indicated variable. However, it may still be accessed through aliases. It is only safe to actually deallocate the memory block if this is the last reference. There is no guarantee that all memory blocks will be freed with this statement. Backends are free to ignore it entirely.

Copy PrimType VName (Count Bytes (TExp Int64)) Space VName (Count Bytes (TExp Int64)) Space (Count Bytes (TExp Int64))

Element type being copied, destination, offset in destination, destination space, source, offset in source, offset space, number of bytes.

Write VName (Count Elements (TExp Int64)) PrimType Space Volatility Exp

Write mem i t space vol v writes the value v to mem offset by i elements of type t. The Space argument is the memory space of mem (technically redundant, but convenient).

SetScalar VName Exp

Set a scalar variable.

Read VName VName (Count Elements (TExp Int64)) PrimType Space Volatility

Read a scalar from memory from memory. The first VName is the target scalar variable, and the remaining arguments have the same meaning as with Write.

SetMem VName VName Space

Must be in same space.

Call [VName] Name [Arg]

Function call. The results are written to the provided VName variables.

If (TExp Bool) (Code a) (Code a)

Conditional execution.

Assert Exp (ErrorMsg Exp) (SrcLoc, [SrcLoc])

Assert that something must be true. Should it turn out not to be true, then report a failure along with the given error message.

Comment Text (Code a)

Has the same semantics as the contained code, but the comment should show up in generated code for ease of inspection.

DebugPrint String (Maybe Exp)

Print the given value to the screen, somehow annotated with the given string as a description. If no type/value pair, just print the string. This has no semantic meaning, but is used entirely for debugging. Code generators are free to ignore this statement.

TracePrint (ErrorMsg Exp)

Log the given message, *without* a trailing linebreak (unless part of the mssage).

Op a

Perform an extensible operation.

Instances

Foldable Code

Defined in Futhark.CodeGen.ImpCode

Methods

fold :: Monoid m => Code m -> m

foldMap :: Monoid m => (a -> m) -> Code a -> m

foldMap' :: Monoid m => (a -> m) -> Code a -> m

foldr :: (a -> b -> b) -> b -> Code a -> b

foldr' :: (a -> b -> b) -> b -> Code a -> b

foldl :: (b -> a -> b) -> b -> Code a -> b

foldl' :: (b -> a -> b) -> b -> Code a -> b

foldr1 :: (a -> a -> a) -> Code a -> a

foldl1 :: (a -> a -> a) -> Code a -> a

toList :: Code a -> [a]

null :: Code a -> Bool

length :: Code a -> Int

elem :: Eq a => a -> Code a -> Bool

maximum :: Ord a => Code a -> a

minimum :: Ord a => Code a -> a

sum :: Num a => Code a -> a

product :: Num a => Code a -> a

Traversable Code

Defined in Futhark.CodeGen.ImpCode

Methods

traverse :: Applicative f => (a -> f b) -> Code a -> f (Code b)

sequenceA :: Applicative f => Code (f a) -> f (Code a)

mapM :: Monad m => (a -> m b) -> Code a -> m (Code b)

sequence :: Monad m => Code (m a) -> m (Code a)

Functor Code

Defined in Futhark.CodeGen.ImpCode

Methods

fmap :: (a -> b) -> Code a -> Code b

(<$) :: a -> Code b -> Code a

Monoid (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

mempty :: Code a

mappend :: Code a -> Code a -> Code a

mconcat :: [Code a] -> Code a

Semigroup (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

(<>) :: Code a -> Code a -> Code a

sconcat :: NonEmpty (Code a) -> Code a

stimes :: Integral b => b -> Code a -> Code a

Show a => Show (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Code a -> ShowS

show :: Code a -> String

showList :: [Code a] -> ShowS

FreeIn a => FreeIn (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: Code a -> FV

Pretty op => Pretty (Code op)

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: Code op -> Doc ann

prettyList :: [Code op] -> Doc ann

data PrimValue

Non-array values.

Constructors

IntValue !IntValue

FloatValue !FloatValue

BoolValue !Bool

UnitValue

The only value of type Unit.

Instances

Show PrimValue

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> PrimValue -> ShowS

show :: PrimValue -> String

showList :: [PrimValue] -> ShowS

IsValue PrimValue

Defined in Futhark.IR.Prop.Constants

Methods

value :: PrimValue -> PrimValue

Eq PrimValue

Defined in Language.Futhark.Primitive

Methods

(==) :: PrimValue -> PrimValue -> Bool

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

Ord PrimValue

Defined in Language.Futhark.Primitive

Methods

compare :: PrimValue -> PrimValue -> Ordering

(<) :: PrimValue -> PrimValue -> Bool

(<=) :: PrimValue -> PrimValue -> Bool

(>) :: PrimValue -> PrimValue -> Bool

(>=) :: PrimValue -> PrimValue -> Bool

max :: PrimValue -> PrimValue -> PrimValue

min :: PrimValue -> PrimValue -> PrimValue

ToExp PrimValue

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: PrimValue -> SrcLoc -> Exp

Pretty PrimValue

Defined in Language.Futhark.Primitive

Methods

pretty :: PrimValue -> Doc ann

prettyList :: [PrimValue] -> Doc ann

type Exp = PrimExp VName

A side-effect free expression whose execution will produce a single primitive value.

type TExp t = TPrimExp t VName

Like Exp, but with a required/known type.

data Volatility

The volatility of a memory access or variable. Feel free to ignore this for backends where it makes no sense (anything but C and similar low-level things)

Constructors

Volatile

Nonvolatile

Instances

Show Volatility

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Volatility -> ShowS

show :: Volatility -> String

showList :: [Volatility] -> ShowS

Eq Volatility

Defined in Futhark.CodeGen.ImpCode

Methods

(==) :: Volatility -> Volatility -> Bool

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

Ord Volatility

Defined in Futhark.CodeGen.ImpCode

Methods

compare :: Volatility -> Volatility -> Ordering

(<) :: Volatility -> Volatility -> Bool

(<=) :: Volatility -> Volatility -> Bool

(>) :: Volatility -> Volatility -> Bool

(>=) :: Volatility -> Volatility -> Bool

max :: Volatility -> Volatility -> Volatility

min :: Volatility -> Volatility -> Volatility

data Arg

A function call argument.

Constructors

ExpArg Exp

MemArg VName

Instances

Show Arg

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

FreeIn Arg

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn' :: Arg -> FV

Pretty Arg

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: Arg -> Doc ann

prettyList :: [Arg] -> Doc ann

var :: VName -> PrimType -> Exp

Turn a VName into a Exp.

data ArrayContents

The contents of a statically declared constant array. Such arrays are always unidimensional, and reshaped if necessary in the code that uses them.

Constructors

ArrayValues [PrimValue]

Precisely these values.

ArrayZeros Int

This many zeroes.

Instances

Show ArrayContents

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> ArrayContents -> ShowS

show :: ArrayContents -> String

showList :: [ArrayContents] -> ShowS

Pretty ArrayContents

Defined in Futhark.CodeGen.ImpCode

Methods

pretty :: ArrayContents -> Doc ann

prettyList :: [ArrayContents] -> Doc ann

declaredIn :: Code a -> Names

The names declared with DeclareMem, DeclareScalar, and DeclareArray in the given code.

lexicalMemoryUsage :: Function a -> Map VName Space

Find those memory blocks that are used only lexically. That is, are not used as the source or target of a SetMem, or are the result of the function, nor passed as arguments to other functions. This is interesting because such memory blocks do not need reference counting, but can be managed in a purely stack-like fashion.

We do not look inside any Ops. We assume that no Op is going to SetMem a memory block declared outside it.

calledFuncs :: (a -> Set Name) -> Code a -> Set Name

The set of functions that are called by this code. Accepts a function for determing function calls in Ops.

callGraph :: (a -> Set Name) -> Functions a -> Map Name (Set Name)

Compute call graph, as per calledFuncs, but also include transitive calls.

Typed enumerations

data Bytes

Phantom type for a count of bytes.

data Elements

Phantom type for a count of elements.

elements :: a -> Count Elements a

This expression counts elements.

bytes :: a -> Count Bytes a

This expression counts bytes.

withElemType :: Count Elements (TExp Int64) -> PrimType -> Count Bytes (TExp Int64)

Convert a count of elements into a count of bytes, given the per-element size.

Re-exports from other modules.

prettyText :: Pretty a => a -> Text

Prettyprint a value to a Text, appropriately wrapped.

prettyString :: Pretty a => a -> String

Prettyprint a value to a String, appropriately wrapped.

newtype OpaqueTypes

Names of opaque types and their representation.

Constructors

OpaqueTypes [(Name, OpaqueType)]

Instances

Monoid OpaqueTypes

Defined in Futhark.IR.Syntax.Core

Methods

mempty :: OpaqueTypes

mappend :: OpaqueTypes -> OpaqueTypes -> OpaqueTypes

mconcat :: [OpaqueTypes] -> OpaqueTypes

Semigroup OpaqueTypes

Defined in Futhark.IR.Syntax.Core

Methods

(<>) :: OpaqueTypes -> OpaqueTypes -> OpaqueTypes

sconcat :: NonEmpty OpaqueTypes -> OpaqueTypes

stimes :: Integral b => b -> OpaqueTypes -> OpaqueTypes

Show OpaqueTypes

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> OpaqueTypes -> ShowS

show :: OpaqueTypes -> String

showList :: [OpaqueTypes] -> ShowS

Eq OpaqueTypes

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: OpaqueTypes -> OpaqueTypes -> Bool

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

Ord OpaqueTypes

Defined in Futhark.IR.Syntax.Core

Methods

compare :: OpaqueTypes -> OpaqueTypes -> Ordering

(<) :: OpaqueTypes -> OpaqueTypes -> Bool

(<=) :: OpaqueTypes -> OpaqueTypes -> Bool

(>) :: OpaqueTypes -> OpaqueTypes -> Bool

(>=) :: OpaqueTypes -> OpaqueTypes -> Bool

max :: OpaqueTypes -> OpaqueTypes -> OpaqueTypes

min :: OpaqueTypes -> OpaqueTypes -> OpaqueTypes

Pretty OpaqueTypes

Defined in Futhark.IR.Pretty

Methods

pretty :: OpaqueTypes -> Doc ann

prettyList :: [OpaqueTypes] -> Doc ann

data OpaqueType

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.

Instances

Show OpaqueType

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> OpaqueType -> ShowS

show :: OpaqueType -> String

showList :: [OpaqueType] -> ShowS

Eq OpaqueType

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: OpaqueType -> OpaqueType -> Bool

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

Ord OpaqueType

Defined in Futhark.IR.Syntax.Core

Methods

compare :: OpaqueType -> OpaqueType -> Ordering

(<) :: OpaqueType -> OpaqueType -> Bool

(<=) :: OpaqueType -> OpaqueType -> Bool

(>) :: OpaqueType -> OpaqueType -> Bool

(>=) :: OpaqueType -> OpaqueType -> Bool

max :: OpaqueType -> OpaqueType -> OpaqueType

min :: OpaqueType -> OpaqueType -> OpaqueType

Pretty OpaqueType

Defined in Futhark.IR.Pretty

Methods

pretty :: OpaqueType -> Doc ann

prettyList :: [OpaqueType] -> Doc ann

data EntryPointType

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

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> EntryPointType -> ShowS

show :: EntryPointType -> String

showList :: [EntryPointType] -> ShowS

Eq EntryPointType

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: EntryPointType -> EntryPointType -> Bool

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

Ord EntryPointType

Defined in Futhark.IR.Syntax.Core

Methods

compare :: EntryPointType -> EntryPointType -> Ordering

(<) :: EntryPointType -> EntryPointType -> Bool

(<=) :: EntryPointType -> EntryPointType -> Bool

(>) :: EntryPointType -> EntryPointType -> Bool

(>=) :: EntryPointType -> EntryPointType -> Bool

max :: EntryPointType -> EntryPointType -> EntryPointType

min :: EntryPointType -> EntryPointType -> EntryPointType

Pretty EntryPointType

Defined in Futhark.IR.Pretty

Methods

pretty :: EntryPointType -> Doc ann

prettyList :: [EntryPointType] -> Doc ann

data ValueType

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

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> ValueType -> ShowS

show :: ValueType -> String

showList :: [ValueType] -> ShowS

Eq ValueType

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: ValueType -> ValueType -> Bool

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

Ord ValueType

Defined in Futhark.IR.Syntax.Core

Methods

compare :: ValueType -> ValueType -> Ordering

(<) :: ValueType -> ValueType -> Bool

(<=) :: ValueType -> ValueType -> Bool

(>) :: ValueType -> ValueType -> Bool

(>=) :: ValueType -> ValueType -> Bool

max :: ValueType -> ValueType -> ValueType

min :: ValueType -> ValueType -> ValueType

Pretty ValueType

Defined in Futhark.IR.Pretty

Methods

pretty :: ValueType -> Doc ann

prettyList :: [ValueType] -> Doc ann

data Signedness

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.

Constructors

Unsigned

Signed

Instances

Show Signedness

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> Signedness -> ShowS

show :: Signedness -> String

showList :: [Signedness] -> ShowS

Eq Signedness

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: Signedness -> Signedness -> Bool

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

Ord Signedness

Defined in Futhark.IR.Syntax.Core

Methods

compare :: Signedness -> Signedness -> Ordering

(<) :: Signedness -> Signedness -> Bool

(<=) :: Signedness -> Signedness -> Bool

(>) :: Signedness -> Signedness -> Bool

(>=) :: Signedness -> Signedness -> Bool

max :: Signedness -> Signedness -> Signedness

min :: Signedness -> Signedness -> Signedness

Pretty Signedness

Defined in Futhark.IR.Pretty

Methods

pretty :: Signedness -> Doc ann

prettyList :: [Signedness] -> Doc ann

data ErrorMsgPart a

A part of an error message.

Constructors

ErrorString Text

A literal string.

ErrorVal PrimType a

A run-time value.

Instances

Foldable ErrorMsgPart

Defined in Futhark.IR.Syntax.Core

Methods

fold :: Monoid m => ErrorMsgPart m -> m

foldMap :: Monoid m => (a -> m) -> ErrorMsgPart a -> m

foldMap' :: Monoid m => (a -> m) -> ErrorMsgPart a -> m

foldr :: (a -> b -> b) -> b -> ErrorMsgPart a -> b

foldr' :: (a -> b -> b) -> b -> ErrorMsgPart a -> b

foldl :: (b -> a -> b) -> b -> ErrorMsgPart a -> b

foldl' :: (b -> a -> b) -> b -> ErrorMsgPart a -> b

foldr1 :: (a -> a -> a) -> ErrorMsgPart a -> a

foldl1 :: (a -> a -> a) -> ErrorMsgPart a -> a

toList :: ErrorMsgPart a -> [a]

null :: ErrorMsgPart a -> Bool

length :: ErrorMsgPart a -> Int

elem :: Eq a => a -> ErrorMsgPart a -> Bool

maximum :: Ord a => ErrorMsgPart a -> a

minimum :: Ord a => ErrorMsgPart a -> a

sum :: Num a => ErrorMsgPart a -> a

product :: Num a => ErrorMsgPart a -> a

Traversable ErrorMsgPart

Defined in Futhark.IR.Syntax.Core

Methods

traverse :: Applicative f => (a -> f b) -> ErrorMsgPart a -> f (ErrorMsgPart b)

sequenceA :: Applicative f => ErrorMsgPart (f a) -> f (ErrorMsgPart a)

mapM :: Monad m => (a -> m b) -> ErrorMsgPart a -> m (ErrorMsgPart b)

sequence :: Monad m => ErrorMsgPart (m a) -> m (ErrorMsgPart a)

Functor ErrorMsgPart

Defined in Futhark.IR.Syntax.Core

Methods

fmap :: (a -> b) -> ErrorMsgPart a -> ErrorMsgPart b

(<$) :: a -> ErrorMsgPart b -> ErrorMsgPart a

IsString (ErrorMsgPart a)

Defined in Futhark.IR.Syntax.Core

Methods

fromString :: String -> ErrorMsgPart a

Show a => Show (ErrorMsgPart a)

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> ErrorMsgPart a -> ShowS

show :: ErrorMsgPart a -> String

showList :: [ErrorMsgPart a] -> ShowS

Eq a => Eq (ErrorMsgPart a)

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: ErrorMsgPart a -> ErrorMsgPart a -> Bool

(/=) :: ErrorMsgPart a -> ErrorMsgPart a -> Bool

Ord a => Ord (ErrorMsgPart a)

Defined in Futhark.IR.Syntax.Core

Methods

compare :: ErrorMsgPart a -> ErrorMsgPart a -> Ordering

(<) :: ErrorMsgPart a -> ErrorMsgPart a -> Bool

(<=) :: ErrorMsgPart a -> ErrorMsgPart a -> Bool

(>) :: ErrorMsgPart a -> ErrorMsgPart a -> Bool

(>=) :: ErrorMsgPart a -> ErrorMsgPart a -> Bool

max :: ErrorMsgPart a -> ErrorMsgPart a -> ErrorMsgPart a

min :: ErrorMsgPart a -> ErrorMsgPart a -> ErrorMsgPart a

newtype ErrorMsg a

An error message is a list of error parts, which are concatenated to form the final message.

Constructors

ErrorMsg [ErrorMsgPart a]

Instances

Foldable ErrorMsg

Defined in Futhark.IR.Syntax.Core

Methods

fold :: Monoid m => ErrorMsg m -> m

foldMap :: Monoid m => (a -> m) -> ErrorMsg a -> m

foldMap' :: Monoid m => (a -> m) -> ErrorMsg a -> m

foldr :: (a -> b -> b) -> b -> ErrorMsg a -> b

foldr' :: (a -> b -> b) -> b -> ErrorMsg a -> b

foldl :: (b -> a -> b) -> b -> ErrorMsg a -> b

foldl' :: (b -> a -> b) -> b -> ErrorMsg a -> b

foldr1 :: (a -> a -> a) -> ErrorMsg a -> a

foldl1 :: (a -> a -> a) -> ErrorMsg a -> a

toList :: ErrorMsg a -> [a]

null :: ErrorMsg a -> Bool

length :: ErrorMsg a -> Int

elem :: Eq a => a -> ErrorMsg a -> Bool

maximum :: Ord a => ErrorMsg a -> a

minimum :: Ord a => ErrorMsg a -> a

sum :: Num a => ErrorMsg a -> a

product :: Num a => ErrorMsg a -> a

Traversable ErrorMsg

Defined in Futhark.IR.Syntax.Core

Methods

traverse :: Applicative f => (a -> f b) -> ErrorMsg a -> f (ErrorMsg b)

sequenceA :: Applicative f => ErrorMsg (f a) -> f (ErrorMsg a)

mapM :: Monad m => (a -> m b) -> ErrorMsg a -> m (ErrorMsg b)

sequence :: Monad m => ErrorMsg (m a) -> m (ErrorMsg a)

Functor ErrorMsg

Defined in Futhark.IR.Syntax.Core

Methods

fmap :: (a -> b) -> ErrorMsg a -> ErrorMsg b

(<$) :: a -> ErrorMsg b -> ErrorMsg a

IsString (ErrorMsg a)

Defined in Futhark.IR.Syntax.Core

Methods

fromString :: String -> ErrorMsg a

Show a => Show (ErrorMsg a)

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> ErrorMsg a -> ShowS

show :: ErrorMsg a -> String

showList :: [ErrorMsg a] -> ShowS

Eq a => Eq (ErrorMsg a)

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: ErrorMsg a -> ErrorMsg a -> Bool

(/=) :: ErrorMsg a -> ErrorMsg a -> Bool

Ord a => Ord (ErrorMsg a)

Defined in Futhark.IR.Syntax.Core

Methods

compare :: ErrorMsg a -> ErrorMsg a -> Ordering

(<) :: ErrorMsg a -> ErrorMsg a -> Bool

(<=) :: ErrorMsg a -> ErrorMsg a -> Bool

(>) :: ErrorMsg a -> ErrorMsg a -> Bool

(>=) :: ErrorMsg a -> ErrorMsg a -> Bool

max :: ErrorMsg a -> ErrorMsg a -> ErrorMsg a

min :: ErrorMsg a -> ErrorMsg a -> ErrorMsg a

Pretty a => Pretty (ErrorMsg a)

Defined in Futhark.IR.Pretty

Methods

pretty :: ErrorMsg a -> Doc ann

prettyList :: [ErrorMsg a] -> Doc ann

data SubExp

A subexpression is either a scalar constant or a variable. One important property is that evaluation of a subexpression is guaranteed to complete in constant time.

Constructors

Constant PrimValue

Var VName

Instances

Show SubExp

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> SubExp -> ShowS

show :: SubExp -> String

showList :: [SubExp] -> ShowS

ToExp SubExp

Defined in Futhark.CodeGen.ImpGen

Methods

toExp :: SubExp -> ImpM rep r op Exp

toExp' :: PrimType -> SubExp -> Exp

ToExp SubExp

Defined in Futhark.Construct

Methods

toExp :: MonadBuilder m => SubExp -> m (Exp (Rep m))

HasLetDecMem LetDecMem

Defined in Futhark.IR.Mem

Methods

letDecMem :: LetDecMem -> LetDecMem

FreeIn SubExp

Defined in Futhark.IR.Prop.Names

Methods

freeIn' :: SubExp -> FV

DeclExtTyped DeclExtType

Defined in Futhark.IR.Prop.Types

Methods

declExtTypeOf :: DeclExtType -> DeclExtType

DeclTyped DeclType

Defined in Futhark.IR.Prop.Types

Methods

declTypeOf :: DeclType -> DeclType

ExtTyped ExtType

Defined in Futhark.IR.Prop.Types

Methods

extTypeOf :: ExtType -> ExtType

FixExt ExtSize

Defined in Futhark.IR.Prop.Types

Methods

fixExt :: Int -> SubExp -> ExtSize -> ExtSize

SetType Type

Defined in Futhark.IR.Prop.Types

Methods

setType :: Type -> Type -> Type

Typed DeclType

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: DeclType -> Type

Typed Type

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: Type -> Type

IsBodyType BodyReturns

Defined in Futhark.IR.Mem

Methods

primBodyType :: PrimType -> BodyReturns

IsBodyType ExtType

Defined in Futhark.IR.RetType

Methods

primBodyType :: PrimType -> ExtType

IsRetType FunReturns

Defined in Futhark.IR.Mem

Methods

primRetType :: PrimType -> FunReturns

applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns]

IsRetType DeclExtType

Defined in Futhark.IR.RetType

Methods

primRetType :: PrimType -> DeclExtType

applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType]

Simplifiable ExtSize

Defined in Futhark.Optimise.Simplify.Engine

Methods

simplify :: SimplifiableRep rep => ExtSize -> SimpleM rep ExtSize

Simplifiable SubExp

Defined in Futhark.Optimise.Simplify.Engine

Methods

simplify :: SimplifiableRep rep => SubExp -> SimpleM rep SubExp

Rename ExtSize

Defined in Futhark.Transform.Rename

Methods

rename :: ExtSize -> RenameM ExtSize

Rename SubExp

Defined in Futhark.Transform.Rename

Methods

rename :: SubExp -> RenameM SubExp

Substitute SubExp

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> SubExp -> SubExp

Eq SubExp

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: SubExp -> SubExp -> Bool

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

Ord SubExp

Defined in Futhark.IR.Syntax.Core

Methods

compare :: SubExp -> SubExp -> Ordering

(<) :: SubExp -> SubExp -> Bool

(<=) :: SubExp -> SubExp -> Bool

(>) :: SubExp -> SubExp -> Bool

(>=) :: SubExp -> SubExp -> Bool

max :: SubExp -> SubExp -> SubExp

min :: SubExp -> SubExp -> SubExp

ToExp SubExp

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: SubExp -> SrcLoc -> Exp

Pretty ExtShape

Defined in Futhark.IR.Pretty

Methods

pretty :: ExtShape -> Doc ann

prettyList :: [ExtShape] -> Doc ann

Pretty Shape

Defined in Futhark.IR.Pretty

Methods

pretty :: Shape -> Doc ann

prettyList :: [Shape] -> Doc ann

Pretty SubExp

Defined in Futhark.IR.Pretty

Methods

pretty :: SubExp -> Doc ann

prettyList :: [SubExp] -> Doc ann

ArrayShape (ShapeBase ExtSize)

Defined in Futhark.IR.Syntax.Core

Methods

shapeRank :: ShapeBase ExtSize -> Int

subShapeOf :: ShapeBase ExtSize -> ShapeBase ExtSize -> Bool

ArrayShape (ShapeBase SubExp)

Defined in Futhark.IR.Syntax.Core

Methods

shapeRank :: ShapeBase SubExp -> Int

subShapeOf :: ShapeBase SubExp -> ShapeBase SubExp -> Bool

Simplifiable [FunReturns]

Defined in Futhark.IR.Mem

Methods

simplify :: SimplifiableRep rep => [FunReturns] -> SimpleM rep [FunReturns]

Pretty u => Pretty (TypeBase ExtShape u)

Defined in Futhark.IR.Pretty

Methods

pretty :: TypeBase ExtShape u -> Doc ann

prettyList :: [TypeBase ExtShape u] -> Doc ann

Pretty u => Pretty (TypeBase Shape u)

Defined in Futhark.IR.Pretty

Methods

pretty :: TypeBase Shape u -> Doc ann

prettyList :: [TypeBase Shape u] -> Doc ann

FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret)

Defined in Futhark.IR.Mem

Methods

declExtTypeOf :: MemInfo ExtSize Uniqueness ret -> DeclExtType

DeclTyped (MemInfo SubExp Uniqueness ret)

Defined in Futhark.IR.Mem

Methods

declTypeOf :: MemInfo SubExp Uniqueness ret -> DeclType

FixExt ret => ExtTyped (MemInfo ExtSize NoUniqueness ret)

Defined in Futhark.IR.Mem

Methods

extTypeOf :: MemInfo ExtSize NoUniqueness ret -> ExtType

FixExt ret => FixExt (MemInfo ExtSize u ret)

Defined in Futhark.IR.Mem

Methods

fixExt :: Int -> SubExp -> MemInfo ExtSize u ret -> MemInfo ExtSize u ret

Typed (MemInfo SubExp NoUniqueness ret)

Defined in Futhark.IR.Mem

Methods

typeOf :: MemInfo SubExp NoUniqueness ret -> Type

Typed (MemInfo SubExp Uniqueness ret)

Defined in Futhark.IR.Mem

Methods

typeOf :: MemInfo SubExp Uniqueness ret -> Type

type SpaceId = String

A string representing a specific non-default memory space.

data Space

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.

Instances

Show Space

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> Space -> ShowS

show :: Space -> String

showList :: [Space] -> ShowS

FreeIn Space

Defined in Futhark.IR.Prop.Names

Methods

freeIn' :: Space -> FV

Simplifiable Space

Defined in Futhark.Optimise.Simplify.Engine

Methods

simplify :: SimplifiableRep rep => Space -> SimpleM rep Space

Eq Space

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: Space -> Space -> Bool

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

Ord Space

Defined in Futhark.IR.Syntax.Core

Methods

compare :: Space -> Space -> Ordering

(<) :: Space -> Space -> Bool

(<=) :: Space -> Space -> Bool

(>) :: Space -> Space -> Bool

(>=) :: Space -> Space -> Bool

max :: Space -> Space -> Space

min :: Space -> Space -> Space

Pretty Space

Defined in Futhark.IR.Pretty

Methods

pretty :: Space -> Doc ann

prettyList :: [Space] -> Doc ann

newtype Rank

The size of an array type as merely the number of dimensions, with no further information.

Constructors

Rank Int

Instances

Monoid Rank

Defined in Futhark.IR.Syntax.Core

Methods

mempty :: Rank

mappend :: Rank -> Rank -> Rank

mconcat :: [Rank] -> Rank

Semigroup Rank

Defined in Futhark.IR.Syntax.Core

Methods

(<>) :: Rank -> Rank -> Rank

sconcat :: NonEmpty Rank -> Rank

stimes :: Integral b => b -> Rank -> Rank

Show Rank

Defined in Futhark.IR.Syntax.Core

Methods

showsPrec :: Int -> Rank -> ShowS

show :: Rank -> String

showList :: [Rank] -> ShowS

ArrayShape Rank

Defined in Futhark.IR.Syntax.Core

Methods

shapeRank :: Rank -> Int

subShapeOf :: Rank -> Rank -> Bool

Rename Rank

Defined in Futhark.Transform.Rename

Methods

rename :: Rank -> RenameM Rank

Substitute Rank

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Rank -> Rank

Eq Rank

Defined in Futhark.IR.Syntax.Core

Methods

(==) :: Rank -> Rank -> Bool

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

Ord Rank

Defined in Futhark.IR.Syntax.Core

Methods

compare :: Rank -> Rank -> Ordering

(<) :: Rank -> Rank -> Bool

(<=) :: Rank -> Rank -> Bool

(>) :: Rank -> Rank -> Bool

(>=) :: Rank -> Rank -> Bool

max :: Rank -> Rank -> Rank

min :: Rank -> Rank -> Rank

Pretty Rank

Defined in Futhark.IR.Pretty

Methods

pretty :: Rank -> Doc ann

prettyList :: [Rank] -> Doc ann

Pretty u => Pretty (TypeBase Rank u)

Defined in Futhark.IR.Pretty

Methods

pretty :: TypeBase Rank u -> Doc ann

prettyList :: [TypeBase Rank u] -> Doc ann

errorMsgArgTypes :: ErrorMsg a -> [PrimType]

How many non-constant parts does the error message have, and what is their type?

module Language.Futhark.Core

module Language.Futhark.Primitive

module Futhark.Analysis.PrimExp

module Futhark.Analysis.PrimExp.Convert

newtype Count u e

A wrapper supporting a phantom type for indicating what we are counting.

Constructors

Count

Fields

• unCount :: e

Instances

Foldable (Count u)

Defined in Futhark.IR.GPU.Sizes

Methods

fold :: Monoid m => Count u m -> m

foldMap :: Monoid m => (a -> m) -> Count u a -> m

foldMap' :: Monoid m => (a -> m) -> Count u a -> m

foldr :: (a -> b -> b) -> b -> Count u a -> b

foldr' :: (a -> b -> b) -> b -> Count u a -> b

foldl :: (b -> a -> b) -> b -> Count u a -> b

foldl' :: (b -> a -> b) -> b -> Count u a -> b

foldr1 :: (a -> a -> a) -> Count u a -> a

foldl1 :: (a -> a -> a) -> Count u a -> a

toList :: Count u a -> [a]

null :: Count u a -> Bool

length :: Count u a -> Int

elem :: Eq a => a -> Count u a -> Bool

maximum :: Ord a => Count u a -> a

minimum :: Ord a => Count u a -> a

sum :: Num a => Count u a -> a

product :: Num a => Count u a -> a

Traversable (Count u)

Defined in Futhark.IR.GPU.Sizes

Methods

traverse :: Applicative f => (a -> f b) -> Count u a -> f (Count u b)

sequenceA :: Applicative f => Count u (f a) -> f (Count u a)

mapM :: Monad m => (a -> m b) -> Count u a -> m (Count u b)

sequence :: Monad m => Count u (m a) -> m (Count u a)

Functor (Count u)

Defined in Futhark.IR.GPU.Sizes

Methods

fmap :: (a -> b) -> Count u a -> Count u b

(<$) :: a -> Count u b -> Count u a

Num e => Num (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

(+) :: Count u e -> Count u e -> Count u e

(-) :: Count u e -> Count u e -> Count u e

(*) :: Count u e -> Count u e -> Count u e

negate :: Count u e -> Count u e

abs :: Count u e -> Count u e

signum :: Count u e -> Count u e

fromInteger :: Integer -> Count u e

Show e => Show (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

showsPrec :: Int -> Count u e -> ShowS

show :: Count u e -> String

showList :: [Count u e] -> ShowS

FreeIn e => FreeIn (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

freeIn' :: Count u e -> FV

Substitute e => Substitute (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

substituteNames :: Map VName VName -> Count u e -> Count u e

IntegralExp e => IntegralExp (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

quot :: Count u e -> Count u e -> Count u e

rem :: Count u e -> Count u e -> Count u e

div :: Count u e -> Count u e -> Count u e

mod :: Count u e -> Count u e -> Count u e

sgn :: Count u e -> Maybe Int

pow :: Count u e -> Count u e -> Count u e

divUp :: Count u e -> Count u e -> Count u e

Eq e => Eq (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

(==) :: Count u e -> Count u e -> Bool

(/=) :: Count u e -> Count u e -> Bool

Ord e => Ord (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

compare :: Count u e -> Count u e -> Ordering

(<) :: Count u e -> Count u e -> Bool

(<=) :: Count u e -> Count u e -> Bool

(>) :: Count u e -> Count u e -> Bool

(>=) :: Count u e -> Count u e -> Bool

max :: Count u e -> Count u e -> Count u e

min :: Count u e -> Count u e -> Count u e

Pretty e => Pretty (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

pretty :: Count u e -> Doc ann

prettyList :: [Count u e] -> Doc ann

module Futhark.IR.Prop.Names