August 2025 - cmucl-cvs - mailman3.common-lisp.net

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] 2 commits: Document build_config variable
by Raymond Toy (＠rtoy) 11 Aug '25

11 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 1f94e40c by Raymond Toy at 2025-08-11T06:59:03-07:00 Document build_config variable - - - - - c9414bcb by Raymond Toy at 2025-08-11T06:59:28-07:00 Clean up implementation * Remove unneeded change in definition of %hypot in irrat.lisp. * Document what :core-math feature is for in linux-os.c. * Remove old commented stuff for creating libcore-math.a which we don't use. - - - - - 4 changed files: - .gitlab-ci.yml - src/code/irrat.lisp - src/code/linux-os.lisp - src/lisp/GNUmakefile Changes: ===================================== .gitlab-ci.yml ===================================== @@ -5,6 +5,8 @@ variables: version: "$year-$month-x86" tar_ext: "xz" bootstrap: "" + # Value to use for build.sh -C option. Allows choosing a different + # config, if needed. build_config: "" # Default install configuration to download the cmucl tarballs to use ===================================== src/code/irrat.lisp ===================================== @@ -121,7 +121,7 @@ (def-math-rtn ("__ieee754_pow" %pow) 2) #-(or x86 sparc-v7 sparc-v8 sparc-v9) (def-math-rtn "sqrt" 1) -(def-math-rtn ("hypot" %hypot) 2) +(def-math-rtn "hypot" 2) (def-math-rtn ("fdlibm_log1p" %log1p) 1) (def-math-rtn ("fdlibm_expm1" %expm1) 1) ===================================== src/code/linux-os.lisp ===================================== @@ -25,6 +25,8 @@ (register-lisp-feature :linux) (register-lisp-feature :elf) (register-lisp-runtime-feature :executable) +;; Core-math is used for the special functions providing +;; correctly-rounded numerical results. (register-lisp-runtime-feature :core-math) (setq *software-type* "Linux") ===================================== src/lisp/GNUmakefile ===================================== @@ -64,8 +64,6 @@ ifneq (${EXEC_FINAL_OBJ},) $(AR) d lisp.a exec-init.o endif -#libcore-math.a : $(CORE64_OBJ) -# $(AR) crs libcore-math.a $^ version: echo 0 > version View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/ed62e414bc79477722f81a… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/ed62e414bc79477722f81a… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] Remove unused function and directories that aren't used by cmucl
by Raymond Toy (＠rtoy) 11 Aug '25

