Home | History | Annotate | Download | only in X86 
      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