1 #as: 2 #objdump: -dw 3 #name: i386 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 %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\) 17 [ ]*[a-f0-9]+: f2 7e 58 bnd jle (0x7d|7d <.text\+0x7d>) 18 [ ]*[a-f0-9]+: 31 72 7f xor %esi,0x7f\(%edx\) 19 #pass 20