// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s

// CHECK: urdmsr $123, %r9
// CHECK: encoding: [0xc4,0xc7,0x7b,0xf8,0xc1,0x7b,0x00,0x00,0x00]
          urdmsr $123, %r9

// CHECK: urdmsr %r9, %r9
// CHECK: encoding: [0xf2,0x45,0x0f,0x38,0xf8,0xc9]
          urdmsr %r9, %r9

// CHECK: uwrmsr %r9, $123
// CHECK: encoding: [0xc4,0xc7,0x7a,0xf8,0xc1,0x7b,0x00,0x00,0x00]
          uwrmsr %r9, $123

// CHECK: uwrmsr %r9, %r9
// CHECK: encoding: [0xf3,0x45,0x0f,0x38,0xf8,0xc9]
          uwrmsr %r9, %r9

