1 # Check EVEX instructions
6 .byte 0x62, 0xf1, 0xd6, 0x38, 0x2a, 0xf0
7 .byte 0x62, 0xf1, 0xd7, 0x38, 0x2a, 0xf0
8 .byte 0x62, 0xf1, 0xd6, 0x08, 0x7b, 0xf0
9 .byte 0x62, 0xf1, 0xd7, 0x08, 0x7b, 0xf0
10 .byte 0x62, 0xf1, 0xd6, 0x38, 0x7b, 0xf0
11 .byte 0x62, 0xf1, 0xd7, 0x38, 0x7b, 0xf0