LLVM.Extra.FastMath

Documentation

data NoNaNs

Constructors

NoNaNs

Instances

Show NoNaNs

Defined in LLVM.Extra.FastMath

Methods

showsPrec :: Int -> NoNaNs -> ShowS

show :: NoNaNs -> String

showList :: [NoNaNs] -> ShowS

Eq NoNaNs

Defined in LLVM.Extra.FastMath

Methods

(==) :: NoNaNs -> NoNaNs -> Bool

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

Flags NoNaNs

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy NoNaNs -> Bool -> Value a -> CodeGenFunction r ()

data NoInfs

Constructors

NoInfs

Instances

Show NoInfs

Defined in LLVM.Extra.FastMath

Methods

showsPrec :: Int -> NoInfs -> ShowS

show :: NoInfs -> String

showList :: [NoInfs] -> ShowS

Eq NoInfs

Defined in LLVM.Extra.FastMath

Methods

(==) :: NoInfs -> NoInfs -> Bool

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

Flags NoInfs

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy NoInfs -> Bool -> Value a -> CodeGenFunction r ()

data NoSignedZeros

Constructors

NoSignedZeros

Instances

Show NoSignedZeros

Defined in LLVM.Extra.FastMath

Methods

showsPrec :: Int -> NoSignedZeros -> ShowS

show :: NoSignedZeros -> String

showList :: [NoSignedZeros] -> ShowS

Eq NoSignedZeros

Defined in LLVM.Extra.FastMath

Methods

(==) :: NoSignedZeros -> NoSignedZeros -> Bool

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

Flags NoSignedZeros

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy NoSignedZeros -> Bool -> Value a -> CodeGenFunction r ()

data AllowReciprocal

Constructors

AllowReciprocal

Instances

Show AllowReciprocal

Defined in LLVM.Extra.FastMath

Methods

showsPrec :: Int -> AllowReciprocal -> ShowS

show :: AllowReciprocal -> String

showList :: [AllowReciprocal] -> ShowS

Eq AllowReciprocal

Defined in LLVM.Extra.FastMath

Methods

(==) :: AllowReciprocal -> AllowReciprocal -> Bool

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

Flags AllowReciprocal

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy AllowReciprocal -> Bool -> Value a -> CodeGenFunction r ()

data Fast

Constructors

Fast

Instances

Show Fast

Defined in LLVM.Extra.FastMath

Methods

showsPrec :: Int -> Fast -> ShowS

show :: Fast -> String

showList :: [Fast] -> ShowS

Eq Fast

Defined in LLVM.Extra.FastMath

Methods

(==) :: Fast -> Fast -> Bool

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

Flags Fast

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy Fast -> Bool -> Value a -> CodeGenFunction r ()

class Flags flags where

Methods

setFlags :: IsFloating a => Proxy flags -> Bool -> Value a -> CodeGenFunction r ()

Instances

Flags AllowReciprocal

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy AllowReciprocal -> Bool -> Value a -> CodeGenFunction r ()

Flags Fast

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy Fast -> Bool -> Value a -> CodeGenFunction r ()

Flags NoInfs

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy NoInfs -> Bool -> Value a -> CodeGenFunction r ()

Flags NoNaNs

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy NoNaNs -> Bool -> Value a -> CodeGenFunction r ()

Flags NoSignedZeros

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy NoSignedZeros -> Bool -> Value a -> CodeGenFunction r ()

(Flags f0, Flags f1) => Flags (f0, f1)

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy (f0, f1) -> Bool -> Value a -> CodeGenFunction r ()

(Flags f0, Flags f1, Flags f2) => Flags (f0, f1, f2)

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy (f0, f1, f2) -> Bool -> Value a -> CodeGenFunction r ()

(Flags f0, Flags f1, Flags f2, Flags f3) => Flags (f0, f1, f2, f3)

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy (f0, f1, f2, f3) -> Bool -> Value a -> CodeGenFunction r ()

(Flags f0, Flags f1, Flags f2, Flags f3, Flags f4) => Flags (f0, f1, f2, f3, f4)

Defined in LLVM.Extra.FastMath

Methods

