Futhark.IR.Kernels.Sizes

In the context of this module, a "size" is any kind of tunable (run-time) constant.

Documentation

data SizeClass

The class of some kind of configurable size. Each class may impose constraints on the valid values.

Constructors

SizeThreshold KernelPath

SizeGroup

SizeNumGroups

SizeTile

SizeLocalMemory

Likely not useful on its own, but querying the maximum can be handy.

SizeBespoke Name Int32

A bespoke size with a default.

Instances

Eq SizeClass

Defined in Futhark.IR.Kernels.Sizes

Methods

(==) :: SizeClass -> SizeClass -> Bool

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

Ord SizeClass

Defined in Futhark.IR.Kernels.Sizes

Methods

compare :: SizeClass -> SizeClass -> Ordering

(<) :: SizeClass -> SizeClass -> Bool

(<=) :: SizeClass -> SizeClass -> Bool

(>) :: SizeClass -> SizeClass -> Bool

(>=) :: SizeClass -> SizeClass -> Bool

max :: SizeClass -> SizeClass -> SizeClass

min :: SizeClass -> SizeClass -> SizeClass

Show SizeClass

Defined in Futhark.IR.Kernels.Sizes

Methods

showsPrec :: Int -> SizeClass -> ShowS

show :: SizeClass -> String

showList :: [SizeClass] -> ShowS

Pretty SizeClass

Defined in Futhark.IR.Kernels.Sizes

Methods

ppr :: SizeClass -> Doc

pprPrec :: Int -> SizeClass -> Doc

pprList :: [SizeClass] -> Doc

type KernelPath = [(Name, Bool)]

An indication of which comparisons have been performed to get to this point, as well as the result of each comparison.

newtype Count u e

A wrapper supporting a phantom type for indicating what we are counting.

Constructors

Count

Fields

• unCount :: e

Instances

Functor (Count u)

Defined in Futhark.IR.Kernels.Sizes

Methods

fmap :: (a -> b) -> Count u a -> Count u b

(<$) :: a -> Count u b -> Count u a

Foldable (Count u)

Defined in Futhark.IR.Kernels.Sizes

Methods

fold :: Monoid m => Count u m -> m

foldMap :: Monoid m => (a -> m) -> Count u a -> m

foldMap' :: Monoid m => (a -> m) -> Count u a -> m

foldr :: (a -> b -> b) -> b -> Count u a -> b

foldr' :: (a -> b -> b) -> b -> Count u a -> b

foldl :: (b -> a -> b) -> b -> Count u a -> b

foldl' :: (b -> a -> b) -> b -> Count u a -> b

foldr1 :: (a -> a -> a) -> Count u a -> a

foldl1 :: (a -> a -> a) -> Count u a -> a

toList :: Count u a -> [a]

null :: Count u a -> Bool

length :: Count u a -> Int

elem :: Eq a => a -> Count u a -> Bool

maximum :: Ord a => Count u a -> a

minimum :: Ord a => Count u a -> a

sum :: Num a => Count u a -> a

product :: Num a => Count u a -> a

Traversable (Count u)

Defined in Futhark.IR.Kernels.Sizes

Methods

traverse :: Applicative f => (a -> f b) -> Count u a -> f (Count u b)

sequenceA :: Applicative f => Count u (f a) -> f (Count u a)

mapM :: Monad m => (a -> m b) -> Count u a -> m (Count u b)

sequence :: Monad m => Count u (m a) -> m (Count u a)

Eq e => Eq (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

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

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

Num e => Num (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

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

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

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

negate :: Count u e -> Count u e

abs :: Count u e -> Count u e

signum :: Count u e -> Count u e

fromInteger :: Integer -> Count u e

Ord e => Ord (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

compare :: Count u e -> Count u e -> Ordering

(<) :: Count u e -> Count u e -> Bool

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

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

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

max :: Count u e -> Count u e -> Count u e

min :: Count u e -> Count u e -> Count u e

Show e => Show (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

showsPrec :: Int -> Count u e -> ShowS

show :: Count u e -> String

showList :: [Count u e] -> ShowS

Pretty e => Pretty (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

ppr :: Count u e -> Doc

pprPrec :: Int -> Count u e -> Doc

pprList :: [Count u e] -> Doc

IntegralExp e => IntegralExp (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

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

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

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

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

sgn :: Count u e -> Maybe Int

divUp :: Count u e -> Count u e -> Count u e

fromInt8 :: Int8 -> Count u e

fromInt16 :: Int16 -> Count u e

fromInt32 :: Int32 -> Count u e

fromInt64 :: Int64 -> Count u e

FreeIn e => FreeIn (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

freeIn' :: Count u e -> FV

Substitute e => Substitute (Count u e)

Defined in Futhark.IR.Kernels.Sizes

Methods

substituteNames :: Map VName VName -> Count u e -> Count u e

data NumGroups

Phantom type for the number of groups of some kernel.

data GroupSize

Phantom type for the group size of some kernel.

data NumThreads

Phantom type for number of threads.