Branch_relaxation_intf.Smodule Cond_branch : sig ... endval offset_pc_at_branch : distanceval instr_size : Linear.fundecl -> Linear.instruction_desc -> distanceval relax_allocation :
num_bytes:int ->
dbginfo:Debuginfo.alloc_dbginfo ->
Linear.instruction_descval relax_poll : return_label:Cmm.label option -> Linear.instruction_descval relax_intop_checkbound : unit -> Linear.instruction_descval relax_intop_imm_checkbound : bound:int -> Linear.instruction_descval relax_specific_op : Arch.specific_operation -> Linear.instruction_desc