1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s 2 3// CHECK: rdseedl %r13d 4// CHECK: encoding: [0x41,0x0f,0xc7,0xfd] 5rdseedl %r13d 6 7// CHECK: rdseedq %r13 8// CHECK: encoding: [0x49,0x0f,0xc7,0xfd] 9rdseedq %r13 10 11// CHECK: rdseedw %r13w 12// CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xfd] 13rdseedw %r13w 14 15