Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data SizeOp
- data HostOp rep op
- typeCheckHostOp :: Checkable rep => (SegLevel -> OpWithAliases (Op rep) -> TypeM rep ()) -> Maybe SegLevel -> (op -> TypeM rep ()) -> HostOp (Aliases rep) op -> TypeM rep ()
- data SegLevel
- module Futhark.IR.GPU.Sizes
- module Futhark.IR.SegOp
Size operations
A simple size-level query or computation.
SplitSpace SplitOrdering SubExp SubExp SubExp |
Computes how to divide array elements to threads in a kernel. Returns the number of elements in the chunk that the current thread should take.
If the order If the order |
GetSize Name SizeClass | Produce some runtime-configurable size. |
GetSizeMax SizeClass | The maximum size of some class. |
CmpSizeLe Name SizeClass SubExp | Compare size (likely a threshold) with some integer value. |
CalcNumGroups SubExp Name SubExp |
|
Host operations
A host-level operation; parameterised by what else it can do.
Instances
typeCheckHostOp :: Checkable rep => (SegLevel -> OpWithAliases (Op rep) -> TypeM rep ()) -> Maybe SegLevel -> (op -> TypeM rep ()) -> HostOp (Aliases rep) op -> TypeM rep () Source #
SegOp refinements
At which level the *body* of a SegOp
executes.
Reexports
module Futhark.IR.GPU.Sizes
module Futhark.IR.SegOp