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

[Git][cmucl/cmucl][issue-473-make-cr-exp-signal-underflow] 3 commits: Fix #472: Ansi-tests test.log not found
by Raymond Toy (＠rtoy) 17 Feb '26

17 Feb '26

Raymond Toy pushed to branch issue-473-make-cr-exp-signal-underflow at cmucl / cmucl Commits: 1c92a62c by Raymond Toy at 2026-02-17T10:47:23-08:00 Fix #472: Ansi-tests test.log not found - - - - - 53a087ca by Raymond Toy at 2026-02-17T10:47:23-08:00 Merge branch 'issue-472-ansi-tests-test-log-not-found' into 'master' Fix #472: Ansi-tests test.log not found Closes #472 See merge request cmucl/cmucl!350 - - - - - 72096452 by Raymond Toy at 2026-02-17T10:51:19-08:00 Merge branch 'master' into issue-473-make-cr-exp-signal-underflow - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -70,16 +70,16 @@ variables: stage: ansi-test artifacts: paths: - - ansi-test/test.out + - ansi-test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - + - cp ../ansi-test/test.out ansi-test.out + # Default configuration for running unit tests. .unit_test_template: &unit_test_configuration stage: test artifacts: paths: - - ansi-test/test.out - test.log script: - echo LANG = $LANG View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/c84c6c27bdf205def5c415… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/c84c6c27bdf205def5c415… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] 2 commits: Fix #472: Ansi-tests test.log not found
by Raymond Toy (＠rtoy) 17 Feb '26

17 Feb '26

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 1c92a62c by Raymond Toy at 2026-02-17T10:47:23-08:00 Fix #472: Ansi-tests test.log not found - - - - - 53a087ca by Raymond Toy at 2026-02-17T10:47:23-08:00 Merge branch 'issue-472-ansi-tests-test-log-not-found' into 'master' Fix #472: Ansi-tests test.log not found Closes #472 See merge request cmucl/cmucl!350 - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -70,16 +70,16 @@ variables: stage: ansi-test artifacts: paths: - - ansi-test/test.out + - ansi-test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - + - cp ../ansi-test/test.out ansi-test.out + # Default configuration for running unit tests. .unit_test_template: &unit_test_configuration stage: test artifacts: paths: - - ansi-test/test.out - test.log script: - echo LANG = $LANG View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/699230131d3b0af386c29e… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/699230131d3b0af386c29e… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-472-ansi-tests-test-log-not-found] Artifact must be somewhere at or below the project dir
by Raymond Toy (＠rtoy) 17 Feb '26

17 Feb '26

Raymond Toy pushed to branch issue-472-ansi-tests-test-log-not-found at cmucl / cmucl Commits: 85934e7a by Raymond Toy at 2026-02-17T09:40:23-08:00 Artifact must be somewhere at or below the project dir Copy ../ansi-test/test.out to ansi-test.out. Update the artifact path to be ansi-test.out. - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -70,10 +70,10 @@ variables: stage: ansi-test artifacts: paths: - - ../ansi-test/test.out + - ansi-test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - - ls -l ../ansi-test + - cp ../ansi-test/test.out ansi-test.out # Default configuration for running unit tests. .unit_test_template: &unit_test_configuration View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/85934e7a2eb01ea6c1d61f8… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/85934e7a2eb01ea6c1d61f8… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-472-ansi-tests-test-log-not-found] Set correct path for ansi-test/test.log
by Raymond Toy (＠rtoy) 17 Feb '26

17 Feb '26

Raymond Toy pushed to branch issue-472-ansi-tests-test-log-not-found at cmucl / cmucl Commits: 885db0cc by Raymond Toy at 2026-02-17T08:47:26-08:00 Set correct path for ansi-test/test.log The ansi-test directory is one level up from the current directory. - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -70,7 +70,7 @@ variables: stage: ansi-test artifacts: paths: - - ansi-test/test.out + - ../ansi-test/test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - ls -l ../ansi-test View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/885db0cc7a45d0fdb924410… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/885db0cc7a45d0fdb924410… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-472-ansi-tests-test-log-not-found] More debugging
by Raymond Toy (＠rtoy) 17 Feb '26

17 Feb '26

Raymond Toy pushed to branch issue-472-ansi-tests-test-log-not-found at cmucl / cmucl Commits: 4654d673 by Raymond Toy at 2026-02-16T18:59:34-08:00 More debugging Do `ls -l ../ansi-test` to see if test.out is there. It should be. - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -73,7 +73,7 @@ variables: - ansi-test/test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - - ls -l ansi-test + - ls -l ../ansi-test # Default configuration for running unit tests. .unit_test_template: &unit_test_configuration View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/4654d6739bb8703b768501d… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/4654d6739bb8703b768501d… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-473-make-cr-exp-signal-underflow] Make core-math exp silently return NaN when given NaN
by Raymond Toy (＠rtoy) 17 Feb '26

