VADDPS.BCST 2032(DX)(AX*2), Z1, Z29  // 6261745858ac42f0070000
	// Forced EVEX encoding due to suffixes.
	VADDPD.BCST 2032(DX), X0, X0 // 62f1fd185882f0070000
	VADDPD.BCST 2032(DX), Y0, Y0 // 62f1fd385882f0070000
	// Test new Z-cases one-by-one.
	//
	// Zevex_i_r_k_rm.
	VCVTPS2PH $1, Z2, K5, Y21 // 62b37d4d1dd501
	VCVTPS2PH $2, Z21, K4, Y2 // 62e37d4c1dea02
	// Zevex_i_r_rm.
	VCVTPS2PH $1, Z2, Y21 // 62b37d481dd501