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

[Git][cmucl/cmucl][issue-380-p2-clean-up-shell-scripts] 49 commits: Fix #386: Generate def-unix-error forms
by Raymond Toy (＠rtoy) 20 Aug '25

20 Aug '25

Raymond Toy pushed to branch issue-380-p2-clean-up-shell-scripts at cmucl / cmucl Commits: ceddbbc8 by Raymond Toy at 2025-05-19T08:16:40-07:00 Fix #386: Generate def-unix-error forms - - - - - 43719776 by Raymond Toy at 2025-05-19T08:16:40-07:00 Merge branch 'issue-386-generate-def-unix-error' into 'master' Fix #386: Generate def-unix-error forms Closes #386 See merge request cmucl/cmucl!276 - - - - - 113192f6 by Raymond Toy at 2025-05-19T12:22:37-07:00 Fix #406: Add links to README - - - - - a3b02a89 by Raymond Toy at 2025-05-19T12:22:37-07:00 Merge branch 'issue-406-update-readme-with-links' into 'master' Fix #406: Add links to README Closes #406 See merge request cmucl/cmucl!297 - - - - - 666085ca by Raymond Toy at 2025-05-23T10:21:38-07:00 Fix broken link found by link-checker Fix typo where we left of the "h" in "https". - - - - - 81b3bf0b by Raymond Toy at 2025-05-23T10:29:04-07:00 Add links for Common Lisp and ANSI CL We had these links on the wiki home so lets add them here, for consistency. [skip ci] - - - - - 98559d43 by Raymond Toy at 2025-05-23T10:30:33-07:00 Remove the strikethru markup for issues. We were copying the old style from Trac where closed tickets used strikethru to mark them as closed. However, gitlab automatically adds a "(closed)" suffix to the issue, so we don't need to do a strikethru to mark it closed. [skip ci] - - - - - 7fd5e2ff by Raymond Toy at 2025-06-01T17:07:58-07:00 Fix #405: Remove unix::unix-resolve-links and update probe-file - - - - - a4c4016f by Raymond Toy at 2025-06-01T17:07:58-07:00 Merge branch 'issue-405-remove-unix-resolve-links' into 'master' Fix #405: Remove unix::unix-resolve-links and update probe-file Closes #405 See merge request cmucl/cmucl!294 - - - - - 8fa86990 by Raymond Toy at 2025-06-01T19:23:12-07:00 Fix #409: Run manual jobs on a schedule - - - - - 14f7103c by Raymond Toy at 2025-06-01T19:23:13-07:00 Merge branch 'issue-409-run-manual-jobs-on-schedule' into 'master' Fix #409: Run manual jobs on a schedule Closes #409 See merge request cmucl/cmucl!301 - - - - - 14bfb3e0 by Raymond Toy at 2025-06-01T19:25:25-07:00 Address #399: Use -std=gnu89 to build motif server - - - - - 12f21ca8 by Raymond Toy at 2025-06-01T19:25:25-07:00 Merge branch 'issue-399-b-motif-server-fedora-42' into 'master' Address #399: Use -std=gnu89 to build motif server Closes #399 See merge request cmucl/cmucl!285 - - - - - 300a849d by Raymond Toy at 2025-06-01T20:57:58-07:00 Fix #334: Add wiki link checker to CI - - - - - c2dee44a by Raymond Toy at 2025-06-01T20:57:58-07:00 Merge branch 'issue-334-add-wiki-link-checker' into 'master' Fix #334: Add wiki link checker to CI Closes #334 See merge request cmucl/cmucl!232 - - - - - cd35783b by Raymond Toy at 2025-06-05T07:48:07-07:00 Fix #413: Run markdown-link-check on scheduled pipeline - - - - - b6f90681 by Raymond Toy at 2025-06-05T07:48:08-07:00 Merge branch 'issue-413-markdown-link-check-on-schedule' into 'master' Fix #413: Run markdown-link-check on scheduled pipeline Closes #413 See merge request cmucl/cmucl!304 - - - - - 97dff761 by Raymond Toy at 2025-06-06T07:10:20-07:00 Update all the pot and po files Just ran bin/build.sh -U to get these all updated. - - - - - d6faeaef by Raymond Toy at 2025-06-09T08:51:48-07:00 Remove extra closing parenthesis There was an extra closing parenthesis at the end of `precompile-ef-slot`. Remove it. [skip-ci] - - - - - 4e6e1afe by Raymond Toy at 2025-06-09T10:39:52-07:00 Update with new resolved issues Add #404 and #405 to the list of fixed issues. - - - - - 852aaef6 by Raymond Toy at 2025-06-10T08:06:34-07:00 Fix typo in docstring for with-string-{glyph,codepoint}-iterator "prodcucing" -> "producing" Update pot file too of course. - - - - - d6a6c40d by Raymond Toy at 2025-06-10T18:21:12-07:00 Update and correct some comments The paths mentioned in the script are wrong so update them. Some the the examples are out-of-date so correct those too. Finally, mention that "bin/build.sh -?" gives help. - - - - - 46bd7cff by Raymond Toy at 2025-06-23T08:45:54-07:00 Fix 418: Update asdf to 3.3.7.4 - - - - - 9e6d1350 by Raymond Toy at 2025-06-23T08:45:54-07:00 Merge branch 'issue-418-update-asdf-to-3.3.7.4' into 'master' Fix 418: Update asdf to 3.3.7.4 See merge request cmucl/cmucl!307 - - - - - aeab122e by Raymond Toy at 2025-06-30T07:18:34-07:00 Fix #415: Add support for package-local-nicknames - - - - - 32b15538 by Raymond Toy at 2025-06-30T07:18:34-07:00 Merge branch 'issue-415-add-package-local-nicknames' into 'master' Fix #415: Add support for package-local-nicknames Closes #415 See merge request cmucl/cmucl!305 - - - - - 6dba253c by Raymond Toy at 2025-06-30T08:36:53-07:00 Fix #417: Allow repeated lambda var in defmethod aux variables - - - - - 4e2e7fec by Raymond Toy at 2025-06-30T08:36:53-07:00 Merge branch 'issue-417-defmethod-check-aux-vars' into 'master' Fix #417: Allow repeated lambda var in defmethod aux variables Closes #417 See merge request cmucl/cmucl!306 - - - - - f1d6ff67 by Raymond Toy at 2025-06-30T19:17:31-07:00 Update release notes from closed issues [skip-ci] - - - - - aadcf841 by Raymond Toy at 2025-07-02T07:22:08-07:00 Update trivial-package-local-nicknames repo name We renamed/moved our mirror phoe/trivial-package-local-nicknames from trivial-package-local-nicknames-mirror to just trivial-package-local-nicknames. Thus, we need to update run-unit-tests.sh to use the new name. - - - - - fbe08b91 by Raymond Toy at 2025-07-02T08:13:00-07:00 Use https instead of git to clone trivial-pln - - - - - cc3996f1 by Raymond Toy at 2025-07-09T13:23:49-07:00 Update docstring for add-package-local-nickname We allow the local nickname to be a global name of a package. This matches what we currently do and what sbcl does. - - - - - 7dbefc84 by Raymond Toy at 2025-07-09T13:31:38-07:00 Update cmucl.pot due to changed docstring No changes in code or behavior. - - - - - 9ab06424 by Raymond Toy at 2025-07-11T08:13:17-07:00 Make dist tarballs after building - - - - - 72877169 by Raymond Toy at 2025-07-11T08:13:17-07:00 Merge branch 'rtoy-ci-make-dist-tarballs' into 'master' Make dist tarballs after building See merge request cmucl/cmucl!308 - - - - - a99bf94d by Raymond Toy at 2025-07-12T15:38:28-07:00 Make dist tarballs after building - - - - - 38b2787c by Raymond Toy at 2025-07-12T15:38:28-07:00 Merge branch 'rtoy-debug-ci-2025-07' into 'master' Make dist tarballs after building See merge request cmucl/cmucl!309 - - - - - 2c94b54e by Raymond Toy at 2025-07-12T18:18:16-07:00 Fix #423: Use new binaries for CI - - - - - 9a8fd3c4 by Raymond Toy at 2025-07-12T18:18:16-07:00 Merge branch 'issue-423-update-ci-for-snapshot' into 'master' Fix #423: Use new binaries for CI Closes #423 See merge request cmucl/cmucl!310 - - - - - 4660c011 by Raymond Toy at 2025-08-14T07:40:17-07:00 Fix #424: Use fdlibm hypot - - - - - 6a2028c5 by Raymond Toy at 2025-08-14T07:40:17-07:00 Merge branch 'issue-424-fix-hypot' into 'master' Fix #424: Use fdlibm hypot Closes #424 See merge request cmucl/cmucl!311 - - - - - cb874f7f by Raymond Toy at 2025-08-14T07:42:48-07:00 Update release notes for #424 - - - - - d2c96f1b by Raymond Toy at 2025-08-14T07:45:18-07:00 Fix #426: Define float-modes type correctly - - - - - 2db294b1 by Raymond Toy at 2025-08-14T07:45:18-07:00 Merge branch 'issue-426-fix-float-modes-type-def' into 'master' Fix #426: Define float-modes type correctly Closes #426 See merge request cmucl/cmucl!313 - - - - - eb98570f by Raymond Toy at 2025-08-14T07:55:12-07:00 Update release notes for #426 [skip-ci] - - - - - cd2edae5 by Raymond Toy at 2025-08-19T14:16:31-07:00 Fix #432: Don't pass -M option to make-extra-dist.sh - - - - - c65554a5 by Raymond Toy at 2025-08-19T14:16:31-07:00 Merge branch 'issue-432-fix-man-option-for-make-extra-dist' into 'master' Fix #432: Don't pass -M option to make-extra-dist.sh Closes #432 See merge request cmucl/cmucl!315 - - - - - fb0d7bf2 by Raymond Toy at 2025-08-20T07:49:01-07:00 Merge branch 'master' into issue-380-p2-clean-up-shell-scripts - - - - - 0f2ed171 by Raymond Toy at 2025-08-20T08:27:56-07:00 Fix merge issue Was not correctly handling -M option that is passed to make-main-dist.sh - - - - - 52 changed files: - .gitignore - .gitlab-ci.yml - README.md - bin/build.sh - + bin/create-def-unix-error.awk - + bin/create-errno.sh - bin/cross-build-world.sh - + bin/errno-darwin.lisp - + bin/errno-default.lisp - + bin/errno-linux.lisp - + bin/errno-solaris.lisp - + bin/errno-template.lisp - bin/git-version.sh - bin/run-unit-tests.sh - src/bootfiles/21e/boot-2024-08.lisp - src/code/exports.lisp - src/code/extfmts.lisp - src/code/filesys.lisp - src/code/irrat.lisp - src/code/package.lisp - src/code/print.lisp - src/code/string.lisp - src/code/unix.lisp - src/compiler/x86/float-sse2.lisp - src/contrib/asdf/asdf.lisp - src/contrib/asdf/doc/asdf.html - src/contrib/asdf/doc/asdf.info - src/contrib/asdf/doc/asdf.pdf - src/general-info/release-21f.md - src/i18n/locale/cmucl-unix.pot - src/i18n/locale/cmucl.pot - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl-bsd-os.po - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl-linux-os.po - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl-unix.po - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl-x86-vm.po - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po - src/i18n/locale/ko/LC_MESSAGES/cmucl-bsd-os.po - src/i18n/locale/ko/LC_MESSAGES/cmucl-linux-os.po - src/i18n/locale/ko/LC_MESSAGES/cmucl-unix.po - src/i18n/locale/ko/LC_MESSAGES/cmucl-x86-vm.po - src/i18n/locale/ko/LC_MESSAGES/cmucl.po - src/lisp/GNUmakefile - + src/lisp/e_hypot.c - src/motif/server/Config.linux - src/motif/server/server.c - src/pcl/low.lisp - src/tools/worldbuild.lisp - src/tools/worldcom.lisp - tests/float.lisp - tests/irrat.lisp - tests/issues.lisp - tests/pcl/defmethod.lisp The diff was not included because it is too large. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/f2da32690919a7819ebc32… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/f2da32690919a7819ebc32… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl] Pushed new branch issue-433-one-ctrl-d-exits-repl
by Raymond Toy (＠rtoy) 20 Aug '25

