none/tests/amd64/insn_basic.def

   1 adcb rflags[0x1,0x0] : imm8[12] al.ub[34] => 1.ub[46]
   2 adcb rflags[0x1,0x1] : imm8[12] al.ub[34] => 1.ub[47]
   3 adcb rflags[0x1,0x0] : imm8[12] bl.ub[34] => 1.ub[46]
   4 adcb rflags[0x1,0x1] : imm8[12] bl.ub[34] => 1.ub[47]
   5 adcb rflags[0x1,0x0] : imm8[12] m8.ub[34] => 1.ub[46]
   6 adcb rflags[0x1,0x1] : imm8[12] m8.ub[34] => 1.ub[47]
   7 adcb rflags[0x1,0x0] : r8.ub[12] r8.ub[34] => 1.ub[46]
   8 adcb rflags[0x1,0x1] : r8.ub[12] r8.ub[34] => 1.ub[47]
   9 adcb rflags[0x1,0x0] : r8.ub[12] m8.ub[34] => 1.ub[46]
  10 adcb rflags[0x1,0x1] : r8.ub[12] m8.ub[34] => 1.ub[47]
  11 ###adcb rflags[0x1,0x0] : m8.ub[12] r8.ub[34] => 1.ub[46]
  12 ###adcb rflags[0x1,0x1] : m8.ub[12] r8.ub[34] => 1.ub[47]
  13 adcw rflags[0x1,0x0] : imm8[12] r16.uw[3456] => 1.uw[3468]
  14 adcw rflags[0x1,0x1] : imm8[12] r16.uw[3456] => 1.uw[3469]
  15 ###adcw rflags[0x1,0x0] : imm16[1234] ax.uw[5678] => 1.uw[6912]
  16 ###adcw rflags[0x1,0x1] : imm16[1234] ax.uw[5678] => 1.uw[6913]
  17 adcw rflags[0x1,0x0] : imm16[1234] bx.uw[5678] => 1.uw[6912]
  18 adcw rflags[0x1,0x1] : imm16[1234] bx.uw[5678] => 1.uw[6913]
  19 adcw rflags[0x1,0x0] : imm16[1234] m16.uw[5678] => 1.uw[6912]
  20 adcw rflags[0x1,0x1] : imm16[1234] m16.uw[5678] => 1.uw[6913]
  21 adcw rflags[0x1,0x0] : r16.uw[1234] r16.uw[5678] => 1.uw[6912]
  22 adcw rflags[0x1,0x1] : r16.uw[1234] r16.uw[5678] => 1.uw[6913]
  23 adcw rflags[0x1,0x0] : r16.uw[1234] m16.uw[5678] => 1.uw[6912]
  24 adcw rflags[0x1,0x1] : r16.uw[1234] m16.uw[5678] => 1.uw[6913]
  25 adcw rflags[0x1,0x0] : m16.uw[1234] r16.uw[5678] => 1.uw[6912]
  26 adcw rflags[0x1,0x1] : m16.uw[1234] r16.uw[5678] => 1.uw[6913]
  27 adcl rflags[0x1,0x0] : imm8[12] r32.ud[87654321] => 1.ud[87654333]
  28 adcl rflags[0x1,0x1] : imm8[12] r32.ud[87654321] => 1.ud[87654334]
  29 ###adcl rflags[0x1,0x0] : imm32[12345678] eax.ud[87654321] => 1.ud[99999999]
  30 ###adcl rflags[0x1,0x1] : imm32[12345678] eax.ud[87654321] => 1.ud[100000000]
  31 adcl rflags[0x1,0x0] : imm32[12345678] ebx.ud[87654321] => 1.ud[99999999]
  32 adcl rflags[0x1,0x1] : imm32[12345678] ebx.ud[87654321] => 1.ud[100000000]
  33 adcl rflags[0x1,0x0] : imm32[12345678] m32.ud[87654321] => 1.ud[99999999]
  34 adcl rflags[0x1,0x1] : imm32[12345678] m32.ud[87654321] => 1.ud[100000000]
  35 adcl rflags[0x1,0x0] : r32.ud[12345678] r32.ud[87654321] => 1.ud[99999999]
  36 adcl rflags[0x1,0x1] : r32.ud[12345678] r32.ud[87654321] => 1.ud[100000000]
  37 adcl rflags[0x1,0x0] : r32.ud[12345678] m32.ud[87654321] => 1.ud[99999999]
  38 adcl rflags[0x1,0x1] : r32.ud[12345678] m32.ud[87654321] => 1.ud[100000000]
  39 adcl rflags[0x1,0x0] : m32.ud[12345678] r32.ud[87654321] => 1.ud[99999999]
  40 adcl rflags[0x1,0x1] : m32.ud[12345678] r32.ud[87654321] => 1.ud[100000000]
  41 adcq rflags[0x1,0x0] : imm8[12] r64.uq[8765432187654321] => 1.uq[8765432187654333]
  42 adcq rflags[0x1,0x1] : imm8[12] r64.uq[8765432187654321] => 1.uq[8765432187654334]
  43 ###adcq rflags[0x1,0x0] : imm32[12345678] rax.uq[8765432187654321] => 1.uq[8765432199999999]
  44 ###adcq rflags[0x1,0x1] : imm32[12345678] rax.uq[8765432187654321] => 1.uq[8765432200000000]
  45 adcq rflags[0x1,0x0] : imm32[12345678] rbx.uq[8765432187654321] => 1.uq[8765432199999999]
  46 adcq rflags[0x1,0x1] : imm32[12345678] rbx.uq[8765432187654321] => 1.uq[8765432200000000]
  47 adcq rflags[0x1,0x0] : imm32[12345678] m64.uq[8765432187654321] => 1.uq[8765432199999999]
  48 adcq rflags[0x1,0x1] : imm32[12345678] m64.uq[8765432187654321] => 1.uq[8765432200000000]
  49 adcq rflags[0x1,0x0] : r64.uq[1234567812345678] r64.uq[8765432187654321] => 1.uq[9999999999999999]
  50 adcq rflags[0x1,0x1] : r64.uq[1234567812345678] r64.uq[8765432187654321] => 1.uq[10000000000000000]
  51 adcq rflags[0x1,0x0] : r64.uq[1234567812345678] m64.uq[8765432187654321] => 1.uq[9999999999999999]
  52 adcq rflags[0x1,0x1] : r64.uq[1234567812345678] m64.uq[8765432187654321] => 1.uq[10000000000000000]
  53 adcq rflags[0x1,0x0] : m64.uq[1234567812345678] r64.uq[8765432187654321] => 1.uq[9999999999999999]
  54 adcq rflags[0x1,0x1] : m64.uq[1234567812345678] r64.uq[8765432187654321] => 1.uq[10000000000000000]
  55 addb imm8[12] al.ub[34] => 1.ub[46]
  56 addb imm8[12] bl.ub[34] => 1.ub[46]
  57 addb imm8[12] m8.ub[34] => 1.ub[46]
  58 addb r8.ub[12] r8.ub[34] => 1.ub[46]
  59 addb r8.ub[12] m8.ub[34] => 1.ub[46]
  60 addb m8.ub[12] r8.ub[34] => 1.ub[46]
  61 addw imm8[12] r16.uw[3456] => 1.uw[3468]
  62 addw imm16[1234] ax.uw[5678] => 1.uw[6912]
  63 addw imm16[1234] bx.uw[5678] => 1.uw[6912]
  64 addw imm16[1234] m16.uw[5678] => 1.uw[6912]
  65 addw r16.uw[1234] r16.uw[5678] => 1.uw[6912]
  66 addw r16.uw[1234] m16.uw[5678] => 1.uw[6912]
  67 addw m16.uw[1234] r16.uw[5678] => 1.uw[6912]
  68 addl imm8[12] r32.ud[87654321] => 1.ud[87654333]
  69 addl imm32[12345678] eax.ud[87654321] => 1.ud[99999999]
  70 addl imm32[12345678] ebx.ud[87654321] => 1.ud[99999999]
  71 addl imm32[12345678] m32.ud[87654321] => 1.ud[99999999]
  72 addl r32.ud[12345678] r32.ud[87654321] => 1.ud[99999999]
  73 addl r32.ud[12345678] m32.ud[87654321] => 1.ud[99999999]
  74 addl m32.ud[12345678] r32.ud[87654321] => 1.ud[99999999]
  75 addq imm8[12] r64.uq[8765432187654321] => 1.uq[8765432187654333]
  76 addq imm32[12345678] rax.uq[8765432187654321] => 1.uq[8765432199999999]
  77 addq imm32[12345678] rbx.uq[8765432187654321] => 1.uq[8765432199999999]
  78 addq imm32[12345678] m64.uq[8765432187654321] => 1.uq[8765432199999999]
  79 addq r64.uq[1234567812345678] r64.uq[8765432187654321] => 1.uq[9999999999999999]
  80 addq r64.uq[1234567812345678] m64.uq[8765432187654321] => 1.uq[9999999999999999]
  81 addq m64.uq[1234567812345678] r64.uq[8765432187654321] => 1.uq[9999999999999999]
  82 andb imm8[0x34] al.ub[0x56] => 1.ub[0x14]
  83 andb imm8[0x34] bl.ub[0x56] => 1.ub[0x14]
  84 andb imm8[0x34] m8.ub[0x56] => 1.ub[0x14]
  85 andb r8.ub[0x34] r8.ub[0x56] => 1.ub[0x14]
  86 andb r8.ub[0x34] m8.ub[0x56] => 1.ub[0x14]
  87 andb m8.ub[0x34] r8.ub[0x56] => 1.ub[0x14]
  88 andw imm8[0x31] r16.uw[0x1234] => 1.uw[0x0030]
  89 andw imm16[0x4231] ax.uw[0x1234] => 1.uw[0x0230]
  90 andw imm16[0x4231] bx.uw[0x1234] => 1.uw[0x0230]
  91 andw imm16[0x4231] m16.uw[0x1234] => 1.uw[0x0230]
  92 andw r16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x0230]
  93 andw r16.uw[0x4231] m16.uw[0x1234] => 1.uw[0x0230]
  94 andw m16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x0230]
  95 andl imm8[0x31] r32.ud[0x12345678] => 1.ud[0x00000030]
  96 andl imm32[0x86427531] eax.ud[0x12345678] => 1.ud[0x02005430]
  97 andl imm32[0x86427531] ebx.ud[0x12345678] => 1.ud[0x02005430]
  98 andl imm32[0x86427531] m32.ud[0x12345678] => 1.ud[0x02005430]
  99 andl r32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x02005430]
 100 andl r32.ud[0x86427531] m32.ud[0x12345678] => 1.ud[0x02005430]
 101 andl m32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x02005430]
 102 andq imm8[0x31] r64.uq[0x1234567812345678] => 1.uq[0x0000000000000030]
 103 andq imm32[0x12345678] rax.uq[0x8642753186427531] => 1.uq[0x0000000002005430]
 104 andq imm32[0x12345678] rbx.uq[0x8642753186427531] => 1.uq[0x0000000002005430]
 105 andq imm32[0x12345678] m64.uq[0x8642753186427531] => 1.uq[0x0000000002005430]
 106 andq imm32[-2042464975] rax.uq[0x1234567812345678] => 1.uq[0x1234567802005430]
 107 andq imm32[-2042464975] rbx.uq[0x1234567812345678] => 1.uq[0x1234567802005430]
 108 andq imm32[-2042464975] m64.uq[0x1234567812345678] => 1.uq[0x1234567802005430]
 109 andq r64.uq[0x8642753186427531] r64.uq[0x1234567812345678] => 1.uq[0x0200543002005430]
 110 andq r64.uq[0x8642753186427531] m64.uq[0x1234567812345678] => 1.uq[0x0200543002005430]
 111 andq m64.uq[0x8642753186427531] r64.uq[0x1234567812345678] => 1.uq[0x0200543002005430]
 112 bsfw r16.uw[0x2468] r16.uw[0] => 1.uw[3]
 113 bsfw m16.uw[0x8642] r16.uw[0] => 1.uw[1]
 114 bsfl r32.ud[0x13572468] r32.ud[0] => 1.ud[3]
 115 bsfl m32.ud[0x75318642] r32.ud[0] => 1.ud[1]
 116 bsfq r64.uq[0x1357246813572468] r64.uq[0] => 1.uq[3]
 117 bsfq m64.uq[0x7531864275318642] r64.uq[0] => 1.uq[1]
 118 bsrw r16.uw[0x2468] r16.uw[0] => 1.uw[13]
 119 bsrw m16.uw[0x8642] r16.uw[0] => 1.uw[15]
 120 bsrl r32.ud[0x13572468] r32.ud[0] => 1.ud[28]
 121 bsrl m32.ud[0x75318642] r32.ud[0] => 1.ud[30]
 122 bsrq r64.uq[0x1357246813572468] r64.uq[0] => 1.uq[60]
 123 bsrq m64.uq[0x7531864275318642] r64.uq[0] => 1.uq[62]
 124 bswapl r32.ud[0x12345678] => 0.ud[0x78563412]
 125 bswapq r64.uq[0x1234567813572468] => 0.uq[0x6824571378563412]
 126 btw imm8[0] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 127 btw imm8[12] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 128 btw imm8[0] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 129 btw imm8[12] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 130 ###btw r16.uw[0] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 131 ###btw r16.uw[12] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 132 ###btw r16.uw[0] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 133 ###btw r16.uw[12] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 134 btl imm8[0] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 135 btl imm8[24] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 136 btl imm8[0] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 137 btl imm8[24] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 138 btl r32.ud[0] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 139 btl r32.ud[24] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 140 btl r32.ud[0] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 141 btl r32.ud[24] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 142 btq imm8[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 143 btq imm8[48] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 144 btq imm8[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 145 btq imm8[48] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 146 btq r64.uq[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 147 btq r64.uq[48] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 148 btq r64.uq[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 149 btq r64.uq[48] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 150 btcw imm8[0] r16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 151 btcw imm8[12] r16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 152 btcw imm8[0] m16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 153 btcw imm8[12] m16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 154 ###btcw r16.uw[0] r16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 155 ###btcw r16.uw[12] r16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 156 ###btcw r16.uw[0] m16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 157 ###btcw r16.uw[12] m16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 158 btcl imm8[0] r32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 159 btcl imm8[24] r32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 160 btcl imm8[0] m32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 161 btcl imm8[24] m32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 162 btcl r32.ud[0] r32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 163 btcl r32.ud[24] r32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 164 btcl r32.ud[0] m32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 165 btcl r32.ud[24] m32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 166 btcq imm8[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 167 btcq imm8[48] r64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 168 btcq imm8[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 169 btcq imm8[48] m64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 170 btcq r64.uq[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 171 btcq r64.uq[48] r64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 172 btcq r64.uq[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 173 btcq r64.uq[48] m64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 174 btrw imm8[0] r16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 175 btrw imm8[12] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 176 btrw imm8[0] m16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 177 btrw imm8[12] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 178 ###btrw r16.uw[0] r16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 179 ###btrw r16.uw[12] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 180 ###btrw r16.uw[0] m16.uw[0x4231] => 1.uw[0x4230] rflags[0x001,0x001]
 181 ###btrw r16.uw[12] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x000]
 182 btrl imm8[0] r32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 183 btrl imm8[24] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 184 btrl imm8[0] m32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 185 btrl imm8[24] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 186 btrl r32.ud[0] r32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 187 btrl r32.ud[24] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 188 btrl r32.ud[0] m32.ud[0x86427531] => 1.ud[0x86427530] rflags[0x001,0x001]
 189 btrl r32.ud[24] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x000]
 190 btrq imm8[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 191 btrq imm8[48] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 192 btrq imm8[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 193 btrq imm8[48] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 194 btrq r64.uq[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 195 btrq r64.uq[48] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 196 btrq r64.uq[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681356] rflags[0x001,0x001]
 197 btrq r64.uq[48] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x000]
 198 btsw imm8[0] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 199 btsw imm8[12] r16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 200 btsw imm8[0] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 201 btsw imm8[12] m16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 202 ###btsw r16.uw[0] r16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 203 ###btsw r16.uw[12] r16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 204 ###btsw r16.uw[0] m16.uw[0x4231] => 1.uw[0x4231] rflags[0x001,0x001]
 205 ###btsw r16.uw[12] m16.uw[0x4231] => 1.uw[0x5231] rflags[0x001,0x000]
 206 btsl imm8[0] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 207 btsl imm8[24] r32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 208 btsl imm8[0] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 209 btsl imm8[24] m32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 210 btsl r32.ud[0] r32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 211 btsl r32.ud[24] r32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 212 btsl r32.ud[0] m32.ud[0x86427531] => 1.ud[0x86427531] rflags[0x001,0x001]
 213 btsl r32.ud[24] m32.ud[0x86427531] => 1.ud[0x87427531] rflags[0x001,0x000]
 214 btsq imm8[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 215 btsq imm8[48] r64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 216 btsq imm8[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 217 btsq imm8[48] m64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 218 btsq r64.uq[0] r64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 219 btsq r64.uq[48] r64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 220 btsq r64.uq[0] m64.uq[0x8642753124681357] => 1.uq[0x8642753124681357] rflags[0x001,0x001]
 221 btsq r64.uq[48] m64.uq[0x8642753124681357] => 1.uq[0x8643753124681357] rflags[0x001,0x000]
 222 cbw al.sb[123] : => ax.sw[123]
 223 cbw al.sb[-123] : => ax.sw[-123]
 224 cdq eax.ud[0x12345678] : => edx.ud[0x00000000] eax.ud[0x12345678]
 225 cdq eax.ud[0xfedcba98] : => edx.ud[0xffffffff] eax.ud[0xfedcba98]
 226 cdqe eax.ud[0x12345678] : => rax.uq[0x0000000012345678]
 227 cdqe eax.ud[0xfedcba98] : => rax.uq[0xfffffffffedcba98]
 228 ###clc rflags[0x001,0x000] : => rflags[0x001,0x000]
 229 ###clc rflags[0x001,0x001] : => rflags[0x001,0x000]
 230 cld rflags[0x400,0x000] : => rflags[0x400,0x000]
 231 cld rflags[0x400,0x400] : => rflags[0x400,0x000]
 232 ###cmc rflags[0x001,0x000] : => rflags[0x001,0x001]
 233 ###cmc rflags[0x001,0x001] : => rflags[0x001,0x000]
 234 cmpb imm8[3] al.ub[2] => rflags[0x010,0x010]
 235 cmpb imm8[2] al.ub[3] => rflags[0x010,0x000]
 236 cmpb imm8[12] al.ub[12] => rflags[0x044,0x044]
 237 cmpb imm8[12] al.ub[34] => rflags[0x044,0x000]
 238 cmpb imm8[34] al.ub[12] => rflags[0x081,0x081]
 239 cmpb imm8[12] al.ub[34] => rflags[0x081,0x000]
 240 cmpb imm8[100] al.sb[-100] => rflags[0x800,0x800]
 241 cmpb imm8[50] al.sb[-50] => rflags[0x800,0x000]
 242 cmpb imm8[-50] al.sb[50] => rflags[0x800,0x000]
 243 cmpb imm8[-100] al.sb[100] => rflags[0x800,0x800]
 244 cmpb imm8[3] r8.ub[2] => rflags[0x010,0x010]
 245 cmpb imm8[2] r8.ub[3] => rflags[0x010,0x000]
 246 cmpb imm8[12] r8.ub[12] => rflags[0x044,0x044]
 247 cmpb imm8[12] r8.ub[34] => rflags[0x044,0x000]
 248 cmpb imm8[34] r8.ub[12] => rflags[0x081,0x081]
 249 cmpb imm8[12] r8.ub[34] => rflags[0x081,0x000]
 250 cmpb imm8[100] r8.sb[-100] => rflags[0x800,0x800]
 251 cmpb imm8[50] r8.sb[-50] => rflags[0x800,0x000]
 252 cmpb imm8[-50] r8.sb[50] => rflags[0x800,0x000]
 253 cmpb imm8[-100] r8.sb[100] => rflags[0x800,0x800]
 254 cmpb imm8[3] m8.ub[2] => rflags[0x010,0x010]
 255 cmpb imm8[2] m8.ub[3] => rflags[0x010,0x000]
 256 cmpb imm8[12] m8.ub[12] => rflags[0x044,0x044]
 257 cmpb imm8[12] m8.ub[34] => rflags[0x044,0x000]
 258 cmpb imm8[34] m8.ub[12] => rflags[0x081,0x081]
 259 cmpb imm8[12] m8.ub[34] => rflags[0x081,0x000]
 260 cmpb imm8[100] m8.sb[-100] => rflags[0x800,0x800]
 261 cmpb imm8[50] m8.sb[-50] => rflags[0x800,0x000]
 262 cmpb imm8[-50] m8.sb[50] => rflags[0x800,0x000]
 263 cmpb imm8[-100] m8.sb[100] => rflags[0x800,0x800]
 264 cmpb r8.ub[3] r8.ub[2] => rflags[0x010,0x010]
 265 cmpb r8.ub[2] r8.ub[3] => rflags[0x010,0x000]
 266 cmpb r8.ub[12] r8.ub[12] => rflags[0x044,0x044]
 267 cmpb r8.ub[12] r8.ub[34] => rflags[0x044,0x000]
 268 cmpb r8.ub[34] r8.ub[12] => rflags[0x081,0x081]
 269 cmpb r8.ub[12] r8.ub[34] => rflags[0x081,0x000]
 270 cmpb r8.ub[100] r8.sb[-100] => rflags[0x800,0x800]
 271 cmpb r8.ub[50] r8.sb[-50] => rflags[0x800,0x000]
 272 cmpb r8.sb[-50] r8.sb[50] => rflags[0x800,0x000]
 273 cmpb r8.sb[-100] r8.sb[100] => rflags[0x800,0x800]
 274 cmpb r8.ub[3] m8.ub[2] => rflags[0x010,0x010]
 275 cmpb r8.ub[2] m8.ub[3] => rflags[0x010,0x000]
 276 cmpb r8.ub[12] m8.ub[12] => rflags[0x044,0x044]
 277 cmpb r8.ub[12] m8.ub[34] => rflags[0x044,0x000]
 278 cmpb r8.ub[34] m8.ub[12] => rflags[0x081,0x081]
 279 cmpb r8.ub[12] m8.ub[34] => rflags[0x081,0x000]
 280 cmpb r8.ub[100] m8.sb[-100] => rflags[0x800,0x800]
 281 cmpb r8.ub[50] m8.sb[-50] => rflags[0x800,0x000]
 282 cmpb r8.sb[-50] m8.sb[50] => rflags[0x800,0x000]
 283 cmpb r8.sb[-100] m8.sb[100] => rflags[0x800,0x800]
 284 cmpb m8.ub[3] r8.ub[2] => rflags[0x010,0x010]
 285 cmpb m8.ub[2] r8.ub[3] => rflags[0x010,0x000]
 286 cmpb m8.ub[12] r8.ub[12] => rflags[0x044,0x044]
 287 cmpb m8.ub[12] r8.ub[34] => rflags[0x044,0x000]
 288 cmpb m8.ub[34] r8.ub[12] => rflags[0x081,0x081]
 289 cmpb m8.ub[12] r8.ub[34] => rflags[0x081,0x000]
 290 cmpb m8.ub[100] r8.sb[-100] => rflags[0x800,0x800]
 291 cmpb m8.ub[50] r8.sb[-50] => rflags[0x800,0x000]
 292 cmpb m8.sb[-50] r8.sb[50] => rflags[0x800,0x000]
 293 cmpb m8.sb[-100] r8.sb[100] => rflags[0x800,0x800]
 294 cmpw imm8[3] r16.uw[2] => rflags[0x010,0x010]
 295 cmpw imm8[2] r16.uw[3] => rflags[0x010,0x000]
 296 cmpw imm8[12] r16.uw[12] => rflags[0x044,0x044]
 297 cmpw imm8[12] r16.uw[34] => rflags[0x044,0x000]
 298 cmpw imm8[34] r16.uw[12] => rflags[0x081,0x081]
 299 cmpw imm8[12] r16.uw[34] => rflags[0x081,0x000]
 300 cmpw imm8[100] r16.sw[-32700] => rflags[0x800,0x800]
 301 cmpw imm8[50] r16.sw[-50] => rflags[0x800,0x000]
 302 cmpw imm8[-50] r16.sw[50] => rflags[0x800,0x000]
 303 cmpw imm8[-100] r16.sw[32700] => rflags[0x800,0x800]
 304 cmpw imm8[3] m16.uw[2] => rflags[0x010,0x010]
 305 cmpw imm8[2] m16.uw[3] => rflags[0x010,0x000]
 306 cmpw imm8[12] m16.uw[12] => rflags[0x044,0x044]
 307 cmpw imm8[12] m16.uw[34] => rflags[0x044,0x000]
 308 cmpw imm8[34] m16.uw[12] => rflags[0x081,0x081]
 309 cmpw imm8[12] m16.uw[34] => rflags[0x081,0x000]
 310 cmpw imm8[100] m16.sw[-32700] => rflags[0x800,0x800]
 311 cmpw imm8[50] m16.sw[-50] => rflags[0x800,0x000]
 312 cmpw imm8[-50] m16.sw[50] => rflags[0x800,0x000]
 313 cmpw imm8[-100] m16.sw[32700] => rflags[0x800,0x800]
 314 cmpw imm16[3] ax.uw[2] => rflags[0x010,0x010]
 315 cmpw imm16[2] ax.uw[3] => rflags[0x010,0x000]
 316 cmpw imm16[12] ax.uw[12] => rflags[0x044,0x044]
 317 cmpw imm16[12] ax.uw[34] => rflags[0x044,0x000]
 318 cmpw imm16[34] ax.uw[12] => rflags[0x081,0x081]
 319 cmpw imm16[12] ax.uw[34] => rflags[0x081,0x000]
 320 cmpw imm16[100] ax.sw[-32700] => rflags[0x800,0x800]
 321 cmpw imm16[50] ax.sw[-50] => rflags[0x800,0x000]
 322 cmpw imm16[-50] ax.sw[50] => rflags[0x800,0x000]
 323 cmpw imm16[-100] ax.sw[32700] => rflags[0x800,0x800]
 324 cmpw imm16[3] r16.uw[2] => rflags[0x010,0x010]
 325 cmpw imm16[2] r16.uw[3] => rflags[0x010,0x000]
 326 cmpw imm16[12] r16.uw[12] => rflags[0x044,0x044]
 327 cmpw imm16[12] r16.uw[34] => rflags[0x044,0x000]
 328 cmpw imm16[34] r16.uw[12] => rflags[0x081,0x081]
 329 cmpw imm16[12] r16.uw[34] => rflags[0x081,0x000]
 330 cmpw imm16[100] r16.sw[-32700] => rflags[0x800,0x800]
 331 cmpw imm16[50] r16.sw[-50] => rflags[0x800,0x000]
 332 cmpw imm16[-50] r16.sw[50] => rflags[0x800,0x000]
 333 cmpw imm16[-100] r16.sw[32700] => rflags[0x800,0x800]
 334 cmpw imm16[3] m16.uw[2] => rflags[0x010,0x010]
 335 cmpw imm16[2] m16.uw[3] => rflags[0x010,0x000]
 336 cmpw imm16[12] m16.uw[12] => rflags[0x044,0x044]
 337 cmpw imm16[12] m16.uw[34] => rflags[0x044,0x000]
 338 cmpw imm16[34] m16.uw[12] => rflags[0x081,0x081]
 339 cmpw imm16[12] m16.uw[34] => rflags[0x081,0x000]
 340 cmpw imm16[100] m16.sw[-32700] => rflags[0x800,0x800]
 341 cmpw imm16[50] m16.sw[-50] => rflags[0x800,0x000]
 342 cmpw imm16[-50] m16.sw[50] => rflags[0x800,0x000]
 343 cmpw imm16[-100] m16.sw[32700] => rflags[0x800,0x800]
 344 cmpw r16.uw[3] r16.uw[2] => rflags[0x010,0x010]
 345 cmpw r16.uw[2] r16.uw[3] => rflags[0x010,0x000]
 346 cmpw r16.uw[12] r16.uw[12] => rflags[0x044,0x044]
 347 cmpw r16.uw[12] r16.uw[34] => rflags[0x044,0x000]
 348 cmpw r16.uw[34] r16.uw[12] => rflags[0x081,0x081]
 349 cmpw r16.uw[12] r16.uw[34] => rflags[0x081,0x000]
 350 cmpw r16.uw[100] r16.sw[-32700] => rflags[0x800,0x800]
 351 cmpw r16.uw[50] r16.sw[-50] => rflags[0x800,0x000]
 352 cmpw r16.sw[-50] r16.sw[50] => rflags[0x800,0x000]
 353 cmpw r16.sw[-100] r16.sw[32700] => rflags[0x800,0x800]
 354 cmpw r16.uw[3] m16.uw[2] => rflags[0x010,0x010]
 355 cmpw r16.uw[2] m16.uw[3] => rflags[0x010,0x000]
 356 cmpw r16.uw[12] m16.uw[12] => rflags[0x044,0x044]
 357 cmpw r16.uw[12] m16.uw[34] => rflags[0x044,0x000]
 358 cmpw r16.uw[34] m16.uw[12] => rflags[0x081,0x081]
 359 cmpw r16.uw[12] m16.uw[34] => rflags[0x081,0x000]
 360 cmpw r16.uw[100] m16.sw[-32700] => rflags[0x800,0x800]
 361 cmpw r16.uw[50] m16.sw[-50] => rflags[0x800,0x000]
 362 cmpw r16.sw[-50] m16.sw[50] => rflags[0x800,0x000]
 363 cmpw r16.sw[-100] m16.sw[32700] => rflags[0x800,0x800]
 364 cmpw m16.uw[3] r16.uw[2] => rflags[0x010,0x010]
 365 cmpw m16.uw[2] r16.uw[3] => rflags[0x010,0x000]
 366 cmpw m16.uw[12] r16.uw[12] => rflags[0x044,0x044]
 367 cmpw m16.uw[12] r16.uw[34] => rflags[0x044,0x000]
 368 cmpw m16.uw[34] r16.uw[12] => rflags[0x081,0x081]
 369 cmpw m16.uw[12] r16.uw[34] => rflags[0x081,0x000]
 370 cmpw m16.uw[100] r16.sw[-32700] => rflags[0x800,0x800]
 371 cmpw m16.uw[50] r16.sw[-50] => rflags[0x800,0x000]
 372 cmpw m16.sw[-50] r16.sw[50] => rflags[0x800,0x000]
 373 cmpw m16.sw[-100] r16.sw[32700] => rflags[0x800,0x800]
 374 cmpl imm8[3] r32.ud[2] => rflags[0x010,0x010]
 375 cmpl imm8[2] r32.ud[3] => rflags[0x010,0x000]
 376 cmpl imm8[12] r32.ud[12] => rflags[0x044,0x044]
 377 ###cmpl imm8[12] r32.ud[34] => rflags[0x044,0x000]
 378 cmpl imm8[34] r32.ud[12] => rflags[0x081,0x081]
 379 cmpl imm8[12] r32.ud[34] => rflags[0x081,0x000]
 380 cmpl imm8[100] r32.sd[-2147483600] => rflags[0x800,0x800]
 381 cmpl imm8[50] r32.sd[-50] => rflags[0x800,0x000]
 382 cmpl imm8[-50] r32.sd[50] => rflags[0x800,0x000]
 383 cmpl imm8[-100] r32.sd[2147483600] => rflags[0x800,0x800]
 384 cmpl imm8[3] m32.ud[2] => rflags[0x010,0x010]
 385 cmpl imm8[2] m32.ud[3] => rflags[0x010,0x000]
 386 cmpl imm8[12] m32.ud[12] => rflags[0x044,0x044]
 387 cmpl imm8[12] m32.ud[34] => rflags[0x044,0x000]
 388 cmpl imm8[34] m32.ud[12] => rflags[0x081,0x081]
 389 cmpl imm8[12] m32.ud[34] => rflags[0x081,0x000]
 390 cmpl imm8[100] m32.sd[-2147483600] => rflags[0x800,0x800]
 391 cmpl imm8[50] m32.sd[-50] => rflags[0x800,0x000]
 392 cmpl imm8[-50] m32.sd[50] => rflags[0x800,0x000]
 393 cmpl imm8[-100] m32.sd[2147483600] => rflags[0x800,0x800]
 394 cmpl imm32[3] eax.ud[2] => rflags[0x010,0x010]
 395 cmpl imm32[2] eax.ud[3] => rflags[0x010,0x000]
 396 cmpl imm32[12] eax.ud[12] => rflags[0x044,0x044]
 397 cmpl imm32[12] eax.ud[34] => rflags[0x044,0x000]
 398 cmpl imm32[34] eax.ud[12] => rflags[0x081,0x081]
 399 cmpl imm32[12] eax.ud[34] => rflags[0x081,0x000]
 400 cmpl imm32[100] eax.sd[-2147483600] => rflags[0x800,0x800]
 401 cmpl imm32[50] eax.sd[-50] => rflags[0x800,0x000]
 402 cmpl imm32[-50] eax.sd[50] => rflags[0x800,0x000]
 403 cmpl imm32[-100] eax.sd[2147483600] => rflags[0x800,0x800]
 404 cmpl imm32[3] r32.ud[2] => rflags[0x010,0x010]
 405 cmpl imm32[2] r32.ud[3] => rflags[0x010,0x000]
 406 cmpl imm32[12] r32.ud[12] => rflags[0x044,0x044]
 407 cmpl imm32[12] r32.ud[34] => rflags[0x044,0x000]
 408 cmpl imm32[34] r32.ud[12] => rflags[0x081,0x081]
 409 cmpl imm32[12] r32.ud[34] => rflags[0x081,0x000]
 410 cmpl imm32[100] r32.sd[-2147483600] => rflags[0x800,0x800]
 411 cmpl imm32[50] r32.sd[-50] => rflags[0x800,0x000]
 412 cmpl imm32[-50] r32.sd[50] => rflags[0x800,0x000]
 413 cmpl imm32[-100] r32.sd[2147483600] => rflags[0x800,0x800]
 414 cmpl imm32[3] m32.ud[2] => rflags[0x010,0x010]
 415 cmpl imm32[2] m32.ud[3] => rflags[0x010,0x000]
 416 cmpl imm32[12] m32.ud[12] => rflags[0x044,0x044]
 417 cmpl imm32[12] m32.ud[34] => rflags[0x044,0x000]
 418 cmpl imm32[34] m32.ud[12] => rflags[0x081,0x081]
 419 cmpl imm32[12] m32.ud[34] => rflags[0x081,0x000]
 420 cmpl imm32[100] m32.sd[-2147483600] => rflags[0x800,0x800]
 421 cmpl imm32[50] m32.sd[-50] => rflags[0x800,0x000]
 422 cmpl imm32[-50] m32.sd[50] => rflags[0x800,0x000]
 423 cmpl imm32[-100] m32.sd[2147483600] => rflags[0x800,0x800]
 424 cmpl r32.ud[3] r32.ud[2] => rflags[0x010,0x010]
 425 cmpl r32.ud[2] r32.ud[3] => rflags[0x010,0x000]
 426 cmpl r32.ud[12] r32.ud[12] => rflags[0x044,0x044]
 427 cmpl r32.ud[12] r32.ud[34] => rflags[0x044,0x000]
 428 cmpl r32.ud[34] r32.ud[12] => rflags[0x081,0x081]
 429 cmpl r32.ud[12] r32.ud[34] => rflags[0x081,0x000]
 430 cmpl r32.ud[100] r32.sd[-2147483600] => rflags[0x800,0x800]
 431 cmpl r32.ud[50] r32.sd[-50] => rflags[0x800,0x000]
 432 cmpl r32.sd[-50] r32.sd[50] => rflags[0x800,0x000]
 433 cmpl r32.sd[-100] r32.sd[2147483600] => rflags[0x800,0x800]
 434 cmpl r32.ud[3] m32.ud[2] => rflags[0x010,0x010]
 435 cmpl r32.ud[2] m32.ud[3] => rflags[0x010,0x000]
 436 cmpl r32.ud[12] m32.ud[12] => rflags[0x044,0x044]
 437 cmpl r32.ud[12] m32.ud[34] => rflags[0x044,0x000]
 438 cmpl r32.ud[34] m32.ud[12] => rflags[0x081,0x081]
 439 cmpl r32.ud[12] m32.ud[34] => rflags[0x081,0x000]
 440 cmpl r32.ud[100] m32.sd[-2147483600] => rflags[0x800,0x800]
 441 cmpl r32.ud[50] m32.sd[-50] => rflags[0x800,0x000]
 442 cmpl r32.sd[-50] m32.sd[50] => rflags[0x800,0x000]
 443 cmpl r32.sd[-100] m32.sd[2147483600] => rflags[0x800,0x800]
 444 cmpl m32.ud[3] r32.ud[2] => rflags[0x010,0x010]
 445 cmpl m32.ud[2] r32.ud[3] => rflags[0x010,0x000]
 446 cmpl m32.ud[12] r32.ud[12] => rflags[0x044,0x044]
 447 cmpl m32.ud[12] r32.ud[34] => rflags[0x044,0x000]
 448 cmpl m32.ud[34] r32.ud[12] => rflags[0x081,0x081]
 449 cmpl m32.ud[12] r32.ud[34] => rflags[0x081,0x000]
 450 cmpl m32.ud[100] r32.sd[-2147483600] => rflags[0x800,0x800]
 451 cmpl m32.ud[50] r32.sd[-50] => rflags[0x800,0x000]
 452 cmpl m32.sd[-50] r32.sd[50] => rflags[0x800,0x000]
 453 ###cmpl m32.sd[-100] r32.sd[2147483600] => rflags[0x800,0x800]
 454 cmpq imm8[3] r64.uq[2] => rflags[0x010,0x010]
 455 cmpq imm8[2] r64.uq[3] => rflags[0x010,0x000]
 456 cmpq imm8[12] r64.uq[12] => rflags[0x044,0x044]
 457 cmpq imm8[12] r64.uq[34] => rflags[0x044,0x000]
 458 cmpq imm8[34] r64.uq[12] => rflags[0x081,0x081]
 459 cmpq imm8[12] r64.uq[34] => rflags[0x081,0x000]
 460 cmpq imm8[100] r64.sq[-9223372036854775800] => rflags[0x800,0x800]
 461 cmpq imm8[50] r64.sq[-50] => rflags[0x800,0x000]
 462 cmpq imm8[-50] r64.sq[50] => rflags[0x800,0x000]
 463 cmpq imm8[-100] r64.sq[9223372036854775800] => rflags[0x800,0x800]
 464 cmpq imm8[3] m64.uq[2] => rflags[0x010,0x010]
 465 cmpq imm8[2] m64.uq[3] => rflags[0x010,0x000]
 466 cmpq imm8[12] m64.uq[12] => rflags[0x044,0x044]
 467 cmpq imm8[12] m64.uq[34] => rflags[0x044,0x000]
 468 cmpq imm8[34] m64.uq[12] => rflags[0x081,0x081]
 469 cmpq imm8[12] m64.uq[34] => rflags[0x081,0x000]
 470 cmpq imm8[100] m64.sq[-9223372036854775800] => rflags[0x800,0x800]
 471 cmpq imm8[50] m64.sq[-50] => rflags[0x800,0x000]
 472 cmpq imm8[-50] m64.sq[50] => rflags[0x800,0x000]
 473 cmpq imm8[-100] m64.sq[9223372036854775800] => rflags[0x800,0x800]
 474 cmpq imm32[3] rax.uq[2] => rflags[0x010,0x010]
 475 cmpq imm32[2] rax.uq[3] => rflags[0x010,0x000]
 476 cmpq imm32[12] rax.uq[12] => rflags[0x044,0x044]
 477 cmpq imm32[12] rax.uq[34] => rflags[0x044,0x000]
 478 cmpq imm32[34] rax.uq[12] => rflags[0x081,0x081]
 479 cmpq imm32[12] rax.uq[34] => rflags[0x081,0x000]
 480 cmpq imm32[100] rax.sq[-9223372036854775800] => rflags[0x800,0x800]
 481 cmpq imm32[50] rax.sq[-50] => rflags[0x800,0x000]
 482 cmpq imm32[-50] rax.sq[50] => rflags[0x800,0x000]
 483 cmpq imm32[-100] rax.sq[9223372036854775800] => rflags[0x800,0x800]
 484 cmpq imm32[3] r64.uq[2] => rflags[0x010,0x010]
 485 cmpq imm32[2] r64.uq[3] => rflags[0x010,0x000]
 486 cmpq imm32[12] r64.uq[12] => rflags[0x044,0x044]
 487 cmpq imm32[12] r64.uq[34] => rflags[0x044,0x000]
 488 cmpq imm32[34] r64.uq[12] => rflags[0x081,0x081]
 489 cmpq imm32[12] r64.uq[34] => rflags[0x081,0x000]
 490 cmpq imm32[100] r64.sq[-9223372036854775800] => rflags[0x800,0x800]
 491 cmpq imm32[50] r64.sq[-50] => rflags[0x800,0x000]
 492 cmpq imm32[-50] r64.sq[50] => rflags[0x800,0x000]
 493 cmpq imm32[-100] r64.sq[9223372036854775800] => rflags[0x800,0x800]
 494 cmpq imm32[3] m64.uq[2] => rflags[0x010,0x010]
 495 cmpq imm32[2] m64.uq[3] => rflags[0x010,0x000]
 496 cmpq imm32[12] m64.uq[12] => rflags[0x044,0x044]
 497 cmpq imm32[12] m64.uq[34] => rflags[0x044,0x000]
 498 cmpq imm32[34] m64.uq[12] => rflags[0x081,0x081]
 499 cmpq imm32[12] m64.uq[34] => rflags[0x081,0x000]
 500 cmpq imm32[100] m64.sq[-9223372036854775800] => rflags[0x800,0x800]
 501 cmpq imm32[50] m64.sq[-50] => rflags[0x800,0x000]
 502 cmpq imm32[-50] m64.sq[50] => rflags[0x800,0x000]
 503 cmpq imm32[-100] m64.sq[9223372036854775800] => rflags[0x800,0x800]
 504 cmpq r64.uq[3] r64.uq[2] => rflags[0x010,0x010]
 505 cmpq r64.uq[2] r64.uq[3] => rflags[0x010,0x000]
 506 cmpq r64.uq[12] r64.uq[12] => rflags[0x044,0x044]
 507 cmpq r64.uq[12] r64.uq[34] => rflags[0x044,0x000]
 508 cmpq r64.uq[34] r64.uq[12] => rflags[0x081,0x081]
 509 cmpq r64.uq[12] r64.uq[34] => rflags[0x081,0x000]
 510 cmpq r64.uq[100] r64.sq[-9223372036854775800] => rflags[0x800,0x800]
 511 cmpq r64.uq[50] r64.sq[-50] => rflags[0x800,0x000]
 512 cmpq r64.sq[-50] r64.sq[50] => rflags[0x800,0x000]
 513 cmpq r64.sq[-100] r64.sq[9223372036854775800] => rflags[0x800,0x800]
 514 cmpq r64.uq[3] m64.uq[2] => rflags[0x010,0x010]
 515 cmpq r64.uq[2] m64.uq[3] => rflags[0x010,0x000]
 516 cmpq r64.uq[12] m64.uq[12] => rflags[0x044,0x044]
 517 cmpq r64.uq[12] m64.uq[34] => rflags[0x044,0x000]
 518 cmpq r64.uq[34] m64.uq[12] => rflags[0x081,0x081]
 519 cmpq r64.uq[12] m64.uq[34] => rflags[0x081,0x000]
 520 cmpq r64.uq[100] m64.sq[-9223372036854775800] => rflags[0x800,0x800]
 521 cmpq r64.uq[50] m64.sq[-50] => rflags[0x800,0x000]
 522 cmpq r64.sq[-50] m64.sq[50] => rflags[0x800,0x000]
 523 cmpq r64.sq[-100] m64.sq[9223372036854775800] => rflags[0x800,0x800]
 524 cmpq m64.uq[3] r64.uq[2] => rflags[0x010,0x010]
 525 cmpq m64.uq[2] r64.uq[3] => rflags[0x010,0x000]
 526 cmpq m64.uq[12] r64.uq[12] => rflags[0x044,0x044]
 527 cmpq m64.uq[12] r64.uq[34] => rflags[0x044,0x000]
 528 cmpq m64.uq[34] r64.uq[12] => rflags[0x081,0x081]
 529 cmpq m64.uq[12] r64.uq[34] => rflags[0x081,0x000]
 530 cmpq m64.uq[100] r64.sq[-9223372036854775800] => rflags[0x800,0x800]
 531 cmpq m64.uq[50] r64.sq[-50] => rflags[0x800,0x000]
 532 cmpq m64.sq[-50] r64.sq[50] => rflags[0x800,0x000]
 533 cmpq m64.sq[-100] r64.sq[9223372036854775800] => rflags[0x800,0x800]
 534 ###cmpxchgb rflags[0x40,0x00] al.ub[12] : r8.ub[56] r8.ub[12] => rflags[0x40,0x40] al.ub[12] 0.ub[56] 1.ub[56]
 535 ###cmpxchgb rflags[0x40,0x40] al.ub[12] : r8.ub[56] r8.ub[34] => rflags[0x40,0x00] al.ub[34] 0.ub[56] 1.ub[34]
 536 ###cmpxchgb rflags[0x40,0x00] al.ub[12] : r8.ub[56] m8.ub[12] => rflags[0x40,0x40] al.ub[12] 0.ub[56] 1.ub[56]
 537 ###cmpxchgb rflags[0x40,0x40] al.ub[12] : r8.ub[56] m8.ub[34] => rflags[0x40,0x00] al.ub[34] 0.ub[56] 1.ub[34]
 538 ###cmpxchgw rflags[0x40,0x00] ax.uw[123] : r16.uw[567] r16.uw[123] => rflags[0x40,0x40] ax.uw[123] 0.uw[567] 1.uw[567]
 539 ###cmpxchgw rflags[0x40,0x40] ax.uw[123] : r16.uw[567] r16.uw[345] => rflags[0x40,0x00] ax.uw[345] 0.uw[567] 1.uw[345]
 540 cmpxchgw rflags[0x40,0x00] ax.uw[123] : r16.uw[567] m16.uw[123] => rflags[0x40,0x40] ax.uw[123] 0.uw[567] 1.uw[567]
 541 ###cmpxchgw rflags[0x40,0x40] ax.uw[123] : r16.uw[567] m16.uw[345] => rflags[0x40,0x00] ax.uw[345] 0.uw[567] 1.uw[345]
 542 ###cmpxchgl rflags[0x40,0x00] eax.ud[1234] : r32.ud[5678] r32.ud[1234] => rflags[0x40,0x40] eax.ud[1234] 0.ud[5678] 1.ud[5678]
 543 ###cmpxchgl rflags[0x40,0x40] eax.ud[1234] : r32.ud[5678] r32.ud[3456] => rflags[0x40,0x00] eax.ud[3456] 0.ud[5678] 1.ud[3456]
 544 cmpxchgl rflags[0x40,0x00] eax.ud[1234] : r32.ud[5678] m32.ud[1234] => rflags[0x40,0x40] eax.ud[1234] 0.ud[5678] 1.ud[5678]
 545 cmpxchgl rflags[0x40,0x40] eax.ud[1234] : r32.ud[5678] m32.ud[3456] => rflags[0x40,0x00] eax.ud[3456] 0.ud[5678] 1.ud[3456]
 546 ###cmpxchgq rflags[0x40,0x00] rax.uq[12345] : r64.uq[56789] r64.uq[12345] => rflags[0x40,0x40] rax.uq[12345] 0.uq[56789] 1.uq[56789]
 547 ###cmpxchgq rflags[0x40,0x40] rax.uq[12345] : r64.uq[56789] r64.uq[34567] => rflags[0x40,0x00] rax.uq[34567] 0.uq[56789] 1.uq[34567]
 548 cmpxchgq rflags[0x40,0x00] rax.uq[12345] : r64.uq[56789] m64.uq[12345] => rflags[0x40,0x40] rax.uq[12345] 0.uq[56789] 1.uq[56789]
 549 cmpxchgq rflags[0x40,0x40] rax.uq[12345] : r64.uq[56789] m64.uq[34567] => rflags[0x40,0x00] rax.uq[34567] 0.uq[56789] 1.uq[34567]
 550 cqo rax.uq[0x0123456789abcdef] : => rdx.uq[0x0000000000000000] rax.uq[0x0123456789abcdef]
 551 cqo rax.uq[0xfedcba9876543210] : => rdx.uq[0xffffffffffffffff] rax.uq[0xfedcba9876543210]
 552 cwd ax.uw[0x1234] : => dx.uw[0x0000] ax.uw[0x1234]
 553 cwd ax.uw[0xfedc] : => dx.uw[0xffff] ax.uw[0xfedc]
 554 cwde ax.sw[12345] : => eax.sd[12345]
 555 cwde ax.sw[-12345] : => eax.sd[-12345]
 556 decb r8.ub[123] => 0.ub[122]
 557 decb m8.ub[123] => 0.ub[122]
 558 decw r16.uw[12345] => 0.uw[12344]
 559 decw m16.uw[12345] => 0.uw[12344]
 560 decl r32.ud[12345678] => 0.ud[12345677]
 561 decl m32.ud[12345678] => 0.ud[12345677]
 562 decq r64.uq[1234567813572468] => 0.uq[1234567813572467]
 563 decq m64.uq[1234567813572468] => 0.uq[1234567813572467]
 564 divb ax.uw[30276] : r8.ub[123] => al.ub[246] ah.ub[18]
 565 divb ax.uw[30276] : m8.ub[123] => al.ub[246] ah.ub[18]
 566 divw dx.uw[464] ax.uw[58794] : r16.uw[12345] => ax.uw[2468] dx.uw[38]
 567 divw dx.uw[464] ax.uw[58794] : m16.uw[12345] => ax.uw[2468] dx.uw[38]
 568 divl edx.ud[251958] eax.ud[673192206] : r32.ud[87654321] => eax.ud[12345678] edx.ud[20783136]
 569 divl edx.ud[251958] eax.ud[673192206] : m32.ud[87654321] => eax.ud[12345678] edx.ud[20783136]
 570 divq rdx.uq[251958251958] rax.uq[673192206673192206] : r64.uq[8765432175318642] => rax.uq[530243038582426] rdx.uq[6769725475870842]
 571 divq rdx.uq[251958251958] rax.uq[673192206673192206] : m64.uq[8765432175318642] => rax.uq[530243038582426] rdx.uq[6769725475870842]
 572 idivb ax.sw[-15157] : r8.sb[123] => al.sb[-123] ah.sb[-28]
 573 idivb ax.sw[15157] : m8.sb[-123] => al.sb[-123] ah.sb[28]
 574 idivw dx.sw[-464] ax.sw[-23456] : r16.sw[12345] => ax.sw[-2459] dx.sw[-10269]
 575 idivw dx.sw[464] ax.sw[23456] : m16.sw[-12345] => ax.sw[-2465] dx.sw[1735]
 576 idivl edx.sd[-251959] eax.sd[-673192206] : r32.sd[87654321] => eax.sd[-12345678] edx.sd[-20783136]
 577 idivl edx.sd[251958] eax.sd[673192206] : m32.sd[-87654321] => eax.sd[-12345678] edx.sd[20783136]
 578 idivq rdx.sq[-251958251959] rax.sq[-673192206673192206] : r64.sq[8765432175318642] => rax.sq[-530243038582426] rdx.sq[-6769725475870842]
 579 idivq rdx.sq[251958251958] rax.sq[673192206673192206] : m64.sq[-8765432175318642] => rax.sq[-530243038582426] rdx.sq[6769725475870842]
 580 imulb al.sb[123] : r8.sb[-123] => ax.sw[-15129]
 581 imulb al.sb[-123] : m8.sb[123] => ax.sw[-15129]
 582 imulw ax.sw[-12345] : r16.sw[12345] => dx.sw[-2326] ax.sw[-27825]
 583 imulw ax.sw[12345] : m16.sw[-12345] => dx.sw[-2326] ax.sw[-27825]
 584 imull eax.sd[-12345678] : r32.sd[12345678] => edx.sd[-35488] eax.sd[-260846532]
 585 imull eax.sd[12345678] : m32.sd[-12345678] => edx.sd[-35488] eax.sd[-260846532]
 586 imulq rax.sq[-1234567812345678] : r64.sq[1234567812345678] => rdx.sq[-82624753572] rax.sq[-2436846251660458948]
 587 imulq rax.sq[1234567812345678] : m64.sq[-1234567812345678] => rdx.sq[-82624753572] rax.sq[-2436846251660458948]
 588 imulw imm8[123] r16.uw[456] => 1.uw[56088]
 589 imulw imm8[123] r16.uw[456] r16.uw[0] => 2.uw[56088]
 590 imulw imm8[123] m16.uw[456] r16.uw[0] => 2.uw[56088]
 591 imulw imm16[123] r16.uw[456] => 1.uw[56088]
 592 imulw imm16[123] r16.uw[456] r16.uw[0] => 2.uw[56088]
 593 imulw imm16[123] m16.uw[456] r16.uw[0] => 2.uw[56088]
 594 imulw r16.uw[123] r16.uw[456] => 1.uw[56088]
 595 imulw m16.uw[123] r16.uw[456] => 1.uw[56088]
 596 imull imm8[123] r32.ud[67890] => 1.ud[8350470]
 597 imull imm8[123] r32.ud[67890] r32.ud[0] => 2.ud[8350470]
 598 imull imm8[123] m32.ud[67890] r32.ud[0] => 2.ud[8350470]
 599 imull imm32[12345] r32.ud[67890] => 1.ud[838102050]
 600 imull imm32[12345] r32.ud[67890] r32.ud[0] => 2.ud[838102050]
 601 imull imm32[12345] m32.ud[67890] r32.ud[0] => 2.ud[838102050]
 602 imull r32.ud[12345] r32.ud[67890] => 1.ud[838102050]
 603 imull m32.ud[12345] r32.ud[67890] => 1.ud[838102050]
 604 imulq imm8[123] r64.uq[1234567890] => 1.uq[151851850470]
 605 imulq imm8[123] r64.uq[1234567890] r64.uq[0] => 2.uq[151851850470]
 606 imulq imm8[123] m64.uq[1234567890] r64.uq[0] => 2.uq[151851850470]
 607 imulq imm32[12345] r64.uq[1234567890] => 1.uq[15240740602050]
 608 imulq imm32[12345] r64.uq[1234567890] r64.uq[0] => 2.uq[15240740602050]
 609 imulq imm32[12345] m64.uq[1234567890] r64.uq[0] => 2.uq[15240740602050]
 610 imulq r64.uq[1234567] r64.uq[1234567890] => 1.uq[1524156776253630]
 611 imulq m64.uq[1234567] r64.uq[1234567890] => 1.uq[1524156776253630]
 612 incb r8.ub[123] => 0.ub[124]
 613 incb m8.ub[123] => 0.ub[124]
 614 incw r16.uw[12345] => 0.uw[12346]
 615 incw m16.uw[12345] => 0.uw[12346]
 616 incl r32.ud[12345678] => 0.ud[12345679]
 617 incl m32.ud[12345678] => 0.ud[12345679]
 618 incq r64.uq[1234567813572468] => 0.uq[1234567813572469]
 619 incq m64.uq[1234567813572468] => 0.uq[1234567813572469]
 620 ###lahf rflags[0xff,0xfd] ah.ub[0x28] : => ah.ub[0xd7]
 621 ###lahf rflags[0xff,0x28] ah.ub[0xfd] : => ah.ub[0x02]
 622 movb imm8[123] r8.ub[0] => 1.ub[123]
 623 movb imm8[123] m8.ub[0] => 1.ub[123]
 624 movb r8.ub[123] r8.ub[0] => 1.ub[123]
 625 movb r8.ub[123] m8.ub[0] => 1.ub[123]
 626 movb m8.ub[123] r8.ub[0] => 1.ub[123]
 627 movw imm16[12345] r16.uw[0] => 1.uw[12345]
 628 movw imm16[12345] m16.uw[0] => 1.uw[12345]
 629 movw r16.uw[12345] r16.uw[0] => 1.uw[12345]
 630 movw r16.uw[12345] m16.uw[0] => 1.uw[12345]
 631 movw m16.uw[12345] r16.uw[0] => 1.uw[12345]
 632 movl imm32[12345678] r32.ud[0] => 1.ud[12345678]
 633 movl imm32[12345678] m32.ud[0] => 1.ud[12345678]
 634 movl r32.ud[12345678] r32.ud[0] => 1.ud[12345678]
 635 movl r32.ud[12345678] m32.ud[0] => 1.ud[12345678]
 636 movl m32.ud[12345678] r32.ud[0] => 1.ud[12345678]
 637 movq imm32[12345678] r64.uq[0] => 1.uq[12345678]
 638 movq imm32[12345678] m64.uq[0] => 1.uq[12345678]
 639 movq imm64[1234567813572468] r64.uq[0] => 1.uq[1234567813572468]
 640 movq r64.uq[1234567813572468] r64.uq[0] => 1.uq[1234567813572468]
 641 movq r64.uq[1234567813572468] m64.uq[0] => 1.uq[1234567813572468]
 642 movq m64.uq[1234567813572468] r64.uq[0] => 1.uq[1234567813572468]
 643 movsbw r8.sb[123] r16.sw[0] => 1.sw[123]
 644 movsbw m8.sb[-123] r16.sw[0] => 1.sw[-123]
 645 movsbl r8.sb[123] r32.sd[0] => 1.sd[123]
 646 movsbl m8.sb[-123] r32.sd[0] => 1.sd[-123]
 647 movswl r16.sw[12345] r32.sd[0] => 1.sd[12345]
 648 movswl m16.sw[-12345] r32.sd[0] => 1.sd[-12345]
 649 movsbq r8.sb[123] r64.sq[0] => 1.sq[123]
 650 movsbq m8.sb[-123] r64.sq[0] => 1.sq[-123]
 651 movswq r16.sw[12345] r64.sq[0] => 1.sq[12345]
 652 movswq m16.sw[-12345] r64.sq[0] => 1.sq[-12345]
 653 movzbw r8.ub[123] r16.uw[0] => 1.uw[123]
 654 movzbw m8.ub[246] r16.uw[0] => 1.uw[246]
 655 movzbl r8.ub[123] r32.ud[0] => 1.ud[123]
 656 movzbl m8.ub[246] r32.ud[0] => 1.ud[246]
 657 movzwl r16.uw[12345] r32.ud[0] => 1.ud[12345]
 658 movzwl m16.uw[49380] r32.ud[0] => 1.ud[49380]
 659 movzbq r8.ub[123] r64.uq[0] => 1.uq[123]
 660 movzbq m8.ub[246] r64.uq[0] => 1.uq[246]
 661 movzwq r16.uw[12345] r64.uq[0] => 1.uq[12345]
 662 movzwq m16.uw[49380] r64.uq[0] => 1.uq[49380]
 663 mulb al.ub[123] : r8.ub[123] => ax.uw[15129]
 664 mulb al.ub[123] : m8.ub[123] => ax.uw[15129]
 665 mulw ax.uw[12345] : r16.uw[12345] => dx.uw[2325] ax.uw[27825]
 666 mulw ax.uw[12345] : m16.uw[12345] => dx.uw[2325] ax.uw[27825]
 667 mull eax.ud[12345678] : r32.ud[12345678] => edx.ud[35487] eax.ud[260846532]
 668 mull eax.ud[12345678] : m32.ud[12345678] => edx.ud[35487] eax.ud[260846532]
 669 mulq rax.uq[1234567813572468] : r64.uq[1234567813572468] => rdx.uq[82624753735] rax.uq[6281712683416325264]
 670 mulq rax.uq[1234567813572468] : m64.uq[1234567813572468] => rdx.uq[82624753735] rax.uq[6281712683416325264]
 671 negb r8.sb[123] => 0.sb[-123]
 672 negb m8.sb[-123] => 0.sb[123]
 673 negw r16.sw[12345] => 0.sw[-12345]
 674 negw m16.sw[-12345] => 0.sw[12345]
 675 negl r32.sd[12345678] => 0.sd[-12345678]
 676 negl m32.sd[-12345678] => 0.sd[12345678]
 677 negq r64.sq[1234567813572468] => 0.sq[-1234567813572468]
 678 negq m64.sq[-1234567813572468] => 0.sq[1234567813572468]
 679 notb r8.ub[0xca] => 0.ub[0x35]
 680 notb m8.ub[0xca] => 0.ub[0x35]
 681 notw r16.uw[0xf0ca] => 0.uw[0x0f35]
 682 notw m16.uw[0xf0ca] => 0.uw[0x0f35]
 683 notl r32.ud[0xff00f0ca] => 0.ud[0x00ff0f35]
 684 notl m32.ud[0xff00f0ca] => 0.ud[0x00ff0f35]
 685 notq r64.uq[0xffff0000ff00f0ca] => 0.uq[0x0000ffff00ff0f35]
 686 notq m64.uq[0xffff0000ff00f0ca] => 0.uq[0x0000ffff00ff0f35]
 687 orb imm8[0x34] al.ub[0x56] => 1.ub[0x76]
 688 orb imm8[0x34] bl.ub[0x56] => 1.ub[0x76]
 689 orb imm8[0x34] m8.ub[0x56] => 1.ub[0x76]
 690 orb r8.ub[0x34] r8.ub[0x56] => 1.ub[0x76]
 691 orb r8.ub[0x34] m8.ub[0x56] => 1.ub[0x76]
 692 orb m8.ub[0x34] r8.ub[0x56] => 1.ub[0x76]
 693 orw imm8[0x31] r16.uw[0x1234] => 1.uw[0x1235]
 694 orw imm16[0x4231] ax.uw[0x1234] => 1.uw[0x5235]
 695 orw imm16[0x4231] bx.uw[0x1234] => 1.uw[0x5235]
 696 orw imm16[0x4231] m16.uw[0x1234] => 1.uw[0x5235]
 697 orw r16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x5235]
 698 orw r16.uw[0x4231] m16.uw[0x1234] => 1.uw[0x5235]
 699 orw m16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x5235]
 700 orl imm8[0x31] r32.ud[0x12345678] => 1.ud[0x12345679]
 701 orl imm32[0x86427531] eax.ud[0x12345678] => 1.ud[0x96767779]
 702 orl imm32[0x86427531] ebx.ud[0x12345678] => 1.ud[0x96767779]
 703 orl imm32[0x86427531] m32.ud[0x12345678] => 1.ud[0x96767779]
 704 orl r32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x96767779]
 705 orl r32.ud[0x86427531] m32.ud[0x12345678] => 1.ud[0x96767779]
 706 orl m32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x96767779]
 707 orq imm8[0x31] r64.uq[0x0123456789abcdcc] => 1.uq[0x0123456789abcdfd]
 708 orq imm32[0x12345678] rax.uq[0x8642753186427531] => 1.uq[0x8642753196767779]
 709 orq imm32[0x12345678] rbx.uq[0x8642753186427531] => 1.uq[0x8642753196767779]
 710 orq imm32[0x12345678] m64.uq[0x8642753186427531] => 1.uq[0x8642753196767779]
 711 orq imm32[-2042464975] rax.uq[0x1234567812345678] => 1.uq[0xffffffff96767779]
 712 orq imm32[-2042464975] rbx.uq[0x1234567812345678] => 1.uq[0xffffffff96767779]
 713 orq imm32[-2042464975] m64.uq[0x1234567812345678] => 1.uq[0xffffffff96767779]
 714 orq r64.uq[0xeca86420fdb97531] r64.uq[0x0123456789abcdef] => 1.uq[0xedab6567fdbbfdff]
 715 orq r64.uq[0xeca86420fdb97531] m64.uq[0x0123456789abcdef] => 1.uq[0xedab6567fdbbfdff]
 716 orq m64.uq[0xeca86420fdb97531] r64.uq[0x0123456789abcdef] => 1.uq[0xedab6567fdbbfdff]
 717 ###rclb rflags[0x1,0x0] : r8.ub[0xca] => 0.ub[0x94] rflags[0x1,0x1]
 718 ###rclb rflags[0x1,0x0] : m8.ub[0xca] => 0.ub[0x94] rflags[0x1,0x1]
 719 ###rclb rflags[0x1,0x0] : imm8[2] r8.ub[0xca] => 1.ub[0x29] rflags[0x1,0x1]
 720 ###rclb rflags[0x1,0x0] : imm8[2] m8.ub[0xca] => 1.ub[0x29] rflags[0x1,0x1]
 721 ###rclb rflags[0x1,0x0] : cl.ub[2] r8.ub[0xca] => 1.ub[0x29] rflags[0x1,0x1]
 722 ###rclb rflags[0x1,0x0] : cl.ub[2] m8.ub[0xca] => 1.ub[0x29] rflags[0x1,0x1]
 723 ###rclw rflags[0x1,0x0] : r16.uw[0xf0ca] => 0.uw[0xe194] rflags[0x1,0x1]
 724 ###rclw rflags[0x1,0x0] : m16.uw[0xf0ca] => 0.uw[0xe194] rflags[0x1,0x1]
 725 ###rclw rflags[0x1,0x0] : imm8[4] r16.uw[0xf0ca] => 1.uw[0x0ca7] rflags[0x1,0x1]
 726 ###rclw rflags[0x1,0x0] : imm8[4] m16.uw[0xf0ca] => 1.uw[0x0ca7] rflags[0x1,0x1]
 727 ###rclw rflags[0x1,0x0] : cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0ca7] rflags[0x1,0x1]
 728 ###rclw rflags[0x1,0x0] : cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0ca7] rflags[0x1,0x1]
 729 ###rcll rflags[0x1,0x0] : r32.ud[0xff00f0ca] => 0.ud[0xfe01e194] rflags[0x1,0x1]
 730 ###rcll rflags[0x1,0x0] : m32.ud[0xff00f0ca] => 0.ud[0xfe01e194] rflags[0x1,0x1]
 731 ###rcll rflags[0x1,0x0] : imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] rflags[0x1,0x1]
 732 ###rcll rflags[0x1,0x0] : imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] rflags[0x1,0x1]
 733 ###rcll rflags[0x1,0x0] : cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] rflags[0x1,0x1]
 734 ###rcll rflags[0x1,0x0] : cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca7f] rflags[0x1,0x1]
 735 ###rclq rflags[0x1,0x0] : r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194] rflags[0x1,0x1]
 736 ###rclq rflags[0x1,0x0] : m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194] rflags[0x1,0x1]
 737 ###rclq rflags[0x1,0x0] : imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] rflags[0x1,0x1]
 738 ###rclq rflags[0x1,0x0] : imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] rflags[0x1,0x1]
 739 ###rclq rflags[0x1,0x0] : cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] rflags[0x1,0x1]
 740 ###rclq rflags[0x1,0x0] : cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca7fff] rflags[0x1,0x1]
 741 rcrb rflags[0x1,0x1] : r8.ub[0xca] => 0.ub[0xe5] rflags[0x1,0x0]
 742 rcrb rflags[0x1,0x1] : m8.ub[0xca] => 0.ub[0xe5] rflags[0x1,0x0]
 743 rcrb rflags[0x1,0x0] : imm8[2] r8.ub[0xca] => 1.ub[0x32] rflags[0x1,0x1]
 744 rcrb rflags[0x1,0x0] : imm8[2] m8.ub[0xca] => 1.ub[0x32] rflags[0x1,0x1]
 745 rcrb rflags[0x1,0x0] : cl.ub[2] r8.ub[0xca] => 1.ub[0x32] rflags[0x1,0x1]
 746 rcrb rflags[0x1,0x0] : cl.ub[2] m8.ub[0xca] => 1.ub[0x32] rflags[0x1,0x1]
 747 rcrw rflags[0x1,0x1] : r16.uw[0xf0ca] => 0.uw[0xf865] rflags[0x1,0x0]
 748 rcrw rflags[0x1,0x1] : m16.uw[0xf0ca] => 0.uw[0xf865] rflags[0x1,0x0]
 749 rcrw rflags[0x1,0x0] : imm8[4] r16.uw[0xf0ca] => 1.uw[0x4f0c] rflags[0x1,0x1]
 750 rcrw rflags[0x1,0x0] : imm8[4] m16.uw[0xf0ca] => 1.uw[0x4f0c] rflags[0x1,0x1]
 751 rcrw rflags[0x1,0x0] : cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x4f0c] rflags[0x1,0x1]
 752 rcrw rflags[0x1,0x0] : cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x4f0c] rflags[0x1,0x1]
 753 rcrl rflags[0x1,0x1] : r32.ud[0xff00f0ca] => 0.ud[0xff807865] rflags[0x1,0x0]
 754 rcrl rflags[0x1,0x1] : m32.ud[0xff00f0ca] => 0.ud[0xff807865] rflags[0x1,0x0]
 755 rcrl rflags[0x1,0x0] : imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] rflags[0x1,0x1]
 756 rcrl rflags[0x1,0x0] : imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] rflags[0x1,0x1]
 757 rcrl rflags[0x1,0x0] : cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] rflags[0x1,0x1]
 758 rcrl rflags[0x1,0x0] : cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x94ff00f0] rflags[0x1,0x1]
 759 rcrq rflags[0x1,0x1] : r64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865] rflags[0x1,0x0]
 760 rcrq rflags[0x1,0x1] : m64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865] rflags[0x1,0x0]
 761 rcrq rflags[0x1,0x0] : imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] rflags[0x1,0x1]
 762 rcrq rflags[0x1,0x0] : imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] rflags[0x1,0x1]
 763 rcrq rflags[0x1,0x0] : cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] rflags[0x1,0x1]
 764 rcrq rflags[0x1,0x0] : cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xe194ffff0000ff00] rflags[0x1,0x1]
 765 rolb r8.ub[0xca] => 0.ub[0x95]
 766 rolb m8.ub[0xca] => 0.ub[0x95]
 767 rolb imm8[2] r8.ub[0xca] => 1.ub[0x2b]
 768 rolb imm8[2] m8.ub[0xca] => 1.ub[0x2b]
 769 rolb cl.ub[2] r8.ub[0xca] => 1.ub[0x2b]
 770 rolb cl.ub[2] m8.ub[0xca] => 1.ub[0x2b]
 771 rolw r16.uw[0xf0ca] => 0.uw[0xe195]
 772 rolw m16.uw[0xf0ca] => 0.uw[0xe195]
 773 rolw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0caf]
 774 rolw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0caf]
 775 rolw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0caf]
 776 rolw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0caf]
 777 roll r32.ud[0xff00f0ca] => 0.ud[0xfe01e195]
 778 roll m32.ud[0xff00f0ca] => 0.ud[0xfe01e195]
 779 roll imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
 780 roll imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
 781 roll cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
 782 roll cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0caff]
 783 rolq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e195]
 784 rolq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e195]
 785 rolq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
 786 rolq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
 787 rolq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
 788 rolq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0caffff]
 789 rorb r8.ub[0xca] => 0.ub[0x65]
 790 rorb m8.ub[0xca] => 0.ub[0x65]
 791 rorb imm8[2] r8.ub[0xca] => 1.ub[0xb2]
 792 rorb imm8[2] m8.ub[0xca] => 1.ub[0xb2]
 793 rorb cl.ub[2] r8.ub[0xca] => 1.ub[0xb2]
 794 rorb cl.ub[2] m8.ub[0xca] => 1.ub[0xb2]
 795 rorw r16.uw[0xf0ca] => 0.uw[0x7865]
 796 rorw m16.uw[0xf0ca] => 0.uw[0x7865]
 797 rorw imm8[4] r16.uw[0xf0ca] => 1.uw[0xaf0c]
 798 rorw imm8[4] m16.uw[0xf0ca] => 1.uw[0xaf0c]
 799 rorw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0xaf0c]
 800 rorw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0xaf0c]
 801 rorl r32.ud[0xff00f0ca] => 0.ud[0x7f807865]
 802 rorl m32.ud[0xff00f0ca] => 0.ud[0x7f807865]
 803 rorl imm8[8] r32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
 804 rorl imm8[8] m32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
 805 rorl cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
 806 rorl cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0xcaff00f0]
 807 rorq r64.uq[0xffff0000ff00f0ca] => 0.uq[0x7fff80007f807865]
 808 rorq m64.uq[0xffff0000ff00f0ca] => 0.uq[0x7fff80007f807865]
 809 rorq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
 810 rorq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
 811 rorq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
 812 rorq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xf0caffff0000ff00]
 813 ###sahf rflags[0xff,0x28] ah.ub[0xfd] : => rflags[0xfd,0xd5]
 814 ###sahf rflags[0xff,0xfd] ah.ub[0x28] : => rflags[0xfd,0x00]
 815 salb r8.ub[0xca] => 0.ub[0x94]
 816 salb m8.ub[0xca] => 0.ub[0x94]
 817 salb imm8[2] r8.ub[0xca] => 1.ub[0x28]
 818 salb imm8[2] m8.ub[0xca] => 1.ub[0x28]
 819 salb cl.ub[2] r8.ub[0xca] => 1.ub[0x28]
 820 salb cl.ub[2] m8.ub[0xca] => 1.ub[0x28]
 821 salw r16.uw[0xf0ca] => 0.uw[0xe194]
 822 salw m16.uw[0xf0ca] => 0.uw[0xe194]
 823 salw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
 824 salw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
 825 salw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
 826 salw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
 827 sall r32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
 828 sall m32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
 829 sall imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
 830 sall imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
 831 sall cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
 832 sall cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
 833 salq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
 834 salq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
 835 salq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
 836 salq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
 837 salq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
 838 salq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
 839 sarb r8.ub[0xca] => 0.ub[0xe5]
 840 sarb m8.ub[0xca] => 0.ub[0xe5]
 841 sarb imm8[2] r8.ub[0xca] => 1.ub[0xf2]
 842 sarb imm8[2] m8.ub[0xca] => 1.ub[0xf2]
 843 sarb cl.ub[2] r8.ub[0xca] => 1.ub[0xf2]
 844 sarb cl.ub[2] m8.ub[0xca] => 1.ub[0xf2]
 845 sarw r16.uw[0xf0ca] => 0.uw[0xf865]
 846 sarw m16.uw[0xf0ca] => 0.uw[0xf865]
 847 sarw imm8[4] r16.uw[0xf0ca] => 1.uw[0xff0c]
 848 sarw imm8[4] m16.uw[0xf0ca] => 1.uw[0xff0c]
 849 sarw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0xff0c]
 850 sarw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0xff0c]
 851 sarl r32.ud[0xff00f0ca] => 0.ud[0xff807865]
 852 sarl m32.ud[0xff00f0ca] => 0.ud[0xff807865]
 853 sarl imm8[8] r32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
 854 sarl imm8[8] m32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
 855 sarl cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
 856 sarl cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0xffff00f0]
 857 sarq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865]
 858 sarq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xffff80007f807865]
 859 sarq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
 860 sarq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
 861 sarq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
 862 sarq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0xffffffff0000ff00]
 863 ###sbbb rflags[0x1,0x0] : imm8[12] al.ub[34] => 1.ub[22]
 864 ###sbbb rflags[0x1,0x1] : imm8[12] al.ub[34] => 1.ub[21]
 865 sbbb rflags[0x1,0x0] : imm8[12] bl.ub[34] => 1.ub[22]
 866 sbbb rflags[0x1,0x1] : imm8[12] bl.ub[34] => 1.ub[21]
 867 sbbb rflags[0x1,0x0] : imm8[12] m8.ub[34] => 1.ub[22]
 868 sbbb rflags[0x1,0x1] : imm8[12] m8.ub[34] => 1.ub[21]
 869 sbbb rflags[0x1,0x0] : r8.ub[12] r8.ub[34] => 1.ub[22]
 870 sbbb rflags[0x1,0x1] : r8.ub[12] r8.ub[34] => 1.ub[21]
 871 ###sbbb rflags[0x1,0x0] : r8.ub[12] m8.ub[34] => 1.ub[22]
 872 ###sbbb rflags[0x1,0x1] : r8.ub[12] m8.ub[34] => 1.ub[21]
 873 ###sbbb rflags[0x1,0x0] : m8.ub[12] r8.ub[34] => 1.ub[22]
 874 ###sbbb rflags[0x1,0x1] : m8.ub[12] r8.ub[34] => 1.ub[21]
 875 sbbw rflags[0x1,0x0] : imm8[12] r16.uw[3456] => 1.uw[3444]
 876 sbbw rflags[0x1,0x1] : imm8[12] r16.uw[3456] => 1.uw[3443]
 877 ###sbbw rflags[0x1,0x0] : imm16[1234] ax.uw[5678] => 1.uw[4444]
 878 ###sbbw rflags[0x1,0x1] : imm16[1234] ax.uw[5678] => 1.uw[4443]
 879 sbbw rflags[0x1,0x0] : imm16[1234] bx.uw[5678] => 1.uw[4444]
 880 sbbw rflags[0x1,0x1] : imm16[1234] bx.uw[5678] => 1.uw[4443]
 881 sbbw rflags[0x1,0x0] : imm16[1234] m16.uw[5678] => 1.uw[4444]
 882 sbbw rflags[0x1,0x1] : imm16[1234] m16.uw[5678] => 1.uw[4443]
 883 sbbw rflags[0x1,0x0] : r16.uw[1234] r16.uw[5678] => 1.uw[4444]
 884 sbbw rflags[0x1,0x1] : r16.uw[1234] r16.uw[5678] => 1.uw[4443]
 885 ###sbbw rflags[0x1,0x0] : r16.uw[1234] m16.uw[5678] => 1.uw[4444]
 886 ###sbbw rflags[0x1,0x1] : r16.uw[1234] m16.uw[5678] => 1.uw[4443]
 887 sbbw rflags[0x1,0x0] : m16.uw[1234] r16.uw[5678] => 1.uw[4444]
 888 sbbw rflags[0x1,0x1] : m16.uw[1234] r16.uw[5678] => 1.uw[4443]
 889 sbbl rflags[0x1,0x0] : imm8[12] r32.ud[87654321] => 1.ud[87654309]
 890 sbbl rflags[0x1,0x1] : imm8[12] r32.ud[87654321] => 1.ud[87654308]
 891 ###sbbl rflags[0x1,0x0] : imm32[12345678] eax.ud[87654321] => 1.ud[75308643]
 892 ###sbbl rflags[0x1,0x1] : imm32[12345678] eax.ud[87654321] => 1.ud[75308642]
 893 sbbl rflags[0x1,0x0] : imm32[12345678] ebx.ud[87654321] => 1.ud[75308643]
 894 sbbl rflags[0x1,0x1] : imm32[12345678] ebx.ud[87654321] => 1.ud[75308642]
 895 sbbl rflags[0x1,0x0] : imm32[12345678] m32.ud[87654321] => 1.ud[75308643]
 896 sbbl rflags[0x1,0x1] : imm32[12345678] m32.ud[87654321] => 1.ud[75308642]
 897 sbbl rflags[0x1,0x0] : r32.ud[12345678] r32.ud[87654321] => 1.ud[75308643]
 898 sbbl rflags[0x1,0x1] : r32.ud[12345678] r32.ud[87654321] => 1.ud[75308642]
 899 ###sbbl rflags[0x1,0x0] : r32.ud[12345678] m32.ud[87654321] => 1.ud[75308643]
 900 ###sbbl rflags[0x1,0x1] : r32.ud[12345678] m32.ud[87654321] => 1.ud[75308642]
 901 sbbl rflags[0x1,0x0] : m32.ud[12345678] r32.ud[87654321] => 1.ud[75308643]
 902 sbbl rflags[0x1,0x1] : m32.ud[12345678] r32.ud[87654321] => 1.ud[75308642]
 903 sbbq rflags[0x1,0x0] : imm8[12] r64.uq[8765432175318642] => 1.uq[8765432175318630]
 904 sbbq rflags[0x1,0x1] : imm8[12] r64.uq[8765432175318642] => 1.uq[8765432175318629]
 905 ###sbbq rflags[0x1,0x0] : imm32[12345678] rax.uq[8765432175318642] => 1.uq[8765432162972964]
 906 ###sbbq rflags[0x1,0x1] : imm32[12345678] rax.uq[8765432175318642] => 1.uq[8765432162972963]
 907 sbbq rflags[0x1,0x0] : imm32[12345678] rbx.uq[8765432175318642] => 1.uq[8765432162972964]
 908 sbbq rflags[0x1,0x1] : imm32[12345678] rbx.uq[8765432175318642] => 1.uq[8765432162972963]
 909 sbbq rflags[0x1,0x0] : imm32[12345678] m64.uq[8765432175318642] => 1.uq[8765432162972964]
 910 sbbq rflags[0x1,0x1] : imm32[12345678] m64.uq[8765432175318642] => 1.uq[8765432162972963]
 911 sbbq rflags[0x1,0x0] : r64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746174]
 912 sbbq rflags[0x1,0x1] : r64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746173]
 913 ###sbbq rflags[0x1,0x0] : r64.uq[1234567813572468] m64.uq[8765432175318642] => 1.uq[7530864361746174]
 914 ###sbbq rflags[0x1,0x1] : r64.uq[1234567813572468] m64.uq[8765432175318642] => 1.uq[7530864361746173]
 915 sbbq rflags[0x1,0x0] : m64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746174]
 916 sbbq rflags[0x1,0x1] : m64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746173]
 917 seta rflags[0x041,0x000] : r8.ub[123] => 0.ub[1]
 918 seta rflags[0x041,0x001] : r8.ub[123] => 0.ub[0]
 919 seta rflags[0x041,0x040] : r8.ub[123] => 0.ub[0]
 920 seta rflags[0x041,0x041] : r8.ub[123] => 0.ub[0]
 921 seta rflags[0x041,0x000] : m8.ub[123] => 0.ub[1]
 922 seta rflags[0x041,0x001] : m8.ub[123] => 0.ub[0]
 923 seta rflags[0x041,0x040] : m8.ub[123] => 0.ub[0]
 924 seta rflags[0x041,0x041] : m8.ub[123] => 0.ub[0]
 925 setae rflags[0x001,0x000] : r8.ub[123] => 0.ub[1]
 926 setae rflags[0x001,0x001] : r8.ub[123] => 0.ub[0]
 927 setae rflags[0x001,0x000] : m8.ub[123] => 0.ub[1]
 928 setae rflags[0x001,0x001] : m8.ub[123] => 0.ub[0]
 929 setb rflags[0x001,0x000] : r8.ub[123] => 0.ub[0]
 930 setb rflags[0x001,0x001] : r8.ub[123] => 0.ub[1]
 931 setb rflags[0x001,0x000] : m8.ub[123] => 0.ub[0]
 932 setb rflags[0x001,0x001] : m8.ub[123] => 0.ub[1]
 933 setbe rflags[0x041,0x000] : r8.ub[123] => 0.ub[0]
 934 setbe rflags[0x041,0x001] : r8.ub[123] => 0.ub[1]
 935 setbe rflags[0x041,0x040] : r8.ub[123] => 0.ub[1]
 936 setbe rflags[0x041,0x041] : r8.ub[123] => 0.ub[1]
 937 setbe rflags[0x041,0x000] : m8.ub[123] => 0.ub[0]
 938 setbe rflags[0x041,0x001] : m8.ub[123] => 0.ub[1]
 939 setbe rflags[0x041,0x040] : m8.ub[123] => 0.ub[1]
 940 setbe rflags[0x041,0x041] : m8.ub[123] => 0.ub[1]
 941 setc rflags[0x001,0x000] : r8.ub[123] => 0.ub[0]
 942 setc rflags[0x001,0x001] : r8.ub[123] => 0.ub[1]
 943 setc rflags[0x001,0x000] : m8.ub[123] => 0.ub[0]
 944 setc rflags[0x001,0x001] : m8.ub[123] => 0.ub[1]
 945 sete rflags[0x040,0x000] : r8.ub[123] => 0.ub[0]
 946 sete rflags[0x040,0x040] : r8.ub[123] => 0.ub[1]
 947 sete rflags[0x040,0x000] : m8.ub[123] => 0.ub[0]
 948 sete rflags[0x040,0x040] : m8.ub[123] => 0.ub[1]
 949 setg rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
 950 setg rflags[0x8c0,0x040] : r8.ub[123] => 0.ub[0]
 951 setg rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
 952 setg rflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[0]
 953 setg rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
 954 setg rflags[0x8c0,0x840] : r8.ub[123] => 0.ub[0]
 955 setg rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
 956 setg rflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[0]
 957 setg rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
 958 setg rflags[0x8c0,0x040] : m8.ub[123] => 0.ub[0]
 959 setg rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
 960 setg rflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[0]
 961 setg rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
 962 setg rflags[0x8c0,0x840] : m8.ub[123] => 0.ub[0]
 963 setg rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
 964 setg rflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[0]
 965 setge rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
 966 setge rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
 967 setge rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
 968 setge rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
 969 setge rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
 970 setge rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
 971 setge rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
 972 setge rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
 973 setl rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
 974 setl rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
 975 setl rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
 976 setl rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
 977 setl rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
 978 setl rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
 979 setl rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
 980 setl rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
 981 setle rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
 982 setle rflags[0x8c0,0x040] : r8.ub[123] => 0.ub[1]
 983 setle rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
 984 setle rflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[1]
 985 setle rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
 986 setle rflags[0x8c0,0x840] : r8.ub[123] => 0.ub[1]
 987 setle rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
 988 setle rflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[1]
 989 setle rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
 990 setle rflags[0x8c0,0x040] : m8.ub[123] => 0.ub[1]
 991 setle rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
 992 setle rflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[1]
 993 setle rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
 994 setle rflags[0x8c0,0x840] : m8.ub[123] => 0.ub[1]
 995 setle rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
 996 setle rflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[1]
 997 setna rflags[0x041,0x000] : r8.ub[123] => 0.ub[0]
 998 setna rflags[0x041,0x001] : r8.ub[123] => 0.ub[1]
 999 setna rflags[0x041,0x040] : r8.ub[123] => 0.ub[1]
1000 setna rflags[0x041,0x041] : r8.ub[123] => 0.ub[1]
1001 setna rflags[0x041,0x000] : m8.ub[123] => 0.ub[0]
1002 setna rflags[0x041,0x001] : m8.ub[123] => 0.ub[1]
1003 setna rflags[0x041,0x040] : m8.ub[123] => 0.ub[1]
1004 setna rflags[0x041,0x041] : m8.ub[123] => 0.ub[1]
1005 setnae rflags[0x001,0x000] : r8.ub[123] => 0.ub[0]
1006 setnae rflags[0x001,0x001] : r8.ub[123] => 0.ub[1]
1007 setnae rflags[0x001,0x000] : m8.ub[123] => 0.ub[0]
1008 setnae rflags[0x001,0x001] : m8.ub[123] => 0.ub[1]
1009 setnb rflags[0x001,0x000] : r8.ub[123] => 0.ub[1]
1010 setnb rflags[0x001,0x001] : r8.ub[123] => 0.ub[0]
1011 setnb rflags[0x001,0x000] : m8.ub[123] => 0.ub[1]
1012 setnb rflags[0x001,0x001] : m8.ub[123] => 0.ub[0]
1013 setnbe rflags[0x041,0x000] : r8.ub[123] => 0.ub[1]
1014 setnbe rflags[0x041,0x001] : r8.ub[123] => 0.ub[0]
1015 setnbe rflags[0x041,0x040] : r8.ub[123] => 0.ub[0]
1016 setnbe rflags[0x041,0x041] : r8.ub[123] => 0.ub[0]
1017 setnbe rflags[0x041,0x000] : m8.ub[123] => 0.ub[1]
1018 setnbe rflags[0x041,0x001] : m8.ub[123] => 0.ub[0]
1019 setnbe rflags[0x041,0x040] : m8.ub[123] => 0.ub[0]
1020 setnbe rflags[0x041,0x041] : m8.ub[123] => 0.ub[0]
1021 setnc rflags[0x001,0x000] : r8.ub[123] => 0.ub[1]
1022 setnc rflags[0x001,0x001] : r8.ub[123] => 0.ub[0]
1023 setnc rflags[0x001,0x000] : m8.ub[123] => 0.ub[1]
1024 setnc rflags[0x001,0x001] : m8.ub[123] => 0.ub[0]
1025 setne rflags[0x040,0x000] : r8.ub[123] => 0.ub[1]
1026 setne rflags[0x040,0x040] : r8.ub[123] => 0.ub[0]
1027 setne rflags[0x040,0x000] : m8.ub[123] => 0.ub[1]
1028 setne rflags[0x040,0x040] : m8.ub[123] => 0.ub[0]
1029 setng rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
1030 setng rflags[0x8c0,0x040] : r8.ub[123] => 0.ub[1]
1031 setng rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
1032 setng rflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[1]
1033 setng rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
1034 setng rflags[0x8c0,0x840] : r8.ub[123] => 0.ub[1]
1035 setng rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
1036 setng rflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[1]
1037 setng rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
1038 setng rflags[0x8c0,0x040] : m8.ub[123] => 0.ub[1]
1039 setng rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
1040 setng rflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[1]
1041 setng rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
1042 setng rflags[0x8c0,0x840] : m8.ub[123] => 0.ub[1]
1043 setng rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
1044 setng rflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[1]
1045 setnge rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[0]
1046 setnge rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[1]
1047 setnge rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[1]
1048 setnge rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[0]
1049 setnge rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[0]
1050 setnge rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[1]
1051 setnge rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[1]
1052 setnge rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[0]
1053 setnl rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
1054 setnl rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
1055 setnl rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
1056 setnl rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
1057 setnl rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
1058 setnl rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
1059 setnl rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
1060 setnl rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
1061 setnle rflags[0x8c0,0x000] : r8.ub[123] => 0.ub[1]
1062 setnle rflags[0x8c0,0x040] : r8.ub[123] => 0.ub[0]
1063 setnle rflags[0x8c0,0x080] : r8.ub[123] => 0.ub[0]
1064 setnle rflags[0x8c0,0x0c0] : r8.ub[123] => 0.ub[0]
1065 setnle rflags[0x8c0,0x800] : r8.ub[123] => 0.ub[0]
1066 setnle rflags[0x8c0,0x840] : r8.ub[123] => 0.ub[0]
1067 setnle rflags[0x8c0,0x880] : r8.ub[123] => 0.ub[1]
1068 setnle rflags[0x8c0,0x8c0] : r8.ub[123] => 0.ub[0]
1069 setnle rflags[0x8c0,0x000] : m8.ub[123] => 0.ub[1]
1070 setnle rflags[0x8c0,0x040] : m8.ub[123] => 0.ub[0]
1071 setnle rflags[0x8c0,0x080] : m8.ub[123] => 0.ub[0]
1072 setnle rflags[0x8c0,0x0c0] : m8.ub[123] => 0.ub[0]
1073 setnle rflags[0x8c0,0x800] : m8.ub[123] => 0.ub[0]
1074 setnle rflags[0x8c0,0x840] : m8.ub[123] => 0.ub[0]
1075 setnle rflags[0x8c0,0x880] : m8.ub[123] => 0.ub[1]
1076 setnle rflags[0x8c0,0x8c0] : m8.ub[123] => 0.ub[0]
1077 setno rflags[0x800,0x000] : r8.ub[123] => 0.ub[1]
1078 setno rflags[0x800,0x800] : r8.ub[123] => 0.ub[0]
1079 setno rflags[0x800,0x000] : m8.ub[123] => 0.ub[1]
1080 setno rflags[0x800,0x800] : m8.ub[123] => 0.ub[0]
1081 setnp rflags[0x004,0x000] : r8.ub[123] => 0.ub[1]
1082 setnp rflags[0x004,0x004] : r8.ub[123] => 0.ub[0]
1083 setnp rflags[0x004,0x000] : m8.ub[123] => 0.ub[1]
1084 setnp rflags[0x004,0x004] : m8.ub[123] => 0.ub[0]
1085 setns rflags[0x080,0x000] : r8.ub[123] => 0.ub[1]
1086 setns rflags[0x080,0x080] : r8.ub[123] => 0.ub[0]
1087 setns rflags[0x080,0x000] : m8.ub[123] => 0.ub[1]
1088 setns rflags[0x080,0x080] : m8.ub[123] => 0.ub[0]
1089 setnz rflags[0x040,0x000] : r8.ub[123] => 0.ub[1]
1090 setnz rflags[0x040,0x040] : r8.ub[123] => 0.ub[0]
1091 setnz rflags[0x040,0x000] : m8.ub[123] => 0.ub[1]
1092 setnz rflags[0x040,0x040] : m8.ub[123] => 0.ub[0]
1093 seto rflags[0x800,0x000] : r8.ub[123] => 0.ub[0]
1094 seto rflags[0x800,0x800] : r8.ub[123] => 0.ub[1]
1095 seto rflags[0x800,0x000] : m8.ub[123] => 0.ub[0]
1096 seto rflags[0x800,0x800] : m8.ub[123] => 0.ub[1]
1097 setp rflags[0x004,0x000] : r8.ub[123] => 0.ub[0]
1098 setp rflags[0x004,0x004] : r8.ub[123] => 0.ub[1]
1099 setp rflags[0x004,0x000] : m8.ub[123] => 0.ub[0]
1100 setp rflags[0x004,0x004] : m8.ub[123] => 0.ub[1]
1101 sets rflags[0x080,0x000] : r8.ub[123] => 0.ub[0]
1102 sets rflags[0x080,0x080] : r8.ub[123] => 0.ub[1]
1103 sets rflags[0x080,0x000] : m8.ub[123] => 0.ub[0]
1104 sets rflags[0x080,0x080] : m8.ub[123] => 0.ub[1]
1105 setz rflags[0x040,0x000] : r8.ub[123] => 0.ub[0]
1106 setz rflags[0x040,0x040] : r8.ub[123] => 0.ub[1]
1107 setz rflags[0x040,0x000] : m8.ub[123] => 0.ub[0]
1108 setz rflags[0x040,0x040] : m8.ub[123] => 0.ub[1]
1109 shlb r8.ub[0xca] => 0.ub[0x94]
1110 shlb m8.ub[0xca] => 0.ub[0x94]
1111 shlb imm8[2] r8.ub[0xca] => 1.ub[0x28]
1112 shlb imm8[2] m8.ub[0xca] => 1.ub[0x28]
1113 shlb cl.ub[2] r8.ub[0xca] => 1.ub[0x28]
1114 shlb cl.ub[2] m8.ub[0xca] => 1.ub[0x28]
1115 shlw r16.uw[0xf0ca] => 0.uw[0xe194]
1116 shlw m16.uw[0xf0ca] => 0.uw[0xe194]
1117 shlw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
1118 shlw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
1119 shlw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0ca0]
1120 shlw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0ca0]
1121 shll r32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
1122 shll m32.ud[0xff00f0ca] => 0.ud[0xfe01e194]
1123 shll imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
1124 shll imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
1125 shll cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
1126 shll cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00f0ca00]
1127 shlq r64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
1128 shlq m64.uq[0xffff0000ff00f0ca] => 0.uq[0xfffe0001fe01e194]
1129 shlq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
1130 shlq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
1131 shlq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
1132 shlq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x0000ff00f0ca0000]
1133 shrb r8.ub[0xca] => 0.ub[0x65]
1134 shrb m8.ub[0xca] => 0.ub[0x65]
1135 shrb imm8[2] r8.ub[0xca] => 1.ub[0x32]
1136 shrb imm8[2] m8.ub[0xca] => 1.ub[0x32]
1137 shrb cl.ub[2] r8.ub[0xca] => 1.ub[0x32]
1138 shrb cl.ub[2] m8.ub[0xca] => 1.ub[0x32]
1139 shrw r16.uw[0xf0ca] => 0.uw[0x7865]
1140 shrw m16.uw[0xf0ca] => 0.uw[0x7865]
1141 shrw imm8[4] r16.uw[0xf0ca] => 1.uw[0x0f0c]
1142 shrw imm8[4] m16.uw[0xf0ca] => 1.uw[0x0f0c]
1143 shrw cl.ub[4] r16.uw[0xf0ca] => 1.uw[0x0f0c]
1144 shrw cl.ub[4] m16.uw[0xf0ca] => 1.uw[0x0f0c]
1145 shrl r32.ud[0xff00f0ca] => 0.ud[0x7f807865]
1146 shrl m32.ud[0xff00f0ca] => 0.ud[0x7f807865]
1147 shrl imm8[8] r32.ud[0xff00f0ca] => 1.ud[0x00ff00f0]
1148 shrl imm8[8] m32.ud[0xff00f0ca] => 1.ud[0x00ff00f0]
1149 shrl cl.ub[8] r32.ud[0xff00f0ca] => 1.ud[0x00ff00f0]
1150 shrl cl.ub[8] m32.ud[0xff00f0ca] => 1.ud[0x00ff00f0]
1151 shrq r64.uq[0xffff0000ff00f0ca] => 0.uq[0x7fff80007f807865]
1152 shrq m64.uq[0xffff0000ff00f0ca] => 0.uq[0x7fff80007f807865]
1153 shrq imm8[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x00ffff0000ff00]
1154 shrq imm8[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x00ffff0000ff00]
1155 shrq cl.ub[16] r64.uq[0xffff0000ff00f0ca] => 1.uq[0x00ffff0000ff00]
1156 shrq cl.ub[16] m64.uq[0xffff0000ff00f0ca] => 1.uq[0x00ffff0000ff00]
1157 ###shldw imm8[1] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0xe195]
1158 ###shldw imm8[1] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0xe195]
1159 ###shldw imm8[4] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0x0caf]
1160 ###shldw imm8[4] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0x0caf]
1161 shldw cl.ub[1] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0xe195]
1162 shldw cl.ub[1] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0xe195]
1163 shldw cl.ub[4] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0x0caf]
1164 shldw cl.ub[4] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0x0caf]
1165 ###shldl imm8[1] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0xfe01e195]
1166 ###shldl imm8[1] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0xfe01e195]
1167 ###shldl imm8[8] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0x00f0caff]
1168 ###shldl imm8[8] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0x00f0caff]
1169 shldl cl.ub[1] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0xfe01e195]
1170 shldl cl.ub[1] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0xfe01e195]
1171 shldl cl.ub[8] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0x00f0caff]
1172 shldl cl.ub[8] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0x00f0caff]
1173 ###shldq imm8[1] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0xfffe0001fe01e195]
1174 ###shldq imm8[1] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0xfffe0001fe01e195]
1175 ###shldq imm8[16] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0x0000ff00f0caffff]
1176 ###shldq imm8[16] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0x0000ff00f0caffff]
1177 shldq cl.ub[1] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0xfffe0001fe01e195]
1178 shldq cl.ub[1] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0xfffe0001fe01e195]
1179 shldq cl.ub[16] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0x0000ff00f0caffff]
1180 shldq cl.ub[16] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0x0000ff00f0caffff]
1181 shrdw imm8[1] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0x7865]
1182 shrdw imm8[1] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0x7865]
1183 shrdw imm8[4] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0xaf0c]
1184 shrdw imm8[4] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0xaf0c]
1185 shrdw cl.ub[1] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0x7865]
1186 shrdw cl.ub[1] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0x7865]
1187 shrdw cl.ub[4] r16.uw[0xf0ca] r16.uw[0xf0ca] => 2.uw[0xaf0c]
1188 shrdw cl.ub[4] r16.uw[0xf0ca] m16.uw[0xf0ca] => 2.uw[0xaf0c]
1189 shrdl imm8[1] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0x7f807865]
1190 shrdl imm8[1] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0x7f807865]
1191 shrdl imm8[8] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0xcaff00f0]
1192 shrdl imm8[8] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0xcaff00f0]
1193 shrdl cl.ub[1] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0x7f807865]
1194 shrdl cl.ub[1] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0x7f807865]
1195 shrdl cl.ub[8] r32.ud[0xff00f0ca] r32.ud[0xff00f0ca] => 2.ud[0xcaff00f0]
1196 shrdl cl.ub[8] r32.ud[0xff00f0ca] m32.ud[0xff00f0ca] => 2.ud[0xcaff00f0]
1197 shrdq imm8[1] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0x7fff80007f807865]
1198 shrdq imm8[1] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0x7fff80007f807865]
1199 shrdq imm8[16] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0xf0caffff0000ff00]
1200 shrdq imm8[16] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0xf0caffff0000ff00]
1201 shrdq cl.ub[1] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0x7fff80007f807865]
1202 shrdq cl.ub[1] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0x7fff80007f807865]
1203 shrdq cl.ub[16] r64.uq[0xffff0000ff00f0ca] r64.uq[0xffff0000ff00f0ca] => 2.uq[0xf0caffff0000ff00]
1204 shrdq cl.ub[16] r64.uq[0xffff0000ff00f0ca] m64.uq[0xffff0000ff00f0ca] => 2.uq[0xf0caffff0000ff00]
1205 ###stc rflags[0x001,0x000] : => rflags[0x001,0x001]
1206 ###stc rflags[0x001,0x001] : => rflags[0x001,0x001]
1207 std rflags[0x400,0x000] : => rflags[0x400,0x400]
1208 std rflags[0x400,0x400] : => rflags[0x400,0x400]
1209 subb imm8[12] al.ub[34] => 1.ub[22]
1210 subb imm8[12] bl.ub[34] => 1.ub[22]
1211 subb imm8[12] m8.ub[34] => 1.ub[22]
1212 subb r8.ub[12] r8.ub[34] => 1.ub[22]
1213 subb r8.ub[12] m8.ub[34] => 1.ub[22]
1214 subb m8.ub[12] r8.ub[34] => 1.ub[22]
1215 subw imm8[12] r16.uw[3456] => 1.uw[3444]
1216 subw imm16[1234] ax.uw[5678] => 1.uw[4444]
1217 subw imm16[1234] bx.uw[5678] => 1.uw[4444]
1218 subw imm16[1234] m16.uw[5678] => 1.uw[4444]
1219 subw r16.uw[1234] r16.uw[5678] => 1.uw[4444]
1220 subw r16.uw[1234] m16.uw[5678] => 1.uw[4444]
1221 subw m16.uw[1234] r16.uw[5678] => 1.uw[4444]
1222 subl imm8[12] r32.ud[87654321] => 1.ud[87654309]
1223 subl imm32[12345678] r32.ud[87654321] => 1.ud[75308643]
1224 subl imm32[12345678] eax.ud[87654321] => 1.ud[75308643]
1225 subl imm32[12345678] ebx.ud[87654321] => 1.ud[75308643]
1226 subl r32.ud[12345678] r32.ud[87654321] => 1.ud[75308643]
1227 subl r32.ud[12345678] m32.ud[87654321] => 1.ud[75308643]
1228 subl m32.ud[12345678] r32.ud[87654321] => 1.ud[75308643]
1229 subq imm8[12] r64.uq[8765432175318642] => 1.uq[8765432175318630]
1230 subq imm32[12345678] r64.uq[8765432175318642] => 1.uq[8765432162972964]
1231 subq imm32[12345678] rax.uq[8765432175318642] => 1.uq[8765432162972964]
1232 subq imm32[12345678] rbx.uq[8765432175318642] => 1.uq[8765432162972964]
1233 subq r64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746174]
1234 subq r64.uq[1234567813572468] m64.uq[8765432175318642] => 1.uq[7530864361746174]
1235 subq m64.uq[1234567813572468] r64.uq[8765432175318642] => 1.uq[7530864361746174]
1236 testb imm8[0x1a] al.ub[0x1a] => rflags[0x8c5,0x000]
1237 testb imm8[0x5a] al.ub[0x5a] => rflags[0x8c5,0x004]
1238 testb imm8[0x1a] al.ub[0xa1] => rflags[0x8c5,0x044]
1239 testb imm8[0xa1] al.ub[0xa1] => rflags[0x8c5,0x080]
1240 testb imm8[0xa5] al.ub[0xa5] => rflags[0x8c5,0x084]
1241 testb imm8[0x1a] bl.ub[0x1a] => rflags[0x8c5,0x000]
1242 testb imm8[0x5a] bl.ub[0x5a] => rflags[0x8c5,0x004]
1243 testb imm8[0x1a] bl.ub[0xa1] => rflags[0x8c5,0x044]
1244 testb imm8[0xa1] bl.ub[0xa1] => rflags[0x8c5,0x080]
1245 testb imm8[0xa5] bl.ub[0xa5] => rflags[0x8c5,0x084]
1246 testb imm8[0x1a] m8.ub[0x1a] => rflags[0x8c5,0x000]
1247 testb imm8[0x5a] m8.ub[0x5a] => rflags[0x8c5,0x004]
1248 testb imm8[0x1a] m8.ub[0xa1] => rflags[0x8c5,0x044]
1249 testb imm8[0xa1] m8.ub[0xa1] => rflags[0x8c5,0x080]
1250 testb imm8[0xa5] m8.ub[0xa5] => rflags[0x8c5,0x084]
1251 testb r8.ub[0x1a] r8.ub[0x1a] => rflags[0x8c5,0x000]
1252 testb r8.ub[0x5a] r8.ub[0x5a] => rflags[0x8c5,0x004]
1253 testb r8.ub[0x1a] r8.ub[0xa1] => rflags[0x8c5,0x044]
1254 testb r8.ub[0xa1] r8.ub[0xa1] => rflags[0x8c5,0x080]
1255 testb r8.ub[0xa5] r8.ub[0xa5] => rflags[0x8c5,0x084]
1256 testb r8.ub[0x1a] m8.ub[0x1a] => rflags[0x8c5,0x000]
1257 testb r8.ub[0x5a] m8.ub[0x5a] => rflags[0x8c5,0x004]
1258 testb r8.ub[0x1a] m8.ub[0xa1] => rflags[0x8c5,0x044]
1259 testb r8.ub[0xa1] m8.ub[0xa1] => rflags[0x8c5,0x080]
1260 testb r8.ub[0xa5] m8.ub[0xa5] => rflags[0x8c5,0x084]
1261 testw imm16[0x1a1a] ax.uw[0x1a1a] => rflags[0x8c5,0x000]
1262 testw imm16[0x5a5a] ax.uw[0x5a5a] => rflags[0x8c5,0x004]
1263 testw imm16[0x1a1a] ax.uw[0xa1a1] => rflags[0x8c5,0x044]
1264 testw imm16[0xa1a1] ax.uw[0xa1a1] => rflags[0x8c5,0x080]
1265 testw imm16[0xa5a5] ax.uw[0xa5a5] => rflags[0x8c5,0x084]
1266 testw imm16[0x1a1a] bx.uw[0x1a1a] => rflags[0x8c5,0x000]
1267 testw imm16[0x5a5a] bx.uw[0x5a5a] => rflags[0x8c5,0x004]
1268 testw imm16[0x1a1a] bx.uw[0xa1a1] => rflags[0x8c5,0x044]
1269 testw imm16[0xa1a1] bx.uw[0xa1a1] => rflags[0x8c5,0x080]
1270 testw imm16[0xa5a5] bx.uw[0xa5a5] => rflags[0x8c5,0x084]
1271 testw imm16[0x1a1a] m16.uw[0x1a1a] => rflags[0x8c5,0x000]
1272 testw imm16[0x5a5a] m16.uw[0x5a5a] => rflags[0x8c5,0x004]
1273 testw imm16[0x1a1a] m16.uw[0xa1a1] => rflags[0x8c5,0x044]
1274 testw imm16[0xa1a1] m16.uw[0xa1a1] => rflags[0x8c5,0x080]
1275 testw imm16[0xa5a5] m16.uw[0xa5a5] => rflags[0x8c5,0x084]
1276 testw r16.uw[0x1a1a] r16.uw[0x1a1a] => rflags[0x8c5,0x000]
1277 testw r16.uw[0x5a5a] r16.uw[0x5a5a] => rflags[0x8c5,0x004]
1278 testw r16.uw[0x1a1a] r16.uw[0xa1a1] => rflags[0x8c5,0x044]
1279 testw r16.uw[0xa1a1] r16.uw[0xa1a1] => rflags[0x8c5,0x080]
1280 testw r16.uw[0xa5a5] r16.uw[0xa5a5] => rflags[0x8c5,0x084]
1281 testw r16.uw[0x1a1a] m16.uw[0x1a1a] => rflags[0x8c5,0x000]
1282 testw r16.uw[0x5a5a] m16.uw[0x5a5a] => rflags[0x8c5,0x004]
1283 testw r16.uw[0x1a1a] m16.uw[0xa1a1] => rflags[0x8c5,0x044]
1284 testw r16.uw[0xa1a1] m16.uw[0xa1a1] => rflags[0x8c5,0x080]
1285 testw r16.uw[0xa5a5] m16.uw[0xa5a5] => rflags[0x8c5,0x084]
1286 testl imm32[0x1a1a1a1a] eax.ud[0x1a1a1a1a] => rflags[0x8c5,0x000]
1287 testl imm32[0x5a5a5a5a] eax.ud[0x5a5a5a5a] => rflags[0x8c5,0x004]
1288 testl imm32[0x1a1a1a1a] eax.ud[0xa1a1a1a1] => rflags[0x8c5,0x044]
1289 testl imm32[0xa1a1a1a1] eax.ud[0xa1a1a1a1] => rflags[0x8c5,0x080]
1290 testl imm32[0xa5a5a5a5] eax.ud[0xa5a5a5a5] => rflags[0x8c5,0x084]
1291 testl imm32[0x1a1a1a1a] ebx.ud[0x1a1a1a1a] => rflags[0x8c5,0x000]
1292 testl imm32[0x5a5a5a5a] ebx.ud[0x5a5a5a5a] => rflags[0x8c5,0x004]
1293 testl imm32[0x1a1a1a1a] ebx.ud[0xa1a1a1a1] => rflags[0x8c5,0x044]
1294 testl imm32[0xa1a1a1a1] ebx.ud[0xa1a1a1a1] => rflags[0x8c5,0x080]
1295 testl imm32[0xa5a5a5a5] ebx.ud[0xa5a5a5a5] => rflags[0x8c5,0x084]
1296 testl imm32[0x1a1a1a1a] m32.ud[0x1a1a1a1a] => rflags[0x8c5,0x000]
1297 testl imm32[0x5a5a5a5a] m32.ud[0x5a5a5a5a] => rflags[0x8c5,0x004]
1298 testl imm32[0x1a1a1a1a] m32.ud[0xa1a1a1a1] => rflags[0x8c5,0x044]
1299 testl imm32[0xa1a1a1a1] m32.ud[0xa1a1a1a1] => rflags[0x8c5,0x080]
1300 testl imm32[0xa5a5a5a5] m32.ud[0xa5a5a5a5] => rflags[0x8c5,0x084]
1301 testl r32.ud[0x1a1a1a1a] r32.ud[0x1a1a1a1a] => rflags[0x8c5,0x000]
1302 testl r32.ud[0x5a5a5a5a] r32.ud[0x5a5a5a5a] => rflags[0x8c5,0x004]
1303 testl r32.ud[0x1a1a1a1a] r32.ud[0xa1a1a1a1] => rflags[0x8c5,0x044]
1304 testl r32.ud[0xa1a1a1a1] r32.ud[0xa1a1a1a1] => rflags[0x8c5,0x080]
1305 testl r32.ud[0xa5a5a5a5] r32.ud[0xa5a5a5a5] => rflags[0x8c5,0x084]
1306 testl r32.ud[0x1a1a1a1a] m32.ud[0x1a1a1a1a] => rflags[0x8c5,0x000]
1307 testl r32.ud[0x5a5a5a5a] m32.ud[0x5a5a5a5a] => rflags[0x8c5,0x004]
1308 testl r32.ud[0x1a1a1a1a] m32.ud[0xa1a1a1a1] => rflags[0x8c5,0x044]
1309 testl r32.ud[0xa1a1a1a1] m32.ud[0xa1a1a1a1] => rflags[0x8c5,0x080]
1310 testl r32.ud[0xa5a5a5a5] m32.ud[0xa5a5a5a5] => rflags[0x8c5,0x084]
1311 testq imm32[0x1a1a1a1a] rax.uq[0x1a1a1a1a] => rflags[0x8c5,0x000]
1312 testq imm32[0x5a5a5a5a] rax.uq[0x5a5a5a5a] => rflags[0x8c5,0x004]
1313 testq imm32[0x1a1a1a1a] rax.uq[0xa1a1a1a1] => rflags[0x8c5,0x044]
1314 testq imm32[-1583242847] rax.uq[0xffffffffa1a1a1a1] => rflags[0x8c5,0x080]
1315 testq imm32[-1515870811] rax.uq[0xffffffffa5a5a5a5] => rflags[0x8c5,0x084]
1316 testq imm32[0x1a1a1a1a] rbx.uq[0x1a1a1a1a] => rflags[0x8c5,0x000]
1317 testq imm32[0x5a5a5a5a] rbx.uq[0x5a5a5a5a] => rflags[0x8c5,0x004]
1318 testq imm32[0x1a1a1a1a] rbx.uq[0xa1a1a1a1] => rflags[0x8c5,0x044]
1319 testq imm32[-1583242847] rbx.uq[0xffffffffa1a1a1a1] => rflags[0x8c5,0x080]
1320 testq imm32[-1515870811] rbx.uq[0xffffffffa5a5a5a5] => rflags[0x8c5,0x084]
1321 testq imm32[0x1a1a1a1a] m64.uq[0x1a1a1a1a] => rflags[0x8c5,0x000]
1322 testq imm32[0x5a5a5a5a] m64.uq[0x5a5a5a5a] => rflags[0x8c5,0x004]
1323 testq imm32[0x1a1a1a1a] m64.uq[0xa1a1a1a1] => rflags[0x8c5,0x044]
1324 testq imm32[-1583242847] m64.uq[0xffffffffa1a1a1a1] => rflags[0x8c5,0x080]
1325 testq imm32[-1515870811] m64.uq[0xffffffffa5a5a5a5] => rflags[0x8c5,0x084]
1326 testq r64.uq[0x1a1a1a1a1a1a1a1a] r64.uq[0x1a1a1a1a1a1a1a1a] => rflags[0x8c5,0x000]
1327 testq r64.uq[0x5a5a5a5a5a5a5a5a] r64.uq[0x5a5a5a5a5a5a5a5a] => rflags[0x8c5,0x004]
1328 testq r64.uq[0x1a1a1a1a1a1a1a1a] r64.uq[0xa1a1a1a1a1a1a1a1] => rflags[0x8c5,0x044]
1329 testq r64.uq[0xa1a1a1a1a1a1a1a1] r64.uq[0xa1a1a1a1a1a1a1a1] => rflags[0x8c5,0x080]
1330 testq r64.uq[0xa5a5a5a5a5a5a5a5] r64.uq[0xa5a5a5a5a5a5a5a5] => rflags[0x8c5,0x084]
1331 testq r64.uq[0x1a1a1a1a1a1a1a1a] m64.uq[0x1a1a1a1a1a1a1a1a] => rflags[0x8c5,0x000]
1332 testq r64.uq[0x5a5a5a5a5a5a5a5a] m64.uq[0x5a5a5a5a5a5a5a5a] => rflags[0x8c5,0x004]
1333 testq r64.uq[0x1a1a1a1a1a1a1a1a] m64.uq[0xa1a1a1a1a1a1a1a1] => rflags[0x8c5,0x044]
1334 testq r64.uq[0xa1a1a1a1a1a1a1a1] m64.uq[0xa1a1a1a1a1a1a1a1] => rflags[0x8c5,0x080]
1335 testq r64.uq[0xa5a5a5a5a5a5a5a5] m64.uq[0xa5a5a5a5a5a5a5a5] => rflags[0x8c5,0x084]
1336 ###xaddb r8.ub[12] r8.ub[34] => 0.ub[34] 1.ub[46]
1337 ###xaddb r8.ub[12] m8.ub[34] => 0.ub[34] 1.ub[46]
1338 ###xaddw r16.uw[1234] r16.uw[5678] => 0.uw[5678] 1.uw[6912]
1339 xaddw r16.uw[1234] m16.uw[5678] => 0.uw[5678] 1.uw[6912]
1340 ###xaddl r32.ud[12345678] r32.ud[87654321] => 0.ud[87654321] 1.ud[99999999]
1341 xaddl r32.ud[12345678] m32.ud[87654321] => 0.ud[87654321] 1.ud[99999999]
1342 xaddq r64.uq[1234567812345678] m64.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[9999999999999999]
1343 xaddq r64.uq[1234567812345678] m64.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[9999999999999999]
1344 xchgb r8.ub[12] r8.ub[34] => 0.ub[34] 1.ub[12]
1345 xchgb r8.ub[12] m8.ub[34] => 0.ub[34] 1.ub[12]
1346 xchgb m8.ub[12] r8.ub[34] => 0.ub[34] 1.ub[12]
1347 xchgw ax.uw[1234] bx.uw[5678] => 0.uw[5678] 1.uw[1234]
1348 xchgw bx.uw[1234] ax.uw[5678] => 0.uw[5678] 1.uw[1234]
1349 xchgw ax.uw[1234] cx.uw[5678] => 0.uw[5678] 1.uw[1234]
1350 xchgw r16.uw[1234] m16.uw[5678] => 0.uw[5678] 1.uw[1234]
1351 xchgw m16.uw[1234] r16.uw[5678] => 0.uw[5678] 1.uw[1234]
1352 xchgl eax.ud[12345678] ebx.ud[87654321] => 0.ud[87654321] 1.ud[12345678]
1353 xchgl ebx.ud[12345678] eax.ud[87654321] => 0.ud[87654321] 1.ud[12345678]
1354 xchgl ebx.ud[12345678] ecx.ud[87654321] => 0.ud[87654321] 1.ud[12345678]
1355 xchgl r32.ud[12345678] m32.ud[87654321] => 0.ud[87654321] 1.ud[12345678]
1356 xchgl m32.ud[12345678] r32.ud[87654321] => 0.ud[87654321] 1.ud[12345678]
1357 xchgq rax.uq[1234567812345678] rbx.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[1234567812345678]
1358 xchgq rbx.uq[1234567812345678] rax.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[1234567812345678]
1359 xchgq rbx.uq[1234567812345678] rcx.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[1234567812345678]
1360 xchgq r64.uq[1234567812345678] m64.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[1234567812345678]
1361 xchgq m64.uq[1234567812345678] r64.uq[8765432187654321] => 0.uq[8765432187654321] 1.uq[1234567812345678]
1362 xorb imm8[0x34] al.ub[0x56] => 1.ub[0x62]
1363 xorb imm8[0x34] bl.ub[0x56] => 1.ub[0x62]
1364 xorb imm8[0x34] m8.ub[0x56] => 1.ub[0x62]
1365 xorb r8.ub[0x34] r8.ub[0x56] => 1.ub[0x62]
1366 xorb r8.ub[0x34] m8.ub[0x56] => 1.ub[0x62]
1367 xorb m8.ub[0x34] r8.ub[0x56] => 1.ub[0x62]
1368 xorw imm8[0x31] r16.uw[0x1234] => 1.uw[0x1205]
1369 xorw imm16[0x4231] ax.uw[0x1234] => 1.uw[0x5005]
1370 xorw imm16[0x4231] bx.uw[0x1234] => 1.uw[0x5005]
1371 xorw imm16[0x4231] m16.uw[0x1234] => 1.uw[0x5005]
1372 xorw r16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x5005]
1373 xorw r16.uw[0x4231] m16.uw[0x1234] => 1.uw[0x5005]
1374 xorw m16.uw[0x4231] r16.uw[0x1234] => 1.uw[0x5005]
1375 xorl imm8[0x31] r32.ud[0x12345678] => 1.ud[0x12345649]
1376 xorl imm32[0x86427531] eax.ud[0x12345678] => 1.ud[0x94762349]
1377 xorl imm32[0x86427531] ebx.ud[0x12345678] => 1.ud[0x94762349]
1378 xorl imm32[0x86427531] m32.ud[0x12345678] => 1.ud[0x94762349]
1379 xorl r32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x94762349]
1380 xorl r32.ud[0x86427531] m32.ud[0x12345678] => 1.ud[0x94762349]
1381 xorl m32.ud[0x86427531] r32.ud[0x12345678] => 1.ud[0x94762349]
1382 xorq imm8[0x31] r64.uq[0x1234567812345678] => 1.uq[0x1234567812345649]
1383 xorq imm32[0x12345678] rax.uq[0x8642753186427531] => 1.uq[0x8642753194762349]
1384 xorq imm32[0x12345678] rbx.uq[0x8642753186427531] => 1.uq[0x8642753194762349]
1385 xorq imm32[0x12345678] m64.uq[0x8642753186427531] => 1.uq[0x8642753194762349]
1386 xorq imm32[-2042464975] rax.uq[0x1234567812345678] => 1.uq[0xedcba98794762349]
1387 xorq imm32[-2042464975] rbx.uq[0x1234567812345678] => 1.uq[0xedcba98794762349]
1388 xorq imm32[-2042464975] m64.uq[0x1234567812345678] => 1.uq[0xedcba98794762349]
1389 xorq r64.uq[0x8642753186427531] r64.uq[0x1234567812345678] => 1.uq[0x9476234994762349]
1390 xorq r64.uq[0x8642753186427531] m64.uq[0x1234567812345678] => 1.uq[0x9476234994762349]
1391 xorq m64.uq[0x8642753186427531] r64.uq[0x1234567812345678] => 1.uq[0x9476234994762349]