[PATCH bpf-next v4 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 for all the 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.

Changes from v3: - Coding style fixes.

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

kernel/bpf/verifier.c | 80 +++++------ .../selftests/bpf/progs/verifier_bounds.c | 134 ++++++++++++++++++ 2 files changed, 170 insertions(+), 44 deletions(-)