Module `Arm64_binary_emitter.Branch_helpers`

val compute_branch_imm26 : 
  Section_state.t ->
  instr_name:string ->
  reloc_kind:(Relocation.Kind.target_with_addend -> Relocation.Kind.t) ->
  'a Arm64_ast.Ast.Symbol.t ->
  int

val compute_branch_imm19 : 
  Section_state.t ->
  instr_name:string ->
  'a Arm64_ast.Ast.Symbol.t ->
  int

val compute_branch_imm14 : 
  Section_state.t ->
  instr_name:string ->
  'a Arm64_ast.Ast.Symbol.t ->
  int

val encode_conditional_branch : imm19:int -> cond:int -> int32

val encode_branch_register : 
  opc:int ->
  rn:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  int32

val encode_branch_immediate : op:int -> imm26:int -> int32

val encode_compare_branch : sf:int -> op:int -> imm19:int -> rt:int -> int32

val encode_test_branch : 
  b5:int ->
  op:int ->
  b40:int ->
  imm14:int ->
  rt:int ->
  int32

Module Arm64_binary_emitter.Branch_helpers

Module `Arm64_binary_emitter.Branch_helpers`