Class `Selectgen.selector_generic`

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ocamloptcomp/Selectgen/class-selector_generic/index.html

Class `Selectgen.selector_generic`

package ocaml-base-compiler

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ocamloptcomp/Selectgen/class-selector_generic/index.html

Class Selectgen.selector_generic

Class `Selectgen.selector_generic`