| # Check 64bit AVX512VBMI2 instructions |
| |
| .allow_index_reg |
| .text |
| _start: |
| vpcompressb %zmm30, (%rcx){%k7} # AVX512VBMI2 |
| vpcompressb %zmm30, 0x123(%rax,%r14,8) # AVX512VBMI2 |
| vpcompressb %zmm30, 126(%rdx) # AVX512VBMI2 Disp8 |
| vpcompressb %zmm29, %zmm30 # AVX512VBMI2 |
| vpcompressb %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpcompressb %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| |
| vpcompressw %zmm30, (%rcx){%k7} # AVX512VBMI2 |
| vpcompressw %zmm30, 0x123(%rax,%r14,8) # AVX512VBMI2 |
| vpcompressw %zmm30, 254(%rdx) # AVX512VBMI2 Disp8 |
| vpcompressw %zmm29, %zmm30 # AVX512VBMI2 |
| vpcompressw %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpcompressw %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| |
| vpexpandb (%rcx), %zmm30{%k7} # AVX512VBMI2 |
| vpexpandb (%rcx), %zmm30{%k7}{z} # AVX512VBMI2 |
| vpexpandb 0x123(%rax,%r14,8), %zmm30 # AVX512VBMI2 |
| vpexpandb 126(%rdx), %zmm30 # AVX512VBMI2 Disp8 |
| vpexpandb %zmm29, %zmm30 # AVX512VBMI2 |
| vpexpandb %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpexpandb %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| |
| vpexpandw (%rcx), %zmm30{%k7} # AVX512VBMI2 |
| vpexpandw (%rcx), %zmm30{%k7}{z} # AVX512VBMI2 |
| vpexpandw 0x123(%rax,%r14,8), %zmm30 # AVX512VBMI2 |
| vpexpandw 254(%rdx), %zmm30 # AVX512VBMI2 Disp8 |
| vpexpandw %zmm29, %zmm30 # AVX512VBMI2 |
| vpexpandw %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpexpandw %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| |
| vpshldvw %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvw %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshldvw %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshldvw 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvw 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshldvd %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvd %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshldvd %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshldvd 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvd 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvd 508(%rdx){1to16}, %zmm29, %zmm30 # AVX512VBMI2 Disp8 |
| |
| vpshldvq %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvq %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshldvq %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshldvq 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvq 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldvq 1016(%rdx){1to8}, %zmm29, %zmm30 # AVX512VBMI2 Disp8 |
| |
| vpshrdvw %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdvw %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshrdvw %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshrdvw 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdvw 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshrdvd %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdvd %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshrdvd %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshrdvd 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdvd 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshrdvq %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdvq %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshrdvq %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshrdvq 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdvq 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshldw $0xab, %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldw $0xab, %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshldw $0xab, %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshldw $123, 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldw $123, 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshldd $0xab, %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldd $0xab, %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshldd $0xab, %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshldd $123, 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldd $123, 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshldq $0xab, %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldq $0xab, %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshldq $0xab, %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshldq $123, 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldq $123, 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshldq $123, 1016(%rdx){1to8}, %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshrdw $0xab, %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdw $0xab, %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshrdw $0xab, %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshrdw $123, 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdw $123, 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshrdd $0xab, %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdd $0xab, %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshrdd $0xab, %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshrdd $123, 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdd $123, (%rcx){1to16}, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdd $123, 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| vpshrdq $0xab, %zmm28, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdq $0xab, %zmm28, %zmm29, %zmm30{%k7} # AVX512VBMI2 |
| vpshrdq $0xab, %zmm28, %zmm29, %zmm30{%k7}{z} # AVX512VBMI2 |
| vpshrdq $123, 0x123(%rax,%r14,8), %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdq $123, (%rcx){1to8}, %zmm29, %zmm30 # AVX512VBMI2 |
| vpshrdq $123, 8128(%rdx), %zmm29, %zmm30 # AVX512VBMI2 |
| |
| .intel_syntax noprefix |
| vpcompressb ZMMWORD PTR [rcx]{k7}, zmm30 # AVX512VBMI2 |
| vpcompressb ZMMWORD PTR [rax+r14*8+0x1234], zmm30 # AVX512VBMI2 |
| vpcompressb ZMMWORD PTR [rdx+126], zmm30 # AVX512VBMI2 Disp8 |
| vpcompressb zmm30, zmm29 # AVX512VBMI2 |
| vpcompressb zmm30{k7}, zmm29 # AVX512VBMI2 |
| vpcompressb zmm30{k7}{z}, zmm29 # AVX512VBMI2 |
| |
| vpcompressw ZMMWORD PTR [rcx]{k7}, zmm30 # AVX512VBMI2 |
| vpcompressw ZMMWORD PTR [rax+r14*8+0x1234], zmm30 # AVX512VBMI2 |
| vpcompressw ZMMWORD PTR [rdx+254], zmm30 # AVX512VBMI2 Disp8 |
| vpcompressw zmm30, zmm29 # AVX512VBMI2 |
| vpcompressw zmm30{k7}, zmm29 # AVX512VBMI2 |
| vpcompressw zmm30{k7}{z}, zmm29 # AVX512VBMI2 |
| |
| vpexpandb zmm30{k7}, ZMMWORD PTR [rcx] # AVX512VBMI2 |
| vpexpandb zmm30{k7}{z}, ZMMWORD PTR [rcx] # AVX512VBMI2 |
| vpexpandb zmm30, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpexpandb zmm30, ZMMWORD PTR [rdx+126] # AVX512VBMI2 Disp8 |
| vpexpandb zmm30, zmm29 # AVX512VBMI2 |
| vpexpandb zmm30{k7}, zmm29 # AVX512VBMI2 |
| vpexpandb zmm30{k7}{z}, zmm29 # AVX512VBMI2 |
| |
| vpexpandw zmm30{k7}, ZMMWORD PTR [rcx] # AVX512VBMI2 |
| vpexpandw zmm30{k7}{z}, ZMMWORD PTR [rcx] # AVX512VBMI2 |
| vpexpandw zmm30, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpexpandw zmm30, ZMMWORD PTR [rdx+254] # AVX512VBMI2 Disp8 |
| vpexpandw zmm30, zmm29 # AVX512VBMI2 |
| vpexpandw zmm30{k7}, zmm29 # AVX512VBMI2 |
| vpexpandw zmm30{k7}{z}, zmm29 # AVX512VBMI2 |
| |
| vpshldvw zmm30, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvw zmm30{k7}, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvw zmm30{k7}{z}, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvw zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpshldvw zmm30, zmm29, ZMMWORD PTR [rdx+8128] # AVX512VBMI2 Disp8 |
| |
| vpshldvd zmm30, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvd zmm30{k7}, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvd zmm30{k7}{z}, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvd zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpshldvd zmm30, zmm29, [rcx]{1to16} # AVX512VBMI2 |
| vpshldvd zmm30, zmm29, ZMMWORD PTR [rdx+8128] # AVX512VBMI2 Disp8 |
| vpshldvd zmm30, zmm29, [rdx+508]{1to16} # AVX512VBMI2 Disp8 |
| |
| vpshldvq zmm30, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvq zmm30{k7}, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvq zmm30{k7}{z}, zmm29, zmm28 # AVX512VBMI2 |
| vpshldvq zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpshldvq zmm30, zmm29, ZMMWORD PTR [rdx+8128] # AVX512VBMI2 Disp8 |
| vpshldvq zmm30, zmm29, [rdx+1016]{1to8} # AVX512VBMI2 Disp8 |
| |
| vpshrdvw zmm30, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvw zmm30{k7}, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvw zmm30{k7}{z}, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvw zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpshrdvw zmm30, zmm29, ZMMWORD PTR [rdx+8128] # AVX512VBMI2 Disp8 |
| |
| vpshrdvd zmm30, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvd zmm30{k7}, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvd zmm30{k7}{z}, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvd zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpshrdvd zmm30, zmm29, ZMMWORD PTR [rdx+8128] # AVX512VBMI2 Disp8 |
| vpshrdvd zmm30, zmm29, [rdx+508]{1to16} # AVX512VBMI2 Disp8 |
| |
| vpshrdvq zmm30, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvq zmm30{k7}, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvq zmm30{k7}{z}, zmm29, zmm28 # AVX512VBMI2 |
| vpshrdvq zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234] # AVX512VBMI2 |
| vpshrdvq zmm30, zmm29, ZMMWORD PTR [rdx+8128] # AVX512VBMI2 Disp8 |
| vpshrdvq zmm30, zmm29, [rdx+1016]{1to8} # AVX512VBMI2 Disp8 |
| |
| vpshldw zmm30, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldw zmm30{k7}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldw zmm30{k7}{z}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldw zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123 # AVX512VBMI2 |
| vpshldw zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123 # AVX512VBMI2 Disp8 |
| |
| vpshldd zmm30, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldd zmm30{k7}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldd zmm30{k7}{z}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldd zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123 # AVX512VBMI2 |
| vpshldd zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123 # AVX512VBMI2 Disp8 |
| vpshldd zmm30, zmm29, [rdx+508]{1to16}, 123 # AVX512VBMI2 Disp8 |
| |
| vpshldq zmm30, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldq zmm30{k7}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldq zmm30{k7}{z}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshldq zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123 # AVX512VBMI2 |
| vpshldq zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123 # AVX512VBMI2 Disp8 |
| vpshldq zmm30, zmm29, [rdx+1016]{1to8}, 123 # AVX512VBMI2 Disp8 |
| |
| vpshrdw zmm30, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdw zmm30{k7}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdw zmm30{k7}{z}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdw zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123 # AVX512VBMI2 |
| vpshrdw zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123 # AVX512VBMI2 Disp8 |
| |
| vpshrdd zmm30, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdd zmm30{k7}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdd zmm30{k7}{z}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdd zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123 # AVX512VBMI2 |
| vpshrdd zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123 # AVX512VBMI2 Disp8 |
| vpshrdd zmm30, zmm29, [rdx+508]{1to16}, 123 # AVX512VBMI2 Disp8 |
| |
| vpshrdq zmm30, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdq zmm30{k7}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdq zmm30{k7}{z}, zmm29, zmm28, 0xab # AVX512VBMI2 |
| vpshrdq zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234], 123 # AVX512VBMI2 |
| vpshrdq zmm30, zmm29, ZMMWORD PTR [rdx+8128], 123 # AVX512VBMI2 Disp8 |
| vpshrdq zmm30, zmm29, [rdx+1016]{1to8}, 123 # AVX512VBMI2 Disp8 |
