Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl

Commits:

• aed4d5af
  by Raymond Toy at 2025-08-10T07:12:53-07:00

  Add single-float special functions from core-math
  
  Add the single-float versions of the special functions from core-math
  that we use in cmucl.
  

• e8e83578
  by Raymond Toy at 2025-08-10T08:21:48-07:00

  Remove unused core-math routines
  
  We don't support the sinpi routines and friends in cmucl.  Perhaps
  later, but we don't do anything with these so reduce the clutter and
  remove these functions.
  

• b581c732
  by Raymond Toy at 2025-08-10T11:06:23-07:00

  Revert "Add single-float special functions from core-math"
  
  This reverts commit aed4d5af2d766176139af05f8069aacc460b0f33.
  

• 67bb5022
  by Raymond Toy at 2025-08-10T11:10:07-07:00

  Remove unused files for acos, acosh, asin, asinh
  
  We don't need these files so remove them.
  

• ceec2a63
  by Raymond Toy at 2025-08-10T11:12:30-07:00

  Remove unused files for atan, atan2, atanh
  
  We don't need these files so remove them.
  

• 9c80fb90
  by Raymond Toy at 2025-08-10T11:14:14-07:00

  Remove unused files for cos, cosh
  
  We don't need these files so remove them.
  

• 12c15a04
  by Raymond Toy at 2025-08-10T11:15:40-07:00

  Remove unused files for exp, exp2m1
  
  We don't need these files so remove them.
  

• 8f7fa8d1
  by Raymond Toy at 2025-08-10T11:19:20-07:00

  Remove unused files for hypot
  
  We don't need these files for anything, so remove them.
  

• ae933c79
  by Raymond Toy at 2025-08-10T11:20:30-07:00

  Remove unused files for log
  
  We don't need these files for anything, so remove them.
  

• f88b8ea8
  by Raymond Toy at 2025-08-10T11:21:11-07:00

  Remove unused files for log10
  
  We don't need these files for anything, so remove them.
  

• 9cbe6f8c
  by Raymond Toy at 2025-08-10T11:21:45-07:00

  Remove unused files for log1p
  
  We don't need these files for anything, so remove them.
  

• f4328e70
  by Raymond Toy at 2025-08-10T17:32:00-07:00

  Remove core-math object files when cleaning
  
  Forgot to remove these object file when `make clean` is run.
  

• 4a9b17cf
  by Raymond Toy at 2025-08-10T17:33:14-07:00

  Restore these files that were accidentially removed
  
  These were accidentally removed when we were cleaning up unneeded
  files.
  

• 7e209d1e
  by Raymond Toy at 2025-08-10T17:45:15-07:00

  Remove unused files for sin
  
  We don't need these files for anything, so remove them.
  

• b0972c5a
  by Raymond Toy at 2025-08-10T17:46:45-07:00

  Remove more unneeded files for sin
  

• 6a43a49b
  by Raymond Toy at 2025-08-10T17:48:01-07:00

  Remove unused files for sinh
  
  We don't need these files for anything, so remove them.
  

• 626f2d22
  by Raymond Toy at 2025-08-10T17:48:34-07:00

  Remove more unneeded files for sinh
  

• 9b8a03ac
  by Raymond Toy at 2025-08-10T17:49:12-07:00

  Remove unused files for tan
  
  We don't need these files for anything, so remove them.
  

• 37a0ceea
  by Raymond Toy at 2025-08-10T17:50:20-07:00

  Remove unused files for tanh
  
  We don't need these files for anything, so remove them.
  

• 34e505d1
  by Raymond Toy at 2025-08-10T17:50:45-07:00

  Remove more unneeded files for tanh
  

• 44338bdb
  by Raymond Toy at 2025-08-10T17:51:39-07:00

  Remove unused files for sincos
  
  We don't need these files for anything, so remove them.
  

• d486ac47
  by Raymond Toy at 2025-08-10T17:52:05-07:00

  Remove more unneeded files for sincos
  

202 changed files:

