Module Arch

val command_line_options : (string * Stdlib.Arg.spec * string) list
type addressing_mode =
| Ibased of string * int
| Iindexed of int
| Iindexed2 of int
| Iscaled of int * int
| Iindexed2scaled of int * int
type specific_operation =
| Ilea of addressing_mode
| Istore_int of nativeint * addressing_mode * bool
| Ioffset_loc of int * addressing_mode
| Ifloatarithmem of float_operation * addressing_mode
| Ibswap of int
| Isqrtf
| Ifloatsqrtf of addressing_mode
| Isextend32
| Izextend32
and float_operation =
| Ifloatadd
| Ifloatsub
| Ifloatmul
| Ifloatdiv
val spacetime_node_hole_pointer_is_live_before : 'a -> bool
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 : (Stdlib.Format.formatter -> 'a -> unit) -> addressing_mode -> Stdlib.Format.formatter -> 'a array -> unit
val print_specific_operation : (Stdlib.Format.formatter -> 'a -> unit) -> specific_operation -> Stdlib.Format.formatter -> 'a array -> unit
val win64 : bool