| # Check EVEX instructions |
| |
| .allow_index_reg |
| .text |
| _start: |
| .byte 0x62, 0xf1, 0xd6, 0x38, 0x2a, 0xf0 |
| .byte 0x62, 0xf1, 0x57, 0x38, 0x2a, 0xf0 |
| .byte 0x62, 0xf1, 0xd7, 0x38, 0x2a, 0xf0 |
| .byte 0x62, 0xf1, 0xd6, 0x08, 0x7b, 0xf0 |
| .byte 0x62, 0xf1, 0x57, 0x08, 0x7b, 0xf0 |
| .byte 0x62, 0xf1, 0xd7, 0x08, 0x7b, 0xf0 |
| .byte 0x62, 0xf1, 0xd6, 0x38, 0x7b, 0xf0 |
| .byte 0x62, 0xf1, 0x57, 0x38, 0x7b, 0xf0 |
| .byte 0x62, 0xf1, 0xd7, 0x38, 0x7b, 0xf0 |
| .byte 0x62, 0xe1, 0x7e, 0x08, 0x2d, 0xc0 |
| .byte 0x62, 0xe1, 0x7c, 0x08, 0xc2, 0xc0, 0x00 |