Futhark.CodeGen.ImpCode.OpenCL

Imperative code with an OpenCL component.

Apart from ordinary imperative code, this also carries around an OpenCL program as a string, as well as a list of kernels defined by the OpenCL program.

The imperative code has been augmented with a LaunchKernel operation that allows one to execute an OpenCL kernel.

Documentation

data Program

An program calling OpenCL kernels.

Constructors

Program

Fields

• openClProgram :: Text
• openClPrelude :: Text

  Must be prepended to the program.

• openClKernelNames :: Map KernelName KernelSafety
• openClUsedTypes :: [PrimType]

  So we can detect whether the device is capable.

• openClSizes :: Map Name SizeClass

  Runtime-configurable constants.

• openClFailures :: [FailureMsg]

  Assertion failure error messages.

• hostDefinitions :: Definitions OpenCL

type KernelName = Name

The name of a kernel.

data KernelArg

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.

SharedMemoryKArg (Count Bytes Exp)

Create this much local memory per workgroup.

Instances

Show KernelArg

Defined in Futhark.CodeGen.ImpCode.OpenCL

Methods

showsPrec :: Int -> KernelArg -> ShowS

show :: KernelArg -> String

showList :: [KernelArg] -> ShowS

type CLCode = Code OpenCL

A piece of code calling OpenCL.

data OpenCL

Host-level OpenCL operation.

Constructors

LaunchKernel KernelSafety KernelName [KernelArg] [Exp] [Exp]

GetSize VName Name

CmpSizeLe VName Name Exp

GetSizeMax VName SizeClass

Instances

Show OpenCL

Defined in Futhark.CodeGen.ImpCode.OpenCL

Methods

showsPrec :: Int -> OpenCL -> ShowS

show :: OpenCL -> String

showList :: [OpenCL] -> ShowS

Pretty OpenCL

Defined in Futhark.CodeGen.ImpCode.OpenCL

Methods

ppr :: OpenCL -> Doc

pprPrec :: Int -> OpenCL -> Doc

pprList :: [OpenCL] -> Doc

data KernelSafety

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

Eq KernelSafety

Defined in Futhark.CodeGen.ImpCode.OpenCL

Methods

(==) :: KernelSafety -> KernelSafety -> Bool

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

Ord KernelSafety

Defined in Futhark.CodeGen.ImpCode.OpenCL

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

Show KernelSafety

Defined in Futhark.CodeGen.ImpCode.OpenCL

Methods

showsPrec :: Int -> KernelSafety -> ShowS

show :: KernelSafety -> String

showList :: [KernelSafety] -> ShowS

numFailureParams :: KernelSafety -> Int

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

data KernelTarget

The target platform when compiling imperative code to a Program

Constructors

TargetOpenCL

TargetCUDA

Instances

Eq KernelTarget

Defined in Futhark.CodeGen.ImpCode.OpenCL

Methods

(==) :: KernelTarget -> KernelTarget -> Bool

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

data FailureMsg

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

module Futhark.CodeGen.ImpCode

module Futhark.IR.GPU.Sizes