setFlags :: IsFloating a => Proxy (f0, f1, f2, f3, f4) -> Bool -> Value a -> CodeGenFunction r ()

newtype Number flags a

Constructors

Number

Fields

• deconsNumber :: a

Instances

Storable a => Storable (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

sizeOf :: Number flags a -> Int

alignment :: Number flags a -> Int

peekElemOff :: Ptr (Number flags a) -> Int -> IO (Number flags a)

pokeElemOff :: Ptr (Number flags a) -> Int -> Number flags a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Number flags a)

pokeByteOff :: Ptr b -> Int -> Number flags a -> IO ()

peek :: Ptr (Number flags a) -> IO (Number flags a)

poke :: Ptr (Number flags a) -> Number flags a -> IO ()

Floating a => Floating (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

pi :: Number flags a

exp :: Number flags a -> Number flags a

log :: Number flags a -> Number flags a

sqrt :: Number flags a -> Number flags a

(**) :: Number flags a -> Number flags a -> Number flags a

logBase :: Number flags a -> Number flags a -> Number flags a

sin :: Number flags a -> Number flags a

cos :: Number flags a -> Number flags a

tan :: Number flags a -> Number flags a

asin :: Number flags a -> Number flags a

acos :: Number flags a -> Number flags a

atan :: Number flags a -> Number flags a

sinh :: Number flags a -> Number flags a

cosh :: Number flags a -> Number flags a

tanh :: Number flags a -> Number flags a

asinh :: Number flags a -> Number flags a

acosh :: Number flags a -> Number flags a

atanh :: Number flags a -> Number flags a

log1p :: Number flags a -> Number flags a

expm1 :: Number flags a -> Number flags a

log1pexp :: Number flags a -> Number flags a

log1mexp :: Number flags a -> Number flags a

Num a => Num (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

(+) :: Number flags a -> Number flags a -> Number flags a

(-) :: Number flags a -> Number flags a -> Number flags a

(*) :: Number flags a -> Number flags a -> Number flags a

negate :: Number flags a -> Number flags a

abs :: Number flags a -> Number flags a

signum :: Number flags a -> Number flags a

fromInteger :: Integer -> Number flags a

Fractional a => Fractional (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

(/) :: Number flags a -> Number flags a -> Number flags a

recip :: Number flags a -> Number flags a

fromRational :: Rational -> Number flags a

Show a => Show (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

showsPrec :: Int -> Number flags a -> ShowS

show :: Number flags a -> String

showList :: [Number flags a] -> ShowS

Eq a => Eq (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

(==) :: Number flags a -> Number flags a -> Bool

(/=) :: Number flags a -> Number flags a -> Bool

Ord a => Ord (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

compare :: Number flags a -> Number flags a -> Ordering

(<) :: Number flags a -> Number flags a -> Bool

(<=) :: Number flags a -> Number flags a -> Bool

(>) :: Number flags a -> Number flags a -> Bool

(>=) :: Number flags a -> Number flags a -> Bool

max :: Number flags a -> Number flags a -> Number flags a

min :: Number flags a -> Number flags a -> Number flags a

(Flags flags, NiceValue a, Additive a) => Additive (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

add :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

sub :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

neg :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceValue a, Algebraic a) => Algebraic (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

sqrt :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

NiceValue a => C (Number flags a)

Defined in LLVM.Extra.FastMath

Associated Types

type Repr (Number flags a)

Methods

cons :: Number flags a -> T (Number flags a)

undef :: T (Number flags a)

zero :: T (Number flags a)

phi :: BasicBlock -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

addPhi :: BasicBlock -> T (Number flags a) -> T (Number flags a) -> CodeGenFunction r ()

(Flags flags, NiceValue a, Comparison a) => Comparison (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

cmp :: CmpPredicate -> T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T Bool)

(Flags flags, Compose a) => Compose (Number flags a)

Defined in LLVM.Extra.FastMath

Associated Types

type Composed (Number flags a)

Methods

compose :: Number flags a -> T (Composed (Number flags a))

(Flags flags, Decompose pa) => Decompose (Number flags pa)

Defined in LLVM.Extra.FastMath

Methods

decompose :: Number flags pa -> T (PatternTuple (Number flags pa)) -> Decomposed T (Number flags pa)

(Flags flags, NiceValue a, Field a) => Field (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fdiv :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceValue a, FloatingComparison a) => FloatingComparison (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fcmp :: FPPredicate -> T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T Bool)

(Flags flags, NiceValue a, Fraction a) => Fraction (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

truncate :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

fraction :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceValue a, IntegerConstant a) => IntegerConstant (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fromInteger' :: Integer -> T (Number flags a)

(Flags flags, NiceValue a, a ~ Scalar v, NiceValue v, PseudoModule v) => PseudoModule (Number flags v)

Defined in LLVM.Extra.FastMath

Methods

scale :: T (Scalar (Number flags v)) -> T (Number flags v) -> CodeGenFunction r (T (Number flags v))

(Flags flags, NiceValue a, PseudoRing a) => PseudoRing (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

mul :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceValue a, RationalConstant a) => RationalConstant (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fromRational' :: Rational -> T (Number flags a)

(Flags flags, NiceValue a, Real a) => Real (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

min :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

max :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

abs :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

signum :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceValue a, Select a) => Select (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

select :: T Bool -> T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceValue a, Transcendental a) => Transcendental (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

pi :: CodeGenFunction r (T (Number flags a))

sin :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

cos :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

exp :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

log :: T (Number flags a) -> CodeGenFunction r (T (Number flags a))

pow :: T (Number flags a) -> T (Number flags a) -> CodeGenFunction r (T (Number flags a))

(Flags flags, NiceVector a, Additive a) => Additive (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

add :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

sub :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

neg :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, Algebraic a) => Algebraic (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

sqrt :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a) => C (Number flags a)

Defined in LLVM.Extra.FastMath

Associated Types

type Repr n (Number flags a)

Methods

cons :: Positive n => Vector n (Number flags a) -> T n (Number flags a)

undef :: Positive n => T n (Number flags a)

zero :: Positive n => T n (Number flags a)

phi :: Positive n => BasicBlock -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

addPhi :: Positive n => BasicBlock -> T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r ()

shuffle :: (Positive n, Positive m) => ConstValue (Vector m Word32) -> T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T m (Number flags a))

extract :: Positive n => Value Word32 -> T n (Number flags a) -> CodeGenFunction r (T (Number flags a))

insert :: Positive n => Value Word32 -> T (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, Comparison a) => Comparison (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

cmp :: Positive n => CmpPredicate -> T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n Bool)

(Flags flags, NiceVector a, Field a) => Field (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fdiv :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, FloatingComparison a) => FloatingComparison (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fcmp :: Positive n => FPPredicate -> T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n Bool)

(Flags flags, NiceVector a, Fraction a) => Fraction (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

truncate :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

fraction :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, IntegerConstant a) => IntegerConstant (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fromInteger' :: Positive n => Integer -> T n (Number flags a)

(Flags flags, NiceVector a, PseudoRing a) => PseudoRing (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

mul :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, RationalConstant a) => RationalConstant (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

fromRational' :: Positive n => Rational -> T n (Number flags a)

(Flags flags, NiceVector a, Real a) => Real (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

min :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

max :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

abs :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

signum :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, Select a) => Select (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

select :: Positive n => T n Bool -> T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

(Flags flags, NiceVector a, Transcendental a) => Transcendental (Number flags a)

Defined in LLVM.Extra.FastMath

Methods

pi :: Positive n => CodeGenFunction r (T n (Number flags a))

sin :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

cos :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

exp :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

log :: Positive n => T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

pow :: Positive n => T n (Number flags a) -> T n (Number flags a) -> CodeGenFunction r (T n (Number flags a))

type Decomposed f (Number flags pa)

Defined in LLVM.Extra.FastMath

type Decomposed f (Number flags pa) = Number flags (Decomposed f pa)

type Repr n (Number flags a)

Defined in LLVM.Extra.FastMath

type Repr n (Number flags a) = Repr n a

type Composed (Number flags a)

Defined in LLVM.Extra.FastMath

type Composed (Number flags a) = Number flags (Composed a)

type PatternTuple (Number flags pa)

Defined in LLVM.Extra.FastMath

type PatternTuple (Number flags pa) = Number flags (PatternTuple pa)

type Repr (Number flags a)

Defined in LLVM.Extra.FastMath

type Repr (Number flags a) = Repr a

type Scalar (Number flags a)

Defined in LLVM.Extra.FastMath

type Scalar (Number flags a) = Number flags (Scalar a)

getNumber :: flags -> Number flags a -> a

nvNumber :: T a -> T (Number flags a)

nvDenumber :: T (Number flags a) -> T a

mvNumber :: T a -> T (Number flags a)

Deprecated: Use nvNumber instead

mvDenumber :: T (Number flags a) -> T a

Deprecated: Use nvDenumber instead

class C a => NiceValue a where

Minimal complete definition

setNiceValueFlags | setMultiValueFlags

Methods

setNiceValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags a) -> CodeGenFunction r ()

setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags a) -> CodeGenFunction r ()

Deprecated: use setNiceValueFlags instead

Instances

NiceValue Double

Defined in LLVM.Extra.FastMath

Methods

setNiceValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags Double) -> CodeGenFunction r ()

setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags Double) -> CodeGenFunction r ()

NiceValue Float

Defined in LLVM.Extra.FastMath

Methods

setNiceValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags Float) -> CodeGenFunction r ()

setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags Float) -> CodeGenFunction r ()

attachNiceValueFlags :: (Flags flags, NiceValue a) => Id (CodeGenFunction r (T (Number flags a)))

attachMultiValueFlags :: (Flags flags, NiceValue a) => Id (CodeGenFunction r (T (Number flags a)))

Deprecated: Use attachNiceValueFlags instead.

liftNumberM :: (m ~ CodeGenFunction r, Flags flags, NiceValue b) => (T a -> m (T b)) -> T (Number flags a) -> m (T (Number flags b))

liftNumberM2 :: (m ~ CodeGenFunction r, Flags flags, NiceValue c) => (T a -> T b -> m (T c)) -> T (Number flags a) -> T (Number flags b) -> m (T (Number flags c))

nvecNumber :: T n a -> T n (Number flags a)

nvecDenumber :: T n (Number flags a) -> T n a

mvecNumber :: T n a -> T n (Number flags a)

Deprecated: Use nvecNumber instead

mvecDenumber :: T n (Number flags a) -> T n a

Deprecated: Use nvecDenumber instead

class (NiceValue a, C a) => NiceVector a where

Minimal complete definition

setNiceVectorFlags | setMultiVectorFlags

Methods

setNiceVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags a) -> CodeGenFunction r ()

setMultiVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags a) -> CodeGenFunction r ()

Deprecated: use setNiceVectorFlags instead

Instances

NiceVector Double

Defined in LLVM.Extra.FastMath

Methods

setNiceVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags Double) -> CodeGenFunction r ()

setMultiVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags Double) -> CodeGenFunction r ()

NiceVector Float

Defined in LLVM.Extra.FastMath

Methods

setNiceVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags Float) -> CodeGenFunction r ()

setMultiVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags Float) -> CodeGenFunction r ()

