aboutsummaryrefslogtreecommitdiff
path: root/gas
diff options
context:
space:
mode:
authorJan Beulich <jbeulich@suse.com>2023-07-04 17:01:56 +0200
committerJan Beulich <jbeulich@suse.com>2023-07-04 17:01:56 +0200
commit37c5374291224ed7e061fe001094cdacac7d9821 (patch)
treecd0333c5fa9aabab8fb4fdd5107c76a83bfe1e81 /gas
parent1f83c96159d55af9caa96aa8f335ca1fd501a953 (diff)
downloadfsf-binutils-gdb-37c5374291224ed7e061fe001094cdacac7d9821.zip
fsf-binutils-gdb-37c5374291224ed7e061fe001094cdacac7d9821.tar.gz
fsf-binutils-gdb-37c5374291224ed7e061fe001094cdacac7d9821.tar.bz2
x86: flag EVEX masking when destination is GPR(-like)
Masking is not permitted in this case. See the code comment for how this is being dealt with. To avoid excess special casing of modes, have OP_M() call OP_E_memory() directly.
Diffstat (limited to 'gas')
-rw-r--r--gas/testsuite/gas/i386/avx512f-nondef.d2
-rw-r--r--gas/testsuite/gas/i386/avx512f-nondef.s6
2 files changed, 8 insertions, 0 deletions
diff --git a/gas/testsuite/gas/i386/avx512f-nondef.d b/gas/testsuite/gas/i386/avx512f-nondef.d
index 9c1d327..aa7d292 100644
--- a/gas/testsuite/gas/i386/avx512f-nondef.d
+++ b/gas/testsuite/gas/i386/avx512f-nondef.d
@@ -22,4 +22,6 @@ Disassembly of section .text:
[ ]*[a-f0-9]+: 62 f2 7d 48 92 04 08 vgatherdps \(%eax,%zmm1(,1)?\),%zmm0/\(bad\)
[ ]*[a-f0-9]+: 62 f1 7c cf c2 c0 00 vcmpeqps %zmm0,%zmm0,%k0\{%k7\}\{z\}/\(bad\)
[ ]*[a-f0-9]+: 62 f1 7c cf 29 00 vmovaps %zmm0,\(%eax\)\{%k7\}\{z\}/\(bad\)
+[ ]*[a-f0-9]+: 62 f1 7d 0a c5 c8 00 vpextrw \$(0x)?0,%xmm0,%ecx\{%k2\}/\(bad\)
+[ ]*[a-f0-9]+: 62 f3 7d 0a 16 01 00 vpextrd \$(0x)?0,%xmm0,\(%ecx\)\{%k2\}/\(bad\)
#pass
diff --git a/gas/testsuite/gas/i386/avx512f-nondef.s b/gas/testsuite/gas/i386/avx512f-nondef.s
index 77426b1..39ba23b 100644
--- a/gas/testsuite/gas/i386/avx512f-nondef.s
+++ b/gas/testsuite/gas/i386/avx512f-nondef.s
@@ -32,3 +32,9 @@
# vmovaps %zmm0, (%eax){%k7} with EVEX.z set
.insn EVEX.0f 0x29, %zmm0, (%eax){%k7}{z}
+
+ # vpextrw $0, %xmm0, %ecx with non-zero EVEX.aaa
+ .insn EVEX.66.0f 0xc5, $0, %xmm0, %ecx{%k2}
+
+ # vpextrd $0, %xmm0, (%ecx) with non-zero EVEX.aaa
+ .insn EVEX.66.0f3a 0x16, $0, %xmm0, (%ecx){%k2}