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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
// RUN: %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -triple x86_64-linux-gnu -emit-llvm -o - %s \
// RUN: | FileCheck %s -check-prefixes=CHECK
// RUN: %clang_cc1 -triple i386--linux -emit-llvm -o - %s \
// RUN: | FileCheck %s -check-prefixes=CHECK-EXT
// RUN: %clang_cc1 -fexperimental-strict-floating-point \
// RUN: -mreassociate -freciprocal-math -ffp-contract=fast \
// RUN: -ffast-math -triple x86_64-linux-gnu \
// RUN: -emit-llvm -o - %s \
// RUN: | FileCheck %s -check-prefixes=CHECK-FAST
// RUN: %clang_cc1 -triple i386--linux -mreassociate -freciprocal-math \
// RUN: -ffp-contract=fast -ffast-math -emit-llvm -o - %s \
// RUN: | FileCheck %s -check-prefixes=CHECK-FAST
float a = 1.0f, b = 2.0f, c = 3.0f;
#pragma float_control(precise, off)
float res2 = a + b + c;
int val3 = __FLT_EVAL_METHOD__;
#pragma float_control(precise, on)
float res3 = a + b + c;
int val4 = __FLT_EVAL_METHOD__;
// CHECK: @val3 = global i32 -1
// CHECK: @val4 = global i32 0
// CHECK-EXT: @val3 = global i32 -1
// CHECK-EXT: @val4 = global i32 2
// CHECK-FAST: @val3 = global i32 -1
// CHECK-FAST: @val4 = global i32 -1
float res;
int add(float a, float b, float c) {
// CHECK: fadd float
// CHECK: load float, ptr
// CHECK: fadd float
// CHECK: store float
// CHECK: ret i32 0
res = a + b + c;
return __FLT_EVAL_METHOD__;
}
int add_precise(float a, float b, float c) {
#pragma float_control(precise, on)
// CHECK: fadd float
// CHECK: load float, ptr
// CHECK: fadd float
// CHECK: store float
// CHECK: ret i32 0
res = a + b + c;
return __FLT_EVAL_METHOD__;
}
#pragma float_control(push)
#pragma float_control(precise, on)
int add_precise_1(float a, float b, float c) {
// CHECK: fadd float
// CHECK: load float, ptr
// CHECK: fadd float
// CHECK: store float
// CHECK: ret i32 0
res = a + b + c;
return __FLT_EVAL_METHOD__;
}
#pragma float_control(pop)
int add_not_precise(float a, float b, float c) {
// Fast-math is enabled with this pragma.
#pragma float_control(precise, off)
// CHECK: fadd fast float
// CHECK: load float, ptr
// CHECK: fadd fast float
// CHECK: float {{.*}}, ptr
// CHECK: ret i32 -1
res = a + b + c;
return __FLT_EVAL_METHOD__;
}
#pragma float_control(push)
// Fast-math is enabled with this pragma.
#pragma float_control(precise, off)
int add_not_precise_1(float a, float b, float c) {
// CHECK: fadd fast float
// CHECK: load float, ptr
// CHECK: fadd fast float
// CHECK: float {{.*}}, ptr
// CHECK: ret i32 -1
res = a + b + c;
return __FLT_EVAL_METHOD__;
}
#pragma float_control(pop)
int getFPEvalMethod() {
// CHECK: ret i32 0
return __FLT_EVAL_METHOD__;
}
float res1;
int whatever(float a, float b, float c) {
#pragma float_control(precise, off)
// CHECK: load float, ptr
// CHECK: fadd fast float
// CHECK: store float {{.*}}, ptr
// CHECK: store i32 -1
// CHECK: store i32 0
// CHECK: ret i32 -1
res1 = a + b + c;
int val1 = __FLT_EVAL_METHOD__;
{
#pragma float_control(precise, on)
int val2 = __FLT_EVAL_METHOD__;
}
return __FLT_EVAL_METHOD__;
}
|
