VADDPD Z6, Z2, K3, Z5                              // 62f1ed4b58ee
	VADDPD Z14, Z2, K3, Z5                             // 62d1ed4b58ee
	VADDPD 17(SP), Z2, K3, Z5                          // 62f1ed4b58ac2411000000
	VADDPD -17(BP)(SI*4), Z2, K3, Z5                   // 62f1ed4b58acb5efffffff
	VADDPD Z6, Z2, K3, Z23                             // 62e1ed4b58fe
	VADDPD Z14, Z2, K3, Z23                            // 62c1ed4b58fe

	VPERMB (DI), Z8, K1, Z3                            // 62f23d498d1f
	VPERMB Z3, Z2, K1, Z3                              // 62f26d498ddb
	VPERMB Z27, Z2, K1, Z3                             // 62926d498ddb
	VPERMB 7(AX), Z2, K1, Z3                           // 62f26d498d9807000000
	VPERMB (DI), Z2, K1, Z3                            // 62f26d498d1f
	VPERMB Z3, Z8, K1, Z21                             // 62e23d498deb

// Code generated by avx512test. DO NOT EDIT.

#include "../../../../../../runtime/textflag.h"

TEXT asmtest_avx512_4vnniw(SB), NOSPLIT, $0
	VP4DPWSSD 7(SI)(DI*1), [Z2-Z5], K4, Z17            // 62e26f4c528c3e07000000
	VP4DPWSSD 15(DX)(BX*8), [Z2-Z5], K4, Z17           // 62e26f4c528cda0f000000
	VP4DPWSSD 7(SI)(DI*1), [Z12-Z15], K4, Z17          // 62e21f4c528c3e07000000
	VP4DPWSSD 15(DX)(BX*8), [Z12-Z15], K4, Z17         // 62e21f4c528cda0f000000

	VPACKSSWB Z23, Z27, K3, Z2                         // 62b1254363d7 or 62b1a54363d7
	VPACKSSWB Z9, Z27, K3, Z2                          // 62d1254363d1 or 62d1a54363d1
	VPACKSSWB -17(BP)(SI*2), Z27, K3, Z2               // 62f12543639475efffffff or 62f1a543639475efffffff
	VPACKSSWB 7(AX)(CX*2), Z27, K3, Z2                 // 62f1254363944807000000 or 62f1a54363944807000000

	VADDPD.Z X30, X1, K7, X0  // 6291f58f58c6
	VMAXPD.Z (AX), Z2, K1, Z1 // 62f1edc95f08
	// EVEX: embedded rounding.
	VADDPD.RU_SAE Z3, Z2, K1, Z1   // 62f1ed5958cb
	VADDPD.RD_SAE Z3, Z2, K1, Z1   // 62f1ed3958cb
	VADDPD.RZ_SAE Z3, Z2, K1, Z1   // 62f1ed7958cb
	VADDPD.RN_SAE Z3, Z2, K1, Z1   // 62f1ed1958cb
	VADDPD.RU_SAE.Z Z3, Z2, K1, Z1 // 62f1edd958cb
	VADDPD.RD_SAE.Z Z3, Z2, K1, Z1 // 62f1edb958cb

	VPOPCNTD -15(BX), K5, Y12                          // 62727d2d55a3f1ffffff
	VPOPCNTD Z2, K3, Z22                               // 62e27d4b55f2
	VPOPCNTD Z31, K3, Z22                              // 62827d4b55f7
	VPOPCNTD 7(SI)(DI*4), K3, Z22                      // 62e27d4b55b4be07000000
	VPOPCNTD -7(DI)(R8*2), K3, Z22                     // 62a27d4b55b447f9ffffff
	VPOPCNTD Z2, K3, Z7                                // 62f27d4b55fa

	VPCOMPRESSB Y21, K1, (R15)                         // 62c27d29632f
	VPCOMPRESSB Z2, K1, Z5                             // 62f27d4963d5
	VPCOMPRESSB Z2, K1, Z23                            // 62b27d4963d7
	VPCOMPRESSB Z2, K1, -17(BP)                        // 62f27d496355ef
	VPCOMPRESSB Z2, K1, -15(R14)(R15*8)                // 62927d496354fef1
	VPCOMPRESSW X20, K5, X20                           // 62a2fd0d63e4

	//                  "K0 can't be used for write mask"
	VADDPD X0, X1, K0, X2           // ERROR "invalid instruction"
	VADDPD Y0, Y1, K0, Y2           // ERROR "invalid instruction"
	VADDPD Z0, Z1, K0, Z2           // ERROR "invalid instruction"
	// VEX-encoded VSIB can't use High-16 registers as index (unlike EVEX).
	// TODO(quasilyte): improve error message (#21860).
	VPGATHERQQ X2, (BP)(X20*2), X3  // ERROR "invalid instruction"

	VRANGEPD $14, Z23, Z27, K1, Z2                     // 62b3a54150d70e
	VRANGEPD $14, Z9, Z27, K1, Z2                      // 62d3a54150d10e
	VRANGEPD $14, (R14), Z27, K1, Z2                   // 62d3a54150160e
	VRANGEPD $14, -7(DI)(R8*8), Z27, K1, Z2            // 62b3a5415094c7f9ffffff0e
	VRANGEPD $14, Z23, Z25, K1, Z2                     // 62b3b54150d70e
	VRANGEPD $14, Z9, Z25, K1, Z2                      // 62d3b54150d10e

	VRCP28PD Z14, K7, Z5                               // 62d2fd4fcaee
	VRCP28PD Z2, K2, Z5                                // 62f2fd4acaea
	VRCP28PD -7(CX)(DX*1), K2, Z5                      // 62f2fd4acaac11f9ffffff
	VRCP28PD -15(R14)(R15*4), K2, Z5                   // 6292fd4acaacbef1ffffff
	VRCP28PD Z2, K2, Z23                               // 62e2fd4acafa