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

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(-)