Re: [PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-05 Thread Andrii Nakryiko
On Mon, Aug 5, 2019 at 1:53 PM Alexei Starovoitov wrote: > > On 8/5/19 1:04 PM, Yonghong Song wrote: > > > > > > On 8/5/19 12:45 PM, Andrii Nakryiko wrote: > >> On Sat, Aug 3, 2019 at 8:19 PM Alexei Starovoitov wrote: > >>> > >>> Add a test that returns a 'random' number between [0, 2^20) > >>> I

Re: [PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-05 Thread Alexei Starovoitov
On 8/5/19 1:04 PM, Yonghong Song wrote: > > > On 8/5/19 12:45 PM, Andrii Nakryiko wrote: >> On Sat, Aug 3, 2019 at 8:19 PM Alexei Starovoitov wrote: >>> >>> Add a test that returns a 'random' number between [0, 2^20) >>> If state pruning is not working correctly for loop body the number of >>> p

Re: [PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-05 Thread Yonghong Song
On 8/5/19 12:45 PM, Andrii Nakryiko wrote: > On Sat, Aug 3, 2019 at 8:19 PM Alexei Starovoitov wrote: >> >> Add a test that returns a 'random' number between [0, 2^20) >> If state pruning is not working correctly for loop body the number of >> processed insns will be 2^20 * num_of_insns_in_loop_

Re: [PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-05 Thread Andrii Nakryiko
On Sat, Aug 3, 2019 at 8:19 PM Alexei Starovoitov wrote: > > Add a test that returns a 'random' number between [0, 2^20) > If state pruning is not working correctly for loop body the number of > processed insns will be 2^20 * num_of_insns_in_loop_body and the program > will be rejected. > > Signed

Re: [PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-05 Thread Alexei Starovoitov
On Sun, Aug 04, 2019 at 05:29:42AM +, Yonghong Song wrote: > > > On 8/2/19 4:33 PM, Alexei Starovoitov wrote: > > Add a test that returns a 'random' number between [0, 2^20) > > If state pruning is not working correctly for loop body the number of > > processed insns will be 2^20 * num_of_ins

Re: [PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-03 Thread Yonghong Song
On 8/2/19 4:33 PM, Alexei Starovoitov wrote: > Add a test that returns a 'random' number between [0, 2^20) > If state pruning is not working correctly for loop body the number of > processed insns will be 2^20 * num_of_insns_in_loop_body and the program > will be rejected. The maximum processed

[PATCH bpf-next 1/2] selftests/bpf: add loop test 4

2019-08-02 Thread Alexei Starovoitov
Add a test that returns a 'random' number between [0, 2^20) If state pruning is not working correctly for loop body the number of processed insns will be 2^20 * num_of_insns_in_loop_body and the program will be rejected. Signed-off-by: Alexei Starovoitov --- .../bpf/prog_tests/bpf_verif_scale.c