1 // RUN
: llvm-mc
-triple x86_64-unknown-unknown
--show-encoding
%s | FileCheck
%s
3 // CHECK
: rdseedl
%r13d
4 // CHECK
: encoding
: [0x41,0x0f,0xc7,0xfd]
8 // CHECK
: encoding
: [0x49,0x0f,0xc7,0xfd]
11 // CHECK
: rdseedw
%r13w
12 // CHECK
: encoding
: [0x66,0x41,0x0f,0xc7,0xfd]