1 // RUN
: llvm-mc
-triple x86_64-unknown-unknown
--show-encoding
%s | FileCheck
%s
3 // CHECK
: rdfsbasel
%r13d
4 // CHECK
: encoding
: [0xf3,0x41,0x0f,0xae,0xc5]
7 // CHECK
: rdfsbaseq
%r13
8 // CHECK
: encoding
: [0xf3,0x49,0x0f,0xae,0xc5]
11 // CHECK
: rdgsbasel
%r13d
12 // CHECK
: encoding
: [0xf3,0x41,0x0f,0xae,0xcd]
15 // CHECK
: rdgsbaseq
%r13
16 // CHECK
: encoding
: [0xf3,0x49,0x0f,0xae,0xcd]
19 // CHECK
: wrfsbasel
%r13d
20 // CHECK
: encoding
: [0xf3,0x41,0x0f,0xae,0xd5]
23 // CHECK
: wrfsbaseq
%r13
24 // CHECK
: encoding
: [0xf3,0x49,0x0f,0xae,0xd5]
27 // CHECK
: wrgsbasel
%r13d
28 // CHECK
: encoding
: [0xf3,0x41,0x0f,0xae,0xdd]
31 // CHECK
: wrgsbaseq
%r13
32 // CHECK
: encoding
: [0xf3,0x49,0x0f,0xae,0xdd]