Xu Kuohai d9ef13f727 bpf: Pass bpf_verifier_env to JIT ...

Pass bpf_verifier_env to bpf_int_jit_compile(). The follow-up patch will
use env->insn_aux_data in the JIT stage to detect indirect jump targets.

Since bpf_prog_select_runtime() can be called by cbpf and lib/test_bpf.c
code without verifier, introduce helper __bpf_prog_select_runtime()
to accept the env parameter.

Remove the call to bpf_prog_select_runtime() in bpf_prog_load(), and
switch to call __bpf_prog_select_runtime() in the verifier, with env
variable passed. The original bpf_prog_select_runtime() is preserved for
cbpf and lib/test_bpf.c, where env is NULL.

Now all constants blinding calls are moved into the verifier, except
the cbpf and lib/test_bpf.c cases. The instructions arrays are adjusted
by bpf_patch_insn_data() function for normal cases, so there is no need
to call adjust_insn_arrays() in bpf_jit_blind_constants(). Remove it.

Reviewed-by: Anton Protopopov <[email protected]> # v8
Reviewed-by: Emil Tsalapatis <[email protected]> # v12
Acked-by: Hengqi Chen <[email protected]> # v14
Signed-off-by: Xu Kuohai <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>

2026-04-16 07:03:40 -07:00

..

bpf_jit_comp32.c

…

bpf_jit_comp64.c

…

bpf_jit_comp.c

bpf: Pass bpf_verifier_env to JIT

2026-04-16 07:03:40 -07:00

bpf_jit_comp.h

…

Makefile

…