LLVM.Util.Loop

Documentation

class Phi a where

Methods

phis :: BasicBlock -> a -> CodeGenFunction r a

addPhis :: BasicBlock -> a -> a -> CodeGenFunction r ()

Instances

Phi ()

Defined in LLVM.Util.Loop

Methods

phis :: BasicBlock -> () -> CodeGenFunction r ()

addPhis :: BasicBlock -> () -> () -> CodeGenFunction r ()

IsFirstClass a => Phi (Value a)

Defined in LLVM.Util.Loop

Methods

phis :: BasicBlock -> Value a -> CodeGenFunction r (Value a)

addPhis :: BasicBlock -> Value a -> Value a -> CodeGenFunction r ()

(Phi a, Phi b) => Phi (a, b)

Defined in LLVM.Util.Loop

Methods

phis :: BasicBlock -> (a, b) -> CodeGenFunction r (a, b)

addPhis :: BasicBlock -> (a, b) -> (a, b) -> CodeGenFunction r ()

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

Defined in LLVM.Util.Loop

Methods

phis :: BasicBlock -> (a, b, c) -> CodeGenFunction r (a, b, c)

addPhis :: BasicBlock -> (a, b, c) -> (a, b, c) -> CodeGenFunction r ()

forLoop :: forall i a r. (Phi a, Num i, IsConst i, IsInteger i, IsFirstClass i, CmpRet i, CmpResult i ~ Bool) => Value i -> Value i -> a -> (Value i -> a -> CodeGenFunction r a) -> CodeGenFunction r a

mapVector :: forall a b n r. (Positive n, IsPrimitive a, IsPrimitive b) => (Value a -> CodeGenFunction r (Value b)) -> Value (Vector n a) -> CodeGenFunction r (Value (Vector n b))

mapVector2 :: forall a b c n r. (Positive n, IsPrimitive a, IsPrimitive b, IsPrimitive c) => (Value a -> Value b -> CodeGenFunction r (Value c)) -> Value (Vector n a) -> Value (Vector n b) -> CodeGenFunction r (Value (Vector n c))