clang/test/AST/fixed_point.c

   1 // Test without serialization:
   2 // RUN: %clang_cc1 -x c -ffixed-point -ast-dump %s | FileCheck %s --strict-whitespace
   3 //
   4 // Test with serialization:
   5 // RUN: %clang_cc1 -ffixed-point -emit-pch -o %t %s
   6 // RUN: %clang_cc1 -x c -ffixed-point -include-pch %t -ast-dump-all /dev/null \
   7 // RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \
   8 // RUN: | FileCheck %s --strict-whitespace
   9
  10 /*  Various contexts where type _Accum can appear. */
  11
  12 // Primary fixed point types
  13 signed short _Accum s_short_accum;
  14 signed _Accum s_accum;
  15 signed long _Accum s_long_accum;
  16 unsigned short _Accum u_short_accum;
  17 unsigned _Accum u_accum;
  18 unsigned long _Accum u_long_accum;
  19 signed short _Fract s_short_fract;
  20 signed _Fract s_fract;
  21 signed long _Fract s_long_fract;
  22 unsigned short _Fract u_short_fract;
  23 unsigned _Fract u_fract;
  24 unsigned long _Fract u_long_fract;
  25
  26 // Aliased fixed point types
  27 short _Accum short_accum;
  28 _Accum accum;
  29 long _Accum long_accum;
  30 short _Fract short_fract;
  31 _Fract fract;
  32 long _Fract long_fract;
  33
  34 // Saturated fixed point types
  35 _Sat signed short _Accum sat_s_short_accum;
  36 _Sat signed _Accum sat_s_accum;
  37 _Sat signed long _Accum sat_s_long_accum;
  38 _Sat unsigned short _Accum sat_u_short_accum;
  39 _Sat unsigned _Accum sat_u_accum;
  40 _Sat unsigned long _Accum sat_u_long_accum;
  41 _Sat signed short _Fract sat_s_short_fract;
  42 _Sat signed _Fract sat_s_fract;
  43 _Sat signed long _Fract sat_s_long_fract;
  44 _Sat unsigned short _Fract sat_u_short_fract;
  45 _Sat unsigned _Fract sat_u_fract;
  46 _Sat unsigned long _Fract sat_u_long_fract;
  47
  48 // Aliased saturated fixed point types
  49 _Sat short _Accum sat_short_accum;
  50 _Sat _Accum sat_accum;
  51 _Sat long _Accum sat_long_accum;
  52 _Sat short _Fract sat_short_fract;
  53 _Sat _Fract sat_fract;
  54 _Sat long _Fract sat_long_fract;
  55
  56 //CHECK:      |-VarDecl {{.*}} s_short_accum 'short _Accum'
  57 //CHECK-NEXT: |-VarDecl {{.*}} s_accum '_Accum'
  58 //CHECK-NEXT: |-VarDecl {{.*}} s_long_accum 'long _Accum'
  59 //CHECK-NEXT: |-VarDecl {{.*}} u_short_accum 'unsigned short _Accum'
  60 //CHECK-NEXT: |-VarDecl {{.*}} u_accum 'unsigned _Accum'
  61 //CHECK-NEXT: |-VarDecl {{.*}} u_long_accum 'unsigned long _Accum'
  62 //CHECK-NEXT: |-VarDecl {{.*}} s_short_fract 'short _Fract'
  63 //CHECK-NEXT: |-VarDecl {{.*}} s_fract '_Fract'
  64 //CHECK-NEXT: |-VarDecl {{.*}} s_long_fract 'long _Fract'
  65 //CHECK-NEXT: |-VarDecl {{.*}} u_short_fract 'unsigned short _Fract'
  66 //CHECK-NEXT: |-VarDecl {{.*}} u_fract 'unsigned _Fract'
  67 //CHECK-NEXT: |-VarDecl {{.*}} u_long_fract 'unsigned long _Fract'
  68 //CHECK-NEXT: |-VarDecl {{.*}} short_accum 'short _Accum'
  69 //CHECK-NEXT: |-VarDecl {{.*}} accum '_Accum'
  70 //CHECK-NEXT: |-VarDecl {{.*}} long_accum 'long _Accum'
  71 //CHECK-NEXT: |-VarDecl {{.*}} short_fract 'short _Fract'
  72 //CHECK-NEXT: |-VarDecl {{.*}} fract '_Fract'
  73 //CHECK-NEXT: |-VarDecl {{.*}} long_fract 'long _Fract'
  74 //CHECK-NEXT: |-VarDecl {{.*}} sat_s_short_accum '_Sat short _Accum'
  75 //CHECK-NEXT: |-VarDecl {{.*}} sat_s_accum '_Sat _Accum'
  76 //CHECK-NEXT: |-VarDecl {{.*}} sat_s_long_accum '_Sat long _Accum'
  77 //CHECK-NEXT: |-VarDecl {{.*}} sat_u_short_accum '_Sat unsigned short _Accum'
  78 //CHECK-NEXT: |-VarDecl {{.*}} sat_u_accum '_Sat unsigned _Accum'
  79 //CHECK-NEXT: |-VarDecl {{.*}} sat_u_long_accum '_Sat unsigned long _Accum'
  80 //CHECK-NEXT: |-VarDecl {{.*}} sat_s_short_fract '_Sat short _Fract'
  81 //CHECK-NEXT: |-VarDecl {{.*}} sat_s_fract '_Sat _Fract'
  82 //CHECK-NEXT: |-VarDecl {{.*}} sat_s_long_fract '_Sat long _Fract'
  83 //CHECK-NEXT: |-VarDecl {{.*}} sat_u_short_fract '_Sat unsigned short _Fract'
  84 //CHECK-NEXT: |-VarDecl {{.*}} sat_u_fract '_Sat unsigned _Fract'
  85 //CHECK-NEXT: |-VarDecl {{.*}} sat_u_long_fract '_Sat unsigned long _Fract'
  86 //CHECK-NEXT: |-VarDecl {{.*}} sat_short_accum '_Sat short _Accum'
  87 //CHECK-NEXT: |-VarDecl {{.*}} sat_accum '_Sat _Accum'
  88 //CHECK-NEXT: |-VarDecl {{.*}} sat_long_accum '_Sat long _Accum'
  89 //CHECK-NEXT: |-VarDecl {{.*}} sat_short_fract '_Sat short _Fract'
  90 //CHECK-NEXT: |-VarDecl {{.*}} sat_fract '_Sat _Fract'
  91 //CHECK-NEXT: |-VarDecl {{.*}} sat_long_fract '_Sat long _Fract'
  92
  93 #define MIX_TYPE_SPEC(SPEC, SIGN, SIZE, ID) \
  94   SPEC SIGN SIZE _Accum ID; \
  95   SIGN SPEC SIZE _Accum ID ## 2; \
  96   SIGN SIZE SPEC _Accum ID ## 3; \
  97   SIGN SIZE _Accum SPEC ID ## 4;
  98
  99 /* Mixing fixed point types with other type specifiers */
 100
 101 #define MIX_VOLATILE(SIGN, SIZE, ID) MIX_TYPE_SPEC(volatile, SIGN, SIZE, ID)
 102 #define MIX_ATOMIC(SIGN, SIZE, ID) MIX_TYPE_SPEC(_Atomic, SIGN, SIZE, ID)
 103 #define MIX_CONST(SIGN, SIZE, ID) MIX_TYPE_SPEC(const, SIGN, SIZE, ID)
 104
 105 MIX_VOLATILE(signed, short, vol_s_short_accum)
 106 MIX_ATOMIC(signed, short, atm_s_short_accum)
 107 MIX_CONST(signed, short, const_s_short_accum)
 108
 109 // CHECK-NEXT: |-VarDecl {{.*}} vol_s_short_accum 'volatile short _Accum'
 110 // CHECK-NEXT: |-VarDecl {{.*}} vol_s_short_accum2 'volatile short _Accum'
 111 // CHECK-NEXT: |-VarDecl {{.*}} vol_s_short_accum3 'volatile short _Accum'
 112 // CHECK-NEXT: |-VarDecl {{.*}} vol_s_short_accum4 'volatile short _Accum'
 113
 114 // CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum '_Atomic(short _Accum)'
 115 // CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum2 '_Atomic(short _Accum)'
 116 // CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum3 '_Atomic(short _Accum)'
 117 // CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum4 '_Atomic(short _Accum)'
 118
 119 // CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum 'const short _Accum'
 120 // CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum2 'const short _Accum'
 121 // CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum3 'const short _Accum'
 122 // CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum4 'const short _Accum'
 123
 124 /* Typedefs */
 125
 126 // Primary fixed point types
 127 typedef signed short   _Accum SsA_t;
 128 typedef signed         _Accum SA_t;
 129 typedef signed long    _Accum SlA_t;
 130 typedef unsigned short _Accum UsA_t;
 131 typedef unsigned       _Accum UA_t;
 132 typedef unsigned long  _Accum UlA_t;
 133 typedef signed short   _Fract SsF_t;
 134 typedef signed         _Fract SF_t;
 135 typedef signed long    _Fract SlF_t;
 136 typedef unsigned short _Fract UsF_t;
 137 typedef unsigned       _Fract UF_t;
 138 typedef unsigned long  _Fract UlF_t;
 139
 140 // Aliased fixed point types
 141 typedef short _Accum sA_t;
 142 typedef       _Accum A_t;
 143 typedef long  _Accum lA_t;
 144 typedef short _Fract sF_t;
 145 typedef       _Fract F_t;
 146 typedef long  _Fract lF_t;
 147
 148 // Saturated fixed point types
 149 typedef _Sat signed short   _Accum SatSsA_t;
 150 typedef _Sat signed         _Accum SatSA_t;
 151 typedef _Sat signed long    _Accum SatSlA_t;
 152 typedef _Sat unsigned short _Accum SatUsA_t;
 153 typedef _Sat unsigned       _Accum SatUA_t;
 154 typedef _Sat unsigned long  _Accum SatUlA_t;
 155 typedef _Sat signed short   _Fract SatSsF_t;
 156 typedef _Sat signed         _Fract SatSF_t;
 157 typedef _Sat signed long    _Fract SatSlF_t;
 158 typedef _Sat unsigned short _Fract SatUsF_t;
 159 typedef _Sat unsigned       _Fract SatUF_t;
 160 typedef _Sat unsigned long  _Fract SatUlF_t;
 161
 162 // Aliased saturated fixed point types
 163 typedef _Sat short   _Accum SatsA_t;
 164 typedef _Sat         _Accum SatA_t;
 165 typedef _Sat long    _Accum SatlA_t;
 166 typedef _Sat short   _Fract SatsF_t;
 167 typedef _Sat         _Fract SatF_t;
 168 typedef _Sat long    _Fract SatlF_t;
 169
 170 SsA_t     SsA_type;
 171 SA_t      SA_type;
 172 SlA_t     SlA_type;
 173 UsA_t     UsA_type;
 174 UA_t      UA_type;
 175 UlA_t     UlA_type;
 176 SsF_t     SsF_type;
 177 SF_t      SF_type;
 178 SlF_t     SlF_type;
 179 UsF_t     UsF_type;
 180 UF_t      UF_type;
 181 UlF_t     UlF_type;
 182
 183 sA_t      sA_type;
 184 A_t       A_type;
 185 lA_t      lA_type;
 186 sF_t      sF_type;
 187 F_t       F_type;
 188 lF_t      lF_type;
 189
 190 SatSsA_t  SatSsA_type;
 191 SatSA_t   SatSA_type;
 192 SatSlA_t  SatSlA_type;
 193 SatUsA_t  SatUsA_type;
 194 SatUA_t   SatUA_type;
 195 SatUlA_t  SatUlA_type;
 196 SatSsF_t  SatSsF_type;
 197 SatSF_t   SatSF_type;
 198 SatSlF_t  SatSlF_type;
 199 SatUsF_t  SatUsF_type;
 200 SatUF_t   SatUF_type;
 201 SatUlF_t  SatUlF_type;
 202
 203 SatsA_t   SatsA_type;
 204 SatA_t    SatA_type;
 205 SatlA_t   SatlA_type;
 206 SatsF_t   SatsF_type;
 207 SatF_t    SatF_type;
 208 SatlF_t   SatlF_type;
 209
 210 //CHECK:      |-VarDecl {{.*}} SsA_type 'SsA_t':'short _Accum'
 211 //CHECK-NEXT: |-VarDecl {{.*}} SA_type 'SA_t':'_Accum'
 212 //CHECK-NEXT: |-VarDecl {{.*}} SlA_type 'SlA_t':'long _Accum'
 213 //CHECK-NEXT: |-VarDecl {{.*}} UsA_type 'UsA_t':'unsigned short _Accum'
 214 //CHECK-NEXT: |-VarDecl {{.*}} UA_type 'UA_t':'unsigned _Accum'
 215 //CHECK-NEXT: |-VarDecl {{.*}} UlA_type 'UlA_t':'unsigned long _Accum'
 216 //CHECK-NEXT: |-VarDecl {{.*}} SsF_type 'SsF_t':'short _Fract'
 217 //CHECK-NEXT: |-VarDecl {{.*}} SF_type 'SF_t':'_Fract'
 218 //CHECK-NEXT: |-VarDecl {{.*}} SlF_type 'SlF_t':'long _Fract'
 219 //CHECK-NEXT: |-VarDecl {{.*}} UsF_type 'UsF_t':'unsigned short _Fract'
 220 //CHECK-NEXT: |-VarDecl {{.*}} UF_type 'UF_t':'unsigned _Fract'
 221 //CHECK-NEXT: |-VarDecl {{.*}} UlF_type 'UlF_t':'unsigned long _Fract'
 222 //CHECK-NEXT: |-VarDecl {{.*}} sA_type 'sA_t':'short _Accum'
 223 //CHECK-NEXT: |-VarDecl {{.*}} A_type 'A_t':'_Accum'
 224 //CHECK-NEXT: |-VarDecl {{.*}} lA_type 'lA_t':'long _Accum'
 225 //CHECK-NEXT: |-VarDecl {{.*}} sF_type 'sF_t':'short _Fract'
 226 //CHECK-NEXT: |-VarDecl {{.*}} F_type 'F_t':'_Fract'
 227 //CHECK-NEXT: |-VarDecl {{.*}} lF_type 'lF_t':'long _Fract'
 228
 229 //CHECK-NEXT: |-VarDecl {{.*}} SatSsA_type 'SatSsA_t':'_Sat short _Accum'
 230 //CHECK-NEXT: |-VarDecl {{.*}} SatSA_type 'SatSA_t':'_Sat _Accum'
 231 //CHECK-NEXT: |-VarDecl {{.*}} SatSlA_type 'SatSlA_t':'_Sat long _Accum'
 232 //CHECK-NEXT: |-VarDecl {{.*}} SatUsA_type 'SatUsA_t':'_Sat unsigned short _Accum'
 233 //CHECK-NEXT: |-VarDecl {{.*}} SatUA_type 'SatUA_t':'_Sat unsigned _Accum'
 234 //CHECK-NEXT: |-VarDecl {{.*}} SatUlA_type 'SatUlA_t':'_Sat unsigned long _Accum'
 235 //CHECK-NEXT: |-VarDecl {{.*}} SatSsF_type 'SatSsF_t':'_Sat short _Fract'
 236 //CHECK-NEXT: |-VarDecl {{.*}} SatSF_type 'SatSF_t':'_Sat _Fract'
 237 //CHECK-NEXT: |-VarDecl {{.*}} SatSlF_type 'SatSlF_t':'_Sat long _Fract'
 238 //CHECK-NEXT: |-VarDecl {{.*}} SatUsF_type 'SatUsF_t':'_Sat unsigned short _Fract'
 239 //CHECK-NEXT: |-VarDecl {{.*}} SatUF_type 'SatUF_t':'_Sat unsigned _Fract'
 240 //CHECK-NEXT: |-VarDecl {{.*}} SatUlF_type 'SatUlF_t':'_Sat unsigned long _Fract'
 241 //CHECK-NEXT: |-VarDecl {{.*}} SatsA_type 'SatsA_t':'_Sat short _Accum'
 242 //CHECK-NEXT: |-VarDecl {{.*}} SatA_type 'SatA_t':'_Sat _Accum'
 243 //CHECK-NEXT: |-VarDecl {{.*}} SatlA_type 'SatlA_t':'_Sat long _Accum'
 244 //CHECK-NEXT: |-VarDecl {{.*}} SatsF_type 'SatsF_t':'_Sat short _Fract'
 245 //CHECK-NEXT: |-VarDecl {{.*}} SatF_type 'SatF_t':'_Sat _Fract'
 246 //CHECK-NEXT: |-VarDecl {{.*}} SatlF_type 'SatlF_t':'_Sat long _Fract'
 247
 248 // Fixed point literal exponent syntax
 249 _Accum decexp1 = 1.575e1k;
 250 _Accum decexp2 = 1.575E1k;
 251 _Accum decexp3 = 1575e-2k;
 252 _Accum decexp4 = 1575E-2k;
 253
 254 _Accum hexexp1 = 0x0.3p10k;
 255 _Accum hexexp2 = 0x0.3P10k;
 256 _Accum hexexp3 = 0x30000p-10k;
 257 _Accum hexexp4 = 0x30000P-10k;
 258
 259 _Accum zeroexp1 = 1e0k;
 260 _Accum zeroexp2 = 1e-0k;
 261
 262 //CHECK-NEXT: |-VarDecl {{.*}} decexp1 '_Accum' cinit
 263 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 15.75
 264 //CHECK-NEXT: |-VarDecl {{.*}} decexp2 '_Accum' cinit
 265 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 15.75
 266 //CHECK-NEXT: |-VarDecl {{.*}} decexp3 '_Accum' cinit
 267 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 15.75
 268 //CHECK-NEXT: |-VarDecl {{.*}} decexp4 '_Accum' cinit
 269 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 15.75
 270
 271 //CHECK-NEXT: |-VarDecl {{.*}} hexexp1 '_Accum' cinit
 272 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 192.0
 273 //CHECK-NEXT: |-VarDecl {{.*}} hexexp2 '_Accum' cinit
 274 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 192.0
 275 //CHECK-NEXT: |-VarDecl {{.*}} hexexp3 '_Accum' cinit
 276 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 192.0
 277 //CHECK-NEXT: |-VarDecl {{.*}} hexexp4 '_Accum' cinit
 278 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 192.0
 279
 280 //CHECK-NEXT: |-VarDecl {{.*}} zeroexp1 '_Accum' cinit
 281 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.0
 282 //CHECK-NEXT: |-VarDecl {{.*}} zeroexp2 '_Accum' cinit
 283 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.0
 284
 285 // Fixed point literal values
 286 _Accum literal1 = 2.5k;       // Precise decimal
 287 _Accum literal2 = 0.0k;       // Zero
 288 _Accum literal3 = 1.1k;       // Imprecise decimal
 289 _Accum literal4 = 1.11k;
 290 _Accum literal5 = 1.111k;
 291 _Accum literal6 = 1.1111k;
 292 _Accum literal7 = 1.11111k;   // After some point after the radix, adding any more
 293                               // digits to the literal will not result in any
 294                               // further precision since the nth digit added may
 295                               // be less than the precision that can be
 296                               // represented by the fractional bits of the type.
 297                               // This results in the same value being stored for
 298                               // the type.
 299
 300 //CHECK-NEXT: |-VarDecl {{.*}} literal1 '_Accum' cinit
 301 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 2.5
 302 //CHECK-NEXT: |-VarDecl {{.*}} literal2 '_Accum' cinit
 303 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 0.0
 304 //CHECK-NEXT: |-VarDecl {{.*}} literal3 '_Accum' cinit
 305 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.0999755859375
 306 //CHECK-NEXT: |-VarDecl {{.*}} literal4 '_Accum' cinit
 307 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.1099853515625
 308 //CHECK-NEXT: |-VarDecl {{.*}} literal5 '_Accum' cinit
 309 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.110992431640625
 310 //CHECK-NEXT: |-VarDecl {{.*}} literal6 '_Accum' cinit
 311 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.111083984375
 312 //CHECK-NEXT: |-VarDecl {{.*}} literal7 '_Accum' cinit
 313 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.111083984375
 314
 315 long _Accum longaccumliteral     = 0.99999999lk;
 316 long _Accum longaccumliteral2    = 0.999999999lk;
 317 long _Accum verylongaccumliteral = 0.99999999999999999999999999lk;
 318 long _Fract longfractliteral     = 0.99999999lr;
 319 long _Fract longfractliteral2    = 0.999999999lr;
 320 long _Fract verylongfractliteral = 0.99999999999999999999999999lr;
 321
 322 //CHECK-NEXT: |-VarDecl {{.*}} longaccumliteral 'long _Accum' cinit
 323 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Accum' 0.999999989755451679229736328125
 324 //CHECK-NEXT: |-VarDecl {{.*}} longaccumliteral2 'long _Accum' cinit
 325 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Accum' 0.9999999986030161380767822265625
 326 //CHECK-NEXT: |-VarDecl {{.*}} verylongaccumliteral 'long _Accum' cinit
 327 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Accum' 0.9999999995343387126922607421875
 328 //CHECK-NEXT: |-VarDecl {{.*}} longfractliteral 'long _Fract' cinit
 329 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Fract' 0.999999989755451679229736328125
 330 //CHECK-NEXT: |-VarDecl {{.*}} longfractliteral2 'long _Fract' cinit
 331 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Fract' 0.9999999986030161380767822265625
 332 //CHECK-NEXT: |-VarDecl {{.*}} verylongfractliteral 'long _Fract' cinit
 333 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Fract' 0.9999999995343387126922607421875
 334
 335 unsigned _Accum uliteral1 = 2.5uk;    // Unsigned
 336 _Accum literal8 = -2.5k;              // Negative
 337
 338 //CHECK-NEXT: |-VarDecl {{.*}} uliteral1 'unsigned _Accum' cinit
 339 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'unsigned _Accum' 2.5
 340 //CHECK-NEXT: |-VarDecl {{.*}} literal8 '_Accum' cinit
 341 //CHECK-NEXT:   `-UnaryOperator {{.*}} '_Accum' prefix '-'
 342 //CHECK-NEXT:     `-FixedPointLiteral {{.*}} '_Accum' 2.5
 343
 344 short _Accum  literalexact1 = 0.9921875hk;  // Exact value
 345 _Accum        literalexact2 = 0.999969482421875k;
 346
 347 //CHECK-NEXT: |-VarDecl {{.*}} literalexact1 'short _Accum' cinit
 348 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'short _Accum' 0.9921875
 349 //CHECK-NEXT: |-VarDecl {{.*}} literalexact2 '_Accum' cinit
 350 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 0.999969482421875
 351
 352 // Unfortunately we do not have enough space to store the exact decimal value of
 353 // 0.9999999995343387126922607421875 ((1 << 31) - 1), but we can still use a
 354 // large number of 9s to get the max fractional value.
 355 long _Accum   long_accum_max = 0.999999999999999999999999999lk;
 356
 357 //CHECK-NEXT: |-VarDecl {{.*}} long_accum_max 'long _Accum' cinit
 358 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Accum' 0.9999999995343387126922607421875
 359
 360 // Epsilon
 361 short _Accum  short_accum_eps   = 0.0078125hk;
 362 short _Accum  short_accum_eps2  = 0.0078124hk;  // Less than epsilon floors to zero
 363 _Accum        accum_eps         = 0.000030517578125k;
 364 _Accum        accum_eps2        = 0.000030517578124k;
 365 long _Accum   long_accum_eps    = 0x1p-31lk;
 366 long _Accum   long_accum_eps2   = 0x0.99999999p-31lk;
 367
 368 //CHECK-NEXT: |-VarDecl {{.*}} short_accum_eps 'short _Accum' cinit
 369 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'short _Accum' 0.0078125
 370 //CHECK-NEXT: |-VarDecl {{.*}} short_accum_eps2 'short _Accum' cinit
 371 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'short _Accum' 0.0
 372 //CHECK-NEXT: |-VarDecl {{.*}} accum_eps '_Accum' cinit
 373 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 0.000030517578125
 374 //CHECK-NEXT: |-VarDecl {{.*}} accum_eps2 '_Accum' cinit
 375 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 0.0
 376 //CHECK-NEXT: |-VarDecl {{.*}} long_accum_eps 'long _Accum' cinit
 377 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Accum' 0.0000000004656612873077392578125
 378 //CHECK-NEXT: |-VarDecl {{.*}} long_accum_eps2 'long _Accum' cinit
 379 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Accum' 0.0
 380
 381 // Fract literals can be one but evaluate to the respective Fract max
 382 short _Fract           short_fract_one   = 1.0hr;
 383 _Fract                 fract_one         = 1.0r;
 384 long _Fract            long_fract_one    = 1.0lr;
 385 unsigned short _Fract  u_short_fract_one = 1.0uhr;
 386 unsigned _Fract        u_fract_one       = 1.0ur;
 387 unsigned long _Fract   u_long_fract_one  = 1.0ulr;
 388
 389 //CHECK-NEXT: |-VarDecl {{.*}} short_fract_one 'short _Fract' cinit
 390 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'short _Fract' 0.9921875
 391 //CHECK-NEXT: |-VarDecl {{.*}} fract_one '_Fract' cinit
 392 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Fract' 0.999969482421875
 393 //CHECK-NEXT: |-VarDecl {{.*}} long_fract_one 'long _Fract' cinit
 394 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'long _Fract' 0.9999999995343387126922607421875
 395
 396 //CHECK-NEXT: |-VarDecl {{.*}} u_short_fract_one 'unsigned short _Fract' cinit
 397 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'unsigned short _Fract' 0.99609375
 398 //CHECK-NEXT: |-VarDecl {{.*}} u_fract_one 'unsigned _Fract' cinit
 399 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'unsigned _Fract' 0.9999847412109375
 400 //CHECK-NEXT: |-VarDecl {{.*}} u_long_fract_one 'unsigned long _Fract' cinit
 401 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} 'unsigned long _Fract' 0.99999999976716935634613037109375
 402
 403 _Accum literallast = 1.0k;    // One
 404
 405 //CHECK-NEXT: `-VarDecl {{.*}} literallast '_Accum' cinit
 406 //CHECK-NEXT:   `-FixedPointLiteral {{.*}} '_Accum' 1.0