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

[Git][cmucl/cmucl][issue-435-add-core-math-lisp-support] 2 commits: Update cmucl.pot
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-435-add-core-math-lisp-support at cmucl / cmucl Commits: cb19cf0d by Raymond Toy at 2026-02-27T10:13:35-08:00 Update cmucl.pot - - - - - 090e0ed2 by Raymond Toy at 2026-02-27T10:13:44-08:00 In atanh forgot to convert rationals to single-floats In atanh, for rational args, we were calling %atanhf with the rational arg. We forgot to convert it to a single-float before the call. - - - - - 2 changed files: - src/code/irrat.lisp - src/i18n/locale/cmucl.pot Changes: ===================================== src/code/irrat.lisp ===================================== @@ -1197,7 +1197,7 @@ ;; atanh is complex if |number| > 1 (if (or (> number 1) (< number -1)) (complex-atanh number) - (%atanhf number))) + (%atanhf (coerce number 'single-float)))) ((single-float) (if (or (> number (coerce 1 '(dispatch-type number))) (< number (coerce -1 '(dispatch-type number)))) ===================================== src/i18n/locale/cmucl.pot ===================================== @@ -5084,10 +5084,6 @@ msgstr "" msgid "Return the arc sine of NUMBER." msgstr "" -#: src/code/irrat.lisp -msgid "Execution of a form compiled with errors:~% ~S" -msgstr "" - #: src/code/irrat.lisp msgid "Return the arc cosine of NUMBER." msgstr "" View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/f421d6e363cf5d1c24230d… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/f421d6e363cf5d1c24230d… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-435-add-core-math-lisp-support] Fix typo: extra paren in defun asin
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-435-add-core-math-lisp-support at cmucl / cmucl Commits: f421d6e3 by Raymond Toy at 2026-02-27T09:08:25-08:00 Fix typo: extra paren in defun asin - - - - - 1 changed file: - src/code/irrat.lisp Changes: ===================================== src/code/irrat.lisp ===================================== @@ -1053,7 +1053,7 @@ (and (<= number (coerce 1 '(dispatch-type number))) (>= number (coerce -1 '(dispatch-type number))))) (%asin number)) - (complex-asin number))) + (complex-asin number)) #+double-double ((double-double-float) (if (or (float-nan-p number) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/f421d6e363cf5d1c24230d3… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/f421d6e363cf5d1c24230d3… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-464-lisp-version-uses-branch-name] 2 commits: If we're on a branch, use the branch name.
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-464-lisp-version-uses-branch-name at cmucl / cmucl Commits: b25818a4 by Raymond Toy at 2026-02-27T07:01:17-08:00 If we're on a branch, use the branch name. Get rid of the last pattern in the case statement. If we don't know how to handle it we should complain. - - - - - 9dfa5a3f by Raymond Toy at 2026-02-27T07:08:29-08:00 Put back the default case We'll use whatever we get if it doesn't match the previous cases to handle the case where we're checked out at some random git hash. As the comments say, the version will be something like "closest-branch-nn-gxxxxxx", where "nn" is the number of commits after the "closest-branch" and "xxxxxx" is the git hash of our checkout. - - - - - 1 changed file: - bin/git-version.sh Changes: ===================================== bin/git-version.sh ===================================== @@ -37,16 +37,20 @@ if [ -n "$VERSION" ]; then DEFAULT_VERSION="$VERSION" else # Get the current branch. - BRANCH="`git rev-parse --abbrev-ref HEAD`" + BRANCH="`git branch --show-current`" if [ "$BRANCH" = "master" ]; then # On the master branch, use simple git describe --dirty for the version DEFAULT_VERSION="`git describe --dirty || git describe 2>/dev/null`" + elif [ -n "$BRANCH" ]; then + # We're on some branch. Just use the branch name. + DEFAULT_VERSION="$BRANCH" else - # We're not on the master branch. Do something different. - # The option --all allows use to use the the branch name or tag - # name as appropriate. This is much more informative. However, - # we have to remove everything before the first slash which - # contains things like "tag/" or "head/". + # We're not on a branch. We need to do something different. + # The option --all allows use to use the the branch name or + # tag name as appropriate. This is much more informative. + # However, we have to remove everything before the first slash + # which contains things like "tags/", "head/", or "pipelines/" + # (from CI). GIT_DESC="`git describe --all --dirty || git describe 2>/dev/null`" GIT_HASH="`echo ${GIT_DESC} | sed 's;^[^/]*/;;' 2>/dev/null`" @@ -68,7 +72,11 @@ else DEFAULT_VERSION="ci-${GIT_HASH}" ;; *) - # Everything else is taken as is. + # Use whatever we have. This handles the case where + # we're checked on some git hash. In that we we have + # "head/closest-branch-nn-gxxxxxx" where nn is the + # number of commits after the closest branch and + # xxxxxx is the git hash. DEFAULT_VERSION="${GIT_HASH}" ;; esac View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/8bba47ecc6c04ab9f9c701… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/8bba47ecc6c04ab9f9c701… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-435-add-core-math-lisp-support] 5 commits: Fix #476: Disable scheduled CI pipelines for analyzer
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-435-add-core-math-lisp-support at cmucl / cmucl Commits: 17bef122 by Raymond Toy at 2026-02-26T19:54:09-08:00 Fix #476: Disable scheduled CI pipelines for analyzer - - - - - 8034ae1f by Raymond Toy at 2026-02-26T19:54:09-08:00 Merge branch 'issue-476-disable-ci-scheduled-analyzer-link-checker' into 'master' Fix #476: Disable scheduled CI pipelines for analyzer Closes #476 See merge request cmucl/cmucl!358 - - - - - 0419b894 by Raymond Toy at 2026-02-26T20:04:31-08:00 Update cmucl.pot - - - - - 3e9d397c by Raymond Toy at 2026-02-26T20:04:59-08:00 Forgot to implement lisp_log2 and lisp_log2f We have lisp_log2 for fdlibm version of log2 (in log2.c). But we forgot earlier to implement support using core-math log2. Therefore: * Update fdlibm.h to define fdlibm_log2. * Add lisp_log2 and lisp_log2f in irrat.c, calling core-math or fdlibm and declare cr_log2 and cr_log2f * Rename lisp_log2 in log2.c to fdlibm_log2. - - - - - 312f6839 by Raymond Toy at 2026-02-26T20:07:36-08:00 Merge branch 'master' into issue-435-add-core-math-lisp-support - - - - - 5 changed files: - .gitlab-ci.yml - src/i18n/locale/cmucl.pot - src/lisp/fdlibm.h - src/lisp/irrat.c - src/lisp/log2.c Changes: ===================================== .gitlab-ci.yml ===================================== @@ -129,15 +129,6 @@ linux:install: variables: osname: "linux" CURL: "curl" - # These rules are 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. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "push" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - - if: $CI_PIPELINE_SOURCE == "branch" - - if: $CI_PIPELINE_SOURCE == "web" linux:build: <<: *build_configuration @@ -150,14 +141,6 @@ linux:build: # Fedora 41 must build with gcc because the clang build fails some # ansi-tests. See [#469]. CONFIG: "x86_linux" - # 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. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "push" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - - if: $CI_PIPELINE_SOURCE == "web" linux:cross-build: stage: build @@ -301,18 +284,6 @@ osx:benchmark: # the linux-4 directory built in the linux:build job. linux:static-analyzer: stage: analyze - # The analyzer is a manual job that isn't normally run. These rules - # make that happen, but when the pipeline is scheduled we do run the - # analyzer. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - when: manual - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "push" - when: manual - allow_failure: true - tags: - linux @@ -323,6 +294,7 @@ linux:static-analyzer: needs: - job: linux:build artifacts: true + when: manual script: # Analysis can generate huge amounts of output. For now just save # the results to the log file instead of also having it go to the @@ -378,22 +350,14 @@ ubuntu:ansi-test: # Checks links on the wiki pages whenever any wiki markdown pages change. markdown-link-check: stage: markdown-link-check - # Run the checker when the pipeline is scheduled to run. - # It's ok if this fails; we don't want to declare the entire - # pipeline as having failed. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - when: manual - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "push" - when: manual - allow_failure: true # Only the linux runner has markdown-link-check installed tags: - linux + when: manual + # It's ok if this fails; we don't want to declare the entire + # pipeline as having failed. + allow_failure: true script: # Check links in the main repo - find . -name \*.md -print0 | xargs -0 -n1 markdown-link-check ===================================== src/i18n/locale/cmucl.pot ===================================== @@ -5084,6 +5084,10 @@ msgstr "" msgid "Return the arc sine of NUMBER." msgstr "" +#: src/code/irrat.lisp +msgid "Execution of a form compiled with errors:~% ~S" +msgstr "" + #: src/code/irrat.lisp msgid "Return the arc cosine of NUMBER." msgstr "" ===================================== src/lisp/fdlibm.h ===================================== @@ -69,6 +69,7 @@ extern double __ieee754_log10(double x); extern double __ieee754_pow(double x, double y); extern double __ieee754_hypot(double x, double y); extern double fdlibm_scalbn(double x, int n); +extern double fdlibm_log2(double x); enum FDLIBM_EXCEPTION { FDLIBM_DIVIDE_BY_ZERO, ===================================== src/lisp/irrat.c ===================================== @@ -32,6 +32,7 @@ extern double cr_hypot(double, double); extern double cr_log1p(double); extern double cr_expm1(double); extern void cr_sincos(double, double *, double *); +extern double cr_log2(double); extern float cr_sinf(float); extern float cr_cosf(float); @@ -54,6 +55,7 @@ extern float cr_hypotf(float, float); extern float cr_log1pf(float); extern float cr_expm1f(float); extern void cr_sincosf(float, float *, float *); +extern float cr_log2f(float); #endif @@ -330,6 +332,16 @@ lisp_sincos(double x, double *s, double *c) #endif } +double +lisp_log2(double x) +{ +#ifdef FEATURE_CORE_MATH + return cr_log2(x); +#else + return fdlibm_log2(x); +#endif +} + /* * The single-float versions of the special functions. When core-math * is set, we use the single-float core-math functions. Otherwise, we @@ -562,3 +574,13 @@ lisp_sincosf(float x, float *s, float *c) *c = (float) dc; #endif } + +float +lisp_log2f(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_log2f(x); +#else + return (float) fdlibm_log2((double) x); +#endif +} ===================================== src/lisp/log2.c ===================================== @@ -39,7 +39,7 @@ cp = 9.61796693925975554329e-01, /* 0x3FEEC709, 0xDC3A03FD =2/(3ln2) */ cp_h = 9.61796700954437255859e-01, /* 0x3FEEC709, 0xE0000000 =(float)cp */ cp_l = -7.02846165095275826516e-09; /* 0xBE3E2FE0, 0x145B01F5 =tail of cp_h*/ -double lisp_log2(double x) +double fdlibm_log2(double x) { double ax; int k, hx, lx, ix; View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/e244f40ec8129e47a34abd… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/e244f40ec8129e47a34abd… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] 2 commits: Fix #476: Disable scheduled CI pipelines for analyzer
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 17bef122 by Raymond Toy at 2026-02-26T19:54:09-08:00 Fix #476: Disable scheduled CI pipelines for analyzer - - - - - 8034ae1f by Raymond Toy at 2026-02-26T19:54:09-08:00 Merge branch 'issue-476-disable-ci-scheduled-analyzer-link-checker' into 'master' Fix #476: Disable scheduled CI pipelines for analyzer Closes #476 See merge request cmucl/cmucl!358 - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -129,15 +129,6 @@ linux:install: variables: osname: "linux" CURL: "curl" - # These rules are 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. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "push" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - - if: $CI_PIPELINE_SOURCE == "branch" - - if: $CI_PIPELINE_SOURCE == "web" linux:build: <<: *build_configuration @@ -150,14 +141,6 @@ linux:build: # Fedora 41 must build with gcc because the clang build fails some # ansi-tests. See [#469]. CONFIG: "x86_linux" - # 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. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "push" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - - if: $CI_PIPELINE_SOURCE == "web" linux:cross-build: stage: build @@ -301,18 +284,6 @@ osx:benchmark: # the linux-4 directory built in the linux:build job. linux:static-analyzer: stage: analyze - # The analyzer is a manual job that isn't normally run. These rules - # make that happen, but when the pipeline is scheduled we do run the - # analyzer. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - when: manual - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "push" - when: manual - allow_failure: true - tags: - linux @@ -323,6 +294,7 @@ linux:static-analyzer: needs: - job: linux:build artifacts: true + when: manual script: # Analysis can generate huge amounts of output. For now just save # the results to the log file instead of also having it go to the @@ -378,22 +350,14 @@ ubuntu:ansi-test: # Checks links on the wiki pages whenever any wiki markdown pages change. markdown-link-check: stage: markdown-link-check - # Run the checker when the pipeline is scheduled to run. - # It's ok if this fails; we don't want to declare the entire - # pipeline as having failed. - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - when: manual - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "push" - when: manual - allow_failure: true # Only the linux runner has markdown-link-check installed tags: - linux + when: manual + # It's ok if this fails; we don't want to declare the entire + # pipeline as having failed. + allow_failure: true script: # Check links in the main repo - find . -name \*.md -print0 | xargs -0 -n1 markdown-link-check View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a134fea042d492e30cbcd7… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a134fea042d492e30cbcd7… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-435-add-core-math-lisp-support] 5 commits: Fix #474: Add functions to print and parse C-style hex floats
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-435-add-core-math-lisp-support at cmucl / cmucl Commits: beb2c36e by Raymond Toy at 2026-02-25T08:24:17-08:00 Fix #474: Add functions to print and parse C-style hex floats - - - - - 1030fd9b by Raymond Toy at 2026-02-25T08:24:17-08:00 Merge branch 'issue-474-print-parse-hex-floats' into 'master' Fix #474: Add functions to print and parse C-style hex floats Closes #474 See merge request cmucl/cmucl!353 - - - - - 6fc9b12e by Raymond Toy at 2026-02-26T17:37:44-08:00 Address #435: Compile single-float core-math routines - - - - - a134fea0 by Raymond Toy at 2026-02-26T17:37:44-08:00 Merge branch 'issue-435-add-core-math-compile-code' into 'master' Address #435: Compile single-float core-math routines See merge request cmucl/cmucl!356 - - - - - e244f40e by Raymond Toy at 2026-02-26T19:41:17-08:00 Merge branch 'master' into issue-435-add-core-math-lisp-support - - - - - 9 changed files: - bin/run-ansi-tests.sh - src/code/exports.lisp - + src/code/ext-code.lisp - src/general-info/release-22a.md - src/i18n/locale/cmucl.pot - src/tools/worldcom.lisp - src/tools/worldload.lisp - + tests/extensions.lisp - tests/float.lisp Changes: ===================================== bin/run-ansi-tests.sh ===================================== @@ -36,7 +36,7 @@ shift $((OPTIND - 1)) # Use branch cmucl-expected-failures in general since this branch # generally has the list of expected failures. This is the branch to # use on cmucl master in general. -BRANCH=cmucl-expected-failures-etypecase.15 +BRANCH=cmucl-expected-failures set -x if [ -d ../ansi-test ]; then ===================================== src/code/exports.lisp ===================================== @@ -1368,7 +1368,13 @@ (:export "PACKAGE-LOCAL-NICKNAMES" "ADD-PACKAGE-LOCAL-NICKNAME" "REMOVE-PACKAGE-LOCAL-NICKNAME" - "PACKAGE-LOCALLY-NICKNAMED-BY-LIST")) + "PACKAGE-LOCALLY-NICKNAMED-BY-LIST") + ;; Printing and parsing of C-style hex floats + (:export "FLOAT-TO-HEX-STRING" + "WRITE-HEX-FLOAT" + "FORMAT-HEX-FLOAT" + "HEX-PARSE-ERROR" + "PARSE-HEX-FLOAT")) (defpackage "STREAM" (:import-from "SYSTEM" "LISP-STREAM") ===================================== src/code/ext-code.lisp ===================================== @@ -0,0 +1,184 @@ +;;; -*- Log: code.log; Package: Extensions -*- +;;; +;;; ********************************************************************** +;;; This code was written as part of the CMU Common Lisp project at +;;; Carnegie Mellon University, and has been placed in the public domain. +;;; +(ext:file-comment + "$Header: src/code/extensions.lisp $") +;;; +;;; +;;; ********************************************************************** +;;; +;;; Spice Lisp extensions to the language. +;;; +;;; These extensions are compiled natively instead of byte-compiled +;;; like the code in code/extensions.lisp. +;;; +;;; ********************************************************************** +(in-package "EXTENSIONS") + +(intl:textdomain "cmucl") + + +;;;; C-style hex float printer and parser + +;;; FLOAT-TO-HEX-STRING -- Public +;;; +;;; Return a string representing a single and double-floats in C-style +;;; hex format. +(defun float-to-hex-string (val &optional at-p) + "Prints a single or double float in bit-perfect C-style hex. + If AT-P is true, prepends '+' for non-negative finite values." + (cond ((ext:float-nan-p val) + "0x0.0p+nan") + ((ext:float-infinity-p val) + (if (plusp val) + (if at-p + "+0x1.0p+inf" "0x1.0p+inf") + "-0x1.0p+inf")) + (t + (multiple-value-bind (sign exp-bits mantissa bias precision suffix) + (typecase val + (single-float + (let ((bits (ldb (byte 32 0) (kernel:single-float-bits val)))) + (values (ldb (byte 1 31) bits) + (ldb (byte 8 23) bits) + (ash (ldb (byte 23 0) bits) 1) ; Align 23 to 6 hex digits + 127 6 "f"))) + (double-float + (multiple-value-bind (hi lo) (kernel:double-float-bits val) + (values (ldb (byte 1 31) hi) + (ldb (byte 11 20) hi) + (logior (ash (ldb (byte 20 0) hi) 32) (ldb (byte 32 0) lo)) + 1023 13 ""))) + (t (error "Unsupported float type: ~S" (type-of val)))) + + (let ((sign-str (cond ((= sign 1) "-") + (at-p "+") + (t "")))) + (if (and (zerop exp-bits) (zerop mantissa)) + (format nil "~A0x0.0p+0~A" sign-str suffix) + (format nil "~A0x~A.~V,'0Xp~A~A" + sign-str + (if (zerop exp-bits) "0" "1") + precision + mantissa + (if (zerop exp-bits) (1+ (- bias)) (- exp-bits bias)) + suffix))))))) + +;;; WRITE-HEX-FLOAT -- Public +;;; +;;; Writes a float number in C-style hex format to the given stream. +(defun write-hex-float (float &optional (stream *standard-output*)) + "Convert FLOAT to C-style hex string and write it to STREAM. + Infinities are printed as \"-inf\" and \"inf\". NaN is printed as + \"nan\"." + (declare (float float)) + (write-string (float-to-hex-string float) + stream)) + +;;; FORMAT-HEX-FLOAT -- Public +;;; +;;; Function that can be used in a FORMAT ~/ +(defun format-hex-float (stream arg colon-p at-sign-p &optional width) + "Formatter for ~/ext:format-hex-float/. + Uses AT-SIGN-P (@) to force the sign. COLON-P (:) is currently ignored." + (declare (ignore width colon-p)) + (write-string (float-to-hex-string arg at-sign-p) + stream)) + +(define-condition hex-parse-error (parse-error) + ((text :initarg :text :reader hex-parse-error-text) + (message :initarg :message :reader hex-parse-error-message)) + (:report (lambda (c s) + (format s "Hex float parse error in ~S: ~A" + (hex-parse-error-text c) (hex-parse-error-message c))))) + +;;; PARSE-HEX-FLOAT-FROM-STREAM -- Public +;;; +;;; Parse a C-style float hex string from a stream. Invalid formats +;;; signal an error. A single-float or double-float may be returned. +(defun parse-hex-float-from-stream (stream) + "Reads a C-style hex float number from STREAM. A single-float or + double-float number is returned. A HEX-PARSE-ERROR is signaled for + an invalid format." + (let* ((sign 1.0d0) + (char (peek-char t stream))) ; Skip whitespace + + ;; 1. Handle Sign + (when (member char '(#\+ #\-)) + (when (char= (read-char stream) #\-) (setf sign -1.0d0)) + (setf char (peek-char nil stream))) + + ;; 2. Verify '0x' Prefix + (unless (and (char-equal (read-char stream) #\0) + (char-equal (read-char stream) #\x)) + (error 'hex-parse-error :text "Stream" :message "Missing '0x' prefix")) + + ;; 3. Read Significand + (let ((val 0.0d0) + (digits-read 0)) + ;; Integer part loop + (loop for c = (peek-char nil stream nil nil) + for digit = (and c (digit-char-p c 16)) + while digit + do (read-char stream) + (setf val (+ (* val 16.0d0) digit)) + (incf digits-read)) + + ;; Fractional part loop + (when (eql (peek-char nil stream nil nil) #\.) + (read-char stream) ; Consume #\. + (loop with weight = (/ 1.0d0 16.0d0) + for c = (peek-char nil stream nil nil) + for digit = (and c (digit-char-p c 16)) + while digit + do (read-char stream) + (setf val (+ val (* digit weight))) + (setf weight (/ weight 16.0d0)) + (incf digits-read))) + + (unless (plusp digits-read) + (error 'hex-parse-error :text "Stream" :message "No hex digits in significand")) + + ;; 4. Handle Exponent 'p' + (let ((p-char (read-char stream nil))) + (unless (and p-char (char-equal p-char #\p)) + (error 'hex-parse-error :text "Stream" :message "Missing exponent 'p'")) + + ;; Size 6 handles sign + 3-4 digits + buffer + (let ((exp-str (make-array 6 :element-type 'character + :fill-pointer 0 + :adjustable t))) + (loop for c = (peek-char nil stream nil nil) + while (and c (find c "+-0123456789")) + do (vector-push-extend (read-char stream) exp-str)) + + (when (zerop (length exp-str)) + (error 'hex-parse-error :text "Stream" :message "Invalid or missing exponent")) + + (let* ((raw-exp (parse-integer exp-str)) + (suffix (peek-char nil stream nil #\Space)) + (is-single (char-equal suffix #\f)) + ;; Final Construction + (result (* sign (scale-float val raw-exp)))) + + (when is-single (read-char stream)) ; Consume 'f' + + (if is-single + (float result 1.0f0) + result))))))) + +;;; PARSE-HEX-FLOAT -- Public +;;; +;;; Parse a C-style hex float number from either a string or a stream. +(defun parse-hex-float (obj) + "Parse a C-style hex float number from OBJ which is either a string or a stream." + (declare (type (or string stream) obj)) + (etypecase obj + (string + (with-input-from-string (s obj) + (parse-hex-float-from-stream s))) + (stream + (parse-hex-float-from-stream obj)))) ===================================== src/general-info/release-22a.md ===================================== @@ -57,6 +57,7 @@ public domain. * #460: Unit tests were not being recognized as failing on CI. * #463: `double-double-float` is missing comparison operations between `double-double-float` and `double-float` + * #474: Add functions to print and parse C-style hex floats. * Other changes: * Improvements to the PCL implementation of CLOS: * Changes to building procedure: ===================================== src/i18n/locale/cmucl.pot ===================================== @@ -6060,6 +6060,38 @@ msgid "" " afterward." msgstr "" +#: src/code/ext-code.lisp +msgid "" +"Prints a single or double float in bit-perfect C-style hex.\n" +" If AT-P is true, prepends '+' for non-negative finite values." +msgstr "" + +#: src/code/ext-code.lisp +msgid "" +"Convert FLOAT to C-style hex string and write it to STREAM.\n" +" Infinities are printed as \"-inf\" and \"inf\". NaN is printed as\n" +" \"nan\"." +msgstr "" + +#: src/code/ext-code.lisp +msgid "" +"Formatter for ~/ext:format-hex-float/. \n" +" Uses AT-SIGN-P (@) to force the sign. COLON-P (:) is currently ignored." +msgstr "" + +#: src/code/ext-code.lisp +msgid "" +"Reads a C-style hex float number from STREAM. A single-float or\n" +" double-float number is returned. A HEX-PARSE-ERROR is signaled for\n" +" an invalid format." +msgstr "" + +#: src/code/ext-code.lisp +msgid "" +"Parse a C-style hex float number from OBJ which is either a string or a " +"stream." +msgstr "" + #: src/code/commandline.lisp msgid "A list of all the command line arguments after --" msgstr "" ===================================== src/tools/worldcom.lisp ===================================== @@ -221,6 +221,7 @@ (comf "target:code/misc") (comf "target:code/misc-doc") (comf "target:code/extensions" :byte-compile t) +(comf "target:code/ext-code") (comf "target:code/commandline") (comf "target:code/env-access") ===================================== src/tools/worldload.lisp ===================================== @@ -44,6 +44,7 @@ (maybe-byte-load "target:code/extensions") +(maybe-byte-load "target:code/ext-code") (maybe-byte-load "target:code/defmacro") (maybe-byte-load "target:code/sysmacs") ===================================== tests/extensions.lisp ===================================== @@ -0,0 +1,89 @@ +;; Test extensions +(defpackage :extensions-tests + (:use :cl :lisp-unit)) + +(in-package "EXTENSIONS-TESTS") + +(defun get-double-bits (val) + (multiple-value-bind (hi lo) (kernel:double-float-bits val) + (logior (ash (ldb (byte 32 0) hi) 32) (ldb (byte 32 0) lo)))) + +(defun get-single-bits (val) + (ldb (byte 32 0) (kernel:single-float-bits val))) + +(define-test test-hex-syntax + (:tag :validation) + (assert-error 'ext:hex-parse-error (ext:parse-hex-float "inf")) + (assert-error 'ext:hex-parse-error (ext:parse-hex-float "0x.p+0")) + (assert-error 'ext:hex-parse-error (ext:parse-hex-float "0x1.0p"))) + +(define-test test-cliff-boundaries + (:tag :precision) + ;; Double Precision (-1022 Cliff) + + (assert-equal #x0010000000000000 + (get-double-bits (ext:parse-hex-float "0x1.0000000000000p-1022"))) + (assert-equal #x000fffffffffffff + (get-double-bits (ext:parse-hex-float "0x0.fffffffffffffp-1022"))) + (assert-equal #x001f0195cb356b8f + (get-double-bits (ext:parse-hex-float "0x1.f0195cb356b8fp-1022"))) + + ;; Single Precision (-126 Cliff) + + (assert-equal #x00800000 + (get-single-bits (ext:parse-hex-float "0x1.000000p-126f"))) + (assert-equal #x00400000 + (get-single-bits (ext:parse-hex-float "0x0.800000p-126f"))) + (assert-equal #x7f7fffff + (get-single-bits (ext:parse-hex-float "0x1.fffffep+127f")))) + +(define-test test-negative-zero + (:tag :edge-cases) + (assert-equal #x8000000000000000 + (get-double-bits (ext:parse-hex-float "-0x0.0p+0"))) + (assert-equal #x80000000 + (get-single-bits (ext:parse-hex-float "-0x0.0p+0f"))) + (assert-true (typep (ext:parse-hex-float "-0x0.0p+0f") + 'single-float))) + +(define-test test-subnormal-boundaries + (:tag :edge) + ;; Test smallest single-float subnormal + (let* ((val (kernel:make-single-float 1)) + (str (ext:float-to-hex-string val)) + (parsed (ext:parse-hex-float str))) + (assert-equal (get-single-bits val) (get-single-bits parsed) + val str parsed)) + ;; Test smallest double-float subnormal + (let* ((val (kernel:make-double-float 0 1)) + (str (ext:float-to-hex-string val)) + (parsed (ext:parse-hex-float str))) + (assert-equal (get-double-bits val) (get-double-bits parsed) + val str parsed))) + +(define-test test-double-roundtrip + (:tag :stress) + (loop repeat 10000 do + (let* ((hi-bits (random #x100000000)) + (hi (if (logbitp 31 hi-bits) (- hi-bits #x100000000) hi-bits)) + (lo (random #x100000000)) + (val (kernel:make-double-float hi lo))) + (unless (or (ext:float-nan-p val) (ext:float-infinity-p val)) + (let* ((str (ext:float-to-hex-string val)) + (parsed (ext:parse-hex-float str))) + (assert-equal (get-double-bits val) + (get-double-bits parsed) + val str parsed)))))) + +(define-test test-single-roundtrip + (:tag :stress) + (loop repeat 10000 do + (let* ((bits-raw (random #x100000000)) + (bits (if (logbitp 31 bits-raw) (- bits-raw #x100000000) bits-raw)) + (val (kernel:make-single-float bits))) + (unless (or (ext:float-nan-p val) (ext:float-infinity-p val)) + (let* ((str (concatenate 'string (ext:float-to-hex-string val) "f")) + (parsed (ext:parse-hex-float str))) + (assert-equal (get-single-bits val) + (get-single-bits parsed) + val str parsed)))))) ===================================== tests/float.lisp ===================================== @@ -346,20 +346,7 @@ ;; Rudimentary code to read C %a formatted numbers that look like ;; "-0x1.c4dba4ba1ee79p-620". We assume STRING is exactly in this ;; format. No error-checking is done. -(defun parse-hex-float (string) - (let* ((sign (if (char= (aref string 0) #\-) - -1 - 1)) - (dot-posn (position #\. string)) - (p-posn (position #\p string)) - (lead (parse-integer string :start (1- dot-posn) :end dot-posn)) - (frac (parse-integer string :start (1+ dot-posn) :end p-posn :radix 16)) - (exp (parse-integer string :start (1+ p-posn)))) - (* sign - (scale-float (float (+ (ash lead 52) - frac) - 1d0) - (- exp 52))))) + ;; Relative error in terms of bits of accuracy. This is the ;; definition used by Baudin and Smith. A result of 53 means the two @@ -507,50 +494,50 @@ ;; 13 ;; Iteration 1. Without this, we would instead return ;; - ;; (complex (parse-hex-float "0x1.ba8df8075bceep+155") - ;; (parse-hex-float "-0x1.a4ad6329485f0p-895")) + ;; (complex (ext:parse-hex-float "0x1.ba8df8075bceep+155") + ;; (ext:parse-hex-float "-0x1.a4ad6329485f0p-895")) ;; ;; whose imaginary part is quite a bit off. (frob cdiv.mcgehearty-iteration.1 - (complex (parse-hex-float "0x1.73a3dac1d2f1fp+509") - (parse-hex-float "-0x1.c4dba4ba1ee79p-620")) - (complex (parse-hex-float "0x1.adf526c249cf0p+353") - (parse-hex-float "0x1.98b3fbc1677bbp-697")) - (complex (parse-hex-float "0x1.BA8DF8075BCEEp+155") - (parse-hex-float "-0x1.A4AD628DA5B74p-895")) + (complex (ext:parse-hex-float "0x1.73a3dac1d2f1fp+509") + (ext:parse-hex-float "-0x1.c4dba4ba1ee79p-620")) + (complex (ext:parse-hex-float "0x1.adf526c249cf0p+353") + (ext:parse-hex-float "0x1.98b3fbc1677bbp-697")) + (complex (ext:parse-hex-float "0x1.BA8DF8075BCEEp+155") + (ext:parse-hex-float "-0x1.A4AD628DA5B74p-895")) 53 106) ;; 14 ;; Iteration 2. (frob cdiv.mcgehearty-iteration.2 - (complex (parse-hex-float "-0x0.000000008e4f8p-1022") - (parse-hex-float "0x0.0000060366ba7p-1022")) - (complex (parse-hex-float "-0x1.605b467369526p-245") - (parse-hex-float "0x1.417bd33105808p-256")) - (complex (parse-hex-float "0x1.cde593daa4ffep-810") - (parse-hex-float "-0x1.179b9a63df6d3p-799")) + (complex (ext:parse-hex-float "-0x0.000000008e4f8p-1022") + (ext:parse-hex-float "0x0.0000060366ba7p-1022")) + (complex (ext:parse-hex-float "-0x1.605b467369526p-245") + (ext:parse-hex-float "0x1.417bd33105808p-256")) + (complex (ext:parse-hex-float "0x1.cde593daa4ffep-810") + (ext:parse-hex-float "-0x1.179b9a63df6d3p-799")) 52 106) ;; 15 ;; Iteration 3 (frob cdiv.mcgehearty-iteration.3 - (complex (parse-hex-float "0x1.cb27eece7c585p-355 ") - (parse-hex-float "0x0.000000223b8a8p-1022")) - (complex (parse-hex-float "-0x1.74e7ed2b9189fp-22") - (parse-hex-float "0x1.3d80439e9a119p-731")) - (complex (parse-hex-float "-0x1.3b35ed806ae5ap-333") - (parse-hex-float "-0x0.05e01bcbfd9f6p-1022")) + (complex (ext:parse-hex-float "0x1.cb27eece7c585p-355 ") + (ext:parse-hex-float "0x0.000000223b8a8p-1022")) + (complex (ext:parse-hex-float "-0x1.74e7ed2b9189fp-22") + (ext:parse-hex-float "0x1.3d80439e9a119p-731")) + (complex (ext:parse-hex-float "-0x1.3b35ed806ae5ap-333") + (ext:parse-hex-float "-0x0.05e01bcbfd9f6p-1022")) 53 106) ;; 16 ;; Iteration 4 (frob cdiv.mcgehearty-iteration.4 - (complex (parse-hex-float "-0x1.f5c75c69829f0p-530") - (parse-hex-float "-0x1.e73b1fde6b909p+316")) - (complex (parse-hex-float "-0x1.ff96c3957742bp+1023") - (parse-hex-float "0x1.5bd78c9335899p+1021")) - (complex (parse-hex-float "-0x1.423c6ce00c73bp-710") - (parse-hex-float "0x1.d9edcf45bcb0ep-708")) + (complex (ext:parse-hex-float "-0x1.f5c75c69829f0p-530") + (ext:parse-hex-float "-0x1.e73b1fde6b909p+316")) + (complex (ext:parse-hex-float "-0x1.ff96c3957742bp+1023") + (ext:parse-hex-float "0x1.5bd78c9335899p+1021")) + (complex (ext:parse-hex-float "-0x1.423c6ce00c73bp-710") + (ext:parse-hex-float "0x1.d9edcf45bcb0ep-708")) 52 106)) @@ -592,26 +579,6 @@ (assert-equal -2w300 (* -2w300 1w0))) - - -;; Rudimentary code to read C %a formatted numbers that look like -;; "-0x1.c4dba4ba1ee79p-620". We assume STRING is exactly in this -;; format. No error-checking is done. -(defun parse-hex-float (string) - (let* ((sign (if (char= (aref string 0) #\-) - -1 - 1)) - (dot-posn (position #\. string)) - (p-posn (position #\p string)) - (lead (parse-integer string :start (1- dot-posn) :end dot-posn)) - (frac (parse-integer string :start (1+ dot-posn) :end p-posn :radix 16)) - (exp (parse-integer string :start (1+ p-posn)))) - (* sign - (scale-float (float (+ (ash lead 52) - frac) - 1d0) - (- exp 52))))) - ;; Relative error in terms of bits of accuracy. This is the ;; definition used by Baudin and Smith. A result of 53 means the two ;; numbers have identical bits. For complex numbers, we use the min @@ -725,47 +692,47 @@ ;; 13 ;; Iteration 1. Without this, we would instead return ;; - ;; (complex (parse-hex-float "0x1.ba8df8075bceep+155") - ;; (parse-hex-float "-0x1.a4ad6329485f0p-895")) + ;; (complex (ext:parse-hex-float "0x1.ba8df8075bceep+155") + ;; (ext:parse-hex-float "-0x1.a4ad6329485f0p-895")) ;; ;; whose imaginary part is quite a bit off. (frob cdiv.mcgehearty-iteration.1 - (complex (parse-hex-float "0x1.73a3dac1d2f1fp+509") - (parse-hex-float "-0x1.c4dba4ba1ee79p-620")) - (complex (parse-hex-float "0x1.adf526c249cf0p+353") - (parse-hex-float "0x1.98b3fbc1677bbp-697")) - (complex (parse-hex-float "0x1.BA8DF8075BCEEp+155") - (parse-hex-float "-0x1.A4AD628DA5B74p-895")) + (complex (ext:parse-hex-float "0x1.73a3dac1d2f1fp+509") + (ext:parse-hex-float "-0x1.c4dba4ba1ee79p-620")) + (complex (ext:parse-hex-float "0x1.adf526c249cf0p+353") + (ext:parse-hex-float "0x1.98b3fbc1677bbp-697")) + (complex (ext:parse-hex-float "0x1.BA8DF8075BCEEp+155") + (ext:parse-hex-float "-0x1.A4AD628DA5B74p-895")) 53) ;; 14 ;; Iteration 2. (frob cdiv.mcgehearty-iteration.2 - (complex (parse-hex-float "-0x0.000000008e4f8p-1022") - (parse-hex-float "0x0.0000060366ba7p-1022")) - (complex (parse-hex-float "-0x1.605b467369526p-245") - (parse-hex-float "0x1.417bd33105808p-256")) - (complex (parse-hex-float "0x1.cde593daa4ffep-810") - (parse-hex-float "-0x1.179b9a63df6d3p-799")) + (complex (ext:parse-hex-float "-0x0.000000008e4f8p-1022") + (ext:parse-hex-float "0x0.0000060366ba7p-1022")) + (complex (ext:parse-hex-float "-0x1.605b467369526p-245") + (ext:parse-hex-float "0x1.417bd33105808p-256")) + (complex (ext:parse-hex-float "0x1.cde593daa4ffep-810") + (ext:parse-hex-float "-0x1.179b9a63df6d3p-799")) 52) ;; 15 ;; Iteration 3 (frob cdiv.mcgehearty-iteration.3 - (complex (parse-hex-float "0x1.cb27eece7c585p-355 ") - (parse-hex-float "0x0.000000223b8a8p-1022")) - (complex (parse-hex-float "-0x1.74e7ed2b9189fp-22") - (parse-hex-float "0x1.3d80439e9a119p-731")) - (complex (parse-hex-float "-0x1.3b35ed806ae5ap-333") - (parse-hex-float "-0x0.05e01bcbfd9f6p-1022")) + (complex (ext:parse-hex-float "0x1.cb27eece7c585p-355 ") + (ext:parse-hex-float "0x0.000000223b8a8p-1022")) + (complex (ext:parse-hex-float "-0x1.74e7ed2b9189fp-22") + (ext:parse-hex-float "0x1.3d80439e9a119p-731")) + (complex (ext:parse-hex-float "-0x1.3b35ed806ae5ap-333") + (ext:parse-hex-float "-0x0.05e01bcbfd9f6p-1022")) 53) ;; 16 ;; Iteration 4 (frob cdiv.mcgehearty-iteration.4 - (complex (parse-hex-float "-0x1.f5c75c69829f0p-530") - (parse-hex-float "-0x1.e73b1fde6b909p+316")) - (complex (parse-hex-float "-0x1.ff96c3957742bp+1023") - (parse-hex-float "0x1.5bd78c9335899p+1021")) - (complex (parse-hex-float "-0x1.423c6ce00c73bp-710") - (parse-hex-float "0x1.d9edcf45bcb0ep-708")) + (complex (ext:parse-hex-float "-0x1.f5c75c69829f0p-530") + (ext:parse-hex-float "-0x1.e73b1fde6b909p+316")) + (complex (ext:parse-hex-float "-0x1.ff96c3957742bp+1023") + (ext:parse-hex-float "0x1.5bd78c9335899p+1021")) + (complex (ext:parse-hex-float "-0x1.423c6ce00c73bp-710") + (ext:parse-hex-float "0x1.d9edcf45bcb0ep-708")) 52)) (define-test complex-division.misc View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/e8f54c41a0d4bdd12949b2… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/e8f54c41a0d4bdd12949b2… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-476-disable-ci-scheduled-analyzer-link-checker] Fix syntax errors in yaml file
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-476-disable-ci-scheduled-analyzer-link-checker at cmucl / cmucl Commits: 96b086b3 by Raymond Toy at 2026-02-26T17:48:55-08:00 Fix syntax errors in yaml file - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -284,7 +284,6 @@ osx:benchmark: # the linux-4 directory built in the linux:build job. linux:static-analyzer: stage: analyze - when: manual tags: - linux @@ -295,6 +294,7 @@ linux:static-analyzer: needs: - job: linux:build artifacts: true + when: manual script: # Analysis can generate huge amounts of output. For now just save # the results to the log file instead of also having it go to the @@ -350,11 +350,11 @@ ubuntu:ansi-test: # Checks links on the wiki pages whenever any wiki markdown pages change. markdown-link-check: stage: markdown-link-check - when: manual # Only the linux runner has markdown-link-check installed tags: - linux + when: manual # It's ok if this fails; we don't want to declare the entire # pipeline as having failed. allow_failure: true View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/96b086b3f3091bd51475d75… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/96b086b3f3091bd51475d75… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] 2 commits: Address #435: Compile single-float core-math routines
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 6fc9b12e by Raymond Toy at 2026-02-26T17:37:44-08:00 Address #435: Compile single-float core-math routines - - - - - a134fea0 by Raymond Toy at 2026-02-26T17:37:44-08:00 Merge branch 'issue-435-add-core-math-compile-code' into 'master' Address #435: Compile single-float core-math routines See merge request cmucl/cmucl!356 - - - - - 3 changed files: - src/lisp/Config.x86_common - src/lisp/GNUmakefile - src/lisp/irrat.c Changes: ===================================== src/lisp/Config.x86_common ===================================== @@ -65,6 +65,34 @@ CORE64_SRCS=\ $(CORE_MATH_64)/log1p/log1p.c \ $(CORE_MATH_64)/expm1/expm1.c \ $(CORE_MATH_64)/sincos/sincos.c + +CORE_MATH_32=core-math/src/binary32 +CORE32_SRCS=\ + $(CORE_MATH_32)/sin/sinf.c \ + $(CORE_MATH_32)/cos/cosf.c \ + $(CORE_MATH_32)/tan/tanf.c \ + $(CORE_MATH_32)/atan2/atan2f.c \ + $(CORE_MATH_32)/asin/asinf.c \ + $(CORE_MATH_32)/acos/acosf.c \ + $(CORE_MATH_32)/atan/atanf.c \ + $(CORE_MATH_32)/sinh/sinhf.c \ + $(CORE_MATH_32)/cosh/coshf.c \ + $(CORE_MATH_32)/tanh/tanhf.c \ + $(CORE_MATH_32)/asinh/asinhf.c \ + $(CORE_MATH_32)/acosh/acoshf.c \ + $(CORE_MATH_32)/atanh/atanhf.c \ + $(CORE_MATH_32)/exp/expf.c \ + $(CORE_MATH_32)/log/logf.c \ + $(CORE_MATH_32)/log10/log10f.c \ + $(CORE_MATH_32)/log2/log2f.c \ + $(CORE_MATH_32)/pow/powf.c \ + $(CORE_MATH_32)/hypot/hypotf.c \ + $(CORE_MATH_32)/log1p/log1pf.c \ + $(CORE_MATH_32)/expm1/expm1f.c \ + $(CORE_MATH_32)/sincos/sincosf.c + +CORE_MATH_SRCS = $(CORE64_SRCS) $(CORE32_SRCS) + endif ifeq ($(filter 2% 3%, $(shell $(CC) -dumpversion)),) ===================================== src/lisp/GNUmakefile ===================================== @@ -36,7 +36,7 @@ SRCS = lisp.c coreparse.c alloc.c monitor.c print.c interr.c \ dynbind.c breakpoint.c regnames.c backtrace.c save.c purify.c \ runprog.c time.c case-mapping.c exec-init.c \ irrat.c \ - ${CORE64_SRCS} \ + ${CORE_MATH_SRCS} \ ${FDLIBM} ${ARCH_SRC} ${ASSEM_SRC} ${OS_SRC} ${GC_SRC} ===================================== src/lisp/irrat.c ===================================== @@ -32,6 +32,28 @@ extern double cr_hypot(double, double); extern double cr_log1p(double); extern double cr_expm1(double); extern void cr_sincos(double, double *, double *); + +extern float cr_sinf(float); +extern float cr_cosf(float); +extern float cr_tanf(float); +extern float cr_atanf(float); +extern float cr_atan2f(float, float); +extern float cr_asinf(float); +extern float cr_acosf(float); +extern float cr_sinhf(float); +extern float cr_coshf(float); +extern float cr_tanhf(float); +extern float cr_asinhf(float); +extern float cr_acoshf(float); +extern float cr_atanhf(float); +extern float cr_expf(float); +extern float cr_logf(float); +extern float cr_log10f(float); +extern float cr_powf(float, float); +extern float cr_hypotf(float, float); +extern float cr_log1pf(float); +extern float cr_expm1f(float); +extern void cr_sincosf(float, float *, float *); #endif @@ -297,7 +319,7 @@ lisp_scalbn(double x, int n) } void -lisp_sincos (double x, double *s, double *c) +lisp_sincos(double x, double *s, double *c) { #ifdef FEATURE_CORE_MATH cr_sincos(x, s, c); @@ -307,3 +329,236 @@ lisp_sincos (double x, double *s, double *c) cmucl_sincos(x, s, c); #endif } + +/* + * The single-float versions of the special functions. When core-math + * is set, we use the single-float core-math functions. Otherwise, we + * use the double-float versions from fdlibm, with appropriate + * coercions. + */ +float +lisp_sinf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_sinf(x); +#else + return (float) fdlibm_sin((double) x); +#endif +} + +float +lisp_cosf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_cosf(x); +#else + return (float) fdlibm_cos((double) x); +#endif +} + +float +lisp_tanf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_tanf(x); +#else + return (float) fdlibm_tan((double) x); +#endif +} + +float +lisp_atanf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_atanf(x); +#else + return (float) fdlibm_atan((double) x); +#endif +} + +float +lisp_atan2f(float y, float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_atan2f(y, x); +#else + return (float) __ieee754_atan2((double) y, (double) x); +#endif +} + +float +lisp_asinf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_asinf(x); +#else + return (float) __ieee754_asin((double) x); +#endif +} + +float +lisp_acosf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_acosf(x); +#else + return (float) __ieee754_acos((double) x); +#endif +} + +float +lisp_sinhf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_sinhf(x); +#else + return (float) __ieee754_sinh((double) x); +#endif +} + +float +lisp_coshf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_coshf(x); +#else + return (float) __ieee754_cosh((double) x); +#endif +} + +float +lisp_tanhf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_tanhf(x); +#else + return (float) fdlibm_tanh((double) x); +#endif +} + +float +lisp_asinhf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_asinhf(x); +#else + return (float) fdlibm_asinh((double) x); +#endif +} + +float +lisp_acoshf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_acoshf(x); +#else + return (float) __ieee754_acosh((double) x); +#endif +} + +float +lisp_atanhf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_atanhf(x); +#else + return (float) __ieee754_atanh((double) x); +#endif +} + +float +lisp_expf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_expf(x); +#else + return (float) __ieee754_exp((double) x); +#endif +} + +float +lisp_logf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_logf(x); +#else + return (float) __ieee754_log((double) x); +#endif +} + +float +lisp_log10f(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_log10f(x); +#else + return (float) __ieee754_log10((double) x); +#endif +} + +float +lisp_powf(float x, float y) +{ +#ifdef FEATURE_CORE_MATH + /* + * cr_pow when compiled with older versions of gcc or clang can + * cause failures in the ansi-tests [#469]. Ubuntu 25.10 and Fedora 41 + * (gcc only) are known to have compilers that work well enough + * that the ansi-tests pass. + */ + return cr_powf(x, y); +#else + /* + * cr_pow seems causes ansi-tests to fail in test WRITE.1 among + * others. Somewhere an invalid operation is occurring. Thus + * just use fdlibm for now until we can figure out what's causing + * the failure. + */ + return (float) __ieee754_pow((double) x, (double) y); +#endif +} + +float +lisp_hypotf(float x, float y) +{ +#ifdef FEATURE_CORE_MATH + return cr_hypotf(x, y); +#else + return (float) __ieee754_hypot((double) x, (double) y); +#endif +} + +float +lisp_log1pf(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_log1pf(x); +#else + return (float) fdlibm_log1p((double) x); +#endif +} + +float +lisp_expm1f(float x) +{ +#ifdef FEATURE_CORE_MATH + return cr_expm1f(x); +#else + return (float) fdlibm_expm1((double) x); +#endif +} + +void +lisp_sincosf(float x, float *s, float *c) +{ +#ifdef FEATURE_CORE_MATH + cr_sincosf(x, s, c); +#else + extern void cmucl_sincos(double, double*, double*); + double ds, dc; + + cmucl_sincos((double) x, &ds, &dc); + *s = (float) ds; + *c = (float) dc; +#endif +} View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/1030fd9b886c9d9461f77a… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/1030fd9b886c9d9461f77a… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-476-disable-ci-scheduled-analyzer-link-checker] Revert to master and undo !301 and !304
by Raymond Toy (＠rtoy) 27 Feb '26

