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
	VADDPD.RZ_SAE.Z Z3, Z2, K1, Z1 // 62f1edf958cb

	VPSHLDVQ Z0, Z6, K4, Z1                            // 62f2cd4c71c8
	VPSHLDVQ Z8, Z6, K4, Z1                            // 62d2cd4c71c8
	VPSHLDVQ (R14), Z6, K4, Z1                         // 62d2cd4c710e
	VPSHLDVQ -7(DI)(R8*8), Z6, K4, Z1                  // 62b2cd4c718cc7f9ffffff
	VPSHLDVQ Z0, Z2, K4, Z1                            // 62f2ed4c71c8
	VPSHLDVQ Z8, Z2, K4, Z1                            // 62d2ed4c71c8