On Mon, Dec 9, 2019 at 9:32 AM Björn Töpel <bjorn.topel@xxxxxxxxx> wrote: > > This commit add support for far (offset > 21b) jumps and exits. > > Signed-off-by: Björn Töpel <bjorn.topel@xxxxxxxxx> Similar to the other patch for far branching, we also used our tool to formally verify this patch for far jumps: https://github.com/uw-unsat/bpf-jit-verif/tree/far-jump-review Reviewed-by: Luke Nelson <lukenels@xxxxxxxxxxxxxxxxx> Cc: Xi Wang <xi.wang@xxxxxxxxx>
