Parameter Make._
val is_immediate :
Operation.integer_operation ->
int ->
Cfg_selectgen_target_intf.is_immediate_resultval is_immediate_test :
Operation.integer_comparison ->
int ->
Cfg_selectgen_target_intf.is_immediate_resultval is_simple_expr :
Cmm.expression ->
Cfg_selectgen_target_intf.is_simple_expr_resultval effects_of : Cmm.expression -> Cfg_selectgen_target_intf.effects_of_resultval select_addressing :
Cmm.memory_chunk ->
Cmm.expression ->
Arch.addressing_mode * Cmm.expressionval select_operation :
generic_select_condition:(Cmm.expression -> Operation.test * Cmm.expression) ->
Cmm.operation ->
Cmm.expression list ->
Debuginfo.t ->
label_after:Label.t ->
Cfg_selectgen_target_intf.select_operation_resultval select_store :
is_assign:bool ->
Arch.addressing_mode ->
Cmm.expression ->
Cfg_selectgen_target_intf.select_store_resultval is_store_out_of_range :
Cmm.memory_chunk ->
byte_offset:int ->
Cfg_selectgen_target_intf.is_store_out_of_range_resultval insert_move_extcall_arg :
Cmm.exttype ->
Reg.t array ->
Reg.t array ->
Cfg_selectgen_target_intf.insert_move_extcall_arg_resultval insert_op_debug :
Select_utils.environment ->
Sub_cfg.t ->
Operation.t ->
Debuginfo.t ->
Reg.t array ->
Reg.t array ->
Cfg_selectgen_target_intf.insert_op_debug_result