196 lines · plain
1// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sme-f8f16,+sme-f8f32 2>&1 < %s | FileCheck %s2 3// --------------------------------------------------------------------------//4// Invalid vector select register5 6fmlal za.h[w8, 0:1, vgx2], {z0.h-z1.h}, z0.b7// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction8// CHECK-NEXT: fmlal za.h[w8, 0:1, vgx2], {z0.h-z1.h}, z0.b9// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:10 11fmlal za.h[w11, 4:7], {z31.b-z2.b}, z1512// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand13// CHECK-NEXT: fmlal za.h[w11, 4:7], {z31.b-z2.b}, z1514// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:15 16fmlal za.h[w11, 6:7, vgx2], {z28.b-z31.b}, {z0.b-z3.b}17// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction18// CHECK-NEXT: fmlal za.h[w11, 6:7, vgx2], {z28.b-z31.b}, {z0.b-z3.b}19// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:20 21fmlall za.s[w11, 0:3], {z29.b-z30.b}, {z30.b-z31.b}22// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction23// CHECK-NEXT: fmlall za.s[w11, 0:3], {z29.b-z30.b}, {z30.b-z31.b}24// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:25 26fmlall za.s[w11, 4:7], {z30.b-z0.b}, z15.b27// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction28// CHECK-NEXT: fmlall za.s[w11, 4:7], {z30.b-z0.b}, z15.29// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:30 31 32// --------------------------------------------------------------------------//33// Invalid vector select offset34 35fmlal za.h[w11, 1:2], {z30.b-z31.b}, z15.b[7]36// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector select offset must be an immediate range of the form <immf>:<imml>, where the first immediate is a multiple of 2 in the range [0, 6] or [0, 14] depending on the instruction, and the second immediate is immf + 1.37// CHECK-NEXT: fmlal za.h[w11, 1:2], {z30.b-z31.b}, z15.b[7]38// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:39 40fmlal za.h[w11, 3:4], {z28.b-z31.b}, z15.b41// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector select offset must be an immediate range of the form <immf>:<imml>, where the first immediate is a multiple of 2 in the range [0, 6] or [0, 14] depending on the instruction, and the second immediate is immf + 1.42// CHECK-NEXT: fmlal za.h[w11, 3:4], {z28.b-z31.b}, z15.b43// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:44 45fmlal za.h[w11, 7:8, vgx4], {z28.b-z31.b}, {z4.b-z7.b}46// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector select offset must be an immediate range of the form <immf>:<imml>, where the first immediate is a multiple of 2 in the range [0, 6] or [0, 14] depending on the instruction, and the second immediate is immf + 1.47// CHECK-NEXT: fmlal za.h[w11, 7:8, vgx4], {z28.b-z31.b}, {z4.b-z7.b}48// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:49 50fmlall za.s[w11, 3:6, vgx4], {z30.b-z31.b}, z15.b[3]51// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector select offset must be an immediate range of the form <immf>:<imml>, where the first immediate is a multiple of 4 in the range [0, 4] or [0, 12] depending on the instruction, and the second immediate is immf + 3.52// CHECK-NEXT: fmlall za.s[w11, 3:6, vgx4], {z30.b-z31.b}, z15.b[3]53// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:54 55fmlall za.s[w8, 3:6, vgx4], {z0.b-z3.b}, z0.b56// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector select offset must be an immediate range of the form <immf>:<imml>, where the first immediate is a multiple of 4 in the range [0, 4] or [0, 12] depending on the instruction, and the second immediate is immf + 3.57// CHECK-NEXT: fmlall za.s[w8, 3:6, vgx4], {z0.b-z3.b}, z0.b58// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:59 60fmlall za.s[w11, 7:10, vgx4], {z30.b-z31.b}, {z12.b-z13.b}61// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector select offset must be an immediate range of the form <immf>:<imml>, where the first immediate is a multiple of 4 in the range [0, 4] or [0, 12] depending on the instruction, and the second immediate is immf + 3.62// CHECK-NEXT: fmlall za.s[w11, 7:10, vgx4], {z30.b-z31.b}, {z12.b-z13.b}63// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:64 65// --------------------------------------------------------------------------//66// Invalid vector list67 68fmlal za.h[w11, 4:7, vgx4], {z29.b-z1.b}, {z29.b-z1.b}69// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid number of vectors70// CHECK-NEXT: fmlal za.h[w11, 4:7, vgx4], {z29.b-z1.b}, {z29.b-z1.b}71// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:72 73fmlal za.h[w11, 4:7], {z30.b-z2.b}, {z0.b-z3.b}74// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid number of vectors75// CHECK-NEXT: fmlal za.h[w11, 4:7], {z30.b-z2.b}, {z0.b-z3.b}76// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:77 78fmlall za.s[w8, 0:1], {z31.b-z3.b}, {z31.b-z3.b}79// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid number of vectors80// CHECK-NEXT: fmlall za.s[w8, 0:1], {z31.b-z3.b}, {z31.b-z3.b}81// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:82 83fmlall za.s[w11, 6:7, vgx2], {z30.b-z31.b}, {z0.b-z4.b}84// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid number of vectors85// CHECK-NEXT: fmlall za.s[w11, 6:7, vgx2], {z30.b-z31.b}, {z0.b-z4.b}86// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:87 88// --------------------------------------------------------------------------//89// Invalid Register Suffix90fmlal za.d[w11, 4:5, vgx4], {z31.b-z2.b}, z15.b91// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s92// CHECK-NEXT: fmlal za.d[w11, 4:5, vgx4], {z31.b-z2.b}, z15.b93// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:94 95fmlal za[w11, 2:3], {z28.b-z31.b}, {z28.b-z31.b}96// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s97// CHECK-NEXT: fmlal za[w11, 2:3], {z28.b-z31.b}, {z28.b-z31.b}98// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:99 100fmlal za.b[w11, 6:7], {z31.b-z0.b}, z15.b101// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s102// CHECK-NEXT: fmlal za.b[w11, 6:7], {z31.b-z0.b}, z15.b103// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:104 105fmlall za.b[w11, 6:7, vgx2], {z30.h-z31.h}, {z30.h-z31.h}106// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s107// CHECK-NEXT: fmlall za.b[w11, 6:7, vgx2], {z30.h-z31.h}, {z30.h-z31.h}108// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:109 110fmlall za[w11, 4:7, vgx4], {z31.b-z2.b}, z15.b111// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s112// CHECK-NEXT: fmlall za[w11, 4:7, vgx4], {z31.b-z2.b}, z15.b113// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:114 115fmlall za.d[w11, 12:15], {z28.b-z31.b}, {z28.b-z31.b}116// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid matrix operand, expected suffix .s117// CHECK-NEXT: fmlall za.d[w11, 12:15], {z28.b-z31.b}, {z28.b-z31.b}118// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:119 120// --------------------------------------------------------------------------//121// Invalid vector select register122 123fmlal za.h[w7, 4:7, vgx4], {z31.b-z2.b}, z15.b124// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]125// CHECK-NEXT: fmlal za.h[w7, 4:7, vgx4], {z31.b-z2.b}, z15.b126// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:127 128fmlal za.h[w, 0:1, vgx2], {z0.b-z1.b}, z0.b[0]129// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]130// CHECK-NEXT: fmlal za.h[w, 0:1, vgx2], {z0.b-z1.b}, z0.b[0]131// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:132 133fmlall za.s[w12, 0:3], {z0.b-z3.b}, {z0.b-z3.b}134// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]135// CHECK-NEXT: fmlall za.s[w12, 0:3], {z0.b-z3.b}, {z0.b-z3.b}136// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:137 138// --------------------------------------------------------------------------//139// Invalid indexed-vector or single-vector register140 141fmlal za.h[w8, 0:1], {z0.b-z1.b}, z16.b[0]142// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid restricted vector register, expected z0.b..z15.b143// CHECK-NEXT: fmlal za.h[w8, 0:1], {z0.b-z1.b}, z16.b[0]144// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:145 146fmlal za.h[w9, 14:15], z31.b, z16.b147// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid restricted vector register, expected z0.b..z15.b148// CHECK-NEXT: fmlal za.h[w9, 14:15], z31.b, z16.b149// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:150 151fmlall za.s[w11, 8:11], z9.b, z16.b[13]152// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid restricted vector register, expected z0.b..z15.b153// CHECK-NEXT: fmlall za.s[w11, 8:11], z9.b, z16.b[13]154// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:155 156fmlall za.s[w11, 12:15], z31.b, z16.b157// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid restricted vector register, expected z0.b..z15.b158// CHECK-NEXT: fmlall za.s[w11, 12:15], z31.b, z16.b159// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:160 161// --------------------------------------------------------------------------//162// Invalid vector grouping163 164fmlal za.h[w11, 10:11], {z28.b-z31.b}, {z0.b-z2.b}165// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction166// CHECK-NEXT: fmlal za.h[w11, 10:11], {z28.b-z31.b}, {z0.b-z2.b}167// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:168 169fmlall za.s[w11, 4:7, vgx4], {z31.b-z0.b}, z15.b170// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction171// CHECK-NEXT: fmlall za.s[w11, 4:7, vgx4], {z31.b-z0.b}, z15.b172// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:173 174// --------------------------------------------------------------------------//175// Invalid lane index176 177fmlal za.h[w11, 14:15], z31.b, z15.b[-1]178// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 15].179// CHECK-NEXT: fmlal za.h[w11, 14:15], z31.b, z15.b[-1]180// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:181 182fmlal za.h[w11, 2:3], {z30.b-z31.b}, z15.b[16]183// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 15].184// CHECK-NEXT: fmlal za.h[w11, 2:3], {z30.b-z31.b}, z15.b[16]185// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:186 187fmlall za.s[w9, 12:15], z12.b, z11.b[16]188// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 15].189// CHECK-NEXT: fmlall za.s[w9, 12:15], z12.b, z11.b[16]190// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:191 192fmlall za.s[w8, 4:7], {z16.b-z19.b}, z0.b[-1]193// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector lane must be an integer in range [0, 15].194// CHECK-NEXT: fmlall za.s[w8, 4:7], {z16.b-z19.b}, z0.b[-1]195// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:196