1// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
2
3// --------------------------------------------------------------------------//
4// restricted predicate has range [0, 7].
5
6ldff1b z27.b, p8/z, [x0]
7// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
8// CHECK-NEXT: ldff1b z27.b, p8/z, [x0]
9// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
10
11ldff1b z9.h, p8/z, [x0]
12// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
13// CHECK-NEXT: ldff1b z9.h, p8/z, [x0]
14// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
15
16ldff1b z12.s, p8/z, [x0]
17// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
18// CHECK-NEXT: ldff1b z12.s, p8/z, [x0]
19// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
20
21ldff1b z4.d, p8/z, [x0]
22// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
23// CHECK-NEXT: ldff1b z4.d, p8/z, [x0]
24// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
25
26// --------------------------------------------------------------------------//
27// Invalid scalar + scalar addressing modes
28
29ldff1b z0.b, p0/z, [x0, sp]
30// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 or xzr, without shift
31// CHECK-NEXT: ldff1b z0.b, p0/z, [x0, sp]
32// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
33
34ldff1b z0.b, p0/z, [x0, x0, lsl #1]
35// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 or xzr, without shift
36// CHECK-NEXT: ldff1b z0.b, p0/z, [x0, x0, lsl #1]
37// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
38
39ldff1b z0.b, p0/z, [x0, w0]
40// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 or xzr, without shift
41// CHECK-NEXT: ldff1b z0.b, p0/z, [x0, w0]
42// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
43
44ldff1b z0.b, p0/z, [x0, w0, uxtw]
45// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 or xzr, without shift
46// CHECK-NEXT: ldff1b z0.b, p0/z, [x0, w0, uxtw]
47// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
48
49// --------------------------------------------------------------------------//
50// Invalid scalar + vector addressing modes
51
52ldff1b z0.d, p0/z, [x0, z0.b]
53// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
54// CHECK-NEXT: ldff1b z0.d, p0/z, [x0, z0.b]
55// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
56
57ldff1b z0.d, p0/z, [x0, z0.h]
58// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
59// CHECK-NEXT: ldff1b z0.d, p0/z, [x0, z0.h]
60// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
61
62ldff1b z0.d, p0/z, [x0, z0.s]
63// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
64// CHECK-NEXT: ldff1b z0.d, p0/z, [x0, z0.s]
65// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
66
67ldff1b z0.s, p0/z, [x0, z0.s]
68// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid shift/extend specified, expected 'z[0..31].s, (uxtw|sxtw)'
69// CHECK-NEXT: ldff1b z0.s, p0/z, [x0, z0.s]
70// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
71
72ldff1b z0.s, p0/z, [x0, z0.s, uxtw #1]
73// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid shift/extend specified, expected 'z[0..31].s, (uxtw|sxtw)'
74// CHECK-NEXT: ldff1b z0.s, p0/z, [x0, z0.s, uxtw #1]
75// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
76
77ldff1b z0.s, p0/z, [x0, z0.s, lsl #0]
78// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid shift/extend specified, expected 'z[0..31].s, (uxtw|sxtw)'
79// CHECK-NEXT: ldff1b z0.s, p0/z, [x0, z0.s, lsl #0]
80// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
81
82ldff1b z0.d, p0/z, [x0, z0.d, lsl #1]
83// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid shift/extend specified, expected 'z[0..31].d, (uxtw|sxtw)'
84// CHECK-NEXT: ldff1b z0.d, p0/z, [x0, z0.d, lsl #1]
85// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
86
87ldff1b z0.d, p0/z, [x0, z0.d, sxtw #1]
88// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid shift/extend specified, expected 'z[0..31].d, (uxtw|sxtw)'
89// CHECK-NEXT: ldff1b z0.d, p0/z, [x0, z0.d, sxtw #1]
90// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
91
92
93// --------------------------------------------------------------------------//
94// Invalid vector + immediate addressing modes
95
96ldff1b z0.s, p0/z, [z0.s, #-1]
97// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [0, 31].
98// CHECK-NEXT: ldff1b z0.s, p0/z, [z0.s, #-1]
99// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
100
101ldff1b z0.s, p0/z, [z0.s, #32]
102// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [0, 31].
103// CHECK-NEXT: ldff1b z0.s, p0/z, [z0.s, #32]
104// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
105
106ldff1b z0.d, p0/z, [z0.d, #-1]
107// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [0, 31].
108// CHECK-NEXT: ldff1b z0.d, p0/z, [z0.d, #-1]
109// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
110
111ldff1b z0.d, p0/z, [z0.d, #32]
112// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [0, 31].
113// CHECK-NEXT: ldff1b z0.d, p0/z, [z0.d, #32]
114// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
115
116
117// --------------------------------------------------------------------------//
118// Negative tests for instructions that are incompatible with movprfx
119
120movprfx z0.d, p0/z, z7.d
121ldff1b  { z0.d }, p0/z, [z0.d]
122// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
123// CHECK-NEXT: ldff1b  { z0.d }, p0/z, [z0.d]
124// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
125
126movprfx z0, z7
127ldff1b  { z0.d }, p0/z, [z0.d]
128// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
129// CHECK-NEXT: ldff1b  { z0.d }, p0/z, [z0.d]
130// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
131