20 Aug '25

Raymond Toy pushed new branch issue-433-one-ctrl-d-exits-repl at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-433-one-ctrl-d-exit… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] 2 commits: Fix #432: Don't pass -M option to make-extra-dist.sh
by Raymond Toy (＠rtoy) 19 Aug '25

19 Aug '25

Raymond Toy pushed to branch master at cmucl / cmucl Commits: cd2edae5 by Raymond Toy at 2025-08-19T14:16:31-07:00 Fix #432: Don't pass -M option to make-extra-dist.sh - - - - - c65554a5 by Raymond Toy at 2025-08-19T14:16:31-07:00 Merge branch 'issue-432-fix-man-option-for-make-extra-dist' into 'master' Fix #432: Don't pass -M option to make-extra-dist.sh Closes #432 See merge request cmucl/cmucl!315 - - - - - 1 changed file: - bin/make-dist.sh Changes: ===================================== bin/make-dist.sh ===================================== @@ -189,7 +189,7 @@ GTAR_OPTS="-t ${GTAR:-tar}" EXTRA_OPTS="${GROUP:+ -G ${GROUP}} ${OWNER:+ -O ${OWNER}}" INSTALL_OPTS="${INSTALL_DIR:+ -I ${INSTALL_DIR}}" MANDIR="${MANDIR:+ -M ${MANDIR}}" -OPTIONS="${GTAR_OPTS} ${EXTRA_OPTS} ${INSTALL_OPTS} ${MANDIR}" +OPTIONS="${GTAR_OPTS} ${EXTRA_OPTS} ${INSTALL_OPTS}" set -x echo Creating distribution for $ARCH $OS View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/eb98570f9cc44474f64dae… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/eb98570f9cc44474f64dae… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl] Pushed new branch issue-432-fix-man-option-for-make-extra-dist
by Raymond Toy (＠rtoy) 18 Aug '25

