package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.10.1

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (70)

Authors

  1. Xavier Leroy

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

4.10.1.tar.gz
sha256=d1dd3d39dc2d06aca694e8a97983d25d5730c19ad8ceff83c3072fd05adaf28e

doc/ocamloptcomp/Proc/index.html

Module Proc

val word_addressed : bool
val num_register_classes : int
val register_class : Reg.t -> int
val num_available_registers : int array
val first_available_register : int array
val register_name : int -> string
val phys_reg : int -> Reg.t
val rotate_registers : bool
val loc_arguments : Reg.t array -> Reg.t array * int
val loc_results : Reg.t array -> Reg.t array
val loc_parameters : Reg.t array -> Reg.t array
val loc_external_arguments : Reg.t array array -> Reg.t array array * int
val loc_external_results : Reg.t array -> Reg.t array
val loc_exn_bucket : Reg.t
val loc_spacetime_node_hole : Reg.t
val max_arguments_for_tailcalls : int
val safe_register_pressure : Mach.operation -> int
val max_register_pressure : Mach.operation -> int array
val destroyed_at_oper : Mach.instruction_desc -> Reg.t array
val destroyed_at_raise : Reg.t array
val destroyed_at_reloadretaddr : Reg.t array
val regs_are_volatile : Reg.t array -> bool
val op_is_pure : Mach.operation -> bool
val frame_required : Mach.fundecl -> bool
val prologue_required : Mach.fundecl -> bool
val dwarf_register_numbers : reg_class:int -> 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 stack_ptr_dwarf_register_number : int

The DWARF register number corresponding to the stack pointer.

val assemble_file : string -> string -> int
val init : unit -> unit