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

* Y3 = R*Y3 * Y3 = Y3-T2 << store-out Y3 result reg // X=Z1; Y=Z1; MUL; T- // T1 = Z1*Z1 // X- ; Y=T ; MUL; R=T // R = Z1*T1 // X=X2; Y- ; MUL; H=T // H = X2*T1 // X=Z2; Y=Z2; MUL; T- // T2 = Z2*Z2 // X- ; Y=T ; MUL; S1=T // S1 = Z2*T2 // X=X1; Y- ; MUL; U1=T // U1 = X1*T2 // SUB(H<H-T) // H = H-U1 // X=Z1; Y=Z2; MUL; T- // Z3 = Z1*Z2 // X=T ; Y=H ; MUL; Z3:=T// Z3 = Z3*H << store-out Z3 result reg.. could override Z1, if slices have same backing array // X=Y1; Y=S1; MUL; S1=T // S1 = Y1*S1 // X=Y2;...

	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