| // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s | |
| // CHECK: rdfsbasel %r13d | |
| // CHECK: encoding: [0xf3,0x41,0x0f,0xae,0xc5] | |
| rdfsbasel %r13d | |
| // CHECK: rdfsbaseq %r13 | |
| // CHECK: encoding: [0xf3,0x49,0x0f,0xae,0xc5] | |
| rdfsbaseq %r13 | |
| // CHECK: rdgsbasel %r13d | |
| // CHECK: encoding: [0xf3,0x41,0x0f,0xae,0xcd] | |
| rdgsbasel %r13d | |
| // CHECK: rdgsbaseq %r13 | |
| // CHECK: encoding: [0xf3,0x49,0x0f,0xae,0xcd] | |
| rdgsbaseq %r13 | |
| // CHECK: wrfsbasel %r13d | |
| // CHECK: encoding: [0xf3,0x41,0x0f,0xae,0xd5] | |
| wrfsbasel %r13d | |
| // CHECK: wrfsbaseq %r13 | |
| // CHECK: encoding: [0xf3,0x49,0x0f,0xae,0xd5] | |
| wrfsbaseq %r13 | |
| // CHECK: wrgsbasel %r13d | |
| // CHECK: encoding: [0xf3,0x41,0x0f,0xae,0xdd] | |
| wrgsbasel %r13d | |
| // CHECK: wrgsbaseq %r13 | |
| // CHECK: encoding: [0xf3,0x49,0x0f,0xae,0xdd] | |
| wrgsbaseq %r13 | |