aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Sema/eval-method-with-unsafe-math.c
blob: eb61e1d9f3e6350b5e66deca7f40d653f329449c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu  \
// RUN: -verify %s 2>&1 | FileCheck %s --check-prefixes=CHECK-PRGM

// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu  -freciprocal-math \
// RUN: -verify %s 2>&1 | FileCheck %s --check-prefixes=CHECK-RECPR,CHECK-PRGM

// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu  -mreassociate \
// RUN: -verify %s 2>&1 | FileCheck %s --check-prefixes=CHECK-ASSOC,CHECK-PRGM

// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu  -fapprox-func \
// RUN: -verify %s 2>&1 | FileCheck %s --check-prefixes=CHECK-FUNC,CHECK-PRGM

// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu -freciprocal-math -mreassociate -verify \
// RUN: %s 2>&1 | FileCheck %s --check-prefixes=CHECK-ASSOC,CHECK-RECPR,CHECK-PRGM

// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu -freciprocal-math -mreassociate -fapprox-func \
// RUN: -verify %s 2>&1 \
// RUN: | FileCheck %s --check-prefixes=CHECK-FUNC,CHECK-ASSOC,CHECK-RECPR,CHECK-PRGM

// RUN: not %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu -ffp-eval-method=source \
// RUN: -verify %s 2>&1 | FileCheck %s --check-prefixes=CHECK-FFP-OPT,CHECK-PRGM

// expected-no-diagnostics

float f1(float a, float b, float c) {
  a = b + c;
  return a * b + c;
}

float f2(float a, float b, float c) {
  // CHECK-FFP-OPT: option 'ffp-eval-method' cannot be used with '#pragma clang fp reassociate'
#pragma clang fp reassociate(on)
  return (a + b) + c;
}

float f3(float a, float b, float c) {
#pragma clang fp reassociate(off)
  return (a - b) - c;
}

float f4(float a, float b, float c) {
#pragma clang fp eval_method(double)
  // CHECK-FUNC: '#pragma clang fp eval_method' cannot be used with option 'fapprox-func'
  // CHECK-ASSOC: '#pragma clang fp eval_method' cannot be used with option 'mreassociate'
  // CHECK-RECPR: '#pragma clang fp eval_method' cannot be used with option 'freciprocal'
  // CHECK-PRGM: '#pragma clang fp eval_method' cannot be used with '#pragma clang fp reassociate'
#pragma clang fp reassociate(on)
  return (a * c) - (b * c);
}

float f4_reciprocal(float a, float b, float c) {
#pragma clang fp eval_method(double)
  // CHECK-FUNC: '#pragma clang fp eval_method' cannot be used with option 'fapprox-func'
  // CHECK-ASSOC: '#pragma clang fp eval_method' cannot be used with option 'mreassociate'
  // CHECK-RECPR: '#pragma clang fp eval_method' cannot be used with option 'freciprocal'
  // CHECK-PRGM: '#pragma clang fp eval_method' cannot be used with '#pragma clang fp reciprocal'
#pragma clang fp reciprocal(on)
  return (a * c) / (b * c);
}

float f4_reciprocal_reassociate(float a, float b, float c) {
#pragma clang fp eval_method(double)
  // CHECK-FUNC: '#pragma clang fp eval_method' cannot be used with option 'fapprox-func'
  // CHECK-ASSOC: '#pragma clang fp eval_method' cannot be used with option 'mreassociate'
  // CHECK-RECPR: '#pragma clang fp eval_method' cannot be used with option 'freciprocal'
  // CHECK-PRGM: '#pragma clang fp eval_method' cannot be used with '#pragma clang fp reassociate'
  // CHECK-PRGM: '#pragma clang fp eval_method' cannot be used with '#pragma clang fp reciprocal'
#pragma clang fp reciprocal(on) reassociate(on)
  return (a * c) / (b * c);
}

float f2_reciprocal(float a, float b, float c) {
  // CHECK-FFP-OPT: option 'ffp-eval-method' cannot be used with '#pragma clang fp reciprocal'
#pragma clang fp reciprocal(on)
  return (a + b) / c;
}

float f3_reciprocal(float a, float b, float c) {
#pragma clang fp reciprocal(off)
  return (a - b) / c;
}