[PATCH 8/8] Support APX JMPABS
Cui, Lili
lili.cui@intel.com
Tue Sep 19 15:25:27 GMT 2023
From: "Hu, Lin1" <lin1.hu@intel.com>
gas/ChangeLog:
* config/tc-i386.c (is_any_apx_encoding): Add jmpabs.
(is_any_apx_rex2_encoding): Ditto.
* testsuite/gas/i386/i386.exp: Add tests.
* testsuite/gas/i386/x86-64.exp: Ditto.
* testsuite/gas/i386/apx-jmpabs-inval.l: New test.
* testsuite/gas/i386/apx-jmpabs-inval.s: Ditto.
* testsuite/gas/i386/x86-64-apx-jmpabs-intel.d: Ditto.
* testsuite/gas/i386/x86-64-apx-jmpabs-inval.d: Ditto.
* testsuite/gas/i386/x86-64-apx-jmpabs-inval.s: Ditto.
* testsuite/gas/i386/x86-64-apx-mov-inval.l: Ditto.
* testsuite/gas/i386/x86-64-apx-mov-inval.s: Ditto.
* testsuite/gas/i386/x86-64-apx-jmpabs.d: Ditto.
* testsuite/gas/i386/x86-64-apx-jmpabs.s: Ditto.
opcodes/ChangeLog:
* i386-dis.c (JMPABS_Fixup): New Fixup function to disassemble jmpabs.
(print_insn): Add #UD exception for jmpabs.
(dis386): Modify a1 unit for support jmpabs.
* i386-mnem.h: Regenerated.
* i386-opc.tbl: New insns.
* i386-tbl.h: Regenerated.
---
gas/config/tc-i386.c | 6 +-
gas/testsuite/gas/i386/apx-jmpabs-inval.l | 3 +
gas/testsuite/gas/i386/apx-jmpabs-inval.s | 6 ++
gas/testsuite/gas/i386/apx-mov-inval.l | 2 +
gas/testsuite/gas/i386/i386.exp | 1 +
.../gas/i386/x86-64-apx-jmpabs-intel.d | 14 +++++
.../gas/i386/x86-64-apx-jmpabs-inval.d | 55 +++++++++++++++++++
.../gas/i386/x86-64-apx-jmpabs-inval.s | 18 ++++++
gas/testsuite/gas/i386/x86-64-apx-jmpabs.d | 14 +++++
gas/testsuite/gas/i386/x86-64-apx-jmpabs.s | 10 ++++
gas/testsuite/gas/i386/x86-64-apx-mov-inval.l | 2 +
gas/testsuite/gas/i386/x86-64-apx-mov-inval.s | 5 ++
gas/testsuite/gas/i386/x86-64.exp | 4 ++
opcodes/i386-dis.c | 42 +++++++++++++-
opcodes/i386-opc.tbl | 4 +-
15 files changed, 182 insertions(+), 4 deletions(-)
create mode 100644 gas/testsuite/gas/i386/apx-jmpabs-inval.l
create mode 100644 gas/testsuite/gas/i386/apx-jmpabs-inval.s
create mode 100644 gas/testsuite/gas/i386/apx-mov-inval.l
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-jmpabs-intel.d
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.d
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.s
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-jmpabs.d
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-jmpabs.s
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-mov-inval.l
create mode 100644 gas/testsuite/gas/i386/x86-64-apx-mov-inval.s
diff --git a/gas/config/tc-i386.c b/gas/config/tc-i386.c
index 1fe4980f26a..36720d40eb0 100644
--- a/gas/config/tc-i386.c
+++ b/gas/config/tc-i386.c
@@ -3880,6 +3880,7 @@ is_any_apx_encoding (void)
|| i.tm.opcode_space == SPACE_EVEXMAP4
|| i.has_nf
|| i.has_zero_upper
+ || i.tm.mnem_off == MN_jmpabs
|| (i.vex.register_specifier
&& i.vex.register_specifier->reg_flags & RegRex2);
}
@@ -3887,7 +3888,8 @@ is_any_apx_encoding (void)
static INLINE bool
is_any_apx_rex2_encoding (void)
{
- return (i.rex2 && i.vex.length == 2) || i.rex2_encoding;
+ return (i.rex2 && i.vex.length == 2) || i.rex2_encoding
+ || i.tm.mnem_off == MN_jmpabs;
}
static INLINE bool
@@ -7703,7 +7705,7 @@ match_template (char mnem_suffix)
if (!quiet_warnings)
{
if (!intel_syntax
- && (i.jumpabsolute != (t->opcode_modifier.jump == JUMP_ABSOLUTE)))
+ && (i.jumpabsolute != (t->opcode_modifier.jump == JUMP_ABSOLUTE) && t->mnem_off != MN_jmpabs))
as_warn (_("indirect %s without `*'"), insn_name (t));
if (t->opcode_modifier.isprefix
diff --git a/gas/testsuite/gas/i386/apx-jmpabs-inval.l b/gas/testsuite/gas/i386/apx-jmpabs-inval.l
new file mode 100644
index 00000000000..87e7a800f1a
--- /dev/null
+++ b/gas/testsuite/gas/i386/apx-jmpabs-inval.l
@@ -0,0 +1,3 @@
+.* Assembler messages:
+.*:5: Error: `jmpabs' is only supported in 64-bit mode
+.*:6: Error: `jmpabs' is only supported in 64-bit mode
diff --git a/gas/testsuite/gas/i386/apx-jmpabs-inval.s b/gas/testsuite/gas/i386/apx-jmpabs-inval.s
new file mode 100644
index 00000000000..1f9f1f80b72
--- /dev/null
+++ b/gas/testsuite/gas/i386/apx-jmpabs-inval.s
@@ -0,0 +1,6 @@
+# Check 32bit illegal APX_F JMPABS instructions
+
+ .text
+ _start:
+ jmpabs $0x0202020202020202
+ jmpabs $0x2
diff --git a/gas/testsuite/gas/i386/apx-mov-inval.l b/gas/testsuite/gas/i386/apx-mov-inval.l
new file mode 100644
index 00000000000..b1aa91ae3c9
--- /dev/null
+++ b/gas/testsuite/gas/i386/apx-mov-inval.l
@@ -0,0 +1,2 @@
+.* Assembler messages:
+.*:5: Error: unsupport rex2 pseudo prefix for `mov'
diff --git a/gas/testsuite/gas/i386/i386.exp b/gas/testsuite/gas/i386/i386.exp
index 7e0ad339141..d842505a928 100644
--- a/gas/testsuite/gas/i386/i386.exp
+++ b/gas/testsuite/gas/i386/i386.exp
@@ -508,6 +508,7 @@ if [gas_32_check] then {
run_dump_test "sm4-intel"
run_list_test "pbndkb-inval"
run_list_test "apx-push2pop2-inval"
+ run_list_test "apx-jmpabs-inval"
run_list_test "sg"
run_dump_test "clzero"
run_dump_test "invlpgb"
diff --git a/gas/testsuite/gas/i386/x86-64-apx-jmpabs-intel.d b/gas/testsuite/gas/i386/x86-64-apx-jmpabs-intel.d
new file mode 100644
index 00000000000..d8407bdd92b
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-jmpabs-intel.d
@@ -0,0 +1,14 @@
+#as:
+#objdump: -dw -Mintel
+#name: x86_64 APX_F JMPABS insns (Intel disassembly)
+#source: x86-64-apx-jmpabs.s
+
+.*: +file format .*
+
+Disassembly of section \.text:
+
+0+ <_start>:
+\s*[a-f0-9]+:\s*d5 00 a1 02 02 02 02 02 02 02 02\s+jmpabs 0x202020202020202
+\s*[a-f0-9]+:\s*d5 00 a1 02 00 00 00 00 00 00 00\s+jmpabs 0x2
+\s*[a-f0-9]+:\s*d5 00 a1 02 02 02 02 02 02 02 02\s+jmpabs 0x202020202020202
+\s*[a-f0-9]+:\s*d5 00 a1 02 00 00 00 00 00 00 00\s+jmpabs 0x2
diff --git a/gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.d b/gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.d
new file mode 100644
index 00000000000..5c887acfebc
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.d
@@ -0,0 +1,55 @@
+#as: --64
+#objdump: -dw
+#name: illegal decoding of APX_F jmpabs insns
+#source: x86-64-apx-jmpabs-inval.s
+
+.*: +file format .*
+
+Disassembly of section \.text:
+
+0+ <.text>:
+\s*[a-f0-9]+: 66 64 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 66 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 67 64 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 67 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: f2 64 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: f2 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: f3 64 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: f3 d5 00 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: d5 08 a1\s+\(bad\)
+\s*[a-f0-9]+: 01 00\s+add %eax,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*[a-f0-9]+: 00 00\s+add %al,\(%rax\)
+\s*...
diff --git a/gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.s b/gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.s
new file mode 100644
index 00000000000..3642d430546
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-jmpabs-inval.s
@@ -0,0 +1,18 @@
+# Check bytecode of APX_F jmpabs instructions with illegal encode.
+
+ .allow_index_reg
+ .text
+# With 66 prefix
+ .byte 0x66,0x64,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+ .byte 0x66,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+# With 67 prefix
+ .byte 0x67,0x64,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+ .byte 0x67,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+# With F2 prefix
+ .byte 0xf2,0x64,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+ .byte 0xf2,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+# With F3 prefix
+ .byte 0xf3,0x64,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+ .byte 0xf3,0xd5,0x00,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+# REX2.M0 = 0 REX2.W = 1
+ .byte 0xd5,0x08,0xa1,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00
diff --git a/gas/testsuite/gas/i386/x86-64-apx-jmpabs.d b/gas/testsuite/gas/i386/x86-64-apx-jmpabs.d
new file mode 100644
index 00000000000..409943dd9b9
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-jmpabs.d
@@ -0,0 +1,14 @@
+#as:
+#objdump: -dw
+#name: x86_64 APX_F JMPABS insns
+#source: x86-64-apx-jmpabs.s
+
+.*: +file format .*
+
+Disassembly of section \.text:
+
+0+ <_start>:
+\s*[a-f0-9]+:\s*d5 00 a1 02 02 02 02 02 02 02 02\s+jmpabs \$0x202020202020202
+\s*[a-f0-9]+:\s*d5 00 a1 02 00 00 00 00 00 00 00\s+jmpabs \$0x2
+\s*[a-f0-9]+:\s*d5 00 a1 02 02 02 02 02 02 02 02\s+jmpabs \$0x202020202020202
+\s*[a-f0-9]+:\s*d5 00 a1 02 00 00 00 00 00 00 00\s+jmpabs \$0x2
diff --git a/gas/testsuite/gas/i386/x86-64-apx-jmpabs.s b/gas/testsuite/gas/i386/x86-64-apx-jmpabs.s
new file mode 100644
index 00000000000..beb722421bd
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-jmpabs.s
@@ -0,0 +1,10 @@
+# Check 64bit APX_F JMPABS instructions
+
+ .text
+ _start:
+ jmpabs $0x0202020202020202
+ jmpabs $0x2
+
+.intel_syntax noprefix
+ jmpabs 0x0202020202020202
+ jmpabs 0x2
diff --git a/gas/testsuite/gas/i386/x86-64-apx-mov-inval.l b/gas/testsuite/gas/i386/x86-64-apx-mov-inval.l
new file mode 100644
index 00000000000..b1aa91ae3c9
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-mov-inval.l
@@ -0,0 +1,2 @@
+.* Assembler messages:
+.*:5: Error: unsupport rex2 pseudo prefix for `mov'
diff --git a/gas/testsuite/gas/i386/x86-64-apx-mov-inval.s b/gas/testsuite/gas/i386/x86-64-apx-mov-inval.s
new file mode 100644
index 00000000000..f0896da6b4d
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-apx-mov-inval.s
@@ -0,0 +1,5 @@
+# Check 64bit illegal APX_F mov instructions with rex2 prefix
+
+ .text
+ _start:
+ {rex2} mov %fs:0x0202020202020202, %rax
diff --git a/gas/testsuite/gas/i386/x86-64.exp b/gas/testsuite/gas/i386/x86-64.exp
index 9aaa905393b..cf64b1f0000 100644
--- a/gas/testsuite/gas/i386/x86-64.exp
+++ b/gas/testsuite/gas/i386/x86-64.exp
@@ -374,6 +374,10 @@ run_dump_test "x86-64-apx-evex-egpr"
run_dump_test "x86-64-apx-ndd"
run_dump_test "x86-64-apx-nf"
run_dump_test "x86-64-apx-nf-intel"
+run_dump_test "x86-64-apx-jmpabs"
+run_dump_test "x86-64-apx-jmpabs-intel"
+run_dump_test "x86-64-apx-jmpabs-inval"
+run_list_test "x86-64-apx-mov-inval"
run_dump_test "x86-64-avx512f-rcigrz-intel"
run_dump_test "x86-64-avx512f-rcigrz"
run_dump_test "x86-64-clwb"
diff --git a/opcodes/i386-dis.c b/opcodes/i386-dis.c
index b3ede02df06..e2e903afde4 100644
--- a/opcodes/i386-dis.c
+++ b/opcodes/i386-dis.c
@@ -105,6 +105,7 @@ static bool FXSAVE_Fixup (instr_info *, int, int);
static bool MOVSXD_Fixup (instr_info *, int, int);
static bool DistinctDest_Fixup (instr_info *, int, int);
static bool PREFETCHI_Fixup (instr_info *, int, int);
+static bool JMPABS_Fixup (instr_info *, int, int);
static void ATTRIBUTE_PRINTF_3 i386_dis_printf (const disassemble_info *,
enum disassembler_style,
@@ -260,6 +261,9 @@ struct instr_info
char scale_char;
enum x86_64_isa isa64;
+
+ /* Remember if the current op is jmpabs instructions. */
+ bool jmpabs;
};
struct dis_private {
@@ -2057,7 +2061,7 @@ static const struct dis386 dis386[] = {
{ "lahf", { XX }, 0 },
/* a0 */
{ "mov%LB", { AL, Ob }, 0 },
- { "mov%LS", { eAX, Ov }, 0 },
+ { "mov%LS", { { JMPABS_Fixup, eAX_reg }, { JMPABS_Fixup, v_mode } }, 0 },
{ "mov%LB", { Ob, AL }, 0 },
{ "mov%LS", { Ov, eAX }, 0 },
{ "movs{b|}", { Ybr, Xb }, 0 },
@@ -9690,6 +9694,15 @@ print_insn (bfd_vma pc, disassemble_info *info, int intel_syntax)
goto out;
}
+ if (ins.jmpabs
+ && ((ins.prefixes & (PREFIX_OPCODE | PREFIX_ADDR)) != 0x0
+ || (ins.rex2_payload & 0x8) != 0x0))
+ {
+ i386_dis_printf (info, dis_style_text, "(bad)");
+ ret = ins.end_codep - priv.the_buffer;
+ goto out;
+ }
+
switch (dp->prefix_requirement)
{
case PREFIX_DATA:
@@ -13877,3 +13890,30 @@ PREFETCHI_Fixup (instr_info *ins, int bytemode, int sizeflag)
return OP_M (ins, bytemode, sizeflag);
}
+
+static bool
+JMPABS_Fixup (instr_info *ins, int bytemode, int sizeflag)
+{
+ if (ins->address_mode == mode_64bit
+ && ins->last_rex2_prefix >= 0
+ && (ins->rex2_payload & 0x80) == 0x0)
+ {
+ uint64_t op;
+
+ if (bytemode == eAX_reg)
+ return true;
+
+ if (!get64 (ins, &op))
+ return false;
+
+ ins->mnemonicendp = stpcpy (ins->obuf, "jmpabs");
+ ins->all_prefixes[ins->last_rex2_prefix] = 0;
+ ins->jmpabs = true;
+ oappend_immediate (ins, op);
+ return true;
+ }
+
+ if (bytemode == eAX_reg)
+ return OP_IMREG (ins, bytemode, sizeflag);
+ return OP_OFF64 (ins, v_mode, sizeflag);
+}
diff --git a/opcodes/i386-opc.tbl b/opcodes/i386-opc.tbl
index 4e8ef15c28b..4d1b6742060 100644
--- a/opcodes/i386-opc.tbl
+++ b/opcodes/i386-opc.tbl
@@ -161,7 +161,7 @@
// Move instructions.
mov, 0xa0, No64, D|W|CheckOperandSize|No_sSuf|No_qSuf, { Disp16|Disp32|Unspecified|Byte|Word|Dword, Acc|Byte|Word|Dword }
-mov, 0xa0, x64, D|W|CheckOperandSize|No_sSuf, { Disp64|Unspecified|Byte|Word|Dword|Qword, Acc|Byte|Word|Dword|Qword }
+mov, 0xa0, x64, D|W|CheckOperandSize|No_sSuf|No_egpr, { Disp64|Unspecified|Byte|Word|Dword|Qword, Acc|Byte|Word|Dword|Qword }
movabs, 0xa0, x64, D|W|CheckOperandSize|No_sSuf, { Disp64|Unspecified|Byte|Word|Dword|Qword, Acc|Byte|Word|Dword|Qword }
mov, 0x88, 0, D|W|CheckOperandSize|Modrm|No_sSuf|HLEPrefixRelease, { Reg8|Reg16|Reg32|Reg64, Reg8|Reg16|Reg32|Reg64|Byte|Word|Dword|Qword|Unspecified|BaseIndex }
// In the 64bit mode the short form mov immediate is redefined to have
@@ -623,6 +623,8 @@ ljmp, 0xea, No64, JumpInterSegment|No_bSuf|No_sSuf|No_qSuf, { Imm16, Imm16|Imm32
ljmp, 0xff/5, 0, Amd64|Modrm|JumpAbsolute|No_bSuf|No_sSuf|No_qSuf, { Unspecified|BaseIndex }
ljmp, 0xff/5, x64, Intel64|Modrm|JumpAbsolute|No_bSuf|No_sSuf, { Unspecified|BaseIndex }
+jmpabs, 0xa1, APX_F|x64, JumpAbsolute|NoSuf, { Imm64 }
+
ret, 0xc3, No64, DefaultSize|No_bSuf|No_sSuf|No_qSuf|RepPrefixOk|BNDPrefixOk, {}
ret, 0xc2, No64, DefaultSize|No_bSuf|No_sSuf|No_qSuf|RepPrefixOk|BNDPrefixOk, { Imm16 }
ret, 0xc3, x64, Amd64|DefaultSize|No_bSuf|No_lSuf|No_sSuf|NoRex64|RepPrefixOk|BNDPrefixOk, {}
--
2.25.1
More information about the Binutils
mailing list