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

On Mon, Dec 16, 2024 at 3:31 PM Alexei Starovoitov wrote: > > On Sat, Dec 14, 2024 at 11:04 AM Matan Shachnai wrote: > > > > This patch improves (or maintains) the precision of register value tracking > > in BPF_MUL across all possible inputs. It also simplifies > > scalar32_min_max_mul() and sca

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

On Sat, Dec 14, 2024 at 11:04 AM Matan Shachnai wrote: > > This patch improves (or maintains) the precision of register value tracking > in BPF_MUL across all possible inputs. It also simplifies > scalar32_min_max_mul() and scalar_min_max_mul(). > > As it stands, BPF_MUL is composed of three funct

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

This patch improves (or maintains) the precision of register value tracking in BPF_MUL across all possible inputs. It also simplifies scalar32_min_max_mul() and scalar_min_max_mul(). As it stands, BPF_MUL is composed of three functions: case BPF_MUL: tnum_mul(); scalar32_min_max_mul(); scal