LLVM.Extra.Control

Useful control structures additionally to those in LLVM.Util.Loop.

Documentation

arrayLoop :: (Phi a, IsType b, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i) => Value i -> Value (Ptr b) -> a -> (Value (Ptr b) -> a -> CodeGenFunction r a) -> CodeGenFunction r a

arrayLoop2 :: (Phi s, IsType a, IsType b, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i) => Value i -> Value (Ptr a) -> Value (Ptr b) -> s -> (Value (Ptr a) -> Value (Ptr b) -> s -> CodeGenFunction r s) -> CodeGenFunction r s

arrayLoopWithExit :: (Phi s, IsType a, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i) => Value i -> Value (Ptr a) -> s -> (Value (Ptr a) -> s -> CodeGenFunction r (Value Bool, s)) -> CodeGenFunction r (Value i, s)

arrayLoop2WithExit :: (Phi s, IsType a, IsType b, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i) => Value i -> Value (Ptr a) -> Value (Ptr b) -> s -> (Value (Ptr a) -> Value (Ptr b) -> s -> CodeGenFunction r (Value Bool, s)) -> CodeGenFunction r (Value i, s)

fixedLengthLoop :: (Phi s, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i) => Value i -> s -> (s -> CodeGenFunction r s) -> CodeGenFunction r s

whileLoop :: Phi a => a -> (a -> CodeGenFunction r (Value Bool)) -> (a -> CodeGenFunction r a) -> CodeGenFunction r a

whileLoopShared :: Phi a => a -> (a -> (CodeGenFunction r (Value Bool), CodeGenFunction r a)) -> CodeGenFunction r a

This is a variant of whileLoop that may be more convient, because you only need one lambda expression for both loop condition and loop body.

loopWithExit :: Phi a => a -> (a -> CodeGenFunction r (Value Bool, b)) -> (b -> CodeGenFunction r a) -> CodeGenFunction r b

This is a loop with a single point for exit from within the loop. The Bool value indicates whether the loop shall be continued.

ifThenElse :: Phi a => Value Bool -> CodeGenFunction r a -> CodeGenFunction r a -> CodeGenFunction r a

This construct starts new blocks, so be prepared when continueing after an ifThenElse.

ifThen :: Phi a => Value Bool -> a -> CodeGenFunction r a -> CodeGenFunction r a

class Phi a => Select a where

Methods

select :: Value Bool -> a -> a -> CodeGenFunction r a

Instances

Select ()

Defined in LLVM.Extra.Control

Methods

select :: Value Bool -> () -> () -> CodeGenFunction r ()

Select a => Select (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

select :: Value Bool -> T a -> T a -> CodeGenFunction r (T a)

(CmpRet a, IsPrimitive a) => Select (Value a)

Defined in LLVM.Extra.Control

Methods

select :: Value Bool -> Value a -> Value a -> CodeGenFunction r (Value a)

(Select a, Select b) => Select (a, b)

Defined in LLVM.Extra.Control

Methods

select :: Value Bool -> (a, b) -> (a, b) -> CodeGenFunction r (a, b)

(Select a, Select b, Select c) => Select (a, b, c)

Defined in LLVM.Extra.Control

Methods

select :: Value Bool -> (a, b, c) -> (a, b, c) -> CodeGenFunction r (a, b, c)

selectTraversable :: (Select a, Traversable f, Applicative f) => Value Bool -> f a -> f a -> CodeGenFunction r (f a)

ifThenSelect :: Select a => Value Bool -> a -> CodeGenFunction r a -> CodeGenFunction r a

Branch-free variant of ifThen that is faster if the enclosed block is very simply, say, if it contains at most two instructions. It can only be used as alternative to ifThen if the enclosed block is free of side effects.

ret :: Value a -> CodeGenFunction a ()

ret terminates a basic block which interferes badly with other control structures in this module. If you use the control structures then better use LLVM.Extra.Function.

retVoid :: CodeGenFunction () ()