/*
 * This file and its contents are supplied under the terms of the
 * Common Development and Distribution License ("CDDL"), version 1.0.
 * You may only use this file in accordance with the terms of version
 * 1.0 of the CDDL.
 *
 * A full copy of the text of the CDDL should have accompanied this
 * source.  A copy of the CDDL is also available via the Internet at
 * http://www.illumos.org/license/CDDL.
 */

/*
 * Copyright 2024 Oxide Computer Company
 */

/*
 * AVX-512 VBMI instruction decoding. This also has tests for some of the vperm
 * variants that are part of AVX512VL.
 */

.text
.align 16
.globl libdis_test
.type libdis_test, @function
libdis_test:
	vpermb	%xmm0, %xmm1, %xmm2
	vpermb	%xmm10, %xmm11, %xmm12{%k1}
	vpermb	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermb	(%rax), %xmm1, %xmm2
	vpermb	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermb	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermb	(%rax,%rbx,4), %xmm1, %xmm2
	vpermb	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}

	vpermb	%ymm0, %ymm1, %ymm2
	vpermb	%ymm10, %ymm11, %ymm12{%k1}
	vpermb	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermb	(%rax), %ymm1, %ymm2
	vpermb	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermb	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermb	(%rax,%rbx,4), %ymm1, %ymm2
	vpermb	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}

	vpermb	%zmm0, %zmm1, %zmm2
	vpermb	%zmm10, %zmm11, %zmm12{%k1}
	vpermb	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermb	(%rax), %zmm1, %zmm2
	vpermb	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermb	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermb	(%rax,%rbx,4), %zmm1, %zmm2
	vpermb	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}

	vpermw	%xmm0, %xmm1, %xmm2
	vpermw	%xmm10, %xmm11, %xmm12{%k1}
	vpermw	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermw	(%rax), %xmm1, %xmm2
	vpermw	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermw	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermw	(%rax,%rbx,4), %xmm1, %xmm2
	vpermw	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}

	vpermw	%ymm0, %ymm1, %ymm2
	vpermw	%ymm10, %ymm11, %ymm12{%k1}
	vpermw	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermw	(%rax), %ymm1, %ymm2
	vpermw	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermw	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermw	(%rax,%rbx,4), %ymm1, %ymm2
	vpermw	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}

	vpermw	%zmm0, %zmm1, %zmm2
	vpermw	%zmm10, %zmm11, %zmm12{%k1}
	vpermw	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermw	(%rax), %zmm1, %zmm2
	vpermw	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermw	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermw	(%rax,%rbx,4), %zmm1, %zmm2
	vpermw	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}

	vpermi2b	%xmm0, %xmm1, %xmm2
	vpermi2b	%xmm10, %xmm11, %xmm12{%k1}
	vpermi2b	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermi2b	(%rax), %xmm1, %xmm2
	vpermi2b	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermi2b	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermi2b	(%rax,%rbx,4), %xmm1, %xmm2
	vpermi2b	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}

	vpermi2b	%ymm0, %ymm1, %ymm2
	vpermi2b	%ymm10, %ymm11, %ymm12{%k1}
	vpermi2b	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermi2b	(%rax), %ymm1, %ymm2
	vpermi2b	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermi2b	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermi2b	(%rax,%rbx,4), %ymm1, %ymm2
	vpermi2b	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}

	vpermi2b	%zmm0, %zmm1, %zmm2
	vpermi2b	%zmm10, %zmm11, %zmm12{%k1}
	vpermi2b	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermi2b	(%rax), %zmm1, %zmm2
	vpermi2b	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermi2b	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermi2b	(%rax,%rbx,4), %zmm1, %zmm2
	vpermi2b	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}

	vpermi2w	%xmm0, %xmm1, %xmm2
	vpermi2w	%xmm10, %xmm11, %xmm12{%k1}
	vpermi2w	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermi2w	(%rax), %xmm1, %xmm2
	vpermi2w	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermi2w	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermi2w	(%rax,%rbx,4), %xmm1, %xmm2
	vpermi2w	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}

	vpermi2w	%ymm0, %ymm1, %ymm2
	vpermi2w	%ymm10, %ymm11, %ymm12{%k1}
	vpermi2w	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermi2w	(%rax), %ymm1, %ymm2
	vpermi2w	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermi2w	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermi2w	(%rax,%rbx,4), %ymm1, %ymm2
	vpermi2w	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}

	vpermi2w	%zmm0, %zmm1, %zmm2
	vpermi2w	%zmm10, %zmm11, %zmm12{%k1}
	vpermi2w	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermi2w	(%rax), %zmm1, %zmm2
	vpermi2w	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermi2w	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermi2w	(%rax,%rbx,4), %zmm1, %zmm2
	vpermi2w	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}

	vpermi2d	%xmm0, %xmm1, %xmm2
	vpermi2d	%xmm10, %xmm11, %xmm12{%k1}
	vpermi2d	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermi2d	(%rax), %xmm1, %xmm2
	vpermi2d	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermi2d	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermi2d	(%rax,%rbx,4), %xmm1, %xmm2
	vpermi2d	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}
	vpermi2d	(%rdx){1to4}, %xmm14, %xmm15
	vpermi2d	0x73(%rdx){1to4}, %xmm24, %xmm25{%k4}
	vpermi2d	-0x8(%rdx){1to4}, %xmm30, %xmm31{%k4}{z}

	vpermi2d	%ymm0, %ymm1, %ymm2
	vpermi2d	%ymm10, %ymm11, %ymm12{%k1}
	vpermi2d	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermi2d	(%rax), %ymm1, %ymm2
	vpermi2d	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermi2d	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermi2d	(%rax,%rbx,4), %ymm1, %ymm2
	vpermi2d	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}
	vpermi2d	(%rdx){1to8}, %ymm14, %ymm15
	vpermi2d	0x73(%rdx){1to8}, %ymm24, %ymm25{%k4}
	vpermi2d	-0x8(%rdx){1to8}, %ymm30, %ymm31{%k4}{z}

	vpermi2d	%zmm0, %zmm1, %zmm2
	vpermi2d	%zmm10, %zmm11, %zmm12{%k1}
	vpermi2d	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermi2d	(%rax), %zmm1, %zmm2
	vpermi2d	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermi2d	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermi2d	(%rax,%rbx,4), %zmm1, %zmm2
	vpermi2d	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}
	vpermi2d	(%rdx){1to16}, %zmm14, %zmm15
	vpermi2d	0x73(%rdx){1to16}, %zmm24, %zmm25{%k4}
	vpermi2d	-0x8(%rdx){1to16}, %zmm30, %zmm31{%k4}{z}

	vpermi2q	%xmm0, %xmm1, %xmm2
	vpermi2q	%xmm10, %xmm11, %xmm12{%k1}
	vpermi2q	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermi2q	(%rax), %xmm1, %xmm2
	vpermi2q	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermi2q	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermi2q	(%rax,%rbx,4), %xmm1, %xmm2
	vpermi2q	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}
	vpermi2q	(%rdx){1to2}, %xmm14, %xmm15
	vpermi2q	0x73(%rdx){1to2}, %xmm24, %xmm25{%k4}
	vpermi2q	-0x8(%rdx){1to2}, %xmm30, %xmm31{%k4}{z}

	vpermi2q	%ymm0, %ymm1, %ymm2
	vpermi2q	%ymm10, %ymm11, %ymm12{%k1}
	vpermi2q	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermi2q	(%rax), %ymm1, %ymm2
	vpermi2q	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermi2q	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermi2q	(%rax,%rbx,4), %ymm1, %ymm2
	vpermi2q	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}
	vpermi2q	(%rdx){1to4}, %ymm14, %ymm15
	vpermi2q	0x73(%rdx){1to4}, %ymm24, %ymm25{%k4}
	vpermi2q	-0x8(%rdx){1to4}, %ymm30, %ymm31{%k4}{z}

	vpermi2q	%zmm0, %zmm1, %zmm2
	vpermi2q	%zmm10, %zmm11, %zmm12{%k1}
	vpermi2q	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermi2q	(%rax), %zmm1, %zmm2
	vpermi2q	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermi2q	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermi2q	(%rax,%rbx,4), %zmm1, %zmm2
	vpermi2q	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}
	vpermi2q	(%rdx){1to8}, %zmm14, %zmm15
	vpermi2q	0x73(%rdx){1to8}, %zmm24, %zmm25{%k4}
	vpermi2q	-0x8(%rdx){1to8}, %zmm30, %zmm31{%k4}{z}

	vpermt2b	%xmm0, %xmm1, %xmm2
	vpermt2b	%xmm10, %xmm11, %xmm12{%k1}
	vpermt2b	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermt2b	(%rax), %xmm1, %xmm2
	vpermt2b	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermt2b	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermt2b	(%rax,%rbx,4), %xmm1, %xmm2
	vpermt2b	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}

	vpermt2b	%ymm0, %ymm1, %ymm2
	vpermt2b	%ymm10, %ymm11, %ymm12{%k1}
	vpermt2b	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermt2b	(%rax), %ymm1, %ymm2
	vpermt2b	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermt2b	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermt2b	(%rax,%rbx,4), %ymm1, %ymm2
	vpermt2b	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}

	vpermt2b	%zmm0, %zmm1, %zmm2
	vpermt2b	%zmm10, %zmm11, %zmm12{%k1}
	vpermt2b	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermt2b	(%rax), %zmm1, %zmm2
	vpermt2b	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermt2b	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermt2b	(%rax,%rbx,4), %zmm1, %zmm2
	vpermt2b	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}

	vpermt2w	%xmm0, %xmm1, %xmm2
	vpermt2w	%xmm10, %xmm11, %xmm12{%k1}
	vpermt2w	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermt2w	(%rax), %xmm1, %xmm2
	vpermt2w	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermt2w	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermt2w	(%rax,%rbx,4), %xmm1, %xmm2
	vpermt2w	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}

	vpermt2w	%ymm0, %ymm1, %ymm2
	vpermt2w	%ymm10, %ymm11, %ymm12{%k1}
	vpermt2w	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermt2w	(%rax), %ymm1, %ymm2
	vpermt2w	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermt2w	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermt2w	(%rax,%rbx,4), %ymm1, %ymm2
	vpermt2w	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}

	vpermt2w	%zmm0, %zmm1, %zmm2
	vpermt2w	%zmm10, %zmm11, %zmm12{%k1}
	vpermt2w	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermt2w	(%rax), %zmm1, %zmm2
	vpermt2w	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermt2w	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermt2w	(%rax,%rbx,4), %zmm1, %zmm2
	vpermt2w	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}

	vpermt2d	%xmm0, %xmm1, %xmm2
	vpermt2d	%xmm10, %xmm11, %xmm12{%k1}
	vpermt2d	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermt2d	(%rax), %xmm1, %xmm2
	vpermt2d	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermt2d	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermt2d	(%rax,%rbx,4), %xmm1, %xmm2
	vpermt2d	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}
	vpermt2d	(%rdx){1to4}, %xmm14, %xmm15
	vpermt2d	0x73(%rdx){1to4}, %xmm24, %xmm25{%k4}
	vpermt2d	-0x8(%rdx){1to4}, %xmm30, %xmm31{%k4}{z}

	vpermt2d	%ymm0, %ymm1, %ymm2
	vpermt2d	%ymm10, %ymm11, %ymm12{%k1}
	vpermt2d	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermt2d	(%rax), %ymm1, %ymm2
	vpermt2d	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermt2d	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermt2d	(%rax,%rbx,4), %ymm1, %ymm2
	vpermt2d	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}
	vpermt2d	(%rdx){1to8}, %ymm14, %ymm15
	vpermt2d	0x73(%rdx){1to8}, %ymm24, %ymm25{%k4}
	vpermt2d	-0x8(%rdx){1to8}, %ymm30, %ymm31{%k4}{z}

	vpermt2d	%zmm0, %zmm1, %zmm2
	vpermt2d	%zmm10, %zmm11, %zmm12{%k1}
	vpermt2d	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermt2d	(%rax), %zmm1, %zmm2
	vpermt2d	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermt2d	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermt2d	(%rax,%rbx,4), %zmm1, %zmm2
	vpermt2d	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}
	vpermt2d	(%rdx){1to16}, %zmm14, %zmm15
	vpermt2d	0x73(%rdx){1to16}, %zmm24, %zmm25{%k4}
	vpermt2d	-0x8(%rdx){1to16}, %zmm30, %zmm31{%k4}{z}

	vpermt2q	%xmm0, %xmm1, %xmm2
	vpermt2q	%xmm10, %xmm11, %xmm12{%k1}
	vpermt2q	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpermt2q	(%rax), %xmm1, %xmm2
	vpermt2q	0x10(%rax), %xmm11, %xmm12{%k1}
	vpermt2q	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpermt2q	(%rax,%rbx,4), %xmm1, %xmm2
	vpermt2q	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}
	vpermt2q	(%rdx){1to2}, %xmm14, %xmm15
	vpermt2q	0x73(%rdx){1to2}, %xmm24, %xmm25{%k4}
	vpermt2q	-0x8(%rdx){1to2}, %xmm30, %xmm31{%k4}{z}

	vpermt2q	%ymm0, %ymm1, %ymm2
	vpermt2q	%ymm10, %ymm11, %ymm12{%k1}
	vpermt2q	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpermt2q	(%rax), %ymm1, %ymm2
	vpermt2q	0x10(%rax), %ymm11, %ymm12{%k1}
	vpermt2q	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpermt2q	(%rax,%rbx,4), %ymm1, %ymm2
	vpermt2q	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}
	vpermt2q	(%rdx){1to4}, %ymm14, %ymm15
	vpermt2q	0x73(%rdx){1to4}, %ymm24, %ymm25{%k4}
	vpermt2q	-0x8(%rdx){1to4}, %ymm30, %ymm31{%k4}{z}

	vpermt2q	%zmm0, %zmm1, %zmm2
	vpermt2q	%zmm10, %zmm11, %zmm12{%k1}
	vpermt2q	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpermt2q	(%rax), %zmm1, %zmm2
	vpermt2q	0x10(%rax), %zmm11, %zmm12{%k1}
	vpermt2q	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpermt2q	(%rax,%rbx,4), %zmm1, %zmm2
	vpermt2q	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}
	vpermt2q	(%rdx){1to8}, %zmm14, %zmm15
	vpermt2q	0x73(%rdx){1to8}, %zmm24, %zmm25{%k4}
	vpermt2q	-0x8(%rdx){1to8}, %zmm30, %zmm31{%k4}{z}

	vpmultishiftqb	%xmm0, %xmm1, %xmm2
	vpmultishiftqb	%xmm10, %xmm11, %xmm12{%k1}
	vpmultishiftqb	%xmm20, %xmm11, %xmm22{%k2}{z}
	vpmultishiftqb	(%rax), %xmm1, %xmm2
	vpmultishiftqb	0x10(%rax), %xmm11, %xmm12{%k1}
	vpmultishiftqb	0x12345(%rax), %xmm11, %xmm22{%k2}{z}
	vpmultishiftqb	(%rax,%rbx,4), %xmm1, %xmm2
	vpmultishiftqb	0x14(%rax,%rcx,8), %xmm11, %xmm12{%k1}
	vpmultishiftqb	(%rdx){1to2}, %xmm14, %xmm15
	vpmultishiftqb	0x73(%rdx){1to2}, %xmm24, %xmm25{%k4}
	vpmultishiftqb	-0x8(%rdx){1to2}, %xmm30, %xmm31{%k4}{z}

	vpmultishiftqb	%ymm0, %ymm1, %ymm2
	vpmultishiftqb	%ymm10, %ymm11, %ymm12{%k1}
	vpmultishiftqb	%ymm20, %ymm11, %ymm22{%k2}{z}
	vpmultishiftqb	(%rax), %ymm1, %ymm2
	vpmultishiftqb	0x10(%rax), %ymm11, %ymm12{%k1}
	vpmultishiftqb	0x12345(%rax), %ymm11, %ymm22{%k2}{z}
	vpmultishiftqb	(%rax,%rbx,4), %ymm1, %ymm2
	vpmultishiftqb	0x14(%rax,%rcx,8), %ymm11, %ymm12{%k1}
	vpmultishiftqb	(%rdx){1to4}, %ymm14, %ymm15
	vpmultishiftqb	0x73(%rdx){1to4}, %ymm24, %ymm25{%k4}
	vpmultishiftqb	-0x8(%rdx){1to4}, %ymm30, %ymm31{%k4}{z}

	vpmultishiftqb	%zmm0, %zmm1, %zmm2
	vpmultishiftqb	%zmm10, %zmm11, %zmm12{%k1}
	vpmultishiftqb	%zmm20, %zmm11, %zmm22{%k2}{z}
	vpmultishiftqb	(%rax), %zmm1, %zmm2
	vpmultishiftqb	0x10(%rax), %zmm11, %zmm12{%k1}
	vpmultishiftqb	0x12345(%rax), %zmm11, %zmm22{%k2}{z}
	vpmultishiftqb	(%rax,%rbx,4), %zmm1, %zmm2
	vpmultishiftqb	0x14(%rax,%rcx,8), %zmm11, %zmm12{%k1}
	vpmultishiftqb	(%rdx){1to8}, %zmm14, %zmm15
	vpmultishiftqb	0x73(%rdx){1to8}, %zmm24, %zmm25{%k4}
	vpmultishiftqb	-0x8(%rdx){1to8}, %zmm30, %zmm31{%k4}{z}
.size libdis_test, [.-libdis_test]