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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
// RUN: %clang_cc1 -O3 -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s
// Is FP_CONTRACT honored in a simple case?
float fp_contract_1(float a, float b, float c) {
// CHECK: _Z13fp_contract_1fff
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return a * b + c;
}
// Is FP_CONTRACT state cleared on exiting compound statements?
float fp_contract_2(float a, float b, float c) {
// CHECK: _Z13fp_contract_2fff
// CHECK: %[[M:.+]] = fmul float %a, %b
// CHECK-NEXT: fadd float %[[M]], %c
{
#pragma STDC FP_CONTRACT ON
}
return a * b + c;
}
// Does FP_CONTRACT survive template instantiation?
class Foo {};
Foo operator+(Foo, Foo);
template <typename T>
T template_muladd(T a, T b, T c) {
#pragma STDC FP_CONTRACT ON
return a * b + c;
}
float fp_contract_3(float a, float b, float c) {
// CHECK: _Z13fp_contract_3fff
// CHECK: tail call float @llvm.fmuladd
return template_muladd<float>(a, b, c);
}
template<typename T> class fp_contract_4 {
float method(float a, float b, float c) {
#pragma STDC FP_CONTRACT ON
return a * b + c;
}
};
template class fp_contract_4<int>;
// CHECK: _ZN13fp_contract_4IiE6methodEfff
// CHECK: tail call float @llvm.fmuladd
// Check file-scoped FP_CONTRACT
#pragma STDC FP_CONTRACT ON
float fp_contract_5(float a, float b, float c) {
// CHECK: _Z13fp_contract_5fff
// CHECK: tail call float @llvm.fmuladd
return a * b + c;
}
#pragma STDC FP_CONTRACT OFF
float fp_contract_6(float a, float b, float c) {
// CHECK: _Z13fp_contract_6fff
// CHECK: %[[M:.+]] = fmul float %a, %b
// CHECK-NEXT: fadd float %[[M]], %c
return a * b + c;
}
// If the multiply has multiple uses, don't produce fmuladd.
// This used to assert (PR25719):
// https://llvm.org/bugs/show_bug.cgi?id=25719
float fp_contract_7(float a, float b, float c) {
// CHECK: _Z13fp_contract_7fff
// CHECK: %[[M:.+]] = fmul float %b, 2.000000e+00
// CHECK-NEXT: fsub float %[[M]], %c
#pragma STDC FP_CONTRACT ON
return (a = 2 * b) - c;
}
float fp_contract_8(float a, float b, float c) {
// CHECK: _Z13fp_contract_8fff
// CHECK: fneg float %c
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return a * b - c;
}
float fp_contract_9(float a, float b, float c) {
// CHECK: _Z13fp_contract_9fff
// CHECK: fneg float %a
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return c - a * b;
}
float fp_contract_10(float a, float b, float c) {
// CHECK: _Z14fp_contract_10fff
// CHECK: fneg float %a
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return -(a * b) + c;
}
float fp_contract_11(float a, float b, float c) {
// CHECK: _Z14fp_contract_11fff
// CHECK: fneg float %a
// CHECK: fneg float %c
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return -(a * b) - c;
}
float fp_contract_12(float a, float b, float c) {
// CHECK: _Z14fp_contract_12fff
// CHECK: fneg float %a
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return c + -(a * b);
}
float fp_contract_13(float a, float b, float c) {
// CHECK: _Z14fp_contract_13fff
// CHECK-NOT: fneg float %a
// CHECK: tail call float @llvm.fmuladd
#pragma STDC FP_CONTRACT ON
return c - -(a * b);
}
float fp_contract_14(float a, float b, float c) {
// CHECK: _Z14fp_contract_14fff
// CHECK: %[[M:.+]] = fmul float %a, %b
// CHECK-NEXT: %add = fsub float %c, %[[M]]
#pragma STDC FP_CONTRACT ON
float d;
return (d = -(a * b)) + c;
}
float fp_contract_15(float a, float b, float c) {
// CHECK: _Z14fp_contract_15fff
// CHECK: %[[M:.+]] = fmul float %a, %b
// CHECK-NEXT: %add = fsub float %c, %[[M]]
#pragma STDC FP_CONTRACT ON
float d;
return -(d = (a * b)) + c;
}
|
