# Check EVEX instructions

	.allow_index_reg
	.text
_start:
	.byte 0x62, 0xf1, 0xd6, 0x38, 0x2a, 0xf0
	.byte 0x62, 0xf1, 0xd7, 0x38, 0x2a, 0xf0
	.byte 0x62, 0xf1, 0xd6, 0x08, 0x7b, 0xf0
	.byte 0x62, 0xf1, 0xd7, 0x08, 0x7b, 0xf0
	.byte 0x62, 0xf1, 0xd6, 0x38, 0x7b, 0xf0
	.byte 0x62, 0xf1, 0xd7, 0x38, 0x7b, 0xf0