Module Arch

val macosx : bool
val command_line_options : 'a list
type addressing_mode =
| Iindexed of int
| Ibased of string * int
type cmm_label = int
type specific_operation =
| Ifar_alloc of {
bytes : int;
dbginfo : Debuginfo.alloc_dbginfo;
}
| Ifar_intop_checkbound
| Ifar_intop_imm_checkbound of {
bound : int;
}
| Ishiftarith of arith_operation * int
| Ishiftcheckbound of {
shift : int;
}
| Ifar_shiftcheckbound of {
shift : int;
}
| Imuladd
| Imulsub
| Inegmulf
| Imuladdf
| Inegmuladdf
| Imulsubf
| Inegmulsubf
| Isqrtf
| Ibswap of int
| Imove32
and arith_operation =
| Ishiftadd
| Ishiftsub
val big_endian : bool
val size_addr : int
val size_int : int
val size_float : int
val allow_unaligned_access : bool
val division_crashes_on_overflow : bool
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