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