jon.recoil.org

Module Reg_class

type t =
  1. | GPR
  2. | SIMD
include Reg_class_utils.T with type t := Reg_class.t
val all : Reg_class.t list

The list of all classes.

val first_available_register : Reg_class.t -> int
val num_available_registers : Reg_class.t -> int
val num_registers : Reg_class.t -> int
val dwarf_register_numbers : Reg_class.t -> int array

For a given register class, the DWARF register numbering for that class. Given an allocated register with location Reg n and class reg_class, the returned array contains the corresponding DWARF register number at index n - first_available_register reg_class.

val register_name : Cmm.machtype_component -> int -> string
val equal : Reg_class.t -> Reg_class.t -> bool
val hash : Reg_class.t -> int
val print : Stdlib.Format.formatter -> Reg_class.t -> unit
val of_machtype : Cmm.machtype_component -> Reg_class.t
type save_simd_regs =
  1. | Save_xmm
  2. | Save_ymm
  3. | Save_zmm
val gc_regs_offset : simd:Reg_class.save_simd_regs -> Cmm.machtype_component -> int -> int