Futhark.CodeGen.ImpGen.Kernels

Compile a KernelsMem program to imperative code with kernels. This is mostly (but not entirely) the same process no matter if we are targeting OpenCL or CUDA. The important distinctions (the host level code) are introduced later.

Documentation

compileProgOpenCL :: MonadFreshNames m => Prog KernelsMem -> m (Warnings, Program)

Compile a KernelsMem program to low-level parallel code, with either CUDA or OpenCL characteristics.

compileProgCUDA :: MonadFreshNames m => Prog KernelsMem -> m (Warnings, Program)

Compile a KernelsMem program to low-level parallel code, with either CUDA or OpenCL characteristics.

data Warnings

The warnings produced by the compiler. The Show instance produces a human-readable description.

Instances

Eq Warnings

Defined in Language.Futhark.Warnings

Methods

(==) :: Warnings -> Warnings -> Bool

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

Show Warnings

Defined in Language.Futhark.Warnings

Methods

showsPrec :: Int -> Warnings -> ShowS

show :: Warnings -> String

showList :: [Warnings] -> ShowS

Semigroup Warnings

Defined in Language.Futhark.Warnings

Methods

(<>) :: Warnings -> Warnings -> Warnings

sconcat :: NonEmpty Warnings -> Warnings

stimes :: Integral b => b -> Warnings -> Warnings

Monoid Warnings

Defined in Language.Futhark.Warnings

Methods

mempty :: Warnings

mappend :: Warnings -> Warnings -> Warnings

mconcat :: [Warnings] -> Warnings

MonadWriter Warnings TypeM

Defined in Language.Futhark.TypeChecker.Monad

Methods

writer :: (a, Warnings) -> TypeM a

tell :: Warnings -> TypeM ()

listen :: TypeM a -> TypeM (a, Warnings)

pass :: TypeM (a, Warnings -> Warnings) -> TypeM a