27 Feb '26

Raymond Toy pushed to branch issue-476-disable-ci-scheduled-analyzer-link-checker at cmucl / cmucl Commits: a394dd97 by Raymond Toy at 2026-02-26T17:35:56-08:00 Revert to master and undo !301 and !304 These two merge requests enabled running the manual jobs on a schedule, including the link checker. Undo the merge requests in the hope that this takes care of the multiple pipeline issue. - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== @@ -129,15 +129,6 @@ linux:install: variables: osname: "linux" CURL: "curl" - # These rules are 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. - rules: - #- if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "push" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - #- if: $CI_PIPELINE_SOURCE == "branch" - - if: $CI_PIPELINE_SOURCE == "web" linux:build: <<: *build_configuration @@ -150,14 +141,6 @@ linux:build: # Fedora 41 must build with gcc because the clang build fails some # ansi-tests. See [#469]. CONFIG: "x86_linux" - # 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. - rules: - #- if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "push" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" - - if: $CI_PIPELINE_SOURCE == "web" linux:cross-build: stage: build @@ -301,18 +284,7 @@ osx:benchmark: # the linux-4 directory built in the linux:build job. linux:static-analyzer: stage: analyze - # The analyzer is a manual job that isn't normally run. These rules - # make that happen, but when the pipeline is scheduled we do run the - # analyzer. - rules: - #- if: $CI_PIPELINE_SOURCE == "schedule" - - if: $CI_PIPELINE_SOURCE == "merge_request_event" when: manual - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "push" - when: manual - allow_failure: true - tags: - linux @@ -378,22 +350,14 @@ ubuntu:ansi-test: # Checks links on the wiki pages whenever any wiki markdown pages change. markdown-link-check: stage: markdown-link-check - # Run the checker when the pipeline is scheduled to run. - # It's ok if this fails; we don't want to declare the entire - # pipeline as having failed. - rules: - #- if: $CI_PIPELINE_SOURCE == "schedule" - # allow_failure: true - - if: $CI_PIPELINE_SOURCE == "merge_request_event" when: manual - allow_failure: true - - if: $CI_PIPELINE_SOURCE == "push" - when: manual - allow_failure: true # Only the linux runner has markdown-link-check installed tags: - linux + # It's ok if this fails; we don't want to declare the entire + # pipeline as having failed. + allow_failure: true script: # Check links in the main repo - find . -name \*.md -print0 | xargs -0 -n1 markdown-link-check View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/a394dd970b47abf8682effd… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/a394dd970b47abf8682effd… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][issue-464-lisp-version-uses-branch-name] Handle everything else.
by Raymond Toy (＠rtoy) 26 Feb '26

26 Feb '26

Raymond Toy pushed to branch issue-464-lisp-version-uses-branch-name at cmucl / cmucl Commits: 8bba47ec by Raymond Toy at 2026-02-26T07:23:54-08:00 Handle everything else. We forgot a default case for the version. We handled snapshots, releases, and CI pipelines, but forgot branch names. Since we can't know what a branch name looks like (or anything else), the final default case just takes the hash as is. (Stupidly, branch names weren't handled in this latest version. They were before.) - - - - - 1 changed file: - bin/git-version.sh Changes: ===================================== bin/git-version.sh ===================================== @@ -67,6 +67,10 @@ else # know this was done via CI. DEFAULT_VERSION="ci-${GIT_HASH}" ;; + *) + # Everything else is taken as is. + DEFAULT_VERSION="${GIT_HASH}" + ;; esac fi View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/8bba47ecc6c04ab9f9c701d… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/commit/8bba47ecc6c04ab9f9c701d… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0