[PATCH bpf-next v3 0/2] bpf, verifier: Improve precision of BPF_MUL

[Matan Shachnai <m.shachnai@xxxxxxxxx>]

Hi All,

This patch-set aims to improve precision of BPF_MUL and add testcases
to illustrate precision gains using signed and unsigned bounds. 

Thanks for taking the time to review and specifically for Eduard's feedback!

Best,
Matan

Changes from v1:
 - Fixed typo made in patch

Changes from v2:
 - Added signed multiplication to BPF_MUL
 - Added test cases to exercise BPF_MUL 
 - Reordered patches in the series.

Matan Shachnai (2):
  bpf, verifier: Improve precision of BPF_MUL
  selftests/bpf: Add testcases for BPF_MUL

 kernel/bpf/verifier.c                         |  72 +++++-----
 .../selftests/bpf/progs/verifier_bounds.c     | 134 ++++++++++++++++++
 2 files changed, 166 insertions(+), 40 deletions(-)

-- 
2.25.1