VPMADD52HUQ X0, X11, K1, X18                       // 62e2a509b5d0
	VPMADD52HUQ 17(SP)(BP*2), X11, K1, X18             // 62e2a509b5946c11000000
	VPMADD52HUQ -7(DI)(R8*4), X11, K1, X18             // 62a2a509b59487f9ffffff
	VPMADD52HUQ X7, X31, K1, X18                       // 62e28501b5d7
	VPMADD52HUQ X0, X31, K1, X18                       // 62e28501b5d0
	VPMADD52HUQ 17(SP)(BP*2), X31, K1, X18             // 62e28501b5946c11000000

	VCVTPH2PS 17(SP)(BP*8), K1, Z1                     // 62f27d49138cec11000000
	VCVTPH2PS 17(SP)(BP*4), K1, Z1                     // 62f27d49138cac11000000
	VCVTPH2PS Y14, K1, Z16                             // 62c27d4913c6
	VCVTPH2PS 17(SP)(BP*8), K1, Z16                    // 62e27d491384ec11000000
	VCVTPH2PS 17(SP)(BP*4), K1, Z16                    // 62e27d491384ac11000000

	VGATHERPF0QPS K2, (BP)(Z10*2)                      // 62b27d4ac74c5500
	VGATHERPF0QPS K2, (R10)(Z29*8)                     // 62927d42c70cea
	VGATHERPF0QPS K2, (R14)(Z29*8)                     // 62927d42c70cee
	VGATHERPF1DPD K2, (R14)(Y29*8)                     // 6292fd42c614ee
	VGATHERPF1DPD K2, (AX)(Y4*1)                       // 62f2fd4ac61420
	VGATHERPF1DPD K2, (BP)(Y10*2)                      // 62b2fd4ac6545500

	VPGATHERQQ (BP)(X2*2), K1, X2   // ERROR "index and destination registers should be distinct"
	VPGATHERQQ (BP)(Y15*2), K1, Y15 // ERROR "index and destination registers should be distinct"
	VPGATHERQQ (BP)(Z20*2), K1, Z20 // ERROR "index and destination registers should be distinct"
	VPGATHERDQ (BP)(X2*2), K1, X2   // ERROR "index and destination registers should be distinct"

	VPLZCNTD (BX), K3, Y3                              // 62f27d2b441b
	VPLZCNTD -17(BP)(SI*1), K3, Y3                     // 62f27d2b449c35efffffff
	VPLZCNTD Z21, K3, Z3                               // 62b27d4b44dd
	VPLZCNTD Z13, K3, Z3                               // 62d27d4b44dd
	VPLZCNTD 17(SP)(BP*8), K3, Z3                      // 62f27d4b449cec11000000
	VPLZCNTD 17(SP)(BP*4), K3, Z3                      // 62f27d4b449cac11000000

	VPERMB 17(SP)(BP*1), Y31, K7, Y22                  // 62e205278db42c11000000
	VPERMB -7(CX)(DX*8), Y31, K7, Y22                  // 62e205278db4d1f9ffffff
	VPERMB Y5, Y5, K7, Y22                             // 62e2552f8df5
	VPERMB Y19, Y5, K7, Y22                            // 62a2552f8df3
	VPERMB Y31, Y5, K7, Y22                            // 6282552f8df7

	VPDPBUSDS 17(SP)(BP*8), Z13, K2, Z21               // 62e2154a51acec11000000
	VPDPBUSDS 17(SP)(BP*4), Z13, K2, Z21               // 62e2154a51acac11000000
	VPDPBUSDS Z12, Z16, K2, Z5                         // 62d27d4251ec
	VPDPBUSDS Z27, Z16, K2, Z5                         // 62927d4251eb
	VPDPBUSDS 17(SP)(BP*8), Z16, K2, Z5                // 62f27d4251acec11000000

	VRANGEPD $11, 17(SP)(BP*4), X31, K2, X12           // 6273850250a4ac110000000b
	VRANGEPD $11, X24, X23, K2, X16                    // 6283c50250c00b
	VRANGEPD $11, X14, X23, K2, X16                    // 62c3c50250c60b
	VRANGEPD $11, X0, X23, K2, X16                     // 62e3c50250c00b
	VRANGEPD $11, 17(SP)(BP*8), X23, K2, X16           // 62e3c5025084ec110000000b

	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)"},