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