1 // RUN: %clang_cc1 -std=c++11 -verify %s
2 
3 // Note that this puts the expected lines before the directives to work around
4 // limitations in the -verify mode.
5 
6 template <int V, int I>
7 void test_nontype_template_param(int *List, int Length) {
8 #pragma clang loop vectorize_width(V) interleave_count(I)
9   for (int i = 0; i < Length; i++) {
10     List[i] = i;
11   }
12 
13 #pragma clang loop vectorize_width(V + 4) interleave_count(I + 4)
14   for (int i = 0; i < Length; i++) {
15     List[i] = i;
16   }
17 }
18 
19 template <int V>
20 void test_nontype_template_vectorize(int *List, int Length) {
21   /* expected-error {{invalid value '-1'; must be positive}} */ #pragma clang loop vectorize_width(V)
22   for (int i = 0; i < Length; i++) {
23     List[i] = i;
24   }
25 
26   /* expected-error {{invalid value '0'; must be positive}} */ #pragma clang loop vectorize_width(V / 2)
27   for (int i = 0; i < Length; i++) {
28     List[i] += i;
29   }
30 }
31 
32 template <int I>
33 void test_nontype_template_interleave(int *List, int Length) {
34   /* expected-error {{invalid value '-1'; must be positive}} */ #pragma clang loop interleave_count(I)
35   for (int i = 0; i < Length; i++) {
36     List[i] = i;
37   }
38 
39   /* expected-error {{invalid value '0'; must be positive}} */ #pragma clang loop interleave_count(2 % I)
40   for (int i = 0; i < Length; i++) {
41     List[i] = i;
42   }
43 }
44 
45 template <char V>
46 void test_nontype_template_char(int *List, int Length) {
47   /* expected-error {{invalid argument of type 'char'; expected an integer type}} */ #pragma clang loop vectorize_width(V)
48   for (int i = 0; i < Length; i++) {
49     List[i] = i;
50   }
51 }
52 
53 template <bool V>
54 void test_nontype_template_bool(int *List, int Length) {
55   /* expected-error {{invalid argument of type 'bool'; expected an integer type}} */ #pragma clang loop vectorize_width(V)
56   for (int i = 0; i < Length; i++) {
57     List[i] = i;
58   }
59 }
60 
61 template <int V, int I>
62 void test_nontype_template_badarg(int *List, int Length) {
63   /* expected-error {{use of undeclared identifier 'Vec'}} */ #pragma clang loop vectorize_width(Vec) interleave_count(I) /*
64      expected-note {{vectorize_width loop hint malformed; use vectorize_width(X, fixed) or vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')}} */
65   /* expected-error {{use of undeclared identifier 'Int'}} */ #pragma clang loop vectorize_width(V) interleave_count(Int)
66   for (int i = 0; i < Length; i++) {
67     List[i] = i;
68   }
69 }
70 
71 template <typename T>
72 void test_type_template_vectorize(int *List, int Length) {
73   const T Value = -1;
74   /* expected-error {{invalid value '-1'; must be positive}} */ #pragma clang loop vectorize_width(Value)
75   for (int i = 0; i < Length; i++) {
76     List[i] = i;
77   }
78 
79   /* expected-error {{invalid value '-1'; must be positive}} */ #pragma clang loop vectorize_width(Value, fixed)
80   for (int i = 0; i < Length; i++) {
81     List[i] = i;
82   }
83 }
84 
85 void test(int *List, int Length) {
86   int i = 0;
87 
88 #pragma clang loop vectorize(enable)
89 #pragma clang loop interleave(enable)
90 #pragma clang loop vectorize_predicate(enable)
91 #pragma clang loop unroll(full)
92   while (i + 1 < Length) {
93     List[i] = i;
94   }
95 
96 #pragma clang loop vectorize_width(4)
97 #pragma clang loop interleave_count(8)
98 #pragma clang loop unroll_count(16)
99   while (i < Length) {
100     List[i] = i;
101   }
102 
103 #pragma clang loop vectorize(disable)
104 #pragma clang loop interleave(disable)
105 #pragma clang loop vectorize_predicate(disable)
106 #pragma clang loop unroll(disable)
107   while (i - 1 < Length) {
108     List[i] = i;
109   }
110 
111 #pragma clang loop vectorize_width(4) interleave_count(8) unroll_count(16)
112   while (i - 2 < Length) {
113     List[i] = i;
114   }
115 
116 #pragma clang loop interleave_count(16)
117   while (i - 3 < Length) {
118     List[i] = i;
119   }
120 
121   int VList[Length];
122 #pragma clang loop vectorize(disable) interleave(disable) unroll(disable) vectorize_predicate(disable)
123   for (int j : VList) {
124     VList[j] = List[j];
125   }
126 
127 #pragma clang loop distribute(enable)
128   for (int j : VList) {
129     VList[j] = List[j];
130   }
131 
132 #pragma clang loop distribute(disable)
133   for (int j : VList) {
134     VList[j] = List[j];
135   }
136 
137   test_nontype_template_param<4, 8>(List, Length);
138 
139 /* expected-error {{expected '('}} */ #pragma clang loop vectorize
140 /* expected-error {{expected '('}} */ #pragma clang loop interleave
141 /* expected-error {{expected '('}} */ #pragma clang loop vectorize_predicate
142 /* expected-error {{expected '('}} */ #pragma clang loop unroll
143 /* expected-error {{expected '('}} */ #pragma clang loop distribute
144 
145 /* expected-error {{expected ')'}} */ #pragma clang loop vectorize(enable
146 /* expected-error {{expected ')'}} */ #pragma clang loop interleave(enable
147 /* expected-error {{expected ')'}} */ #pragma clang loop vectorize_predicate(enable
148 /* expected-error {{expected ')'}} */ #pragma clang loop unroll(full
149 /* expected-error {{expected ')'}} */ #pragma clang loop distribute(enable
150 
151 /* expected-error {{expected ')'}} */ #pragma clang loop vectorize_width(4
152 /* expected-error {{expected ')'}} */ #pragma clang loop interleave_count(4
153 /* expected-error {{expected ')'}} */ #pragma clang loop unroll_count(4
154 
155 /* expected-error {{missing argument; expected 'enable', 'assume_safety' or 'disable'}} */ #pragma clang loop vectorize()
156 /* expected-error {{missing argument; expected an integer value}} */ #pragma clang loop interleave_count()
157 /* expected-error {{missing argument; expected 'enable', 'full' or 'disable'}} */ #pragma clang loop unroll()
158 /* expected-error {{missing argument; expected 'enable' or 'disable'}} */ #pragma clang loop distribute()
159 
160 /* expected-error {{missing option; expected vectorize, vectorize_width, interleave, interleave_count, unroll, unroll_count, pipeline, pipeline_initiation_interval, vectorize_predicate, or distribute}} */ #pragma clang loop
161 /* expected-error {{invalid option 'badkeyword'}} */ #pragma clang loop badkeyword
162 /* expected-error {{invalid option 'badkeyword'}} */ #pragma clang loop badkeyword(enable)
163 /* expected-error {{invalid option 'badkeyword'}} */ #pragma clang loop vectorize(enable) badkeyword(4)
164 /* expected-warning {{extra tokens at end of '#pragma clang loop'}} */ #pragma clang loop vectorize(enable) ,
165   while (i-4 < Length) {
166     List[i] = i;
167   }
168 
169 /* expected-error {{invalid value '0'; must be positive}} */ #pragma clang loop vectorize_width(0)
170 /* expected-error {{invalid value '0'; must be positive}} */ #pragma clang loop interleave_count(0)
171 /* expected-error {{invalid value '0'; must be positive}} */ #pragma clang loop unroll_count(0)
172 
173 /* expected-error {{expression is not an integral constant expression}} expected-note {{division by zero}} */ #pragma clang loop vectorize_width(10 / 0)
174 /* expected-error {{invalid value '0'; must be positive}} */ #pragma clang loop interleave_count(10 / 5 - 2)
175   while (i-5 < Length) {
176     List[i] = i;
177   }
178 
179 test_nontype_template_vectorize<4>(List, Length);
180 /* expected-note {{in instantiation of function template specialization}} */ test_nontype_template_vectorize<-1>(List, Length);
181 test_nontype_template_interleave<8>(List, Length);
182 /* expected-note {{in instantiation of function template specialization}} */ test_nontype_template_interleave<-1>(List, Length);
183 
184 /* expected-note {{in instantiation of function template specialization}} */ test_nontype_template_char<'A'>(List, Length); // Loop hint arg cannot be a char.
185 /* expected-note {{in instantiation of function template specialization}} */ test_nontype_template_bool<true>(List, Length);  // Or a bool.
186 /* expected-note {{in instantiation of function template specialization}} */ test_type_template_vectorize<int>(List, Length); // Or a template type.
187 
188 /* expected-error {{value '3000000000' is too large}} */ #pragma clang loop vectorize_width(3000000000)
189 /* expected-error {{value '3000000000' is too large}} */ #pragma clang loop interleave_count(3000000000)
190 /* expected-error {{value '3000000000' is too large}} */ #pragma clang loop unroll_count(3000000000)
191   while (i-6 < Length) {
192     List[i] = i;
193   }
194 
195 /* expected-warning {{extra tokens at end of '#pragma clang loop'}} */ #pragma clang loop vectorize_width(1 +) 1
196 /* expected-warning {{extra tokens at end of '#pragma clang loop'}} */ #pragma clang loop vectorize_width(1) +1
197 const int VV = 4;
198 /* expected-error {{expected expression}} */ #pragma clang loop vectorize_width(VV +/ 2) /*
199    expected-note {{vectorize_width loop hint malformed; use vectorize_width(X, fixed) or vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')}} */
200 /* expected-error {{use of undeclared identifier 'undefined'}} */ #pragma clang loop vectorize_width(VV+undefined) /*
201    expected-note {{vectorize_width loop hint malformed; use vectorize_width(X, fixed) or vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')}} */
202 /* expected-error {{expected ')'}} */ #pragma clang loop vectorize_width(1+(^*/2 * ()
203 /* expected-warning {{extra tokens at end of '#pragma clang loop' - ignored}} */ #pragma clang loop vectorize_width(1+(-0[0]))))))
204 
205 /* expected-error {{use of undeclared identifier 'badvalue'}} */ #pragma clang loop vectorize_width(badvalue) /*
206    expected-note {{vectorize_width loop hint malformed; use vectorize_width(X, fixed) or vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')}} */
207 /* expected-error {{use of undeclared identifier 'badvalue'}} */ #pragma clang loop interleave_count(badvalue)
208 /* expected-error {{use of undeclared identifier 'badvalue'}} */ #pragma clang loop unroll_count(badvalue)
209   while (i-6 < Length) {
210     List[i] = i;
211   }
212 
213 /* expected-error {{invalid argument; expected 'enable', 'assume_safety' or 'disable'}} */ #pragma clang loop vectorize(badidentifier)
214 /* expected-error {{invalid argument; expected 'enable', 'assume_safety' or 'disable'}} */ #pragma clang loop interleave(badidentifier)
215 /* expected-error {{invalid argument; expected 'enable', 'full' or 'disable'}} */ #pragma clang loop unroll(badidentifier)
216 /* expected-error {{invalid argument; expected 'enable' or 'disable'}} */ #pragma clang loop distribute(badidentifier)
217   while (i-7 < Length) {
218     List[i] = i;
219   }
220 
221 // PR20069 - Loop pragma arguments that are not identifiers or numeric
222 // constants crash FE.
223 /* expected-error {{expected ')'}} */ #pragma clang loop vectorize(()
224 /* expected-error {{invalid argument; expected 'enable', 'assume_safety' or 'disable'}} */ #pragma clang loop interleave(*)
225 /* expected-error {{invalid argument; expected 'enable', 'full' or 'disable'}} */ #pragma clang loop unroll(=)
226 /* expected-error {{invalid argument; expected 'enable' or 'disable'}} */ #pragma clang loop distribute(+)
227 /* expected-error {{type name requires a specifier or qualifier}} expected-error {{expected expression}} */ #pragma clang loop vectorize_width(^) /* expected-note {{vectorize_width loop hint malformed; use vectorize_width(X, fixed) or vectorize_width(X, scalable) where X is an integer, or vectorize_width('fixed' or 'scalable')}} */
228 /* expected-error {{expected expression}} expected-error {{expected expression}} */ #pragma clang loop interleave_count(/)
229 /* expected-error {{expected expression}} expected-error {{expected expression}} */ #pragma clang loop unroll_count(==)
230   while (i-8 < Length) {
231     List[i] = i;
232   }
233 
234 #pragma clang loop vectorize(enable)
235 /* expected-error {{expected a for, while, or do-while loop to follow '#pragma clang loop'}} */ int j = Length;
236   List[0] = List[1];
237 
238   while (j-1 < Length) {
239     List[j] = j;
240   }
241 
242 // FIXME: A bug in ParsedAttributes causes the order of the attributes to be
243 // processed in reverse. Consequently, the errors occur on the first of pragma
244 // of the next three tests rather than the last, and the order of the kinds
245 // is also reversed.
246 
247 #pragma clang loop vectorize_width(4)
248 /* expected-error {{incompatible directives 'vectorize(disable)' and 'vectorize_width(4)'}} */ #pragma clang loop vectorize(disable)
249 #pragma clang loop interleave_count(4)
250 /* expected-error {{incompatible directives 'interleave(disable)' and 'interleave_count(4)'}} */ #pragma clang loop interleave(disable)
251 #pragma clang loop unroll_count(4)
252 /* expected-error {{incompatible directives 'unroll(disable)' and 'unroll_count(4)'}} */ #pragma clang loop unroll(disable)
253   while (i-8 < Length) {
254     List[i] = i;
255   }
256 
257 #pragma clang loop vectorize(enable)
258 /* expected-error {{duplicate directives 'vectorize(enable)' and 'vectorize(disable)'}} */ #pragma clang loop vectorize(disable)
259 #pragma clang loop interleave(enable)
260 /* expected-error {{duplicate directives 'interleave(enable)' and 'interleave(disable)'}} */ #pragma clang loop interleave(disable)
261 #pragma clang loop vectorize_predicate(enable)
262 /* expected-error@+1 {{duplicate directives 'vectorize_predicate(enable)' and 'vectorize_predicate(disable)'}} */
263 #pragma clang loop vectorize_predicate(disable)
264 #pragma clang loop unroll(full)
265 /* expected-error {{duplicate directives 'unroll(full)' and 'unroll(disable)'}} */ #pragma clang loop unroll(disable)
266 #pragma clang loop distribute(enable)
267 /* expected-error {{duplicate directives 'distribute(enable)' and 'distribute(disable)'}} */ #pragma clang loop distribute(disable)
268   while (i-9 < Length) {
269     List[i] = i;
270   }
271 
272 #pragma clang loop vectorize(disable)
273 /* expected-error {{incompatible directives 'vectorize(disable)' and 'vectorize_width(4)'}} */ #pragma clang loop vectorize_width(4)
274 #pragma clang loop interleave(disable)
275 /* expected-error {{incompatible directives 'interleave(disable)' and 'interleave_count(4)'}} */ #pragma clang loop interleave_count(4)
276 #pragma clang loop unroll(disable)
277 /* expected-error {{incompatible directives 'unroll(disable)' and 'unroll_count(4)'}} */ #pragma clang loop unroll_count(4)
278   while (i-10 < Length) {
279     List[i] = i;
280   }
281 
282 #pragma clang loop vectorize_width(8)
283 /* expected-error {{duplicate directives 'vectorize_width(8)' and 'vectorize_width(4)'}} */ #pragma clang loop vectorize_width(4)
284 #pragma clang loop interleave_count(8)
285 /* expected-error {{duplicate directives 'interleave_count(8)' and 'interleave_count(4)'}} */ #pragma clang loop interleave_count(4)
286 #pragma clang loop unroll_count(8)
287 /* expected-error {{duplicate directives 'unroll_count(8)' and 'unroll_count(4)'}} */ #pragma clang loop unroll_count(4)
288   while (i-11 < Length) {
289     List[i] = i;
290   }
291 
292 #pragma clang loop unroll(full)
293 /* expected-error {{incompatible directives 'unroll(full)' and 'unroll_count(4)'}} */ #pragma clang loop unroll_count(4)
294   while (i-11 < Length) {
295     List[i] = i;
296   }
297 
298 #pragma clang loop interleave(enable)
299 /* expected-error {{expected statement}} */ }
300 
301 void foo(void) {
302 #pragma clang loop vectorize_predicate(enable)
303 /* expected-error {{expected statement}} */ }
304