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