Home | History | Annotate | Download | only in X86 
      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: pextl %r12d, %r11d, %r10d
     92 // CHECK: encoding: [0xc4,0x42,0x22,0xf5,0xd4]
     93           pextl %r12d, %r11d, %r10d
     94 
     95 // CHECK: pextl (%rax), %r11d, %r10d
     96 // CHECK: encoding: [0xc4,0x62,0x22,0xf5,0x10]
     97           pextl (%rax), %r11d, %r10d
     98 
     99 // CHECK: pextq %r12, %r11, %r10
    100 // CHECK: encoding: [0xc4,0x42,0xa2,0xf5,0xd4]
    101           pextq %r12, %r11, %r10
    102 
    103 // CHECK: pextq (%rax), %r11, %r10
    104 // CHECK: encoding: [0xc4,0x62,0xa2,0xf5,0x10]
    105           pextq (%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
    122