Re: [PATCH bpf-next 08/15] bpf: Assign ID to scalars on spill

2023-12-25 Thread Alexei Starovoitov
On Mon, Dec 25, 2023 at 1:11 PM Maxim Mikityanskiy wrote: > > On Sun, 24 Dec 2023 at 19:15:42 -0800, Alexei Starovoitov wrote: > > On Wed, Dec 20, 2023 at 1:40 PM Maxim Mikityanskiy > > wrote: > > > > > > From: Maxim Mikityanskiy > > > > > > Currently, when a scalar bounded register is spilled

Re: [PATCH bpf-next 08/15] bpf: Assign ID to scalars on spill

2023-12-25 Thread Maxim Mikityanskiy
On Sun, 24 Dec 2023 at 19:15:42 -0800, Alexei Starovoitov wrote: > On Wed, Dec 20, 2023 at 1:40 PM Maxim Mikityanskiy > wrote: > > > > From: Maxim Mikityanskiy > > > > Currently, when a scalar bounded register is spilled to the stack, its > > ID is preserved, but only if was already assigned,

Re: [PATCH bpf-next 08/15] bpf: Assign ID to scalars on spill

2023-12-24 Thread Alexei Starovoitov
On Wed, Dec 20, 2023 at 1:40 PM Maxim Mikityanskiy wrote: > > From: Maxim Mikityanskiy > > Currently, when a scalar bounded register is spilled to the stack, its > ID is preserved, but only if was already assigned, i.e. if this register > was MOVed before. > > Assign an ID on spill if none is

[PATCH bpf-next 08/15] bpf: Assign ID to scalars on spill

2023-12-20 Thread Maxim Mikityanskiy
From: Maxim Mikityanskiy Currently, when a scalar bounded register is spilled to the stack, its ID is preserved, but only if was already assigned, i.e. if this register was MOVed before. Assign an ID on spill if none is set, so that equal scalars could be tracked if a register is spilled to the