Safe Haskell	Safe-Inferred
Language	GHC2021

Futhark.Analysis.PrimExp

Contents

Construction
Untyped construction

Description

A primitive expression is an expression where the non-leaves are primitive operators. Our representation does not guarantee that the expression is type-correct.

Synopsis

data PrimExp v
- = LeafExp v PrimType
- | ValueExp PrimValue
- | BinOpExp BinOp (PrimExp v) (PrimExp v)
- | CmpOpExp CmpOp (PrimExp v) (PrimExp v)
- | UnOpExp UnOp (PrimExp v)
- | ConvOpExp ConvOp (PrimExp v)
- | FunExp Text [PrimExp v] PrimType
newtype TPrimExp t v = TPrimExp {
- untyped :: PrimExp v
}
isInt8 :: PrimExp v -> TPrimExp Int8 v
isInt16 :: PrimExp v -> TPrimExp Int16 v
isInt32 :: PrimExp v -> TPrimExp Int32 v
isInt64 :: PrimExp v -> TPrimExp Int64 v
isBool :: PrimExp v -> TPrimExp Bool v
isF16 :: PrimExp v -> TPrimExp Half v
isF32 :: PrimExp v -> TPrimExp Float v
isF64 :: PrimExp v -> TPrimExp Double v
evalPrimExp :: (Pretty v, MonadFail m) => (v -> m PrimValue) -> PrimExp v -> m PrimValue
primExpType :: PrimExp v -> PrimType
primExpSizeAtLeast :: Int -> PrimExp v -> Bool
coerceIntPrimExp :: IntType -> PrimExp v -> PrimExp v
leafExpTypes :: Ord a => PrimExp a -> Set (a, PrimType)
true :: TPrimExp Bool v
false :: TPrimExp Bool v
fromBool :: Bool -> TPrimExp Bool v
constFoldPrimExp :: PrimExp v -> PrimExp v
module Language.Futhark.Primitive
class NumExp t where
- fromInteger' :: Integer -> TPrimExp t v
- fromBoolExp :: TPrimExp Bool v -> TPrimExp t v
class NumExp t => IntExp t where
- expIntType :: TPrimExp t v -> IntType
class NumExp t => FloatExp t where
- fromRational' :: Rational -> TPrimExp t v
- expFloatType :: TPrimExp t v -> FloatType
sExt :: IntType -> PrimExp v -> PrimExp v
zExt :: IntType -> PrimExp v -> PrimExp v
(.&&.) :: Eq v => TPrimExp Bool v -> TPrimExp Bool v -> TPrimExp Bool v
(.||.) :: Eq v => TPrimExp Bool v -> TPrimExp Bool v -> TPrimExp Bool v
(.<.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v
(.<=.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v
(.>.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v
(.>=.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v
(.==.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v
(.&.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v
(.|.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v
(.^.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v
(.>>.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v
(.<<.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v
bNot :: TPrimExp Bool v -> TPrimExp Bool v
sMax32 :: TPrimExp Int32 v -> TPrimExp Int32 v -> TPrimExp Int32 v
sMin32 :: TPrimExp Int32 v -> TPrimExp Int32 v -> TPrimExp Int32 v
sMax64 :: TPrimExp Int64 v -> TPrimExp Int64 v -> TPrimExp Int64 v
sMin64 :: TPrimExp Int64 v -> TPrimExp Int64 v -> TPrimExp Int64 v
sExt32 :: IntExp t => TPrimExp t v -> TPrimExp Int32 v
sExt64 :: IntExp t => TPrimExp t v -> TPrimExp Int64 v
zExt32 :: IntExp t => TPrimExp t v -> TPrimExp Int32 v
zExt64 :: IntExp t => TPrimExp t v -> TPrimExp Int64 v
sExtAs :: (IntExp to, IntExp from) => TPrimExp from v -> TPrimExp to v -> TPrimExp to v
fMin16 :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v
fMin32 :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v
fMin64 :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v
fMax16 :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v
fMax32 :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v
fMax64 :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v
condExp :: TPrimExp Bool v -> TPrimExp t v -> TPrimExp t v -> TPrimExp t v
(~*~) :: PrimExp v -> PrimExp v -> PrimExp v
(~/~) :: PrimExp v -> PrimExp v -> PrimExp v
(~+~) :: PrimExp v -> PrimExp v -> PrimExp v
(~-~) :: PrimExp v -> PrimExp v -> PrimExp v
(~==~) :: PrimExp v -> PrimExp v -> PrimExp v

Documentation

data PrimExp v Source #

A primitive expression parametrised over the representation of free variables. Note that the Functor, Traversable, and Num instances perform automatic (but simple) constant folding.

Note also that the Num instance assumes OverflowUndef semantics!

Constructors

LeafExp v PrimType
ValueExp PrimValue
BinOpExp BinOp (PrimExp v) (PrimExp v)
CmpOpExp CmpOp (PrimExp v) (PrimExp v)
UnOpExp UnOp (PrimExp v)
ConvOpExp ConvOp (PrimExp v)
FunExp Text [PrimExp v] PrimType

Instances

Instances details

Foldable PrimExp Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fold :: Monoid m => PrimExp m -> m # foldMap :: Monoid m => (a -> m) -> PrimExp a -> m # foldMap' :: Monoid m => (a -> m) -> PrimExp a -> m # foldr :: (a -> b -> b) -> b -> PrimExp a -> b # foldr' :: (a -> b -> b) -> b -> PrimExp a -> b # foldl :: (b -> a -> b) -> b -> PrimExp a -> b # foldl' :: (b -> a -> b) -> b -> PrimExp a -> b # foldr1 :: (a -> a -> a) -> PrimExp a -> a # foldl1 :: (a -> a -> a) -> PrimExp a -> a # toList :: PrimExp a -> [a] # null :: PrimExp a -> Bool # length :: PrimExp a -> Int # elem :: Eq a => a -> PrimExp a -> Bool # maximum :: Ord a => PrimExp a -> a # minimum :: Ord a => PrimExp a -> a # sum :: Num a => PrimExp a -> a # product :: Num a => PrimExp a -> a #
Traversable PrimExp Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods traverse :: Applicative f => (a -> f b) -> PrimExp a -> f (PrimExp b) # sequenceA :: Applicative f => PrimExp (f a) -> f (PrimExp a) # mapM :: Monad m => (a -> m b) -> PrimExp a -> m (PrimExp b) # sequence :: Monad m => PrimExp (m a) -> m (PrimExp a) #
Functor PrimExp Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fmap :: (a -> b) -> PrimExp a -> PrimExp b # (<$) :: a -> PrimExp b -> PrimExp a #
Show v => Show (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods showsPrec :: Int -> PrimExp v -> ShowS # show :: PrimExp v -> String # showList :: [PrimExp v] -> ShowS #
ToExp (PrimExp VName) Source #
Instance details Defined in Futhark.CodeGen.ImpGen Methods toExp :: PrimExp VName -> ImpM rep r op Exp Source # toExp' :: PrimType -> PrimExp VName -> Exp Source #
ToExp v => ToExp (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp.Convert Methods toExp :: MonadBuilder m => PrimExp v -> m (Exp (Rep m)) Source #
FreeIn v => FreeIn (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods freeIn' :: PrimExp v -> FV Source #
Substitute v => Substitute (PrimExp v) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> PrimExp v -> PrimExp v Source #
Eq v => Eq (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods (==) :: PrimExp v -> PrimExp v -> Bool # (/=) :: PrimExp v -> PrimExp v -> Bool #
Ord v => Ord (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods compare :: PrimExp v -> PrimExp v -> Ordering # (<) :: PrimExp v -> PrimExp v -> Bool # (<=) :: PrimExp v -> PrimExp v -> Bool # (>) :: PrimExp v -> PrimExp v -> Bool # (>=) :: PrimExp v -> PrimExp v -> Bool # max :: PrimExp v -> PrimExp v -> PrimExp v # min :: PrimExp v -> PrimExp v -> PrimExp v #
Pretty v => Pretty (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pretty :: PrimExp v -> Doc ann # prettyList :: [PrimExp v] -> Doc ann #

newtype TPrimExp t v Source #

A PrimExp tagged with a phantom type used to provide type-safe construction. Does not guarantee that the underlying expression is actually type correct.

Constructors

TPrimExp
Fields untyped :: PrimExp v

Instances

Instances details

Foldable (TPrimExp t) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fold :: Monoid m => TPrimExp t m -> m # foldMap :: Monoid m => (a -> m) -> TPrimExp t a -> m # foldMap' :: Monoid m => (a -> m) -> TPrimExp t a -> m # foldr :: (a -> b -> b) -> b -> TPrimExp t a -> b # foldr' :: (a -> b -> b) -> b -> TPrimExp t a -> b # foldl :: (b -> a -> b) -> b -> TPrimExp t a -> b # foldl' :: (b -> a -> b) -> b -> TPrimExp t a -> b # foldr1 :: (a -> a -> a) -> TPrimExp t a -> a # foldl1 :: (a -> a -> a) -> TPrimExp t a -> a # toList :: TPrimExp t a -> [a] # null :: TPrimExp t a -> Bool # length :: TPrimExp t a -> Int # elem :: Eq a => a -> TPrimExp t a -> Bool # maximum :: Ord a => TPrimExp t a -> a # minimum :: Ord a => TPrimExp t a -> a # sum :: Num a => TPrimExp t a -> a # product :: Num a => TPrimExp t a -> a #
Traversable (TPrimExp t) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods traverse :: Applicative f => (a -> f b) -> TPrimExp t a -> f (TPrimExp t b) # sequenceA :: Applicative f => TPrimExp t (f a) -> f (TPrimExp t a) # mapM :: Monad m => (a -> m b) -> TPrimExp t a -> m (TPrimExp t b) # sequence :: Monad m => TPrimExp t (m a) -> m (TPrimExp t a) #
Functor (TPrimExp t) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fmap :: (a -> b) -> TPrimExp t a -> TPrimExp t b # (<$) :: a -> TPrimExp t b -> TPrimExp t a #
ToExp (TExp t) Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericC.Code Methods toExp :: TExp t -> SrcLoc -> Exp #
Pretty v => Floating (TPrimExp Half v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pi :: TPrimExp Half v # exp :: TPrimExp Half v -> TPrimExp Half v # log :: TPrimExp Half v -> TPrimExp Half v # sqrt :: TPrimExp Half v -> TPrimExp Half v # (**) :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v # logBase :: TPrimExp Half v -> TPrimExp Half v -> TPrimExp Half v # sin :: TPrimExp Half v -> TPrimExp Half v # cos :: TPrimExp Half v -> TPrimExp Half v # tan :: TPrimExp Half v -> TPrimExp Half v # asin :: TPrimExp Half v -> TPrimExp Half v # acos :: TPrimExp Half v -> TPrimExp Half v # atan :: TPrimExp Half v -> TPrimExp Half v # sinh :: TPrimExp Half v -> TPrimExp Half v # cosh :: TPrimExp Half v -> TPrimExp Half v # tanh :: TPrimExp Half v -> TPrimExp Half v # asinh :: TPrimExp Half v -> TPrimExp Half v # acosh :: TPrimExp Half v -> TPrimExp Half v # atanh :: TPrimExp Half v -> TPrimExp Half v # log1p :: TPrimExp Half v -> TPrimExp Half v # expm1 :: TPrimExp Half v -> TPrimExp Half v # log1pexp :: TPrimExp Half v -> TPrimExp Half v # log1mexp :: TPrimExp Half v -> TPrimExp Half v #
Pretty v => Floating (TPrimExp Double v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pi :: TPrimExp Double v # exp :: TPrimExp Double v -> TPrimExp Double v # log :: TPrimExp Double v -> TPrimExp Double v # sqrt :: TPrimExp Double v -> TPrimExp Double v # (**) :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v # logBase :: TPrimExp Double v -> TPrimExp Double v -> TPrimExp Double v # sin :: TPrimExp Double v -> TPrimExp Double v # cos :: TPrimExp Double v -> TPrimExp Double v # tan :: TPrimExp Double v -> TPrimExp Double v # asin :: TPrimExp Double v -> TPrimExp Double v # acos :: TPrimExp Double v -> TPrimExp Double v # atan :: TPrimExp Double v -> TPrimExp Double v # sinh :: TPrimExp Double v -> TPrimExp Double v # cosh :: TPrimExp Double v -> TPrimExp Double v # tanh :: TPrimExp Double v -> TPrimExp Double v # asinh :: TPrimExp Double v -> TPrimExp Double v # acosh :: TPrimExp Double v -> TPrimExp Double v # atanh :: TPrimExp Double v -> TPrimExp Double v # log1p :: TPrimExp Double v -> TPrimExp Double v # expm1 :: TPrimExp Double v -> TPrimExp Double v # log1pexp :: TPrimExp Double v -> TPrimExp Double v # log1mexp :: TPrimExp Double v -> TPrimExp Double v #
Pretty v => Floating (TPrimExp Float v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pi :: TPrimExp Float v # exp :: TPrimExp Float v -> TPrimExp Float v # log :: TPrimExp Float v -> TPrimExp Float v # sqrt :: TPrimExp Float v -> TPrimExp Float v # (**) :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v # logBase :: TPrimExp Float v -> TPrimExp Float v -> TPrimExp Float v # sin :: TPrimExp Float v -> TPrimExp Float v # cos :: TPrimExp Float v -> TPrimExp Float v # tan :: TPrimExp Float v -> TPrimExp Float v # asin :: TPrimExp Float v -> TPrimExp Float v # acos :: TPrimExp Float v -> TPrimExp Float v # atan :: TPrimExp Float v -> TPrimExp Float v # sinh :: TPrimExp Float v -> TPrimExp Float v # cosh :: TPrimExp Float v -> TPrimExp Float v # tanh :: TPrimExp Float v -> TPrimExp Float v # asinh :: TPrimExp Float v -> TPrimExp Float v # acosh :: TPrimExp Float v -> TPrimExp Float v # atanh :: TPrimExp Float v -> TPrimExp Float v # log1p :: TPrimExp Float v -> TPrimExp Float v # expm1 :: TPrimExp Float v -> TPrimExp Float v # log1pexp :: TPrimExp Float v -> TPrimExp Float v # log1mexp :: TPrimExp Float v -> TPrimExp Float v #
(NumExp t, Pretty v) => Num (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods (+) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v # (-) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v # (*) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v # negate :: TPrimExp t v -> TPrimExp t v # abs :: TPrimExp t v -> TPrimExp t v # signum :: TPrimExp t v -> TPrimExp t v # fromInteger :: Integer -> TPrimExp t v #
(FloatExp t, Pretty v) => Fractional (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods (/) :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v # recip :: TPrimExp t v -> TPrimExp t v # fromRational :: Rational -> TPrimExp t v #
Show v => Show (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods showsPrec :: Int -> TPrimExp t v -> ShowS # show :: TPrimExp t v -> String # showList :: [TPrimExp t v] -> ShowS #
ToExp v => ToExp (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp.Convert Methods toExp :: MonadBuilder m => TPrimExp t v -> m (Exp (Rep m)) Source #
FreeIn v => FreeIn (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods freeIn' :: TPrimExp t v -> FV Source #
Substitute v => Substitute (TPrimExp t v) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> TPrimExp t v -> TPrimExp t v Source #
(IntExp t, Pretty v) => IntegralExp (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods quot :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source # rem :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source # div :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source # mod :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source # sgn :: TPrimExp t v -> Maybe Int Source # pow :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source # divUp :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source # nextMul :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source #
Eq v => Eq (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods (==) :: TPrimExp t v -> TPrimExp t v -> Bool # (/=) :: TPrimExp t v -> TPrimExp t v -> Bool #
Ord v => Ord (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods compare :: TPrimExp t v -> TPrimExp t v -> Ordering # (<) :: TPrimExp t v -> TPrimExp t v -> Bool # (<=) :: TPrimExp t v -> TPrimExp t v -> Bool # (>) :: TPrimExp t v -> TPrimExp t v -> Bool # (>=) :: TPrimExp t v -> TPrimExp t v -> Bool # max :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v # min :: TPrimExp t v -> TPrimExp t v -> TPrimExp t v #
Pretty v => Pretty (TPrimExp t v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods pretty :: TPrimExp t v -> Doc ann # prettyList :: [TPrimExp t v] -> Doc ann #

isInt8 :: PrimExp v -> TPrimExp Int8 v Source #

This expression is of type Int8.

isInt16 :: PrimExp v -> TPrimExp Int16 v Source #

This expression is of type Int16.

isInt32 :: PrimExp v -> TPrimExp Int32 v Source #

This expression is of type Int32.

isInt64 :: PrimExp v -> TPrimExp Int64 v Source #

This expression is of type Int64.

isBool :: PrimExp v -> TPrimExp Bool v Source #

This is a boolean expression.

isF16 :: PrimExp v -> TPrimExp Half v Source #

This expression is of type Half.

isF32 :: PrimExp v -> TPrimExp Float v Source #

This expression is of type Float.

isF64 :: PrimExp v -> TPrimExp Double v Source #

This expression is of type Double.

evalPrimExp :: (Pretty v, MonadFail m) => (v -> m PrimValue) -> PrimExp v -> m PrimValue Source #

Evaluate a PrimExp in the given monad. Invokes fail on type errors.

primExpType :: PrimExp v -> PrimType Source #

The type of values returned by a PrimExp. This function returning does not imply that the PrimExp is type-correct.

primExpSizeAtLeast :: Int -> PrimExp v -> Bool Source #

True if the PrimExp has at least this many nodes. This can be much more efficient than comparing with length for large PrimExps, as this function is lazy.

coerceIntPrimExp :: IntType -> PrimExp v -> PrimExp v Source #

If the given PrimExp is a constant of the wrong integer type, coerce it to the given integer type. This is a workaround for an issue in the Num instance.

leafExpTypes :: Ord a => PrimExp a -> Set (a, PrimType) Source #

Produce a mapping from the leaves of the PrimExp to their designated types.

true :: TPrimExp Bool v Source #

Boolean-valued PrimExps.

false :: TPrimExp Bool v Source #

Boolean-valued PrimExps.

fromBool :: Bool -> TPrimExp Bool v Source #

Conversion from Bool to TPrimExp

constFoldPrimExp :: PrimExp v -> PrimExp v Source #

Perform quick and dirty constant folding on the top level of a PrimExp. This is necessary because we want to consider e.g. equality modulo constant folding.

Construction

module Language.Futhark.Primitive

class NumExp t where Source #

The class of numeric types that can be used for constructing TPrimExps.

Methods

fromInteger' :: Integer -> TPrimExp t v Source #

Construct a typed expression from an integer.

fromBoolExp :: TPrimExp Bool v -> TPrimExp t v Source #

Construct a numeric expression from a boolean expression. This can be used to encode arithmetic control flow.

Instances

Instances details

NumExp Int16 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int16 v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Int16 v Source #
NumExp Int32 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int32 v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Int32 v Source #
NumExp Int64 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int64 v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Int64 v Source #
NumExp Int8 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int8 v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Int8 v Source #
NumExp Half Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Half v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Half v Source #
NumExp Double Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Double v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Double v Source #
NumExp Float Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Float v Source # fromBoolExp :: TPrimExp Bool v -> TPrimExp Float v Source #

class NumExp t => IntExp t where Source #

The class of integer types that can be used for constructing TPrimExps.

Methods

expIntType :: TPrimExp t v -> IntType Source #

The type of an expression, known to be an integer type.

Instances

Instances details

IntExp Int16 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods expIntType :: TPrimExp Int16 v -> IntType Source #
IntExp Int32 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods expIntType :: TPrimExp Int32 v -> IntType Source #
IntExp Int64 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods expIntType :: TPrimExp Int64 v -> IntType Source #
IntExp Int8 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods expIntType :: TPrimExp Int8 v -> IntType Source #

class NumExp t => FloatExp t where Source #

The class of floating-point types that can be used for constructing TPrimExps.

Methods

fromRational' :: Rational -> TPrimExp t v Source #

Construct a typed expression from a rational.

expFloatType :: TPrimExp t v -> FloatType Source #

The type of an expression, known to be a floating-point type.

Instances

Instances details

FloatExp Half Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromRational' :: Rational -> TPrimExp Half v Source # expFloatType :: TPrimExp Half v -> FloatType Source #
FloatExp Double Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromRational' :: Rational -> TPrimExp Double v Source # expFloatType :: TPrimExp Double v -> FloatType Source #
FloatExp Float Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromRational' :: Rational -> TPrimExp Float v Source # expFloatType :: TPrimExp Float v -> FloatType Source #

sExt :: IntType -> PrimExp v -> PrimExp v Source #

Untyped smart constructor for sign extension that does a bit of constant folding.

zExt :: IntType -> PrimExp v -> PrimExp v Source #

Untyped smart constructor for zero extension that does a bit of constant folding.

(.&&.) :: Eq v => TPrimExp Bool v -> TPrimExp Bool v -> TPrimExp Bool v infixr 3 Source #

Lifted logical conjunction.

(.||.) :: Eq v => TPrimExp Bool v -> TPrimExp Bool v -> TPrimExp Bool v infixr 2 Source #

Lifted logical conjunction.

(.<.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4 Source #

Lifted relational operators; assuming signed numbers in case of integers.

(.<=.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4 Source #

Lifted relational operators; assuming signed numbers in case of integers.

(.>.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4 Source #

Lifted relational operators; assuming signed numbers in case of integers.

(.>=.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4 Source #

Lifted relational operators; assuming signed numbers in case of integers.

(.==.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp Bool v infix 4 Source #

Lifted relational operators; assuming signed numbers in case of integers.

(.&.) :: Eq v => TPrimExp t v -> TPrimExp t v -> TPrimExp t v Source #