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

[git] CMU Common Lisp branch master updated. snapshot-2013-05-9-gb3b0725
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via b3b0725a647a3c59440cd6ffa8baa33f616c4479 (commit) from 9be6530c85baf6d45ab60a94867ba1e3ff3d66b0 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit b3b0725a647a3c59440cd6ffa8baa33f616c4479 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon May 20 22:15:29 2013 -0700 Regenerated from current sources. diff --git a/src/i18n/locale/cmucl.pot b/src/i18n/locale/cmucl.pot index 11ba637..4b2964a 100644 --- a/src/i18n/locale/cmucl.pot +++ b/src/i18n/locale/cmucl.pot @@ -18343,7 +18343,9 @@ msgid "Redefining ~(~A~) ~S to be a constant." msgstr "" #: src/compiler/ir1util.lisp -msgid "Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum." +msgid "" +"Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum, if\n" +" possible. Otherwise, return Nil." msgstr "" #: src/compiler/ir1util.lisp ----------------------------------------------------------------------- Summary of changes: src/i18n/locale/cmucl.pot | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-05-3-g7889e98
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via 7889e989541ed40a753b2a884f7fbcf25e0a951d (commit) from e5a2fa14f92ca98db53d5241378c5850434998aa (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 7889e989541ed40a753b2a884f7fbcf25e0a951d Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Tue May 14 20:30:16 2013 -0700 Wrap exports in eval-when for x86 as was done for sparc and add CHAR-BYTES to x86-x86 cross-compile script. Only the change for CHAR-BYTES is needed for cross-compiling from x86 to x86, but I think the other changes will be needed if you do a cross-compile from some other arch to x86. diff --git a/src/compiler/x86/c-callback.lisp b/src/compiler/x86/c-callback.lisp index cccc874..1eb5856 100644 --- a/src/compiler/x86/c-callback.lisp +++ b/src/compiler/x86/c-callback.lisp @@ -15,8 +15,10 @@ (intl:textdomain "cmucl-x86-vm") ;;; Support for callbacks to Lisp. +(eval-when (:compile-toplevel :load-toplevel :execute) (export '(make-callback-trampoline callback-accessor-form compatible-function-types-p)) +) (defun callback-accessor-form (type sp offset) `(alien:deref (sap-alien diff --git a/src/compiler/x86/parms.lisp b/src/compiler/x86/parms.lisp index 6a643af..bd69453 100644 --- a/src/compiler/x86/parms.lisp +++ b/src/compiler/x86/parms.lisp @@ -74,6 +74,7 @@ ;;;; Machine Architecture parameters: +(eval-when (:compile-toplevel :load-toplevel :execute) (export '(word-bits byte-bits char-bits word-shift word-bytes char-bytes fixnum-tag-bits fixnum-tag-mask positive-fixnum-bits float-sign-shift @@ -96,6 +97,7 @@ float-underflow-trap-bit float-overflow-trap-bit float-imprecise-trap-bit float-invalid-trap-bit float-divide-by-zero-trap-bit)) +) #+double-double (export '(double-double-float-digits)) @@ -224,11 +226,13 @@ ;;;; Description of the target address space. +(eval-when (:compile-toplevel :load-toplevel :execute) (export '(target-read-only-space-start target-static-space-start target-dynamic-space-start target-foreign-linkage-space-start target-foreign-linkage-entry-size)) +) ;;; Where to put the different spaces. ;;; @@ -253,6 +257,7 @@ ;;;; Other random constants. +(eval-when (:compile-toplevel :load-toplevel :execute) (export '(halt-trap pending-interrupt-trap error-trap cerror-trap breakpoint-trap function-end-breakpoint-trap single-step-breakpoint-trap @@ -261,6 +266,7 @@ object-not-list-trap object-not-instance-trap trace-table-normal trace-table-call-site trace-table-function-prologue trace-table-function-epilogue)) +) (defenum (:suffix -trap :start 8) halt @@ -288,7 +294,9 @@ ;;;; Static symbols. +(eval-when (:compile-toplevel :load-toplevel :execute) (export '(static-symbols static-functions)) +) ;;; These symbols are loaded into static space directly after NIL so ;;; that the system can compute their address by adding a constant diff --git a/src/tools/cross-scripts/cross-x86-x86.lisp b/src/tools/cross-scripts/cross-x86-x86.lisp index fa4e31c..3f579f3 100644 --- a/src/tools/cross-scripts/cross-x86-x86.lisp +++ b/src/tools/cross-scripts/cross-x86-x86.lisp @@ -141,6 +141,7 @@ syms)))) (frob OLD-VM:BYTE-BITS OLD-VM:WORD-BITS OLD-VM:CHAR-BITS + OLD-VM:CHAR-BYTES #+long-float OLD-VM:SIMPLE-ARRAY-LONG-FLOAT-TYPE OLD-VM:SIMPLE-ARRAY-DOUBLE-FLOAT-TYPE OLD-VM:SIMPLE-ARRAY-SINGLE-FLOAT-TYPE ----------------------------------------------------------------------- Summary of changes: src/compiler/x86/c-callback.lisp | 2 ++ src/compiler/x86/parms.lisp | 8 ++++++++ src/tools/cross-scripts/cross-x86-x86.lisp | 1 + 3 files changed, 11 insertions(+) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-12-a-44-ga00d8a9
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via a00d8a9a746933ad02f39fb22149a11299ea6a9b (commit) from ca2bf8c29d22aaf44caf31f1d7b6ba77ab418be5 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit a00d8a9a746933ad02f39fb22149a11299ea6a9b Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Jan 3 10:13:12 2014 -0800 Produce correct results on branch cuts for atanh. For (atanh x), where x is a real number on the branch cuts for atanh, make the code return the correct value based on the definition of atanh. This is inconsistent with the description in the CLHS because the values on the branch cut are now continuous with different quadrants. The formula is clear, however, for the values on the branch cut. * src/code/irrat.lisp * src/code/irrat-dd.lisp * Use the correct branch cut values for atanh. * tests/trig.lisp * Update tests accordingly, with additional comments. diff --git a/src/code/irrat-dd.lisp b/src/code/irrat-dd.lisp index dbe9159..29627b5 100644 --- a/src/code/irrat-dd.lisp +++ b/src/code/irrat-dd.lisp @@ -1663,59 +1663,62 @@ Z may be any number, but the result is always a complex." (defun dd-complex-atanh (z) _N"Compute atanh z = (log(1+z) - log(1-z))/2" (declare (number z)) - (let* ( ;; Constants - (theta (/ (sqrt most-positive-double-float) 4.0w0)) - (rho (/ 4.0w0 (sqrt most-positive-double-float))) - (half-pi dd-pi/2) - (rp (float (realpart z) 1.0w0)) - (beta (float-sign rp 1.0w0)) - (x (* beta rp)) - (y (* beta (- (float (imagpart z) 1.0w0)))) - (eta 0.0w0) - (nu 0.0w0)) - ;; Shouldn't need this declare. - (declare (double-double-float x y)) - (locally - (declare (optimize (speed 3) - (inhibit-warnings 3))) - (cond ((or (> x theta) - (> (abs y) theta)) - ;; To avoid overflow... - (setf nu (float-sign y half-pi)) - ;; eta is real part of 1/(x + iy). This is x/(x^2+y^2), - ;; which can cause overflow. Arrange this computation so - ;; that it won't overflow. - (setf eta (let* ((x-bigger (> x (abs y))) - (r (if x-bigger (/ y x) (/ x y))) - (d (+ 1.0d0 (* r r)))) - (if x-bigger - (/ (/ x) d) - (/ (/ r y) d))))) - ((= x 1.0w0) - ;; Should this be changed so that if y is zero, eta is set - ;; to +infinity instead of approx 176? In any case - ;; tanh(176) is 1.0d0 within working precision. - (let ((t1 (+ 4w0 (square y))) - (t2 (+ (abs y) rho))) - (setf eta (dd-%log (/ (sqrt (sqrt t1)) - (sqrt t2)))) - (setf nu (* 0.5d0 - (float-sign y - (+ half-pi (dd-%atan (* 0.5d0 t2)))))))) - (t - (let ((t1 (+ (abs y) rho))) - ;; Normal case using log1p(x) = log(1 + x) - (setf eta (* 0.25d0 - (dd-%log1p (/ (* 4.0d0 x) - (+ (square (- 1.0d0 x)) - (square t1)))))) - (setf nu (* 0.5d0 - (dd-%atan2 (* 2.0d0 y) - (- (* (- 1.0d0 x) - (+ 1.0d0 x)) - (square t1)))))))) - (complex (* beta eta) - (- (* beta nu)))))) + (if (realp z) + ;; See complex-atanh for why we do this. + (dd-complex-atanh (complex z (- (* 0.0 z)))) + (let* ( ;; Constants + (theta (/ (sqrt most-positive-double-float) 4.0w0)) + (rho (/ 4.0w0 (sqrt most-positive-double-float))) + (half-pi dd-pi/2) + (rp (float (realpart z) 1.0w0)) + (beta (float-sign rp 1.0w0)) + (x (* beta rp)) + (y (* beta (- (float (imagpart z) 1.0w0)))) + (eta 0.0w0) + (nu 0.0w0)) + ;; Shouldn't need this declare. + (declare (double-double-float x y)) + (locally + (declare (optimize (speed 3) + (inhibit-warnings 3))) + (cond ((or (> x theta) + (> (abs y) theta)) + ;; To avoid overflow... + (setf nu (float-sign y half-pi)) + ;; eta is real part of 1/(x + iy). This is x/(x^2+y^2), + ;; which can cause overflow. Arrange this computation so + ;; that it won't overflow. + (setf eta (let* ((x-bigger (> x (abs y))) + (r (if x-bigger (/ y x) (/ x y))) + (d (+ 1.0d0 (* r r)))) + (if x-bigger + (/ (/ x) d) + (/ (/ r y) d))))) + ((= x 1.0w0) + ;; Should this be changed so that if y is zero, eta is set + ;; to +infinity instead of approx 176? In any case + ;; tanh(176) is 1.0d0 within working precision. + (let ((t1 (+ 4w0 (square y))) + (t2 (+ (abs y) rho))) + (setf eta (dd-%log (/ (sqrt (sqrt t1)) + (sqrt t2)))) + (setf nu (* 0.5d0 + (float-sign y + (+ half-pi (dd-%atan (* 0.5d0 t2)))))))) + (t + (let ((t1 (+ (abs y) rho))) + ;; Normal case using log1p(x) = log(1 + x) + (setf eta (* 0.25d0 + (dd-%log1p (/ (* 4.0d0 x) + (+ (square (- 1.0d0 x)) + (square t1)))))) + (setf nu (* 0.5d0 + (dd-%atan2 (* 2.0d0 y) + (- (* (- 1.0d0 x) + (+ 1.0d0 x)) + (square t1)))))))) + (complex (* beta eta) + (- (* beta nu))))))) (defun dd-complex-tanh (z) _N"Compute tanh z = sinh z / cosh z" diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp index e4e744d..bcd40c3 100644 --- a/src/code/irrat.lisp +++ b/src/code/irrat.lisp @@ -1740,60 +1740,78 @@ Z may be any number, but the result is always a complex." #+double-double (when (typep z '(or double-double-float (complex double-double-float))) (return-from complex-atanh (dd-complex-atanh z))) - - (let* ( ;; Constants - (theta (/ (sqrt most-positive-double-float) 4.0d0)) - (rho (/ 4.0d0 (sqrt most-positive-double-float))) - (half-pi (/ pi 2.0d0)) - (rp (float (realpart z) 1.0d0)) - (beta (float-sign rp 1.0d0)) - (x (* beta rp)) - (y (* beta (- (float (imagpart z) 1.0d0)))) - (eta 0.0d0) - (nu 0.0d0)) - ;; Shouldn't need this declare. - (declare (double-float x y)) - (locally - (declare (optimize (speed 3))) - (cond ((or (> x theta) - (> (abs y) theta)) - ;; To avoid overflow... - (setf nu (float-sign y half-pi)) - ;; eta is real part of 1/(x + iy). This is x/(x^2+y^2), - ;; which can cause overflow. Arrange this computation so - ;; that it won't overflow. - (setf eta (let* ((x-bigger (> x (abs y))) - (r (if x-bigger (/ y x) (/ x y))) - (d (+ 1.0d0 (* r r)))) - (if x-bigger - (/ (/ x) d) - (/ (/ r y) d))))) - ((= x 1.0d0) - ;; Should this be changed so that if y is zero, eta is set - ;; to +infinity instead of approx 176? In any case - ;; tanh(176) is 1.0d0 within working precision. - (let ((t1 (+ 4d0 (square y))) - (t2 (+ (abs y) rho))) - (setf eta (log (/ (sqrt (sqrt t1)) - (sqrt t2)))) - (setf nu (* 0.5d0 - (float-sign y - (+ half-pi (atan (* 0.5d0 t2)))))))) - (t - (let ((t1 (+ (abs y) rho))) - ;; Normal case using log1p(x) = log(1 + x) - (setf eta (* 0.25d0 - (%log1p (/ (* 4.0d0 x) - (+ (square (- 1.0d0 x)) - (square t1)))))) - (setf nu (* 0.5d0 - (atan (* 2.0d0 y) - (- (* (- 1.0d0 x) - (+ 1.0d0 x)) - (square t1)))))))) - (coerce-to-complex-type (* beta eta) - (- (* beta nu)) - z)))) + + ;; When z is purely real and x > 1, we have + ;; + ;; atanh(z) = 1/2*(log(1+z) - log(1-z)) + ;; = 1/2*(log(1+x) - (log(x-1)+i*pi)) + ;; = 1/2*(log(1+x) - log(x-1) - i*pi) + ;; = 1/2(log(1+x)-log(x-1)) - i*pi/2 + ;; + ;; Thus, the imaginary part is negative. Thus, for z > 1, atanh is + ;; continuous with quadrant IV. To preserve the identity atanh(-z) + ;; = -atanh(z), we must have atanh be continuous with Quadrant II + ;; for z < -1. (The identity is obviously true from the + ;; definition.) + ;; + ;; NOTE: this differs from what the CLHS says for the continuity. + ;; Instead of the text in the CLHS, we choose to use the definition + ;; to derive the correct values. + (if (realp z) + (complex-atanh (complex (float z) (- (* 0 (float z))))) + (let* ( ;; Constants + (theta (/ (sqrt most-positive-double-float) 4.0d0)) + (rho (/ 4.0d0 (sqrt most-positive-double-float))) + (half-pi (/ pi 2.0d0)) + (rp (float (realpart z) 1.0d0)) + (beta (float-sign rp 1.0d0)) + (x (* beta rp)) + (y (* beta (- (float (imagpart z) 1.0d0)))) + (eta 0.0d0) + (nu 0.0d0)) + ;; Shouldn't need this declare. + (declare (double-float x y)) + (locally + (declare (optimize (speed 3))) + (cond ((or (> x theta) + (> (abs y) theta)) + ;; To avoid overflow... + (setf nu (float-sign y half-pi)) + ;; eta is real part of 1/(x + iy). This is x/(x^2+y^2), + ;; which can cause overflow. Arrange this computation so + ;; that it won't overflow. + (setf eta (let* ((x-bigger (> x (abs y))) + (r (if x-bigger (/ y x) (/ x y))) + (d (+ 1.0d0 (* r r)))) + (if x-bigger + (/ (/ x) d) + (/ (/ r y) d))))) + ((= x 1.0d0) + ;; Should this be changed so that if y is zero, eta is set + ;; to +infinity instead of approx 176? In any case + ;; tanh(176) is 1.0d0 within working precision. + (let ((t1 (+ 4d0 (square y))) + (t2 (+ (abs y) rho))) + (setf eta (log (/ (sqrt (sqrt t1)) + (sqrt t2)))) + (setf nu (* 0.5d0 + (float-sign y + (+ half-pi (atan (* 0.5d0 t2)))))))) + (t + (let ((t1 (+ (abs y) rho))) + ;; Normal case using log1p(x) = log(1 + x) + (setf eta (* 0.25d0 + (%log1p (/ (* 4.0d0 x) + (+ (square (- 1.0d0 x)) + (square t1)))))) + (setf nu (* 0.5d0 + (atan (* 2.0d0 y) + (- (* (- 1.0d0 x) + (+ 1.0d0 x)) + (square t1)))))))) + (coerce-to-complex-type (* beta eta) + (- (* beta nu)) + z))))) (defun complex-tanh (z) "Compute tanh z = sinh z / cosh z" diff --git a/tests/trig.lisp b/tests/trig.lisp index df76231..695c50d 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -770,24 +770,24 @@ (get-signs (atanh-def #c(-2d0 1d-20))) (assert-true (check-signs #'atanh -2d0 tr ti)) (assert-true (check-signs #'atanh -2w0 tr ti)) - (assert-true (check-signs #'atanh #c(-2d0 +0d0) tr ti)) - (assert-true (check-signs #'atanh #c(-2w0 +0w0) tr ti))) + (assert-true (check-signs #'atanh #c(-2d0 0d0) tr ti)) + (assert-true (check-signs #'atanh #c(-2w0 0w0) tr ti))) ;; Test the other side of the branch cut for x < -1. (multiple-value-bind (tr ti) (get-signs (atanh-def #c(-2d0 -1d-20))) (assert-true (check-signs #'atanh #c(-2d0 -0d0) tr ti)) (assert-true (check-signs #'atanh #c(-2w0 -0w0) tr ti))) - ;; Test for x > 1, which is continuous with Quadrant I, using the - ;; value at #c(+2d0 1d-10) as the reference + ;; Test for x > 1, which is continuous with Quadrant IV, using the + ;; value at #c(+2d0 -1d-10) as the reference (multiple-value-bind (tr ti) - (get-signs (atanh-def #c(2d0 1d-20))) + (get-signs (atanh-def #c(2d0 -1d-10))) (assert-true (check-signs #'atanh 2d0 tr ti)) (assert-true (check-signs #'atanh 2w0 tr ti)) - (assert-true (check-signs #'atanh #c(2d0 0) tr ti)) - (assert-true (check-signs #'atanh #c(2w0 0) tr ti))) + (assert-true (check-signs #'atanh #c(2d0 -0d0) tr ti)) + (assert-true (check-signs #'atanh #c(2w0 -0w0) tr ti))) ;; Test the other side of the branch cut for x > 1. (multiple-value-bind (tr ti) - (get-signs (atanh-def #c(2d0 -1d-20))) - (assert-true (check-signs #'atanh #c(2d0 -0d0) tr ti)) - (assert-true (check-signs #'atanh #c(2w0 -0w0) tr ti)))) + (get-signs (atanh-def #c(2d0 +1d-20))) + (assert-true (check-signs #'atanh #c(2d0 0d0) tr ti)) + (assert-true (check-signs #'atanh #c(2w0 0w0) tr ti)))) ----------------------------------------------------------------------- Summary of changes: src/code/irrat-dd.lisp | 109 +++++++++++++++++++++-------------------- src/code/irrat.lisp | 126 +++++++++++++++++++++++++++--------------------- tests/trig.lisp | 20 ++++---- 3 files changed, 138 insertions(+), 117 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. 20e
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via bc828bed51339b951d84d2a264adf0221172f126 (commit) from c01e6f9d9be67e4aedb33857a00f8d20697a19ef (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit bc828bed51339b951d84d2a264adf0221172f126 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Sep 22 09:46:59 2013 -0700 Update for 20e. diff --git a/src/general-info/release-20e.txt b/src/general-info/release-20e.txt index 8abf083..1eb88a7 100644 --- a/src/general-info/release-20e.txt +++ b/src/general-info/release-20e.txt @@ -1,7 +1,5 @@ ========================== C M U C L 20 e ============================= -[In Progress] - The CMUCL project is pleased to announce the release of CMUCL 20e. This is a major release which contains numerous enhancements and bug fixes from the 20c release. @@ -19,10 +17,10 @@ over the Internet, and is mostly in the public domain. New in this release: * Known issues: + * For the current issues, see Trac tickets. * Feature enhancements - * The disassembler (on x86) prints correctly for any value of - *print-base*. + * The disassembler prints correctly for any value of *print-base*. * Changes * ASDF2 updated to version 3.0.2. ----------------------------------------------------------------------- Summary of changes: src/general-info/release-20e.txt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-12-a-13-g5b9111e
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via 5b9111e975748929ddcdd9052c5b5ec8138dcca5 (commit) via 0bd9e773136b7b827f711f51500fdca4122adf73 (commit) via 1ae2d46cf3e9776ff35c6d6eddf3d73f6b0b66a1 (commit) via 1266d1ff1eb938136e8ae684eb9e3be8009ec350 (commit) via 6ec982de562b883722c7efc85d44f9fada24b9ef (commit) via 36403a831c9a979d5a16d1249000b85d4c8c6bfc (commit) via 7069ef9dfa3770d7b3e00aac297ae7dcb22b8c20 (commit) via 7190b61cf97c8320d6a218c430471c0fb0bf518e (commit) via b79c28727f40f1dd3cdd035eb86fd929594b0d64 (commit) via e6a9577f0093b72d5d5e0c90cb0930df6a16bb8b (commit) via 32bdd53bf002fca1c9ad6b543d522a6558cae768 (commit) from b7280406f5f91cdd6ffc8dcacc9e811317a9a99b (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- ----------------------------------------------------------------------- Summary of changes: src/code/irrat.lisp | 597 ++++++++++++++++++++++++++++++------------ src/compiler/float-tran.lisp | 4 +- src/lisp/Config.sparc_common | 2 +- src/tests/trig.lisp | 193 ++++++++++++++ 4 files changed, 625 insertions(+), 171 deletions(-) create mode 100644 src/tests/trig.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-42-g9ca40a2
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via 9ca40a2b90607cd33577644c5cd5d38ae5fe1354 (commit) from d08b5bf8259bcd458beec17ba65a7b85f454edda (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 9ca40a2b90607cd33577644c5cd5d38ae5fe1354 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Aug 28 19:37:32 2014 -0700 Fix round-quotient-bound to handle exclusive bounds better. All the tests should pass now. diff --git a/src/compiler/srctran.lisp b/src/compiler/srctran.lisp index c2e1a83..14c353c 100644 --- a/src/compiler/srctran.lisp +++ b/src/compiler/srctran.lisp @@ -1768,13 +1768,32 @@ (flet ((round-it (quot) (let ((lo (interval-low quot)) (hi (interval-high quot))) - (setf lo (if lo - (round (bound-value lo)) - nil)) - ;; For the upper bound, we need to be careful - (setf hi (if hi - (round (bound-value hi)) - nil)) + (when lo + ;; Need to handle carefully the case where the lower + ;; bound is exclusive. This is only a problem when + ;; the remainder is exactly +1/2 where the quotient + ;; has been rounded down. In this case, quotient + ;; should be one higher. For example (round 2.5) -> + ;; 2, 0.5, but (round 2.500001) -> 3, -0.49999. + (multiple-value-bind (q r) + (round (bound-value lo)) + (setf lo + (if (and (consp lo) (= r 1/2)) + (1+ q) + q)))) + (when hi + (multiple-value-bind (q r) + (round (bound-value hi)) + ;; Need to handle carefully the case where the upper + ;; bound is exclusive. This is only a problem when + ;; the remainder is exactly -1/2 where the quotient + ;; has been rounded up. In this case, quotient should + ;; be one less. For example but (round 1.5) -> 2, + ;; -0.5 but (round 1.49999) -> 1, .49999. + (setf hi + (if (and (= r -1/2) (consp hi)) + (1- q) + q)))) (make-interval :low lo :high hi)))) (case (interval-range-info quot) (+ ----------------------------------------------------------------------- Summary of changes: src/compiler/srctran.lisp | 33 ++++++++++++++++++++++++++------- 1 file changed, 26 insertions(+), 7 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. begin-x87-removal-16-g656761b
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via 656761bda082e6c08492f34af80861ac285d6426 (commit) via 68ffe6a91d28fa444cd0fc03bcfda295f491b793 (commit) from 10781b15fcff354eedf177d9608eb7d98eda297d (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 656761bda082e6c08492f34af80861ac285d6426 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Tue Apr 15 21:52:36 2014 -0700 Remove alloc_overflow_x87. diff --git a/src/lisp/x86-assem.S b/src/lisp/x86-assem.S index f3b4344..3ab41d6 100644 --- a/src/lisp/x86-assem.S +++ b/src/lisp/x86-assem.S @@ -372,7 +372,7 @@ ENDFUNC(fastcopy16) /* - * alloc_overflow_x87 and alloc_overflow_sse2 must not be called from + * alloc_overflow_sse2 must not be called from * C because it doesn't follow C conventions. * * On entry: @@ -380,18 +380,6 @@ ENDFUNC(fastcopy16) * On exit: * %eax = address */ -FUNCDEF(alloc_overflow_x87) - STACK_PROLOGUE(12) - movl %ecx, 8(%esp) # Save ecx and edx registers - movl %edx, 4(%esp) - movl %eax, (%esp) # Put size on stack for first arg to alloc() - call GNAME(alloc) - movl 4(%esp), %edx # Restore edx and ecx registers. eax has the return value. - movl 8(%esp), %ecx - STACK_EPILOGUE - ret -ENDFUNC(alloc_overflow_x87) - FUNCDEF(alloc_overflow_sse2) STACK_PROLOGUE(20) movl %ecx, 8(%esp) # Save ecx and edx registers commit 68ffe6a91d28fa444cd0fc03bcfda295f491b793 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Tue Apr 15 21:46:40 2014 -0700 Add comment that 16-byte alignment is required on Darwin. diff --git a/src/compiler/x86/sse2-c-call.lisp b/src/compiler/x86/sse2-c-call.lisp index 1e827d3..03a2967 100644 --- a/src/compiler/x86/sse2-c-call.lisp +++ b/src/compiler/x86/sse2-c-call.lisp @@ -74,7 +74,8 @@ (unless (zerop amount) (let ((delta (logandc2 (+ amount 3) 3))) (inst sub esp-tn delta))) - ;; Align the stack to a 16-byte boundary. + ;; Align the stack to a 16-byte boundary. This is required an + ;; Darwin and should be harmless everywhere else. (inst and esp-tn #xfffffff0) (move result esp-tn))) ----------------------------------------------------------------------- Summary of changes: src/compiler/x86/sse2-c-call.lisp | 3 ++- src/lisp/x86-assem.S | 14 +------------- 2 files changed, 3 insertions(+), 14 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-09-4-g0f3e2f6
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via 0f3e2f6a96c03efb6ccbb40b6bb7d517055fb325 (commit) via 8be7988c53417027caf2d6c6c4ee107c057aef56 (commit) from 7e2a98eea48abc007e74490fa099da019b440ddc (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 0f3e2f6a96c03efb6ccbb40b6bb7d517055fb325 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed Sep 11 21:22:49 2013 -0700 Support all sun4 archs, not just sun4u. (sun4v is T1). diff --git a/bin/build.sh b/bin/build.sh index 9be48e4..9309e63 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -191,7 +191,7 @@ if [ -z "$BASE" ]; then esac ;; SunOS) case `uname -m` in - sun4u) BASE=sparc ;; + sun4*) BASE=sparc ;; i86pc) BASE=sol-x86 ;; esac ;; Linux) BASE=linux ;; commit 8be7988c53417027caf2d6c6c4ee107c057aef56 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed Sep 11 21:22:19 2013 -0700 Set lvshort to solaris too if lisp_variant=sparc*. diff --git a/bin/create-target.sh b/bin/create-target.sh index 85d7bb2..21b38a6 100755 --- a/bin/create-target.sh +++ b/bin/create-target.sh @@ -50,7 +50,7 @@ uname_m=`uname -m 2>/dev/null` case $lisp_variant in *linux*) lvshort=linux;; *freebsd*) lvshort=freebsd;; - *solaris*) lvshort=solaris;; + *solaris*|sparc*) lvshort=solaris;; *) lvshort=unknown;; esac ----------------------------------------------------------------------- Summary of changes: bin/build.sh | 2 +- bin/create-target.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. begin-x87-removal-22-gd8d6bce
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via d8d6bce450fe606aa48fdbf874001134505734a1 (commit) from ecd7d26d363b65a174ab04a1c2a802fe8ca96ddc (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit d8d6bce450fe606aa48fdbf874001134505734a1 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed Apr 30 21:05:31 2014 -0700 Oops. Other archs still need float.lisp. diff --git a/src/tools/comcom.lisp b/src/tools/comcom.lisp index 9ad7973..c564bdb 100644 --- a/src/tools/comcom.lisp +++ b/src/tools/comcom.lisp @@ -173,9 +173,10 @@ (when *load-stuff* (load (vmdir "target:assembly/support"))) (comf (vmdir "target:compiler/move")) -(when (c:target-featurep :x86) - (comf (vmdir "target:compiler/float-sse2") - :byte-compile *byte-compile*)) +(comf (if (c:target-featurep :sse2) + (vmdir "target:compiler/float-sse2") + (vmdir "target:compiler/float")) + :byte-compile *byte-compile*) (comf (vmdir "target:compiler/sap") :byte-compile *byte-compile*) (when (c:target-featurep :x86) (comf (vmdir "target:compiler/sse2-sap") ----------------------------------------------------------------------- Summary of changes: src/tools/comcom.lisp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-85-g4db363e
by rtoy＠common-lisp.net 08 Apr '15

08 Apr '15

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CMU Common Lisp". The branch, master has been updated via 4db363eca4f5a2c282f7b46bd1509095bcb6efec (commit) via b0b34eafd682046f8345beeb5df24e8c1eacc231 (commit) via 87b9cd66d418314bee5318d0c80181c6572d0d85 (commit) via edaa999ed44d1df6c361c594932eaa5d03f208a5 (commit) from 0a2163ec1c2ed6cd9711dab63f92c42e246e0b81 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 4db363eca4f5a2c282f7b46bd1509095bcb6efec Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 3 15:21:24 2014 -0700 Update from commit logs. diff --git a/src/general-info/release-20f.txt b/src/general-info/release-20f.txt index 1947297..b49ecc6 100644 --- a/src/general-info/release-20f.txt +++ b/src/general-info/release-20f.txt @@ -32,7 +32,7 @@ New in this release: ticket:92) * Changes - * Update to ASDF 3.1.2. + * Update to ASDF 3.1.3. * When *PRINT-CASE* is :DOWNCASE, integers are printed with lowercase letters when needed. * Micro-optimize KERNEL:DOUBLE-FLOAT-BITS for x86/sse2. @@ -53,6 +53,15 @@ New in this release: the default for several months now. * Add lisp-unit as a contrib. Use (require :lisp-unit) to load it. Precompiled fasls are not included. + * CMUCL now uses fdlibm C functions to implement the special + functions. All platforms use this so they should produce + identical results everywhere. + * Consing for the trig functions is removed now since we call out + to fdlibm instead of implementing them in Lisp. + * Source location information has been added for + DEFINE-CONDITION. (From Helmut Eller.) + * The lisp executable is now compiled to use SSE2 on x86 machines; + CMUCL will not run on chips without SSE2 anymore. * ANSI compliance fixes: * The values on the branch cuts for the inverse trig and @@ -62,6 +71,9 @@ New in this release: and on the branch cut is now continuous with different quadrants. This differs from the description of the branch cut for atanh in the CLHS. + * CLEAR-OUTPUT was not actually doing anything. Now, CLEAR-OUTPUT + will discard any buffered data that has not been written out + yet. * Bugfixes: * Fix error in pi reduction on x87. It was not noticed previously @@ -78,7 +90,11 @@ New in this release: least-positive-foo-float if possible. * (log -0w0) and (log 0w0) returns values analogous to the double-float versions. - * Fix bug in printint MOST-NEGATIVE-FIXNUM + * Fix bug in printing MOST-NEGATIVE-FIXNUM. + * For Gray streams, CLEAR-OUTPUT was calling STREAM-FORCE-OUTPUT + instead of STREAM-CLEAR-OUTPUT, so the output wasn't actually + cleared. + * Trac Tickets: * Ticket #90 fixed. @@ -87,6 +103,8 @@ New in this release: * Ticket #94 fixed. * Ticket #93 fixed. * Ticket #98 fixed. + * Ticket #104 fixed. + * Ticket #101, item 1 fixed. * Other changes: commit b0b34eafd682046f8345beeb5df24e8c1eacc231 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 3 08:43:08 2014 -0700 add -mtune=generic to get optimization for the most common x86 processors. diff --git a/src/lisp/Config.x86_common b/src/lisp/Config.x86_common index 1873f7d..ad2b1a0 100644 --- a/src/lisp/Config.x86_common +++ b/src/lisp/Config.x86_common @@ -54,7 +54,7 @@ CPP_INCLUDE_OPTIONS := -I. -I$(PATH1) -I- endif CPPFLAGS := $(CPP_DEFINE_OPTIONS) $(CPP_INCLUDE_OPTIONS) -CFLAGS += -Wstrict-prototypes -Wall -O2 -g +CFLAGS += -Wstrict-prototypes -Wall -O2 -g -mtune=generic ASFLAGS = -g ASSEM_SRC = x86-assem.S commit 87b9cd66d418314bee5318d0c80181c6572d0d85 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 3 08:37:50 2014 -0700 Remove CC_REM_PIO2 and add new CPPFLAGS to force compiling with sse2 instructions. This is completely untested. diff --git a/src/lisp/Config.x86_freebsd b/src/lisp/Config.x86_freebsd index 911e2c2..cf8089f 100644 --- a/src/lisp/Config.x86_freebsd +++ b/src/lisp/Config.x86_freebsd @@ -1,9 +1,7 @@ # -*- Mode: makefile -*- include Config.x86_common -# Need -ffloat-store for e_rem_pio2 and k_rem_pio2 to get properly -# rounded double-floats while using x87 extended precision. -CC_REM_PIO2 = -ffloat-store +CPPFLAGS += -march=pentium4 -mfpmath=sse UNDEFSYMPATTERN = -Xlinker -u -Xlinker & OS_SRC += FreeBSD-os.c elf.c commit edaa999ed44d1df6c361c594932eaa5d03f208a5 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 3 08:35:51 2014 -0700 Forgot to remove e_rem_pio2 and friends from a few more Config files since they're in GNUMakefile now. diff --git a/src/lisp/Config.sparc_common b/src/lisp/Config.sparc_common index c4a8ed6..2ad8aed 100644 --- a/src/lisp/Config.sparc_common +++ b/src/lisp/Config.sparc_common @@ -56,6 +56,6 @@ ASSEM_SRC = sparc-assem.S ARCH_SRC = sparc-arch.c DEPEND=$(CC) -OS_SRC = solaris-os.c os-common.c undefineds.c elf.c e_rem_pio2.c k_rem_pio2.c +OS_SRC = solaris-os.c os-common.c undefineds.c elf.c OS_LIBS= -lsocket -lnsl -ldl EXEC_FINAL_OBJ = exec-final.o diff --git a/src/lisp/Config.x86_solaris_sunc b/src/lisp/Config.x86_solaris_sunc index 2b6ed8d..0c137ae 100644 --- a/src/lisp/Config.x86_solaris_sunc +++ b/src/lisp/Config.x86_solaris_sunc @@ -9,6 +9,6 @@ DEPEND_FLAGS = -xM1 ASSEM_SRC = x86-assem.S ARCH_SRC = x86-arch.c -OS_SRC = solaris-os.c os-common.c undefineds.c elf.c e_rem_pio2.c k_rem_pio2.c +OS_SRC = solaris-os.c os-common.c undefineds.c elf.c OS_LINK_FLAGS= OS_LIBS= -lsocket -lnsl -ldl ----------------------------------------------------------------------- Summary of changes: src/general-info/release-20f.txt | 22 ++++++++++++++++++++-- src/lisp/Config.sparc_common | 2 +- src/lisp/Config.x86_common | 2 +- src/lisp/Config.x86_freebsd | 4 +--- src/lisp/Config.x86_solaris_sunc | 2 +- 5 files changed, 24 insertions(+), 8 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0