Safe Haskell	None
Language	Haskell2010

LLVM.IRBuilder.Instruction

Synopsis

fadd :: MonadIRBuilder m => Operand -> Operand -> m Operand
fmul :: MonadIRBuilder m => Operand -> Operand -> m Operand
fsub :: MonadIRBuilder m => Operand -> Operand -> m Operand
fdiv :: MonadIRBuilder m => Operand -> Operand -> m Operand
frem :: MonadIRBuilder m => Operand -> Operand -> m Operand
add :: MonadIRBuilder m => Operand -> Operand -> m Operand
mul :: MonadIRBuilder m => Operand -> Operand -> m Operand
sub :: MonadIRBuilder m => Operand -> Operand -> m Operand
udiv :: MonadIRBuilder m => Operand -> Operand -> m Operand
sdiv :: MonadIRBuilder m => Operand -> Operand -> m Operand
urem :: MonadIRBuilder m => Operand -> Operand -> m Operand
srem :: MonadIRBuilder m => Operand -> Operand -> m Operand
shl :: MonadIRBuilder m => Operand -> Operand -> m Operand
lshr :: MonadIRBuilder m => Operand -> Operand -> m Operand
ashr :: MonadIRBuilder m => Operand -> Operand -> m Operand
and :: MonadIRBuilder m => Operand -> Operand -> m Operand
or :: MonadIRBuilder m => Operand -> Operand -> m Operand
xor :: MonadIRBuilder m => Operand -> Operand -> m Operand
alloca :: MonadIRBuilder m => Type -> Maybe Operand -> Word32 -> m Operand
load :: MonadIRBuilder m => Operand -> Word32 -> m Operand
store :: MonadIRBuilder m => Operand -> Word32 -> Operand -> m ()
gep :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> [Operand] -> m Operand
trunc :: MonadIRBuilder m => Operand -> Type -> m Operand
fptrunc :: MonadIRBuilder m => Operand -> Type -> m Operand
zext :: MonadIRBuilder m => Operand -> Type -> m Operand
sext :: MonadIRBuilder m => Operand -> Type -> m Operand
fptoui :: MonadIRBuilder m => Operand -> Type -> m Operand
fptosi :: MonadIRBuilder m => Operand -> Type -> m Operand
fpext :: MonadIRBuilder m => Operand -> Type -> m Operand
uitofp :: MonadIRBuilder m => Operand -> Type -> m Operand
sitofp :: MonadIRBuilder m => Operand -> Type -> m Operand
ptrtoint :: MonadIRBuilder m => Operand -> Type -> m Operand
inttoptr :: MonadIRBuilder m => Operand -> Type -> m Operand
bitcast :: MonadIRBuilder m => Operand -> Type -> m Operand
extractElement :: MonadIRBuilder m => Operand -> Operand -> m Operand
insertElement :: MonadIRBuilder m => Operand -> Operand -> Operand -> m Operand
shuffleVector :: MonadIRBuilder m => Operand -> Operand -> Constant -> m Operand
extractValue :: MonadIRBuilder m => Operand -> [Word32] -> m Operand
insertValue :: MonadIRBuilder m => Operand -> Operand -> [Word32] -> m Operand
icmp :: MonadIRBuilder m => IntegerPredicate -> Operand -> Operand -> m Operand
fcmp :: MonadIRBuilder m => FloatingPointPredicate -> Operand -> Operand -> m Operand
br :: MonadIRBuilder m => Name -> m ()
phi :: MonadIRBuilder m => [(Operand, Name)] -> m Operand
retVoid :: MonadIRBuilder m => m ()
call :: MonadIRBuilder m => Operand -> [(Operand, [ParameterAttribute])] -> m Operand
ret :: MonadIRBuilder m => Operand -> m ()
switch :: MonadIRBuilder m => Operand -> Name -> [(Constant, Name)] -> m ()
select :: MonadIRBuilder m => Operand -> Operand -> Operand -> m Operand
condBr :: MonadIRBuilder m => Operand -> Name -> Name -> m ()
unreachable :: MonadIRBuilder m => m ()
globalStringPtr :: (MonadModuleBuilder m, MonadIRBuilder m) => String -> Name -> m Operand

Documentation

fadd :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

fmul :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

fsub :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

fdiv :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

frem :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

add :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

mul :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

sub :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

udiv :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

sdiv :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

urem :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

srem :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

shl :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

lshr :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

ashr :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

and :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

or :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

xor :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

alloca :: MonadIRBuilder m => Type -> Maybe Operand -> Word32 -> m Operand Source #

See reference.

load :: MonadIRBuilder m => Operand -> Word32 -> m Operand Source #

See reference.

store :: MonadIRBuilder m => Operand -> Word32 -> Operand -> m () Source #

See reference.

gep :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> [Operand] -> m Operand Source #

Emit the getelementptr instruction. See reference.

trunc :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the trunc ... to instruction. See reference.

fptrunc :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the fptrunc ... to instruction. See reference.

zext :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the zext ... to instruction. See reference.

sext :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the sext ... to instruction. See reference.

fptoui :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the fptoui ... to instruction. See reference.

fptosi :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the fptosi ... to instruction. See reference.

fpext :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the fpext ... to instruction. See reference.

uitofp :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the uitofp ... to instruction. See reference.

sitofp :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the sitofp ... to instruction. See reference.

ptrtoint :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the ptrtoint ... to instruction. See reference.

inttoptr :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the inttoptr ... to instruction. See reference.

bitcast :: MonadIRBuilder m => Operand -> Type -> m Operand Source #

Emit the bitcast ... to instruction. See reference.

extractElement :: MonadIRBuilder m => Operand -> Operand -> m Operand Source #

See reference.

insertElement :: MonadIRBuilder m => Operand -> Operand -> Operand -> m Operand Source #

See reference.

shuffleVector :: MonadIRBuilder m => Operand -> Operand -> Constant -> m Operand Source #

See reference.

extractValue :: MonadIRBuilder m => Operand -> [Word32] -> m Operand Source #

See reference.

insertValue :: MonadIRBuilder m => Operand -> Operand -> [Word32] -> m Operand Source #

See reference.

icmp :: MonadIRBuilder m => IntegerPredicate -> Operand -> Operand -> m Operand Source #

See reference.

fcmp :: MonadIRBuilder m => FloatingPointPredicate -> Operand -> Operand -> m Operand Source #

See reference.

br :: MonadIRBuilder m => Name -> m () Source #

Unconditional branch. Emit a br label dest instruction See reference.

phi :: MonadIRBuilder m => [(Operand, Name)] -> m Operand Source #

See reference.

retVoid :: MonadIRBuilder m => m () Source #

Emit a ret void instruction. See reference.

call :: MonadIRBuilder m => Operand -> [(Operand, [ParameterAttribute])] -> m Operand Source #

See reference.

ret :: MonadIRBuilder m => Operand -> m () Source #

See reference.

switch :: MonadIRBuilder m => Operand -> Name -> [(Constant, Name)] -> m () Source #

See reference.

select :: MonadIRBuilder m => Operand -> Operand -> Operand -> m Operand Source #

See reference.

condBr :: MonadIRBuilder m => Operand -> Name -> Name -> m () Source #

Conditional branch (see br for unconditional instructions). See reference.

unreachable :: MonadIRBuilder m => m () Source #

See reference.

globalStringPtr Source #

Arguments

:: (MonadModuleBuilder m, MonadIRBuilder m)
=> String	The string to generate
-> Name	Variable name of the pointer
-> m Operand

Creates a series of instructions to generate a pointer to a string constant. Useful for making format strings to pass to printf, for example