attachNiceVectorFlags :: (Positive n, Flags flags, NiceVector a) => Id (CodeGenFunction r (T n (Number flags a)))

liftNiceVectorM :: (m ~ CodeGenFunction r, Positive n, Flags flags, NiceVector b) => (T n a -> m (T n b)) -> T n (Number flags a) -> m (T n (Number flags b))

liftNiceVectorM2 :: (m ~ CodeGenFunction r, Positive n, Flags flags, NiceVector c) => (T n a -> T n b -> m (T n c)) -> T n (Number flags a) -> T n (Number flags b) -> m (T n (Number flags c))

attachMultiVectorFlags :: (Positive n, Flags flags, NiceVector a) => Id (CodeGenFunction r (T n (Number flags a)))

Deprecated: Use attachNiceVectorFlags instead.

liftMultiVectorM :: (m ~ CodeGenFunction r, Positive n, Flags flags, NiceVector b) => (T n a -> m (T n b)) -> T n (Number flags a) -> m (T n (Number flags b))

Deprecated: Use liftNiceVectorM instead.

liftMultiVectorM2 :: (m ~ CodeGenFunction r, Positive n, Flags flags, NiceVector c) => (T n a -> T n b -> m (T n c)) -> T n (Number flags a) -> T n (Number flags b) -> m (T n (Number flags c))

