Module Cfg_selectgen_target_intf

Interface to be satisfied by target-specific code, for instruction selection.

type is_immediate_result =
  1. | Is_immediate of bool
  2. | Use_default
type is_simple_expr_result =
  1. | Simple_if_all_expressions_are of Cmm.expression list
  2. | Use_default
type effects_of_result =
  1. | Effects_of_all_expressions of Cmm.expression list
  2. | Use_default
type select_operation_then_rewrite_result =
  1. | Rewritten of Cfg.basic_or_terminator * Cmm.expression list
  2. | Use_default
type select_operation_result =
  1. | Rewritten of Cfg.basic_or_terminator * Cmm.expression list
  2. | Select_operation_then_rewrite of Cmm.operation * Cmm.expression list * Debuginfo.t * Cfg.basic_or_terminator -> args:Cmm.expression list -> select_operation_then_rewrite_result
  3. | Use_default
type select_store_result =
  1. | Maybe_out_of_range
  2. | Rewritten of Operation.t * Cmm.expression
  3. | Use_default
type is_store_out_of_range_result =
  1. | Within_range
  2. | Out_of_range
type insert_move_extcall_arg_result =
  1. | Rewritten of Cfg.basic * Reg.t array * Reg.t array
  2. | Use_default
type insert_op_debug_result =
  1. | Regs of Reg.t array
  2. | Use_default
module type S = sig ... end