11 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: f8ee44be by Raymond Toy at 2025-08-10T18:01:21-07:00 Remove unused function and directories that aren't used by cmucl - - - - - 92 changed files: - − src/lisp/core-math/src/binary64/cbrt/Makefile - − src/lisp/core-math/src/binary64/cbrt/cbrt.c - − src/lisp/core-math/src/binary64/cbrt/cbrt.wc - − src/lisp/core-math/src/binary64/cbrt/cbrt_mpfr.c - − src/lisp/core-math/src/binary64/cbrt/check_special.c - − src/lisp/core-math/src/binary64/cbrt/function_under_test.h - − src/lisp/core-math/src/binary64/erf/Makefile - − src/lisp/core-math/src/binary64/erf/check_special.c - − src/lisp/core-math/src/binary64/erf/erf.c - − src/lisp/core-math/src/binary64/erf/erf.sage - − src/lisp/core-math/src/binary64/erf/erf.sollya - − src/lisp/core-math/src/binary64/erf/erf.wc - − src/lisp/core-math/src/binary64/erf/erf0.sollya - − src/lisp/core-math/src/binary64/erf/erf0_accurate.sollya - − src/lisp/core-math/src/binary64/erf/erf_mpfr.c - − src/lisp/core-math/src/binary64/erf/function_under_test.h - − src/lisp/core-math/src/binary64/erfc/Makefile - − src/lisp/core-math/src/binary64/erfc/asympt0.sollya - − src/lisp/core-math/src/binary64/erfc/asympt1.sollya - − src/lisp/core-math/src/binary64/erfc/asympt2.sollya - − src/lisp/core-math/src/binary64/erfc/asympt3.sollya - − src/lisp/core-math/src/binary64/erfc/asympt4.sollya - − src/lisp/core-math/src/binary64/erfc/asympt5.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc0.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc1.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc2.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc3.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc4.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc5.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc6.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc7.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc8.sollya - − src/lisp/core-math/src/binary64/erfc/asympt_acc9.sollya - − src/lisp/core-math/src/binary64/erfc/check_special.c - − src/lisp/core-math/src/binary64/erfc/erfc.c - − src/lisp/core-math/src/binary64/erfc/erfc.wc - − src/lisp/core-math/src/binary64/erfc/erfc_mpfr.c - − src/lisp/core-math/src/binary64/erfc/exp_accurate.sollya - − src/lisp/core-math/src/binary64/erfc/function_under_test.h - − src/lisp/core-math/src/binary64/exp10/Makefile - − src/lisp/core-math/src/binary64/exp10/check_special.c - − src/lisp/core-math/src/binary64/exp10/exp10.c - − src/lisp/core-math/src/binary64/exp10/exp10.wc - − src/lisp/core-math/src/binary64/exp10/exp10_mpfr.c - − src/lisp/core-math/src/binary64/exp10/function_under_test.h - − src/lisp/core-math/src/binary64/exp10m1/Makefile - − src/lisp/core-math/src/binary64/exp10m1/check_special.c - − src/lisp/core-math/src/binary64/exp10m1/exp10m1.c - − src/lisp/core-math/src/binary64/exp10m1/exp10m1.wc - − src/lisp/core-math/src/binary64/exp10m1/exp10m1_mpfr.c - − src/lisp/core-math/src/binary64/exp10m1/function_under_test.h - − src/lisp/core-math/src/binary64/exp2/Makefile - − src/lisp/core-math/src/binary64/exp2/check_special.c - − src/lisp/core-math/src/binary64/exp2/exp2.c - − src/lisp/core-math/src/binary64/exp2/exp2.wc - − src/lisp/core-math/src/binary64/exp2/exp2_mpfr.c - − src/lisp/core-math/src/binary64/exp2/function_under_test.h - − src/lisp/core-math/src/binary64/lgamma/Makefile - − src/lisp/core-math/src/binary64/lgamma/check_special.c - − src/lisp/core-math/src/binary64/lgamma/function_under_test.h - − src/lisp/core-math/src/binary64/lgamma/lgamma.c - − src/lisp/core-math/src/binary64/lgamma/lgamma.wc - − src/lisp/core-math/src/binary64/lgamma/lgamma_mpfr.c - − src/lisp/core-math/src/binary64/log10p1/Makefile - − src/lisp/core-math/src/binary64/log10p1/check_special.c - − src/lisp/core-math/src/binary64/log10p1/dint.h - − src/lisp/core-math/src/binary64/log10p1/function_under_test.h - − src/lisp/core-math/src/binary64/log10p1/log10p1.c - − src/lisp/core-math/src/binary64/log10p1/log10p1.wc - − src/lisp/core-math/src/binary64/log10p1/log10p1_accurate.sollya - − src/lisp/core-math/src/binary64/log10p1/log10p1_mpfr.c - − src/lisp/core-math/src/binary64/log2p1/Makefile - − src/lisp/core-math/src/binary64/log2p1/check_special.c - − src/lisp/core-math/src/binary64/log2p1/dint_log2p1.h - − src/lisp/core-math/src/binary64/log2p1/function_under_test.h - − src/lisp/core-math/src/binary64/log2p1/log2p1.c - − src/lisp/core-math/src/binary64/log2p1/log2p1.sage - − src/lisp/core-math/src/binary64/log2p1/log2p1.wc - − src/lisp/core-math/src/binary64/log2p1/log2p1_accurate.sollya - − src/lisp/core-math/src/binary64/log2p1/log2p1_mpfr.c - − src/lisp/core-math/src/binary64/rsqrt/Makefile - − src/lisp/core-math/src/binary64/rsqrt/check_special.c - − src/lisp/core-math/src/binary64/rsqrt/function_under_test.h - − src/lisp/core-math/src/binary64/rsqrt/rsqrt.c - − src/lisp/core-math/src/binary64/rsqrt/rsqrt.wc - − src/lisp/core-math/src/binary64/rsqrt/rsqrt_mpfr.c - − src/lisp/core-math/src/binary64/tgamma/Makefile - − src/lisp/core-math/src/binary64/tgamma/check_special.c - − src/lisp/core-math/src/binary64/tgamma/function_under_test.h - − src/lisp/core-math/src/binary64/tgamma/tgamma.c - − src/lisp/core-math/src/binary64/tgamma/tgamma.wc - − src/lisp/core-math/src/binary64/tgamma/tgamma_mpfr.c The diff was not included because it is too large. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/f8ee44bea614ecb49eaa40e… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/f8ee44bea614ecb49eaa40e… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] 22 commits: Add single-float special functions from core-math
by Raymond Toy (＠rtoy) 11 Aug '25

