Commit | Line | Data |
---|---|---|
43234a1e L |
1 | #as: |
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\) |
20 | [ ]*[a-f0-9]+: c3 ret * | |
43234a1e | 21 | #pass |