ocaml-base-compiler 4.11.2

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 -> Selectgen.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 select_store : bool ->
  Arch.addressing_mode ->
  Cmm.expression ->
  Mach.operation * Cmm.expression

method regs_for : Cmm.machtype -> Reg.t array

method insert_op : Selectgen.environment ->
  Mach.operation ->
  Reg.t array ->
  Reg.t array ->
  Reg.t array

method insert_op_debug : Selectgen.environment ->
  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 : Selectgen.environment ->
  Mach.instruction_desc ->
  Reg.t array ->
  Reg.t array ->
  unit

method insert_debug : Selectgen.environment ->
  Mach.instruction_desc ->
  Debuginfo.t ->
  Reg.t array ->
  Reg.t array ->
  unit

method insert_move : Selectgen.environment -> Reg.t -> Reg.t -> unit

method insert_move_args : Selectgen.environment ->
  Reg.t array ->
  Reg.t array ->
  int ->
  unit

method insert_move_results : Selectgen.environment ->
  Reg.t array ->
  Reg.t array ->
  int ->
  unit

method insert_moves : Selectgen.environment ->
  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 ->
  Debuginfo.t ->
  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

val contains_calls : bool ref

package ocaml-base-compiler