1 #as:
2 #objdump: -dw
3 #name: x86-64 AVX512F insns with nondefault values in ignored bits
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 %zmm12,%zmm5,%zmm22\{%k7\}
15 [ 	]*[a-f0-9]+:	62 f2 7e 48 31 72 7f 	vpmovdb %zmm6,0x7f0\(%rdx\)
16 [ 	]*[a-f0-9]+:	62                   	vpmovdb %zmm6,\(bad\)
17 [ 	]*[a-f0-9]+:	f2 7e 58             	bnd jle (0x7d|7d <.text\+0x7d>)
18 [ 	]*[a-f0-9]+:	31 72 7f             	xor    %esi,0x7f\(%rdx\)
19 #pass
20