Safe Haskell	None
Language	GHC2021

Futhark.CodeGen.ImpCode.Kernels

Description

Common definitions for imperative code augmented with the ability to launch kernels.

Synopsis

type KernelName = Name
data KernelArg
- = ValueKArg Exp PrimType
- | MemKArg VName
type HostCode = Code HostOp
data HostOp
- = LaunchKernel KernelSafety KernelName (Count Bytes (TExp Int64)) [KernelArg] [Exp] [BlockDim]
- | GetSize VName Name
- | CmpSizeLe VName Name Exp
- | GetSizeMax VName SizeClass
data KernelSafety
- = SafetyNone
- | SafetyCheap
- | SafetyFull
numFailureParams :: KernelSafety -> Int
data FailureMsg = FailureMsg {
- failureError :: ErrorMsg Exp
- failureBacktrace :: String
}
type BlockDim = Either Exp KernelConstExp
data KernelConst
type KernelConstExp = PrimExp KernelConst
module Futhark.CodeGen.ImpCode
module Futhark.IR.GPU.Sizes

Documentation

type KernelName = Name Source #

The name of a kernel.

data KernelArg Source #

An argument to be passed to a kernel.

Constructors

ValueKArg Exp PrimType	Pass the value of this scalar expression as argument.
MemKArg VName	Pass this pointer as argument.

Instances

Instances details

Show KernelArg Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods showsPrec :: Int -> KernelArg -> ShowS # show :: KernelArg -> String # showList :: [KernelArg] -> ShowS #

type HostCode = Code HostOp Source #

A piece of code calling kernels.

data HostOp Source #

Host-level kernel operation.

Constructors

LaunchKernel KernelSafety KernelName (Count Bytes (TExp Int64)) [KernelArg] [Exp] [BlockDim]
GetSize VName Name
CmpSizeLe VName Name Exp
GetSizeMax VName SizeClass

Instances

Instances details

Show HostOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods showsPrec :: Int -> HostOp -> ShowS # show :: HostOp -> String # showList :: [HostOp] -> ShowS #
Pretty HostOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods pretty :: HostOp -> Doc ann # prettyList :: [HostOp] -> Doc ann #

data KernelSafety Source #

Information about bounds checks and how sensitive it is to errors. Ordered by least demanding to most.

Constructors

SafetyNone	Does not need to know if we are in a failing state, and also cannot fail.
SafetyCheap	Needs to be told if there's a global failure, and that's it, and cannot fail.
SafetyFull	Needs all parameters, may fail itself.

Instances

Instances details

Show KernelSafety Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods showsPrec :: Int -> KernelSafety -> ShowS # show :: KernelSafety -> String # showList :: [KernelSafety] -> ShowS #
Eq KernelSafety Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods (==) :: KernelSafety -> KernelSafety -> Bool # (/=) :: KernelSafety -> KernelSafety -> Bool #
Ord KernelSafety Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods compare :: KernelSafety -> KernelSafety -> Ordering # (<) :: KernelSafety -> KernelSafety -> Bool # (<=) :: KernelSafety -> KernelSafety -> Bool # (>) :: KernelSafety -> KernelSafety -> Bool # (>=) :: KernelSafety -> KernelSafety -> Bool # max :: KernelSafety -> KernelSafety -> KernelSafety # min :: KernelSafety -> KernelSafety -> KernelSafety #

numFailureParams :: KernelSafety -> Int Source #

How many leading failure arguments we must pass when launching a kernel with these safety characteristics.

data FailureMsg Source #

Something that can go wrong in a kernel. Part of the machinery for reporting error messages from within kernels.

Constructors

FailureMsg
Fields failureError :: ErrorMsg Exp failureBacktrace :: String

type BlockDim = Either Exp KernelConstExp Source #

The size of one dimension of a block.

data KernelConst Source #

A run-time constant related to kernels.

Constructors

SizeConst Name SizeClass
SizeMaxConst SizeClass
SizeUserParam Name KernelConstExp

Instances

Instances details

FreeIn KernelConst Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods freeIn' :: KernelConst -> FV Source #
Show KernelConst Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods showsPrec :: Int -> KernelConst -> ShowS # show :: KernelConst -> String # showList :: [KernelConst] -> ShowS #
Eq KernelConst Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods (==) :: KernelConst -> KernelConst -> Bool # (/=) :: KernelConst -> KernelConst -> Bool #
Ord KernelConst Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods compare :: KernelConst -> KernelConst -> Ordering # (<) :: KernelConst -> KernelConst -> Bool # (<=) :: KernelConst -> KernelConst -> Bool # (>) :: KernelConst -> KernelConst -> Bool # (>=) :: KernelConst -> KernelConst -> Bool # max :: KernelConst -> KernelConst -> KernelConst # min :: KernelConst -> KernelConst -> KernelConst #
Pretty KernelConst Source #
Instance details Defined in Futhark.CodeGen.ImpCode.GPU Methods pretty :: KernelConst -> Doc ann # prettyList :: [KernelConst] -> Doc ann #

type KernelConstExp = PrimExp KernelConst Source #

An expression whose variables are kernel constants.

module Futhark.CodeGen.ImpCode

module Futhark.IR.GPU.Sizes