Commit | Line | Data |
---|---|---|
43234a1e L |
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\) | |
15bb7f9a | 17 | [ ]*[a-f0-9]+: f2 7e 58 bnd jle (0x7d|7d <.text\+0x7d>) |
43234a1e L |
18 | [ ]*[a-f0-9]+: 31 72 7f xor %esi,0x7f\(%edx\) |
19 | #pass |