jon.recoil.org

Module Ast.Instruction

type t =
  1. | I : {
    1. name : ('num, 'operands) Instruction_name.t;
    2. operands : ('num, 'operands) many;
    } -> t
val print : Format.formatter -> t -> unit
val max_displacement : t -> int option

If this instruction is a conditional branch (B.cond, CBZ, CBNZ, TBZ, TBNZ), returns Some n where n is the maximum displacement in instruction-sized units. Returns None for all other instructions including unconditional branches.