[deliverable/binutils-gdb.git] / gas / testsuite / gas / i386 / avx512f-nondef.d

#as: 
#objdump: -dw
#name: i386 AVX512F insns with nondefault values in ignored / reserved bits

.*: +file format .*


Disassembly of section .text:

0+ <.text>:
[ 	]*[a-f0-9]+:	62 f3 d5 1f 0b f4 7b 	vrndscalesd \$0x7b,\{sae\},%xmm4,%xmm5,%xmm6\{%k7\}
[ 	]*[a-f0-9]+:	62 f3 d5 5f 0b f4 7b 	vrndscalesd \$0x7b,\{sae\},%xmm4,%xmm5,%xmm6\{%k7\}
[ 	]*[a-f0-9]+:	62 f2 55 1f 3b f4    	vpminud %zmm4,%zmm5,%zmm6\{%k7\}
[ 	]*[a-f0-9]+:	62 c2 55 1f 3b f4    	vpminud %zmm4,%zmm5,%zmm6\{%k7\}
[ 	]*[a-f0-9]+:	62 f2 7e 48 31 72 7f 	vpmovdb %zmm6,0x7f0\(%edx\)
[ 	]*[a-f0-9]+:	62                   	vpmovdb %zmm6,\(bad\)
[ 	]*[a-f0-9]+:	f2 7e 58             	bnd jle (0x7d|7d <.text\+0x7d>)
[ 	]*[a-f0-9]+:	31 72 7f             	xor    %esi,0x7f\(%edx\)
[ 	]*[a-f0-9]+:	62 f1 7c 88 58       	\(bad\)
[ 	]*[a-f0-9]+:	c3                   	ret *
[ 	]*[a-f0-9]+:	62 f2 7d 4f 92 01    	vgatherdps \(bad\),%zmm0\{%k7\}
[ 	]*[a-f0-9]+:	67 62 f2 7d 4f 92 01 	addr16 vgatherdps \(bad\),%zmm0\{%k7\}
[ 	]*[a-f0-9]+:	62 f2 7d cf 92 04 08 	vgatherdps \(%eax,%zmm1(,1)?\),%zmm0\{%k7\}\{z\}/\(bad\)
[ 	]*[a-f0-9]+:	62 f2 7d 48 92 04 08 	vgatherdps \(%eax,%zmm1(,1)?\),%zmm0/\(bad\)
#pass
Commit	Line	Data
43234a1e L	1	#as:
43234a1e L	2	#objdump: -dw
53642852	3	#name: i386 AVX512F insns with nondefault values in ignored / reserved bits
43234a1e L	4
	5	.: +file format .
	6
	7
	8	Disassembly of section .text:
	9
	10	0+ <.text>:
	11	[ ]*[a-f0-9]+: 62 f3 d5 1f 0b f4 7b vrndscalesd \$0x7b,\{sae\},%xmm4,%xmm5,%xmm6\{%k7\}
	12	[ ]*[a-f0-9]+: 62 f3 d5 5f 0b f4 7b vrndscalesd \$0x7b,\{sae\},%xmm4,%xmm5,%xmm6\{%k7\}
	13	[ ]*[a-f0-9]+: 62 f2 55 1f 3b f4 vpminud %zmm4,%zmm5,%zmm6\{%k7\}
	14	[ ]*[a-f0-9]+: 62 c2 55 1f 3b f4 vpminud %zmm4,%zmm5,%zmm6\{%k7\}
	15	[ ]*[a-f0-9]+: 62 f2 7e 48 31 72 7f vpmovdb %zmm6,0x7f0\(%edx\)
	16	[ ]*[a-f0-9]+: 62 vpmovdb %zmm6,\(bad\)
15bb7f9a	17	[ ]*[a-f0-9]+: f2 7e 58 bnd jle (0x7d\|7d <.text\+0x7d>)
43234a1e	18	[ ]*[a-f0-9]+: 31 72 7f xor %esi,0x7f\(%edx\)
53642852 JB	19	[ ]*[a-f0-9]+: 62 f1 7c 88 58 \(bad\)
53642852 JB	20	[ ][a-f0-9]+: c3 ret
596a02ff JB	21	[ ]*[a-f0-9]+: 62 f2 7d 4f 92 01 vgatherdps \(bad\),%zmm0\{%k7\}
	22	[ ]*[a-f0-9]+: 67 62 f2 7d 4f 92 01 addr16 vgatherdps \(bad\),%zmm0\{%k7\}
	23	[ ]*[a-f0-9]+: 62 f2 7d cf 92 04 08 vgatherdps \(%eax,%zmm1(,1)?\),%zmm0\{%k7\}\{z\}/\(bad\)
	24	[ ]*[a-f0-9]+: 62 f2 7d 48 92 04 08 vgatherdps \(%eax,%zmm1(,1)?\),%zmm0/\(bad\)
43234a1e	25	#pass