11 Aug '25

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. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/431e06e7dc04a3735e36a3… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/431e06e7dc04a3735e36a3… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] Oops. Need to use x86_linux_clang for linux cross-compile
by Raymond Toy (＠rtoy) 10 Aug '25

10 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 431e06e7 by Raymond Toy at 2025-08-09T21:58:19-07:00 Oops. Need to use x86_linux_clang for linux cross-compile - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -173,8 +173,10 @@ linux:cross-build: #- job: linux:install artifacts: true script: - - bin/create-target.sh xtarget - - bin/create-target.sh xcross + # Use x86_linux_clang to build because x86_linux with gcc gives an + # internal compiler error building core-math. + - bin/create-target.sh xtarget x86_linux_clang + - bin/create-target.sh xcross x86_linux_clang - bin/cross-build-world.sh -crl xtarget xcross src/tools/cross-scripts/cross-x86-x86.lisp dist/bin/lisp - bin/build.sh -b xlinux $bootstrap -R -C "" -o "xtarget/lisp/lisp -lib xtarget/lisp" - bin/make-dist.sh -I xdist xlinux-4 View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/431e06e7dc04a3735e36a38… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/431e06e7dc04a3735e36a38… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] Use x86_linux_clang config for Linux and OpenSUSE
by Raymond Toy (＠rtoy) 10 Aug '25

10 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 66fd41a2 by Raymond Toy at 2025-08-09T18:05:05-07:00 Use x86_linux_clang config for Linux and OpenSUSE The VMs running the linux and opensuse builds won't build the core-math routines using gcc. We currently need to use clang for that, so add a CI variable to specify the build config so we can have the linux and opensuse builders use x86_linux_clang. - - - - - 2 changed files: - .gitlab-ci.yml - src/lisp/Config.x86_linux Changes: ===================================== .gitlab-ci.yml ===================================== @@ -5,6 +5,7 @@ variables: version: "$year-$month-x86" tar_ext: "xz" bootstrap: "" + build_config: "" # Default install configuration to download the cmucl tarballs to use # for building. @@ -49,7 +50,7 @@ variables: # Regular build using the cross-compiled result or snapshot. The # analyzer job requires gcc, so make sure we build with gcc here # instead of clang. - - bin/build.sh $bootstrap -b build -R -C "" -o snapshot/bin/lisp + - bin/build.sh $bootstrap -b build -R -C "$build_config" -o snapshot/bin/lisp # When the result of `git describe` cannot be used as a version # string, an alternative can be provided with the -V flag # The following stages need this to run tests and such. @@ -137,6 +138,11 @@ linux:build: needs: - job: linux:install artifacts: true + variables: + # The CI on linux needs to use clang to build the core-math + # routines. Gcc gets an internal compiler error for the OS + # running the linux builder. + build_config: "x86_linux_clang" # These rules is needed so that the static analyzer job can run on a # schedule because this is a prerequisite of the analyzer build. A # regular push or merge request does the normal stuff. @@ -326,6 +332,11 @@ opensuse:build: needs: - job: opensuse:install artifacts: true + variables: + # The CI on linux needs to use clang to build the core-math + # routines. Gcc gets an internal compiler error for the OS + # running the linux builder. + build_config: "x86_linux_clang" opensuse:test: <<: *unit_test_configuration ===================================== src/lisp/Config.x86_linux ===================================== @@ -1,9 +1,6 @@ # -*- Mode: makefile -*- include Config.x86_common -# TEMP FIX! -CC = clang - # We want errno support because we used to have that. CORE_MATH = -DCORE_MATH_SUPPORT_ERRNO View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/66fd41a20c4868aefd10089… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/66fd41a20c4868aefd10089… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] Add core-math sincos function
by Raymond Toy (＠rtoy) 10 Aug '25

