public inbox for binutils@sourceware.org
 help / color / mirror / Atom feed
From: Mark Wielaard <mark@klomp.org>
To: "Jose E. Marchesi" <jose.marchesi@oracle.com>
Cc: binutils@sourceware.org
Subject: Re: [PATCH] bpf: there is no ldinddw nor ldabsdw instructions
Date: Mon, 29 Jan 2024 21:20:00 +0100	[thread overview]
Message-ID: <20240129202000.GF9744@gnu.wildebeest.org> (raw)
In-Reply-To: <87zfwom0sm.fsf@oracle.com>

Hi Jose,

On Mon, Jan 29, 2024 at 07:50:33PM +0100, Jose E. Marchesi wrote:
> 
> Ok today is not my day.
> 
> 1. This ought to be a [COMMITTED].
> 
> 2. The patch I pushed vandalized bfd.texi with this unintended thunk,
>    which I just have reverted.
> 
>   diff --git a/bfd/doc/bfd.texi b/bfd/doc/bfd.texi
>   index 60061d52b6e..e177100561f 100644
>   --- a/bfd/doc/bfd.texi
>   +++ b/bfd/doc/bfd.texi
>   @@ -199,7 +199,6 @@ IEEE-695.
>    * typedef bfd::
>    * Error reporting::
>    * Initialization::
>   -* Threading::
>    * Miscellaneous::
>    * Memory Usage::
>    * Sections::
> 
> My apoloGITes.

Sorry for piling on your already bad day, but it seems that although
this fixed the binutils build, the gdb build still seems broken. When
sim is enabled you'll get:

../../binutils-gdb/sim/bpf/bpf-sim.c: In function ‘execute’:
../../binutils-gdb/sim/bpf/bpf-sim.c:946:10: error: ‘BPF_INSN_LDINDDW’ undeclared (first use in this function); did you mean ‘BPF_INSN_LDINDW’?
  946 |     case BPF_INSN_LDINDDW:
      |          ^~~~~~~~~~~~~~~~
      |          BPF_INSN_LDINDW
../../binutils-gdb/sim/bpf/bpf-sim.c:946:10: note: each undeclared identifier is reported only once for each function it appears in
../../binutils-gdb/sim/bpf/bpf-sim.c:971:10: error: ‘BPF_INSN_LDABSDW’ undeclared (first use in this function); did you mean ‘BPF_INSN_LDABSW’?
  971 |     case BPF_INSN_LDABSDW:
      |          ^~~~~~~~~~~~~~~~
      |          BPF_INSN_LDABSW
make[2]: *** [Makefile:4250: bpf/bpf-sim.o] Error 1

See the state of various builders with the above commit at:
https://builder.sourceware.org/buildbot/#/changes/41472

Could you take a look and update sim/bpf/bpf-sim.c ?

Thanks,

Mark

