test/MC/X86/x86_64-rand-encoding.s

   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