10 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 441ccb85 by Raymond Toy at 2025-08-09T17:49:33-07:00 Add core-math sincos function Update %%sincos to use cr_sincos if core-math is defined. Update config to build core-math sincos.c. - - - - - 2 changed files: - src/code/irrat.lisp - src/lisp/Config.x86_common Changes: ===================================== src/code/irrat.lisp ===================================== @@ -237,7 +237,10 @@ (y1 double-float :out)) (declaim (inline %%sincos)) -(alien:def-alien-routine ("lisp_sincos" %%sincos) c-call:void +(alien:def-alien-routine (#-core-math "lisp_sincos" + #+core-math "cr_sincos" + %%sincos) + c-call:void (x double-float) (s double-float :out) (c double-float :out)) ===================================== src/lisp/Config.x86_common ===================================== @@ -63,7 +63,8 @@ CORE64_OBJS=\ $(CORE_MATH_64)/pow/pow.o \ $(CORE_MATH_64)/hypot/hypot.o \ $(CORE_MATH_64)/log1p/log1p.o \ - $(CORE_MATH_64)/expm1/expm1.o + $(CORE_MATH_64)/expm1/expm1.o \ + $(CORE_MATH_64)/sincos/sincos.o endif ifeq ($(filter 2% 3%, $(shell $(CC) -dumpversion)),) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/441ccb85a7eeb47fad670ad… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/441ccb85a7eeb47fad670ad… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] 2 commits: Define new temp to old the FPU Cw
by Raymond Toy (＠rtoy) 09 Aug '25

09 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 5150b97d by Raymond Toy at 2025-08-09T15:24:38-07:00 Define new temp to old the FPU Cw We were using edx as a temp to old the FPU CW, but that might interfere with the actual use of the edx register. This showed up with a segfault in computing (abs #c(-3d0 4d0)) (from the ansi-tests). Hence, define a new temp reg that we can for the FPU CW. - - - - - efb5b304 by Raymond Toy at 2025-08-09T15:26:47-07:00 Register :core-math as a runtime feature for Linux Add a new feature :core-math to enable the use of the core-math functions. This is so we can continue to run CI on Darwin until we can figure out if we can use core-math on the ancient version of Darwin that we're using for CI. Thus, set the :core-math feature in Linux-os.lisp. Update irrat.lisp to use core-math only if :core-math is defined. Otherwise, we use fdlibm, as before. Update Config.x86_common to define the core-math object files when FEATURE_CORE_MATH is defined (because we registered :core-math as a runtime feature). Move the core-math object files from GNUmakefile to Config.x86_linux_common. - - - - - 5 changed files: - src/code/irrat.lisp - src/code/linux-os.lisp - src/compiler/x86/sse2-c-call.lisp - src/lisp/Config.x86_common - src/lisp/GNUmakefile Changes: ===================================== src/code/irrat.lisp ===================================== @@ -63,6 +63,8 @@ ;;; Please refer to the Unix man pages for details about these routines. +#+core-math +(progn ;;; Trigonometric. (def-math-rtn ("cr_sin" %sin) 1) (def-math-rtn ("cr_cos" %cos) 1) @@ -91,6 +93,39 @@ (def-math-rtn ("cr_log1p" %log1p) 1) (def-math-rtn ("cr_expm1" %expm1) 1) +) + +#-core-math +(progn +;;; Trigonometric. +(def-math-rtn ("fdlibm_sin" %sin) 1) +(def-math-rtn ("fdlibm_cos" %cos) 1) +(def-math-rtn ("fdlibm_tan" %tan) 1) +(def-math-rtn ("fdlibm_atan" %atan) 1) +(def-math-rtn ("__ieee754_atan2" %atan2) 2) +(def-math-rtn ("__ieee754_asin" %asin) 1) +(def-math-rtn ("__ieee754_acos" %acos) 1) +(def-math-rtn ("__ieee754_sinh" %sinh) 1) +(def-math-rtn ("__ieee754_cosh" %cosh) 1) +(def-math-rtn ("fdlibm_tanh" %tanh) 1) +(def-math-rtn ("fdlibm_asinh" %asinh) 1) +(def-math-rtn ("__ieee754_acosh" %acosh) 1) +(def-math-rtn ("__ieee754_atanh" %atanh) 1) + +;;; Exponential and Logarithmic. +(def-math-rtn ("__ieee754_exp" %exp) 1) +(def-math-rtn ("__ieee754_log" %log) 1) +(def-math-rtn ("__ieee754_log10" %log10) 1) +(def-math-rtn ("cmucl_log2" %log2) 1) + +(def-math-rtn ("__ieee754_pow" %pow) 2) +#-(or x86 sparc-v7 sparc-v8 sparc-v9) +(def-math-rtn "sqrt" 1) +(def-math-rtn ("hypot" %hypot) 2) + +(def-math-rtn ("fdlibm_log1p" %log1p) 1) +(def-math-rtn ("fdlibm_expm1" %expm1) 1) +) (declaim (inline %scalbn)) (export '%scalbn) ===================================== src/code/linux-os.lisp ===================================== @@ -25,6 +25,7 @@ (register-lisp-feature :linux) (register-lisp-feature :elf) (register-lisp-runtime-feature :executable) +(register-lisp-runtime-feature :core-math) (setq *software-type* "Linux") ===================================== src/compiler/x86/sse2-c-call.lisp ===================================== @@ -36,22 +36,29 @@ :from :eval :to :result) edx) (:temporary (:sc single-stack) temp-single) (:temporary (:sc double-stack) temp-double) + #+core-math (:temporary (:sc unsigned-stack) save-fpu-cw) + #+core-math (:temporary (:sc unsigned-stack) fpu-cw) + #+core-math + (:temporary (:sc unsigned-reg) temp-cw) (:node-var node) (:vop-var vop) (:save-p t) - (:ignore args ecx #+nil edx) + (:ignore args ecx edx) (:guard (backend-featurep :sse2)) (:generator 0 - ;; Save the x87 FPU control word. Then modify it to set the - ;; precision bits to double (2). - (inst fnstcw save-fpu-cw) - (move edx save-fpu-cw) - (inst and edx (dpb 0 (byte 2 8) #xffff)) ; Zap the precision control bits - (inst or edx (dpb 2 (byte 2 8) 0)) ; Set precision control to double - (move fpu-cw edx) - (inst fldcw fpu-cw) ; New CW + #+core-math + (progn + ;; Save the x87 FPU control word. Then modify it to set the + ;; precision bits to double (2). + (inst fnstcw save-fpu-cw) + (move temp-cw save-fpu-cw) + (inst and temp-cw (dpb 0 (byte 2 8) #xffff)) ; Zap the precision control bits + (inst or temp-cw (dpb 2 (byte 2 8) 0)) ; Set precision control to double + (move fpu-cw temp-cw) + (inst fldcw fpu-cw) ; New CW + ) (cond ((policy node (> space speed)) (move eax function) @@ -76,6 +83,7 @@ (inst fstpd (ea-for-df-stack temp-double)) (inst movsd xmm0-tn (ea-for-df-stack temp-double))))) ;; Restore the x87 FPU control settings + #+core-math (inst fldcw save-fpu-cw))) (define-vop (alloc-number-stack-space) ===================================== src/lisp/Config.x86_common ===================================== @@ -36,6 +36,36 @@ ifdef FEATURE_ELF CPP_DEFINE_OPTIONS += -DFEATURE_ELF endif +# If core-math feature is set, we use core-math routines for the +# special functions. + +ifdef FEATURE_CORE_MATH +CORE_MATH_64=core-math/src/binary64 + +CORE64_OBJS=\ + $(CORE_MATH_64)/sin/sin.o \ + $(CORE_MATH_64)/cos/cos.o \ + $(CORE_MATH_64)/tan/tan.o \ + $(CORE_MATH_64)/atan2/atan2.o \ + $(CORE_MATH_64)/asin/asin.o \ + $(CORE_MATH_64)/acos/acos.o \ + $(CORE_MATH_64)/atan/atan.o \ + $(CORE_MATH_64)/sinh/sinh.o \ + $(CORE_MATH_64)/cosh/cosh.o \ + $(CORE_MATH_64)/tanh/tanh.o \ + $(CORE_MATH_64)/asinh/asinh.o \ + $(CORE_MATH_64)/acosh/acosh.o \ + $(CORE_MATH_64)/atanh/atanh.o \ + $(CORE_MATH_64)/exp/exp.o \ + $(CORE_MATH_64)/log/log.o \ + $(CORE_MATH_64)/log10/log10.o \ + $(CORE_MATH_64)/log2/log2.o \ + $(CORE_MATH_64)/pow/pow.o \ + $(CORE_MATH_64)/hypot/hypot.o \ + $(CORE_MATH_64)/log1p/log1p.o \ + $(CORE_MATH_64)/expm1/expm1.o +endif + ifeq ($(filter 2% 3%, $(shell $(CC) -dumpversion)),) CPP_INCLUDE_OPTIONS := -iquote . -iquote $(PATH1) else ===================================== src/lisp/GNUmakefile ===================================== @@ -36,30 +36,6 @@ SRCS = lisp.c coreparse.c alloc.c monitor.c print.c interr.c \ runprog.c time.c case-mapping.c exec-init.c \ ${FDLIBM} ${ARCH_SRC} ${ASSEM_SRC} ${OS_SRC} ${GC_SRC} -CORE_MATH_64=core-math/src/binary64 - -CORE64_OBJS=\ - $(CORE_MATH_64)/sin/sin.o \ - $(CORE_MATH_64)/cos/cos.o \ - $(CORE_MATH_64)/tan/tan.o \ - $(CORE_MATH_64)/atan2/atan2.o \ - $(CORE_MATH_64)/asin/asin.o \ - $(CORE_MATH_64)/acos/acos.o \ - $(CORE_MATH_64)/atan/atan.o \ - $(CORE_MATH_64)/sinh/sinh.o \ - $(CORE_MATH_64)/cosh/cosh.o \ - $(CORE_MATH_64)/tanh/tanh.o \ - $(CORE_MATH_64)/asinh/asinh.o \ - $(CORE_MATH_64)/acosh/acosh.o \ - $(CORE_MATH_64)/atanh/atanh.o \ - $(CORE_MATH_64)/exp/exp.o \ - $(CORE_MATH_64)/log/log.o \ - $(CORE_MATH_64)/log10/log10.o \ - $(CORE_MATH_64)/log2/log2.o \ - $(CORE_MATH_64)/pow/pow.o \ - $(CORE_MATH_64)/hypot/hypot.o \ - $(CORE_MATH_64)/log1p/log1p.o \ - $(CORE_MATH_64)/expm1/expm1.o OBJS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(patsubst %.s,%.o,$(SRCS)))) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/44d0795cfada2045adb9d3… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/44d0795cfada2045adb9d3… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] TEMPORARY: Use clang in Config.x86_linux
by Raymond Toy (＠rtoy) 09 Aug '25

09 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 44d0795c by Raymond Toy at 2025-08-09T06:50:37-07:00 TEMPORARY: Use clang in Config.x86_linux See if clang on the CI machines can build with core-math. If so, we need to modify .gitlab-ci.yml so that we can use Config.x86_linux_clang to build instead of the default. - - - - - 1 changed file: - src/lisp/Config.x86_linux Changes: ===================================== src/lisp/Config.x86_linux ===================================== @@ -1,6 +1,9 @@ # -*- Mode: makefile -*- include Config.x86_common +# TEMP FIX! +CC = clang + # We want errno support because we used to have that. CORE_MATH = -DCORE_MATH_SUPPORT_ERRNO View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/44d0795cfada2045adb9d39… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/44d0795cfada2045adb9d39… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-425-correctly-rounded-math-functions] 6 commits: The float-modes type is a 30 bit unsigned byte
by Raymond Toy (＠rtoy) 09 Aug '25

09 Aug '25

Raymond Toy pushed to branch issue-425-correctly-rounded-math-functions at cmucl / cmucl Commits: 70542bd9 by Raymond Toy at 2025-08-07T17:10:40-07:00 The float-modes type is a 30 bit unsigned byte Since we use a single 32-bit word to set the x87 FP modes, we need at least 30 bits because the top 2 bits are reserved so they shouldn't be set. This is because the control word is in the top 16 bits. Previously, the float-modes type was an (unsigned-byte 24), which is too small now. - - - - - 5edb2d90 by Raymond Toy at 2025-08-08T06:49:06-07:00 Fix #426: Define float-modes type correctly The definition of `float-modes` is `(unsigned-byte 24)`. This is too small if we are trying to set the precision control field for x87 via `(setf (x86::x87-floating-point-modes) ...)`. The field needs to be at least 30 bits to that we can assign values for the x87 control and status words. Thus, set the type to `(unsigned-byte 32)`. - - - - - 387ed142 by Raymond Toy at 2025-08-08T07:11:42-07:00 Add test for (setf (x86::x87-floating-point-modes)) - - - - - 4d1f287c by Raymond Toy at 2025-08-08T18:29:40-07:00 Merge branch 'issue-426-fix-float-modes-type-def' into issue-425-correctly-rounded-math-functions - - - - - 84ee222f by Raymond Toy at 2025-08-08T19:59:15-07:00 lisp.a needs to have the core math routines too. - - - - - f47f8f07 by Raymond Toy at 2025-08-08T20:00:17-07:00 Set the x87 precision to double when calling out to C When we call out to C, we save the x87 FPU control word. Then update the FPU control to have the precision set to double (53-bit) precision. This is needed for the core-math routines that depend on the x87 precision control to be double. When the function returns, we restore the original x87 control word. - - - - - 4 changed files: - src/compiler/x86/float-sse2.lisp - src/compiler/x86/sse2-c-call.lisp - src/lisp/GNUmakefile - tests/float.lisp Changes: ===================================== src/compiler/x86/float-sse2.lisp ===================================== @@ -1265,7 +1265,7 @@ ;;;; Float mode hackery: -(deftype float-modes () '(unsigned-byte 24)) +(deftype float-modes () '(unsigned-byte 30)) ;; For the record, here is the format of the MXCSR register. ;; ===================================== src/compiler/x86/sse2-c-call.lisp ===================================== @@ -36,12 +36,23 @@ :from :eval :to :result) edx) (:temporary (:sc single-stack) temp-single) (:temporary (:sc double-stack) temp-double) + (:temporary (:sc unsigned-stack) save-fpu-cw) + (:temporary (:sc unsigned-stack) fpu-cw) (:node-var node) (:vop-var vop) (:save-p t) - (:ignore args ecx edx) + (:ignore args ecx #+nil edx) (:guard (backend-featurep :sse2)) - (:generator 0 + (:generator 0 + ;; Save the x87 FPU control word. Then modify it to set the + ;; precision bits to double (2). + (inst fnstcw save-fpu-cw) + (move edx save-fpu-cw) + (inst and edx (dpb 0 (byte 2 8) #xffff)) ; Zap the precision control bits + (inst or edx (dpb 2 (byte 2 8) 0)) ; Set precision control to double + (move fpu-cw edx) + (inst fldcw fpu-cw) ; New CW + (cond ((policy node (> space speed)) (move eax function) (inst call (make-fixup (extern-alien-name "call_into_c") :foreign))) @@ -63,7 +74,9 @@ (inst movss xmm0-tn (ea-for-sf-stack temp-single))) (double-reg (inst fstpd (ea-for-df-stack temp-double)) - (inst movsd xmm0-tn (ea-for-df-stack temp-double))))))) + (inst movsd xmm0-tn (ea-for-df-stack temp-double))))) + ;; Restore the x87 FPU control settings + (inst fldcw save-fpu-cw))) (define-vop (alloc-number-stack-space) (:info amount) ===================================== src/lisp/GNUmakefile ===================================== @@ -83,7 +83,7 @@ lisp: ${OBJS} ${CORE64_OBJS} version.o # Create a library out of all the object files so we can build an # executable. However, we need to remove exec-init.o from the library lisp.a: version.o ${OBJS} ${CORE64_OBJS} ${EXEC_FINAL_OBJ} - $(AR) crs lisp.a ${OBJS} version.o + $(AR) crs lisp.a ${OBJS} ${CORE64_OBJS} version.o ifneq (${EXEC_FINAL_OBJ},) $(AR) d lisp.a exec-init.o endif ===================================== tests/float.lisp ===================================== @@ -333,3 +333,13 @@ (declare (ignore c)) (values (invoke-restart 'lisp::largest-float))))) (read-from-string string)))))) + +#+x86 +(define-test x87-set-floating-point-modes + (:tag :issues) + (let ((new-mode (setf (x86::x87-floating-point-modes) + (dpb 2 (byte 2 24) + (x86::x87-floating-point-modes))))) + (assert-true (typep new-mode 'x86::float-modes)) + (assert-equal new-mode (setf (x86::x87-floating-point-modes) new-mode)))) + View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a38612dca7b478767b47a6… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a38612dca7b478767b47a6… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-426-fix-float-modes-type-def] Add test for (setf (x86::x87-floating-point-modes))
by Raymond Toy (＠rtoy) 08 Aug '25

08 Aug '25

Raymond Toy pushed to branch issue-426-fix-float-modes-type-def at cmucl / cmucl Commits: 387ed142 by Raymond Toy at 2025-08-08T07:11:42-07:00 Add test for (setf (x86::x87-floating-point-modes)) - - - - - 1 changed file: - tests/float.lisp Changes: ===================================== tests/float.lisp ===================================== @@ -333,3 +333,13 @@ (declare (ignore c)) (values (invoke-restart 'lisp::largest-float))))) (read-from-string string)))))) + +#+x86 +(define-test x87-set-floating-point-modes + (:tag :issues) + (let ((new-mode (setf (x86::x87-floating-point-modes) + (dpb 2 (byte 2 24) + (x86::x87-floating-point-modes))))) + (assert-true (typep new-mode 'x86::float-modes)) + (assert-equal new-mode (setf (x86::x87-floating-point-modes) new-mode)))) + View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/387ed142e6e279b10bf9ee2… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/387ed142e6e279b10bf9ee2… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0