LLVM.Extra.Arithmetic

Documentation

add :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)

sub :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)

inc :: (IsArithmetic a, IsConst a, Num a) => Value a -> CodeGenFunction r (Value a)

dec :: (IsArithmetic a, IsConst a, Num a) => Value a -> CodeGenFunction r (Value a)

mul :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)

square :: IsArithmetic a => Value a -> CodeGenFunction r (Value a)

fdiv :: IsFloating a => Value a -> Value a -> CodeGenFunction r (Value a)

idiv :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)

irem :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)

fcmp :: (IsFloating a, CmpRet a b) => FPPredicate -> Value a -> Value a -> CodeGenFunction r (Value b)

cmp :: CmpRet a b => CmpPredicate -> Value a -> Value a -> CodeGenFunction r (Value b)

and :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)

or :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)

min :: (IsFirstClass a, CmpRet a Bool) => Value a -> Value a -> CodeGenFunction r (Value a)

This would also work for vectors, if LLVM would support select with bool vectors as condition.

max :: (IsFirstClass a, CmpRet a Bool) => Value a -> Value a -> CodeGenFunction r (Value a)

abs :: (IsArithmetic a, CmpRet a Bool) => Value a -> CodeGenFunction r (Value a)

advanceArrayElementPtr :: Value (Ptr o) -> CodeGenFunction r (Value (Ptr o))

sqrt :: IsFloating a => Value a -> CodeGenFunction r (Value a)

sin :: IsFloating a => Value a -> CodeGenFunction r (Value a)

cos :: IsFloating a => Value a -> CodeGenFunction r (Value a)

exp :: IsFloating a => Value a -> CodeGenFunction r (Value a)

log :: IsFloating a => Value a -> CodeGenFunction r (Value a)

pow :: IsFloating a => Value a -> Value a -> CodeGenFunction r (Value a)