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

	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