Re: [PATCH net-next 1/2] bpf: add various tests around spill/fill of regs

2016-10-17 Thread Alexei Starovoitov
On Mon, Oct 17, 2016 at 02:28:35PM +0200, Daniel Borkmann wrote: > Add several spill/fill tests. Besides others, one that performs xadd > on the spilled register, one ldx/stx test where different types are > spilled from two branches and read out from common path. Verfier does > handle all correctl

[PATCH net-next 1/2] bpf: add various tests around spill/fill of regs

2016-10-17 Thread Daniel Borkmann
Add several spill/fill tests. Besides others, one that performs xadd on the spilled register, one ldx/stx test where different types are spilled from two branches and read out from common path. Verfier does handle all correctly. Signed-off-by: Daniel Borkmann --- samples/bpf/test_verifier.c | 11