1 // RUN: %clang_cc1 -emit-llvm -triple i386-linux -std=c++2a -Wno-unknown-pragmas %s -o - | FileCheck %s 2 // RUN: %clang_cc1 -emit-llvm -triple i386-linux -fexperimental-new-constant-interpreter -std=c++2a -Wno-unknown-pragmas %s -o - | FileCheck %s 3 4 5 #pragma STDC FENV_ROUND FE_UPWARD 6 7 float F1u = 1.0F + 0x0.000002p0F; 8 float F2u = 1.0F + 0x0.000001p0F; 9 float F3u = 0x1.000001p0; 10 // CHECK: @F1u = {{.*}} float 0x3FF0000020000000 11 // CHECK: @F2u = {{.*}} float 0x3FF0000020000000 12 // CHECK: @F3u = {{.*}} float 0x3FF0000020000000 13 14 float FI1u = 0xFFFFFFFFU; 15 // CHECK: @FI1u = {{.*}} float 0x41F0000000000000 16 17 #pragma STDC FENV_ROUND FE_DOWNWARD 18 19 float F1d = 1.0F + 0x0.000002p0F; 20 float F2d = 1.0F + 0x0.000001p0F; 21 float F3d = 0x1.000001p0; 22 23 // CHECK: @F1d = {{.*}} float 0x3FF0000020000000 24 // CHECK: @F2d = {{.*}} float 1.000000e+00 25 // CHECK: @F3d = {{.*}} float 1.000000e+00 26 27 28 float FI1d = 0xFFFFFFFFU; 29 // CHECK: @FI1d = {{.*}} float 0x41EFFFFFE0000000 30 31 // nextUp(1.F) == 0x1.000002p0F 32 33 constexpr float add_round_down(float x, float y) { 34 #pragma STDC FENV_ROUND FE_DOWNWARD 35 float res = x; 36 res = res + y; 37 return res; 38 } 39 40 constexpr float add_round_up(float x, float y) { 41 #pragma STDC FENV_ROUND FE_UPWARD 42 float res = x; 43 res = res + y; 44 return res; 45 } 46 47 float V1 = add_round_down(1.0F, 0x0.000001p0F); 48 float V2 = add_round_up(1.0F, 0x0.000001p0F); 49 // CHECK: @V1 = {{.*}} float 1.000000e+00 50 // CHECK: @V2 = {{.*}} float 0x3FF0000020000000 51 52 53 constexpr float add_cast_round_down(float x, double y) { 54 #pragma STDC FENV_ROUND FE_DOWNWARD 55 float res = x; 56 res += y; 57 return res; 58 } 59 60 constexpr float add_cast_round_up(float x, double y) { 61 #pragma STDC FENV_ROUND FE_UPWARD 62 float res = x; 63 res += y; 64 return res; 65 } 66 67 float V3 = add_cast_round_down(1.0F, 0x0.000001p0F); 68 float V4 = add_cast_round_up(1.0F, 0x0.000001p0F); 69 70 // CHECK: @V3 = {{.*}} float 1.000000e+00 71 // CHECK: @V4 = {{.*}} float 0x3FF0000020000000 72