• src/lisp/GNUmakefile
• − src/lisp/core-math/src/binary64/acos/Makefile
• − src/lisp/core-math/src/binary64/acos/acos.wc
• − src/lisp/core-math/src/binary64/acos/acos_mpfr.c
• − src/lisp/core-math/src/binary64/acos/check_special.c
• − src/lisp/core-math/src/binary64/acos/function_under_test.h
• − src/lisp/core-math/src/binary64/acosh/Makefile
• − src/lisp/core-math/src/binary64/acosh/acosh.wc
• − src/lisp/core-math/src/binary64/acosh/acosh_mpfr.c
• − src/lisp/core-math/src/binary64/acosh/check_special.c
• − src/lisp/core-math/src/binary64/acosh/function_under_test.h
• − src/lisp/core-math/src/binary64/acospi/Makefile
• − src/lisp/core-math/src/binary64/acospi/acos.sollya
• − src/lisp/core-math/src/binary64/acospi/acos2.sollya
• − src/lisp/core-math/src/binary64/acospi/acos2_0.sollya
• − src/lisp/core-math/src/binary64/acospi/acos3.sollya
• − src/lisp/core-math/src/binary64/acospi/acos_sqrt.sollya
• − src/lisp/core-math/src/binary64/acospi/acospi.c
• − src/lisp/core-math/src/binary64/acospi/acospi.sage
• − src/lisp/core-math/src/binary64/acospi/acospi.wc
• − src/lisp/core-math/src/binary64/acospi/acospi_mpfr.c
• − src/lisp/core-math/src/binary64/acospi/check_special.c
• − src/lisp/core-math/src/binary64/acospi/doit.sh
• − src/lisp/core-math/src/binary64/acospi/doit2.sh
• − src/lisp/core-math/src/binary64/acospi/doit2_0.sh
• − src/lisp/core-math/src/binary64/acospi/doit3.sh
• − src/lisp/core-math/src/binary64/acospi/doit_sqrt.sh
• − src/lisp/core-math/src/binary64/acospi/function_under_test.h
• − src/lisp/core-math/src/binary64/asin/Makefile
• − src/lisp/core-math/src/binary64/asin/asin.wc
• − src/lisp/core-math/src/binary64/asin/asin_mpfr.c
• − src/lisp/core-math/src/binary64/asin/check_special.c
• − src/lisp/core-math/src/binary64/asin/function_under_test.h
• − src/lisp/core-math/src/binary64/asinh/Makefile
• − src/lisp/core-math/src/binary64/asinh/asinh.wc
• − src/lisp/core-math/src/binary64/asinh/asinh_mpfr.c
• − src/lisp/core-math/src/binary64/asinh/check_special.c
• − src/lisp/core-math/src/binary64/asinh/function_under_test.h
• − src/lisp/core-math/src/binary64/asinpi/Makefile
• − src/lisp/core-math/src/binary64/asinpi/asinpi.c
• − src/lisp/core-math/src/binary64/asinpi/asinpi.sage
• − src/lisp/core-math/src/binary64/asinpi/asinpi.wc
• − src/lisp/core-math/src/binary64/asinpi/asinpi_mpfr.c
• − src/lisp/core-math/src/binary64/asinpi/check_special.c
• − src/lisp/core-math/src/binary64/asinpi/function_under_test.h
• − src/lisp/core-math/src/binary64/atan/Makefile
• − src/lisp/core-math/src/binary64/atan/atan.wc
• − src/lisp/core-math/src/binary64/atan/atan_mpfr.c
• − src/lisp/core-math/src/binary64/atan/check_special.c
• − src/lisp/core-math/src/binary64/atan/function_under_test.h
• − src/lisp/core-math/src/binary64/atan2/Makefile
• − src/lisp/core-math/src/binary64/atan2/atan2.sage
• − src/lisp/core-math/src/binary64/atan2/atan2.sollya
• − src/lisp/core-math/src/binary64/atan2/atan2.wc
• − src/lisp/core-math/src/binary64/atan2/atan2_0.sollya
• − src/lisp/core-math/src/binary64/atan2/atan2_mpfr.c
• − src/lisp/core-math/src/binary64/atan2/atan2_small.sollya
• − src/lisp/core-math/src/binary64/atan2/check_special.c
• − src/lisp/core-math/src/binary64/atan2/doit.sh
• − src/lisp/core-math/src/binary64/atan2/function_under_test.h
• − src/lisp/core-math/src/binary64/atan2/worst.c
• − src/lisp/core-math/src/binary64/atan2pi/Makefile
• − src/lisp/core-math/src/binary64/atan2pi/atan2.sollya
• − src/lisp/core-math/src/binary64/atan2pi/atan2pi.c
• − src/lisp/core-math/src/binary64/atan2pi/atan2pi.sage
• − src/lisp/core-math/src/binary64/atan2pi/atan2pi.wc
• − src/lisp/core-math/src/binary64/atan2pi/atan2pi_mpfr.c
• − src/lisp/core-math/src/binary64/atan2pi/check_special.c
• − src/lisp/core-math/src/binary64/atan2pi/doit.sh
• − src/lisp/core-math/src/binary64/atan2pi/function_under_test.h
• − src/lisp/core-math/src/binary64/atan2pi/tint.h
• − src/lisp/core-math/src/binary64/atan2pi/worst.c
• − src/lisp/core-math/src/binary64/atanh/Makefile
• − src/lisp/core-math/src/binary64/atanh/atanh.wc
• − src/lisp/core-math/src/binary64/atanh/atanh_mpfr.c
• − src/lisp/core-math/src/binary64/atanh/check_special.c
• − src/lisp/core-math/src/binary64/atanh/function_under_test.h
• − src/lisp/core-math/src/binary64/atanpi/Makefile
• − src/lisp/core-math/src/binary64/atanpi/atanpi.c
• − src/lisp/core-math/src/binary64/atanpi/atanpi.sage
• − src/lisp/core-math/src/binary64/atanpi/atanpi.wc
• − src/lisp/core-math/src/binary64/atanpi/atanpi_mpfr.c
• − src/lisp/core-math/src/binary64/atanpi/check_special.c
• − src/lisp/core-math/src/binary64/atanpi/function_under_test.h
• − src/lisp/core-math/src/binary64/cos/Makefile
• − src/lisp/core-math/src/binary64/cos/check_special.c
• − src/lisp/core-math/src/binary64/cos/cos.wc
• − src/lisp/core-math/src/binary64/cos/cos_mpfr.c
• − src/lisp/core-math/src/binary64/cos/function_under_test.h
• − src/lisp/core-math/src/binary64/cosh/Makefile
• − src/lisp/core-math/src/binary64/cosh/check_special.c
• − src/lisp/core-math/src/binary64/cosh/cosh.wc
• − src/lisp/core-math/src/binary64/cosh/cosh_mpfr.c
• − src/lisp/core-math/src/binary64/cosh/function_under_test.h
• − src/lisp/core-math/src/binary64/cospi/Makefile
• − src/lisp/core-math/src/binary64/cospi/check_special.c
• − src/lisp/core-math/src/binary64/cospi/cospi.c
• − src/lisp/core-math/src/binary64/cospi/cospi.wc
• − src/lisp/core-math/src/binary64/cospi/cospi_mpfr.c
• − src/lisp/core-math/src/binary64/cospi/function_under_test.h
• − src/lisp/core-math/src/binary64/exp/Makefile
• − src/lisp/core-math/src/binary64/exp/check_special.c
• − src/lisp/core-math/src/binary64/exp/exp.sage
• − src/lisp/core-math/src/binary64/exp/exp.wc
• − src/lisp/core-math/src/binary64/exp/exp_mpfr.c
• − src/lisp/core-math/src/binary64/exp/function_under_test.h
• − src/lisp/core-math/src/binary64/exp2m1/Makefile
• − src/lisp/core-math/src/binary64/exp2m1/check_special.c
• − src/lisp/core-math/src/binary64/exp2m1/exp2m1.c
• − src/lisp/core-math/src/binary64/exp2m1/exp2m1.sage
• − src/lisp/core-math/src/binary64/exp2m1/exp2m1.wc
• − src/lisp/core-math/src/binary64/exp2m1/exp2m1_accurate.sollya
• − src/lisp/core-math/src/binary64/exp2m1/exp2m1_fast.sollya
• − src/lisp/core-math/src/binary64/exp2m1/exp2m1_mpfr.c
• − src/lisp/core-math/src/binary64/exp2m1/function_under_test.h
• − src/lisp/core-math/src/binary64/hypot/Makefile
• − src/lisp/core-math/src/binary64/hypot/check_special.c
• − src/lisp/core-math/src/binary64/hypot/function_under_test.h
• − src/lisp/core-math/src/binary64/hypot/hypot.wc
• − src/lisp/core-math/src/binary64/hypot/hypot_mpfr.c
• − src/lisp/core-math/src/binary64/hypot/triples.c
• − src/lisp/core-math/src/binary64/log/Makefile
• − src/lisp/core-math/src/binary64/log/check_special.c
• − src/lisp/core-math/src/binary64/log/doit.sh
• − src/lisp/core-math/src/binary64/log/function_under_test.h
• − src/lisp/core-math/src/binary64/log/gappa.sage
• − src/lisp/core-math/src/binary64/log/log.sage
• − src/lisp/core-math/src/binary64/log/log.wc
• − src/lisp/core-math/src/binary64/log/log1_template.g
• − src/lisp/core-math/src/binary64/log/log_mpfr.c
• − src/lisp/core-math/src/binary64/log10/Makefile
• − src/lisp/core-math/src/binary64/log10/P.sollya
• − src/lisp/core-math/src/binary64/log10/check_special.c
• − src/lisp/core-math/src/binary64/log10/function_under_test.h
• − src/lisp/core-math/src/binary64/log10/log10.sage
• − src/lisp/core-math/src/binary64/log10/log10.wc
• − src/lisp/core-math/src/binary64/log10/log10_mpfr.c
• − src/lisp/core-math/src/binary64/log1p/Makefile
• − src/lisp/core-math/src/binary64/log1p/P.sollya
• − src/lisp/core-math/src/binary64/log1p/check_special.c
• − src/lisp/core-math/src/binary64/log1p/dint.h
• − src/lisp/core-math/src/binary64/log1p/function_under_test.h
• − src/lisp/core-math/src/binary64/log1p/log1p.sage
• − src/lisp/core-math/src/binary64/log1p/log1p.wc
• − src/lisp/core-math/src/binary64/log1p/log1p_mpfr.c
• − src/lisp/core-math/src/binary64/sin/Makefile
• − src/lisp/core-math/src/binary64/sin/buildSC.c
• − src/lisp/core-math/src/binary64/sin/check_special.c
• − src/lisp/core-math/src/binary64/sin/cos_accurate.sollya
• − src/lisp/core-math/src/binary64/sin/cos_fast.sollya
• − src/lisp/core-math/src/binary64/sin/function_under_test.h
• − src/lisp/core-math/src/binary64/sin/sin.sage
• − src/lisp/core-math/src/binary64/sin/sin.wc
• − src/lisp/core-math/src/binary64/sin/sin_accurate.sollya
• − src/lisp/core-math/src/binary64/sin/sin_fast.sollya
• − src/lisp/core-math/src/binary64/sin/sin_mpfr.c
• − src/lisp/core-math/src/binary64/sincos/Makefile
• − src/lisp/core-math/src/binary64/sincos/check_special.c
• − src/lisp/core-math/src/binary64/sincos/function_under_test.h
• − src/lisp/core-math/src/binary64/sincos/sincos.wc
• − src/lisp/core-math/src/binary64/sincos/sincos_mpfr.c
• − src/lisp/core-math/src/binary64/sinh/Makefile
• − src/lisp/core-math/src/binary64/sinh/Pcosh.sollya
• − src/lisp/core-math/src/binary64/sinh/Pcosh2.sollya
• − src/lisp/core-math/src/binary64/sinh/Psinh.sollya
• − src/lisp/core-math/src/binary64/sinh/Psinh2.sollya
• − src/lisp/core-math/src/binary64/sinh/buildu.c
• − src/lisp/core-math/src/binary64/sinh/check_special.c
• − src/lisp/core-math/src/binary64/sinh/function_under_test.h
• − src/lisp/core-math/src/binary64/sinh/sinh.sage
• − src/lisp/core-math/src/binary64/sinh/sinh.wc
• − src/lisp/core-math/src/binary64/sinh/sinh_mpfr.c
• − src/lisp/core-math/src/binary64/sinpi/Makefile
• − src/lisp/core-math/src/binary64/sinpi/check_special.c
• − src/lisp/core-math/src/binary64/sinpi/function_under_test.h
• − src/lisp/core-math/src/binary64/sinpi/sinpi.c
• − src/lisp/core-math/src/binary64/sinpi/sinpi.wc
• − src/lisp/core-math/src/binary64/sinpi/sinpi_mpfr.c
• − src/lisp/core-math/src/binary64/support/Makefile.bivariate
• − src/lisp/core-math/src/binary64/support/Makefile.sincos
• − src/lisp/core-math/src/binary64/support/Makefile.univariate
• − src/lisp/core-math/src/binary64/support/check_worst.c
• − src/lisp/core-math/src/binary64/support/check_worst_sincos.c
• − src/lisp/core-math/src/binary64/support/check_worst_uni.c
• − src/lisp/core-math/src/binary64/support/fenv_mpfr.h
• − src/lisp/core-math/src/binary64/tan/Makefile
• − src/lisp/core-math/src/binary64/tan/check_special.c
• − src/lisp/core-math/src/binary64/tan/function_under_test.h
• − src/lisp/core-math/src/binary64/tan/tan.sage
• − src/lisp/core-math/src/binary64/tan/tan_mpfr.c
• − src/lisp/core-math/src/binary64/tanh/Makefile
• − src/lisp/core-math/src/binary64/tanh/check_special.c
• − src/lisp/core-math/src/binary64/tanh/function_under_test.h
• − src/lisp/core-math/src/binary64/tanh/tanh.sage
• − src/lisp/core-math/src/binary64/tanh/tanh.wc
• − src/lisp/core-math/src/binary64/tanh/tanh_mpfr.c
• − src/lisp/core-math/src/binary64/tanpi/Makefile
• − src/lisp/core-math/src/binary64/tanpi/check_special.c
• − src/lisp/core-math/src/binary64/tanpi/function_under_test.h
• − src/lisp/core-math/src/binary64/tanpi/tanpi.c
• − src/lisp/core-math/src/binary64/tanpi/tanpi.wc
• − src/lisp/core-math/src/binary64/tanpi/tanpi_mpfr.c

The diff was not included because it is too large.