17 Feb '26

Raymond Toy pushed to branch issue-473-make-cr-exp-signal-underflow at cmucl / cmucl Commits: c84c6c27 by Raymond Toy at 2026-02-16T18:52:48-08:00 Make core-math exp silently return NaN when given NaN This makes exp match what many other core-math routines do with NaN, like log, sin, tan, and sinh, which silently return NaN. This also makes it match what fdlibm does, as mentioned in the comments in e_exp.c. - - - - - 1 changed file: - src/lisp/irrat.c Changes: ===================================== src/lisp/irrat.c ===================================== @@ -197,6 +197,17 @@ double lisp_exp(double x) { #ifdef FEATURE_CORE_MATH + /* + * For consistency, silently return NaN when x is NaN. Do not + * signal an invalid operation, even if invalid operation trap is + * enabled. This is what fdlibm does, and also what many of the + * other core-math routines do. + */ + + if (isnan(x)) { + return x; + } + /* * Can't depend on cr_exp to signal underflow. It seems the * underflow has been constant-folded to zero. Hence, check for View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/c84c6c27bdf205def5c415a… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/c84c6c27bdf205def5c415a… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl] Pushed new branch issue-473-make-cr-exp-signal-underflow
by Raymond Toy (＠rtoy) 16 Feb '26

16 Feb '26

Raymond Toy pushed new branch issue-473-make-cr-exp-signal-underflow at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-473-make-cr-exp-sig… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-472-ansi-tests-test-log-not-found] Clean up unit test artifacts and debugging of ansi-test
by Raymond Toy (＠rtoy) 16 Feb '26

16 Feb '26

Raymond Toy pushed to branch issue-472-ansi-tests-test-log-not-found at cmucl / cmucl Commits: 9457112d by Raymond Toy at 2026-02-16T13:50:47-08:00 Clean up unit test artifacts and debugging of ansi-test First, we listed ansi-test/test.out as an artifact of the unit-test stage. That's wrong. Second, there is no test.log when running the ansi-test stage, so remove the bad "ls -l test.log" in that stage. - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -73,7 +73,6 @@ variables: - ansi-test/test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - - ls -l test.log - ls -l ansi-test # Default configuration for running unit tests. @@ -81,7 +80,6 @@ variables: stage: test artifacts: paths: - - ansi-test/test.out - test.log script: - echo LANG = $LANG View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/9457112d0fe6721c086ee60… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/9457112d0fe6721c086ee60… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-472-ansi-tests-test-log-not-found] 2 commits: Revert "Fix #472: Ansi-tests test.log not found"
by Raymond Toy (＠rtoy) 16 Feb '26

16 Feb '26

Raymond Toy pushed to branch issue-472-ansi-tests-test-log-not-found at cmucl / cmucl Commits: 216b744d by Raymond Toy at 2026-02-16T08:32:33-08:00 Revert "Fix #472: Ansi-tests test.log not found" This reverts commit a64f7f956a3163dcb4416586289ed7d6e6a44add. Put debugging stuff in the wrong config (unit tests, not ansi tests). - - - - - fc0f804d by Raymond Toy at 2026-02-16T08:34:26-08:00 Debugging ls for test.log and ansi-test dir - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -73,7 +73,9 @@ variables: - ansi-test/test.out script: - bin/run-ansi-tests.sh -l dist/bin/lisp - + - ls -l test.log + - ls -l ansi-test + # Default configuration for running unit tests. .unit_test_template: &unit_test_configuration stage: test @@ -84,8 +86,6 @@ variables: script: - echo LANG = $LANG - bin/run-unit-tests.sh -l dist/bin/lisp 2>&1 | tee test.log - - ls -l test.log - - ls -l ansi-test # Default configuration to test creation of lisp executable and # testing the exectuable works. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a64f7f956a3163dcb44165… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a64f7f956a3163dcb44165… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] 2 commits: Fix #471: Add tests for kernel:%pow
by Raymond Toy (＠rtoy) 16 Feb '26

