llvm-0.6.6.0: Bindings to the LLVM compiler toolkit. Source code Contents Index

LLVM.Util.Arithmetic

Synopsis

type TValue r a = CodeGenFunction r (Value a) class CmpRet a b => Cmp a b | a -> b where cmp :: IntPredicate -> Value a -> Value a -> TValue r b (%==) :: Cmp a b => TValue r a -> TValue r a -> TValue r b (%/=) :: Cmp a b => TValue r a -> TValue r a -> TValue r b (%<) :: Cmp a b => TValue r a -> TValue r a -> TValue r b (%<=) :: Cmp a b => TValue r a -> TValue r a -> TValue r b (%>) :: Cmp a b => TValue r a -> TValue r a -> TValue r b (%>=) :: Cmp a b => TValue r a -> TValue r a -> TValue r b (%&&) :: TValue r Bool -> TValue r Bool -> TValue r Bool (%||) :: TValue r Bool -> TValue r Bool -> TValue r Bool (?) :: IsFirstClass a => TValue r Bool -> (TValue r a, TValue r a) -> TValue r a (??) :: (IsFirstClass a, CmpRet a b) => TValue r b -> (TValue r a, TValue r a) -> TValue r a retrn :: Ret (Value a) r => TValue r a -> CodeGenFunction r () set :: TValue r a -> CodeGenFunction r (TValue r a) class ArithFunction a b | a -> b, b -> a arithFunction :: ArithFunction a b => a -> b class (UncurryN a (a1 -> CodeGenFunction r b1), LiftTuple r a1 b, UncurryN a2 (b -> CodeGenFunction r b1)) => UnwrapArgs a a1 b1 b a2 r | a -> a1 b1, a1 b1 -> a, a1 -> b, b -> a1, a2 -> b b1, b b1 -> a2 toArithFunction :: (CallArgs f g, UnwrapArgs a a1 b1 b g r) => Function f -> a recursiveFunction :: (CallArgs a g, UnwrapArgs a11 a1 b1 b g r, FunctionArgs a a2 (CodeGenFunction r1 ()), ArithFunction a3 a2, IsFunction a) => (a11 -> a3) -> CodeGenModule (Function a) class CallIntrinsic a

Documentation

type TValue r a = CodeGenFunction r (Value a) Source

Synonym for CodeGenFunction r (Value a).

class CmpRet a b => Cmp a b | a -> b where Source

Methods cmp :: IntPredicate -> Value a -> Value a -> TValue r b Source Instances Cmp Bool Bool Cmp Double Bool Cmp Double Bool Cmp Float Bool Cmp Float Bool Cmp Int8 Bool Cmp Int8 Bool Cmp Int16 Bool Cmp Int16 Bool Cmp Int32 Bool Cmp Int32 Bool Cmp Int64 Bool Cmp Int64 Bool Cmp Word8 Bool Cmp Word8 Bool Cmp Word16 Bool Cmp Word16 Bool Cmp Word32 Bool Cmp Word32 Bool Cmp Word64 Bool Cmp Word64 Bool Cmp FP128 Bool Cmp FP128 Bool IsPowerOf2 n => Cmp (Vector n Word32) (Vector n Bool) IsPowerOf2 n => Cmp (Vector n Float) (Vector n Bool)

(%==) :: Cmp a b => TValue r a -> TValue r a -> TValue r b Source

(%/=) :: Cmp a b => TValue r a -> TValue r a -> TValue r b Source

Comparison functions.

(%<) :: Cmp a b => TValue r a -> TValue r a -> TValue r b Source

(%<=) :: Cmp a b => TValue r a -> TValue r a -> TValue r b Source

(%>) :: Cmp a b => TValue r a -> TValue r a -> TValue r b Source

(%>=) :: Cmp a b => TValue r a -> TValue r a -> TValue r b Source

(%&&) :: TValue r Bool -> TValue r Bool -> TValue r Bool Source

Lazy and.

(%||) :: TValue r Bool -> TValue r Bool -> TValue r Bool Source

Lazy or.

(?) :: IsFirstClass a => TValue r Bool -> (TValue r a, TValue r a) -> TValue r a Source

Conditional, returns first element of the pair when condition is true, otherwise second.

(??) :: (IsFirstClass a, CmpRet a b) => TValue r b -> (TValue r a, TValue r a) -> TValue r a Source

retrn :: Ret (Value a) r => TValue r a -> CodeGenFunction r () Source

Return a value from an arithFunction.

set :: TValue r a -> CodeGenFunction r (TValue r a) Source

Use x <- set $ ... to make a binding.

class ArithFunction a b | a -> b, b -> a Source

Instances ArithFunction b b' => ArithFunction (CodeGenFunction r a -> b) (a -> b') Ret a r => ArithFunction (CodeGenFunction r a) (CodeGenFunction r ())

arithFunction :: ArithFunction a b => a -> b Source

Unlift a function with TValue to have Value arguments.

class (UncurryN a (a1 -> CodeGenFunction r b1), LiftTuple r a1 b, UncurryN a2 (b -> CodeGenFunction r b1)) => UnwrapArgs a a1 b1 b a2 r | a -> a1 b1, a1 b1 -> a, a1 -> b, b -> a1, a2 -> b b1, b b1 -> a2 Source

toArithFunction :: (CallArgs f g, UnwrapArgs a a1 b1 b g r) => Function f -> a Source

Lift a function from having Value arguments to having TValue arguments.

recursiveFunction :: (CallArgs a g, UnwrapArgs a11 a1 b1 b g r, FunctionArgs a a2 (CodeGenFunction r1 ()), ArithFunction a3 a2, IsFunction a) => (a11 -> a3) -> CodeGenModule (Function a) Source

Define a recursive arithFunction, gets pased itself as the first argument.

class CallIntrinsic a Source

Instances CallIntrinsic Double CallIntrinsic Float (IsPowerOf2 n, IsPrimitive a, CallIntrinsic a) => CallIntrinsic (Vector n a)

Produced by Haddock version 2.4.2