Arch
type specific_operation =
| Ifar_alloc of {
} | ||
| Ifar_intop_checkbound | ||
| Ifar_intop_imm_checkbound of {
} | ||
| Ishiftarith of arith_operation * int | ||
| Ishiftcheckbound of {
} | ||
| Ifar_shiftcheckbound of {
} | ||
| Imuladd | ||
| Imulsub | ||
| Inegmulf | ||
| Imuladdf | ||
| Inegmuladdf | ||
| Imulsubf | ||
| Inegmulsubf | ||
| Isqrtf | ||
| Ibswap of int | ||
| Imove32 |
val identity_addressing : addressing_mode
val offset_addressing : addressing_mode -> int -> addressing_mode
val num_args_addressing : addressing_mode -> int
val print_addressing : (Format.formatter -> 'a -> unit) -> addressing_mode -> Format.formatter -> 'a array -> unit
val print_specific_operation : (Format.formatter -> 'a -> unit) -> specific_operation -> Format.formatter -> 'a array -> unit