* [PATCH] x86: improve a few diagnostics
@ 2023-11-09 15:58 Jan Beulich
2023-11-13 8:31 ` Sam James
0 siblings, 1 reply; 2+ messages in thread
From: Jan Beulich @ 2023-11-09 15:58 UTC (permalink / raw)
To: Binutils; +Cc: H.J. Lu, Sam James
PR gas/31043
"unsupported instruction ..." can mean about anything, and can also be
mistaken to mean something that isn't meant. Replace most of its uses by
more specific diagnostics,
While there also take the opportunity and purge the no longer used
invalid_register_operand enumerator.
---
The two "encoding" diagnostics make an assumption on assembler
programmers generally being aware of that terminology. If that was
deemed too much, we could also fold both into something like "cannot be
encoded", without mentioning the specific intended encoding form.
--- a/gas/config/tc-i386.c
+++ b/gas/config/tc-i386.c
@@ -242,6 +242,8 @@ enum i386_error
unsupported,
unsupported_on_arch,
unsupported_64bit,
+ no_vex_encoding,
+ no_evex_encoding,
invalid_sib_address,
invalid_vsib_address,
invalid_vector_register_set,
@@ -254,7 +256,7 @@ enum i386_error
mask_not_on_destination,
no_default_mask,
unsupported_rc_sae,
- invalid_register_operand,
+ unsupported_vector_size,
internal_error,
};
@@ -5307,6 +5309,12 @@ md_assemble (char *line)
pass1_mnem ? pass1_mnem : insn_name (current_templates->start));
}
return;
+ case no_vex_encoding:
+ err_msg = _("no VEX/XOP encoding");
+ break;
+ case no_evex_encoding:
+ err_msg = _("no EVEX encoding");
+ break;
case invalid_sib_address:
err_msg = _("invalid SIB address");
break;
@@ -5343,9 +5351,10 @@ md_assemble (char *line)
case unsupported_rc_sae:
err_msg = _("unsupported static rounding/sae");
break;
- case invalid_register_operand:
- err_msg = _("invalid register operand");
- break;
+ case unsupported_vector_size:
+ as_bad (_("vector size above %u required for `%s'"), 128u << vector_size,
+ pass1_mnem ? pass1_mnem : insn_name (current_templates->start));
+ return;
case internal_error:
err_msg = _("internal error");
break;
@@ -6545,7 +6554,7 @@ check_VecOperands (const insn_template *
&& (i.types[op].bitfield.ymmword
|| i.types[op].bitfield.xmmword))
{
- i.error = unsupported;
+ i.error = operand_size_mismatch;
return 1;
}
}
@@ -6561,7 +6570,7 @@ check_VecOperands (const insn_template *
if (t->operand_types[op].bitfield.xmmword
&& i.types[op].bitfield.ymmword)
{
- i.error = unsupported;
+ i.error = operand_size_mismatch;
return 1;
}
}
@@ -6941,7 +6950,7 @@ VEX_check_encoding (const insn_template
|| t->opcode_modifier.vex == VEX256
|| t->opcode_modifier.vsz >= VSZ256)))
{
- i.error = unsupported;
+ i.error = unsupported_vector_size;
return 1;
}
@@ -6951,7 +6960,7 @@ VEX_check_encoding (const insn_template
/* This instruction must be encoded with EVEX prefix. */
if (!t->opcode_modifier.evex)
{
- i.error = unsupported;
+ i.error = no_evex_encoding;
return 1;
}
return 0;
@@ -6962,7 +6971,7 @@ VEX_check_encoding (const insn_template
/* This instruction template doesn't have VEX prefix. */
if (i.vec_encoding != vex_encoding_default)
{
- i.error = unsupported;
+ i.error = no_vex_encoding;
return 1;
}
return 0;
--- a/gas/testsuite/gas/i386/avx10-vsz.l
+++ b/gas/testsuite/gas/i386/avx10-vsz.l
@@ -4,71 +4,71 @@
.*:47: Error: ambiguous operand size for `vcvtpd2ps'
.*:48: Error: ambiguous operand size for `vfpclassps'
.*:7: Warning: \.avx10\.1/256
-.*:12: Error: unsupported instruction `kunpckdq'
-.*:16: Error: unsupported instruction `kaddq'
-.*:17: Error: unsupported instruction `kandq'
-.*:18: Error: unsupported instruction `kandnq'
-.*:19: Error: unsupported instruction `kmovq'
-.*:20: Error: unsupported instruction `kmovq'
-.*:21: Error: unsupported instruction `kmovq'
-.*:22: Error: unsupported instruction `knotq'
-.*:23: Error: unsupported instruction `korq'
-.*:24: Error: unsupported instruction `kortestq'
-.*:25: Error: unsupported instruction `kshiftlq'
-.*:26: Error: unsupported instruction `kshiftrq'
-.*:27: Error: unsupported instruction `ktestq'
-.*:28: Error: unsupported instruction `kxorq'
-.*:29: Error: unsupported instruction `kxnorq'
-.*:32: Error: unsupported instruction `vcvtpd2phz'
+.*:12: Error: vector size .* `kunpckdq'
+.*:16: Error: vector size .* `kaddq'
+.*:17: Error: vector size .* `kandq'
+.*:18: Error: vector size .* `kandnq'
+.*:19: Error: vector size .* `kmovq'
+.*:20: Error: vector size .* `kmovq'
+.*:21: Error: vector size .* `kmovq'
+.*:22: Error: vector size .* `knotq'
+.*:23: Error: vector size .* `korq'
+.*:24: Error: vector size .* `kortestq'
+.*:25: Error: vector size .* `kshiftlq'
+.*:26: Error: vector size .* `kshiftrq'
+.*:27: Error: vector size .* `ktestq'
+.*:28: Error: vector size .* `kxorq'
+.*:29: Error: vector size .* `kxnorq'
+.*:32: Error: vector size .* `vcvtpd2phz'
.*:34: Error: unsupported broadcast for `vcvtpd2ph'
-.*:37: Error: unsupported instruction `vcvtpd2ps'
-.*:43: Error: unsupported instruction `vfpclasspsz'
+.*:37: Error: vector size .* for `vcvtpd2ps'
+.*:43: Error: vector size .* `vfpclasspsz'
.*:46: Error: ambiguous operand size for `vcvtpd2ph'
.*:47: Error: ambiguous operand size for `vcvtpd2ps'
.*:48: Error: ambiguous operand size for `vfpclassps'
.*:7: Warning: \.avx10\.1/128
-.*:10: Error: unsupported instruction `kmovd'
-.*:11: Error: unsupported instruction `kmovd'
-.*:12: Error: unsupported instruction `kunpckdq'
-.*:13: Error: unsupported instruction `kunpckwd'
-.*:16: Error: unsupported instruction `kaddd'
-.*:17: Error: unsupported instruction `kandd'
-.*:18: Error: unsupported instruction `kandnd'
-.*:19: Error: unsupported instruction `kmovd'
-.*:20: Error: unsupported instruction `kmovd'
-.*:21: Error: unsupported instruction `kmovd'
-.*:22: Error: unsupported instruction `knotd'
-.*:23: Error: unsupported instruction `kord'
-.*:24: Error: unsupported instruction `kortestd'
-.*:25: Error: unsupported instruction `kshiftld'
-.*:26: Error: unsupported instruction `kshiftrd'
-.*:27: Error: unsupported instruction `ktestd'
-.*:28: Error: unsupported instruction `kxord'
-.*:29: Error: unsupported instruction `kxnord'
-.*:16: Error: unsupported instruction `kaddq'
-.*:17: Error: unsupported instruction `kandq'
-.*:18: Error: unsupported instruction `kandnq'
-.*:19: Error: unsupported instruction `kmovq'
-.*:20: Error: unsupported instruction `kmovq'
-.*:21: Error: unsupported instruction `kmovq'
-.*:22: Error: unsupported instruction `knotq'
-.*:23: Error: unsupported instruction `korq'
-.*:24: Error: unsupported instruction `kortestq'
-.*:25: Error: unsupported instruction `kshiftlq'
-.*:26: Error: unsupported instruction `kshiftrq'
-.*:27: Error: unsupported instruction `ktestq'
-.*:28: Error: unsupported instruction `kxorq'
-.*:29: Error: unsupported instruction `kxnorq'
-.*:32: Error: unsupported instruction `vcvtpd2phz'
-.*:33: Error: unsupported instruction `vcvtpd2phy'
+.*:10: Error: vector size .* `kmovd'
+.*:11: Error: vector size .* `kmovd'
+.*:12: Error: vector size .* `kunpckdq'
+.*:13: Error: vector size .* `kunpckwd'
+.*:16: Error: vector size .* `kaddd'
+.*:17: Error: vector size .* `kandd'
+.*:18: Error: vector size .* `kandnd'
+.*:19: Error: vector size .* `kmovd'
+.*:20: Error: vector size .* `kmovd'
+.*:21: Error: vector size .* `kmovd'
+.*:22: Error: vector size .* `knotd'
+.*:23: Error: vector size .* `kord'
+.*:24: Error: vector size .* `kortestd'
+.*:25: Error: vector size .* `kshiftld'
+.*:26: Error: vector size .* `kshiftrd'
+.*:27: Error: vector size .* `ktestd'
+.*:28: Error: vector size .* `kxord'
+.*:29: Error: vector size .* `kxnord'
+.*:16: Error: vector size .* `kaddq'
+.*:17: Error: vector size .* `kandq'
+.*:18: Error: vector size .* `kandnq'
+.*:19: Error: vector size .* `kmovq'
+.*:20: Error: vector size .* `kmovq'
+.*:21: Error: vector size .* `kmovq'
+.*:22: Error: vector size .* `knotq'
+.*:23: Error: vector size .* `korq'
+.*:24: Error: vector size .* `kortestq'
+.*:25: Error: vector size .* `kshiftlq'
+.*:26: Error: vector size .* `kshiftrq'
+.*:27: Error: vector size .* `ktestq'
+.*:28: Error: vector size .* `kxorq'
+.*:29: Error: vector size .* `kxnorq'
+.*:32: Error: vector size .* `vcvtpd2phz'
+.*:33: Error: vector size .* `vcvtpd2phy'
.*:34: Error: unsupported broadcast for `vcvtpd2ph'
.*:35: Error: unsupported broadcast for `vcvtpd2ph'
.*:37: Error: .*
-.*:38: Error: unsupported instruction `vcvtpd2psy'
-.*:39: Error: unsupported instruction `vcvtpd2psy'
+.*:38: Error: vector size .* `vcvtpd2psy'
+.*:39: Error: vector size .* `vcvtpd2psy'
.*:40: Error: unsupported broadcast for `vcvtpd2ps'
-.*:42: Error: unsupported instruction `vfpclasspsy'
-.*:43: Error: unsupported instruction `vfpclasspsz'
+.*:42: Error: vector size .* `vfpclasspsy'
+.*:43: Error: vector size .* `vfpclasspsz'
.*:7: Warning: \.avx10\.1
.*:46: Error: ambiguous operand size for `vcvtpd2ph'
.*:47: Error: ambiguous operand size for `vcvtpd2ps'
--- a/gas/testsuite/gas/i386/avx512vl-1.l
+++ b/gas/testsuite/gas/i386/avx512vl-1.l
@@ -3,8 +3,8 @@
.*:8: Error: .*corei7\.avx.*
.*:9: Error: .*corei7\.avx.*
.*:10: Error: .*corei7\.avx.*
-.*:15: Error: .*unsupported.*
-.*:16: Error: .*unsupported.*
+.*:15: Error: .*operand size mismatch.*
+.*:16: Error: .*operand size mismatch.*
GAS LISTING .*
#...
[ ]*1[ ]+\.text
--- a/gas/testsuite/gas/i386/inval-avx512vl.l
+++ b/gas/testsuite/gas/i386/inval-avx512vl.l
@@ -1,6 +1,6 @@
.*: Assembler messages:
-.*:5: Error: .*unsupported instruction.*
-.*:6: Error: .*unsupported instruction.*
+.*:5: Error: .*operand size mismatch.*
+.*:6: Error: .*operand size mismatch.*
GAS LISTING .*
--- a/gas/testsuite/gas/i386/noavx512-2.l
+++ b/gas/testsuite/gas/i386/noavx512-2.l
@@ -5,7 +5,7 @@
.*:17: Error: .*bad register name `%zmm.*
.*:18: Error: .*bad register name `%zmm.*
.*:21: Error: .*bad register name `%zmm.*
-.*:24: Error: .*unsupported instruction.*
+.*:24: Error: .*vector size.*
.*:25: Error: .*bad register name `%zmm.*
.*:8: Error: .*bad register name `%zmm.*
.*:10: Error: .*bad register name `%ymm.*
@@ -23,16 +23,16 @@
.*:27: Error: .*bad register name `%ymm.*
.*:9: Error: .*unsupported masking.*
.*:10: Error: .*unsupported masking.*
-.*:12: Error: .*unsupported instruction.*
-.*:13: Error: .*unsupported instruction.*
-.*:15: Error: .*unsupported instruction.*
-.*:16: Error: .*unsupported instruction.*
+.*:12: Error: .*operand size mismatch.*
+.*:13: Error: .*operand size mismatch.*
+.*:15: Error: .*operand size mismatch.*
+.*:16: Error: .*operand size mismatch.*
.*:19: Error: .*unsupported masking.*
.*:20: Error: .*unsupported masking.*
-.*:22: Error: .*unsupported instruction.*
-.*:23: Error: .*unsupported instruction.*
-.*:26: Error: .*unsupported instruction.*
-.*:27: Error: .*unsupported instruction.*
+.*:22: Error: .*operand size mismatch.*
+.*:23: Error: .*operand size mismatch.*
+.*:26: Error: .*operand size mismatch.*
+.*:27: Error: .*operand size mismatch.*
#...
[ ]*[0-9]+[ ]+\# Test \.arch \.noavx512vl
[ ]*[0-9]+[ ]+\.text
--- a/gas/testsuite/gas/i386/x86-64-avx-ifma-inval.l
+++ b/gas/testsuite/gas/i386/x86-64-avx-ifma-inval.l
@@ -1,4 +1,4 @@
.* Assembler messages:
.*:6: Error: unsupported .* `vpmadd52huq'
-.*:7: Error: unsupported .* `vpmadd52huq'
+.*:7: Error: no EVEX .* `vpmadd52huq'
.*:8: Error: operand .* `vpmadd52huq'
--- a/gas/testsuite/gas/i386/x86-64-avx-vnni-inval.l
+++ b/gas/testsuite/gas/i386/x86-64-avx-vnni-inval.l
@@ -1,4 +1,4 @@
.* Assembler messages:
.*:6: Error: unsupported .* `vpdpbusds'
-.*:7: Error: unsupported .* `vpdpbusds'
+.*:7: Error: no EVEX .* `vpdpbusds'
.*:8: Error: operand .* `vpdpbusds'
--- a/gas/testsuite/gas/i386/x86-64-avx512vl-1.l
+++ b/gas/testsuite/gas/i386/x86-64-avx512vl-1.l
@@ -3,8 +3,8 @@
.*:8: Error: .*corei7\.avx.*
.*:9: Error: .*corei7\.avx.*
.*:10: Error: .*corei7\.avx.*
-.*:15: Error: .*unsupported.*
-.*:16: Error: .*unsupported.*
+.*:15: Error: .*operand size mismatch.*
+.*:16: Error: .*operand size mismatch.*
GAS LISTING .*
#...
[ ]*1[ ]+\.text
--- a/gas/testsuite/gas/i386/x86-64-inval-avx512vl.l
+++ b/gas/testsuite/gas/i386/x86-64-inval-avx512vl.l
@@ -1,6 +1,6 @@
.*: Assembler messages:
-.*:5: Error: .*unsupported instruction.*
-.*:6: Error: .*unsupported instruction.*
+.*:5: Error: .*operand size mismatch.*
+.*:6: Error: .*operand size mismatch.*
GAS LISTING .*
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] x86: improve a few diagnostics
2023-11-09 15:58 [PATCH] x86: improve a few diagnostics Jan Beulich
@ 2023-11-13 8:31 ` Sam James
0 siblings, 0 replies; 2+ messages in thread
From: Sam James @ 2023-11-13 8:31 UTC (permalink / raw)
To: Jan Beulich; +Cc: Binutils, H.J. Lu, Sam James
Jan Beulich <jbeulich@suse.com> writes:
> PR gas/31043
> "unsupported instruction ..." can mean about anything, and can also be
> mistaken to mean something that isn't meant. Replace most of its uses by
> more specific diagnostics,
It's a definite improvement both for the original bug but
the others you touched as well. Cheers.
>
> While there also take the opportunity and purge the no longer used
> invalid_register_operand enumerator.
> ---
> The two "encoding" diagnostics make an assumption on assembler
> programmers generally being aware of that terminology. If that was
> deemed too much, we could also fold both into something like "cannot be
> encoded", without mentioning the specific intended encoding form.
>
thanks,
sam
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-11-13 8:32 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-11-09 15:58 [PATCH] x86: improve a few diagnostics Jan Beulich
2023-11-13 8:31 ` Sam James
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).