| Leonard Chan | f921d85 | 2018-06-04 16:07:52 +0000 | [diff] [blame] | 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}} |
| Leonard Chan | ab80f3c | 2018-06-14 14:53:51 +0000 | [diff] [blame] | 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 | |
| Leonard Chan | f921d85 | 2018-06-04 16:07:52 +0000 | [diff] [blame] | 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 | |
| Leonard Chan | ab80f3c | 2018-06-14 14:53:51 +0000 | [diff] [blame] | 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 | |
| Leonard Chan | f921d85 | 2018-06-04 16:07:52 +0000 | [diff] [blame] | 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}} |
| Leonard Chan | ab80f3c | 2018-06-14 14:53:51 +0000 | [diff] [blame] | 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 | |
| Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame^] | 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 | |
| Leonard Chan | ab80f3c | 2018-06-14 14:53:51 +0000 | [diff] [blame] | 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'}} |
| Leonard Chan | db01c3a | 2018-06-20 17:19:40 +0000 | [diff] [blame^] | 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}} |