1 | // RUN: %clang_cc1 -verify -ffixed-point %s |
2 | |
3 | /* We do not yet support long long. No recommended bit widths are given for this |
4 | * size. */ |
5 | |
6 | long long _Accum longlong_accum; // expected-error{{'long long _Accum' is invalid}} |
7 | unsigned long long _Accum u_longlong_accum; // expected-error{{'long long _Accum' is invalid}} |
8 | long long _Fract longlong_fract; // expected-error{{'long long _Fract' is invalid}} |
9 | unsigned long long _Fract u_longlong_fract; // expected-error{{'long long _Fract' is invalid}} |
10 | |
11 | _Sat long long _Accum sat_longlong_accum; // expected-error{{'long long _Accum' is invalid}} |
12 | _Sat unsigned long long _Accum sat_u_longlong_accum; // expected-error{{'long long _Accum' is invalid}} |
13 | _Sat long long _Fract sat_longlong_fract; // expected-error{{'long long _Fract' is invalid}} |
14 | _Sat unsigned long long _Fract sat_u_longlong_fract; // expected-error{{'long long _Fract' is invalid}} |
15 | |
16 | |
17 | /* Although _Complex types work with floating point numbers, the extension |
18 | * provides no info for complex fixed point types. */ |
19 | |
20 | _Complex signed short _Accum cmplx_s_short_accum; // expected-error{{'_Complex _Accum' is invalid}} |
21 | _Complex signed _Accum cmplx_s_accum; // expected-error{{'_Complex _Accum' is invalid}} |
22 | _Complex signed long _Accum cmplx_s_long_accum; // expected-error{{'_Complex _Accum' is invalid}} |
23 | _Complex unsigned short _Accum cmplx_u_short_accum; // expected-error{{'_Complex _Accum' is invalid}} |
24 | _Complex unsigned _Accum cmplx_u_accum; // expected-error{{'_Complex _Accum' is invalid}} |
25 | _Complex unsigned long _Accum cmplx_u_long_accum; // expected-error{{'_Complex _Accum' is invalid}} |
26 | _Complex short _Accum cmplx_s_short_accum; // expected-error{{'_Complex _Accum' is invalid}} |
27 | _Complex _Accum cmplx_s_accum; // expected-error{{'_Complex _Accum' is invalid}} |
28 | _Complex long _Accum cmplx_s_long_accum; // expected-error{{'_Complex _Accum' is invalid}} |
29 | |
30 | _Complex signed short _Fract cmplx_s_short_fract; // expected-error{{'_Complex _Fract' is invalid}} |
31 | _Complex signed _Fract cmplx_s_fract; // expected-error{{'_Complex _Fract' is invalid}} |
32 | _Complex signed long _Fract cmplx_s_long_fract; // expected-error{{'_Complex _Fract' is invalid}} |
33 | _Complex unsigned short _Fract cmplx_u_short_fract; // expected-error{{'_Complex _Fract' is invalid}} |
34 | _Complex unsigned _Fract cmplx_u_fract; // expected-error{{'_Complex _Fract' is invalid}} |
35 | _Complex unsigned long _Fract cmplx_u_long_fract; // expected-error{{'_Complex _Fract' is invalid}} |
36 | _Complex short _Fract cmplx_s_short_fract; // expected-error{{'_Complex _Fract' is invalid}} |
37 | _Complex _Fract cmplx_s_fract; // expected-error{{'_Complex _Fract' is invalid}} |
38 | _Complex long _Fract cmplx_s_long_fract; // expected-error{{'_Complex _Fract' is invalid}} |
39 | |
40 | _Complex _Sat signed short _Accum cmplx_sat_s_short_accum; // expected-error{{'_Complex _Accum' is invalid}} |
41 | _Complex _Sat signed _Accum cmplx_sat_s_accum; // expected-error{{'_Complex _Accum' is invalid}} |
42 | _Complex _Sat signed long _Accum cmplx_sat_s_long_accum; // expected-error{{'_Complex _Accum' is invalid}} |
43 | _Complex _Sat unsigned short _Accum cmplx_sat_u_short_accum; // expected-error{{'_Complex _Accum' is invalid}} |
44 | _Complex _Sat unsigned _Accum cmplx_sat_u_accum; // expected-error{{'_Complex _Accum' is invalid}} |
45 | _Complex _Sat unsigned long _Accum cmplx_sat_u_long_accum; // expected-error{{'_Complex _Accum' is invalid}} |
46 | _Complex _Sat short _Accum cmplx_sat_s_short_accum; // expected-error{{'_Complex _Accum' is invalid}} |
47 | _Complex _Sat _Accum cmplx_sat_s_accum; // expected-error{{'_Complex _Accum' is invalid}} |
48 | _Complex _Sat long _Accum cmplx_sat_s_long_accum; // expected-error{{'_Complex _Accum' is invalid}} |
49 | |
50 | _Complex signed short _Fract cmplx_sat_s_short_fract; // expected-error{{'_Complex _Fract' is invalid}} |
51 | _Complex signed _Fract cmplx_sat_s_fract; // expected-error{{'_Complex _Fract' is invalid}} |
52 | _Complex signed long _Fract cmplx_sat_s_long_fract; // expected-error{{'_Complex _Fract' is invalid}} |
53 | _Complex unsigned short _Fract cmplx_sat_u_short_fract; // expected-error{{'_Complex _Fract' is invalid}} |
54 | _Complex unsigned _Fract cmplx_sat_u_fract; // expected-error{{'_Complex _Fract' is invalid}} |
55 | _Complex unsigned long _Fract cmplx_sat_u_long_fract; // expected-error{{'_Complex _Fract' is invalid}} |
56 | _Complex short _Fract cmplx_sat_s_short_fract; // expected-error{{'_Complex _Fract' is invalid}} |
57 | _Complex _Fract cmplx_sat_s_fract; // expected-error{{'_Complex _Fract' is invalid}} |
58 | _Complex long _Fract cmplx_sat_s_long_fract; // expected-error{{'_Complex _Fract' is invalid}} |
59 | |
60 | /* Bad combinations */ |
61 | float _Accum f_accum; // expected-error{{cannot combine with previous 'float' declaration specifier}} |
62 | double _Accum d_accum; // expected-error{{cannot combine with previous 'double' declaration specifier}} |
63 | _Bool _Accum b_accum; // expected-error{{cannot combine with previous '_Bool' declaration specifier}} |
64 | char _Accum c_accum; // expected-error{{cannot combine with previous 'char' declaration specifier}} |
65 | int _Accum i_accum; // expected-error{{cannot combine with previous 'int' declaration specifier}} |
66 | |
67 | float _Fract f_fract; // expected-error{{cannot combine with previous 'float' declaration specifier}} |
68 | double _Fract d_fract; // expected-error{{cannot combine with previous 'double' declaration specifier}} |
69 | _Bool _Fract b_fract; // expected-error{{cannot combine with previous '_Bool' declaration specifier}} |
70 | char _Fract c_fract; // expected-error{{cannot combine with previous 'char' declaration specifier}} |
71 | int _Fract i_fract; // expected-error{{cannot combine with previous 'int' declaration specifier}} |
72 | |
73 | /* Bad saturated combinations */ |
74 | _Sat float f; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'float'}} |
75 | _Sat double d; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'double'}} |
76 | _Sat _Bool b; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not '_Bool'}} |
77 | _Sat char c; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'char'}} |
78 | _Sat int i; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'int'}} |
79 | _Sat _Sat _Fract fract; // expected-warning{{duplicate '_Sat' declaration specifier}} |
80 | |
81 | |
82 | /* Literals that cannot fit into types */ |
83 | signed short _Accum s_short_accum = 256.0hk; // expected-error{{this value is too large for this fixed point type}} |
84 | unsigned short _Accum u_short_accum = 256.0uhk; // expected-error{{this value is too large for this fixed point type}} |
85 | signed _Accum s_accum = 65536.0k; // expected-error{{this value is too large for this fixed point type}} |
86 | unsigned _Accum u_accum = 65536.0uk; // expected-error{{this value is too large for this fixed point type}} |
87 | signed long _Accum s_long_accum = 4294967296.0lk; // expected-error{{this value is too large for this fixed point type}} |
88 | unsigned long _Accum u_long_accum = 4294967296.0ulk; // expected-error{{this value is too large for this fixed point type}} |
89 | |
90 | // Large values from decimal exponents |
91 | short _Accum short_accum_exp = 2.56e2hk; // expected-error{{this value is too large for this fixed point type}} |
92 | _Accum accum_exp = 6.5536e4k; // expected-error{{this value is too large for this fixed point type}} |
93 | long _Accum long_accum_exp = 4.294967296e9lk; // expected-error{{this value is too large for this fixed point type}} |
94 | unsigned short _Accum u_short_accum_exp = 2.56e2uhk; // expected-error{{this value is too large for this fixed point type}} |
95 | unsigned _Accum u_accum_exp = 6.5536e4uk; // expected-error{{this value is too large for this fixed point type}} |
96 | unsigned long _Accum u_long_accum_exp = 4.294967296e9ulk; // expected-error{{this value is too large for this fixed point type}} |
97 | |
98 | // Large value from hexidecimal exponents |
99 | short _Accum short_accum_hex_exp = 0x1p8hk; // expected-error{{this value is too large for this fixed point type}} |
100 | _Accum accum_hex_exp = 0x1p16k; // expected-error{{this value is too large for this fixed point type}} |
101 | long _Accum long_accum_hex_exp = 0x1p32lk; // expected-error{{this value is too large for this fixed point type}} |
102 | unsigned short _Accum u_short_accum_hex_exp = 0x1p8uhk; // expected-error{{this value is too large for this fixed point type}} |
103 | unsigned _Accum u_accum_hex_exp = 0x1p16uk; // expected-error{{this value is too large for this fixed point type}} |
104 | unsigned long _Accum u_long_accum_hex_exp = 0x1p32ulk; // expected-error{{this value is too large for this fixed point type}} |
105 | |
106 | // Very large exponent |
107 | _Accum x = 1e1000000000000000000000000000000000k; // expected-error{{this value is too large for this fixed point type}} |
108 | |
109 | /* Although _Fract's cannot equal 1, _Fract literals written as 1 are allowed |
110 | * and the underlying value represents the max value for that _Fract type. */ |
111 | short _Fract short_fract_above_1 = 1.1hr; // expected-error{{this value is too large for this fixed point type}} |
112 | _Fract fract_above_1 = 1.1r; // expected-error{{this value is too large for this fixed point type}} |
113 | long _Fract long_fract_above_1 = 1.1lr; // expected-error{{this value is too large for this fixed point type}} |
114 | unsigned short _Fract u_short_fract_above_1 = 1.1uhr; // expected-error{{this value is too large for this fixed point type}} |
115 | unsigned _Fract u_fract_above_1 = 1.1ur; // expected-error{{this value is too large for this fixed point type}} |
116 | unsigned long _Fract u_long_fract_above_1 = 1.1ulr; // expected-error{{this value is too large for this fixed point type}} |
117 | |
118 | short _Fract short_fract_hex_exp = 0x0.fp1hr; // expected-error{{this value is too large for this fixed point type}} |
119 | _Fract fract_hex_exp = 0x0.fp1r; // expected-error{{this value is too large for this fixed point type}} |
120 | long _Fract long_fract_hex_exp = 0x0.fp1lr; // expected-error{{this value is too large for this fixed point type}} |
121 | unsigned short _Fract u_short_fract_hex_exp = 0x0.fp1uhr; // expected-error{{this value is too large for this fixed point type}} |
122 | unsigned _Fract u_fract_hex_exp = 0x0.fp1ur; // expected-error{{this value is too large for this fixed point type}} |
123 | unsigned long _Fract u_long_fract_hex_exp = 0x0.fp1ulr; // expected-error{{this value is too large for this fixed point type}} |
124 | |
125 | /* Do not allow typedef to be used with typedef'd types */ |
126 | typedef short _Fract shortfract_t; |
127 | typedef short _Accum shortaccum_t; |
128 | typedef _Fract fract_t; |
129 | typedef _Accum accum_t; |
130 | typedef long _Fract longfract_t; |
131 | typedef long _Accum longaccum_t; |
132 | _Sat shortfract_t td_sat_short_fract; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}} |
133 | _Sat shortaccum_t td_sat_short_accum; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}} |
134 | _Sat fract_t td_sat_fract; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}} |
135 | _Sat accum_t td_sat_accum; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}} |
136 | _Sat longfract_t td_sat_long_fract; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}} |
137 | _Sat longaccum_t td_sat_long_accum; // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}} |
138 | |
139 | /* Bad suffixes */ |
140 | _Accum fk = 1.0fk; // expected-error{{invalid suffix 'fk' on integer constant}} |
141 | _Accum kk = 1.0kk; // expected-error{{invalid suffix 'kk' on integer constant}} |
142 | _Accum rk = 1.0rk; // expected-error{{invalid suffix 'rk' on integer constant}} |
143 | _Accum rk = 1.0rr; // expected-error{{invalid suffix 'rr' on integer constant}} |
144 | _Accum qk = 1.0qr; // expected-error{{invalid suffix 'qr' on integer constant}} |
145 | |
146 | /* Using wrong exponent notation */ |
147 | _Accum dec_with_hex_exp1 = 0.1p10k; // expected-error{{invalid suffix 'p10k' on integer constant}} |
148 | _Accum dec_with_hex_exp2 = 0.1P10k; // expected-error{{invalid suffix 'P10k' on integer constant}} |
149 | _Accum hex_with_dex_exp1 = 0x0.1e10k; // expected-error{{hexadecimal floating constant requires an exponent}} |
150 | _Accum hex_with_dex_exp2 = 0x0.1E10k; // expected-error{{hexadecimal floating constant requires an exponent}} |
151 | |
152 | void CheckSuffixOnIntegerLiterals() { |
153 | _Accum short_acc_int; |
154 | _Accum acc_int; |
155 | _Accum long_acc_int; |
156 | |
157 | _Accum u_short_acc_int; |
158 | _Accum u_acc_int; |
159 | _Accum u_long_acc_int; |
160 | |
161 | _Fract short_fract_int; |
162 | _Fract fract_int; |
163 | _Fract long_fract_int; |
164 | |
165 | _Fract u_short_fract_int; |
166 | _Fract u_fract_int; |
167 | _Fract u_long_fract_int; |
168 | |
169 | // Decimal integer literals (non-zero) |
170 | short_acc_int = 10hk; // expected-error{{invalid suffix 'hk' on integer constant}} |
171 | acc_int = 10k; // expected-error{{invalid suffix 'k' on integer constant}} |
172 | long_acc_int = 10lk; // expected-error{{invalid suffix 'lk' on integer constant}} |
173 | |
174 | u_short_acc_int = 10uhk; // expected-error{{invalid suffix 'uhk' on integer constant}} |
175 | u_acc_int = 10uk; // expected-error{{invalid suffix 'uk' on integer constant}} |
176 | u_long_acc_int = 10ulk; // expected-error{{invalid suffix 'ulk' on integer constant}} |
177 | |
178 | short_fract_int = 10hr; // expected-error{{invalid suffix 'hr' on integer constant}} |
179 | fract_int = 10r; // expected-error{{invalid suffix 'r' on integer constant}} |
180 | long_fract_int = 10lr; // expected-error{{invalid suffix 'lr' on integer constant}} |
181 | |
182 | u_short_fract_int = 10uhr; // expected-error{{invalid suffix 'uhr' on integer constant}} |
183 | u_fract_int = 10ur; // expected-error{{invalid suffix 'ur' on integer constant}} |
184 | u_long_fract_int = 10ulr; // expected-error{{invalid suffix 'ulr' on integer constant}} |
185 | |
186 | // Decimal integer literals (0) |
187 | short_acc_int = 0hk; // expected-error{{invalid suffix 'hk' on integer constant}} |
188 | acc_int = 0k; // expected-error{{invalid suffix 'k' on integer constant}} |
189 | long_acc_int = 0lk; // expected-error{{invalid suffix 'lk' on integer constant}} |
190 | |
191 | // Decimal integer literals (large number) |
192 | acc_int = 999999999999999999k; // expected-error{{invalid suffix 'k' on integer constant}} |
193 | fract_int = 999999999999999999r; // expected-error{{invalid suffix 'r' on integer constant}} |
194 | |
195 | // Octal integer literals |
196 | short_acc_int = 010hk; // expected-error{{invalid suffix 'hk' on integer constant}} |
197 | acc_int = 010k; // expected-error{{invalid suffix 'k' on integer constant}} |
198 | long_acc_int = 010lk; // expected-error{{invalid suffix 'lk' on integer constant}} |
199 | |
200 | u_short_acc_int = 010uhk; // expected-error{{invalid suffix 'uhk' on integer constant}} |
201 | u_acc_int = 010uk; // expected-error{{invalid suffix 'uk' on integer constant}} |
202 | u_long_acc_int = 010ulk; // expected-error{{invalid suffix 'ulk' on integer constant}} |
203 | |
204 | short_fract_int = 010hr; // expected-error{{invalid suffix 'hr' on integer constant}} |
205 | fract_int = 010r; // expected-error{{invalid suffix 'r' on integer constant}} |
206 | long_fract_int = 010lr; // expected-error{{invalid suffix 'lr' on integer constant}} |
207 | |
208 | u_short_fract_int = 010uhr; // expected-error{{invalid suffix 'uhr' on integer constant}} |
209 | u_fract_int = 010ur; // expected-error{{invalid suffix 'ur' on integer constant}} |
210 | u_long_fract_int = 010ulr; // expected-error{{invalid suffix 'ulr' on integer constant}} |
211 | |
212 | // Hexadecimal integer literals |
213 | short_acc_int = 0x10hk; // expected-error{{invalid suffix 'hk' on integer constant}} |
214 | acc_int = 0x10k; // expected-error{{invalid suffix 'k' on integer constant}} |
215 | long_acc_int = 0x10lk; // expected-error{{invalid suffix 'lk' on integer constant}} |
216 | |
217 | u_short_acc_int = 0x10uhk; // expected-error{{invalid suffix 'uhk' on integer constant}} |
218 | u_acc_int = 0x10uk; // expected-error{{invalid suffix 'uk' on integer constant}} |
219 | u_long_acc_int = 0x10ulk; // expected-error{{invalid suffix 'ulk' on integer constant}} |
220 | |
221 | short_fract_int = 0x10hr; // expected-error{{invalid suffix 'hr' on integer constant}} |
222 | fract_int = 0x10r; // expected-error{{invalid suffix 'r' on integer constant}} |
223 | long_fract_int = 0x10lr; // expected-error{{invalid suffix 'lr' on integer constant}} |
224 | |
225 | u_short_fract_int = 0x10uhr; // expected-error{{invalid suffix 'uhr' on integer constant}} |
226 | u_fract_int = 0x10ur; // expected-error{{invalid suffix 'ur' on integer constant}} |
227 | u_long_fract_int = 0x10ulr; // expected-error{{invalid suffix 'ulr' on integer constant}} |
228 | |
229 | // Using auto |
230 | auto auto_fract = 0r; // expected-error{{invalid suffix 'r' on integer constant}} |
231 | // expected-warning@-1{{type specifier missing, defaults to 'int'}} |
232 | auto auto_accum = 0k; // expected-error{{invalid suffix 'k' on integer constant}} |
233 | // expected-warning@-1{{type specifier missing, defaults to 'int'}} |
234 | } |
235 | |
236 | // Ok conversions |
237 | int i_const = -2.5hk; |
238 | _Sat short _Accum sat_sa_const2 = 256.0k; |
239 | _Sat unsigned short _Accum sat_usa_const = -1.0hk; |
240 | short _Accum sa_const3 = 2; |
241 | short _Accum sa_const4 = -2; |
242 | |
243 | // Overflow |
244 | short _Accum sa_const = 256.0k; // expected-warning{{implicit conversion from 256.0 cannot fit within the range of values for 'short _Accum'}} |
245 | short _Fract sf_const = 1.0hk; // expected-warning{{implicit conversion from 1.0 cannot fit within the range of values for 'short _Fract'}} |
246 | unsigned _Accum ua_const = -1.0k; // expected-warning{{implicit conversion from -1.0 cannot fit within the range of values for 'unsigned _Accum'}} |
247 | short _Accum sa_const2 = 128.0k + 128.0k; // expected-warning{{implicit conversion from 256.0 cannot fit within the range of values for 'short _Accum'}} |
248 | short s_const = 65536.0lk; // expected-warning{{implicit conversion from 65536.0 cannot fit within the range of values for 'short'}} |
249 | unsigned u_const = -2.5hk; // expected-warning{{implicit conversion from -2.5 cannot fit within the range of values for 'unsigned int'}} |
250 | char c_const = 256.0uk; // expected-warning{{implicit conversion from 256.0 cannot fit within the range of values for 'char'}} |
251 | short _Accum sa_const5 = 256; // expected-warning{{implicit conversion from 256 cannot fit within the range of values for 'short _Accum'}} |
252 | unsigned short _Accum usa_const2 = -2; // expected-warning{{implicit conversion from -2 cannot fit within the range of values for 'unsigned short _Accum'}} |
253 | |