1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: rdrandw %ax
4// CHECK: encoding: [0x66,0x0f,0xc7,0xf0]
5          rdrand %ax
6
7// CHECK: rdrandl %eax
8// CHECK: encoding: [0x0f,0xc7,0xf0]
9          rdrand %eax
10
11// CHECK: rdrandq %rax
12// CHECK: encoding: [0x48,0x0f,0xc7,0xf0]
13          rdrand %rax
14
15// CHECK: rdrandw %r11w
16// CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xf3]
17          rdrand %r11w
18
19// CHECK: rdrandl %r11d
20// CHECK: encoding: [0x41,0x0f,0xc7,0xf3]
21          rdrand %r11d
22
23// CHECK: rdrandq %r11
24// CHECK: encoding: [0x49,0x0f,0xc7,0xf3]
25          rdrand %r11
26
27// CHECK: rdseedw %ax
28// CHECK: encoding: [0x66,0x0f,0xc7,0xf8]
29          rdseed %ax
30
31// CHECK: rdseedl %eax
32// CHECK: encoding: [0x0f,0xc7,0xf8]
33          rdseed %eax
34
35// CHECK: rdseedq %rax
36// CHECK: encoding: [0x48,0x0f,0xc7,0xf8]
37          rdseed %rax
38
39// CHECK: rdseedw %r11w
40// CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xfb]
41          rdseed %r11w
42
43// CHECK: rdseedl %r11d
44// CHECK: encoding: [0x41,0x0f,0xc7,0xfb]
45          rdseed %r11d
46
47// CHECK: rdseedq %r11
48// CHECK: encoding: [0x49,0x0f,0xc7,0xfb]
49          rdseed %r11
50