bpf: gas,opcodes: fix pseudoc syntax for MOVS* and LDXS* insns
authorJose E. Marchesi <jose.marchesi@oracle.com>
Mon, 24 Jul 2023 00:11:34 +0000 (02:11 +0200)
committerJose E. Marchesi <jose.marchesi@oracle.com>
Mon, 24 Jul 2023 00:13:17 +0000 (02:13 +0200)
This patch fixes the pseudoc syntax of the V4 instructions MOVS* and
LDXS* in order to reflect https://reviews.llvm.org/D144829.

opcodes/ChangeLog:

2023-07-24  Jose E. Marchesi  <jose.marchesi@oracle.com>

* bpf-opc.c (bpf_opcodes): Fix pseudo-c syntax for MOVS* and LDXS*
instructions.

gas/ChangeLog:

2023-07-24  Jose E. Marchesi  <jose.marchesi@oracle.com>

* doc/c-bpf.texi (BPF Instructions): Fix pseudoc syntax for MOVS*
and LDXS* instructions.
* testsuite/gas/bpf/mem-pseudoc.d: Likewise.
* testsuite/gas/bpf/mem-be-pseudoc.d: Likewise.
* testsuite/gas/bpf/mem-pseudoc.s: Likewise.
* testsuite/gas/bpf/alu-pseudoc.s: Likewise.
* testsuite/gas/bpf/alu-pseudoc.d: Likewise.
* testsuite/gas/bpf/alu-be-pseudoc.d: Likewise.
* testsuite/gas/bpf/alu32-pseudoc.s: Likewise.
* testsuite/gas/bpf/alu32-pseudoc.d: Likewise.
* testsuite/gas/bpf/alu32-be-pseudoc.d: Likewise.

13 files changed:
gas/ChangeLog
gas/doc/c-bpf.texi
gas/testsuite/gas/bpf/alu-be-pseudoc.d
gas/testsuite/gas/bpf/alu-pseudoc.d
gas/testsuite/gas/bpf/alu-pseudoc.s
gas/testsuite/gas/bpf/alu32-be-pseudoc.d
gas/testsuite/gas/bpf/alu32-pseudoc.d
gas/testsuite/gas/bpf/alu32-pseudoc.s
gas/testsuite/gas/bpf/mem-be-pseudoc.d
gas/testsuite/gas/bpf/mem-pseudoc.d
gas/testsuite/gas/bpf/mem-pseudoc.s
opcodes/ChangeLog
opcodes/bpf-opc.c

