[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / MC / AArch64 / SVE / stnt1w-diagnostics.s
blob3c5d5406587f83084e624e140e08b59fbc43d4a8
1 // RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve 2>&1 < %s| FileCheck %s
3 // --------------------------------------------------------------------------//
4 // Immediate out of lower bound [-8, 7].
6 stnt1w z23.s, p0, [x13, #-9, MUL VL]
7 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
8 // CHECK-NEXT: stnt1w z23.s, p0, [x13, #-9, MUL VL]
9 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
11 stnt1w z29.s, p0, [x3, #8, MUL VL]
12 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
13 // CHECK-NEXT: stnt1w z29.s, p0, [x3, #8, MUL VL]
14 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
17 // --------------------------------------------------------------------------//
18 // Invalid source type.
20 stnt1w z0.b, p0, [x0]
21 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
22 // CHECK-NEXT: stnt1w z0.b, p0, [x0]
23 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
25 stnt1w z0.h, p0, [x0]
26 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
27 // CHECK-NEXT: stnt1w z0.h, p0, [x0]
28 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
30 stnt1w z0.d, p0, [x0]
31 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
32 // CHECK-NEXT: stnt1w z0.d, p0, [x0]
33 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
36 // --------------------------------------------------------------------------//
37 // Invalid predicate
39 stnt1w z27.s, p8, [x0]
40 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid restricted predicate register, expected p0..p7 (without element suffix)
41 // CHECK-NEXT: stnt1w z27.s, p8, [x0]
42 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
44 stnt1w z0.s, p0/z, [x0]
45 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
46 // CHECK-NEXT: stnt1w z0.s, p0/z, [x0]
47 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
49 stnt1w z0.s, p0/m, [x0]
50 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand for instruction
51 // CHECK-NEXT: stnt1w z0.s, p0/m, [x0]
52 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
54 stnt1w z0.s, p7.b, [x0]
55 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid restricted predicate register, expected p0..p7 (without element suffix)
56 // CHECK-NEXT: stnt1w z0.s, p7.b, [x0]
57 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
59 stnt1w z0.s, p7.q, [x0]
60 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid restricted predicate register, expected p0..p7 (without element suffix)
61 // CHECK-NEXT: stnt1w z0.s, p7.q, [x0]
62 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
65 // --------------------------------------------------------------------------//
66 // Invalid vector list.
68 stnt1w { }, p0, [x1, #1, MUL VL]
69 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector register expected
70 // CHECK-NEXT: stnt1w { }, p0, [x1, #1, MUL VL]
71 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
73 stnt1w { z1.s, z2.s }, p0, [x1, #1, MUL VL]
74 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
75 // CHECK-NEXT: stnt1w { z1.s, z2.s }, p0, [x1, #1, MUL VL]
76 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
78 stnt1w { v0.2d }, p0, [x1, #1, MUL VL]
79 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
80 // CHECK-NEXT: stnt1w { v0.2d }, p0, [x1, #1, MUL VL]
81 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
84 // --------------------------------------------------------------------------//
85 // Negative tests for instructions that are incompatible with movprfx
87 movprfx z0.s, p0/z, z7.s
88 stnt1w { z0.s }, p0, [x0, x0, lsl #2]
89 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
90 // CHECK-NEXT: stnt1w { z0.s }, p0, [x0, x0, lsl #2]
91 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
93 movprfx z0, z7
94 stnt1w { z0.s }, p0, [x0, x0, lsl #2]
95 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
96 // CHECK-NEXT: stnt1w { z0.s }, p0, [x0, x0, lsl #2]
97 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: