package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.2.1

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

ocaml-5.2.1.tar.gz

sha256=2d0f8090951a97a2c0e5b8a11e90096c0e1791d2e471e4a67f87e3b974044cd0

doc/compiler-libs.optcomp/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 : Cmm.machtype -> Reg.t array * int

val loc_results : Cmm.machtype -> Reg.t array

val loc_parameters : Cmm.machtype -> Reg.t array

val loc_external_arguments : Cmm.exttype list -> Reg.t array array * int

val loc_external_results : Cmm.machtype -> Reg.t array

val loc_exn_bucket : 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 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