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

// CHECK: rdseedl %r13d 
// CHECK: encoding: [0x41,0x0f,0xc7,0xfd]         
rdseedl %r13d 

// CHECK: rdseedq %r13 
// CHECK: encoding: [0x49,0x0f,0xc7,0xfd]         
rdseedq %r13 

// CHECK: rdseedw %r13w 
// CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xfd]         
rdseedw %r13w