> > There are no legacy ldind nor ldabs BPF instructions with BPF_SIZE_DW.
> > For some reason we were (incorrectly) supporting these.  This patch
> > updates the opcodes so the instructions get removed and modifies the
> > GAS manual and testsuite accordingly.
> >
> > See discussion at
> > https://lore.kernel.org/bpf/110aad7a-f8a3-46ed-9fda-2f8ee54dcb89@linux.dev
> >
> > Tested in bpf-uknonwn-none target, x86-64-linux-gnu host.
> >
> > include/ChangeLog:
> >
> > 2024-01-29  Jose E. Marchesi  <jose.marchesi@oracle.com>
> >
> > 	* opcode/bpf.h (enum bpf_insn_id): Remove BPF_INSN_LDINDDW and
> > 	BPF_INSN_LDABSDW instructions.
> >
> > opcodes/ChangeLog:
> >
> > 2024-01-29  Jose E. Marchesi  <jose.marchesi@oracle.com>
> >
> > 	* bpf-opc.c (bpf_opcodes): Remove BPF_INSN_LDINDDW and
> > 	BPF_INSN_LDABSDW instructions.
> >
> > gas/ChangeLog:
> >
> > 2024-01-29  Jose E. Marchesi  <jose.marchesi@oracle.com>
> >
> > 	* doc/c-bpf.texi (BPF Instructions): There is no indirect 64-bit
> > 	load instruction.
> > 	(BPF Instructions): There is no absolute 64-bit load instruction.
> > 	* testsuite/gas/bpf/mem.s: Update test accordingly.
> > 	* testsuite/gas/bpf/mem-be-pseudoc.d: Likewise.
> > 	* testsuite/gas/bpf/mem-be.d: Likewise.
> > 	* testsuite/gas/bpf/mem-pseudoc.d: Likewise.
> > 	* testsuite/gas/bpf/mem-pseudoc.s: Likewise.
> > 	* testsuite/gas/bpf/mem.d: Likewise.
> > 	* testsuite/gas/bpf/mem.s: Likewise.
> > ---
> >  bfd/doc/bfd.texi                       |  1 -
> >  gas/ChangeLog                          | 13 ++++++++
> >  gas/doc/c-bpf.texi                     |  8 -----
> >  gas/testsuite/gas/bpf/mem-be-pseudoc.d | 43 ++++++++++++-------------
> >  gas/testsuite/gas/bpf/mem-be.d         | 44 ++++++++++++--------------
> >  gas/testsuite/gas/bpf/mem-pseudoc.d    | 43 ++++++++++++-------------
> >  gas/testsuite/gas/bpf/mem-pseudoc.s    |  3 --
> >  gas/testsuite/gas/bpf/mem.d            | 44 ++++++++++++--------------
> >  gas/testsuite/gas/bpf/mem.s            |  2 --
> >  include/ChangeLog                      |  5 +++
> >  include/opcode/bpf.h                   |  4 +--
> >  opcodes/ChangeLog                      |  5 +++
> >  opcodes/bpf-opc.c                      |  4 ---
> >  13 files changed, 107 insertions(+), 112 deletions(-)
> >
> > diff --git a/bfd/doc/bfd.texi b/bfd/doc/bfd.texi
> > index 60061d52b6e..e177100561f 100644
> > --- a/bfd/doc/bfd.texi
> > +++ b/bfd/doc/bfd.texi
> > @@ -199,7 +199,6 @@ IEEE-695.
> >  * typedef bfd::
> >  * Error reporting::
> >  * Initialization::
> > -* Threading::
> >  * Miscellaneous::
> >  * Memory Usage::
> >  * Sections::
> > diff --git a/gas/ChangeLog b/gas/ChangeLog
> > index 7d390dbdce8..b1c8d09bf1b 100644
> > --- a/gas/ChangeLog
> > +++ b/gas/ChangeLog
> > @@ -1,3 +1,16 @@
> > +2024-01-29  Jose E. Marchesi  <jose.marchesi@oracle.com>
> > +
> > +	* doc/c-bpf.texi (BPF Instructions): There is no indirect 64-bit
> > +	load instruction.
> > +	(BPF Instructions): There is no absolute 64-bit load instruction.
> > +	* testsuite/gas/bpf/mem.s: Update test accordingly.
> > +	* testsuite/gas/bpf/mem-be-pseudoc.d: Likewise.
> > +	* testsuite/gas/bpf/mem-be.d: Likewise.
> > +	* testsuite/gas/bpf/mem-pseudoc.d: Likewise.
> > +	* testsuite/gas/bpf/mem-pseudoc.s: Likewise.
> > +	* testsuite/gas/bpf/mem.d: Likewise.
> > +	* testsuite/gas/bpf/mem.s: Likewise.
> > +
> >  2024-01-15  Nick Clifton  <nickc@redhat.com>
> >  
> >  	* configure: Regenerate.
> > diff --git a/gas/doc/c-bpf.texi b/gas/doc/c-bpf.texi
> > index db8cd1115fd..d99538f16a9 100644
> > --- a/gas/doc/c-bpf.texi
> > +++ b/gas/doc/c-bpf.texi
> > @@ -451,10 +451,6 @@ tree for more information.
> >  Absolute loads:
> >  
> >  @table @code
> > -@item ldabsdw imm32
> > -@itemx r0 = *(u64 *) skb[imm32]
> > -Absolute 64-bit load.
> > -
> >  @item ldabsw imm32
> >  @itemx r0 = *(u32 *) skb[imm32]
> >  Absolute 32-bit load.
> > @@ -471,10 +467,6 @@ Absolute 8-bit load.
> >  Indirect loads:
> >  
> >  @table @code
> > -@item ldinddw rs, imm32
> > -@itemx r0 = *(u64 *) skb[rs + imm32]
> > -Indirect 64-bit load.
> > -
> >  @item ldindw rs, imm32
> >  @itemx r0 = *(u32 *) skb[rs + imm32]
> >  Indirect 32-bit load.
> > diff --git a/gas/testsuite/gas/bpf/mem-be-pseudoc.d b/gas/testsuite/gas/bpf/mem-be-pseudoc.d
> > index 3d40567223f..b7715c463a2 100644
> > --- a/gas/testsuite/gas/bpf/mem-be-pseudoc.d
> > +++ b/gas/testsuite/gas/bpf/mem-be-pseudoc.d
> > @@ -11,26 +11,23 @@ Disassembly of section .text:
> >     0:	20 00 00 00 00 00 be ef 	r0=\*\(u32\*\)skb\[0xbeef\]
> >     8:	28 00 00 00 00 00 be ef 	r0=\*\(u16\*\)skb\[0xbeef\]
> >    10:	30 00 00 00 00 00 be ef 	r0=\*\(u8\*\)skb\[0xbeef\]
> > -  18:	38 00 00 00 00 00 be ef 	r0=\*\(u64\*\)skb\[0xbeef\]
> > -  20:	40 03 00 00 00 00 be ef 	r0=\*\(u32\*\)skb\[r3\+0xbeef\]
> > -  28:	48 05 00 00 00 00 be ef 	r0=\*\(u16\*\)skb\[r5\+0xbeef\]
> > -  30:	50 07 00 00 00 00 be ef 	r0=\*\(u8\*\)skb\[r7\+0xbeef\]
> > -  38:	58 09 00 00 00 00 be ef 	r0=\*\(u64\*\)skb\[r9\+0xbeef\]
> > -  40:	61 21 7e ef 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x7eef\)
> > -  48:	69 21 7e ef 00 00 00 00 	r2=\*\(u16\*\)\(r1\+0x7eef\)
> > -  50:	71 21 7e ef 00 00 00 00 	r2=\*\(u8\*\)\(r1\+0x7eef\)
> > -  58:	79 21 ff fe 00 00 00 00 	r2=\*\(u64\*\)\(r1\+0xfffe\)
> > -  60:	63 12 7e ef 00 00 00 00 	\*\(u32\*\)\(r1\+0x7eef\)=r2
> > -  68:	6b 12 7e ef 00 00 00 00 	\*\(u16\*\)\(r1\+0x7eef\)=r2
> > -  70:	73 12 7e ef 00 00 00 00 	\*\(u8\*\)\(r1\+0x7eef\)=r2
> > -  78:	7b 12 ff fe 00 00 00 00 	\*\(u64\*\)\(r1\+0xfffe\)=r2
> > -  80:	72 10 7e ef 11 22 33 44 	\*\(u8\*\)\(r1\+0x7eef\)=0x11223344
> > -  88:	6a 10 7e ef 11 22 33 44 	\*\(u16\*\)\(r1\+0x7eef\)=0x11223344
> > -  90:	62 10 7e ef 11 22 33 44 	\*\(u32\*\)\(r1\+0x7eef\)=0x11223344
> > -  98:	7a 10 ff fe 11 22 33 44 	\*\(u64\*\)\(r1\+0xfffe\)=0x11223344
> > -  a0:	81 21 7e ef 00 00 00 00 	r2=\*\(s32\*\)\(r1\+0x7eef\)
> > -  a8:	89 21 7e ef 00 00 00 00 	r2=\*\(s16\*\)\(r1\+0x7eef\)
> > -  b0:	91 21 7e ef 00 00 00 00 	r2=\*\(s8\*\)\(r1\+0x7eef\)
> > -  b8:	99 21 7e ef 00 00 00 00 	r2=\*\(s64\*\)\(r1\+0x7eef\)
> > -  c0:	58 05 00 00 00 00 00 00 	r0=\*\(u64\*\)skb\[r5\+0x0\]
> > -  c8:	61 21 00 00 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x0\)
> > +  18:	40 03 00 00 00 00 be ef 	r0=\*\(u32\*\)skb\[r3\+0xbeef\]
> > +  20:	48 05 00 00 00 00 be ef 	r0=\*\(u16\*\)skb\[r5\+0xbeef\]
> > +  28:	50 07 00 00 00 00 be ef 	r0=\*\(u8\*\)skb\[r7\+0xbeef\]
> > +  30:	61 21 7e ef 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x7eef\)
> > +  38:	69 21 7e ef 00 00 00 00 	r2=\*\(u16\*\)\(r1\+0x7eef\)
> > +  40:	71 21 7e ef 00 00 00 00 	r2=\*\(u8\*\)\(r1\+0x7eef\)
> > +  48:	79 21 ff fe 00 00 00 00 	r2=\*\(u64\*\)\(r1\+0xfffe\)
> > +  50:	63 12 7e ef 00 00 00 00 	\*\(u32\*\)\(r1\+0x7eef\)=r2
> > +  58:	6b 12 7e ef 00 00 00 00 	\*\(u16\*\)\(r1\+0x7eef\)=r2
> > +  60:	73 12 7e ef 00 00 00 00 	\*\(u8\*\)\(r1\+0x7eef\)=r2
> > +  68:	7b 12 ff fe 00 00 00 00 	\*\(u64\*\)\(r1\+0xfffe\)=r2
> > +  70:	72 10 7e ef 11 22 33 44 	\*\(u8\*\)\(r1\+0x7eef\)=0x11223344
> > +  78:	6a 10 7e ef 11 22 33 44 	\*\(u16\*\)\(r1\+0x7eef\)=0x11223344
> > +  80:	62 10 7e ef 11 22 33 44 	\*\(u32\*\)\(r1\+0x7eef\)=0x11223344
> > +  88:	7a 10 ff fe 11 22 33 44 	\*\(u64\*\)\(r1\+0xfffe\)=0x11223344
> > +  90:	81 21 7e ef 00 00 00 00 	r2=\*\(s32\*\)\(r1\+0x7eef\)
> > +  98:	89 21 7e ef 00 00 00 00 	r2=\*\(s16\*\)\(r1\+0x7eef\)
> > +  a0:	91 21 7e ef 00 00 00 00 	r2=\*\(s8\*\)\(r1\+0x7eef\)
> > +  a8:	99 21 7e ef 00 00 00 00 	r2=\*\(s64\*\)\(r1\+0x7eef\)
> > +  b0:	61 21 00 00 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x0\)
> > diff --git a/gas/testsuite/gas/bpf/mem-be.d b/gas/testsuite/gas/bpf/mem-be.d
> > index cd7b35c60a3..fc71cbda9e1 100644
> > --- a/gas/testsuite/gas/bpf/mem-be.d
> > +++ b/gas/testsuite/gas/bpf/mem-be.d
> > @@ -11,26 +11,24 @@ Disassembly of section .text:
> >     0:	20 00 00 00 00 00 be ef 	ldabsw 0xbeef
> >     8:	28 00 00 00 00 00 be ef 	ldabsh 0xbeef
> >    10:	30 00 00 00 00 00 be ef 	ldabsb 0xbeef
> > -  18:	38 00 00 00 00 00 be ef 	ldabsdw 0xbeef
> > -  20:	40 03 00 00 00 00 be ef 	ldindw %r3,0xbeef
> > -  28:	48 05 00 00 00 00 be ef 	ldindh %r5,0xbeef
> > -  30:	50 07 00 00 00 00 be ef 	ldindb %r7,0xbeef
> > -  38:	58 09 00 00 00 00 be ef 	ldinddw %r9,0xbeef
> > -  40:	61 21 7e ef 00 00 00 00 	ldxw %r2,\[%r1\+0x7eef\]
> > -  48:	69 21 7e ef 00 00 00 00 	ldxh %r2,\[%r1\+0x7eef\]
> > -  50:	71 21 7e ef 00 00 00 00 	ldxb %r2,\[%r1\+0x7eef\]
> > -  58:	79 21 ff fe 00 00 00 00 	ldxdw %r2,\[%r1\+0xfffe\]
> > -  60:	63 12 7e ef 00 00 00 00 	stxw \[%r1\+0x7eef\],%r2
> > -  68:	6b 12 7e ef 00 00 00 00 	stxh \[%r1\+0x7eef\],%r2
> > -  70:	73 12 7e ef 00 00 00 00 	stxb \[%r1\+0x7eef\],%r2
> > -  78:	7b 12 ff fe 00 00 00 00 	stxdw \[%r1\+0xfffe\],%r2
> > -  80:	72 10 7e ef 11 22 33 44 	stb \[%r1\+0x7eef\],0x11223344
> > -  88:	6a 10 7e ef 11 22 33 44 	sth \[%r1\+0x7eef\],0x11223344
> > -  90:	62 10 7e ef 11 22 33 44 	stw \[%r1\+0x7eef\],0x11223344
> > -  98:	7a 10 ff fe 11 22 33 44 	stdw \[%r1\+0xfffe\],0x11223344
> > -  a0:	81 21 7e ef 00 00 00 00 	ldxsw %r2,\[%r1\+0x7eef\]
> > -  a8:	89 21 7e ef 00 00 00 00 	ldxsh %r2,\[%r1\+0x7eef\]
> > -  b0:	91 21 7e ef 00 00 00 00 	ldxsb %r2,\[%r1\+0x7eef\]
> > -  b8:	99 21 7e ef 00 00 00 00 	ldxsdw %r2,\[%r1\+0x7eef\]
> > -  c0:	79 21 00 00 00 00 00 00 	ldxdw %r2,\[%r1\+0x0\]
> > -  c8:	40 03 00 00 00 00 00 00 	ldindw %r3,0x0
> > +  18:	40 03 00 00 00 00 be ef 	ldindw %r3,0xbeef
> > +  20:	48 05 00 00 00 00 be ef 	ldindh %r5,0xbeef
> > +  28:	50 07 00 00 00 00 be ef 	ldindb %r7,0xbeef
> > +  30:	61 21 7e ef 00 00 00 00 	ldxw %r2,\[%r1\+0x7eef\]
> > +  38:	69 21 7e ef 00 00 00 00 	ldxh %r2,\[%r1\+0x7eef\]
> > +  40:	71 21 7e ef 00 00 00 00 	ldxb %r2,\[%r1\+0x7eef\]
> > +  48:	79 21 ff fe 00 00 00 00 	ldxdw %r2,\[%r1\+0xfffe\]
> > +  50:	63 12 7e ef 00 00 00 00 	stxw \[%r1\+0x7eef\],%r2
> > +  58:	6b 12 7e ef 00 00 00 00 	stxh \[%r1\+0x7eef\],%r2
> > +  60:	73 12 7e ef 00 00 00 00 	stxb \[%r1\+0x7eef\],%r2
> > +  68:	7b 12 ff fe 00 00 00 00 	stxdw \[%r1\+0xfffe\],%r2
> > +  70:	72 10 7e ef 11 22 33 44 	stb \[%r1\+0x7eef\],0x11223344
> > +  78:	6a 10 7e ef 11 22 33 44 	sth \[%r1\+0x7eef\],0x11223344
> > +  80:	62 10 7e ef 11 22 33 44 	stw \[%r1\+0x7eef\],0x11223344
> > +  88:	7a 10 ff fe 11 22 33 44 	stdw \[%r1\+0xfffe\],0x11223344
> > +  90:	81 21 7e ef 00 00 00 00 	ldxsw %r2,\[%r1\+0x7eef\]
> > +  98:	89 21 7e ef 00 00 00 00 	ldxsh %r2,\[%r1\+0x7eef\]
> > +  a0:	91 21 7e ef 00 00 00 00 	ldxsb %r2,\[%r1\+0x7eef\]
> > +  a8:	99 21 7e ef 00 00 00 00 	ldxsdw %r2,\[%r1\+0x7eef\]
> > +  b0:	79 21 00 00 00 00 00 00 	ldxdw %r2,\[%r1\+0x0\]
> > +  b8:	40 03 00 00 00 00 00 00 	ldindw %r3,0x0
> > diff --git a/gas/testsuite/gas/bpf/mem-pseudoc.d b/gas/testsuite/gas/bpf/mem-pseudoc.d
> > index 7c37c16b6b8..b704de51f8f 100644
> > --- a/gas/testsuite/gas/bpf/mem-pseudoc.d
> > +++ b/gas/testsuite/gas/bpf/mem-pseudoc.d
> > @@ -11,26 +11,23 @@ Disassembly of section .text:
> >     0:	20 00 00 00 ef be 00 00 	r0=\*\(u32\*\)skb\[0xbeef\]
> >     8:	28 00 00 00 ef be 00 00 	r0=\*\(u16\*\)skb\[0xbeef\]
> >    10:	30 00 00 00 ef be 00 00 	r0=\*\(u8\*\)skb\[0xbeef\]
> > -  18:	38 00 00 00 ef be 00 00 	r0=\*\(u64\*\)skb\[0xbeef\]
> > -  20:	40 30 00 00 ef be 00 00 	r0=\*\(u32\*\)skb\[r3\+0xbeef\]
> > -  28:	48 50 00 00 ef be 00 00 	r0=\*\(u16\*\)skb\[r5\+0xbeef\]
> > -  30:	50 70 00 00 ef be 00 00 	r0=\*\(u8\*\)skb\[r7\+0xbeef\]
> > -  38:	58 90 00 00 ef be 00 00 	r0=\*\(u64\*\)skb\[r9\+0xbeef\]
> > -  40:	61 12 ef 7e 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x7eef\)
> > -  48:	69 12 ef 7e 00 00 00 00 	r2=\*\(u16\*\)\(r1\+0x7eef\)
> > -  50:	71 12 ef 7e 00 00 00 00 	r2=\*\(u8\*\)\(r1\+0x7eef\)
> > -  58:	79 12 fe ff 00 00 00 00 	r2=\*\(u64\*\)\(r1\+0xfffe\)
> > -  60:	63 21 ef 7e 00 00 00 00 	\*\(u32\*\)\(r1\+0x7eef\)=r2
> > -  68:	6b 21 ef 7e 00 00 00 00 	\*\(u16\*\)\(r1\+0x7eef\)=r2
> > -  70:	73 21 ef 7e 00 00 00 00 	\*\(u8\*\)\(r1\+0x7eef\)=r2
> > -  78:	7b 21 fe ff 00 00 00 00 	\*\(u64\*\)\(r1\+0xfffe\)=r2
> > -  80:	72 01 ef 7e 44 33 22 11 	\*\(u8\*\)\(r1\+0x7eef\)=0x11223344
> > -  88:	6a 01 ef 7e 44 33 22 11 	\*\(u16\*\)\(r1\+0x7eef\)=0x11223344
> > -  90:	62 01 ef 7e 44 33 22 11 	\*\(u32\*\)\(r1\+0x7eef\)=0x11223344
> > -  98:	7a 01 fe ff 44 33 22 11 	\*\(u64\*\)\(r1\+0xfffe\)=0x11223344
> > -  a0:	81 12 ef 7e 00 00 00 00 	r2=\*\(s32\*\)\(r1\+0x7eef\)
> > -  a8:	89 12 ef 7e 00 00 00 00 	r2=\*\(s16\*\)\(r1\+0x7eef\)
> > -  b0:	91 12 ef 7e 00 00 00 00 	r2=\*\(s8\*\)\(r1\+0x7eef\)
> > -  b8:	99 12 ef 7e 00 00 00 00 	r2=\*\(s64\*\)\(r1\+0x7eef\)
> > -  c0:	58 50 00 00 00 00 00 00 	r0=\*\(u64\*\)skb\[r5\+0x0\]
> > -  c8:	61 12 00 00 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x0\)
> > +  18:	40 30 00 00 ef be 00 00 	r0=\*\(u32\*\)skb\[r3\+0xbeef\]
> > +  20:	48 50 00 00 ef be 00 00 	r0=\*\(u16\*\)skb\[r5\+0xbeef\]
> > +  28:	50 70 00 00 ef be 00 00 	r0=\*\(u8\*\)skb\[r7\+0xbeef\]
> > +  30:	61 12 ef 7e 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x7eef\)
> > +  38:	69 12 ef 7e 00 00 00 00 	r2=\*\(u16\*\)\(r1\+0x7eef\)
> > +  40:	71 12 ef 7e 00 00 00 00 	r2=\*\(u8\*\)\(r1\+0x7eef\)
> > +  48:	79 12 fe ff 00 00 00 00 	r2=\*\(u64\*\)\(r1\+0xfffe\)
> > +  50:	63 21 ef 7e 00 00 00 00 	\*\(u32\*\)\(r1\+0x7eef\)=r2
> > +  58:	6b 21 ef 7e 00 00 00 00 	\*\(u16\*\)\(r1\+0x7eef\)=r2
> > +  60:	73 21 ef 7e 00 00 00 00 	\*\(u8\*\)\(r1\+0x7eef\)=r2
> > +  68:	7b 21 fe ff 00 00 00 00 	\*\(u64\*\)\(r1\+0xfffe\)=r2
> > +  70:	72 01 ef 7e 44 33 22 11 	\*\(u8\*\)\(r1\+0x7eef\)=0x11223344
> > +  78:	6a 01 ef 7e 44 33 22 11 	\*\(u16\*\)\(r1\+0x7eef\)=0x11223344
> > +  80:	62 01 ef 7e 44 33 22 11 	\*\(u32\*\)\(r1\+0x7eef\)=0x11223344
> > +  88:	7a 01 fe ff 44 33 22 11 	\*\(u64\*\)\(r1\+0xfffe\)=0x11223344
> > +  90:	81 12 ef 7e 00 00 00 00 	r2=\*\(s32\*\)\(r1\+0x7eef\)
> > +  98:	89 12 ef 7e 00 00 00 00 	r2=\*\(s16\*\)\(r1\+0x7eef\)
> > +  a0:	91 12 ef 7e 00 00 00 00 	r2=\*\(s8\*\)\(r1\+0x7eef\)
> > +  a8:	99 12 ef 7e 00 00 00 00 	r2=\*\(s64\*\)\(r1\+0x7eef\)
> > +  b0:	61 12 00 00 00 00 00 00 	r2=\*\(u32\*\)\(r1\+0x0\)
> > diff --git a/gas/testsuite/gas/bpf/mem-pseudoc.s b/gas/testsuite/gas/bpf/mem-pseudoc.s
> > index 823083d498a..19907753916 100644
> > --- a/gas/testsuite/gas/bpf/mem-pseudoc.s
> > +++ b/gas/testsuite/gas/bpf/mem-pseudoc.s
> > @@ -4,11 +4,9 @@
> >  	r0 = *(u32 *)skb[48879]
> >  	r0 = *(u16 *)skb[48879]
> >  	r0 = *(u8 *)skb[48879]
> > -	r0 = *(u64 *)skb[48879]
> >  	r0 = *(u32 *)skb[r3 + 0xbeef]
> >  	r0 = *(u16 *)skb[r5 + 0xbeef]
> >  	r0 = *(u8 *)skb[r7 + 0xbeef]
> > -	r0 = *(u64 *)skb[r9 + 0xbeef]
> >  	r2 = *(u32 *)(r1 + 32495)
> >  	r2 = *(u16 *)(r1 + 32495)
> >  	r2 = *(u8 *)(r1 + 32495)
> > @@ -25,5 +23,4 @@
> >          r2 = *(s16*)(r1+0x7eef)
> >          r2 = *(s8*)(r1+0x7eef)
> >          r2 = *(s64*)(r1+0x7eef)
> > -	r0 = *(u64 *)skb[r5 + 0]
> >  	r2 = *(u32 *)(r1 + 0)
> > diff --git a/gas/testsuite/gas/bpf/mem.d b/gas/testsuite/gas/bpf/mem.d
> > index 9a1e7095df0..e51ebb103fb 100644
> > --- a/gas/testsuite/gas/bpf/mem.d
> > +++ b/gas/testsuite/gas/bpf/mem.d
> > @@ -11,26 +11,24 @@ Disassembly of section .text:
> >     0:	20 00 00 00 ef be 00 00 	ldabsw 0xbeef
> >     8:	28 00 00 00 ef be 00 00 	ldabsh 0xbeef
> >    10:	30 00 00 00 ef be 00 00 	ldabsb 0xbeef
> > -  18:	38 00 00 00 ef be 00 00 	ldabsdw 0xbeef
> > -  20:	40 30 00 00 ef be 00 00 	ldindw %r3,0xbeef
> > -  28:	48 50 00 00 ef be 00 00 	ldindh %r5,0xbeef
> > -  30:	50 70 00 00 ef be 00 00 	ldindb %r7,0xbeef
> > -  38:	58 90 00 00 ef be 00 00 	ldinddw %r9,0xbeef
> > -  40:	61 12 ef 7e 00 00 00 00 	ldxw %r2,\[%r1\+0x7eef\]
> > -  48:	69 12 ef 7e 00 00 00 00 	ldxh %r2,\[%r1\+0x7eef\]
> > -  50:	71 12 ef 7e 00 00 00 00 	ldxb %r2,\[%r1\+0x7eef\]
> > -  58:	79 12 fe ff 00 00 00 00 	ldxdw %r2,\[%r1\+0xfffe\]
> > -  60:	63 21 ef 7e 00 00 00 00 	stxw \[%r1\+0x7eef\],%r2
> > -  68:	6b 21 ef 7e 00 00 00 00 	stxh \[%r1\+0x7eef\],%r2
> > -  70:	73 21 ef 7e 00 00 00 00 	stxb \[%r1\+0x7eef\],%r2
> > -  78:	7b 21 fe ff 00 00 00 00 	stxdw \[%r1\+0xfffe\],%r2
> > -  80:	72 01 ef 7e 44 33 22 11 	stb \[%r1\+0x7eef\],0x11223344
> > -  88:	6a 01 ef 7e 44 33 22 11 	sth \[%r1\+0x7eef\],0x11223344
> > -  90:	62 01 ef 7e 44 33 22 11 	stw \[%r1\+0x7eef\],0x11223344
> > -  98:	7a 01 fe ff 44 33 22 11 	stdw \[%r1\+0xfffe\],0x11223344
> > -  a0:	81 12 ef 7e 00 00 00 00 	ldxsw %r2,\[%r1\+0x7eef\]
> > -  a8:	89 12 ef 7e 00 00 00 00 	ldxsh %r2,\[%r1\+0x7eef\]
> > -  b0:	91 12 ef 7e 00 00 00 00 	ldxsb %r2,\[%r1\+0x7eef\]
> > -  b8:	99 12 ef 7e 00 00 00 00 	ldxsdw %r2,\[%r1\+0x7eef\]
> > -  c0:	79 12 00 00 00 00 00 00 	ldxdw %r2,\[%r1\+0x0\]
> > -  c8:	40 30 00 00 00 00 00 00 	ldindw %r3,0x0
> > +  18:	40 30 00 00 ef be 00 00 	ldindw %r3,0xbeef
> > +  20:	48 50 00 00 ef be 00 00 	ldindh %r5,0xbeef
> > +  28:	50 70 00 00 ef be 00 00 	ldindb %r7,0xbeef
> > +  30:	61 12 ef 7e 00 00 00 00 	ldxw %r2,\[%r1\+0x7eef\]
> > +  38:	69 12 ef 7e 00 00 00 00 	ldxh %r2,\[%r1\+0x7eef\]
> > +  40:	71 12 ef 7e 00 00 00 00 	ldxb %r2,\[%r1\+0x7eef\]
> > +  48:	79 12 fe ff 00 00 00 00 	ldxdw %r2,\[%r1\+0xfffe\]
> > +  50:	63 21 ef 7e 00 00 00 00 	stxw \[%r1\+0x7eef\],%r2
> > +  58:	6b 21 ef 7e 00 00 00 00 	stxh \[%r1\+0x7eef\],%r2
> > +  60:	73 21 ef 7e 00 00 00 00 	stxb \[%r1\+0x7eef\],%r2
> > +  68:	7b 21 fe ff 00 00 00 00 	stxdw \[%r1\+0xfffe\],%r2
> > +  70:	72 01 ef 7e 44 33 22 11 	stb \[%r1\+0x7eef\],0x11223344
> > +  78:	6a 01 ef 7e 44 33 22 11 	sth \[%r1\+0x7eef\],0x11223344
> > +  80:	62 01 ef 7e 44 33 22 11 	stw \[%r1\+0x7eef\],0x11223344
> > +  88:	7a 01 fe ff 44 33 22 11 	stdw \[%r1\+0xfffe\],0x11223344
> > +  90:	81 12 ef 7e 00 00 00 00 	ldxsw %r2,\[%r1\+0x7eef\]
> > +  98:	89 12 ef 7e 00 00 00 00 	ldxsh %r2,\[%r1\+0x7eef\]
> > +  a0:	91 12 ef 7e 00 00 00 00 	ldxsb %r2,\[%r1\+0x7eef\]
> > +  a8:	99 12 ef 7e 00 00 00 00 	ldxsdw %r2,\[%r1\+0x7eef\]
> > +  b0:	79 12 00 00 00 00 00 00 	ldxdw %r2,\[%r1\+0x0\]
> > +  b8:	40 30 00 00 00 00 00 00 	ldindw %r3,0x0
> > diff --git a/gas/testsuite/gas/bpf/mem.s b/gas/testsuite/gas/bpf/mem.s
> > index adeda473bb8..1a10b595af0 100644
> > --- a/gas/testsuite/gas/bpf/mem.s
> > +++ b/gas/testsuite/gas/bpf/mem.s
> > @@ -5,11 +5,9 @@
> >   	ldabsw 0xbeef
> >  	ldabsh 0xbeef
> >   	ldabsb 0xbeef
> > - 	ldabsdw 0xbeef
> >  	ldindw %r3, 0xbeef
> >   	ldindh %r5, 0xbeef
> >   	ldindb %r7, 0xbeef
> > - 	ldinddw %r9, 0xbeef
> >   	ldxw %r2, [%r1+0x7eef]
> >   	ldxh %r2, [%r1+0x7eef]
> >   	ldxb %r2, [%r1+0x7eef]
> > diff --git a/include/ChangeLog b/include/ChangeLog
> > index 1c9477a022e..4b667bfa307 100644
> > --- a/include/ChangeLog
> > +++ b/include/ChangeLog
> > @@ -1,3 +1,8 @@
> > +2024-01-29  Jose E. Marchesi  <jose.marchesi@oracle.com>
> > +
> > +	* opcode/bpf.h (enum bpf_insn_id): Remove BPF_INSN_LDINDDW and
> > +	BPF_INSN_LDABSDW instructions.
> > +
> >  2024-01-15  Nick Clifton  <nickc@redhat.com>
> >  
> >  	* 2.42 branch point.
> > diff --git a/include/opcode/bpf.h b/include/opcode/bpf.h
> > index 61f1ec8a079..df1e3bd0918 100644
> > --- a/include/opcode/bpf.h
> > +++ b/include/opcode/bpf.h
> > @@ -188,9 +188,9 @@ enum bpf_insn_id
> >    BPF_INSN_ENDLE16, BPF_INSN_ENDLE32, BPF_INSN_ENDLE64,
> >    BPF_INSN_ENDBE16, BPF_INSN_ENDBE32, BPF_INSN_ENDBE64,
> >    /* Absolute load instructions.  */
> > -  BPF_INSN_LDABSB, BPF_INSN_LDABSH, BPF_INSN_LDABSW, BPF_INSN_LDABSDW,
> > +  BPF_INSN_LDABSB, BPF_INSN_LDABSH, BPF_INSN_LDABSW,
> >    /* Indirect load instructions.  */
> > -  BPF_INSN_LDINDB, BPF_INSN_LDINDH, BPF_INSN_LDINDW, BPF_INSN_LDINDDW,
> > +  BPF_INSN_LDINDB, BPF_INSN_LDINDH, BPF_INSN_LDINDW,
> >    /* Generic load instructions (to register.)  */
> >    BPF_INSN_LDXB, BPF_INSN_LDXH, BPF_INSN_LDXW, BPF_INSN_LDXDW,
> >    /* Generic signed load instructions.  */
> > diff --git a/opcodes/ChangeLog b/opcodes/ChangeLog
> > index a83b68e4a55..4bc815780fd 100644
> > --- a/opcodes/ChangeLog
> > +++ b/opcodes/ChangeLog
> > @@ -1,3 +1,8 @@
> > +2024-01-29  Jose E. Marchesi  <jose.marchesi@oracle.com>
> > +
> > +	* bpf-opc.c (bpf_opcodes): Remove BPF_INSN_LDINDDW and
> > +	BPF_INSN_LDABSDW instructions.
> > +
> >  2024-01-15  Nick Clifton  <nickc@redhat.com>
> >  
> >  	* configure: Regenerate.
> > diff --git a/opcodes/bpf-opc.c b/opcodes/bpf-opc.c
> > index 750d048aae3..19e096501a2 100644
> > --- a/opcodes/bpf-opc.c
> > +++ b/opcodes/bpf-opc.c
> > @@ -198,8 +198,6 @@ const struct bpf_opcode bpf_opcodes[] =
> >     BPF_V1, BPF_CODE, BPF_CLASS_LD|BPF_SIZE_H|BPF_MODE_IND},
> >    {BPF_INSN_LDINDW, "ldindw%W%sr , %i32", "r0 = * ( u32 * ) skb [ %sr %I32 ]",
> >     BPF_V1, BPF_CODE, BPF_CLASS_LD|BPF_SIZE_W|BPF_MODE_IND},
> > -  {BPF_INSN_LDINDDW, "ldinddw%W%sr , %i32", "r0 = * ( u64 * ) skb [ %sr %I32 ]",
> > -   BPF_V1, BPF_CODE, BPF_CLASS_LD|BPF_SIZE_DW|BPF_MODE_IND},
> >  
> >    /* Absolute load instructions, designed to be used in socket filters.  */
> >    {BPF_INSN_LDABSB, "ldabsb%W%i32", "r0 = * ( u8 * ) skb [ %i32 ]",
> > @@ -208,8 +206,6 @@ const struct bpf_opcode bpf_opcodes[] =
> >     BPF_V1, BPF_CODE, BPF_CLASS_LD|BPF_SIZE_H|BPF_MODE_ABS},
> >    {BPF_INSN_LDABSW, "ldabsw%W%i32", "r0 = * ( u32 * ) skb [ %i32 ]",
> >     BPF_V1, BPF_CODE, BPF_CLASS_LD|BPF_SIZE_W|BPF_MODE_ABS},
> > -  {BPF_INSN_LDABSDW, "ldabsdw%W%i32", "r0 = * ( u64 * ) skb [ %i32 ]",
> > -   BPF_V1, BPF_CODE, BPF_CLASS_LD|BPF_SIZE_DW|BPF_MODE_ABS},
> >  
> >    /* Generic load instructions (to register.)  */
> >    {BPF_INSN_LDXB, "ldxb%W%dr , [ %sr %o16 ]", "%dr = * ( u8 * ) ( %sr %o16 )",

  reply	other threads:[~2024-01-29 20:20 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-01-29 18:28 Jose E. Marchesi
2024-01-29 18:50 ` Jose E. Marchesi
2024-01-29 20:20   ` Mark Wielaard [this message]
2024-01-29 21:37     ` Jose E. Marchesi

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20240129202000.GF9744@gnu.wildebeest.org \
    --to=mark@klomp.org \
    --cc=binutils@sourceware.org \
    --cc=jose.marchesi@oracle.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).