float128_private.h 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438
  1. /* _Float128 overrides for building ldbl-128 as _Float128.
  2. Copyright (C) 2017-2026 Free Software Foundation, Inc.
  3. This file is part of the GNU C Library.
  4. The GNU C Library is free software; you can redistribute it and/or
  5. modify it under the terms of the GNU Lesser General Public
  6. License as published by the Free Software Foundation; either
  7. version 2.1 of the License, or (at your option) any later version.
  8. The GNU C Library is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  11. Lesser General Public License for more details.
  12. You should have received a copy of the GNU Lesser General Public
  13. License along with the GNU C Library; if not, see
  14. <https://www.gnu.org/licenses/>. */
  15. /* This must be included before the function renames below. */
  16. #include <gmp.h>
  17. #include <math.h>
  18. #undef HUGE_VALL
  19. #define HUGE_VALL HUGE_VAL_F128
  20. #include <math/mul_splitl.h>
  21. /* This must be included before the renames of types and macros from
  22. it. */
  23. #include <ieee754.h>
  24. /* Renames derived from math_private.h. */
  25. #include <math_private.h>
  26. #include <fenv_private.h>
  27. #include <ieee754_float128.h>
  28. #define ieee854_long_double_shape_type ieee854_float128_shape_type
  29. #define ieee854_long_double ieee854_float128
  30. #undef GET_LDOUBLE_LSW64
  31. #undef GET_LDOUBLE_MSW64
  32. #undef GET_LDOUBLE_WORDS64
  33. #undef SET_LDOUBLE_LSW64
  34. #undef SET_LDOUBLE_MSW64
  35. #undef SET_LDOUBLE_WORDS64
  36. #define GET_LDOUBLE_LSW64(x,y) GET_FLOAT128_LSW64 (x, y)
  37. #define GET_LDOUBLE_MSW64(x,y) GET_FLOAT128_MSW64 (x, y)
  38. #define GET_LDOUBLE_WORDS64(x,y,z) GET_FLOAT128_WORDS64 (x, y, z)
  39. #define SET_LDOUBLE_LSW64(x,y) SET_FLOAT128_LSW64 (x, y)
  40. #define SET_LDOUBLE_MSW64(x,y) SET_FLOAT128_MSW64 (x, y)
  41. #define SET_LDOUBLE_WORDS64(x,y,z) SET_FLOAT128_WORDS64 (x, y, z)
  42. #undef IEEE854_LONG_DOUBLE_BIAS
  43. #define IEEE854_LONG_DOUBLE_BIAS IEEE854_FLOAT128_BIAS
  44. #ifdef SET_RESTORE_ROUNDF128
  45. # undef SET_RESTORE_ROUNDL
  46. # define SET_RESTORE_ROUNDL(RM) SET_RESTORE_ROUNDF128 (RM)
  47. #endif
  48. #ifdef libc_feholdexcept_setroundf128
  49. # undef libc_feholdexcept_setroundl
  50. # define libc_feholdexcept_setroundl(ENV, RM) \
  51. libc_feholdexcept_setroundf128 (ENV, RM)
  52. #endif
  53. #ifdef libc_feupdateenv_testf128
  54. # undef libc_feupdateenv_testl
  55. # define libc_feupdateenv_testl(ENV, EX) libc_feupdateenv_testf128 (ENV, EX)
  56. #endif
  57. /* misc macros from the header below. */
  58. #include <fix-fp-int-convert-overflow.h>
  59. #undef FIX_LDBL_LONG_CONVERT_OVERFLOW
  60. #undef FIX_LDBL_LLONG_CONVERT_OVERFLOW
  61. #define FIX_LDBL_LONG_CONVERT_OVERFLOW FIX_FLT128_LONG_CONVERT_OVERFLOW
  62. #define FIX_LDBL_LLONG_CONVERT_OVERFLOW FIX_FLT128_LLONG_CONVERT_OVERFLOW
  63. /* float.h constants. */
  64. #include <float.h>
  65. #undef LDBL_DIG
  66. #undef LDBL_EPSILON
  67. #undef LDBL_MANT_DIG
  68. #undef LDBL_MAX
  69. #undef LDBL_MAX_10_EXP
  70. #undef LDBL_MAX_EXP
  71. #undef LDBL_MIN
  72. #undef LDBL_MIN_10_EXP
  73. #undef LDBL_MIN_EXP
  74. #undef LDBL_TRUE_MIN
  75. #define LDBL_DIG FLT128_DIG
  76. #define LDBL_EPSILON FLT128_EPSILON
  77. #define LDBL_MANT_DIG FLT128_MANT_DIG
  78. #define LDBL_MAX FLT128_MAX
  79. #define LDBL_MAX_10_EXP FLT128_MAX_10_EXP
  80. #define LDBL_MAX_EXP FLT128_MAX_EXP
  81. #define LDBL_MIN FLT128_MIN
  82. #define LDBL_MIN_10_EXP FLT128_MIN_10_EXP
  83. #define LDBL_MIN_EXP FLT128_MIN_EXP
  84. #define LDBL_TRUE_MIN FLT128_TRUE_MIN
  85. /* math.h GNU constants. */
  86. #undef M_El
  87. #undef M_LOG2El
  88. #undef M_LOG10El
  89. #undef M_LN2l
  90. #undef M_LN10l
  91. #undef M_PIl
  92. #undef M_PI_2l
  93. #undef M_PI_4l
  94. #undef M_1_PIl
  95. #undef M_2_PIl
  96. #undef M_2_SQRTPIl
  97. #undef M_SQRT2l
  98. #undef M_SQRT1_2l
  99. #define M_El M_Ef128
  100. #define M_LOG2El M_LOG2Ef128
  101. #define M_LOG10El M_LOG10Ef128
  102. #define M_LN2l M_LN2f128
  103. #define M_LN10l M_LN10f128
  104. #define M_PIl M_PIf128
  105. #define M_PI_2l M_PI_2f128
  106. #define M_PI_4l M_PI_4f128
  107. #define M_1_PIl M_1_PIf128
  108. #define M_2_PIl M_2_PIf128
  109. #define M_2_SQRTPIl M_2_SQRTPIf128
  110. #define M_SQRT2l M_SQRT2f128
  111. #define M_SQRT1_2l M_SQRT1_2f128
  112. #include <libm-alias-ldouble.h>
  113. #include <libm-alias-float128.h>
  114. #undef libm_alias_ldouble_r
  115. #define libm_alias_ldouble_r(from, to, r) libm_alias_float128_r (from, to, r)
  116. #include <math/math-narrow.h>
  117. #undef libm_alias_float_ldouble
  118. #define libm_alias_float_ldouble(func) libm_alias_float32_float128 (func)
  119. #undef libm_alias_double_ldouble
  120. #define libm_alias_double_ldouble(func) libm_alias_float64_float128 (func)
  121. #undef libm_alias_ldouble_narrow
  122. #define libm_alias_ldouble_narrow(from, to) \
  123. libm_alias_float128_narrow (from, to)
  124. #undef USE_NEARBYINTL_BUILTIN
  125. #define USE_NEARBYINTL_BUILTIN USE_NEARBYINTF128_BUILTIN
  126. #undef USE_RINTL_BUILTIN
  127. #define USE_RINTL_BUILTIN USE_RINTF128_BUILTIN
  128. #undef USE_FLOORL_BUILTIN
  129. #define USE_FLOORL_BUILTIN USE_FLOORF128_BUILTIN
  130. #undef USE_CEILL_BUILTIN
  131. #define USE_CEILL_BUILTIN USE_CEILF128_BUILTIN
  132. #undef USE_TRUNCL_BUILTIN
  133. #define USE_TRUNCL_BUILTIN USE_TRUNCF128_BUILTIN
  134. #undef USE_ROUNDL_BUILTIN
  135. #define USE_ROUNDL_BUILTIN USE_ROUNDF128_BUILTIN
  136. #undef USE_ROUNDEVENL_BUILTIN
  137. #define USE_ROUNDEVENL_BUILTIN USE_ROUNDEVENF128_BUILTIN
  138. #undef USE_COPYSIGNL_BUILTIN
  139. #define USE_COPYSIGNL_BUILTIN USE_COPYSIGNF128_BUILTIN
  140. #undef USE_FMAL_BUILTIN
  141. #define USE_FMAL_BUILTIN USE_FMAF128_BUILTIN
  142. #undef USE_LRINTL_BUILTIN
  143. #define USE_LRINTL_BUILTIN USE_LRINTF128_BUILTIN
  144. #undef USE_LLRINTL_BUILTIN
  145. #define USE_LLRINTL_BUILTIN USE_LLRINTF128_BUILTIN
  146. #undef USE_LOGBL_BUILTIN
  147. #define USE_LOGBL_BUILTIN USE_LOGBF128_BUILTIN
  148. /* IEEE function renames. */
  149. #define __ieee754_acoshl __ieee754_acoshf128
  150. #define __ieee754_acosl __ieee754_acosf128
  151. #define __ieee754_asinhl __ieee754_asinhf128
  152. #define __ieee754_asinl __ieee754_asinf128
  153. #define __ieee754_atan2l __ieee754_atan2f128
  154. #define __ieee754_atanhl __ieee754_atanhf128
  155. #define __ieee754_coshl __ieee754_coshf128
  156. #define __ieee754_cosl __ieee754_cosf128
  157. #define __ieee754_exp10l __ieee754_exp10f128
  158. #define __ieee754_exp2l __ieee754_exp2f128
  159. #define __ieee754_expl __ieee754_expf128
  160. #define __ieee754_fmodl __ieee754_fmodf128
  161. #define __ieee754_gammal_r __ieee754_gammaf128_r
  162. #define __ieee754_hypotl __ieee754_hypotf128
  163. #define __ieee754_ilogbl __ieee754_ilogbf128
  164. #define __ieee754_j0l __ieee754_j0f128
  165. #define __ieee754_j1l __ieee754_j1f128
  166. #define __ieee754_jnl __ieee754_jnf128
  167. #define __ieee754_lgammal_r __ieee754_lgammaf128_r
  168. #define __ieee754_log10l __ieee754_log10f128
  169. #define __ieee754_log2l __ieee754_log2f128
  170. #define __ieee754_logl __ieee754_logf128
  171. #define __ieee754_powl __ieee754_powf128
  172. #define __ieee754_rem_pio2l __ieee754_rem_pio2f128
  173. #define __ieee754_remainderl __ieee754_remainderf128
  174. #define __ieee754_sinhl __ieee754_sinhf128
  175. #define __ieee754_sqrtl __ieee754_sqrtf128
  176. #define __ieee754_y0l __ieee754_y0f128
  177. #define __ieee754_y1l __ieee754_y1f128
  178. #define __ieee754_ynl __ieee754_ynf128
  179. /* finite math entry points. */
  180. #define __acoshl_finite __acoshf128_finite
  181. #define __acosl_finite __acosf128_finite
  182. #define __asinl_finite __asinf128_finite
  183. #define __atan2l_finite __atan2f128_finite
  184. #define __atanhl_finite __atanhf128_finite
  185. #define __coshl_finite __coshf128_finite
  186. #define __cosl_finite __cosf128_finite
  187. #define __exp10l_finite __exp10f128_finite
  188. #define __exp2l_finite __exp2f128_finite
  189. #define __expl_finite __expf128_finite
  190. #define __fmodl_finite __fmodf128_finite
  191. #define __hypotl_finite __hypotf128_finite
  192. #define __ilogbl_finite __ilogbf128_finite
  193. #define __j0l_finite __j0f128_finite
  194. #define __j1l_finite __j1f128_finite
  195. #define __jnl_finite __jnf128_finite
  196. #define __lgammal_r_finite __lgammaf128_r_finite
  197. #define __log10l_finite __log10f128_finite
  198. #define __log2l_finite __log2f128_finite
  199. #define __logl_finite __logf128_finite
  200. #define __powl_finite __powf128_finite
  201. #define __remainderl_finite __remainderf128_finite
  202. #define __sinhl_finite __sinhf128_finite
  203. #define __y0l_finite __y0f128_finite
  204. #define __y1l_finite __y1f128_finite
  205. #define __ynl_finite __ynf128_finite
  206. /* internal function names. */
  207. #define __asinhl __asinhf128
  208. #define __atanl __atanf128
  209. #define __cbrtl __cbrtf128
  210. #define __ceill __ceilf128
  211. #define __copysignl __copysignf128
  212. #define __cosl __cosf128
  213. #define __erfcl __erfcf128
  214. #define __erfl __erff128
  215. #define __expl __expf128
  216. #define __expm1l __expm1f128
  217. #define __fabsl __fabsf128
  218. #define __fdiml __fdimf128
  219. #define __finitel __finitef128
  220. #define __floorl __floorf128
  221. #define __fmal __fmaf128
  222. #define __fmaxl __fmaxf128
  223. #define __fminl __fminf128
  224. #define __fpclassifyl __fpclassifyf128
  225. #define __frexpl __frexpf128
  226. #define __gammal_r_finite __gammaf128_r_finite
  227. #define __getpayloadl __getpayloadf128
  228. #define __isinfl __isinff128
  229. #define __isnanl __isnanf128
  230. #define __issignalingl __issignalingf128
  231. #define __ldexpl __ldexpf128
  232. #define __llrintl __llrintf128
  233. #define __llroundl __llroundf128
  234. #define __log1pl __log1pf128
  235. #define __logbl __logbf128
  236. #define __logl __logf128
  237. #define __lrintl __lrintf128
  238. #define __lroundl __lroundf128
  239. #define __modfl __modff128
  240. #define __nearbyintl __nearbyintf128
  241. #define __nextafterl __nextafterf128
  242. #define __nextdownl __nextdownf128
  243. #define __nextupl __nextupf128
  244. #define __remquol __remquof128
  245. #define __rintl __rintf128
  246. #define __roundevenl __roundevenf128
  247. #define __roundl __roundf128
  248. #define __scalblnl __scalblnf128
  249. #define __scalbnl __scalbnf128
  250. #define __signbitl __signbitf128
  251. #define __sincosl __sincosf128
  252. #define __sinl __sinf128
  253. #define __sqrtl __sqrtf128
  254. #define __tanhl __tanhf128
  255. #define __tanl __tanf128
  256. #define __totalorderl __totalorderf128
  257. #define __totalorder_compatl __totalorder_compatf128
  258. #define __totalordermagl __totalordermagf128
  259. #define __totalordermag_compatl __totalordermag_compatf128
  260. #define __truncl __truncf128
  261. #define __x2y2m1l __x2y2m1f128
  262. #define __faddl __f32addf128
  263. #define __daddl __f64addf128
  264. #define __fdivl __f32divf128
  265. #define __ddivl __f64divf128
  266. #define __ffmal __f32fmaf128
  267. #define __dfmal __f64fmaf128
  268. #define __fmull __f32mulf128
  269. #define __dmull __f64mulf128
  270. #define __fsqrtl __f32sqrtf128
  271. #define __dsqrtl __f64sqrtf128
  272. #define __fsubl __f32subf128
  273. #define __dsubl __f64subf128
  274. /* Used on __finite compat alias. */
  275. #define __acosl __acosf128
  276. #define __acoshl __acoshf128
  277. #define __asinl __asinf128
  278. #define __atan2l __atan2f128
  279. #define __atanhl __atanhf128
  280. #define __coshl __coshf128
  281. #define __exp10l __exp10f128
  282. #define __expl __expf128
  283. #define __fmodl __fmodf128
  284. #define __gammal_r __gammaf128_r
  285. #define __hypotl __hypotf128
  286. #define __j0l __j0f128
  287. #define __j1l __j1f128
  288. #define __jnl __jnf128
  289. #define __lgammal_r __lgammaf128_r
  290. #define __log10l __log10f128
  291. #define __log2l __log2f128
  292. #define __logl __logf128
  293. #define __powl __powf128
  294. #define __remainderl __remainderf128
  295. #define __sinhl __sinhf128
  296. #define __y0l __y0f128
  297. #define __y1l __y1f128
  298. #define __ynl __ynf128
  299. /* __nexttowardf128 is not _Float128 API. */
  300. #define __nexttowardl __nexttowardf128_do_not_use
  301. #define nexttowardl nexttowardf128_do_not_use
  302. /* public entry points. */
  303. #define asinhl asinhf128
  304. #define atanl atanf128
  305. #define cbrtl cbrtf128
  306. #define ceill ceilf128
  307. #define copysignl copysignf128
  308. #define cosl cosf128
  309. #define erfcl erfcf128
  310. #define erfl erff128
  311. #define expl expf128
  312. #define expm1l expm1f128
  313. #define fabsl fabsf128
  314. #define fdiml fdimf128
  315. #define finitel finitef128_do_not_use
  316. #define floorl floorf128
  317. #define fmal fmaf128
  318. #define fmaxl fmaxf128
  319. #define fminl fminf128
  320. #define frexpl frexpf128
  321. #define getpayloadl getpayloadf128
  322. #define isinfl isinff128_do_not_use
  323. #define isnanl isnanf128_do_not_use
  324. #define ldexpl ldexpf128
  325. #define llrintl llrintf128
  326. #define llroundl llroundf128
  327. #define log1pl log1pf128
  328. #define logbl logbf128
  329. #define logp1l logp1f128
  330. #define logl logf128
  331. #define lrintl lrintf128
  332. #define lroundl lroundf128
  333. #define modfl modff128
  334. #define nanl nanf128
  335. #define nearbyintl nearbyintf128
  336. #define nextafterl nextafterf128
  337. #define nextdownl nextdownf128
  338. #define nextupl nextupf128
  339. #define remquol remquof128
  340. #define rintl rintf128
  341. #define roundevenl roundevenf128
  342. #define roundl roundf128
  343. #define scalbnl scalbnf128
  344. #define sincosl sincosf128
  345. #define sinl sinf128
  346. #define sqrtl sqrtf128
  347. #define tanhl tanhf128
  348. #define tanl tanf128
  349. #define totalorderl totalorderf128
  350. #define totalordermagl totalordermagf128
  351. #define truncl truncf128
  352. /* misc internal renames. */
  353. #define __builtin_fmal __builtin_fmaf128
  354. #define __expl_table __expf128_table
  355. #define __gamma_productl __gamma_productf128
  356. #define __kernel_cosl __kernel_cosf128
  357. #define __kernel_rem_pio2l __kernel_rem_pio2f128
  358. #define __kernel_sincosl __kernel_sincosf128
  359. #define __kernel_sinl __kernel_sinf128
  360. #define __kernel_tanl __kernel_tanf128
  361. #define __lgamma_negl __lgamma_negf128
  362. #define __lgamma_productl __lgamma_productf128
  363. #define __mpn_extract_long_double __mpn_extract_float128
  364. #define __sincosl_table __sincosf128_table
  365. #define mul_splitl mul_splitf128
  366. /* Builtin renames. */
  367. #define __builtin_copysignl __builtin_copysignf128
  368. #define __builtin_signbitl __builtin_signbit
  369. #define __builtin_nearbyintl __builtin_nearbyintf128
  370. #define __builtin_rintl __builtin_rintf128
  371. #define __builtin_floorl __builtin_floorf128
  372. #define __builtin_ceill __builtin_ceilf128
  373. #define __builtin_truncl __builtin_truncf128
  374. #define __builtin_roundl __builtin_roundf128
  375. #define __builtin_roundevenl __builtin_roundevenf128
  376. #define __builtin_lrintl __builtin_lrintf128
  377. #define __builtin_llrintl __builtin_llrintf128
  378. #define __builtin_copysignl __builtin_copysignf128
  379. #define __builtin_fabsl __builtin_fabsf128
  380. /* Get the constant suffix from bits/floatn-compat.h. */
  381. #define L(x) __f128 (x)
  382. static inline void
  383. mul_splitf128 (_Float128 *hi, _Float128 *lo, _Float128 x, _Float128 y)
  384. {
  385. #ifdef __FP_FAST_FMAF128
  386. /* Fast built-in fused multiply-add. */
  387. *hi = x * y;
  388. *lo = __builtin_fmal (x, y, -*hi);
  389. #else
  390. /* Apply Dekker's algorithm. */
  391. *hi = x * y;
  392. # define C ((1LL << (FLT128_MANT_DIG + 1) / 2) + 1)
  393. _Float128 x1 = x * C;
  394. _Float128 y1 = y * C;
  395. # undef C
  396. x1 = (x - x1) + x1;
  397. y1 = (y - y1) + y1;
  398. _Float128 x2 = x - x1;
  399. _Float128 y2 = y - y1;
  400. *lo = (((x1 * y1 - *hi) + x1 * y2) + x2 * y1) + x2 * y2;
  401. #endif
  402. }