clang/test/CodeGen/pragma-fenv_access.c

   1 // RUN: %clang_cc1 -fexperimental-strict-floating-point -ffp-exception-behavior=strict -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck --check-prefixes=CHECK,STRICT %s
   2 // RUN: %clang_cc1 -fexperimental-strict-floating-point -ffp-exception-behavior=strict -triple %itanium_abi_triple -emit-llvm %s -o - -fms-extensions -DMS | FileCheck --check-prefixes=CHECK,STRICT %s
   3 // RUN: %clang_cc1 -fexperimental-strict-floating-point -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck --check-prefixes=CHECK,DEFAULT %s
   4
   5
   6 float func_00(float x, float y) {
   7   return x + y;
   8 }
   9 // CHECK-LABEL: @func_00
  10 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
  11 // DEFAULT: fadd float
  12
  13
  14 #ifdef MS
  15 #pragma fenv_access (on)
  16 #else
  17 #pragma STDC FENV_ACCESS ON
  18 #endif
  19
  20 float func_01(float x, float y) {
  21   return x + y;
  22 }
  23 // CHECK-LABEL: @func_01
  24 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
  25
  26
  27 float func_02(float x, float y) {
  28   #pragma float_control(except, off)
  29   #pragma STDC FENV_ACCESS OFF
  30   return x + y;
  31 }
  32 // CHECK-LABEL: @func_02
  33 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  34
  35
  36 float func_03(float x, float y) {
  37   return x + y;
  38 }
  39 // CHECK-LABEL: @func_03
  40 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
  41
  42
  43 #ifdef MS
  44 #pragma fenv_access (off)
  45 #else
  46 #pragma STDC FENV_ACCESS OFF
  47 #endif
  48
  49 float func_04(float x, float y) {
  50   #pragma float_control(except, off)
  51   return x + y;
  52 }
  53 // CHECK-LABEL: @func_04
  54 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  55 // DEFAULT: fadd float
  56
  57
  58 float func_04a(float x, float y) {
  59   #pragma float_control(except, on)
  60   return x + y;
  61 }
  62 // CHECK-LABEL: @func_04a
  63 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
  64
  65
  66 float func_05(float x, float y) {
  67   #pragma STDC FENV_ACCESS ON
  68   return x + y;
  69 }
  70 // CHECK-LABEL: @func_05
  71 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
  72
  73
  74 float func_06(float x, float y) {
  75   #pragma float_control(except, off)
  76   return x + y;
  77 }
  78 // CHECK-LABEL: @func_06
  79 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  80 // DEFAULT: fadd float
  81
  82
  83 float func_07(float x, float y) {
  84   x -= y;
  85   if (x) {
  86     #pragma STDC FENV_ACCESS ON
  87     y *= 2.0F;
  88   }
  89   return y + 4.0F;
  90 }
  91 // CHECK-LABEL: @func_07
  92 // STRICT: call float @llvm.experimental.constrained.fsub.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
  93 // STRICT: call float @llvm.experimental.constrained.fmul.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
  94 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
  95 // DEFAULT: call float @llvm.experimental.constrained.fsub.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  96 // DEFAULT: call float @llvm.experimental.constrained.fmul.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
  97 // DEFAULT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  98
  99
 100 float func_08(float x, float y) {
 101   #pragma STDC FENV_ROUND FE_UPWARD
 102   #pragma STDC FENV_ACCESS ON
 103   return x + y;
 104 }
 105 // CHECK-LABEL: @func_08
 106 // CHECK:  call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.upward", metadata !"fpexcept.strict")
 107
 108
 109 float func_09(float x, float y) {
 110   #pragma STDC FENV_ROUND FE_TONEAREST
 111   #pragma STDC FENV_ACCESS ON
 112   return x + y;
 113 }
 114 // CHECK-LABEL: @func_09
 115 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
 116
 117
 118 float func_10(float x, float y) {
 119   #pragma STDC FENV_ROUND FE_TONEAREST
 120   #pragma clang fp exceptions(ignore)
 121   #pragma STDC FENV_ACCESS ON
 122   return x + y;
 123 }
 124 // CHECK-LABEL: @func_10
 125 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 126
 127
 128 float func_11(float x, float y) {
 129   #pragma STDC FENV_ROUND FE_TONEAREST
 130   #pragma clang fp exceptions(ignore)
 131   #pragma STDC FENV_ACCESS OFF
 132   return x + y;
 133 }
 134 // CHECK-LABEL: @func_11
 135 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 136 // DEFAULT: fadd float
 137
 138
 139 float func_12(float x, float y) {
 140   #pragma clang fp exceptions(maytrap)
 141   #pragma STDC FENV_ACCESS ON
 142   return x + y;
 143 }
 144 // CHECK-LABEL: @func_12
 145 // CHECK:  call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.dynamic", metadata !"fpexcept.maytrap")
 146
 147
 148 float func_13(float x, float y) {
 149   #pragma clang fp exceptions(maytrap)
 150   #pragma STDC FENV_ROUND FE_UPWARD
 151   #pragma STDC FENV_ACCESS ON
 152   return x + y;
 153 }
 154 // CHECK-LABEL: @func_13
 155 // CHECK:  call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.upward", metadata !"fpexcept.maytrap")
 156
 157
 158 float func_14(float x, float y, float z) {
 159   #pragma STDC FENV_ACCESS ON
 160   float res = x * y;
 161   {
 162     #pragma STDC FENV_ACCESS OFF
 163     return res + z;
 164   }
 165 }
 166 // CHECK-LABEL: @func_14
 167 // STRICT:  call float @llvm.experimental.constrained.fmul.f32({{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
 168 // STRICT:  call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
 169 // DEFAULT: call float @llvm.experimental.constrained.fmul.f32({{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
 170 // DEFAULT: call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 171
 172
 173 float func_15(float x, float y, float z) {
 174   #pragma STDC FENV_ROUND FE_TOWARDZERO
 175   #pragma STDC FENV_ACCESS ON
 176   float res = x * y;
 177   {
 178     #pragma STDC FENV_ACCESS OFF
 179     return res + z;
 180   }
 181 }
 182 // CHECK-LABEL: @func_15
 183 // STRICT:  call float @llvm.experimental.constrained.fmul.f32({{.*}}, metadata !"round.towardzero", metadata !"fpexcept.strict")
 184 // STRICT:  call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.towardzero", metadata !"fpexcept.strict")
 185 // DEFAULT: call float @llvm.experimental.constrained.fmul.f32({{.*}}, metadata !"round.towardzero", metadata !"fpexcept.strict")
 186 // DEFAULT: call float @llvm.experimental.constrained.fadd.f32({{.*}}, metadata !"round.towardzero", metadata !"fpexcept.ignore")
 187
 188
 189 float func_16(float x, float y) {
 190   x -= y;
 191   {
 192     #pragma STDC FENV_ROUND FE_TONEAREST
 193     #pragma STDC FENV_ACCESS ON
 194     y *= 2.0F;
 195   }
 196   {
 197     #pragma STDC FENV_ACCESS ON
 198     return y + 4.0F;
 199   }
 200 }
 201 // CHECK-LABEL: @func_16
 202 // STRICT: call float @llvm.experimental.constrained.fsub.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
 203 // STRICT: call float @llvm.experimental.constrained.fmul.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
 204 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
 205 // DEFAULT: call float @llvm.experimental.constrained.fsub.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 206 // DEFAULT: call float @llvm.experimental.constrained.fmul.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
 207 // DEFAULT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
 208
 209
 210 float func_17(float x, float y) {
 211   #pragma STDC FENV_ROUND FE_DYNAMIC
 212   #pragma STDC FENV_ACCESS ON
 213   return x + y;
 214 }
 215 // CHECK-LABEL: @func_17
 216 // CHECK: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.dynamic", metadata !"fpexcept.strict")
 217
 218
 219 float func_18(float x, float y) {
 220   #pragma STDC FENV_ROUND FE_DYNAMIC
 221   return x + y;
 222 }
 223 // CHECK-LABEL: @func_18
 224 // STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
 225 // DEFAULT: fadd float
 226