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 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:(Ident.t * Reg.t array) option -> env:Selectgen.environment -> Mach.spacetime_shape option
val mutable instr_seq : Mach.instruction