Futhark.CodeGen.ImpCode

Imperative intermediate language used as a stepping stone in code generation.

This is a generic representation parametrised on an extensible arbitrary operation.

Originally inspired by the paper "Defunctionalizing Push Arrays" (FHPC '14).

Documentation

newtype Functions a

A collection of imperative functions.

Constructors

Functions [(Name, Function a)]

Instances

Functor Functions

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

Foldable Functions

Defined in Futhark.CodeGen.ImpCode

Methods

fold :: Monoid m => Functions m -> 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)

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

Monoid (Functions a)

Defined in Futhark.CodeGen.ImpCode

Methods

mempty :: Functions a

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

mconcat :: [Functions a] -> Functions a

Pretty op => Pretty (Functions op)

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: Functions op -> Doc

pprPrec :: Int -> Functions op -> Doc

pprList :: [Functions op] -> Doc

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 used if the function is an entry point.

Constructors

Function

Fields

• functionEntry :: Bool
• functionOutput :: [Param]
• functionInput :: [Param]
• functionbBody :: Code a
• functionResult :: [ExternalValue]
• functionArgs :: [ExternalValue]

Instances

Functor FunctionT

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

Foldable FunctionT

Defined in Futhark.CodeGen.ImpCode

Methods

fold :: Monoid m => FunctionT m -> 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)

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

ppr :: FunctionT op -> Doc

pprPrec :: Int -> FunctionT op -> Doc

pprList :: [FunctionT op] -> Doc

data ValueDesc

A description of an externally meaningful value.

Constructors

ArrayValue VName MemSize Space PrimType Signedness [DimSize]

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

ScalarValue PrimType Signedness VName

A scalar value with signedness if applicable.

Instances

Eq ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

Show ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> ValueDesc -> ShowS

show :: ValueDesc -> String

showList :: [ValueDesc] -> ShowS

Pretty ValueDesc

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: ValueDesc -> Doc

pprPrec :: Int -> ValueDesc -> Doc

pprList :: [ValueDesc] -> Doc

data Signedness

Constructors

TypeUnsigned

TypeDirect

Instances

Eq Signedness

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

Show Signedness

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Signedness -> ShowS

show :: Signedness -> String

showList :: [Signedness] -> ShowS

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.

Constructors

