RET
TEXT ·a28(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	PEXTRD $0, X0, R15
	ADDQ $1, R15
	RET
TEXT ·a29(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	VPEXTRD $0, X0, R15
	ADDQ $1, R15
	RET
TEXT ·a30(SB), 0, $0-0
	CMPL runtime·writeBarrier(SB), $0
	BSFQ R15, AX // ERROR "when dynamic linking, R15 is clobbered by a global variable access and is used here"
	RET

	"VPERMT2B",
	"VPERMT2D",
	"VPERMT2PD",
	"VPERMT2PS",
	"VPERMT2Q",
	"VPERMT2W",
	"VPERMW",
	"VPEXPANDB",
	"VPEXPANDD",
	"VPEXPANDQ",
	"VPEXPANDW",
	"VPEXTRB",
	"VPEXTRD",
	"VPEXTRQ",
	"VPEXTRW",
	"VPGATHERDD",
	"VPGATHERDQ",
	"VPGATHERQD",
	"VPGATHERQQ",
	"VPHADDD",
	"VPHADDSW",
	"VPHADDW",
	"VPHMINPOSUW",
	"VPHSUBD",
	"VPHSUBSW",

	VPEXTRD $64, X22, CX                               // 62e37d0816f140
	VPEXTRD $64, X30, CX                               // 62637d0816f140
	VPEXTRD $64, X22, SP                               // 62e37d0816f440
	VPEXTRD $64, X30, SP                               // 62637d0816f440
	VPEXTRD $64, X22, 99(R15)(R15*2)                   // 62837d0816b47f6300000040

	VPEXTRD $7, X2, (BX)                    // c4e379161307
	VPEXTRD $7, X11, (BX)                   // c46379161b07
	VPEXTRD $7, X2, (R11)                   // c4c379161307
	VPEXTRD $7, X11, (R11)                  // c44379161b07
	VPEXTRD $7, X2, DX                      // c4e37916d207
	VPEXTRD $7, X11, DX                     // c4637916da07
	VPEXTRD $7, X2, R11                     // c4c37916d307

	VPSRLW $-1, X1, X1           // c5f171d1ff
	VPSRLW $-1, Y1, Y2           // c5ed71d1ff
	VEXTRACTPS $-1, X1, AX       // c4e37917c8ff
	VPEXTRB $-1, X1, AX          // c4e37914c8ff
	VPEXTRD $-1, X1, AX          // c4e37916c8ff
	VPEXTRQ $-1, X1, AX          // c4e3f916c8ff
	// EVEX: High-16 X registers.
	VADDPD X30, X1, X0          // 6291f50858c6
	VADDPD X2, X29, X0          // 62f1950058c2