package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.08.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.08.1.tar.gz
sha256=b53ed3d487b83fd49bc181bded066ae8e6fb592cf40514261d27d36050d5db85
md5=723b6bfe8cf5abcbccc6911143f71055

doc/ocamloptcomp/Spacetime_profiling/class-instruction_selection/index.html

Class Spacetime_profiling.instruction_selection

method virtual is_immediate : int -> bool
method virtual select_addressing : Cmm.memory_chunk -> Cmm.expression -> Arch.addressing_mode * Cmm.expression
method is_simple_expr : Cmm.expression -> bool
method select_operation : Cmm.operation -> Cmm.expression list -> Debuginfo.t -> Mach.operation * Cmm.expression list
method select_condition : Cmm.expression -> Mach.test * Cmm.expression
method regs_for : Cmm.machtype -> Reg.t array
method insert_op : Mach.operation -> Reg.t array -> Reg.t array -> Reg.t array
method insert_op_debug : Mach.operation -> Debuginfo.t -> Reg.t array -> Reg.t array -> Reg.t array
method emit_extcall_args : Selectgen.environment -> Cmm.expression list -> Reg.t array * int
method emit_stores : Selectgen.environment -> Cmm.expression list -> Reg.t array -> unit
method mark_call : unit
method mark_tailcall : unit
method mark_c_tailcall : unit
method mark_instr : Mach.instruction_desc -> unit
method emit_fundecl : Cmm.fundecl -> Mach.fundecl
method extract : Mach.instruction
method extract_core : end_instr:Mach.instruction -> Mach.instruction
method insert : Mach.instruction_desc -> Reg.t array -> Reg.t array -> unit
method insert_debug : Mach.instruction_desc -> Debuginfo.t -> Reg.t array -> Reg.t array -> unit
method insert_move : Reg.t -> Reg.t -> unit
method insert_move_args : Reg.t array -> Reg.t array -> int -> unit
method insert_move_results : Reg.t array -> Reg.t array -> int -> unit
method insert_moves : Reg.t array -> Reg.t array -> unit
method adjust_type : Reg.t -> Reg.t -> unit
method adjust_types : Reg.t array -> Reg.t array -> unit
method emit_expr : Selectgen.environment -> Cmm.expression -> Reg.t array option
method emit_tail : Selectgen.environment -> Cmm.expression -> unit
method select_allocation : int -> Mach.operation
method select_allocation_args : Selectgen.environment -> Reg.t array
method select_checkbound : unit -> Mach.integer_operation
method select_checkbound_extra_args : unit -> Cmm.expression list
method emit_blockheader : Selectgen.environment -> nativeint -> Debuginfo.t -> Reg.t array option
method about_to_emit_call : Selectgen.environment -> Mach.instruction_desc -> Reg.t array -> Reg.t array option
method initial_env : unit -> Selectgen.environment
method insert_prologue : Cmm.fundecl -> loc_arg:Reg.t array -> rarg:Reg.t array -> spacetime_node_hole:(Backend_var.t * Reg.t array) option -> env:Selectgen.environment -> Mach.spacetime_shape option
val mutable instr_seq : Mach.instruction