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

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: blsmskl  %r11d, %r10d
   4 // CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xd3]
   5           blsmskl  %r11d, %r10d
   6
   7 // CHECK: blsmskq  %r11, %r10
   8 // CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xd3]
   9           blsmskq  %r11, %r10
  10
  11 // CHECK: blsmskl  (%rax), %r10d
  12 // CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x10]
  13           blsmskl  (%rax), %r10d
  14
  15 // CHECK: blsmskq  (%rax), %r10
  16 // CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x10]
  17           blsmskq  (%rax), %r10
  18
  19 // CHECK: blsil  %r11d, %r10d
  20 // CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xdb]
  21           blsil  %r11d, %r10d
  22
  23 // CHECK: blsiq  %r11, %r10
  24 // CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xdb]
  25           blsiq  %r11, %r10
  26
  27 // CHECK: blsil  (%rax), %r10d
  28 // CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x18]
  29           blsil  (%rax), %r10d
  30
  31 // CHECK: blsiq  (%rax), %r10
  32 // CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x18]
  33           blsiq  (%rax), %r10
  34
  35 // CHECK: blsrl  %r11d, %r10d
  36 // CHECK: encoding: [0xc4,0xc2,0x28,0xf3,0xcb]
  37           blsrl  %r11d, %r10d
  38
  39 // CHECK: blsrq  %r11, %r10
  40 // CHECK: encoding: [0xc4,0xc2,0xa8,0xf3,0xcb]
  41           blsrq  %r11, %r10
  42
  43 // CHECK: blsrl  (%rax), %r10d
  44 // CHECK: encoding: [0xc4,0xe2,0x28,0xf3,0x08]
  45           blsrl  (%rax), %r10d
  46
  47 // CHECK: blsrq  (%rax), %r10
  48 // CHECK: encoding: [0xc4,0xe2,0xa8,0xf3,0x08]
  49           blsrq  (%rax), %r10
  50
  51 // CHECK: andnl  (%rax), %r11d, %r10d
  52 // CHECK: encoding: [0xc4,0x62,0x20,0xf2,0x10]
  53           andnl  (%rax), %r11d, %r10d
  54
  55 // CHECK: andnq  (%rax), %r11, %r10
  56 // CHECK: encoding: [0xc4,0x62,0xa0,0xf2,0x10]
  57           andnq  (%rax), %r11, %r10
  58
  59 // CHECK: bextrl %r12d, (%rax), %r10d
  60 // CHECK: encoding: [0xc4,0x62,0x18,0xf7,0x10]
  61           bextrl %r12d, (%rax), %r10d
  62
  63 // CHECK: bextrl %r12d, %r11d, %r10d
  64 // CHECK: encoding: [0xc4,0x42,0x18,0xf7,0xd3]
  65           bextrl %r12d, %r11d, %r10d
  66
  67 // CHECK: bextrq %r12, (%rax), %r10
  68 // CHECK: encoding: [0xc4,0x62,0x98,0xf7,0x10]
  69           bextrq %r12, (%rax), %r10
  70
  71 // CHECK: bextrq %r12, %r11, %r10
  72 // CHECK: encoding: [0xc4,0x42,0x98,0xf7,0xd3]
  73           bextrq %r12, %r11, %r10
  74
  75 // CHECK: bzhil %r12d, (%rax), %r10d
  76 // CHECK: encoding: [0xc4,0x62,0x18,0xf5,0x10]
  77           bzhil %r12d, (%rax), %r10d
  78
  79 // CHECK: bzhil %r12d, %r11d, %r10d
  80 // CHECK: encoding: [0xc4,0x42,0x18,0xf5,0xd3]
  81           bzhil %r12d, %r11d, %r10d
  82
  83 // CHECK: bzhiq %r12, (%rax), %r10
  84 // CHECK: encoding: [0xc4,0x62,0x98,0xf5,0x10]
  85           bzhiq %r12, (%rax), %r10
  86
  87 // CHECK: bzhiq %r12, %r11, %r10
  88 // CHECK: encoding: [0xc4,0x42,0x98,0xf5,0xd3]
  89           bzhiq %r12, %r11, %r10
  90
  91 // CHECK: pextrl %r12d, %r11d, %r10d
  92 // CHECK: encoding: [0xc4,0x42,0x22,0xf5,0xd4]
  93           pextrl %r12d, %r11d, %r10d
  94
  95 // CHECK: pextrl (%rax), %r11d, %r10d
  96 // CHECK: encoding: [0xc4,0x62,0x22,0xf5,0x10]
  97           pextrl (%rax), %r11d, %r10d
  98
  99 // CHECK: pextrq %r12, %r11, %r10
 100 // CHECK: encoding: [0xc4,0x42,0xa2,0xf5,0xd4]
 101           pextrq %r12, %r11, %r10
 102
 103 // CHECK: pextrq (%rax), %r11, %r10
 104 // CHECK: encoding: [0xc4,0x62,0xa2,0xf5,0x10]
 105           pextrq (%rax), %r11, %r10
 106
 107 // CHECK: pdepl %r12d, %r11d, %r10d
 108 // CHECK: encoding: [0xc4,0x42,0x23,0xf5,0xd4]
 109           pdepl %r12d, %r11d, %r10d
 110
 111 // CHECK: pdepl (%rax), %r11d, %r10d
 112 // CHECK: encoding: [0xc4,0x62,0x23,0xf5,0x10]
 113           pdepl (%rax), %r11d, %r10d
 114
 115 // CHECK: pdepq %r12, %r11, %r10
 116 // CHECK: encoding: [0xc4,0x42,0xa3,0xf5,0xd4]
 117           pdepq %r12, %r11, %r10
 118
 119 // CHECK: pdepq (%rax), %r11, %r10
 120 // CHECK: encoding: [0xc4,0x62,0xa3,0xf5,0x10]
 121           pdepq (%rax), %r11, %r10