Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- fneg :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> m Operand
- fadd :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- fmul :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- fsub :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- fdiv :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- frem :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- add :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- mul :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- sub :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- udiv :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- sdiv :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- urem :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- srem :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- shl :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- lshr :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- ashr :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- and :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- or :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- xor :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- alloca :: MonadIRBuilder m => Type -> Maybe Operand -> Word32 -> m Operand
- load :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Word32 -> m Operand
- store :: MonadIRBuilder m => Operand -> Word32 -> Operand -> m ()
- gep :: (HasCallStack, 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 :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand
- insertElement :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> Operand -> m Operand
- shuffleVector :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> [Int32] -> m Operand
- extractValue :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> [Word32] -> m Operand
- insertValue :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder 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 :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => [(Operand, Name)] -> m Operand
- retVoid :: MonadIRBuilder m => m ()
- call :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> [(Operand, [ParameterAttribute])] -> m Operand
- ret :: MonadIRBuilder m => Operand -> m ()
- switch :: MonadIRBuilder m => Operand -> Name -> [(Constant, Name)] -> m ()
- select :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> Operand -> m Operand
- condBr :: MonadIRBuilder m => Operand -> Name -> Name -> m ()
- unreachable :: MonadIRBuilder m => m ()
- globalStringPtr :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => String -> Name -> m Constant
- sizeof :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Word32 -> Type -> m Operand
Documentation
fneg :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> m Operand Source #
See reference.
fadd :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
fmul :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
fsub :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
fdiv :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
frem :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
add :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
mul :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
sub :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
udiv :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
sdiv :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
urem :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
srem :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
shl :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
lshr :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
ashr :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
and :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
or :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
xor :: (MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
load :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Word32 -> m Operand Source #
See reference.
gep :: (HasCallStack, 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 :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> m Operand Source #
See reference.
insertElement :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> Operand -> m Operand Source #
See reference.
shuffleVector :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> [Int32] -> m Operand Source #
See reference.
extractValue :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> [Word32] -> m Operand Source #
See reference.
insertValue :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder 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 #
phi :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => [(Operand, Name)] -> m Operand Source #
See reference.
retVoid :: MonadIRBuilder m => m () Source #
Emit a ret void
instruction.
See reference.
call :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> [(Operand, [ParameterAttribute])] -> m Operand Source #
See reference.
select :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Operand -> Operand -> Operand -> m Operand Source #
See reference.
unreachable :: MonadIRBuilder m => m () Source #
See reference.
:: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) | |
=> String | The string to generate |
-> Name | Variable name of the pointer |
-> m Constant |
Creates a series of instructions to generate a pointer to a string
constant. Useful for making format strings to pass to printf
, for example
sizeof :: (HasCallStack, MonadIRBuilder m, MonadModuleBuilder m) => Word32 -> Type -> m Operand Source #