1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
4 // CHECK: encoding: [0x66,0x0f,0xc7,0xf0]
8 // CHECK: encoding: [0x0f,0xc7,0xf0]
11 // CHECK: rdrandq %rax
12 // CHECK: encoding: [0x48,0x0f,0xc7,0xf0]
15 // CHECK: rdrandw %r11w
16 // CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xf3]
19 // CHECK: rdrandl %r11d
20 // CHECK: encoding: [0x41,0x0f,0xc7,0xf3]
23 // CHECK: rdrandq %r11
24 // CHECK: encoding: [0x49,0x0f,0xc7,0xf3]
28 // CHECK: encoding: [0x66,0x0f,0xc7,0xf8]
31 // CHECK: rdseedl %eax
32 // CHECK: encoding: [0x0f,0xc7,0xf8]
35 // CHECK: rdseedq %rax
36 // CHECK: encoding: [0x48,0x0f,0xc7,0xf8]
39 // CHECK: rdseedw %r11w
40 // CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xfb]
43 // CHECK: rdseedl %r11d
44 // CHECK: encoding: [0x41,0x0f,0xc7,0xfb]
47 // CHECK: rdseedq %r11
48 // CHECK: encoding: [0x49,0x0f,0xc7,0xfb]