Futhark.Analysis.PrimExp

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

Documentation

data PrimExp v

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 String [PrimExp v] PrimType

Instances

Functor PrimExp

Defined in Futhark.Analysis.PrimExp

Methods

fmap :: (a -> b) -> PrimExp a -> PrimExp b

(<$) :: a -> PrimExp b -> PrimExp a

Foldable PrimExp

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

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)

Eq v => Eq (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

(==) :: PrimExp v -> PrimExp v -> Bool

(/=) :: PrimExp v -> PrimExp v -> Bool

Pretty v => Fractional (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

(/) :: PrimExp v -> PrimExp v -> PrimExp v

recip :: PrimExp v -> PrimExp v

fromRational :: Rational -> PrimExp v

Pretty v => Num (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

(+) :: PrimExp v -> PrimExp v -> PrimExp v

(-) :: PrimExp v -> PrimExp v -> PrimExp v

(*) :: PrimExp v -> PrimExp v -> PrimExp v

negate :: PrimExp v -> PrimExp v

abs :: PrimExp v -> PrimExp v

signum :: PrimExp v -> PrimExp v

fromInteger :: Integer -> PrimExp v

Ord v => Ord (PrimExp v)

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

Show v => Show (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

showsPrec :: Int -> PrimExp v -> ShowS

show :: PrimExp v -> String

showList :: [PrimExp v] -> ShowS

Pretty v => Pretty (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

ppr :: PrimExp v -> Doc

pprPrec :: Int -> PrimExp v -> Doc

pprList :: [PrimExp v] -> Doc

Pretty v => IntegralExp (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

quot :: PrimExp v -> PrimExp v -> PrimExp v

rem :: PrimExp v -> PrimExp v -> PrimExp v

div :: PrimExp v -> PrimExp v -> PrimExp v

mod :: PrimExp v -> PrimExp v -> PrimExp v

sgn :: PrimExp v -> Maybe Int

fromInt8 :: Int8 -> PrimExp v

fromInt16 :: Int16 -> PrimExp v

fromInt32 :: Int32 -> PrimExp v

fromInt64 :: Int64 -> PrimExp v

FreeIn v => FreeIn (PrimExp v)

Defined in Futhark.Analysis.PrimExp

Methods

freeIn' :: PrimExp v -> FV

Substitute v => Substitute (PrimExp v)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PrimExp v -> PrimExp v

ToExp v => ToExp (PrimExp v)

Defined in Futhark.Analysis.PrimExp.Convert

Methods

toExp :: MonadBinder m => PrimExp v -> m (Exp (Lore m))

ToExp (PrimExp VName)

Defined in Futhark.CodeGen.ImpGen

Methods

toExp :: PrimExp VName -> ImpM lore r op Exp

toExp' :: PrimType -> PrimExp VName -> Exp

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

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

primExpType :: PrimExp v -> PrimType

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

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

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)

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

true :: PrimExp v

Boolean-valued PrimExps.

false :: PrimExp v

Boolean-valued PrimExps.

constFoldPrimExp :: PrimExp v -> PrimExp v

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.

module Futhark.IR.Primitive

(.&&.) :: PrimExp v -> PrimExp v -> PrimExp v infixr 3

Lifted logical conjunction.

(.||.) :: PrimExp v -> PrimExp v -> PrimExp v infixr 2

Lifted logical conjunction.

(.<.) :: PrimExp v -> PrimExp v -> PrimExp v infix 4

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

(.<=.) :: PrimExp v -> PrimExp v -> PrimExp v infix 4

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

(.>.) :: PrimExp v -> PrimExp v -> PrimExp v infix 4

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

(.>=.) :: PrimExp v -> PrimExp v -> PrimExp v infix 4

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

(.==.) :: PrimExp v -> PrimExp v -> PrimExp v infix 4

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

(.&.) :: PrimExp v -> PrimExp v -> PrimExp v

Lifted bitwise operators.

(.|.) :: PrimExp v -> PrimExp v -> PrimExp v

Lifted bitwise operators.

(.^.) :: PrimExp v -> PrimExp v -> PrimExp v

Lifted bitwise operators.