xref: /llvm-project/llvm/test/MC/AArch64/SME2p1/fadd-diagnostics.s (revision 1b2f970e9f40eb2a3bd082b6a660d4f58ba4f59b) 
1// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sme-f16f16 2>&1 < %s | FileCheck %s
2
3// --------------------------------------------------------------------------//
4// Out of range index offset
5
6fadd za.d[w8, 8, vgx2], {z0.d-z1.d}
7// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s
8// CHECK-NEXT: fadd za.d[w8, 8, vgx2], {z0.d-z1.d}
9// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
10
11fadd za.s[w8, -1, vgx4], {z0.s-z3.s}
12// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [0, 7].
13// CHECK-NEXT: fadd za.s[w8, -1, vgx4], {z0.s-z3.s}
14// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
15
16// --------------------------------------------------------------------------//
17// Invalid vector select register
18
19fadd za.h[w7, 7, vgx4], {z0.h-z3.h}
20// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]
21// CHECK-NEXT: fadd za.h[w7, 7, vgx4], {z0.h-z3.h}
22// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
23
24fadd za.s[w12, 7, vgx2], {z0.s-z1.s}
25// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]
26// CHECK-NEXT: fadd za.s[w12, 7, vgx2], {z0.s-z1.s}
27// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
28
29// --------------------------------------------------------------------------//
30// Invalid vector list
31
32fadd za.d[w8, 0, vgx4], {z0.d-z4.d}
33// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid number of vectors
34// CHECK-NEXT: fadd za.d[w8, 0, vgx4], {z0.d-z4.d}
35// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
36
37fadd za.h[w8, 0, vgx2], {z1.h-z2.h}
38// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid vector list, expected list with 2 consecutive SVE vectors, where the first vector is a multiple of 2 and with matching element types
39// CHECK-NEXT: fadd za.h[w8, 0, vgx2], {z1.h-z2.h}
40// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
41
42fadd za.s[w8, 0, vgx4], {z1.s-z4.s}
43// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid vector list, expected list with 4 consecutive SVE vectors, where the first vector is a multiple of 4 and with matching element types
44// CHECK-NEXT: fadd za.s[w8, 0, vgx4], {z1.s-z4.s}
45// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
46