test/MC/X86/avx512vl_gfni-encoding.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s | FileCheck %s
   2
   3 // CHECK: vgf2p8affineinvqb $7, %xmm2, %xmm20, %xmm1
   4 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xcf,0xca,0x07]
   5           vgf2p8affineinvqb $7, %xmm2, %xmm20, %xmm1
   6
   7 // CHECK: vgf2p8affineqb $7, %xmm2, %xmm20, %xmm1
   8 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xce,0xca,0x07]
   9           vgf2p8affineqb $7, %xmm2, %xmm20, %xmm1
  10
  11 // CHECK: vgf2p8affineinvqb $7, %xmm2, %xmm20, %xmm1 {%k2}
  12 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xcf,0xca,0x07]
  13           vgf2p8affineinvqb $7, %xmm2, %xmm20, %xmm1 {%k2}
  14
  15 // CHECK: vgf2p8affineqb $7, %xmm2, %xmm20, %xmm1 {%k2}
  16 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xce,0xca,0x07]
  17           vgf2p8affineqb $7, %xmm2, %xmm20, %xmm1 {%k2}
  18
  19 // CHECK: vgf2p8affineinvqb  $7, (%rcx), %xmm20, %xmm1
  20 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xcf,0x09,0x07]
  21           vgf2p8affineinvqb  $7, (%rcx), %xmm20, %xmm1
  22
  23 // CHECK: vgf2p8affineinvqb  $7, -64(%rsp), %xmm20, %xmm1
  24 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xcf,0x4c,0x24,0xfc,0x07]
  25           vgf2p8affineinvqb  $7, -64(%rsp), %xmm20, %xmm1
  26
  27 // CHECK: vgf2p8affineinvqb  $7, 64(%rsp), %xmm20, %xmm1
  28 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xcf,0x4c,0x24,0x04,0x07]
  29           vgf2p8affineinvqb  $7, 64(%rsp), %xmm20, %xmm1
  30
  31 // CHECK: vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1
  32 // CHECK: encoding: [0x62,0xb3,0xdd,0x00,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
  33           vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1
  34
  35 // CHECK: vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1
  36 // CHECK: encoding: [0x62,0xb3,0xdd,0x00,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
  37           vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1
  38
  39 // CHECK: vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1
  40 // CHECK: encoding: [0x62,0xb3,0xdd,0x00,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
  41           vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1
  42
  43 // CHECK: vgf2p8affineqb  $7, (%rcx), %xmm20, %xmm1
  44 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xce,0x09,0x07]
  45           vgf2p8affineqb  $7, (%rcx), %xmm20, %xmm1
  46
  47 // CHECK: vgf2p8affineqb  $7, -64(%rsp), %xmm20, %xmm1
  48 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xce,0x4c,0x24,0xfc,0x07]
  49           vgf2p8affineqb  $7, -64(%rsp), %xmm20, %xmm1
  50
  51 // CHECK: vgf2p8affineqb  $7, 64(%rsp), %xmm20, %xmm1
  52 // CHECK: encoding: [0x62,0xf3,0xdd,0x00,0xce,0x4c,0x24,0x04,0x07]
  53           vgf2p8affineqb  $7, 64(%rsp), %xmm20, %xmm1
  54
  55 // CHECK: vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1
  56 // CHECK: encoding: [0x62,0xb3,0xdd,0x00,0xce,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
  57           vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1
  58
  59 // CHECK: vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1
  60 // CHECK: encoding: [0x62,0xb3,0xdd,0x00,0xce,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
  61           vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1
  62
  63 // CHECK: vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1
  64 // CHECK: encoding: [0x62,0xb3,0xdd,0x00,0xce,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
  65           vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1
  66
  67 // CHECK: vgf2p8affineinvqb  $7, (%rcx), %xmm20, %xmm1 {%k2}
  68 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xcf,0x09,0x07]
  69           vgf2p8affineinvqb  $7, (%rcx), %xmm20, %xmm1 {%k2}
  70
  71 // CHECK: vgf2p8affineinvqb  $7, -64(%rsp), %xmm20, %xmm1 {%k2}
  72 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xcf,0x4c,0x24,0xfc,0x07]
  73           vgf2p8affineinvqb  $7, -64(%rsp), %xmm20, %xmm1 {%k2}
  74
  75 // CHECK: vgf2p8affineinvqb  $7, 64(%rsp), %xmm20, %xmm1 {%k2}
  76 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xcf,0x4c,0x24,0x04,0x07]
  77           vgf2p8affineinvqb  $7, 64(%rsp), %xmm20, %xmm1 {%k2}
  78
  79 // CHECK: vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
  80 // CHECK: encoding: [0x62,0xb3,0xdd,0x02,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
  81           vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
  82
  83 // CHECK: vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
  84 // CHECK: encoding: [0x62,0xb3,0xdd,0x02,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
  85           vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
  86
  87 // CHECK: vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
  88 // CHECK: encoding: [0x62,0xb3,0xdd,0x02,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
  89           vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
  90
  91 // CHECK: vgf2p8affineqb  $7, (%rcx), %xmm20, %xmm1 {%k2}
  92 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xce,0x09,0x07]
  93           vgf2p8affineqb  $7, (%rcx), %xmm20, %xmm1 {%k2}
  94
  95 // CHECK: vgf2p8affineqb  $7, -64(%rsp), %xmm20, %xmm1 {%k2}
  96 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xce,0x4c,0x24,0xfc,0x07]
  97           vgf2p8affineqb  $7, -64(%rsp), %xmm20, %xmm1 {%k2}
  98
  99 // CHECK: vgf2p8affineqb  $7, 64(%rsp), %xmm20, %xmm1 {%k2}
 100 // CHECK: encoding: [0x62,0xf3,0xdd,0x02,0xce,0x4c,0x24,0x04,0x07]
 101           vgf2p8affineqb  $7, 64(%rsp), %xmm20, %xmm1 {%k2}
 102
 103 // CHECK: vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 104 // CHECK: encoding: [0x62,0xb3,0xdd,0x02,0xce,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
 105           vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 106
 107 // CHECK: vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 108 // CHECK: encoding: [0x62,0xb3,0xdd,0x02,0xce,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
 109           vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 110
 111 // CHECK: vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 112 // CHECK: encoding: [0x62,0xb3,0xdd,0x02,0xce,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
 113           vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 114
 115 // CHECK: vgf2p8affineinvqb $7, %ymm2, %ymm20, %ymm1
 116 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xcf,0xca,0x07]
 117           vgf2p8affineinvqb $7, %ymm2, %ymm20, %ymm1
 118
 119 // CHECK: vgf2p8affineqb $7, %ymm2, %ymm20, %ymm1
 120 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xce,0xca,0x07]
 121           vgf2p8affineqb $7, %ymm2, %ymm20, %ymm1
 122
 123 // CHECK: vgf2p8affineinvqb $7, %ymm2, %ymm20, %ymm1 {%k2}
 124 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xcf,0xca,0x07]
 125           vgf2p8affineinvqb $7, %ymm2, %ymm20, %ymm1 {%k2}
 126
 127 // CHECK: vgf2p8affineqb $7, %ymm2, %ymm20, %ymm1 {%k2}
 128 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xce,0xca,0x07]
 129           vgf2p8affineqb $7, %ymm2, %ymm20, %ymm1 {%k2}
 130
 131 // CHECK: vgf2p8affineinvqb  $7, (%rcx), %ymm20, %ymm1
 132 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xcf,0x09,0x07]
 133           vgf2p8affineinvqb  $7, (%rcx), %ymm20, %ymm1
 134
 135 // CHECK: vgf2p8affineinvqb  $7, -128(%rsp), %ymm20, %ymm1
 136 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xcf,0x4c,0x24,0xfc,0x07]
 137           vgf2p8affineinvqb  $7, -128(%rsp), %ymm20, %ymm1
 138
 139 // CHECK: vgf2p8affineinvqb  $7, 128(%rsp), %ymm20, %ymm1
 140 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xcf,0x4c,0x24,0x04,0x07]
 141           vgf2p8affineinvqb  $7, 128(%rsp), %ymm20, %ymm1
 142
 143 // CHECK: vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1
 144 // CHECK: encoding: [0x62,0xb3,0xdd,0x20,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
 145           vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1
 146
 147 // CHECK: vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1
 148 // CHECK: encoding: [0x62,0xb3,0xdd,0x20,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
 149           vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1
 150
 151 // CHECK: vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1
 152 // CHECK: encoding: [0x62,0xb3,0xdd,0x20,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
 153           vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1
 154
 155 // CHECK: vgf2p8affineqb  $7, (%rcx), %ymm20, %ymm1
 156 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xce,0x09,0x07]
 157           vgf2p8affineqb  $7, (%rcx), %ymm20, %ymm1
 158
 159 // CHECK: vgf2p8affineqb  $7, -128(%rsp), %ymm20, %ymm1
 160 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xce,0x4c,0x24,0xfc,0x07]
 161           vgf2p8affineqb  $7, -128(%rsp), %ymm20, %ymm1
 162
 163 // CHECK: vgf2p8affineqb  $7, 128(%rsp), %ymm20, %ymm1
 164 // CHECK: encoding: [0x62,0xf3,0xdd,0x20,0xce,0x4c,0x24,0x04,0x07]
 165           vgf2p8affineqb  $7, 128(%rsp), %ymm20, %ymm1
 166
 167 // CHECK: vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1
 168 // CHECK: encoding: [0x62,0xb3,0xdd,0x20,0xce,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
 169           vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1
 170
 171 // CHECK: vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1
 172 // CHECK: encoding: [0x62,0xb3,0xdd,0x20,0xce,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
 173           vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1
 174
 175 // CHECK: vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1
 176 // CHECK: encoding: [0x62,0xb3,0xdd,0x20,0xce,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
 177           vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1
 178
 179 // CHECK: vgf2p8affineinvqb  $7, (%rcx), %ymm20, %ymm1 {%k2}
 180 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xcf,0x09,0x07]
 181           vgf2p8affineinvqb  $7, (%rcx), %ymm20, %ymm1 {%k2}
 182
 183 // CHECK: vgf2p8affineinvqb  $7, -128(%rsp), %ymm20, %ymm1 {%k2}
 184 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xcf,0x4c,0x24,0xfc,0x07]
 185           vgf2p8affineinvqb  $7, -128(%rsp), %ymm20, %ymm1 {%k2}
 186
 187 // CHECK: vgf2p8affineinvqb  $7, 128(%rsp), %ymm20, %ymm1 {%k2}
 188 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xcf,0x4c,0x24,0x04,0x07]
 189           vgf2p8affineinvqb  $7, 128(%rsp), %ymm20, %ymm1 {%k2}
 190
 191 // CHECK: vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 192 // CHECK: encoding: [0x62,0xb3,0xdd,0x22,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
 193           vgf2p8affineinvqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 194
 195 // CHECK: vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 196 // CHECK: encoding: [0x62,0xb3,0xdd,0x22,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
 197           vgf2p8affineinvqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 198
 199 // CHECK: vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 200 // CHECK: encoding: [0x62,0xb3,0xdd,0x22,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
 201           vgf2p8affineinvqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 202
 203 // CHECK: vgf2p8affineqb  $7, (%rcx), %ymm20, %ymm1 {%k2}
 204 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xce,0x09,0x07]
 205           vgf2p8affineqb  $7, (%rcx), %ymm20, %ymm1 {%k2}
 206
 207 // CHECK: vgf2p8affineqb  $7, -128(%rsp), %ymm20, %ymm1 {%k2}
 208 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xce,0x4c,0x24,0xfc,0x07]
 209           vgf2p8affineqb  $7, -128(%rsp), %ymm20, %ymm1 {%k2}
 210
 211 // CHECK: vgf2p8affineqb  $7, 128(%rsp), %ymm20, %ymm1 {%k2}
 212 // CHECK: encoding: [0x62,0xf3,0xdd,0x22,0xce,0x4c,0x24,0x04,0x07]
 213           vgf2p8affineqb  $7, 128(%rsp), %ymm20, %ymm1 {%k2}
 214
 215 // CHECK: vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 216 // CHECK: encoding: [0x62,0xb3,0xdd,0x22,0xce,0x8c,0xf1,0x00,0x00,0x00,0x10,0x07]
 217           vgf2p8affineqb  $7, 268435456(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 218
 219 // CHECK: vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 220 // CHECK: encoding: [0x62,0xb3,0xdd,0x22,0xce,0x8c,0xf1,0x00,0x00,0x00,0xe0,0x07]
 221           vgf2p8affineqb  $7, -536870912(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 222
 223 // CHECK: vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 224 // CHECK: encoding: [0x62,0xb3,0xdd,0x22,0xce,0x8c,0xf1,0x02,0x00,0x00,0xe0,0x07]
 225           vgf2p8affineqb  $7, -536870910(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 226
 227 // CHECK: vgf2p8mulb %xmm2, %xmm20, %xmm1
 228 // CHECK: encoding: [0x62,0xf2,0x5d,0x00,0xcf,0xca]
 229           vgf2p8mulb %xmm2, %xmm20, %xmm1
 230
 231 // CHECK: vgf2p8mulb %xmm2, %xmm20, %xmm1 {%k2}
 232 // CHECK: encoding: [0x62,0xf2,0x5d,0x02,0xcf,0xca]
 233           vgf2p8mulb %xmm2, %xmm20, %xmm1 {%k2}
 234
 235 // CHECK: vgf2p8mulb  (%rcx), %xmm20, %xmm1
 236 // CHECK: encoding: [0x62,0xf2,0x5d,0x00,0xcf,0x09]
 237           vgf2p8mulb  (%rcx), %xmm20, %xmm1
 238
 239 // CHECK: vgf2p8mulb  -64(%rsp), %xmm20, %xmm1
 240 // CHECK: encoding: [0x62,0xf2,0x5d,0x00,0xcf,0x4c,0x24,0xfc]
 241           vgf2p8mulb  -64(%rsp), %xmm20, %xmm1
 242
 243 // CHECK: vgf2p8mulb  64(%rsp), %xmm20, %xmm1
 244 // CHECK: encoding: [0x62,0xf2,0x5d,0x00,0xcf,0x4c,0x24,0x04]
 245           vgf2p8mulb  64(%rsp), %xmm20, %xmm1
 246
 247 // CHECK: vgf2p8mulb  268435456(%rcx,%r14,8), %xmm20, %xmm1
 248 // CHECK: encoding: [0x62,0xb2,0x5d,0x00,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10]
 249           vgf2p8mulb  268435456(%rcx,%r14,8), %xmm20, %xmm1
 250
 251 // CHECK: vgf2p8mulb  -536870912(%rcx,%r14,8), %xmm20, %xmm1
 252 // CHECK: encoding: [0x62,0xb2,0x5d,0x00,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 253           vgf2p8mulb  -536870912(%rcx,%r14,8), %xmm20, %xmm1
 254
 255 // CHECK: vgf2p8mulb  -536870910(%rcx,%r14,8), %xmm20, %xmm1
 256 // CHECK: encoding: [0x62,0xb2,0x5d,0x00,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 257           vgf2p8mulb  -536870910(%rcx,%r14,8), %xmm20, %xmm1
 258
 259 // CHECK: vgf2p8mulb  (%rcx), %xmm20, %xmm1 {%k2}
 260 // CHECK: encoding: [0x62,0xf2,0x5d,0x02,0xcf,0x09]
 261           vgf2p8mulb  (%rcx), %xmm20, %xmm1 {%k2}
 262
 263 // CHECK: vgf2p8mulb  -64(%rsp), %xmm20, %xmm1 {%k2}
 264 // CHECK: encoding: [0x62,0xf2,0x5d,0x02,0xcf,0x4c,0x24,0xfc]
 265           vgf2p8mulb  -64(%rsp), %xmm20, %xmm1 {%k2}
 266
 267 // CHECK: vgf2p8mulb  64(%rsp), %xmm20, %xmm1 {%k2}
 268 // CHECK: encoding: [0x62,0xf2,0x5d,0x02,0xcf,0x4c,0x24,0x04]
 269           vgf2p8mulb  64(%rsp), %xmm20, %xmm1 {%k2}
 270
 271 // CHECK: vgf2p8mulb  268435456(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 272 // CHECK: encoding: [0x62,0xb2,0x5d,0x02,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10]
 273           vgf2p8mulb  268435456(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 274
 275 // CHECK: vgf2p8mulb  -536870912(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 276 // CHECK: encoding: [0x62,0xb2,0x5d,0x02,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 277           vgf2p8mulb  -536870912(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 278
 279 // CHECK: vgf2p8mulb  -536870910(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 280 // CHECK: encoding: [0x62,0xb2,0x5d,0x02,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 281           vgf2p8mulb  -536870910(%rcx,%r14,8), %xmm20, %xmm1 {%k2}
 282
 283 // CHECK: vgf2p8mulb %ymm2, %ymm20, %ymm1
 284 // CHECK: encoding: [0x62,0xf2,0x5d,0x20,0xcf,0xca]
 285           vgf2p8mulb %ymm2, %ymm20, %ymm1
 286
 287 // CHECK: vgf2p8mulb %ymm2, %ymm20, %ymm1 {%k2}
 288 // CHECK: encoding: [0x62,0xf2,0x5d,0x22,0xcf,0xca]
 289           vgf2p8mulb %ymm2, %ymm20, %ymm1 {%k2}
 290
 291 // CHECK: vgf2p8mulb  (%rcx), %ymm20, %ymm1
 292 // CHECK: encoding: [0x62,0xf2,0x5d,0x20,0xcf,0x09]
 293           vgf2p8mulb  (%rcx), %ymm20, %ymm1
 294
 295 // CHECK: vgf2p8mulb  -128(%rsp), %ymm20, %ymm1
 296 // CHECK: encoding: [0x62,0xf2,0x5d,0x20,0xcf,0x4c,0x24,0xfc]
 297           vgf2p8mulb  -128(%rsp), %ymm20, %ymm1
 298
 299 // CHECK: vgf2p8mulb  128(%rsp), %ymm20, %ymm1
 300 // CHECK: encoding: [0x62,0xf2,0x5d,0x20,0xcf,0x4c,0x24,0x04]
 301           vgf2p8mulb  128(%rsp), %ymm20, %ymm1
 302
 303 // CHECK: vgf2p8mulb  268435456(%rcx,%r14,8), %ymm20, %ymm1
 304 // CHECK: encoding: [0x62,0xb2,0x5d,0x20,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10]
 305           vgf2p8mulb  268435456(%rcx,%r14,8), %ymm20, %ymm1
 306
 307 // CHECK: vgf2p8mulb  -536870912(%rcx,%r14,8), %ymm20, %ymm1
 308 // CHECK: encoding: [0x62,0xb2,0x5d,0x20,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 309           vgf2p8mulb  -536870912(%rcx,%r14,8), %ymm20, %ymm1
 310
 311 // CHECK: vgf2p8mulb  -536870910(%rcx,%r14,8), %ymm20, %ymm1
 312 // CHECK: encoding: [0x62,0xb2,0x5d,0x20,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 313           vgf2p8mulb  -536870910(%rcx,%r14,8), %ymm20, %ymm1
 314
 315 // CHECK: vgf2p8mulb  (%rcx), %ymm20, %ymm1 {%k2}
 316 // CHECK: encoding: [0x62,0xf2,0x5d,0x22,0xcf,0x09]
 317           vgf2p8mulb  (%rcx), %ymm20, %ymm1 {%k2}
 318
 319 // CHECK: vgf2p8mulb  -128(%rsp), %ymm20, %ymm1 {%k2}
 320 // CHECK: encoding: [0x62,0xf2,0x5d,0x22,0xcf,0x4c,0x24,0xfc]
 321           vgf2p8mulb  -128(%rsp), %ymm20, %ymm1 {%k2}
 322
 323 // CHECK: vgf2p8mulb  128(%rsp), %ymm20, %ymm1 {%k2}
 324 // CHECK: encoding: [0x62,0xf2,0x5d,0x22,0xcf,0x4c,0x24,0x04]
 325           vgf2p8mulb  128(%rsp), %ymm20, %ymm1 {%k2}
 326
 327 // CHECK: vgf2p8mulb  268435456(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 328 // CHECK: encoding: [0x62,0xb2,0x5d,0x22,0xcf,0x8c,0xf1,0x00,0x00,0x00,0x10]
 329           vgf2p8mulb  268435456(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 330
 331 // CHECK: vgf2p8mulb  -536870912(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 332 // CHECK: encoding: [0x62,0xb2,0x5d,0x22,0xcf,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 333           vgf2p8mulb  -536870912(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 334
 335 // CHECK: vgf2p8mulb  -536870910(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 336 // CHECK: encoding: [0x62,0xb2,0x5d,0x22,0xcf,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 337           vgf2p8mulb  -536870910(%rcx,%r14,8), %ymm20, %ymm1 {%k2}
 338
 339 // CHECK: vgf2p8affineinvqb $7, (%rcx){1to2}, %xmm20, %xmm1
 340 // CHECK: encoding: [0x62,0xf3,0xdd,0x10,0xcf,0x09,0x07]
 341           vgf2p8affineinvqb $7, (%rcx){1to2}, %xmm20, %xmm1
 342
 343 // CHECK: vgf2p8affineinvqb $7, (%rcx){1to4}, %ymm20, %ymm1
 344 // CHECK: encoding: [0x62,0xf3,0xdd,0x30,0xcf,0x09,0x07]
 345           vgf2p8affineinvqb $7, (%rcx){1to4}, %ymm20, %ymm1
 346
 347 // CHECK: vgf2p8affineqb  $7, (%rcx){1to2}, %xmm20, %xmm1
 348 // CHECK: encoding: [0x62,0xf3,0xdd,0x10,0xce,0x09,0x07]
 349           vgf2p8affineqb  $7, (%rcx){1to2}, %xmm20, %xmm1
 350
 351 // CHECK: vgf2p8affineqb  $7, (%rcx){1to4}, %ymm20, %ymm1
 352 // CHECK: encoding: [0x62,0xf3,0xdd,0x30,0xce,0x09,0x07]
 353           vgf2p8affineqb  $7, (%rcx){1to4}, %ymm20, %ymm1
 354