1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -w -S -o - -emit-llvm              %s | FileCheck %s -check-prefix=NO__ERRNO
2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -w -S -o - -emit-llvm -fmath-errno %s | FileCheck %s -check-prefix=HAS_ERRNO
3 // RUN: %clang_cc1 -triple x86_64-unknown-unknown-gnu -w -S -o - -emit-llvm -fmath-errno %s | FileCheck %s --check-prefix=HAS_ERRNO_GNU
4 // RUN: %clang_cc1 -triple x86_64-unknown-windows-msvc -w -S -o - -emit-llvm -fmath-errno %s | FileCheck %s --check-prefix=HAS_ERRNO_WIN
5 
6 // Test attributes and codegen of math builtins.
7 
8 void foo(double *d, float f, float *fp, long double *l, int *i, const char *c) {
9   f = __builtin_fmod(f,f);    f = __builtin_fmodf(f,f);   f =  __builtin_fmodl(f,f);  f = __builtin_fmodf128(f,f);
10 
11 // NO__ERRNO: frem double
12 // NO__ERRNO: frem float
13 // NO__ERRNO: frem x86_fp80
14 // NO__ERRNO: frem fp128
15 // HAS_ERRNO: declare double @fmod(double noundef, double noundef) [[NOT_READNONE:#[0-9]+]]
16 // HAS_ERRNO: declare float @fmodf(float noundef, float noundef) [[NOT_READNONE]]
17 // HAS_ERRNO: declare x86_fp80 @fmodl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
18 // HAS_ERRNO: declare fp128 @fmodf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
19 
20   __builtin_atan2(f,f);    __builtin_atan2f(f,f) ;  __builtin_atan2l(f, f); __builtin_atan2f128(f,f);
21 
22 // NO__ERRNO: declare double @atan2(double noundef, double noundef) [[READNONE:#[0-9]+]]
23 // NO__ERRNO: declare float @atan2f(float noundef, float noundef) [[READNONE]]
24 // NO__ERRNO: declare x86_fp80 @atan2l(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
25 // NO__ERRNO: declare fp128 @atan2f128(fp128 noundef, fp128 noundef) [[READNONE]]
26 // HAS_ERRNO: declare double @atan2(double noundef, double noundef) [[NOT_READNONE]]
27 // HAS_ERRNO: declare float @atan2f(float noundef, float noundef) [[NOT_READNONE]]
28 // HAS_ERRNO: declare x86_fp80 @atan2l(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
29 // HAS_ERRNO: declare fp128 @atan2f128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
30 
31   __builtin_copysign(f,f); __builtin_copysignf(f,f); __builtin_copysignl(f,f); __builtin_copysignf128(f,f);
32 
33 // NO__ERRNO: declare double @llvm.copysign.f64(double, double) [[READNONE_INTRINSIC:#[0-9]+]]
34 // NO__ERRNO: declare float @llvm.copysign.f32(float, float) [[READNONE_INTRINSIC]]
35 // NO__ERRNO: declare x86_fp80 @llvm.copysign.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
36 // NO__ERRNO: declare fp128 @llvm.copysign.f128(fp128, fp128) [[READNONE_INTRINSIC]]
37 // HAS_ERRNO: declare double @llvm.copysign.f64(double, double) [[READNONE_INTRINSIC:#[0-9]+]]
38 // HAS_ERRNO: declare float @llvm.copysign.f32(float, float) [[READNONE_INTRINSIC]]
39 // HAS_ERRNO: declare x86_fp80 @llvm.copysign.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
40 // HAS_ERRNO: declare fp128 @llvm.copysign.f128(fp128, fp128) [[READNONE_INTRINSIC]]
41 
42   __builtin_fabs(f);       __builtin_fabsf(f);      __builtin_fabsl(f); __builtin_fabsf128(f);
43 
44 // NO__ERRNO: declare double @llvm.fabs.f64(double) [[READNONE_INTRINSIC]]
45 // NO__ERRNO: declare float @llvm.fabs.f32(float) [[READNONE_INTRINSIC]]
46 // NO__ERRNO: declare x86_fp80 @llvm.fabs.f80(x86_fp80) [[READNONE_INTRINSIC]]
47 // NO__ERRNO: declare fp128 @llvm.fabs.f128(fp128) [[READNONE_INTRINSIC]]
48 // HAS_ERRNO: declare double @llvm.fabs.f64(double) [[READNONE_INTRINSIC]]
49 // HAS_ERRNO: declare float @llvm.fabs.f32(float) [[READNONE_INTRINSIC]]
50 // HAS_ERRNO: declare x86_fp80 @llvm.fabs.f80(x86_fp80) [[READNONE_INTRINSIC]]
51 // HAS_ERRNO: declare fp128 @llvm.fabs.f128(fp128) [[READNONE_INTRINSIC]]
52 
53   __builtin_frexp(f,i);    __builtin_frexpf(f,i);   __builtin_frexpl(f,i); __builtin_frexpf128(f,i);
54 
55 // NO__ERRNO: declare double @frexp(double noundef, i32* noundef) [[NOT_READNONE:#[0-9]+]]
56 // NO__ERRNO: declare float @frexpf(float noundef, i32* noundef) [[NOT_READNONE]]
57 // NO__ERRNO: declare x86_fp80 @frexpl(x86_fp80 noundef, i32* noundef) [[NOT_READNONE]]
58 // NO__ERRNO: declare fp128 @frexpf128(fp128 noundef, i32* noundef) [[NOT_READNONE]]
59 // HAS_ERRNO: declare double @frexp(double noundef, i32* noundef) [[NOT_READNONE]]
60 // HAS_ERRNO: declare float @frexpf(float noundef, i32* noundef) [[NOT_READNONE]]
61 // HAS_ERRNO: declare x86_fp80 @frexpl(x86_fp80 noundef, i32* noundef) [[NOT_READNONE]]
62 // HAS_ERRNO: declare fp128 @frexpf128(fp128 noundef, i32* noundef) [[NOT_READNONE]]
63 
64   __builtin_huge_val();    __builtin_huge_valf();   __builtin_huge_vall(); __builtin_huge_valf128();
65 
66 // NO__ERRNO-NOT: .huge
67 // NO__ERRNO-NOT: @huge
68 // HAS_ERRNO-NOT: .huge
69 // HAS_ERRNO-NOT: @huge
70 
71   __builtin_inf();    __builtin_inff();   __builtin_infl(); __builtin_inff128();
72 
73 // NO__ERRNO-NOT: .inf
74 // NO__ERRNO-NOT: @inf
75 // HAS_ERRNO-NOT: .inf
76 // HAS_ERRNO-NOT: @inf
77 
78   __builtin_ldexp(f,f);    __builtin_ldexpf(f,f);   __builtin_ldexpl(f,f);  __builtin_ldexpf128(f,f);
79 
80 // NO__ERRNO: declare double @ldexp(double noundef, i32 noundef) [[READNONE]]
81 // NO__ERRNO: declare float @ldexpf(float noundef, i32 noundef) [[READNONE]]
82 // NO__ERRNO: declare x86_fp80 @ldexpl(x86_fp80 noundef, i32 noundef) [[READNONE]]
83 // NO__ERRNO: declare fp128 @ldexpf128(fp128 noundef, i32 noundef) [[READNONE]]
84 // HAS_ERRNO: declare double @ldexp(double noundef, i32 noundef) [[NOT_READNONE]]
85 // HAS_ERRNO: declare float @ldexpf(float noundef, i32 noundef) [[NOT_READNONE]]
86 // HAS_ERRNO: declare x86_fp80 @ldexpl(x86_fp80 noundef, i32 noundef) [[NOT_READNONE]]
87 // HAS_ERRNO: declare fp128 @ldexpf128(fp128 noundef, i32 noundef) [[NOT_READNONE]]
88 
89   __builtin_modf(f,d);       __builtin_modff(f,fp);      __builtin_modfl(f,l); __builtin_modff128(f,l);
90 
91 // NO__ERRNO: declare double @modf(double noundef, double* noundef) [[NOT_READNONE]]
92 // NO__ERRNO: declare float @modff(float noundef, float* noundef) [[NOT_READNONE]]
93 // NO__ERRNO: declare x86_fp80 @modfl(x86_fp80 noundef, x86_fp80* noundef) [[NOT_READNONE]]
94 // NO__ERRNO: declare fp128 @modff128(fp128 noundef, fp128* noundef) [[NOT_READNONE]]
95 // HAS_ERRNO: declare double @modf(double noundef, double* noundef) [[NOT_READNONE]]
96 // HAS_ERRNO: declare float @modff(float noundef, float* noundef) [[NOT_READNONE]]
97 // HAS_ERRNO: declare x86_fp80 @modfl(x86_fp80 noundef, x86_fp80* noundef) [[NOT_READNONE]]
98 // HAS_ERRNO: declare fp128 @modff128(fp128 noundef, fp128* noundef) [[NOT_READNONE]]
99 
100   __builtin_nan(c);        __builtin_nanf(c);       __builtin_nanl(c); __builtin_nanf128(c);
101 
102 // NO__ERRNO: declare double @nan(i8* noundef) [[PURE:#[0-9]+]]
103 // NO__ERRNO: declare float @nanf(i8* noundef) [[PURE]]
104 // NO__ERRNO: declare x86_fp80 @nanl(i8* noundef) [[PURE]]
105 // NO__ERRNO: declare fp128 @nanf128(i8* noundef) [[PURE]]
106 // HAS_ERRNO: declare double @nan(i8* noundef) [[PURE:#[0-9]+]]
107 // HAS_ERRNO: declare float @nanf(i8* noundef) [[PURE]]
108 // HAS_ERRNO: declare x86_fp80 @nanl(i8* noundef) [[PURE]]
109 // HAS_ERRNO: declare fp128 @nanf128(i8* noundef) [[PURE]]
110 
111   __builtin_nans(c);        __builtin_nansf(c);       __builtin_nansl(c); __builtin_nansf128(c);
112 
113 // NO__ERRNO: declare double @nans(i8* noundef) [[PURE]]
114 // NO__ERRNO: declare float @nansf(i8* noundef) [[PURE]]
115 // NO__ERRNO: declare x86_fp80 @nansl(i8* noundef) [[PURE]]
116 // NO__ERRNO: declare fp128 @nansf128(i8* noundef) [[PURE]]
117 // HAS_ERRNO: declare double @nans(i8* noundef) [[PURE]]
118 // HAS_ERRNO: declare float @nansf(i8* noundef) [[PURE]]
119 // HAS_ERRNO: declare x86_fp80 @nansl(i8* noundef) [[PURE]]
120 // HAS_ERRNO: declare fp128 @nansf128(i8* noundef) [[PURE]]
121 
122   __builtin_pow(f,f);        __builtin_powf(f,f);       __builtin_powl(f,f); __builtin_powf128(f,f);
123 
124 // NO__ERRNO: declare double @llvm.pow.f64(double, double) [[READNONE_INTRINSIC]]
125 // NO__ERRNO: declare float @llvm.pow.f32(float, float) [[READNONE_INTRINSIC]]
126 // NO__ERRNO: declare x86_fp80 @llvm.pow.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
127 // NO__ERRNO: declare fp128 @llvm.pow.f128(fp128, fp128) [[READNONE_INTRINSIC]]
128 // HAS_ERRNO: declare double @pow(double noundef, double noundef) [[NOT_READNONE]]
129 // HAS_ERRNO: declare float @powf(float noundef, float noundef) [[NOT_READNONE]]
130 // HAS_ERRNO: declare x86_fp80 @powl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
131 // HAS_ERRNO: declare fp128 @powf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
132 
133   __builtin_powi(f,f);        __builtin_powif(f,f);       __builtin_powil(f,f);
134 
135 // NO__ERRNO: declare double @llvm.powi.f64.i32(double, i32) [[READNONE_INTRINSIC]]
136 // NO__ERRNO: declare float @llvm.powi.f32.i32(float, i32) [[READNONE_INTRINSIC]]
137 // NO__ERRNO: declare x86_fp80 @llvm.powi.f80.i32(x86_fp80, i32) [[READNONE_INTRINSIC]]
138 // HAS_ERRNO: declare double @llvm.powi.f64.i32(double, i32) [[READNONE_INTRINSIC]]
139 // HAS_ERRNO: declare float @llvm.powi.f32.i32(float, i32) [[READNONE_INTRINSIC]]
140 // HAS_ERRNO: declare x86_fp80 @llvm.powi.f80.i32(x86_fp80, i32) [[READNONE_INTRINSIC]]
141 
142   /* math */
143   __builtin_acos(f);       __builtin_acosf(f);      __builtin_acosl(f); __builtin_acosf128(f);
144 
145 // NO__ERRNO: declare double @acos(double noundef) [[READNONE]]
146 // NO__ERRNO: declare float @acosf(float noundef) [[READNONE]]
147 // NO__ERRNO: declare x86_fp80 @acosl(x86_fp80 noundef) [[READNONE]]
148 // NO__ERRNO: declare fp128 @acosf128(fp128 noundef) [[READNONE]]
149 // HAS_ERRNO: declare double @acos(double noundef) [[NOT_READNONE]]
150 // HAS_ERRNO: declare float @acosf(float noundef) [[NOT_READNONE]]
151 // HAS_ERRNO: declare x86_fp80 @acosl(x86_fp80 noundef) [[NOT_READNONE]]
152 // HAS_ERRNO: declare fp128 @acosf128(fp128 noundef) [[NOT_READNONE]]
153 
154   __builtin_acosh(f);      __builtin_acoshf(f);     __builtin_acoshl(f);  __builtin_acoshf128(f);
155 
156 // NO__ERRNO: declare double @acosh(double noundef) [[READNONE]]
157 // NO__ERRNO: declare float @acoshf(float noundef) [[READNONE]]
158 // NO__ERRNO: declare x86_fp80 @acoshl(x86_fp80 noundef) [[READNONE]]
159 // NO__ERRNO: declare fp128 @acoshf128(fp128 noundef) [[READNONE]]
160 // HAS_ERRNO: declare double @acosh(double noundef) [[NOT_READNONE]]
161 // HAS_ERRNO: declare float @acoshf(float noundef) [[NOT_READNONE]]
162 // HAS_ERRNO: declare x86_fp80 @acoshl(x86_fp80 noundef) [[NOT_READNONE]]
163 // HAS_ERRNO: declare fp128 @acoshf128(fp128 noundef) [[NOT_READNONE]]
164 
165   __builtin_asin(f);       __builtin_asinf(f);      __builtin_asinl(f); __builtin_asinf128(f);
166 
167 // NO__ERRNO: declare double @asin(double noundef) [[READNONE]]
168 // NO__ERRNO: declare float @asinf(float noundef) [[READNONE]]
169 // NO__ERRNO: declare x86_fp80 @asinl(x86_fp80 noundef) [[READNONE]]
170 // NO__ERRNO: declare fp128 @asinf128(fp128 noundef) [[READNONE]]
171 // HAS_ERRNO: declare double @asin(double noundef) [[NOT_READNONE]]
172 // HAS_ERRNO: declare float @asinf(float noundef) [[NOT_READNONE]]
173 // HAS_ERRNO: declare x86_fp80 @asinl(x86_fp80 noundef) [[NOT_READNONE]]
174 // HAS_ERRNO: declare fp128 @asinf128(fp128 noundef) [[NOT_READNONE]]
175 
176   __builtin_asinh(f);      __builtin_asinhf(f);     __builtin_asinhl(f); __builtin_asinhf128(f);
177 
178 // NO__ERRNO: declare double @asinh(double noundef) [[READNONE]]
179 // NO__ERRNO: declare float @asinhf(float noundef) [[READNONE]]
180 // NO__ERRNO: declare x86_fp80 @asinhl(x86_fp80 noundef) [[READNONE]]
181 // NO__ERRNO: declare fp128 @asinhf128(fp128 noundef) [[READNONE]]
182 // HAS_ERRNO: declare double @asinh(double noundef) [[NOT_READNONE]]
183 // HAS_ERRNO: declare float @asinhf(float noundef) [[NOT_READNONE]]
184 // HAS_ERRNO: declare x86_fp80 @asinhl(x86_fp80 noundef) [[NOT_READNONE]]
185 // HAS_ERRNO: declare fp128 @asinhf128(fp128 noundef) [[NOT_READNONE]]
186 
187   __builtin_atan(f);       __builtin_atanf(f);      __builtin_atanl(f); __builtin_atanf128(f);
188 
189 // NO__ERRNO: declare double @atan(double noundef) [[READNONE]]
190 // NO__ERRNO: declare float @atanf(float noundef) [[READNONE]]
191 // NO__ERRNO: declare x86_fp80 @atanl(x86_fp80 noundef) [[READNONE]]
192 // NO__ERRNO: declare fp128 @atanf128(fp128 noundef) [[READNONE]]
193 // HAS_ERRNO: declare double @atan(double noundef) [[NOT_READNONE]]
194 // HAS_ERRNO: declare float @atanf(float noundef) [[NOT_READNONE]]
195 // HAS_ERRNO: declare x86_fp80 @atanl(x86_fp80 noundef) [[NOT_READNONE]]
196 // HAS_ERRNO: declare fp128 @atanf128(fp128 noundef) [[NOT_READNONE]]
197 
198   __builtin_atanh(f);      __builtin_atanhf(f);     __builtin_atanhl(f); __builtin_atanhf128(f);
199 
200 // NO__ERRNO: declare double @atanh(double noundef) [[READNONE]]
201 // NO__ERRNO: declare float @atanhf(float noundef) [[READNONE]]
202 // NO__ERRNO: declare x86_fp80 @atanhl(x86_fp80 noundef) [[READNONE]]
203 // NO__ERRNO: declare fp128 @atanhf128(fp128 noundef) [[READNONE]]
204 // HAS_ERRNO: declare double @atanh(double noundef) [[NOT_READNONE]]
205 // HAS_ERRNO: declare float @atanhf(float noundef) [[NOT_READNONE]]
206 // HAS_ERRNO: declare x86_fp80 @atanhl(x86_fp80 noundef) [[NOT_READNONE]]
207 // HAS_ERRNO: declare fp128 @atanhf128(fp128 noundef) [[NOT_READNONE]]
208 
209   __builtin_cbrt(f);       __builtin_cbrtf(f);      __builtin_cbrtl(f); __builtin_cbrtf128(f);
210 
211 // NO__ERRNO: declare double @cbrt(double noundef) [[READNONE]]
212 // NO__ERRNO: declare float @cbrtf(float noundef) [[READNONE]]
213 // NO__ERRNO: declare x86_fp80 @cbrtl(x86_fp80 noundef) [[READNONE]]
214 // NO__ERRNO: declare fp128 @cbrtf128(fp128 noundef) [[READNONE]]
215 // HAS_ERRNO: declare double @cbrt(double noundef) [[READNONE:#[0-9]+]]
216 // HAS_ERRNO: declare float @cbrtf(float noundef) [[READNONE]]
217 // HAS_ERRNO: declare x86_fp80 @cbrtl(x86_fp80 noundef) [[READNONE]]
218 // HAS_ERRNO: declare fp128 @cbrtf128(fp128 noundef) [[READNONE]]
219 
220   __builtin_ceil(f);       __builtin_ceilf(f);      __builtin_ceill(f); __builtin_ceilf128(f);
221 
222 // NO__ERRNO: declare double @llvm.ceil.f64(double) [[READNONE_INTRINSIC]]
223 // NO__ERRNO: declare float @llvm.ceil.f32(float) [[READNONE_INTRINSIC]]
224 // NO__ERRNO: declare x86_fp80 @llvm.ceil.f80(x86_fp80) [[READNONE_INTRINSIC]]
225 // NO__ERRNO: declare fp128 @llvm.ceil.f128(fp128) [[READNONE_INTRINSIC]]
226 // HAS_ERRNO: declare double @llvm.ceil.f64(double) [[READNONE_INTRINSIC]]
227 // HAS_ERRNO: declare float @llvm.ceil.f32(float) [[READNONE_INTRINSIC]]
228 // HAS_ERRNO: declare x86_fp80 @llvm.ceil.f80(x86_fp80) [[READNONE_INTRINSIC]]
229 // HAS_ERRNO: declare fp128 @llvm.ceil.f128(fp128) [[READNONE_INTRINSIC]]
230 
231   __builtin_cos(f);        __builtin_cosf(f);       __builtin_cosl(f); __builtin_cosf128(f);
232 
233 // NO__ERRNO: declare double @llvm.cos.f64(double) [[READNONE_INTRINSIC]]
234 // NO__ERRNO: declare float @llvm.cos.f32(float) [[READNONE_INTRINSIC]]
235 // NO__ERRNO: declare x86_fp80 @llvm.cos.f80(x86_fp80) [[READNONE_INTRINSIC]]
236 // NO__ERRNO: declare fp128 @llvm.cos.f128(fp128) [[READNONE_INTRINSIC]]
237 // HAS_ERRNO: declare double @cos(double noundef) [[NOT_READNONE]]
238 // HAS_ERRNO: declare float @cosf(float noundef) [[NOT_READNONE]]
239 // HAS_ERRNO: declare x86_fp80 @cosl(x86_fp80 noundef) [[NOT_READNONE]]
240 // HAS_ERRNO: declare fp128 @cosf128(fp128 noundef) [[NOT_READNONE]]
241 
242   __builtin_cosh(f);       __builtin_coshf(f);      __builtin_coshl(f); __builtin_coshf128(f);
243 
244 // NO__ERRNO: declare double @cosh(double noundef) [[READNONE]]
245 // NO__ERRNO: declare float @coshf(float noundef) [[READNONE]]
246 // NO__ERRNO: declare x86_fp80 @coshl(x86_fp80 noundef) [[READNONE]]
247 // NO__ERRNO: declare fp128 @coshf128(fp128 noundef) [[READNONE]]
248 // HAS_ERRNO: declare double @cosh(double noundef) [[NOT_READNONE]]
249 // HAS_ERRNO: declare float @coshf(float noundef) [[NOT_READNONE]]
250 // HAS_ERRNO: declare x86_fp80 @coshl(x86_fp80 noundef) [[NOT_READNONE]]
251 // HAS_ERRNO: declare fp128 @coshf128(fp128 noundef) [[NOT_READNONE]]
252 
253   __builtin_erf(f);        __builtin_erff(f);       __builtin_erfl(f); __builtin_erff128(f);
254 
255 // NO__ERRNO: declare double @erf(double noundef) [[READNONE]]
256 // NO__ERRNO: declare float @erff(float noundef) [[READNONE]]
257 // NO__ERRNO: declare x86_fp80 @erfl(x86_fp80 noundef) [[READNONE]]
258 // NO__ERRNO: declare fp128 @erff128(fp128 noundef) [[READNONE]]
259 // HAS_ERRNO: declare double @erf(double noundef) [[NOT_READNONE]]
260 // HAS_ERRNO: declare float @erff(float noundef) [[NOT_READNONE]]
261 // HAS_ERRNO: declare x86_fp80 @erfl(x86_fp80 noundef) [[NOT_READNONE]]
262 // HAS_ERRNO: declare fp128 @erff128(fp128 noundef) [[NOT_READNONE]]
263 
264 __builtin_erfc(f);       __builtin_erfcf(f);      __builtin_erfcl(f); __builtin_erfcf128(f);
265 
266 // NO__ERRNO: declare double @erfc(double noundef) [[READNONE]]
267 // NO__ERRNO: declare float @erfcf(float noundef) [[READNONE]]
268 // NO__ERRNO: declare x86_fp80 @erfcl(x86_fp80 noundef) [[READNONE]]
269 // NO__ERRNO: declare fp128 @erfcf128(fp128 noundef) [[READNONE]]
270 // HAS_ERRNO: declare double @erfc(double noundef) [[NOT_READNONE]]
271 // HAS_ERRNO: declare float @erfcf(float noundef) [[NOT_READNONE]]
272 // HAS_ERRNO: declare x86_fp80 @erfcl(x86_fp80 noundef) [[NOT_READNONE]]
273 // HAS_ERRNO: declare fp128 @erfcf128(fp128 noundef) [[NOT_READNONE]]
274 
275 __builtin_exp(f);        __builtin_expf(f);       __builtin_expl(f); __builtin_expf128(f);
276 
277 // NO__ERRNO: declare double @llvm.exp.f64(double) [[READNONE_INTRINSIC]]
278 // NO__ERRNO: declare float @llvm.exp.f32(float) [[READNONE_INTRINSIC]]
279 // NO__ERRNO: declare x86_fp80 @llvm.exp.f80(x86_fp80) [[READNONE_INTRINSIC]]
280 // NO__ERRNO: declare fp128 @llvm.exp.f128(fp128) [[READNONE_INTRINSIC]]
281 // HAS_ERRNO: declare double @exp(double noundef) [[NOT_READNONE]]
282 // HAS_ERRNO: declare float @expf(float noundef) [[NOT_READNONE]]
283 // HAS_ERRNO: declare x86_fp80 @expl(x86_fp80 noundef) [[NOT_READNONE]]
284 // HAS_ERRNO: declare fp128 @expf128(fp128 noundef) [[NOT_READNONE]]
285 
286 __builtin_exp2(f);       __builtin_exp2f(f);      __builtin_exp2l(f); __builtin_exp2f128(f);
287 
288 // NO__ERRNO: declare double @llvm.exp2.f64(double) [[READNONE_INTRINSIC]]
289 // NO__ERRNO: declare float @llvm.exp2.f32(float) [[READNONE_INTRINSIC]]
290 // NO__ERRNO: declare x86_fp80 @llvm.exp2.f80(x86_fp80) [[READNONE_INTRINSIC]]
291 // NO__ERRNO: declare fp128 @llvm.exp2.f128(fp128) [[READNONE_INTRINSIC]]
292 // HAS_ERRNO: declare double @exp2(double noundef) [[NOT_READNONE]]
293 // HAS_ERRNO: declare float @exp2f(float noundef) [[NOT_READNONE]]
294 // HAS_ERRNO: declare x86_fp80 @exp2l(x86_fp80 noundef) [[NOT_READNONE]]
295 // HAS_ERRNO: declare fp128 @exp2f128(fp128 noundef) [[NOT_READNONE]]
296 
297 __builtin_expm1(f);      __builtin_expm1f(f);     __builtin_expm1l(f); __builtin_expm1f128(f);
298 
299 // NO__ERRNO: declare double @expm1(double noundef) [[READNONE]]
300 // NO__ERRNO: declare float @expm1f(float noundef) [[READNONE]]
301 // NO__ERRNO: declare x86_fp80 @expm1l(x86_fp80 noundef) [[READNONE]]
302 // NO__ERRNO: declare fp128 @expm1f128(fp128 noundef) [[READNONE]]
303 // HAS_ERRNO: declare double @expm1(double noundef) [[NOT_READNONE]]
304 // HAS_ERRNO: declare float @expm1f(float noundef) [[NOT_READNONE]]
305 // HAS_ERRNO: declare x86_fp80 @expm1l(x86_fp80 noundef) [[NOT_READNONE]]
306 // HAS_ERRNO: declare fp128 @expm1f128(fp128 noundef) [[NOT_READNONE]]
307 
308 __builtin_fdim(f,f);       __builtin_fdimf(f,f);      __builtin_fdiml(f,f); __builtin_fdimf128(f,f);
309 
310 // NO__ERRNO: declare double @fdim(double noundef, double noundef) [[READNONE]]
311 // NO__ERRNO: declare float @fdimf(float noundef, float noundef) [[READNONE]]
312 // NO__ERRNO: declare x86_fp80 @fdiml(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
313 // NO__ERRNO: declare fp128 @fdimf128(fp128 noundef, fp128 noundef) [[READNONE]]
314 // HAS_ERRNO: declare double @fdim(double noundef, double noundef) [[NOT_READNONE]]
315 // HAS_ERRNO: declare float @fdimf(float noundef, float noundef) [[NOT_READNONE]]
316 // HAS_ERRNO: declare x86_fp80 @fdiml(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
317 // HAS_ERRNO: declare fp128 @fdimf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
318 
319 __builtin_floor(f);      __builtin_floorf(f);     __builtin_floorl(f); __builtin_floorf128(f);
320 
321 // NO__ERRNO: declare double @llvm.floor.f64(double) [[READNONE_INTRINSIC]]
322 // NO__ERRNO: declare float @llvm.floor.f32(float) [[READNONE_INTRINSIC]]
323 // NO__ERRNO: declare x86_fp80 @llvm.floor.f80(x86_fp80) [[READNONE_INTRINSIC]]
324 // NO__ERRNO: declare fp128 @llvm.floor.f128(fp128) [[READNONE_INTRINSIC]]
325 // HAS_ERRNO: declare double @llvm.floor.f64(double) [[READNONE_INTRINSIC]]
326 // HAS_ERRNO: declare float @llvm.floor.f32(float) [[READNONE_INTRINSIC]]
327 // HAS_ERRNO: declare x86_fp80 @llvm.floor.f80(x86_fp80) [[READNONE_INTRINSIC]]
328 // HAS_ERRNO: declare fp128 @llvm.floor.f128(fp128) [[READNONE_INTRINSIC]]
329 
330 __builtin_fma(f,f,f);        __builtin_fmaf(f,f,f);       __builtin_fmal(f,f,f); __builtin_fmaf128(f,f,f);
331 
332 // NO__ERRNO: declare double @llvm.fma.f64(double, double, double) [[READNONE_INTRINSIC]]
333 // NO__ERRNO: declare float @llvm.fma.f32(float, float, float) [[READNONE_INTRINSIC]]
334 // NO__ERRNO: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
335 // NO__ERRNO: declare fp128 @llvm.fma.f128(fp128, fp128, fp128) [[READNONE_INTRINSIC]]
336 // HAS_ERRNO: declare double @fma(double noundef, double noundef, double noundef) [[NOT_READNONE]]
337 // HAS_ERRNO: declare float @fmaf(float noundef, float noundef, float noundef) [[NOT_READNONE]]
338 // HAS_ERRNO: declare x86_fp80 @fmal(x86_fp80 noundef, x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
339 // HAS_ERRNO: declare fp128 @fmaf128(fp128 noundef, fp128 noundef, fp128 noundef) [[NOT_READNONE]]
340 
341 // On GNU or Win, fma never sets errno, so we can convert to the intrinsic.
342 
343 // HAS_ERRNO_GNU: declare double @llvm.fma.f64(double, double, double) [[READNONE_INTRINSIC:#[0-9]+]]
344 // HAS_ERRNO_GNU: declare float @llvm.fma.f32(float, float, float) [[READNONE_INTRINSIC]]
345 // HAS_ERRNO_GNU: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
346 
347 // HAS_ERRNO_WIN: declare double @llvm.fma.f64(double, double, double) [[READNONE_INTRINSIC:#[0-9]+]]
348 // HAS_ERRNO_WIN: declare float @llvm.fma.f32(float, float, float) [[READNONE_INTRINSIC]]
349 // Long double is just double on win, so no f80 use/declaration.
350 // HAS_ERRNO_WIN-NOT: declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80)
351 
352 __builtin_fmax(f,f);       __builtin_fmaxf(f,f);      __builtin_fmaxl(f,f); __builtin_fmaxf128(f,f);
353 
354 // NO__ERRNO: declare double @llvm.maxnum.f64(double, double) [[READNONE_INTRINSIC]]
355 // NO__ERRNO: declare float @llvm.maxnum.f32(float, float) [[READNONE_INTRINSIC]]
356 // NO__ERRNO: declare x86_fp80 @llvm.maxnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
357 // NO__ERRNO: declare fp128 @llvm.maxnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
358 // HAS_ERRNO: declare double @llvm.maxnum.f64(double, double) [[READNONE_INTRINSIC]]
359 // HAS_ERRNO: declare float @llvm.maxnum.f32(float, float) [[READNONE_INTRINSIC]]
360 // HAS_ERRNO: declare x86_fp80 @llvm.maxnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
361 // HAS_ERRNO: declare fp128 @llvm.maxnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
362 
363 __builtin_fmin(f,f);       __builtin_fminf(f,f);      __builtin_fminl(f,f); __builtin_fminf128(f,f);
364 
365 // NO__ERRNO: declare double @llvm.minnum.f64(double, double) [[READNONE_INTRINSIC]]
366 // NO__ERRNO: declare float @llvm.minnum.f32(float, float) [[READNONE_INTRINSIC]]
367 // NO__ERRNO: declare x86_fp80 @llvm.minnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
368 // NO__ERRNO: declare fp128 @llvm.minnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
369 // HAS_ERRNO: declare double @llvm.minnum.f64(double, double) [[READNONE_INTRINSIC]]
370 // HAS_ERRNO: declare float @llvm.minnum.f32(float, float) [[READNONE_INTRINSIC]]
371 // HAS_ERRNO: declare x86_fp80 @llvm.minnum.f80(x86_fp80, x86_fp80) [[READNONE_INTRINSIC]]
372 // HAS_ERRNO: declare fp128 @llvm.minnum.f128(fp128, fp128) [[READNONE_INTRINSIC]]
373 
374 __builtin_hypot(f,f);      __builtin_hypotf(f,f);     __builtin_hypotl(f,f); __builtin_hypotf128(f,f);
375 
376 // NO__ERRNO: declare double @hypot(double noundef, double noundef) [[READNONE]]
377 // NO__ERRNO: declare float @hypotf(float noundef, float noundef) [[READNONE]]
378 // NO__ERRNO: declare x86_fp80 @hypotl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
379 // NO__ERRNO: declare fp128 @hypotf128(fp128 noundef, fp128 noundef) [[READNONE]]
380 // HAS_ERRNO: declare double @hypot(double noundef, double noundef) [[NOT_READNONE]]
381 // HAS_ERRNO: declare float @hypotf(float noundef, float noundef) [[NOT_READNONE]]
382 // HAS_ERRNO: declare x86_fp80 @hypotl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
383 // HAS_ERRNO: declare fp128 @hypotf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
384 
385 __builtin_ilogb(f);      __builtin_ilogbf(f);     __builtin_ilogbl(f); __builtin_ilogbf128(f);
386 
387 // NO__ERRNO: declare i32 @ilogb(double noundef) [[READNONE]]
388 // NO__ERRNO: declare i32 @ilogbf(float noundef) [[READNONE]]
389 // NO__ERRNO: declare i32 @ilogbl(x86_fp80 noundef) [[READNONE]]
390 // NO__ERRNO: declare i32 @ilogbf128(fp128 noundef) [[READNONE]]
391 // HAS_ERRNO: declare i32 @ilogb(double noundef) [[NOT_READNONE]]
392 // HAS_ERRNO: declare i32 @ilogbf(float noundef) [[NOT_READNONE]]
393 // HAS_ERRNO: declare i32 @ilogbl(x86_fp80 noundef) [[NOT_READNONE]]
394 // HAS_ERRNO: declare i32 @ilogbf128(fp128 noundef) [[NOT_READNONE]]
395 
396 __builtin_lgamma(f);     __builtin_lgammaf(f);    __builtin_lgammal(f); __builtin_lgammaf128(f);
397 
398 // NO__ERRNO: declare double @lgamma(double noundef) [[NOT_READNONE]]
399 // NO__ERRNO: declare float @lgammaf(float noundef) [[NOT_READNONE]]
400 // NO__ERRNO: declare x86_fp80 @lgammal(x86_fp80 noundef) [[NOT_READNONE]]
401 // NO__ERRNO: declare fp128 @lgammaf128(fp128 noundef) [[NOT_READNONE]]
402 // HAS_ERRNO: declare double @lgamma(double noundef) [[NOT_READNONE]]
403 // HAS_ERRNO: declare float @lgammaf(float noundef) [[NOT_READNONE]]
404 // HAS_ERRNO: declare x86_fp80 @lgammal(x86_fp80 noundef) [[NOT_READNONE]]
405 // HAS_ERRNO: declare fp128 @lgammaf128(fp128 noundef) [[NOT_READNONE]]
406 
407 __builtin_llrint(f);     __builtin_llrintf(f);    __builtin_llrintl(f); __builtin_llrintf128(f);
408 
409 // NO__ERRNO: declare i64 @llvm.llrint.i64.f64(double) [[READNONE_INTRINSIC]]
410 // NO__ERRNO: declare i64 @llvm.llrint.i64.f32(float) [[READNONE_INTRINSIC]]
411 // NO__ERRNO: declare i64 @llvm.llrint.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
412 // NO__ERRNO: declare i64 @llvm.llrint.i64.f128(fp128) [[READNONE_INTRINSIC]]
413 // HAS_ERRNO: declare i64 @llrint(double noundef) [[NOT_READNONE]]
414 // HAS_ERRNO: declare i64 @llrintf(float noundef) [[NOT_READNONE]]
415 // HAS_ERRNO: declare i64 @llrintl(x86_fp80 noundef) [[NOT_READNONE]]
416 // HAS_ERRNO: declare i64 @llrintf128(fp128 noundef) [[NOT_READNONE]]
417 
418 __builtin_llround(f);    __builtin_llroundf(f);   __builtin_llroundl(f); __builtin_llroundf128(f);
419 
420 // NO__ERRNO: declare i64 @llvm.llround.i64.f64(double) [[READNONE_INTRINSIC]]
421 // NO__ERRNO: declare i64 @llvm.llround.i64.f32(float) [[READNONE_INTRINSIC]]
422 // NO__ERRNO: declare i64 @llvm.llround.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
423 // NO__ERRNO: declare i64 @llvm.llround.i64.f128(fp128) [[READNONE_INTRINSIC]]
424 // HAS_ERRNO: declare i64 @llround(double noundef) [[NOT_READNONE]]
425 // HAS_ERRNO: declare i64 @llroundf(float noundef) [[NOT_READNONE]]
426 // HAS_ERRNO: declare i64 @llroundl(x86_fp80 noundef) [[NOT_READNONE]]
427 // HAS_ERRNO: declare i64 @llroundf128(fp128 noundef) [[NOT_READNONE]]
428 
429 __builtin_log(f);        __builtin_logf(f);       __builtin_logl(f); __builtin_logf128(f);
430 
431 // NO__ERRNO: declare double @llvm.log.f64(double) [[READNONE_INTRINSIC]]
432 // NO__ERRNO: declare float @llvm.log.f32(float) [[READNONE_INTRINSIC]]
433 // NO__ERRNO: declare x86_fp80 @llvm.log.f80(x86_fp80) [[READNONE_INTRINSIC]]
434 // NO__ERRNO: declare fp128 @llvm.log.f128(fp128) [[READNONE_INTRINSIC]]
435 // HAS_ERRNO: declare double @log(double noundef) [[NOT_READNONE]]
436 // HAS_ERRNO: declare float @logf(float noundef) [[NOT_READNONE]]
437 // HAS_ERRNO: declare x86_fp80 @logl(x86_fp80 noundef) [[NOT_READNONE]]
438 // HAS_ERRNO: declare fp128 @logf128(fp128 noundef) [[NOT_READNONE]]
439 
440 __builtin_log10(f);      __builtin_log10f(f);     __builtin_log10l(f); __builtin_log10f128(f);
441 
442 // NO__ERRNO: declare double @llvm.log10.f64(double) [[READNONE_INTRINSIC]]
443 // NO__ERRNO: declare float @llvm.log10.f32(float) [[READNONE_INTRINSIC]]
444 // NO__ERRNO: declare x86_fp80 @llvm.log10.f80(x86_fp80) [[READNONE_INTRINSIC]]
445 // NO__ERRNO: declare fp128 @llvm.log10.f128(fp128) [[READNONE_INTRINSIC]]
446 // HAS_ERRNO: declare double @log10(double noundef) [[NOT_READNONE]]
447 // HAS_ERRNO: declare float @log10f(float noundef) [[NOT_READNONE]]
448 // HAS_ERRNO: declare x86_fp80 @log10l(x86_fp80 noundef) [[NOT_READNONE]]
449 // HAS_ERRNO: declare fp128 @log10f128(fp128 noundef) [[NOT_READNONE]]
450 
451 __builtin_log1p(f);      __builtin_log1pf(f);     __builtin_log1pl(f); __builtin_log1pf128(f);
452 
453 // NO__ERRNO: declare double @log1p(double noundef) [[READNONE]]
454 // NO__ERRNO: declare float @log1pf(float noundef) [[READNONE]]
455 // NO__ERRNO: declare x86_fp80 @log1pl(x86_fp80 noundef) [[READNONE]]
456 // NO__ERRNO: declare fp128 @log1pf128(fp128 noundef) [[READNONE]]
457 // HAS_ERRNO: declare double @log1p(double noundef) [[NOT_READNONE]]
458 // HAS_ERRNO: declare float @log1pf(float noundef) [[NOT_READNONE]]
459 // HAS_ERRNO: declare x86_fp80 @log1pl(x86_fp80 noundef) [[NOT_READNONE]]
460 // HAS_ERRNO: declare fp128 @log1pf128(fp128 noundef) [[NOT_READNONE]]
461 
462 __builtin_log2(f);       __builtin_log2f(f);      __builtin_log2l(f); __builtin_log2f128(f);
463 
464 // NO__ERRNO: declare double @llvm.log2.f64(double) [[READNONE_INTRINSIC]]
465 // NO__ERRNO: declare float @llvm.log2.f32(float) [[READNONE_INTRINSIC]]
466 // NO__ERRNO: declare x86_fp80 @llvm.log2.f80(x86_fp80) [[READNONE_INTRINSIC]]
467 // NO__ERRNO: declare fp128 @llvm.log2.f128(fp128) [[READNONE_INTRINSIC]]
468 // HAS_ERRNO: declare double @log2(double noundef) [[NOT_READNONE]]
469 // HAS_ERRNO: declare float @log2f(float noundef) [[NOT_READNONE]]
470 // HAS_ERRNO: declare x86_fp80 @log2l(x86_fp80 noundef) [[NOT_READNONE]]
471 // HAS_ERRNO: declare fp128 @log2f128(fp128 noundef) [[NOT_READNONE]]
472 
473 __builtin_logb(f);       __builtin_logbf(f);      __builtin_logbl(f); __builtin_logbf128(f);
474 
475 // NO__ERRNO: declare double @logb(double noundef) [[READNONE]]
476 // NO__ERRNO: declare float @logbf(float noundef) [[READNONE]]
477 // NO__ERRNO: declare x86_fp80 @logbl(x86_fp80 noundef) [[READNONE]]
478 // NO__ERRNO: declare fp128 @logbf128(fp128 noundef) [[READNONE]]
479 // HAS_ERRNO: declare double @logb(double noundef) [[NOT_READNONE]]
480 // HAS_ERRNO: declare float @logbf(float noundef) [[NOT_READNONE]]
481 // HAS_ERRNO: declare x86_fp80 @logbl(x86_fp80 noundef) [[NOT_READNONE]]
482 // HAS_ERRNO: declare fp128 @logbf128(fp128 noundef) [[NOT_READNONE]]
483 
484 __builtin_lrint(f);      __builtin_lrintf(f);     __builtin_lrintl(f); __builtin_lrintf128(f);
485 
486 // NO__ERRNO: declare i64 @llvm.lrint.i64.f64(double) [[READNONE_INTRINSIC]]
487 // NO__ERRNO: declare i64 @llvm.lrint.i64.f32(float) [[READNONE_INTRINSIC]]
488 // NO__ERRNO: declare i64 @llvm.lrint.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
489 // NO__ERRNO: declare i64 @llvm.lrint.i64.f128(fp128) [[READNONE_INTRINSIC]]
490 // HAS_ERRNO: declare i64 @lrint(double noundef) [[NOT_READNONE]]
491 // HAS_ERRNO: declare i64 @lrintf(float noundef) [[NOT_READNONE]]
492 // HAS_ERRNO: declare i64 @lrintl(x86_fp80 noundef) [[NOT_READNONE]]
493 // HAS_ERRNO: declare i64 @lrintf128(fp128 noundef) [[NOT_READNONE]]
494 
495 __builtin_lround(f);     __builtin_lroundf(f);    __builtin_lroundl(f);  __builtin_lroundf128(f);
496 
497 // NO__ERRNO: declare i64 @llvm.lround.i64.f64(double) [[READNONE_INTRINSIC]]
498 // NO__ERRNO: declare i64 @llvm.lround.i64.f32(float) [[READNONE_INTRINSIC]]
499 // NO__ERRNO: declare i64 @llvm.lround.i64.f80(x86_fp80) [[READNONE_INTRINSIC]]
500 // NO__ERRNO: declare i64 @llvm.lround.i64.f128(fp128) [[READNONE_INTRINSIC]]
501 // HAS_ERRNO: declare i64 @lround(double noundef) [[NOT_READNONE]]
502 // HAS_ERRNO: declare i64 @lroundf(float noundef) [[NOT_READNONE]]
503 // HAS_ERRNO: declare i64 @lroundl(x86_fp80 noundef) [[NOT_READNONE]]
504 // HAS_ERRNO: declare i64 @lroundf128(fp128 noundef) [[NOT_READNONE]]
505 
506 __builtin_nearbyint(f);  __builtin_nearbyintf(f); __builtin_nearbyintl(f); __builtin_nearbyintf128(f);
507 
508 // NO__ERRNO: declare double @llvm.nearbyint.f64(double) [[READNONE_INTRINSIC]]
509 // NO__ERRNO: declare float @llvm.nearbyint.f32(float) [[READNONE_INTRINSIC]]
510 // NO__ERRNO: declare x86_fp80 @llvm.nearbyint.f80(x86_fp80) [[READNONE_INTRINSIC]]
511 // NO__ERRNO: declare fp128 @llvm.nearbyint.f128(fp128) [[READNONE_INTRINSIC]]
512 // HAS_ERRNO: declare double @llvm.nearbyint.f64(double) [[READNONE_INTRINSIC]]
513 // HAS_ERRNO: declare float @llvm.nearbyint.f32(float) [[READNONE_INTRINSIC]]
514 // HAS_ERRNO: declare x86_fp80 @llvm.nearbyint.f80(x86_fp80) [[READNONE_INTRINSIC]]
515 // HAS_ERRNO: declare fp128 @llvm.nearbyint.f128(fp128) [[READNONE_INTRINSIC]]
516 
517 __builtin_nextafter(f,f);  __builtin_nextafterf(f,f); __builtin_nextafterl(f,f); __builtin_nextafterf128(f,f);
518 
519 // NO__ERRNO: declare double @nextafter(double noundef, double noundef) [[READNONE]]
520 // NO__ERRNO: declare float @nextafterf(float noundef, float noundef) [[READNONE]]
521 // NO__ERRNO: declare x86_fp80 @nextafterl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
522 // NO__ERRNO: declare fp128 @nextafterf128(fp128 noundef, fp128 noundef) [[READNONE]]
523 // HAS_ERRNO: declare double @nextafter(double noundef, double noundef) [[NOT_READNONE]]
524 // HAS_ERRNO: declare float @nextafterf(float noundef, float noundef) [[NOT_READNONE]]
525 // HAS_ERRNO: declare x86_fp80 @nextafterl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
526 // HAS_ERRNO: declare fp128 @nextafterf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
527 
528 __builtin_nexttoward(f,f); __builtin_nexttowardf(f,f);__builtin_nexttowardl(f,f); __builtin_nexttowardf128(f,f);
529 
530 // NO__ERRNO: declare double @nexttoward(double noundef, x86_fp80 noundef) [[READNONE]]
531 // NO__ERRNO: declare float @nexttowardf(float noundef, x86_fp80 noundef) [[READNONE]]
532 // NO__ERRNO: declare x86_fp80 @nexttowardl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
533 // NO__ERRNO: declare fp128 @nexttowardf128(fp128 noundef, fp128 noundef) [[READNONE]]
534 // HAS_ERRNO: declare double @nexttoward(double noundef, x86_fp80 noundef) [[NOT_READNONE]]
535 // HAS_ERRNO: declare float @nexttowardf(float noundef, x86_fp80 noundef) [[NOT_READNONE]]
536 // HAS_ERRNO: declare x86_fp80 @nexttowardl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
537 // HAS_ERRNO: declare fp128 @nexttowardf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
538 
539 __builtin_remainder(f,f);  __builtin_remainderf(f,f); __builtin_remainderl(f,f); __builtin_remainderf128(f,f);
540 
541 // NO__ERRNO: declare double @remainder(double noundef, double noundef) [[READNONE]]
542 // NO__ERRNO: declare float @remainderf(float noundef, float noundef) [[READNONE]]
543 // NO__ERRNO: declare x86_fp80 @remainderl(x86_fp80 noundef, x86_fp80 noundef) [[READNONE]]
544 // NO__ERRNO: declare fp128 @remainderf128(fp128 noundef, fp128 noundef) [[READNONE]]
545 // HAS_ERRNO: declare double @remainder(double noundef, double noundef) [[NOT_READNONE]]
546 // HAS_ERRNO: declare float @remainderf(float noundef, float noundef) [[NOT_READNONE]]
547 // HAS_ERRNO: declare x86_fp80 @remainderl(x86_fp80 noundef, x86_fp80 noundef) [[NOT_READNONE]]
548 // HAS_ERRNO: declare fp128 @remainderf128(fp128 noundef, fp128 noundef) [[NOT_READNONE]]
549 
550 __builtin_remquo(f,f,i);  __builtin_remquof(f,f,i); __builtin_remquol(f,f,i); __builtin_remquof128(f,f,i);
551 
552 // NO__ERRNO: declare double @remquo(double noundef, double noundef, i32* noundef) [[NOT_READNONE]]
553 // NO__ERRNO: declare float @remquof(float noundef, float noundef, i32* noundef) [[NOT_READNONE]]
554 // NO__ERRNO: declare x86_fp80 @remquol(x86_fp80 noundef, x86_fp80 noundef, i32* noundef) [[NOT_READNONE]]
555 // NO__ERRNO: declare fp128 @remquof128(fp128 noundef, fp128 noundef, i32* noundef) [[NOT_READNONE]]
556 // HAS_ERRNO: declare double @remquo(double noundef, double noundef, i32* noundef) [[NOT_READNONE]]
557 // HAS_ERRNO: declare float @remquof(float noundef, float noundef, i32* noundef) [[NOT_READNONE]]
558 // HAS_ERRNO: declare x86_fp80 @remquol(x86_fp80 noundef, x86_fp80 noundef, i32* noundef) [[NOT_READNONE]]
559 // HAS_ERRNO: declare fp128 @remquof128(fp128 noundef, fp128 noundef, i32* noundef) [[NOT_READNONE]]
560 
561 __builtin_rint(f);       __builtin_rintf(f);      __builtin_rintl(f); __builtin_rintf128(f);
562 
563 // NO__ERRNO: declare double @llvm.rint.f64(double) [[READNONE_INTRINSIC]]
564 // NO__ERRNO: declare float @llvm.rint.f32(float) [[READNONE_INTRINSIC]]
565 // NO__ERRNO: declare x86_fp80 @llvm.rint.f80(x86_fp80) [[READNONE_INTRINSIC]]
566 // NO__ERRNO: declare fp128 @llvm.rint.f128(fp128) [[READNONE_INTRINSIC]]
567 // HAS_ERRNO: declare double @llvm.rint.f64(double) [[READNONE_INTRINSIC]]
568 // HAS_ERRNO: declare float @llvm.rint.f32(float) [[READNONE_INTRINSIC]]
569 // HAS_ERRNO: declare x86_fp80 @llvm.rint.f80(x86_fp80) [[READNONE_INTRINSIC]]
570 // HAS_ERRNO: declare fp128 @llvm.rint.f128(fp128) [[READNONE_INTRINSIC]]
571 
572 __builtin_round(f);      __builtin_roundf(f);     __builtin_roundl(f); __builtin_roundf128(f);
573 
574 // NO__ERRNO: declare double @llvm.round.f64(double) [[READNONE_INTRINSIC]]
575 // NO__ERRNO: declare float @llvm.round.f32(float) [[READNONE_INTRINSIC]]
576 // NO__ERRNO: declare x86_fp80 @llvm.round.f80(x86_fp80) [[READNONE_INTRINSIC]]
577 // NO__ERRNO: declare fp128 @llvm.round.f128(fp128) [[READNONE_INTRINSIC]]
578 // HAS_ERRNO: declare double @llvm.round.f64(double) [[READNONE_INTRINSIC]]
579 // HAS_ERRNO: declare float @llvm.round.f32(float) [[READNONE_INTRINSIC]]
580 // HAS_ERRNO: declare x86_fp80 @llvm.round.f80(x86_fp80) [[READNONE_INTRINSIC]]
581 // HAS_ERRNO: declare fp128 @llvm.round.f128(fp128) [[READNONE_INTRINSIC]]
582 
583 __builtin_scalbln(f,f);    __builtin_scalblnf(f,f);   __builtin_scalblnl(f,f); __builtin_scalblnf128(f,f);
584 
585 // NO__ERRNO: declare double @scalbln(double noundef, i64 noundef) [[READNONE]]
586 // NO__ERRNO: declare float @scalblnf(float noundef, i64 noundef) [[READNONE]]
587 // NO__ERRNO: declare x86_fp80 @scalblnl(x86_fp80 noundef, i64 noundef) [[READNONE]]
588 // NO__ERRNO: declare fp128 @scalblnf128(fp128 noundef, i64 noundef) [[READNONE]]
589 // HAS_ERRNO: declare double @scalbln(double noundef, i64 noundef) [[NOT_READNONE]]
590 // HAS_ERRNO: declare float @scalblnf(float noundef, i64 noundef) [[NOT_READNONE]]
591 // HAS_ERRNO: declare x86_fp80 @scalblnl(x86_fp80 noundef, i64 noundef) [[NOT_READNONE]]
592 // HAS_ERRNO: declare fp128 @scalblnf128(fp128 noundef, i64 noundef) [[NOT_READNONE]]
593 
594 __builtin_scalbn(f,f);     __builtin_scalbnf(f,f);    __builtin_scalbnl(f,f); __builtin_scalbnf128(f,f);
595 
596 // NO__ERRNO: declare double @scalbn(double noundef, i32 noundef) [[READNONE]]
597 // NO__ERRNO: declare float @scalbnf(float noundef, i32 noundef) [[READNONE]]
598 // NO__ERRNO: declare x86_fp80 @scalbnl(x86_fp80 noundef, i32 noundef) [[READNONE]]
599 // NO__ERRNO: declare fp128 @scalbnf128(fp128 noundef, i32 noundef) [[READNONE]]
600 // HAS_ERRNO: declare double @scalbn(double noundef, i32 noundef) [[NOT_READNONE]]
601 // HAS_ERRNO: declare float @scalbnf(float noundef, i32 noundef) [[NOT_READNONE]]
602 // HAS_ERRNO: declare x86_fp80 @scalbnl(x86_fp80 noundef, i32 noundef) [[NOT_READNONE]]
603 // HAS_ERRNO: declare fp128 @scalbnf128(fp128 noundef, i32 noundef) [[NOT_READNONE]]
604 
605 __builtin_sin(f);        __builtin_sinf(f);       __builtin_sinl(f); __builtin_sinf128(f);
606 
607 // NO__ERRNO: declare double @llvm.sin.f64(double) [[READNONE_INTRINSIC]]
608 // NO__ERRNO: declare float @llvm.sin.f32(float) [[READNONE_INTRINSIC]]
609 // NO__ERRNO: declare x86_fp80 @llvm.sin.f80(x86_fp80) [[READNONE_INTRINSIC]]
610 // NO__ERRNO: declare fp128 @llvm.sin.f128(fp128) [[READNONE_INTRINSIC]]
611 // HAS_ERRNO: declare double @sin(double noundef) [[NOT_READNONE]]
612 // HAS_ERRNO: declare float @sinf(float noundef) [[NOT_READNONE]]
613 // HAS_ERRNO: declare x86_fp80 @sinl(x86_fp80 noundef) [[NOT_READNONE]]
614 // HAS_ERRNO: declare fp128 @sinf128(fp128 noundef) [[NOT_READNONE]]
615 
616 __builtin_sinh(f);       __builtin_sinhf(f);      __builtin_sinhl(f); __builtin_sinhf128(f);
617 
618 // NO__ERRNO: declare double @sinh(double noundef) [[READNONE]]
619 // NO__ERRNO: declare float @sinhf(float noundef) [[READNONE]]
620 // NO__ERRNO: declare x86_fp80 @sinhl(x86_fp80 noundef) [[READNONE]]
621 // NO__ERRNO: declare fp128 @sinhf128(fp128 noundef) [[READNONE]]
622 // HAS_ERRNO: declare double @sinh(double noundef) [[NOT_READNONE]]
623 // HAS_ERRNO: declare float @sinhf(float noundef) [[NOT_READNONE]]
624 // HAS_ERRNO: declare x86_fp80 @sinhl(x86_fp80 noundef) [[NOT_READNONE]]
625 // HAS_ERRNO: declare fp128 @sinhf128(fp128 noundef) [[NOT_READNONE]]
626 
627 __builtin_sqrt(f);       __builtin_sqrtf(f);      __builtin_sqrtl(f); __builtin_sqrtf128(f);
628 
629 // NO__ERRNO: declare double @llvm.sqrt.f64(double) [[READNONE_INTRINSIC]]
630 // NO__ERRNO: declare float @llvm.sqrt.f32(float) [[READNONE_INTRINSIC]]
631 // NO__ERRNO: declare x86_fp80 @llvm.sqrt.f80(x86_fp80) [[READNONE_INTRINSIC]]
632 // NO__ERRNO: declare fp128 @llvm.sqrt.f128(fp128) [[READNONE_INTRINSIC]]
633 // HAS_ERRNO: declare double @sqrt(double noundef) [[NOT_READNONE]]
634 // HAS_ERRNO: declare float @sqrtf(float noundef) [[NOT_READNONE]]
635 // HAS_ERRNO: declare x86_fp80 @sqrtl(x86_fp80 noundef) [[NOT_READNONE]]
636 // HAS_ERRNO: declare fp128 @sqrtf128(fp128 noundef) [[NOT_READNONE]]
637 
638 __builtin_tan(f);        __builtin_tanf(f);       __builtin_tanl(f); __builtin_tanf128(f);
639 
640 // NO__ERRNO: declare double @tan(double noundef) [[READNONE]]
641 // NO__ERRNO: declare float @tanf(float noundef) [[READNONE]]
642 // NO__ERRNO: declare x86_fp80 @tanl(x86_fp80 noundef) [[READNONE]]
643 // NO__ERRNO: declare fp128 @tanf128(fp128 noundef) [[READNONE]]
644 // HAS_ERRNO: declare double @tan(double noundef) [[NOT_READNONE]]
645 // HAS_ERRNO: declare float @tanf(float noundef) [[NOT_READNONE]]
646 // HAS_ERRNO: declare x86_fp80 @tanl(x86_fp80 noundef) [[NOT_READNONE]]
647 // HAS_ERRNO: declare fp128 @tanf128(fp128 noundef) [[NOT_READNONE]]
648 
649 __builtin_tanh(f);       __builtin_tanhf(f);      __builtin_tanhl(f); __builtin_tanhf128(f);
650 
651 // NO__ERRNO: declare double @tanh(double noundef) [[READNONE]]
652 // NO__ERRNO: declare float @tanhf(float noundef) [[READNONE]]
653 // NO__ERRNO: declare x86_fp80 @tanhl(x86_fp80 noundef) [[READNONE]]
654 // NO__ERRNO: declare fp128 @tanhf128(fp128 noundef) [[READNONE]]
655 // HAS_ERRNO: declare double @tanh(double noundef) [[NOT_READNONE]]
656 // HAS_ERRNO: declare float @tanhf(float noundef) [[NOT_READNONE]]
657 // HAS_ERRNO: declare x86_fp80 @tanhl(x86_fp80 noundef) [[NOT_READNONE]]
658 // HAS_ERRNO: declare fp128 @tanhf128(fp128 noundef) [[NOT_READNONE]]
659 
660 __builtin_tgamma(f);     __builtin_tgammaf(f);    __builtin_tgammal(f); __builtin_tgammaf128(f);
661 
662 // NO__ERRNO: declare double @tgamma(double noundef) [[READNONE]]
663 // NO__ERRNO: declare float @tgammaf(float noundef) [[READNONE]]
664 // NO__ERRNO: declare x86_fp80 @tgammal(x86_fp80 noundef) [[READNONE]]
665 // NO__ERRNO: declare fp128 @tgammaf128(fp128 noundef) [[READNONE]]
666 // HAS_ERRNO: declare double @tgamma(double noundef) [[NOT_READNONE]]
667 // HAS_ERRNO: declare float @tgammaf(float noundef) [[NOT_READNONE]]
668 // HAS_ERRNO: declare x86_fp80 @tgammal(x86_fp80 noundef) [[NOT_READNONE]]
669 // HAS_ERRNO: declare fp128 @tgammaf128(fp128 noundef) [[NOT_READNONE]]
670 
671 __builtin_trunc(f);      __builtin_truncf(f);     __builtin_truncl(f); __builtin_truncf128(f);
672 
673 // NO__ERRNO: declare double @llvm.trunc.f64(double) [[READNONE_INTRINSIC]]
674 // NO__ERRNO: declare float @llvm.trunc.f32(float) [[READNONE_INTRINSIC]]
675 // NO__ERRNO: declare x86_fp80 @llvm.trunc.f80(x86_fp80) [[READNONE_INTRINSIC]]
676 // NO__ERRNO: declare fp128 @llvm.trunc.f128(fp128) [[READNONE_INTRINSIC]]
677 // HAS_ERRNO: declare double @llvm.trunc.f64(double) [[READNONE_INTRINSIC]]
678 // HAS_ERRNO: declare float @llvm.trunc.f32(float) [[READNONE_INTRINSIC]]
679 // HAS_ERRNO: declare x86_fp80 @llvm.trunc.f80(x86_fp80) [[READNONE_INTRINSIC]]
680 // HAS_ERRNO: declare fp128 @llvm.trunc.f128(fp128) [[READNONE_INTRINSIC]]
681 };
682 
683 // NO__ERRNO: attributes [[READNONE]] = { {{.*}}readnone{{.*}} }
684 // NO__ERRNO: attributes [[READNONE_INTRINSIC]] = { {{.*}}readnone{{.*}} }
685 // NO__ERRNO: attributes [[NOT_READNONE]] = { nounwind {{.*}} }
686 // NO__ERRNO: attributes [[PURE]] = { {{.*}}readonly{{.*}} }
687 
688 // HAS_ERRNO: attributes [[NOT_READNONE]] = { nounwind {{.*}} }
689 // HAS_ERRNO: attributes [[READNONE_INTRINSIC]] = { {{.*}}readnone{{.*}} }
690 // HAS_ERRNO: attributes [[PURE]] = { {{.*}}readonly{{.*}} }
691 // HAS_ERRNO: attributes [[READNONE]] = { {{.*}}readnone{{.*}} }
692 
693 // HAS_ERRNO_GNU: attributes [[READNONE_INTRINSIC]] = { {{.*}}readnone{{.*}} }
694 // HAS_ERRNO_WIN: attributes [[READNONE_INTRINSIC]] = { {{.*}}readnone{{.*}} }
695 
696