clang/test/PCH/pragma-floatcontrol.c

   1 // Test this without pch.
   2 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -include %s -verify -fsyntax-only -DSET
   3 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -include %s -verify -fsyntax-only -DPUSH
   4 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -include %s -verify -fsyntax-only -DPUSH_POP
   5
   6 // Test with pch.
   7 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -emit-pch -o %t
   8 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-EBSTRICT %s
   9 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -ffp-contract=on -DSET -emit-pch -o %t
  10 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-EBSTRICT %s
  11 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -menable-no-nans -DSET -emit-pch -o %t
  12 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-EBSTRICT %s
  13 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -frounding-math -DSET -emit-pch -o %t
  14 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-EBSTRICT %s
  15 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -ffp-exception-behavior=maytrap -DSET -emit-pch -o %t
  16 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-EBSTRICT %s
  17 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -ffp-contract=fast -DSET -emit-pch -o %t
  18 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-EBSTRICT %s
  19 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DSET -emit-pch -o %t
  20 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -ffp-contract=on -DSET -include-pch %t -emit-llvm -o - | FileCheck --check-prefix=CHECK-CONTRACT %s
  21 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DPUSH -emit-pch -o %t
  22 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DPUSH -verify -include-pch %t
  23 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DPUSH_POP -emit-pch -o %t
  24 // RUN: %clang_cc1 -fexperimental-strict-floating-point  %s -DPUSH_POP -verify -include-pch %t
  25
  26 #ifndef HEADER
  27 #define HEADER
  28
  29 #ifdef SET
  30 #pragma float_control(except, on)
  31 #endif
  32
  33 #ifdef PUSH
  34 #pragma float_control(precise, on)
  35 #pragma float_control(push)
  36 #pragma float_control(precise, off)
  37 #endif
  38
  39 #ifdef PUSH_POP
  40 #pragma float_control(precise, on, push)
  41 #pragma float_control(push)
  42 #pragma float_control(pop)
  43 #endif
  44 #else
  45
  46 #ifdef SET
  47 float fun(float a, float b) {
  48   // CHECK-LABEL: define float @fun{{.*}}
  49   //CHECK-EBSTRICT: llvm.experimental.constrained.fmul{{.*}}tonearest{{.*}}strict
  50   //CHECK-EBSTRICT: llvm.experimental.constrained.fadd{{.*}}tonearest{{.*}}strict
  51   //CHECK-CONTRACT: llvm.experimental.constrained.fmuladd{{.*}}tonearest{{.*}}strict
  52   return a * b + 2;
  53 }
  54 #pragma float_control(pop) // expected-warning {{#pragma float_control(pop, ...) failed: stack empty}}
  55 #pragma float_control(pop) // expected-warning {{#pragma float_control(pop, ...) failed: stack empty}}
  56 #endif
  57
  58 #ifdef PUSH
  59 #pragma float_control(pop)
  60 #pragma float_control(pop) // expected-warning {{#pragma float_control(pop, ...) failed: stack empty}}
  61 #endif
  62
  63 #ifdef PUSH_POP
  64 #pragma float_control(pop)
  65 #pragma float_control(pop) // expected-warning {{#pragma float_control(pop, ...) failed: stack empty}}
  66 #endif
  67
  68 #endif //ifndef HEADER