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