// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: rdtscp
// CHECK: encoding: [0x0f,0x01,0xf9]
rdtscp
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: rdtscp
// CHECK: encoding: [0x0f,0x01,0xf9]
rdtscp