// 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