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 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 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 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 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 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 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 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