VMAXPD Z30, Z20, K4, Z1                            // 6291dd445fce
	VMAXPD Z5, Z20, K4, Z1                             // 62f1dd445fcd
	VMAXPD Z30, Z9, K4, Z1                             // 6291b54c5fce
	VMAXPD Z5, Z9, K4, Z1                              // 62f1b54c5fcd
	VMAXPD Z30, Z20, K4, Z9                            // 6211dd445fce
	VMAXPD Z5, Z20, K4, Z9                             // 6271dd445fcd

	VADDPD.BCST.Z (AX), Z2, K1, Z1 // 62f1edd95808
	VMAXPD.BCST (AX), Z2, K1, Z1   // 62f1ed595f08
	VMAXPD.BCST.Z (AX), Z2, K1, Z1 // 62f1edd95f08
	// EVEX: suppress all exceptions (SAE).
	VMAXPD.SAE   Z3, Z2, K1, Z1   // 62f1ed595fcb or 62f1ed195fcb
	VMAXPD.SAE.Z Z3, Z2, K1, Z1   // 62f1edd95fcb or 62f1ed995fcb
	VMAXPD (AX), Z2, K1, Z1       // 62f1ed495f08
	VCMPSD.SAE $0, X0, X2, K0     // 62f1ef18c2c000

	VADDPD.RD_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"
	VADDPD.RZ_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"
	VADDPD.RN_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"
	// Unsupported SAE.
	VMAXPD.SAE (AX), Z2, K1, Z1      // ERROR "illegal SAE with memory argument"
	VADDPD.SAE X3, X2, K1, X1        // ERROR "unsupported SAE"
	// Unsupported zeroing.
	VFPCLASSPDX.Z $0, (AX), K2, K1   // ERROR "unsupported zeroing"

	VMAXPD X11, X9, X11                     // c441315fdb
	VMAXPD (BX), Y15, Y2                    // c4e1055f13 or c5855f13
	VMAXPD (R11), Y15, Y2                   // c4c1055f13
	VMAXPD Y2, Y15, Y2                      // c4e1055fd2 or c5855fd2
	VMAXPD Y11, Y15, Y2                     // c4c1055fd3
	VMAXPD (BX), Y15, Y11                   // c461055f1b or c5055f1b