test/MC/X86/avx512ifmavl-encoding.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3   vpmadd52luq %xmm4, %xmm5, %xmm6 {%k7}
   4 //CHECK: vpmadd52luq %xmm4, %xmm5, %xmm6 {%k7}
   5 //CHECK: encoding: [0x62,0xf2,0xd5,0x0f,0xb4,0xf4]
   6
   7   vpmadd52luq %xmm4, %xmm5, %xmm6 {%k7} {z}
   8 //CHECK: vpmadd52luq %xmm4, %xmm5, %xmm6 {%k7} {z}
   9 //CHECK: encoding: [0x62,0xf2,0xd5,0x8f,0xb4,0xf4]
  10
  11   vpmadd52luq %ymm4, %ymm5, %ymm6 {%k7}
  12 //CHECK: vpmadd52luq %ymm4, %ymm5, %ymm6 {%k7}
  13 //CHECK: encoding: [0x62,0xf2,0xd5,0x2f,0xb4,0xf4]
  14
  15   vpmadd52luq %ymm4, %ymm5, %ymm6 {%k7} {z}
  16 //CHECK: vpmadd52luq %ymm4, %ymm5, %ymm6 {%k7} {z}
  17 //CHECK: encoding: [0x62,0xf2,0xd5,0xaf,0xb4,0xf4]
  18
  19   vpmadd52luq %xmm28, %xmm29, %xmm30
  20 //CHECK: vpmadd52luq %xmm28, %xmm29, %xmm30
  21 //CHECK: encoding: [0x62,0x02,0x95,0x00,0xb4,0xf4]
  22
  23   vpmadd52luq %xmm28, %xmm29, %xmm30 {%k7}
  24 //CHECK: vpmadd52luq %xmm28, %xmm29, %xmm30 {%k7}
  25 //CHECK: encoding: [0x62,0x02,0x95,0x07,0xb4,0xf4]
  26
  27   vpmadd52luq %xmm28, %xmm29, %xmm30 {%k7} {z}
  28 //CHECK: vpmadd52luq %xmm28, %xmm29, %xmm30 {%k7} {z}
  29 //CHECK: encoding: [0x62,0x02,0x95,0x87,0xb4,0xf4]
  30
  31   vpmadd52luq (%rcx), %xmm29, %xmm30
  32 //CHECK: vpmadd52luq (%rcx), %xmm29, %xmm30
  33 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb4,0x31]
  34
  35   vpmadd52luq 0x123(%rax,%r14,8), %xmm29, %xmm30
  36 //CHECK: vpmadd52luq 291(%rax,%r14,8), %xmm29, %xmm30
  37 //CHECK: encoding: [0x62,0x22,0x95,0x00,0xb4,0xb4,0xf0,0x23,0x01,0x00,0x00]
  38
  39   vpmadd52luq (%rcx){1to2}, %xmm29, %xmm30
  40 //CHECK: vpmadd52luq (%rcx){1to2}, %xmm29, %xmm30
  41 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb4,0x31]
  42
  43   vpmadd52luq 0x7f0(%rdx), %xmm29, %xmm30
  44 //CHECK: vpmadd52luq 2032(%rdx), %xmm29, %xmm30
  45 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb4,0x72,0x7f]
  46
  47   vpmadd52luq 0x800(%rdx), %xmm29, %xmm30
  48 //CHECK: vpmadd52luq 2048(%rdx), %xmm29, %xmm30
  49 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb4,0xb2,0x00,0x08,0x00,0x00]
  50
  51   vpmadd52luq -0x800(%rdx), %xmm29, %xmm30
  52 //CHECK: vpmadd52luq -2048(%rdx), %xmm29, %xmm30
  53 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb4,0x72,0x80]
  54
  55   vpmadd52luq -0x810(%rdx), %xmm29, %xmm30
  56 //CHECK: vpmadd52luq -2064(%rdx), %xmm29, %xmm30
  57 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb4,0xb2,0xf0,0xf7,0xff,0xff]
  58
  59   vpmadd52luq 0x3f8(%rdx){1to2}, %xmm29, %xmm30
  60 //CHECK: vpmadd52luq 1016(%rdx){1to2}, %xmm29, %xmm30
  61 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb4,0x72,0x7f]
  62
  63   vpmadd52luq 0x400(%rdx){1to2}, %xmm29, %xmm30
  64 //CHECK: vpmadd52luq 1024(%rdx){1to2}, %xmm29, %xmm30
  65 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb4,0xb2,0x00,0x04,0x00,0x00]
  66
  67   vpmadd52luq -0x400(%rdx){1to2}, %xmm29, %xmm30
  68 //CHECK: vpmadd52luq -1024(%rdx){1to2}, %xmm29, %xmm30
  69 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb4,0x72,0x80]
  70
  71   vpmadd52luq -0x408(%rdx){1to2}, %xmm29, %xmm30
  72 //CHECK: vpmadd52luq -1032(%rdx){1to2}, %xmm29, %xmm30
  73 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb4,0xb2,0xf8,0xfb,0xff,0xff]
  74
  75   vpmadd52luq %ymm28, %ymm29, %ymm30
  76 //CHECK: vpmadd52luq %ymm28, %ymm29, %ymm30
  77 //CHECK: encoding: [0x62,0x02,0x95,0x20,0xb4,0xf4]
  78
  79   vpmadd52luq %ymm28, %ymm29, %ymm30 {%k7}
  80 //CHECK: vpmadd52luq %ymm28, %ymm29, %ymm30 {%k7}
  81 //CHECK: encoding: [0x62,0x02,0x95,0x27,0xb4,0xf4]
  82
  83   vpmadd52luq %ymm28, %ymm29, %ymm30 {%k7} {z}
  84 //CHECK: vpmadd52luq %ymm28, %ymm29, %ymm30 {%k7} {z}
  85 //CHECK: encoding: [0x62,0x02,0x95,0xa7,0xb4,0xf4]
  86
  87   vpmadd52luq (%rcx), %ymm29, %ymm30
  88 //CHECK: vpmadd52luq (%rcx), %ymm29, %ymm30
  89 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb4,0x31]
  90
  91   vpmadd52luq 0x123(%rax,%r14,8), %ymm29, %ymm30
  92 //CHECK: vpmadd52luq 291(%rax,%r14,8), %ymm29, %ymm30
  93 //CHECK: encoding: [0x62,0x22,0x95,0x20,0xb4,0xb4,0xf0,0x23,0x01,0x00,0x00]
  94
  95   vpmadd52luq (%rcx){1to4}, %ymm29, %ymm30
  96 //CHECK: vpmadd52luq (%rcx){1to4}, %ymm29, %ymm30
  97 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb4,0x31]
  98
  99   vpmadd52luq 0xfe0(%rdx), %ymm29, %ymm30
 100 //CHECK: vpmadd52luq 4064(%rdx), %ymm29, %ymm30
 101 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb4,0x72,0x7f]
 102
 103   vpmadd52luq 0x1000(%rdx), %ymm29, %ymm30
 104 //CHECK: vpmadd52luq 4096(%rdx), %ymm29, %ymm30
 105 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb4,0xb2,0x00,0x10,0x00,0x00]
 106
 107   vpmadd52luq -0x1000(%rdx), %ymm29, %ymm30
 108 //CHECK: vpmadd52luq -4096(%rdx), %ymm29, %ymm30
 109 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb4,0x72,0x80]
 110
 111   vpmadd52luq -0x1020(%rdx), %ymm29, %ymm30
 112 //CHECK: vpmadd52luq -4128(%rdx), %ymm29, %ymm30
 113 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb4,0xb2,0xe0,0xef,0xff,0xff]
 114
 115   vpmadd52luq 0x3f8(%rdx){1to4}, %ymm29, %ymm30
 116 //CHECK: vpmadd52luq 1016(%rdx){1to4}, %ymm29, %ymm30
 117 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb4,0x72,0x7f]
 118
 119   vpmadd52luq 0x400(%rdx){1to4}, %ymm29, %ymm30
 120 //CHECK: vpmadd52luq 1024(%rdx){1to4}, %ymm29, %ymm30
 121 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb4,0xb2,0x00,0x04,0x00,0x00]
 122
 123   vpmadd52luq -0x400(%rdx){1to4}, %ymm29, %ymm30
 124 //CHECK: vpmadd52luq -1024(%rdx){1to4}, %ymm29, %ymm30
 125 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb4,0x72,0x80]
 126
 127   vpmadd52luq -0x408(%rdx){1to4}, %ymm29, %ymm30
 128 //CHECK: vpmadd52luq -1032(%rdx){1to4}, %ymm29, %ymm30
 129 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb4,0xb2,0xf8,0xfb,0xff,0xff]
 130
 131   vpmadd52luq 0x1234(%rax,%r14,8), %xmm29, %xmm30
 132 //CHECK: vpmadd52luq 4660(%rax,%r14,8), %xmm29, %xmm30
 133 //CHECK: encoding: [0x62,0x22,0x95,0x00,0xb4,0xb4,0xf0,0x34,0x12,0x00,0x00]
 134
 135   vpmadd52luq 0x1234(%rax,%r14,8), %ymm29, %ymm30
 136 //CHECK: vpmadd52luq 4660(%rax,%r14,8), %ymm29, %ymm30
 137 //CHECK: encoding: [0x62,0x22,0x95,0x20,0xb4,0xb4,0xf0,0x34,0x12,0x00,0x00]
 138
 139 vpmadd52huq %xmm4, %xmm5, %xmm6 {%k7}
 140 //CHECK: vpmadd52huq %xmm4, %xmm5, %xmm6 {%k7}
 141 //CHECK: encoding: [0x62,0xf2,0xd5,0x0f,0xb5,0xf4]
 142
 143   vpmadd52huq %xmm4, %xmm5, %xmm6 {%k7} {z}
 144 //CHECK: vpmadd52huq %xmm4, %xmm5, %xmm6 {%k7} {z}
 145 //CHECK: encoding: [0x62,0xf2,0xd5,0x8f,0xb5,0xf4]
 146
 147   vpmadd52huq %ymm4, %ymm5, %ymm6 {%k7}
 148 //CHECK: vpmadd52huq %ymm4, %ymm5, %ymm6 {%k7}
 149 //CHECK: encoding: [0x62,0xf2,0xd5,0x2f,0xb5,0xf4]
 150
 151   vpmadd52huq %ymm4, %ymm5, %ymm6 {%k7} {z}
 152 //CHECK: vpmadd52huq %ymm4, %ymm5, %ymm6 {%k7} {z}
 153 //CHECK: encoding: [0x62,0xf2,0xd5,0xaf,0xb5,0xf4]
 154
 155   vpmadd52huq %xmm28, %xmm29, %xmm30
 156 //CHECK: vpmadd52huq %xmm28, %xmm29, %xmm30
 157 //CHECK: encoding: [0x62,0x02,0x95,0x00,0xb5,0xf4]
 158
 159   vpmadd52huq %xmm28, %xmm29, %xmm30 {%k7}
 160 //CHECK: vpmadd52huq %xmm28, %xmm29, %xmm30 {%k7}
 161 //CHECK: encoding: [0x62,0x02,0x95,0x07,0xb5,0xf4]
 162
 163   vpmadd52huq %xmm28, %xmm29, %xmm30 {%k7} {z}
 164 //CHECK: vpmadd52huq %xmm28, %xmm29, %xmm30 {%k7} {z}
 165 //CHECK: encoding: [0x62,0x02,0x95,0x87,0xb5,0xf4]
 166
 167   vpmadd52huq (%rcx), %xmm29, %xmm30
 168 //CHECK: vpmadd52huq (%rcx), %xmm29, %xmm30
 169 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb5,0x31]
 170
 171   vpmadd52huq 0x123(%rax,%r14,8), %xmm29, %xmm30
 172 //CHECK: vpmadd52huq 291(%rax,%r14,8), %xmm29, %xmm30
 173 //CHECK: encoding: [0x62,0x22,0x95,0x00,0xb5,0xb4,0xf0,0x23,0x01,0x00,0x00]
 174
 175   vpmadd52huq (%rcx){1to2}, %xmm29, %xmm30
 176 //CHECK: vpmadd52huq (%rcx){1to2}, %xmm29, %xmm30
 177 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb5,0x31]
 178
 179   vpmadd52huq 0x7f0(%rdx), %xmm29, %xmm30
 180 //CHECK: vpmadd52huq 2032(%rdx), %xmm29, %xmm30
 181 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb5,0x72,0x7f]
 182
 183   vpmadd52huq 0x800(%rdx), %xmm29, %xmm30
 184 //CHECK: vpmadd52huq 2048(%rdx), %xmm29, %xmm30
 185 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb5,0xb2,0x00,0x08,0x00,0x00]
 186
 187   vpmadd52huq -0x800(%rdx), %xmm29, %xmm30
 188 //CHECK: vpmadd52huq -2048(%rdx), %xmm29, %xmm30
 189 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb5,0x72,0x80]
 190
 191   vpmadd52huq -0x810(%rdx), %xmm29, %xmm30
 192 //CHECK: vpmadd52huq -2064(%rdx), %xmm29, %xmm30
 193 //CHECK: encoding: [0x62,0x62,0x95,0x00,0xb5,0xb2,0xf0,0xf7,0xff,0xff]
 194
 195   vpmadd52huq 0x3f8(%rdx){1to2}, %xmm29, %xmm30
 196 //CHECK: vpmadd52huq 1016(%rdx){1to2}, %xmm29, %xmm30
 197 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb5,0x72,0x7f]
 198
 199   vpmadd52huq 0x400(%rdx){1to2}, %xmm29, %xmm30
 200 //CHECK: vpmadd52huq 1024(%rdx){1to2}, %xmm29, %xmm30
 201 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb5,0xb2,0x00,0x04,0x00,0x00]
 202
 203   vpmadd52huq -0x400(%rdx){1to2}, %xmm29, %xmm30
 204 //CHECK: vpmadd52huq -1024(%rdx){1to2}, %xmm29, %xmm30
 205 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb5,0x72,0x80]
 206
 207   vpmadd52huq -0x408(%rdx){1to2}, %xmm29, %xmm30
 208 //CHECK: vpmadd52huq -1032(%rdx){1to2}, %xmm29, %xmm30
 209 //CHECK: encoding: [0x62,0x62,0x95,0x10,0xb5,0xb2,0xf8,0xfb,0xff,0xff]
 210
 211   vpmadd52huq %ymm28, %ymm29, %ymm30
 212 //CHECK: vpmadd52huq %ymm28, %ymm29, %ymm30
 213 //CHECK: encoding: [0x62,0x02,0x95,0x20,0xb5,0xf4]
 214
 215   vpmadd52huq %ymm28, %ymm29, %ymm30 {%k7}
 216 //CHECK: vpmadd52huq %ymm28, %ymm29, %ymm30 {%k7}
 217 //CHECK: encoding: [0x62,0x02,0x95,0x27,0xb5,0xf4]
 218
 219   vpmadd52huq %ymm28, %ymm29, %ymm30 {%k7} {z}
 220 //CHECK: vpmadd52huq %ymm28, %ymm29, %ymm30 {%k7} {z}
 221 //CHECK: encoding: [0x62,0x02,0x95,0xa7,0xb5,0xf4]
 222
 223   vpmadd52huq (%rcx), %ymm29, %ymm30
 224 //CHECK: vpmadd52huq (%rcx), %ymm29, %ymm30
 225 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb5,0x31]
 226
 227   vpmadd52huq 0x123(%rax,%r14,8), %ymm29, %ymm30
 228 //CHECK: vpmadd52huq 291(%rax,%r14,8), %ymm29, %ymm30
 229 //CHECK: encoding: [0x62,0x22,0x95,0x20,0xb5,0xb4,0xf0,0x23,0x01,0x00,0x00]
 230
 231   vpmadd52huq (%rcx){1to4}, %ymm29, %ymm30
 232 //CHECK: vpmadd52huq (%rcx){1to4}, %ymm29, %ymm30
 233 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb5,0x31]
 234
 235   vpmadd52huq 0xfe0(%rdx), %ymm29, %ymm30
 236 //CHECK: vpmadd52huq 4064(%rdx), %ymm29, %ymm30
 237 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb5,0x72,0x7f]
 238
 239   vpmadd52huq 0x1000(%rdx), %ymm29, %ymm30
 240 //CHECK: vpmadd52huq 4096(%rdx), %ymm29, %ymm30
 241 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb5,0xb2,0x00,0x10,0x00,0x00]
 242
 243   vpmadd52huq -0x1000(%rdx), %ymm29, %ymm30
 244 //CHECK: vpmadd52huq -4096(%rdx), %ymm29, %ymm30
 245 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb5,0x72,0x80]
 246
 247   vpmadd52huq -0x1020(%rdx), %ymm29, %ymm30
 248 //CHECK: vpmadd52huq -4128(%rdx), %ymm29, %ymm30
 249 //CHECK: encoding: [0x62,0x62,0x95,0x20,0xb5,0xb2,0xe0,0xef,0xff,0xff]
 250
 251   vpmadd52huq 0x3f8(%rdx){1to4}, %ymm29, %ymm30
 252 //CHECK: vpmadd52huq 1016(%rdx){1to4}, %ymm29, %ymm30
 253 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb5,0x72,0x7f]
 254
 255   vpmadd52huq 0x400(%rdx){1to4}, %ymm29, %ymm30
 256 //CHECK: vpmadd52huq 1024(%rdx){1to4}, %ymm29, %ymm30
 257 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb5,0xb2,0x00,0x04,0x00,0x00]
 258
 259   vpmadd52huq -0x400(%rdx){1to4}, %ymm29, %ymm30
 260 //CHECK: vpmadd52huq -1024(%rdx){1to4}, %ymm29, %ymm30
 261 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb5,0x72,0x80]
 262
 263   vpmadd52huq -0x408(%rdx){1to4}, %ymm29, %ymm30
 264 //CHECK: vpmadd52huq -1032(%rdx){1to4}, %ymm29, %ymm30
 265 //CHECK: encoding: [0x62,0x62,0x95,0x30,0xb5,0xb2,0xf8,0xfb,0xff,0xff]
 266
 267   vpmadd52huq 0x1234(%rax,%r14,8), %xmm29, %xmm30
 268 //CHECK: vpmadd52huq 4660(%rax,%r14,8), %xmm29, %xmm30
 269 //CHECK: encoding: [0x62,0x22,0x95,0x00,0xb5,0xb4,0xf0,0x34,0x12,0x00,0x00]
 270
 271   vpmadd52huq 0x1234(%rax,%r14,8), %ymm29, %ymm30
 272 //CHECK: vpmadd52huq 4660(%rax,%r14,8), %ymm29, %ymm30
 273 //CHECK: encoding: [0x62,0x22,0x95,0x20,0xb5,0xb4,0xf0,0x34,0x12,0x00,0x00]
 274