Re: [PATCH bpf-next 3/4] selftests/bpf: verifier precise tests

2019-08-26 Thread Song Liu
> On Aug 26, 2019, at 3:47 PM, Alexei Starovoitov > wrote: > > On Sun, Aug 25, 2019 at 10:22:13PM -0700, Song Liu wrote: >> On Fri, Aug 23, 2019 at 2:59 AM Alexei Starovoitov wrote: >>> >>> Use BPF_F_TEST_STATE_FREQ flag to check that precision >>> tracking works as expected by comparing ev

Re: [PATCH bpf-next 3/4] selftests/bpf: verifier precise tests

2019-08-26 Thread Alexei Starovoitov
On Sun, Aug 25, 2019 at 10:22:13PM -0700, Song Liu wrote: > On Fri, Aug 23, 2019 at 2:59 AM Alexei Starovoitov wrote: > > > > Use BPF_F_TEST_STATE_FREQ flag to check that precision > > tracking works as expected by comparing every step it takes. > > > > Signed-off-by: Alexei Starovoitov > > > > +

Re: [PATCH bpf-next 3/4] selftests/bpf: verifier precise tests

2019-08-25 Thread Song Liu
On Fri, Aug 23, 2019 at 2:59 AM Alexei Starovoitov wrote: > > Use BPF_F_TEST_STATE_FREQ flag to check that precision > tracking works as expected by comparing every step it takes. > > Signed-off-by: Alexei Starovoitov > --- > tools/testing/selftests/bpf/test_verifier.c | 68 -- > .../

[PATCH bpf-next 3/4] selftests/bpf: verifier precise tests

2019-08-22 Thread Alexei Starovoitov
Use BPF_F_TEST_STATE_FREQ flag to check that precision tracking works as expected by comparing every step it takes. Signed-off-by: Alexei Starovoitov --- tools/testing/selftests/bpf/test_verifier.c | 68 -- .../testing/selftests/bpf/verifier/precise.c | 117 ++ 2 file