Safe Haskell | None |
---|---|
Language | Haskell98 |
- 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
- 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 => Operand -> [Operand] -> m Operand
- trunc :: 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
- 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
- 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 ()
Documentation
icmp :: MonadIRBuilder m => IntegerPredicate -> Operand -> Operand -> m Operand Source #
fcmp :: MonadIRBuilder m => FloatingPointPredicate -> Operand -> Operand -> m Operand Source #
br :: MonadIRBuilder m => Name -> m () Source #
Unconditional branch
retVoid :: MonadIRBuilder m => m () Source #
call :: MonadIRBuilder m => Operand -> [(Operand, [ParameterAttribute])] -> m Operand Source #
ret :: MonadIRBuilder m => Operand -> m () Source #
unreachable :: MonadIRBuilder m => m () Source #