18 Aug '25

Raymond Toy pushed new branch issue-432-fix-man-option-for-make-extra-dist at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-432-fix-man-option-… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-431-fix-set-floating-point-modes] Update release notes
by Raymond Toy (＠rtoy) 17 Aug '25

17 Aug '25

Raymond Toy pushed to branch issue-431-fix-set-floating-point-modes at cmucl / cmucl Commits: 02a3fe80 by Raymond Toy at 2025-08-17T07:18:07-07:00 Update release notes - - - - - 1 changed file: - src/general-info/release-21f.md Changes: ===================================== src/general-info/release-21f.md ===================================== @@ -139,6 +139,7 @@ public domain. package-local-nicknames) * #424 Use fdlibm `hypot` to fix bug in snapshot 2025-07 * #426 Define float-modes type correctly for `(setf (x87-set-floating-point-modes))` + * $431 Fix setting of x87 FP modes in `set-floating-point-modes` * Other changes: * Improvements to the PCL implementation of CLOS: * Changes to building procedure: View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/02a3fe80b25f6d508d59363… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/02a3fe80b25f6d508d59363… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-431-fix-set-floating-point-modes] More cleanups
by Raymond Toy (＠rtoy) 17 Aug '25

17 Aug '25

Raymond Toy pushed to branch issue-431-fix-set-floating-point-modes at cmucl / cmucl Commits: ef367c52 by Raymond Toy at 2025-08-17T07:14:14-07:00 More cleanups Remove old comment and debugging prints. Wrap comments neatly. Clean up printing of the mode word for x87. - - - - - 2 changed files: - src/code/float-trap.lisp - src/compiler/x86/float-sse2.lisp Changes: ===================================== src/code/float-trap.lisp ===================================== @@ -109,37 +109,17 @@ (ash x87-enables 7)))) final-mode)) - #+nil - (defun (setf floating-point-modes) (new-mode) - (declare (type (unsigned-byte 32) new-mode)) - ;; Set the floating point modes for both X87 and SSE2. This - ;; include the rounding control bits. - (let* ((rc (ldb float-rounding-mode new-mode)) - (new-exceptions (logand #x3f new-mode)) - (new-enables (logand #x3f (ash new-mode -7))) - (x87-modes - (logior new-exceptions - (ash rc 10) - (ash new-enables 16) - ;; Set precision control to be 64-bit, always. We - ;; don't use the x87 registers with sse2, so this - ;; is ok and would be the correct setting if we - ;; ever support long-floats. - (ash 3 (+ 8 16))))) - (setf (vm::sse2-floating-point-modes) (ldb (byte 24 0) new-mode)) - (setf (vm::x87-floating-point-modes) (ldb (byte 24 0) x87-modes))) - new-mode) + (defun (setf floating-point-modes) (new-mode) (declare (type (unsigned-byte 32) new-mode)) ;; Set the floating point modes for both X87 and SSE2. This ;; include the rounding control bits. - #+nil - (format t "new-mode = ~8,'0x~%" new-mode) (let* ((rc (ldb float-rounding-mode new-mode)) (new-exceptions (ldb float-exceptions-byte new-mode)) (new-enables (ldb float-traps-byte new-mode)) (x87-modes 0)) - ;; From the new mode, update the x87 FPU mode with the same set of accrued exceptions, enabled exceptions, and rounding mode. + ;; From the new mode, update the x87 FPU mode with the same set + ;; of accrued exceptions, enabled exceptions, and rounding mode. (setf x87-modes (dpb new-exceptions float-exceptions-byte x87-modes)) (setf x87-modes (dpb new-enables x87-float-traps-byte x87-modes)) (setf x87-modes (dpb rc x87-float-rounding-mode x87-modes)) @@ -152,8 +132,7 @@ (setf (vm::sse2-floating-point-modes) (ldb (byte 16 0) new-mode)) (setf (vm::x87-floating-point-modes) (ldb (byte 30 0) x87-modes))) - new-mode) - ) + new-mode)) #+(and sse2 darwin) (progn ===================================== src/compiler/x86/float-sse2.lisp ===================================== @@ -1422,7 +1422,7 @@ ;; the rest of cmucl, these bits are represented as enable bits. (format t "Flush-to-zero: ~30T~A~%" (ldb (byte 1 15) sse-mode)) (let ((rc (ldb float-rounding-mode sse-mode))) - (format t "Rounding control: ~30T~A ~A~%" + (format t "Rounding control: ~30T#b~2,'0b ~S~%" rc (car (rassoc rc rounding-mode-alist)))) (print-fp-exceptions-enabled (ldb float-traps-byte sse-mode)) @@ -1432,26 +1432,28 @@ "Print X87 floating modes word in a readable fashion." ;; Note that Intel uses masks to disable the exception, but to match ;; the rest of cmucl, these bits are represented as enable bits. - (format t "SW: FPU busy: ~30T~A~%" (ldb (byte 1 15) x87-mode)) - (format t "SW: Condition code C3: ~30T~A~%" (ldb (byte 1 14) x87-mode)) - (format t "SW: Top of stack: ~30T~D~%" (ldb (byte 3 11) x87-mode)) - (format t "SW: Condition code C2: ~30T~A~%" (ldb (byte 1 10) x87-mode)) - (format t "SW: Condition code C1: ~30T~A~%" (ldb (byte 1 9) x87-mode)) - (format t "SW: Condition code C0: ~30T~A~%" (ldb (byte 1 8) x87-mode)) - (format t "SW: Error summary: ~30T~A~%" (ldb (byte 1 7) x87-mode)) - (format t "SW: Stack fault: ~30T~A~%" (ldb (byte 1 6) x87-mode)) + (format t "Status word:~%") + (format t "FPU busy: ~30T~A~%" (ldb (byte 1 15) x87-mode)) + (format t "Condition code C3: ~30T~A~%" (ldb (byte 1 14) x87-mode)) + (format t "Top of stack: ~30T~D~%" (ldb (byte 3 11) x87-mode)) + (format t "Condition code C2: ~30T~A~%" (ldb (byte 1 10) x87-mode)) + (format t "Condition code C1: ~30T~A~%" (ldb (byte 1 9) x87-mode)) + (format t "Condition code C0: ~30T~A~%" (ldb (byte 1 8) x87-mode)) + (format t "Error summary: ~30T~A~%" (ldb (byte 1 7) x87-mode)) + (format t "Stack fault: ~30T~A~%" (ldb (byte 1 6) x87-mode)) (print-fp-current-exceptions (ldb float-exceptions-byte x87-mode)) - (format t "CW: Reserved: ~30T~A~%" (ldb (byte 2 (+ 13 16)) x87-mode)) - (format t "CW: Infinity control: ~30T~A~%" (ldb x87-float-infinity-control-byte x87-mode)) + (format t "~%Control word:~%") + (format t "Reserved: ~30T#b~2,'0b~%" (ldb (byte 2 (+ 13 16)) x87-mode)) + (format t "Infinity control: ~30T~A~%" (ldb x87-float-infinity-control-byte x87-mode)) (let ((rc (ldb x87-float-rounding-mode x87-mode))) - (format t "CW: Rounding control: ~30T~A ~A~%" + (format t "Rounding control: ~30T#b~2,'0b ~S~%" rc (car (rassoc rc rounding-mode-alist)))) (let ((pc (ldb x87-float-precision-control-byte x87-mode))) - (format t "CW: Precision control: ~30T~A ~A~%" + (format t "Precision control: ~30T#b~2,'0b ~S~%" pc (car (rassoc pc x87-float-precision-control-alist)))) - (format t "CW: Reserved: ~30T~A~%" (ldb (byte 2 (+ 6 16)) x87-mode)) + (format t "Reserved: ~30T#b~2,'0b~%" (ldb (byte 2 (+ 6 16)) x87-mode)) (print-fp-exceptions-enabled (ldb x87-float-traps-byte x87-mode))) (defknown x87-floating-point-modes () float-modes (flushable)) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/ef367c524ca6e359970c5fe… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/ef367c524ca6e359970c5fe… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-431-fix-set-floating-point-modes] 5 commits: Add some more tests for set-floating-point-modes
by Raymond Toy (＠rtoy) 16 Aug '25

