KMOVQ K2, -17(BP)(SI*4)                            // c4e1f89154b5ef
	KMOVQ K7, -17(BP)(SI*4)                            // c4e1f8917cb5ef
	KMOVQ K0, DX                                       // c4e1fb93d0
	KMOVQ K5, DX                                       // c4e1fb93d5
	KMOVQ K0, BP                                       // c4e1fb93e8
	KMOVQ K5, BP                                       // c4e1fb93ed

	{"$~15", "$-16"},
	{"(((8)&0xf)*4)(SP)", "32(SP)"},
	{"(((8-14)&0xf)*4)(SP)", "40(SP)"},
	{"(6+8)(AX)", "14(AX)"},
	{"(8*4)(BP)", "32(BP)"},
	{"(AX)", "(AX)"},
	{"(AX)(CX*8)", "(AX)(CX*8)"},
	{"(BP)(CX*4)", "(BP)(CX*4)"},
	{"(BP)(DX*4)", "(BP)(DX*4)"},
	{"(BP)(R8*4)", "(BP)(R8*4)"},
	{"(BX)", "(BX)"},
	{"(DI)", "(DI)"},
	{"(DI)(BX*1)", "(DI)(BX*1)"},
	{"(DX)", "(DX)"},
	{"(R9)", "(R9)"},

	VPOPCNTB Z18, K7, Z13                              // 62327d4f54ea
	VPOPCNTB Z8, K7, Z13                               // 62527d4f54e8
	VPOPCNTB 17(SP)(BP*8), K7, Z13                     // 62727d4f54acec11000000
	VPOPCNTB 17(SP)(BP*4), K7, Z13                     // 62727d4f54acac11000000
	VPOPCNTW X20, K3, X11                              // 6232fd0b54dc
	VPOPCNTW X5, K3, X11                               // 6272fd0b54dd

	VGF2P8AFFINEINVQB $64, -17(BP), X31, K3, X26       // 62638503cf95efffffff40
	VGF2P8AFFINEINVQB $64, -15(R14)(R15*8), X31, K3, X26 // 62038503cf94fef1ffffff40
	VGF2P8AFFINEINVQB $64, X8, X16, K3, X26            // 6243fd03cfd040
	VGF2P8AFFINEINVQB $64, X1, X16, K3, X26            // 6263fd03cfd140
	VGF2P8AFFINEINVQB $64, X0, X16, K3, X26            // 6263fd03cfd040
	VGF2P8AFFINEINVQB $64, -17(BP), X16, K3, X26       // 6263fd03cf95efffffff40

	V4FMADDPS -17(BP)(SI*4), [Z0-Z3], K2, Z0           // 62f27f4a9a84b5efffffff
	V4FMADDPS 17(SP), [Z10-Z13], K2, Z0                // 62f22f4a9a842411000000
	V4FMADDPS -17(BP)(SI*4), [Z10-Z13], K2, Z0         // 62f22f4a9a84b5efffffff
	V4FMADDPS 17(SP), [Z20-Z23], K2, Z0                // 62f25f429a842411000000
	V4FMADDPS -17(BP)(SI*4), [Z20-Z23], K2, Z0         // 62f25f429a84b5efffffff

	VPCLMULQDQ $127, X7, X21, X15                      // 6273550044ff7f or 6273d50044ff7f
	VPCLMULQDQ $127, X19, X21, X15                     // 6233550044fb7f or 6233d50044fb7f
	VPCLMULQDQ $127, -17(BP)(SI*8), X21, X15           // 6273550044bcf5efffffff7f or 6273d50044bcf5efffffff7f
	VPCLMULQDQ $127, (R15), X21, X15                   // 62535500443f7f or 6253d500443f7f

	VPCOMPRESSB Y24, K1, Y24                           // 62027d2963c0
	VPCOMPRESSB Y21, K1, Y24                           // 62827d2963e8
	VPCOMPRESSB Y5, K1, -17(BP)(SI*8)                  // 62f27d29636cf5ef
	VPCOMPRESSB Y24, K1, -17(BP)(SI*8)                 // 62627d296344f5ef
	VPCOMPRESSB Y21, K1, -17(BP)(SI*8)                 // 62e27d29636cf5ef
	VPCOMPRESSB Y5, K1, (R15)                          // 62d27d29632f

	VAESDECLAST -17(BP)(SI*8), Y11, Y24                // 62622528df84f5efffffff or 6262a528df84f5efffffff
	VAESDECLAST (R15), Y11, Y24                        // 62422528df07 or 6242a528df07
	VAESDECLAST Z8, Z23, Z23                           // 62c24540dff8 or 62c2c540dff8
	VAESDECLAST Z28, Z23, Z23                          // 62824540dffc or 6282c540dffc

	VPGATHERDQ Y0, 664(X14*8), Y6           // c4a2fd9034f598020000
	VPGATHERQQ X2, (BP)(X7*2), X1           // c4e2e9914c7d00
	VPGATHERQQ Y2, (BP)(Y7*2), Y1           // c4e2ed914c7d00
	VPGATHERQQ X12, (R13)(X14*2), X11       // c40299915c7500
	VPGATHERQQ Y12, (R13)(Y14*2), Y11       // c4029d915c7500
	VPGATHERQQ X2, (BP)(X7*2), X1           // c4e2e9914c7d00
	VPGATHERQQ Y2, (BP)(Y7*2), Y1           // c4e2ed914c7d00

	VRSQRT28PS 17(SP)(BP*8), K1, Z12                   // 62727d49cca4ec11000000
	VRSQRT28PS 17(SP)(BP*4), K1, Z12                   // 62727d49cca4ac11000000
	VRSQRT28PS Z11, K1, Z22                            // 62c27d49ccf3
	VRSQRT28PS Z5, K1, Z22                             // 62e27d49ccf5
	VRSQRT28PS 17(SP)(BP*8), K1, Z22                   // 62e27d49ccb4ec11000000