package ocaml-base-compiler

  1. Overview
  2. Docs
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 effects_of : Cmm.expression -> Effect_and_coeffect.t
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 : environment -> Mach.operation -> Reg.t array -> Reg.t array -> Reg.t array
method insert_op_debug : environment -> Mach.operation -> Debuginfo.t -> Reg.t array -> Reg.t array -> Reg.t array
method emit_extcall_args : environment -> Cmm.expression list -> Reg.t array * int
method emit_stores : 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 : environment -> Mach.instruction_desc -> Reg.t array -> Reg.t array -> unit
method insert_debug : environment -> Mach.instruction_desc -> Debuginfo.t -> Reg.t array -> Reg.t array -> unit
method insert_move : environment -> Reg.t -> Reg.t -> unit
method insert_move_args : environment -> Reg.t array -> Reg.t array -> int -> unit
method insert_move_results : environment -> Reg.t array -> Reg.t array -> int -> unit
method insert_moves : environment -> Reg.t array -> Reg.t array -> unit
method emit_expr : environment -> Cmm.expression -> Reg.t array option
method emit_tail : environment -> Cmm.expression -> unit
method select_allocation : int -> Mach.operation
method select_allocation_args : environment -> Reg.t array
method select_checkbound : unit -> Mach.integer_operation
method select_checkbound_extra_args : unit -> Cmm.expression list
method emit_blockheader : environment -> nativeint -> Debuginfo.t -> Reg.t array option
method about_to_emit_call : environment -> Mach.instruction_desc -> Reg.t array -> Debuginfo.t -> Reg.t array option
method initial_env : unit -> 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:environment -> Mach.spacetime_shape option
val mutable instr_seq : Mach.instruction
val contains_calls : bool ref
OCaml

Innovation. Community. Security.