16 Aug '25

Raymond Toy pushed to branch issue-431-fix-set-floating-point-modes at cmucl / cmucl Commits: e80d2fe4 by Raymond Toy at 2025-08-15T15:15:00-07:00 Add some more tests for set-floating-point-modes - - - - - 1dfdaba2 by Raymond Toy at 2025-08-15T19:17:20-07:00 Rename things and update corresponding uses. We don't need x87-exceptions-byte anymore because it's the same as float-exceptions-byte. Rename the defconstants to include the word "float". Also make the x87 constant names more like the corresponding names in parms.lisp, which are basically for sse2. - - - - - 3f9a71d1 by Raymond Toy at 2025-08-16T07:52:41-07:00 Renamed some x87 FP constants x87-exceptions-mask-byte -> x87-float-traps-byte x87-rounding-control-byte -> x87-float-rounding-mode These new names match the existing float-traps-byte and float-rounding-mode constants that exist in parms.lisp. - - - - - a1adbe86 by Raymond Toy at 2025-08-16T07:54:15-07:00 rename x87-traps-byte to x87-float-traps-byte - - - - - 0ac12cb6 by Raymond Toy at 2025-08-16T07:54:43-07:00 Update pot files for updated docstrings - - - - - 7 changed files: - src/bootfiles/21e/boot-2025-07.lisp - src/code/float-trap.lisp - src/compiler/x86/float-sse2.lisp - src/compiler/x86/parms.lisp - src/i18n/locale/cmucl-sse2.pot - src/i18n/locale/cmucl-x86-vm.pot - tests/float.lisp Changes: ===================================== src/bootfiles/21e/boot-2025-07.lisp ===================================== @@ -2,18 +2,24 @@ (in-package :x86) -(defconstant x87-exceptions-byte - (byte 6 0)) -(defconstant x87-infinity-control-byte - (byte 1 (+ 12 16))) -(defconstant x87-rounding-control-byte - (byte 2 (+ 10 16))) -(defconstant x87-precision-control-byte - (byte 2 (+ 8 16))) -(defconstant x87-exceptions-mask-byte - (byte 6 16)) -(defconstant x87-precision-control-alist +(defconstant x87-float-infinity-control-byte + (byte 1 (+ 12 16)) + "The bit in the x87 FPU control word that controls the infinity mode.") +(defconstant x87-float-rounding-mode + (byte 2 (+ 10 16)) + "The bits in the x87 FPU control word for the rounding mode.") +(defconstant x87-float-precision-control-byte + (byte 2 (+ 8 16)) + "The bits in the x87 FPU contol word for the FP operation precision.") +(defconstant x87-float-traps-byte + (byte 6 16) + "The bits in the x87 FPU control word indicating the exceptions that + are enabled.") +(defconstant x87-float-precision-control-alist `((:24-bits . 0) (:reserved . 1) (:53-bits . 2) - (:64-bits . 3))) + (:64-bits . 3)) + "Alist for the x87 precison control. The car is the symbolic + precision and the cdr is the value for the precision control field.") + ===================================== src/code/float-trap.lisp ===================================== @@ -139,16 +139,15 @@ (new-exceptions (ldb float-exceptions-byte new-mode)) (new-enables (ldb float-traps-byte new-mode)) (x87-modes 0)) - ;; From the new mode, update the x87 FPU mode with the same set - ;; of accrued exceptions, enabled exceptions, and rounding mode. - (setf x87-modes (dpb new-exceptions x87-exceptions-byte x87-modes)) - (setf x87-modes (dpb new-enables x87-exceptions-mask-byte x87-modes)) - (setf x87-modes (dpb rc x87-rounding-control-byte x87-modes)) + ;; From the new mode, update the x87 FPU mode with the same set of accrued exceptions, enabled exceptions, and rounding mode. + (setf x87-modes (dpb new-exceptions float-exceptions-byte x87-modes)) + (setf x87-modes (dpb new-enables x87-float-traps-byte x87-modes)) + (setf x87-modes (dpb rc x87-float-rounding-mode x87-modes)) ;; Set precision to 64-bits (double-extended). (setf x87-modes - (dpb (cdr (assoc :64-bits x87-precision-control-alist)) - x87-precision-control-byte + (dpb (cdr (assoc :64-bits x87-float-precision-control-alist)) + x87-float-precision-control-byte x87-modes)) (setf (vm::sse2-floating-point-modes) (ldb (byte 16 0) new-mode)) ===================================== src/compiler/x86/float-sse2.lisp ===================================== @@ -1379,21 +1379,26 @@ ;; 10 double precision (53 bits) ;; 11 double extended precision (64 bits) -(defconstant x87-exceptions-byte - (byte 6 0)) -(defconstant x87-infinity-control-byte - (byte 1 (+ 12 16))) -(defconstant x87-rounding-control-byte - (byte 2 (+ 10 16))) -(defconstant x87-precision-control-byte - (byte 2 (+ 8 16))) -(defconstant x87-exceptions-mask-byte - (byte 6 16)) -(defconstant x87-precision-control-alist +(defconstant x87-float-infinity-control-byte + (byte 1 (+ 12 16)) + "The bit in the x87 FPU control word that controls the infinity mode.") +(defconstant x87-float-rounding-mode + (byte 2 (+ 10 16)) + "The bits in the x87 FPU control word for the rounding mode.") +(defconstant x87-float-precision-control-byte + (byte 2 (+ 8 16)) + "The bits in the x87 FPU contol word for the FP operation precision.") +(defconstant x87-float-traps-byte + (byte 6 16) + "The bits in the x87 FPU control word indicating the exceptions that + are enabled.") +(defconstant x87-float-precision-control-alist `((:24-bits . 0) (:reserved . 1) (:53-bits . 2) - (:64-bits . 3))) + (:64-bits . 3)) + "Alist for the x87 precison control. The car is the symbolic + precision and the cdr is the value for the precision control field.") (defun print-fp-exceptions-enabled (enabled) (format t "Precision enable: ~30T~A~%" (ldb (byte 1 5) enabled)) @@ -1416,7 +1421,7 @@ ;; Note that Intel uses masks to disable the exception, but to match ;; the rest of cmucl, these bits are represented as enable bits. (format t "Flush-to-zero: ~30T~A~%" (ldb (byte 1 15) sse-mode)) - (let ((rc (ldb (byte 2 13) sse-mode))) + (let ((rc (ldb float-rounding-mode sse-mode))) (format t "Rounding control: ~30T~A ~A~%" rc (car (rassoc rc rounding-mode-alist)))) @@ -1437,17 +1442,17 @@ (format t "SW: Stack fault: ~30T~A~%" (ldb (byte 1 6) x87-mode)) (print-fp-current-exceptions (ldb float-exceptions-byte x87-mode)) (format t "CW: Reserved: ~30T~A~%" (ldb (byte 2 (+ 13 16)) x87-mode)) - (format t "CW: Infinity control: ~30T~A~%" (ldb (byte 1 (+ 12 16)) x87-mode)) - (let ((rc (ldb (byte 2 (+ 10 16)) x87-mode))) + (format t "CW: Infinity control: ~30T~A~%" (ldb x87-float-infinity-control-byte x87-mode)) + (let ((rc (ldb x87-float-rounding-mode x87-mode))) (format t "CW: Rounding control: ~30T~A ~A~%" rc (car (rassoc rc rounding-mode-alist)))) - (let ((pc (ldb (byte 2 (+ 8 16)) x87-mode))) + (let ((pc (ldb x87-float-precision-control-byte x87-mode))) (format t "CW: Precision control: ~30T~A ~A~%" pc - (car (rassoc pc x87-precision-control-alist)))) + (car (rassoc pc x87-float-precision-control-alist)))) (format t "CW: Reserved: ~30T~A~%" (ldb (byte 2 (+ 6 16)) x87-mode)) - (print-fp-exceptions-enabled (ldb x87-exceptions-mask-byte x87-mode))) + (print-fp-exceptions-enabled (ldb x87-float-traps-byte x87-mode))) (defknown x87-floating-point-modes () float-modes (flushable)) (defknown ((setf x87-floating-point-modes)) (float-modes) ===================================== src/compiler/x86/parms.lisp ===================================== @@ -205,9 +205,15 @@ ;; need to do it this way because the interface assumes the modes are ;; in the same order as the MXCSR register. (defconstant float-rounding-mode (byte 2 13)) -(defconstant float-sticky-bits (byte 6 0)) -(defconstant float-traps-byte (byte 6 7)) -(defconstant float-exceptions-byte (byte 6 0)) +(defconstant float-sticky-bits (byte 6 0) + "The bits in the FP mode that hold the accrued exceptions that have + occurred since the bits were reset.") +(defconstant float-traps-byte (byte 6 7) + "The bits in the FP mode that hold FP exceptions that are enabled.") +(defconstant float-exceptions-byte (byte 6 0) + "The bits in the FP mode that hold the current exception. However + for x86, there aren't separate bits for this, so we use the stick + bits from the accrued exceptions") (progn ;; SSE2 has a flush-to-zero flag, which we use as the fast bit. Some ===================================== src/i18n/locale/cmucl-sse2.pot ===================================== @@ -86,6 +86,30 @@ msgstr "" msgid "inline ftruncate" msgstr "" +#: src/compiler/x86/float-sse2.lisp +msgid "The bit in the x87 FPU control word that controls the infinity mode." +msgstr "" + +#: src/compiler/x86/float-sse2.lisp +msgid "The bits in the x87 FPU control word for the rounding mode." +msgstr "" + +#: src/compiler/x86/float-sse2.lisp +msgid "The bits in the x87 FPU contol word for the FP operation precision." +msgstr "" + +#: src/compiler/x86/float-sse2.lisp +msgid "" +"The bits in the x87 FPU control word indicating the exceptions that\n" +" are enabled." +msgstr "" + +#: src/compiler/x86/float-sse2.lisp +msgid "" +"Alist for the x87 precison control. The car is the symbolic\n" +" precision and the cdr is the value for the precision control field." +msgstr "" + #: src/compiler/x86/float-sse2.lisp msgid "Print SSE2 modes word in a readable fashion." msgstr "" ===================================== src/i18n/locale/cmucl-x86-vm.pot ===================================== @@ -136,6 +136,23 @@ msgstr "" msgid "Maximum number of bits in a positive fixnum" msgstr "" +#: src/compiler/x86/parms.lisp +msgid "" +"The bits in the FP mode that hold the accrued exceptions that have\n" +" occurred since the bits were reset." +msgstr "" + +#: src/compiler/x86/parms.lisp +msgid "The bits in the FP mode that hold FP exceptions that are enabled." +msgstr "" + +#: src/compiler/x86/parms.lisp +msgid "" +"The bits in the FP mode that hold the current exception. However\n" +" for x86, there aren't separate bits for this, so we use the stick\n" +" bits from the accrued exceptions" +msgstr "" + #: src/compiler/x86/vm.lisp msgid "Redefining SC number ~D from ~S to ~S." msgstr "" ===================================== tests/float.lisp ===================================== @@ -343,3 +343,48 @@ (assert-true (typep new-mode 'x86::float-modes)) (assert-equal new-mode (setf (x86::x87-floating-point-modes) new-mode)))) +(define-test set-floating-point-modes + (let ((old-x87-modes (x86::x87-floating-point-modes)) + (old-sse2-modes (x86::sse2-floating-point-modes))) + (unwind-protect + (progn + ;; Set some new traps and rounding mode + (ext:set-floating-point-modes :traps '(:underflow + :overflow + :invalid + :divide-by-zero) + :rounding-mode :zero) + (let* ((x87-modes (x86::x87-floating-point-modes)) + (x87-exceptions-enabled (ldb x86::x87-float-traps-byte x87-modes)) + (x87-rc (ldb x86::x87-float-rounding-mode x87-modes)) + (sse2-modes (x86::sse2-floating-point-modes)) + (sse2-exceptions-enabled (ldb x86::float-traps-byte sse2-modes)) + (sse2-rc (ldb x86::float-rounding-mode sse2-modes))) + (x86::print-x87-fp-modes x87-modes) + ;; Verify that we set the enabled exceptions + ;; correctly. First for sse2, then for x87. + (assert-false (logbitp 5 sse2-exceptions-enabled)) ; precision + (assert-true (logbitp 4 sse2-exceptions-enabled)) ; underflow + (assert-true (logbitp 3 sse2-exceptions-enabled)) ; overflow + (assert-true (logbitp 2 sse2-exceptions-enabled)) ; divide-by-zero + (assert-false (logbitp 1 sse2-exceptions-enabled)) ; denormal + (assert-true (logbitp 0 sse2-exceptions-enabled)) ; invalid + + (assert-false (logbitp 5 x87-exceptions-enabled)) ; precision + (assert-true (logbitp 4 x87-exceptions-enabled)) ; underflow + (assert-true (logbitp 3 x87-exceptions-enabled)) ; overflow + (assert-true (logbitp 2 x87-exceptions-enabled)) ; divide-by-zero + (assert-false (logbitp 1 x87-exceptions-enabled)) ; denormal + (assert-true (logbitp 0 x87-exceptions-enabled)) ; invalid + + ;; Verify the rounding mode is set to zero + (assert-eql :zero (car (rassoc sse2-rc x86::rounding-mode-alist))) + (assert-eql :zero (car (rassoc x87-rc x86::rounding-mode-alist))) + + ;; Verify precision for x87 + (assert-eql :64-bits + (car (rassoc (ldb x86::x87-float-precision-control-byte x87-modes) + x86::x87-float-precision-control-alist))))) + + (setf (x86::x87-floating-point-modes) old-x87-modes) + (setf (x86::sse2-floating-point-modes) old-sse2-modes)))) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/c370c74e74004ba8d25a09… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/c370c74e74004ba8d25a09… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-431-fix-set-floating-point-modes] Forgot to add bootstrap for CI
by Raymond Toy (＠rtoy) 15 Aug '25

15 Aug '25

Raymond Toy pushed to branch issue-431-fix-set-floating-point-modes at cmucl / cmucl Commits: c370c74e by Raymond Toy at 2025-08-15T14:16:12-07:00 Forgot to add bootstrap for CI Needed to build the code so that the new x87 defconstants are available when compile `set-floating-point-modes`. - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -4,7 +4,7 @@ variables: download_url: "https://common-lisp.net/project/cmucl/downloads/snapshots/$year/$month" version: "$year-$month-x86" tar_ext: "xz" - bootstrap: "" + bootstrap: "-B boot-2025-07" # Default install configuration to download the cmucl tarballs to use # for building. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/c370c74e74004ba8d25a099… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/c370c74e74004ba8d25a099… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl] Pushed new branch issue-431-fix-set-floating-point-modes
by Raymond Toy (＠rtoy) 15 Aug '25

15 Aug '25

Raymond Toy pushed new branch issue-431-fix-set-floating-point-modes at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-431-fix-set-floatin… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] Update release notes for #426
by Raymond Toy (＠rtoy) 14 Aug '25

14 Aug '25

Raymond Toy pushed to branch master at cmucl / cmucl Commits: eb98570f by Raymond Toy at 2025-08-14T07:55:12-07:00 Update release notes for #426 [skip-ci] - - - - - 1 changed file: - src/general-info/release-21f.md Changes: ===================================== src/general-info/release-21f.md ===================================== @@ -138,6 +138,7 @@ public domain. * #418 Update asdf to version 3.3.7.4 (for package-local-nicknames) * #424 Use fdlibm `hypot` to fix bug in snapshot 2025-07 + * #426 Define float-modes type correctly for `(setf (x87-set-floating-point-modes))` * Other changes: * Improvements to the PCL implementation of CLOS: * Changes to building procedure: View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/eb98570f9cc44474f64dae6… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/eb98570f9cc44474f64dae6… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0