index b45fd9fa8bd267298e12ffeda243f72ed30f5b36..3d9d795d06c1baf5106ea455f1492e1df022033f 100644 (file)
@@ -1,3 +1,17 @@
+2023-07-24  Jose E. Marchesi  <jose.marchesi@oracle.com>
+
+       * doc/c-bpf.texi (BPF Instructions): Fix pseudoc syntax for MOVS*
+       and LDXS* instructions.
+       * testsuite/gas/bpf/mem-pseudoc.d: Likewise.
+       * testsuite/gas/bpf/mem-be-pseudoc.d: Likewise.
+       * testsuite/gas/bpf/mem-pseudoc.s: Likewise.
+       * testsuite/gas/bpf/alu-pseudoc.s: Likewise.
+       * testsuite/gas/bpf/alu-pseudoc.d: Likewise.
+       * testsuite/gas/bpf/alu-be-pseudoc.d: Likewise.
+       * testsuite/gas/bpf/alu32-pseudoc.s: Likewise.
+       * testsuite/gas/bpf/alu32-pseudoc.d: Likewise.
+       * testsuite/gas/bpf/alu32-be-pseudoc.d: Likewise.
+
 2023-07-24  Jose E. Marchesi  <jose.marchesi@oracle.com>
 
        * config/tc-bpf.c (struct bpf_insn): New field `id'.
index d4fd1819dbe583f996b8c96c25ace802d41c6b17..43190afdf64be285d0ff23e10142fab698a0f3bc 100644 (file)
@@ -264,15 +264,15 @@ Move the 64-bit value of @code{rs} in @code{rd}, or load @code{imm32}
 in @code{rd}.
 
 @item movs rd, rs, 8
-@itemx rd s= (i8) rs
+@itemx rd s= (s8) rs
 Move the sign-extended 8-bit value in @code{rs} to @code{rd}.
 
 @item movs rd, rs, 16
-@itemx rd s= (i16) rs
+@itemx rd s= (s16) rs
 Move the sign-extended 16-bit value in @code{rs} to @code{rd}.
 
 @item movs rd, rs, 32
-@itemx rd s= (i32) rs
+@itemx rd s= (s32) rs
 Move the sign-extended 32-bit value in @code{rs} to @code{rd}.
 @end table
 
@@ -371,15 +371,15 @@ Move the 32-bit value of @code{rs} in @code{rd}, or load @code{imm32}
 in @code{rd}.
 
 @item mov32s rd, rs, 8
-@itemx rd s= (i8) rs
+@itemx rd s= (s8) rs
 Move the sign-extended 8-bit value in @code{rs} to @code{rd}.
 
 @item mov32s rd, rs, 16
-@itemx rd s= (i16) rs
+@itemx rd s= (s16) rs
 Move the sign-extended 16-bit value in @code{rs} to @code{rd}.
 
 @item mov32s rd, rs, 32
-@itemx rd s= (i32) rs
+@itemx rd s= (s32) rs
 Move the sign-extended 32-bit value in @code{rs} to @code{rd}.
 @end table
 
@@ -490,19 +490,19 @@ Signed load to register instructions:
 
 @table @code
 @item ldxsdw rd, [rs + offset16]
-@itemx rd = *(i64 *) (rs + offset16)
+@itemx rd = *(s64 *) (rs + offset16)
 Generic 64-bit signed load.
 
 @item ldxsw rd, [rs + offset16]
-@itemx rd = *(i32 *) (rs + offset16)
+@itemx rd = *(s32 *) (rs + offset16)
 Generic 32-bit signed load.
 
 @item ldxsh rd, [rs + offset16]
-@itemx rd = *(i16 *) (rs + offset16)
+@itemx rd = *(s16 *) (rs + offset16)
 Generic 16-bit signed load.
 
 @item ldxsb rd, [rs + offset16]
-@itemx rd = *(i8 *) (rs + offset16)
+@itemx rd = *(s8 *) (rs + offset16)
 Generic 8-bit signed load.
 @end table
 
index 486d7923478bb3b6b91128dbd6509917af74b34f..5eb7f39aebde9defa1b868b43887db66bb930c22 100644 (file)
@@ -63,6 +63,6 @@ Disassembly of section .text:
  1a0:  dc 60 00 00 00 00 00 10         r6=be16 r6
  1a8:  dc 50 00 00 00 00 00 20         r5=be32 r5
  1b0:  dc 40 00 00 00 00 00 40         r4=be64 r4
- 1b8:  bf 12 00 08 00 00 00 00         r1 s= \(i8\) r2
- 1c0:  bf 12 00 10 00 00 00 00         r1 s= \(i16\) r2
- 1c8:  bf 12 00 20 00 00 00 00         r1 s= \(i32\) r2
+ 1b8:  bf 12 00 08 00 00 00 00         r1 = \(s8\) r2
+ 1c0:  bf 12 00 10 00 00 00 00         r1 = \(s16\) r2
+ 1c8:  bf 12 00 20 00 00 00 00         r1 = \(s32\) r2
index cf1ef2ac0295ffbce8094bc12001f21b8e323f7b..586fc0937fd90e0a81aaa0ae7395e0c8cdc6460d 100644 (file)
@@ -63,6 +63,6 @@ Disassembly of section .text:
  1a0:  dc 06 00 00 10 00 00 00         r6=be16 r6
  1a8:  dc 05 00 00 20 00 00 00         r5=be32 r5
  1b0:  dc 04 00 00 40 00 00 00         r4=be64 r4
- 1b8:  bf 21 08 00 00 00 00 00         r1 s= \(i8\) r2
- 1c0:  bf 21 10 00 00 00 00 00         r1 s= \(i16\) r2
- 1c8:  bf 21 20 00 00 00 00 00         r1 s= \(i32\) r2
+ 1b8:  bf 21 08 00 00 00 00 00         r1 = \(s8\) r2
+ 1c0:  bf 21 10 00 00 00 00 00         r1 = \(s16\) r2
+ 1c8:  bf 21 20 00 00 00 00 00         r1 = \(s32\) r2
index 513c8b8f4f9b48d95165e6f8db41a1014134b747..4a47ba6bd6448eee55e711a441a33ad45d75267d 100644 (file)
@@ -55,6 +55,6 @@
        r6 = be16 r6
        r5 = be32 r5
        r4 = be64 r4
-        r1 s= (i8) r2
-        r1 s= (i16) r2
-        r1 s= (i32) r2
+        r1 = (s8) r2
+        r1 = (s16) r2
+        r1 = (s32) r2
index 79a638fb37ef1d2b5f3426fac7ff55b2e5905f73..f46235ca9033374dc1ceb0ec35e72ffa304750f6 100644 (file)
@@ -57,6 +57,6 @@ Disassembly of section .text:
  170:  c4 40 00 00 7e ad be ef         w4 s>>=0x7eadbeef
  178:  cc 56 00 00 00 00 00 00         w5 s>>=w6
  180:  8c 23 00 00 00 00 00 00         w2=-w3
- 188:  bc 12 00 08 00 00 00 00         w1 s= \(i8\) w2
- 190:  bc 12 00 10 00 00 00 00         w1 s= \(i16\) w2
- 198:  bc 12 00 20 00 00 00 00         w1 s= \(i32\) w2
+ 188:  bc 12 00 08 00 00 00 00         w1 = \(s8\) w2
+ 190:  bc 12 00 10 00 00 00 00         w1 = \(s16\) w2
+ 198:  bc 12 00 20 00 00 00 00         w1 = \(s32\) w2
index 175dd1f1cd611f01d54d6db004e80f97397bb63d..851658a1abec0ff9fd051824bbccab97ae023d8c 100644 (file)
@@ -57,6 +57,6 @@ Disassembly of section .text:
  170:  c4 04 00 00 ef be ad 7e         w4 s>>=0x7eadbeef
  178:  cc 65 00 00 00 00 00 00         w5 s>>=w6
  180:  8c 32 00 00 00 00 00 00         w2=-w3
- 188:  bc 21 08 00 00 00 00 00         w1 s= \(i8\) w2
- 190:  bc 21 10 00 00 00 00 00         w1 s= \(i16\) w2
- 198:  bc 21 20 00 00 00 00 00         w1 s= \(i32\) w2
+ 188:  bc 21 08 00 00 00 00 00         w1 = \(s8\) w2
+ 190:  bc 21 10 00 00 00 00 00         w1 = \(s16\) w2
+ 198:  bc 21 20 00 00 00 00 00         w1 = \(s32\) w2
index 5a0e442154f832a4964e520e4a612b59287a8bad..0922d4cdc58acfb84800bbfc7ab1ab602598b3b1 100644 (file)
@@ -49,6 +49,6 @@
        w4 s>>= 2125315823
        w5 s>>= w6
        w2 = - w3
-        w1 s= (i8) w2
-        w1 s= (i16) w2
-        w1 s= (i32) w2
+        w1 = (s8) w2
+        w1 = (s16) w2
+        w1 = (s32) w2
index 5dff35c225de9a246fa83e98c80d0d8d257b434e..3d40567223f679fa12ab7d16f9a38bc1ddeff138 100644 (file)
@@ -28,9 +28,9 @@ Disassembly of section .text:
   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=\*\(i32\*\)\(r1\+0x7eef\)
-  a8:  89 21 7e ef 00 00 00 00         r2=\*\(i16\*\)\(r1\+0x7eef\)
-  b0:  91 21 7e ef 00 00 00 00         r2=\*\(i8\*\)\(r1\+0x7eef\)
-  b8:  99 21 7e ef 00 00 00 00         r2=\*\(i64\*\)\(r1\+0x7eef\)
+  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\)
index ca94cef51cf6223a79d082b4e1d98793a5fb295c..7c37c16b6b8b9f2eeb38cf70f4546a47853e247f 100644 (file)
@@ -28,9 +28,9 @@ Disassembly of section .text:
   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=\*\(i32\*\)\(r1\+0x7eef\)
-  a8:  89 12 ef 7e 00 00 00 00         r2=\*\(i16\*\)\(r1\+0x7eef\)
-  b0:  91 12 ef 7e 00 00 00 00         r2=\*\(i8\*\)\(r1\+0x7eef\)
-  b8:  99 12 ef 7e 00 00 00 00         r2=\*\(i64\*\)\(r1\+0x7eef\)
+  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\)
index 4a5e588b91afac36851d35e0308311ace80d6628..823083d498a8d11d1705a6ece27dd452078e320c 100644 (file)
@@ -21,9 +21,9 @@
        *(u16 *)(r1 + 0x7eef) = 0x11223344
        *(u32 *)(r1 + 0x7eef) = 0x11223344
        *(u64 *)(r1 + -2) = 0x11223344
-        r2 = *(i32*)(r1+0x7eef)
-        r2 = *(i16*)(r1+0x7eef)
-        r2 = *(i8*)(r1+0x7eef)
-        r2 = *(i64*)(r1+0x7eef)
+        r2 = *(s32*)(r1+0x7eef)
+        r2 = *(s16*)(r1+0x7eef)
+        r2 = *(s8*)(r1+0x7eef)
+        r2 = *(s64*)(r1+0x7eef)
        r0 = *(u64 *)skb[r5 + 0]
        r2 = *(u32 *)(r1 + 0)
index d97eb389c9f3169f41da06221bffebc43c7e56d0..e3848151e28679a7628294bd1cbcc613e1c29513 100644 (file)
@@ -1,3 +1,8 @@
+2023-07-24  Jose E. Marchesi  <jose.marchesi@oracle.com>
+
+       * bpf-opc.c (bpf_opcodes): Fix pseudo-c syntax for MOVS* and LDXS*
+       instructions.
+
 2023-07-23  Jose E. Marchesi  <jose.marchesi@oracle.com>
 
        * bpf-opc.c (bpf_opcodes): Add entry for jal.
index 4ffd86719a7ffff0fe6842901bf8afdb6c70324c..e2691eaad649639c1083b245c2a200bdd68266a2 100644 (file)
@@ -89,11 +89,11 @@ const struct bpf_opcode bpf_opcodes[] =
    BPF_V1, BPF_CODE, BPF_CLASS_ALU64|BPF_CODE_ARSH|BPF_SRC_X},
   {BPF_INSN_ARSHI, "arsh%W%dr , %i32", "%dr%ws>>= %i32",
    BPF_V1, BPF_CODE, BPF_CLASS_ALU64|BPF_CODE_ARSH|BPF_SRC_K},
-  {BPF_INSN_MOVS8R, "movs%W%dr , %sr , 8", "%dr%ws=%w( i8 )%w%sr",
+  {BPF_INSN_MOVS8R, "movs%W%dr , %sr , 8", "%dr%w=%w( s8 )%w%sr",
    BPF_V4, BPF_CODE|BPF_OFFSET16, BPF_CLASS_ALU64|BPF_CODE_MOV|BPF_SRC_X|BPF_OFFSET16_MOVS8},
-  {BPF_INSN_MOVS16R, "movs%W%dr , %sr , 16", "%dr%ws=%w( i16 )%w%sr",
+  {BPF_INSN_MOVS16R, "movs%W%dr , %sr , 16", "%dr%w=%w( s16 )%w%sr",
    BPF_V4, BPF_CODE|BPF_OFFSET16, BPF_CLASS_ALU64|BPF_CODE_MOV|BPF_SRC_X|BPF_OFFSET16_MOVS16},
-  {BPF_INSN_MOVS32R, "movs%W%dr , %sr , 32", "%dr%ws=%w( i32 )%w%sr",
+  {BPF_INSN_MOVS32R, "movs%W%dr , %sr , 32", "%dr%w=%w( s32 )%w%sr",
    BPF_V4, BPF_CODE|BPF_OFFSET16, BPF_CLASS_ALU64|BPF_CODE_MOV|BPF_SRC_X|BPF_OFFSET16_MOVS32},
   {BPF_INSN_MOVR, "mov%W%dr , %sr", "%dr = %sr",
    BPF_V1, BPF_CODE, BPF_CLASS_ALU64|BPF_CODE_MOV|BPF_SRC_X},
@@ -157,11 +157,11 @@ const struct bpf_opcode bpf_opcodes[] =
    BPF_V1, BPF_CODE, BPF_CLASS_ALU|BPF_CODE_ARSH|BPF_SRC_X},
   {BPF_INSN_ARSH32I, "arsh32%W%dr , %i32", "%dw%Ws>>= %i32",
    BPF_V1, BPF_CODE, BPF_CLASS_ALU|BPF_CODE_ARSH|BPF_SRC_K},
-  {BPF_INSN_MOVS328R, "movs32%W%dr , %sr , 8", "%dw%ws=%w( i8 )%w%sw",
+  {BPF_INSN_MOVS328R, "movs32%W%dr , %sr , 8", "%dw%w=%w( s8 )%w%sw",
    BPF_V4, BPF_CODE|BPF_OFFSET16, BPF_CLASS_ALU|BPF_CODE_MOV|BPF_SRC_X|BPF_OFFSET16_MOVS8},
-  {BPF_INSN_MOVS3216R, "movs32%W%dr , %sr , 16", "%dw%ws=%w( i16 )%w%sw",
+  {BPF_INSN_MOVS3216R, "movs32%W%dr , %sr , 16", "%dw%w=%w( s16 )%w%sw",
    BPF_V4, BPF_CODE|BPF_OFFSET16, BPF_CLASS_ALU|BPF_CODE_MOV|BPF_SRC_X|BPF_OFFSET16_MOVS16},
-  {BPF_INSN_MOVS3232R, "movs32%W%dr , %sr , 32", "%dw%ws=%w( i32 )%w%sw",
+  {BPF_INSN_MOVS3232R, "movs32%W%dr , %sr , 32", "%dw%w=%w( s32 )%w%sw",
    BPF_V4, BPF_CODE|BPF_OFFSET16, BPF_CLASS_ALU|BPF_CODE_MOV|BPF_SRC_X|BPF_OFFSET16_MOVS32},
   {BPF_INSN_MOV32R, "mov32%W%dr , %sr", "%dw = %sw",
    BPF_V1, BPF_CODE, BPF_CLASS_ALU|BPF_CODE_MOV|BPF_SRC_X},
@@ -218,13 +218,13 @@ const struct bpf_opcode bpf_opcodes[] =
    BPF_V1, BPF_CODE, BPF_CLASS_LDX|BPF_SIZE_DW|BPF_MODE_MEM},
 
   /* Generic signed load instructions (to register.)  */
-  {BPF_INSN_LDXSB, "ldxsb%W%dr , [ %sr %o16 ]", "%dr = * ( i8 * ) ( %sr %o16 )",
+  {BPF_INSN_LDXSB, "ldxsb%W%dr , [ %sr %o16 ]", "%dr = * ( s8 * ) ( %sr %o16 )",
    BPF_V4, BPF_CODE, BPF_CLASS_LDX|BPF_SIZE_B|BPF_MODE_SMEM},
-  {BPF_INSN_LDXSH, "ldxsh%W%dr , [ %sr %o16 ]", "%dr = * ( i16 * ) ( %sr %o16 )",
+  {BPF_INSN_LDXSH, "ldxsh%W%dr , [ %sr %o16 ]", "%dr = * ( s16 * ) ( %sr %o16 )",
    BPF_V4, BPF_CODE, BPF_CLASS_LDX|BPF_SIZE_H|BPF_MODE_SMEM},
-  {BPF_INSN_LDXSW, "ldxsw%W%dr , [ %sr %o16 ]", "%dr = * ( i32 * ) ( %sr %o16 )",
+  {BPF_INSN_LDXSW, "ldxsw%W%dr , [ %sr %o16 ]", "%dr = * ( s32 * ) ( %sr %o16 )",
    BPF_V4, BPF_CODE, BPF_CLASS_LDX|BPF_SIZE_W|BPF_MODE_SMEM},
-  {BPF_INSN_LDXSDW, "ldxsdw%W%dr , [ %sr %o16 ]","%dr = * ( i64 * ) ( %sr %o16 )",
+  {BPF_INSN_LDXSDW, "ldxsdw%W%dr , [ %sr %o16 ]","%dr = * ( s64 * ) ( %sr %o16 )",
    BPF_V4, BPF_CODE, BPF_CLASS_LDX|BPF_SIZE_DW|BPF_MODE_SMEM},
 
   /* Generic store instructions (from register.)  */