1 // RUN: %clang_cc1 -S -emit-llvm -triple i386-linux -std=c++2a -Wno-unknown-pragmas %s -o - | FileCheck %s
2
3 // nextUp(1.F) == 0x1.000002p0F
4
add_round_down(float x,float y)5 constexpr float add_round_down(float x, float y) {
6 #pragma STDC FENV_ROUND FE_DOWNWARD
7 float res = x;
8 res += y;
9 return res;
10 }
11
add_round_up(float x,float y)12 constexpr float add_round_up(float x, float y) {
13 #pragma STDC FENV_ROUND FE_UPWARD
14 float res = x;
15 res += y;
16 return res;
17 }
18
19 float V1 = add_round_down(1.0F, 0x0.000001p0F);
20 float V2 = add_round_up(1.0F, 0x0.000001p0F);
21 // CHECK: @V1 = {{.*}} float 1.000000e+00
22 // CHECK: @V2 = {{.*}} float 0x3FF0000020000000
23
add_cast_round_down(float x,double y)24 constexpr float add_cast_round_down(float x, double y) {
25 #pragma STDC FENV_ROUND FE_DOWNWARD
26 float res = x;
27 res += y;
28 return res;
29 }
30
add_cast_round_up(float x,double y)31 constexpr float add_cast_round_up(float x, double y) {
32 #pragma STDC FENV_ROUND FE_UPWARD
33 float res = x;
34 res += y;
35 return res;
36 }
37
38 float V3 = add_cast_round_down(1.0F, 0x0.000001p0F);
39 float V4 = add_cast_round_up(1.0F, 0x0.000001p0F);
40
41 // CHECK: @V3 = {{.*}} float 1.000000e+00
42 // CHECK: @V4 = {{.*}} float 0x3FF0000020000000
43
44 // The next three variables use the same function as initializer, only rounding
45 // modes differ.
46
__anonbc7b9ab10102() 47 float V5 = []() -> float {
48 return [](float x, float y)->float {
49 #pragma STDC FENV_ROUND FE_UPWARD
50 return x + y;
51 }([](float x, float y) -> float {
52 #pragma STDC FENV_ROUND FE_UPWARD
53 return x + y;
54 }(1.0F, 0x0.000001p0F),
55 0x0.000001p0F);
56 }();
57 // CHECK: @V5 = {{.*}} float 0x3FF0000040000000
58
__anonbc7b9ab10402() 59 float V6 = []() -> float {
60 return [](float x, float y)->float {
61 #pragma STDC FENV_ROUND FE_DOWNWARD
62 return x + y;
63 }([](float x, float y) -> float {
64 #pragma STDC FENV_ROUND FE_UPWARD
65 return x + y;
66 }(1.0F, 0x0.000001p0F),
67 0x0.000001p0F);
68 }();
69 // CHECK: @V6 = {{.*}} float 0x3FF0000020000000
70
__anonbc7b9ab10702() 71 float V7 = []() -> float {
72 return [](float x, float y)->float {
73 #pragma STDC FENV_ROUND FE_DOWNWARD
74 return x + y;
75 }([](float x, float y) -> float {
76 #pragma STDC FENV_ROUND FE_DOWNWARD
77 return x + y;
78 }(1.0F, 0x0.000001p0F),
79 0x0.000001p0F);
80 }();
81 // CHECK: @V7 = {{.*}} float 1.000000e+00
82