Deprecated: Use liftNiceVectorM2 instead.

class Tuple a where

Methods

setTupleFlags :: Flags flags => Proxy flags -> Bool -> a -> CodeGenFunction r ()

Instances

IsFloating a => Tuple (Value a)

Defined in LLVM.Extra.FastMath

Methods

setTupleFlags :: Flags flags => Proxy flags -> Bool -> Value a -> CodeGenFunction r ()

newtype Context flags a

Constructors

Context a

Instances

(Flags flags, Tuple a, Additive a) => Additive (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

zero :: Context flags a

add :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

sub :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

neg :: Context flags a -> CodeGenFunction r (Context flags a)

(Flags flags, Tuple a, Algebraic a) => Algebraic (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

sqrt :: Context flags a -> CodeGenFunction r (Context flags a)

(Flags flags, Tuple a, Comparison a) => Comparison (Context flags a)

Defined in LLVM.Extra.FastMath

Associated Types

type CmpResult (Context flags a)

Methods

cmp :: CmpPredicate -> Context flags a -> Context flags a -> CodeGenFunction r (CmpResult (Context flags a))

(Flags flags, Tuple v, Field v) => Field (Context flags v)

Defined in LLVM.Extra.FastMath

Methods

fdiv :: Context flags v -> Context flags v -> CodeGenFunction r (Context flags v)

(Flags flags, Tuple a, FloatingComparison a) => FloatingComparison (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

fcmp :: FPPredicate -> Context flags a -> Context flags a -> CodeGenFunction r (CmpResult (Context flags a))

(Flags flags, Tuple a, Fraction a) => Fraction (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

truncate :: Context flags a -> CodeGenFunction r (Context flags a)

fraction :: Context flags a -> CodeGenFunction r (Context flags a)

(Flags flags, Tuple a, IntegerConstant a) => IntegerConstant (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

fromInteger' :: Integer -> Context flags a

(Flags flags, PseudoModule v, Tuple v, Scalar v ~ a, Tuple a) => PseudoModule (Context flags v)

Defined in LLVM.Extra.FastMath

Methods

scale :: Scalar (Context flags v) -> Context flags v -> CodeGenFunction r (Context flags v)

(Flags flags, PseudoRing a, Tuple a) => PseudoRing (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

mul :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

(Flags flags, Tuple a, RationalConstant a) => RationalConstant (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

fromRational' :: Rational -> Context flags a

(Flags flags, Tuple a, Real a) => Real (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

min :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

max :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

abs :: Context flags a -> CodeGenFunction r (Context flags a)

signum :: Context flags a -> CodeGenFunction r (Context flags a)

(Flags flags, Tuple a, Transcendental a) => Transcendental (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

pi :: CodeGenFunction r (Context flags a)

sin :: Context flags a -> CodeGenFunction r (Context flags a)

cos :: Context flags a -> CodeGenFunction r (Context flags a)

exp :: Context flags a -> CodeGenFunction r (Context flags a)

log :: Context flags a -> CodeGenFunction r (Context flags a)

pow :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

(Flags flags, Zero a, Tuple a) => Zero (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

zero :: Context flags a

type CmpResult (Context flags a)

Defined in LLVM.Extra.FastMath

type CmpResult (Context flags a) = CmpResult a

type Scalar (Context flags a)

Defined in LLVM.Extra.FastMath

type Scalar (Context flags a) = Context flags (Scalar a)

attachTupleFlags :: (Flags flags, Tuple a) => Id (CodeGenFunction r (Context flags a))

liftContext :: (Flags flags, Tuple b) => (a -> CodeGenFunction r b) -> Context flags a -> CodeGenFunction r (Context flags b)

liftContext2 :: (Flags flags, Tuple c) => (a -> b -> CodeGenFunction r c) -> Context flags a -> Context flags b -> CodeGenFunction r (Context flags c)