VADDPD (CX)(AX*2), X1, X28  // 6261f508582441
	VADDPD (CX)(AX*2), X29, X28 // 62619500582441
	VADDPD (CX)(AX*2), X29, X10 // 62719500581441
	VADDPD (CX)(AX*2), X10, X28 // 6261ad08582441
	// EVEX: displacement without Disp8.
	VADDPD 15(AX), X29, X0        // 62f1950058800f000000
	VADDPD 15(AX), X1, X28        // 6261f50858a00f000000
	VADDPD 15(AX), X29, X28       // 6261950058a00f000000

// their valid instruction encodings.

#include "../../../../../runtime/textflag.h"

// In case of index mode instructions, usage of
// (Rx)(R0) is equivalent to (Rx+R0)
// In case of base+displacement mode instructions if
// the offset is 0, usage of (Rx) is equivalent to 0(Rx)
TEXT asmtest(SB),DUPOK|NOSPLIT,$0
	// move constants
	MOVD $1, R3                     // 38600001
	MOVD $-1, R4                    // 3880ffff