50 lines · plain
1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s2 3// CHECK: rdrandw %ax4// CHECK: encoding: [0x66,0x0f,0xc7,0xf0]5 rdrand %ax6 7// CHECK: rdrandl %eax8// CHECK: encoding: [0x0f,0xc7,0xf0]9 rdrand %eax10 11// CHECK: rdrandq %rax12// CHECK: encoding: [0x48,0x0f,0xc7,0xf0]13 rdrand %rax14 15// CHECK: rdrandw %r11w16// CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xf3]17 rdrand %r11w18 19// CHECK: rdrandl %r11d20// CHECK: encoding: [0x41,0x0f,0xc7,0xf3]21 rdrand %r11d22 23// CHECK: rdrandq %r1124// CHECK: encoding: [0x49,0x0f,0xc7,0xf3]25 rdrand %r1126 27// CHECK: rdseedw %ax28// CHECK: encoding: [0x66,0x0f,0xc7,0xf8]29 rdseed %ax30 31// CHECK: rdseedl %eax32// CHECK: encoding: [0x0f,0xc7,0xf8]33 rdseed %eax34 35// CHECK: rdseedq %rax36// CHECK: encoding: [0x48,0x0f,0xc7,0xf8]37 rdseed %rax38 39// CHECK: rdseedw %r11w40// CHECK: encoding: [0x66,0x41,0x0f,0xc7,0xfb]41 rdseed %r11w42 43// CHECK: rdseedl %r11d44// CHECK: encoding: [0x41,0x0f,0xc7,0xfb]45 rdseed %r11d46 47// CHECK: rdseedq %r1148// CHECK: encoding: [0x49,0x0f,0xc7,0xfb]49 rdseed %r1150