xref: /llvm-project/clang/test/AST/const-fpfeatures.c (revision f4066fa2dd21c65bf0e24a479634c9a2d276cf8e)
1 // RUN: %clang_cc1 -emit-llvm -triple i386-linux -Wno-unknown-pragmas %s -o - | FileCheck %s
2 
3 // nextUp(1.F) == 0x1.000002p0F
4 
5 const double _Complex C0 = 0x1.000001p0 + 0x1.000001p0I;
6 
7 #pragma STDC FENV_ROUND FE_UPWARD
8 
9 float F1u = 1.0F + 0x0.000002p0F;
10 float F2u = 1.0F + 0x0.000001p0F;
11 float F3u = 0x1.000001p0;
12 // CHECK: @F1u = {{.*}} float 0x3FF0000020000000
13 // CHECK: @F2u = {{.*}} float 0x3FF0000020000000
14 // CHECK: @F3u = {{.*}} float 0x3FF0000020000000
15 
16 float FI1u = 0xFFFFFFFFU;
17 // CHECK: @FI1u = {{.*}} float 0x41F0000000000000
18 
19 float _Complex C1u = C0;
20 // CHECK: @C1u = {{.*}} { float, float } { float 0x3FF0000020000000, float 0x3FF0000020000000 }
21 
22 float FLu = 0.1F;
23 // CHECK: @FLu = {{.*}} float 0x3FB99999A0000000
24 
25 
26 #pragma STDC FENV_ROUND FE_DOWNWARD
27 
28 float F1d = 1.0F + 0x0.000002p0F;
29 float F2d = 1.0F + 0x0.000001p0F;
30 float F3d = 0x1.000001p0;
31 
32 // CHECK: @F1d = {{.*}} float 0x3FF0000020000000
33 // CHECK: @F2d = {{.*}} float 1.000000e+00
34 // CHECK: @F3d = {{.*}} float 1.000000e+00
35 
36 float FI1d = 0xFFFFFFFFU;
37 // CHECK: @FI1d = {{.*}} float 0x41EFFFFFE0000000
38 
39 float _Complex C1d = C0;
40 // CHECK: @C1d = {{.*}} { float, float } { float 1.000000e+00, float 1.000000e+00 }
41 
42 float FLd = 0.1F;
43 // CHECK: @FLd = {{.*}} float 0x3FB9999980000000
44