clang/test/AST/const-fpfeatures.cpp

   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