OpaqueValue String [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

Pretty ExternalValue

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: ExternalValue -> Doc

pprPrec :: Int -> ExternalValue -> Doc

pprList :: [ExternalValue] -> Doc

data Param

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

Pretty Param

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: Param -> Doc

pprPrec :: Int -> Param -> Doc

pprList :: [Param] -> Doc

paramName :: Param -> VName

data Size

Constructors

ConstSize Int64

VarSize VName

Instances

Eq Size

Defined in Futhark.CodeGen.ImpCode

Methods

(==) :: Size -> Size -> Bool

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

Show Size

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

Pretty Size

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: Size -> Doc

pprPrec :: Int -> Size -> Doc

pprList :: [Size] -> Doc

FreeIn Size

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn :: Size -> Names

type MemSize = Size

type DimSize = Size

data Type

Constructors

Scalar PrimType

Mem MemSize 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

Instances

Eq Space

Defined in Futhark.Representation.AST.Syntax.Core

Methods

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

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

Ord Space

Defined in Futhark.Representation.AST.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

Show Space

Defined in Futhark.Representation.AST.Syntax.Core

Methods

showsPrec :: Int -> Space -> ShowS

show :: Space -> String

showList :: [Space] -> ShowS

Pretty Space

Defined in Futhark.Representation.AST.Pretty

Methods

ppr :: Space -> Doc

pprPrec :: Int -> Space -> Doc

pprList :: [Space] -> Doc

type SpaceId = String

A string representing a specific non-default memory space.

data Code a

Constructors

Skip

(Code a) :>>: (Code a)

For VName IntType Exp (Code a)

While Exp (Code a)

DeclareMem VName Space

DeclareScalar VName PrimType

DeclareArray VName Space PrimType [PrimValue]

Create an array containing the given values. The lifetime of the array will be the entire application. This is mostly used for constant arrays, but also for some bookkeeping data, like the synchronisation counts used to implement reduction.

Allocate VName (Count Bytes) 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 VName (Count Bytes) Space VName (Count Bytes) Space (Count Bytes)

Destination, offset in destination, destination space, source, offset in source, offset space, number of bytes.

Write VName (Count Bytes) PrimType Space Volatility Exp

SetScalar VName Exp

SetMem VName VName Space

Must be in same space.

Call [VName] Name [Arg]

If Exp (Code a) (Code a)

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

Comment String (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 PrimType Exp

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

Op a

Instances

Functor Code

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

Foldable Code

Defined in Futhark.CodeGen.ImpCode

Methods

fold :: Monoid m => Code m -> 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)

Show a => Show (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Code a -> ShowS

show :: Code a -> String

showList :: [Code a] -> ShowS

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

Monoid (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

mempty :: Code a

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

mconcat :: [Code a] -> Code a

Pretty op => Pretty (Code op)

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: Code op -> Doc

pprPrec :: Int -> Code op -> Doc

pprList :: [Code op] -> Doc

FreeIn a => FreeIn (Code a)

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn :: Code a -> Names

MonadWriter (Code op) (ImpM lore op)

Defined in Futhark.CodeGen.ImpGen

Methods

writer :: (a, Code op) -> ImpM lore op a

tell :: Code op -> ImpM lore op ()

listen :: ImpM lore op a -> ImpM lore op (a, Code op)

pass :: ImpM lore op (a, Code op -> Code op) -> ImpM lore op a

data PrimValue

Non-array values.

Constructors

IntValue !IntValue

FloatValue !FloatValue

BoolValue !Bool

Checked

The only value of type cert.

Instances

Eq PrimValue

Defined in Futhark.Representation.Primitive

Methods

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

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

Ord PrimValue

Defined in Futhark.Representation.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

Show PrimValue

Defined in Futhark.Representation.Primitive

Methods

showsPrec :: Int -> PrimValue -> ShowS

show :: PrimValue -> String

showList :: [PrimValue] -> ShowS

ToExp PrimValue

Defined in Futhark.CodeGen.Backends.GenericC

Methods

toExp :: PrimValue -> SrcLoc -> Exp

Pretty PrimValue

Defined in Futhark.Representation.Primitive

Methods

ppr :: PrimValue -> Doc

pprPrec :: Int -> PrimValue -> Doc

pprList :: [PrimValue] -> Doc

IsValue PrimValue

Defined in Futhark.Representation.AST.Attributes.Constants

Methods

value :: PrimValue -> PrimValue

data ExpLeaf

Constructors

ScalarVar VName

SizeOf PrimType

Index VName (Count Bytes) PrimType Space Volatility

Instances

Eq ExpLeaf

Defined in Futhark.CodeGen.ImpCode

Methods

(==) :: ExpLeaf -> ExpLeaf -> Bool

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

Show ExpLeaf

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> ExpLeaf -> ShowS

show :: ExpLeaf -> String

showList :: [ExpLeaf] -> ShowS

Pretty ExpLeaf

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: ExpLeaf -> Doc

pprPrec :: Int -> ExpLeaf -> Doc

pprList :: [ExpLeaf] -> Doc

FreeIn ExpLeaf

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn :: ExpLeaf -> Names

type Exp = PrimExp ExpLeaf

data Volatility

The volatility of a memory access.

Constructors

Volatile

Nonvolatile

Instances

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

Show Volatility

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Volatility -> ShowS

show :: Volatility -> String

showList :: [Volatility] -> ShowS

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

Pretty Arg

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: Arg -> Doc

pprPrec :: Int -> Arg -> Doc

pprList :: [Arg] -> Doc

FreeIn Arg

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn :: Arg -> Names

var :: VName -> PrimType -> Exp

index :: VName -> Count Bytes -> PrimType -> Space -> Volatility -> Exp

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

Functor ErrorMsg

Defined in Futhark.Representation.AST.Syntax.Core

Methods

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

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

Foldable ErrorMsg

Defined in Futhark.Representation.AST.Syntax.Core

Methods

fold :: Monoid m => ErrorMsg m -> 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.Representation.AST.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)

Eq a => Eq (ErrorMsg a)

Defined in Futhark.Representation.AST.Syntax.Core

Methods

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

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

Ord a => Ord (ErrorMsg a)

Defined in Futhark.Representation.AST.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

Show a => Show (ErrorMsg a)

Defined in Futhark.Representation.AST.Syntax.Core

Methods

showsPrec :: Int -> ErrorMsg a -> ShowS

show :: ErrorMsg a -> String

showList :: [ErrorMsg a] -> ShowS

IsString (ErrorMsg a)

Defined in Futhark.Representation.AST.Syntax.Core

Methods

fromString :: String -> ErrorMsg a

Pretty a => Pretty (ErrorMsg a)

Defined in Futhark.Representation.AST.Pretty

Methods

ppr :: ErrorMsg a -> Doc

pprPrec :: Int -> ErrorMsg a -> Doc

pprList :: [ErrorMsg a] -> Doc

data ErrorMsgPart a

A part of an error message.

Constructors

ErrorString String

A literal string.

ErrorInt32 a

A run-time integer value.

Instances

Functor ErrorMsgPart

Defined in Futhark.Representation.AST.Syntax.Core

Methods

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

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

Foldable ErrorMsgPart

Defined in Futhark.Representation.AST.Syntax.Core

Methods

fold :: Monoid m => ErrorMsgPart m -> 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.Representation.AST.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)

Eq a => Eq (ErrorMsgPart a)

Defined in Futhark.Representation.AST.Syntax.Core

Methods

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

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

Ord a => Ord (ErrorMsgPart a)

Defined in Futhark.Representation.AST.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

Show a => Show (ErrorMsgPart a)

Defined in Futhark.Representation.AST.Syntax.Core

Methods

showsPrec :: Int -> ErrorMsgPart a -> ShowS

show :: ErrorMsgPart a -> String

showList :: [ErrorMsgPart a] -> ShowS

IsString (ErrorMsgPart a)

Defined in Futhark.Representation.AST.Syntax.Core

Methods

fromString :: String -> ErrorMsgPart a

Typed enumerations

newtype Count u

A wrapper around Exp that maintains a unit as a phantom type.

Constructors

Count

Fields

• innerExp :: Exp

Instances

Eq (Count u)

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

Num (Count u)

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

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

negate :: Count u -> Count u

abs :: Count u -> Count u

signum :: Count u -> Count u

fromInteger :: Integer -> Count u

Show (Count u)

Defined in Futhark.CodeGen.ImpCode

Methods

showsPrec :: Int -> Count u -> ShowS

show :: Count u -> String

showList :: [Count u] -> ShowS

Pretty (Count u)

Defined in Futhark.CodeGen.ImpCode

Methods

ppr :: Count u -> Doc

pprPrec :: Int -> Count u -> Doc

pprList :: [Count u] -> Doc

IntegralExp (Count u)

Defined in Futhark.CodeGen.ImpCode

Methods

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

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

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

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

sgn :: Count u -> Maybe Int

fromInt8 :: Int8 -> Count u

fromInt16 :: Int16 -> Count u

fromInt32 :: Int32 -> Count u

fromInt64 :: Int64 -> Count u

FreeIn (Count u)

Defined in Futhark.CodeGen.ImpCode

Methods

freeIn :: Count u -> Names

data Bytes

Phantom type for a count of bytes.

data Elements

Phantom type for a count of elements.

elements :: Exp -> Count Elements

bytes :: Exp -> Count Bytes

withElemType :: Count Elements -> PrimType -> Count Bytes

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

Converting from sizes

sizeToExp :: Size -> Exp

dimSizeToExp :: DimSize -> Count Elements

memSizeToExp :: MemSize -> Count Bytes

Analysis

Re-exports from other modules.

module Language.Futhark.Core

module Futhark.Representation.Primitive

module Futhark.Analysis.PrimExp