clang/test/CodeGen/pragma-fp-exc.cpp

   1 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck --check-prefix=CHECK-DEF %s
   2 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -ffp-exception-behavior=strict -emit-llvm -o - %s | FileCheck --check-prefix=CHECK-STRICT %s
   3
   4 // REQUIRES: x86-registered-target
   5
   6 float func_01(float x, float y, float z) {
   7   float res = x + y;
   8   {
   9 #pragma clang fp exceptions(maytrap)
  10     res += z;
  11   }
  12   return res;
  13 }
  14 // CHECK-DEF-LABEL: @_Z7func_01fff
  15 // CHECK-DEF:       call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  16 // CHECK-DEF:       call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.maytrap")
  17
  18 // CHECK-STRICT-LABEL: @_Z7func_01fff
  19 // CHECK-STRICT:       call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
  20 // CHECK-STRICT:       call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, metadata !"round.tonearest", metadata !"fpexcept.maytrap")