16 Feb '26

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 6494ef48 by Raymond Toy at 2026-02-16T07:44:39-08:00 Fix #471: Add tests for kernel:%pow - - - - - 69923013 by Raymond Toy at 2026-02-16T07:44:39-08:00 Merge branch 'issue-471-test-cases-for-pow' into 'master' Fix #471: Add tests for kernel:%pow Closes #471 See merge request cmucl/cmucl!349 - - - - - 1 changed file: - tests/fdlibm.lisp Changes: ===================================== tests/fdlibm.lisp ===================================== @@ -732,3 +732,203 @@ ;; though the result is exactly x. (assert-error 'floating-point-inexact (kernel:%tan x))))) + +;; Test cases from e_pow.c for fdlibm. +(define-test %pow.case.1 + (:tag :fdlibm) + ;; anything ^ 0 is 1 + (assert-equal 1d0 + (kernel:%pow ext:double-float-positive-infinity 0d0)) + (assert-equal 1d0 + (kernel:%pow ext:double-float-negative-infinity 0d0))) + +(define-test %pow.case.2 + (:tag :fdlibm) + ;; anything ^ 1 is itself + (assert-equal ext:double-float-positive-infinity + (kernel:%pow ext:double-float-positive-infinity 1d0)) + (assert-equal ext:double-float-negative-infinity + (kernel:%pow ext:double-float-negative-infinity 1d0))) + +(define-test %pow.case.3 + (:tag :fdlibm) + ;; anything ^ NaN is NaN + (assert-true (ext:float-nan-p + (kernel:%pow pi *qnan*))) + (assert-true (ext:float-nan-p + (kernel:%pow ext:double-float-positive-infinity *qnan*)))) + +(define-test %pow.case.4 + (:tag :fdlibm) + ;; NaN ^ non-zero is NaN + (assert-true (ext:float-nan-p + (kernel:%pow *qnan* pi))) + (assert-true (ext:float-nan-p + (kernel:%pow *qnan* ext:double-float-positive-infinity)))) + +(define-test %pow.case.5 + (:tag :fdlibm) + ;; (|x| > 1) ^ +inf is +inf + (assert-equal ext:double-float-positive-infinity + (kernel:%pow pi ext:double-float-positive-infinity)) + (assert-equal ext:double-float-positive-infinity + (kernel:%pow (- pi) ext:double-float-positive-infinity))) + +(define-test %pow.case.6 + (:tag :fdlibm) + ;; (|x| > 1) ^ -inf is +0 + (assert-equal +0d0 + (kernel:%pow pi ext:double-float-negative-infinity)) + (assert-equal +0d0 + (kernel:%pow (- pi) ext:double-float-negative-infinity))) + +(define-test %pow.case.7 + (:tag :fdlibm) + ;; (|x| < 1) ^ +inf is +0 + (assert-equal +0d0 + (kernel:%pow 0.5d0 ext:double-float-positive-infinity)) + (assert-equal +0d0 + (kernel:%pow -0.5d0 ext:double-float-positive-infinity))) + +(define-test %pow.case.8 + (:tag :fdlibm) + ;; (|x| < 1) ^ -inf is +inf + (assert-equal ext:double-float-positive-infinity + (kernel:%pow 0.5d0 ext:double-float-negative-infinity)) + (assert-equal ext:double-float-positive-infinity + (kernel:%pow -0.5d0 ext:double-float-negative-infinity))) + +(define-test %pow.case.9 + (:tag :fdlibm) + ;; std::pow says 1^exp is 1 for any exp, including NaN. (-1)^(+/-inf) + ;; is 1. No errors signaled. + #+core-math + (progn + (assert-equal 1d0 + (kernel:%pow 1d0 ext:double-float-positive-infinity)) + (assert-equal 1d0 + (kernel:%pow 1d0 ext:double-float-negative-infinity)) + (assert-equal 1d0 + (kernel:%pow 1d0 *qnan*)) + (assert-equal 1d0 + (kernel:%pow -1d0 ext:double-float-positive-infinity)) + (assert-equal 1d0 + (kernel:%pow -1d0 ext:double-float-negative-infinity))) + #-core-math + ;; +-1 ^ +-inf is NaN. + ;; + ;; But the implementation signals invalid operation, so we need to + ;; check for that. + ;; + (progn + (assert-error 'floating-point-invalid-operation + (kernel:%pow 1d0 ext:double-float-positive-infinity)) + (assert-error 'floating-point-invalid-operation + (kernel:%pow 1d0 ext:double-float-negative-infinity)) + (assert-error 'floating-point-invalid-operation + (kernel:%pow -1d0 ext:double-float-positive-infinity)) + (assert-error 'floating-point-invalid-operation + (kernel:%pow -1d0 ext:double-float-negative-infinity)) + (ext:with-float-traps-masked (:invalid) + (assert-true (ext:float-nan-p + (kernel:%pow 1d0 ext:double-float-positive-infinity))) + (assert-true (ext:float-nan-p + (kernel:%pow 1d0 ext:double-float-negative-infinity))) + (assert-true (ext:float-nan-p + (kernel:%pow -1d0 ext:double-float-positive-infinity))) + (assert-true (ext:float-nan-p + (kernel:%pow -1d0 ext:double-float-negative-infinity)))))) + +(define-test %pow.case.10 + (:tag :fdlibm) + ;; +0 ^ (+anything except 0, Nan) is +0 + (assert-equal +0d0 + (kernel:%pow +0d0 10d0)) + (assert-equal +0d0 + (kernel:%pow +0d0 ext:double-float-positive-infinity))) + +(define-test %pow.case.11 + (:tag :fdlibm) + ;; +0 ^ (+anything except 0, Nan, odd integer) is +0 + (assert-equal +0d0 + (kernel:%pow -0d0 10d0)) + (assert-equal +0d0 + (kernel:%pow -0d0 ext:double-float-positive-infinity))) + +(define-test %pow.case.12 + (:tag :fdlibm) + ;; +0 ^ (-anything except 0, Nan) is +inf + ;; + ;; But fdlibm signals error for (+0)^(-10) instead of returning inf. Check this. + (assert-error 'division-by-zero + (kernel:%pow +0d0 -10d0)) + (ext:with-float-traps-masked (:divide-by-zero) + (assert-equal ext:double-float-positive-infinity + (kernel:%pow +0d0 -10d0))) + ;; No signals here. + (assert-equal ext:double-float-positive-infinity + (kernel:%pow +0d0 ext:double-float-negative-infinity))) + +(define-test %pow.case.13 + (:tag :fdlibm) + ;; -0 ^ (-anything except 0, Nan, odd integer) is +inf + ;; + ;; But (-0)^(-10) signals division by zero + (assert-error 'division-by-zero + (kernel:%pow -0d0 -10d0)) + (ext:with-float-traps-masked (:divide-by-zero) + (assert-equal ext:double-float-positive-infinity + (kernel:%pow -0d0 -10d0))) + ;; But no error here. + (assert-equal ext:double-float-positive-infinity + (kernel:%pow +0d0 ext:double-float-negative-infinity))) + +(define-test %pow.case.14 + (:tag :fdlibm) + ;; -0 ^ (odd integer) = -( +0 ^ (odd integer)) + (assert-equal (- (kernel:%pow +0d0 5d0)) + (kernel:%pow -0d0 5d0))) + +(define-test %pow.case.15 + (:tag :fdlibm) + ;; +inf ^ (+anything except 0, NaN) is +inf + (assert-equal ext:double-float-positive-infinity + (kernel:%pow ext:double-float-positive-infinity pi))) + +(define-test %pow.case.16 + (:tag :fdlibm) + ;; +inf ^ (-anything except 0, NaN) is +0 + (assert-equal +0d0 + (kernel:%pow ext:double-float-positive-infinity (- pi)))) + +(define-test %pow.case.17 + (:tag :fdlibm) + ;; -inf ^ (anything) = -0 ^ (-anything) + (assert-equal (ext:with-float-traps-masked (:divide-by-zero) + ;; This produces a divide-by-zero error so mask it + ;; to get a value. + (kernel:%pow -0d0 (- pi))) + (kernel:%pow ext:double-float-negative-infinity pi)) + (assert-equal (kernel:%pow -0d0 pi) + (kernel:%pow ext:double-float-negative-infinity (- pi)))) + +(define-test %pow.case.18 + (:tag :fdlibm) + ;; (-anything) ^ integer is (-1)^integer * (+anything ^ integer) + (dolist (base '(-2d0 -10d0)) + (dolist (power '(5 -5)) + (assert-equal (* (expt -1 power) + (kernel:%pow (- base) (coerce power 'double-float))) + (kernel:%pow base (coerce power 'double-float)) + base power)))) + +(define-test %pow.case.19 + (:tag :fdlibm) + ;; (-anything except 0 and inf) ^ non-integer is NaN + ;; + ;; But this signals invalid, so check for that too. + (assert-error 'floating-point-invalid-operation + (kernel:%pow -2d0 1.5d0)) + (ext:with-float-traps-masked (:invalid) + (assert-true (ext:float-nan-p + (kernel:%pow -2d0 1.5d0))))) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/ec7e3a2575d7569191232b… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/ec7e3a2575d7569191232b… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0