Re: [PATCH bpf-next v5 2/3] bpf, x86: allow function arguments up to 12 for TRACING

[Yonghong Song]

On 6/22/23 2:06 AM, David Laight wrote:
> ...
> > > +	/* Generally speaking, the compiler will pass the arguments
> > > +	 * on-stack with "push" instruction, which will take 8-byte
> > > +	 * on the stack. On this case, there won't be garbage values
> >
> > On this case -> In this case. The same for below another case.
> >
> > > +	 * while we copy the arguments from origin stack frame to current
> > > +	 * in BPF_DW.
> > > +	 *
> > > +	 * However, sometimes the compiler will only allocate 4-byte on
> > > +	 * the stack for the arguments. For now, this case will only
> > > +	 * happen if there is only one argument on-stack and its size
> > > +	 * not more than 4 byte. On this case, there will be garbage
> > > +	 * values on the upper 4-byte where we store the argument on
> > > +	 * current stack frame.
>
> Is that right for 86-64?

yes,

> IIRC arguments always take (at least) 64bits.
> For any 32bit argument (register or stack) the high bits are undefined.
> (Maybe in kernel they are always zero?
>  From 32bit userspace they are definitely random.)
>
> I think the called code is also responsible form masking 8 and 16bit
> values (in reality char/short args and return values just add code
> bloat).

yes, it does. For example, if an argument has type u8, so
x86_64 might only put a u8 value into 1-byte subregister
and rest of if is undefined. This is what happened to bpf program,
  (1). the whole register/stack is saved to 8-byte stack slot.
  (2). in bpf program, the 8-byte stack slot will be read
       and then cast to u8, so the compiler will do proper
       left shift and right shift to get proper value.

If the argument is u32/s32, the 32-bit subregister 'w*' could
be used without left/right shifting (similar to x86_64 subregister).

So we should be okay here.

> A 128bit value is either passed in two registers or two stack
> slots. If the last register is skipped it will be used for the
> next argument.
>
> 	David
>
> -
> Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK
> Registration No: 1397386 (Wales)