test/MC/AArch64/SVE/dup-diagnostics.s

   1 // RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
   2
   3 // input should be a 64bit scalar register
   4 dup z0.d, w0
   5 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
   6 // CHECK-NEXT: dup z0.d, w0
   7 // CHECK-NOT: [[@LINE-3]]:{{[0-9]+}}:
   8
   9 // wzr is not a valid operand to dup
  10 dup z0.s, wzr
  11 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
  12 // CHECK-NEXT: dup z0.s, wzr
  13 // CHECK-NOT: [[@LINE-3]]:{{[0-9]+}}:
  14
  15 // xzr is not a valid operand to dup
  16 dup z0.d, xzr
  17 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
  18 // CHECK-NEXT: dup z0.d, xzr
  19 // CHECK-NOT: [[@LINE-3]]:{{[0-9]+}}:
  20
  21
  22 // --------------------------------------------------------------------------//
  23 // Invalid immediates
  24
  25 dup z0.b, #0, lsl #8      // #0, lsl #8 is not valid for .b
  26 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 255]
  27 // CHECK-NEXT: dup z0.b, #0, lsl #8
  28 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  29
  30 dup z0.b, #-129
  31 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 255]
  32 // CHECK-NEXT: dup z0.b, #-129
  33 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  34
  35 dup z0.b, #-1, lsl #8
  36 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 255]
  37 // CHECK-NEXT: dup z0.b, #-1, lsl #8
  38 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  39
  40 dup z0.b, #256
  41 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 255]
  42 // CHECK-NEXT: dup z0.b, #256
  43 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  44
  45 dup z0.b, #1, lsl #8
  46 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 255]
  47 // CHECK-NEXT: dup z0.b, #1, lsl #8
  48 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  49
  50 dup z0.h, #-33024
  51 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 65280]
  52 // CHECK-NEXT: dup z0.h, #-33024
  53 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  54
  55 dup z0.h, #-32769
  56 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 65280]
  57 // CHECK-NEXT: dup z0.h, #-32769
  58 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  59
  60 dup z0.h, #-129, lsl #8
  61 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 65280]
  62 // CHECK-NEXT: dup z0.h, #-129, lsl #8
  63 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  64
  65 dup z0.h, #65281
  66 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 65280]
  67 // CHECK-NEXT: dup z0.h, #65281
  68 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  69
  70 dup z0.h, #65536
  71 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 65280]
  72 // CHECK-NEXT: dup z0.h, #65536
  73 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  74
  75 dup z0.h, #256, lsl #8
  76 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 65280]
  77 // CHECK-NEXT: dup z0.h, #256, lsl #8
  78 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  79
  80 dup z0.s, #-33024
  81 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
  82 // CHECK-NEXT: dup z0.s, #-33024
  83 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  84
  85 dup z0.s, #-32769
  86 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
  87 // CHECK-NEXT: dup z0.s, #-32769
  88 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  89
  90 dup z0.s, #-129, lsl #8
  91 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
  92 // CHECK-NEXT: dup z0.s, #-129, lsl #8
  93 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  94
  95 dup z0.s, #32513
  96 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
  97 // CHECK-NEXT: dup z0.s, #32513
  98 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
  99
 100 dup z0.s, #32768
 101 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 102 // CHECK-NEXT: dup z0.s, #32768
 103 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 104
 105 dup z0.s, #128, lsl #8
 106 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 107 // CHECK-NEXT: dup z0.s, #128, lsl #8
 108 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 109
 110 dup z0.d, #-33024
 111 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 112 // CHECK-NEXT: dup z0.d, #-33024
 113 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 114
 115 dup z0.d, #-32769
 116 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 117 // CHECK-NEXT: dup z0.d, #-32769
 118 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 119
 120 dup z0.d, #-129, lsl #8
 121 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 122 // CHECK-NEXT: dup z0.d, #-129, lsl #8
 123 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 124
 125 dup z0.d, #32513
 126 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 127 // CHECK-NEXT: dup z0.d, #32513
 128 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 129
 130 dup z0.d, #32768
 131 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 132 // CHECK-NEXT: dup z0.d, #32768
 133 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 134
 135 dup z0.d, #128, lsl #8
 136 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [-128, 127] or a multiple of 256 in range [-32768, 32512]
 137 // CHECK-NEXT: dup z0.d, #128, lsl #8
 138 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 139
 140
 141 // --------------------------------------------------------------------------//
 142 // Immediate not compatible with encode/decode function.
 143
 144 dup z0.b, b0
 145 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
 146 // CHECK-NEXT: dup z0.b, b0
 147 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 148
 149 dup z0.h, h0
 150 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
 151 // CHECK-NEXT: dup z0.h, h0
 152 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 153
 154 dup z0.s, s0
 155 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
 156 // CHECK-NEXT: dup z0.s, s0
 157 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 158
 159 dup z0.d, d0
 160 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
 161 // CHECK-NEXT: dup z0.d, d0
 162 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 163
 164 dup z0.q, q0
 165 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
 166 // CHECK-NEXT: dup z0.q, q0
 167 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 168
 169 dup z24.b, z17.b[-1]
 170 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 63].
 171 // CHECK-NEXT: dup z24.b, z17.b[-1]
 172 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 173
 174 dup z17.b, z5.b[64]
 175 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 63].
 176 // CHECK-NEXT: dup z17.b, z5.b[64]
 177 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 178
 179 dup z16.h, z30.h[-1]
 180 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 31].
 181 // CHECK-NEXT: dup z16.h, z30.h[-1]
 182 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 183
 184 dup z19.h, z23.h[32]
 185 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 31].
 186 // CHECK-NEXT: dup z19.h, z23.h[32]
 187 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 188
 189 dup z1.s, z6.s[-1]
 190 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 15].
 191 // CHECK-NEXT: dup z1.s, z6.s[-1]
 192 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 193
 194 dup z24.s, z3.s[16]
 195 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 15].
 196 // CHECK-NEXT: dup z24.s, z3.s[16]
 197 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 198
 199 dup z5.d, z25.d[-1]
 200 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 7].
 201 // CHECK-NEXT: dup z5.d, z25.d[-1]
 202 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 203
 204 dup z12.d, z28.d[8]
 205 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 7].
 206 // CHECK-NEXT: dup z12.d, z28.d[8]
 207 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 208
 209 dup z22.q, z7.q[-1]
 210 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 3].
 211 // CHECK-NEXT: dup z22.q, z7.q[-1]
 212 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 213
 214 dup z24.q, z21.q[4]
 215 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 3].
 216 // CHECK-NEXT: dup z24.q, z21.q[4]
 217 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 218
 219
 220 // --------------------------------------------------------------------------//
 221 // Negative tests for instructions that are incompatible with movprfx
 222
 223 movprfx z31.b, p0/z, z6.b
 224 dup     z31.b, wsp
 225 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
 226 // CHECK-NEXT: dup     z31.b, wsp
 227 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 228
 229 movprfx z31, z6
 230 dup     z31.b, wsp
 231 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
 232 // CHECK-NEXT: dup     z31.b, wsp
 233 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 234
 235 movprfx z21.d, p0/z, z28.d
 236 dup     z21.d, #32512
 237 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
 238 // CHECK-NEXT: dup     z21.d, #32512
 239 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 240
 241 movprfx z21, z28
 242 dup     z21.d, #32512
 243 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
 244 // CHECK-NEXT: dup     z21.d, #32512
 245 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 246
 247 movprfx z31.d, p0/z, z6.d
 248 dup     z31.d, z31.d[7]
 249 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
 250 // CHECK-NEXT: dup     z31.d, z31.d[7]
 251 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 252
 253 movprfx z31, z6
 254 dup     z31.d, z31.d[7]
 255 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
 256 // CHECK-NEXT: dup     z31.d, z31.d[7]
 257 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: