Commit 73c864b3 authored Sep 26, 2017 by Edward Cree Committed by David S. Miller Sep 28, 2017

bpf/verifier: improve disassembly of BPF_NEG instructions



BPF_NEG takes only one operand, unlike the bulk of BPF_ALU[64] which are
 compound-assignments.  So give it its own format in print_bpf_insn().

Signed-off-by: Edward Cree <ecree@solarflare.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>

parent 2b7c6ba9

kernel/bpf/verifier.c

+5 −0

Original line number	Diff line number	Diff line
		@@ -351,6 +351,11 @@ static void print_bpf_insn(const struct bpf_verifier_env *env,
		verbose("BUG_alu64_%02x\n", insn->code);
		else
		print_bpf_end_insn(env, insn);
		} else if (BPF_OP(insn->code) == BPF_NEG) {
		verbose("(%02x) r%d = %s-r%d\n",
		insn->code, insn->dst_reg,
		class == BPF_ALU ? "(u32) " : "",
		insn->dst_reg);
		} else if (BPF_SRC(insn->code) == BPF_X) {
		verbose("(%02x) %sr%d %s %sr%d\n",
		insn->code, class == BPF_ALU ? "(u32) " : "",

Admin message