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

[git] CMU Common Lisp branch master updated. snapshot-2013-12-a-28-gbf11273
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 bf1127321b08ef7e02eb7159f194c054078b95f2 (commit) via 196e1482e0563250b4ca257a2a119dbe09e6b0a3 (commit) from b71b7c854469191e462162c9d11d0c35222a284a (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 bf1127321b08ef7e02eb7159f194c054078b95f2 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Dec 20 22:41:59 2013 -0800 Document the value of atan better. The CLHS is confusing. Clean up comments for asin too. diff --git a/src/tests/trig.lisp b/src/tests/trig.lisp index 78e643d..011aeaf 100644 --- a/src/tests/trig.lisp +++ b/src/tests/trig.lisp @@ -482,14 +482,16 @@ (complex 0 z))) ;; asin(x) = -i*log(i*x + sqrt(1-x^2)) -(defun asin-def (z) - (- (i*z (log (+ (i*z z) - (sqrt (1-z (* z z)))))))) - -;; asin branch cut is the real axis |x| > 1. For x < -1, it is +;; +;; The branch cut is the real axis |x| > 1. For x < -1, it is ;; continuous with quadrant II; for x > 1, continuous with quadrant ;; IV. ;; +(defun asin-def (z) + (- (i*z (log (+ (i*z z) + (sqrt (1-z (* z z)))))))) + + (define-test branch-cut.asin (:tag :asin :branch-cuts) ;; Test for x < -1, which is continuous with Quadrant II. Compute @@ -566,6 +568,33 @@ ;; atan(z) = (log(1+i*z) - log(1-i*z))/(2*i) ;; = -i/2*(log(1+i*z) - log(1-i*z)) ;; +;; WARNING: The CLHS is a bit confused here. Two definitions of atan +;; are given in the CLHS +;; http://www.lispworks.com/documentation/HyperSpec/Body/f_asin_.htm +;; and they are not consistent. Plus, there is a typo in the second +;; definition. (Missing parens.) +;; +;; For clarification, we turn to +;; http://www.lispworks.com/documentation/HyperSpec/Issues/iss069_w.htm, +;; which recommends using the second formula and also puts in the +;; parentheses in the correct places. +;; +;; BUT, this is further confused by the example that atan(0+2*i) is +;; 1.57-0.549*i for the proposed formula but -1.57+0.549*i under the +;; current formula. +;; +;; +;; I think the inconsistency is that the results are derived without +;; signed zeroes. But we have signed zeroes, so let us derive the +;; actual value of atan(0+2*i) using the (second) formula. +;; +;; atan(0+2*i) = (log(1+i*(0+2*i)) - log(1-i*(0+2*i)))/(2*i) +;; = (log(1+(-2+0*i)) - log(1-(-2+0*i)))/(2*i) +;; = (log(-1-0*i) - log(3-0*i))/(2*i) +;; = ((log(1) - pi*i) - (log(3) - 0*i))/(2*i) +;; = (-log(3) - pi*i)/(2*i) +;; = -pi/2 + log(3)/2*i +;; ;; The branch cut is the imaginary axis, |y| > 1. For y < -1, atan is ;; continuous with Quadrant IV; for y > 1, Quadrant II. (defun atan-def (z) commit 196e1482e0563250b4ca257a2a119dbe09e6b0a3 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Dec 20 22:16:27 2013 -0800 Add tests for branch cuts. diff --git a/src/tests/trig.lisp b/src/tests/trig.lisp index 58d5440..78e643d 100644 --- a/src/tests/trig.lisp +++ b/src/tests/trig.lisp @@ -228,6 +228,8 @@ t err))) + +;;; Tests for double-double-floats (define-test dd-sin.signed-zeroes "Test sin for 0w0 and -0w0" (:tag :sin :double-double :signed-zeroes) @@ -431,3 +433,169 @@ (assert-eql nil (dd-sincos-test (scale-float 1w0 1023) 1000))) + +;;; Tests for branch cuts. + + +;; Compute fun(arg) and check that the signs of the real and imaginary +;; parts match the value of real-sign and imag-sign, respectively. +;; Return T if the signs match. +(defun check-signs (fun arg real-sign imag-sign) + (let* ((z (funcall fun arg)) + (x (realpart z)) + (y (imagpart z))) + (cond ((and (= (float-sign x) real-sign) + (= (float-sign y) imag-sign)) + t) + (t + (format t "Sign of result doesn't match expected signs~%~ + ~& fun = ~A~ + ~& arg = ~A~ + ~& res = ~A~ + ~& expected = ~A ~A~%" + fun arg z real-sign imag-sign) + nil)))) + +;; Return the signs of the real and imaginary parts of z. +(defun get-signs (z) + (values (float-sign (realpart z)) + (float-sign (imagpart z)))) + +;; Carefully compute 1-z. For z = x + i*y, we want 1-x - i*y, which +;; only really matters when y is a signed zero. +(defun 1-z (z) + (if (complexp z) + (complex (- 1 (realpart z)) (- (imagpart z))) + (- 1 z))) + +;; Carefully compute 1+z. For z = x + i*y, we want 1+x + i*y, which +;; only really matters when y is a signed zero. +(defun 1+z (z) + (if (complexp z) + (complex (+ 1 (realpart z)) (imagpart z)) + (+ 1 z))) + +;; Carefully compute i*z = i*(x+i*y) = -y + i*x. +(defun i*z (z) + (if (complexp z) + (complex (- (imagpart z)) (realpart z)) + (complex 0 z))) + +;; asin(x) = -i*log(i*x + sqrt(1-x^2)) +(defun asin-def (z) + (- (i*z (log (+ (i*z z) + (sqrt (1-z (* z z)))))))) + +;; asin branch cut is the real axis |x| > 1. For x < -1, it is +;; continuous with quadrant II; for x > 1, continuous with quadrant +;; IV. +;; +(define-test branch-cut.asin + (:tag :asin :branch-cuts) + ;; Test for x < -1, which is continuous with Quadrant II. Compute + ;; the value at #c(-2d0 1d-10) and check that components of + ;; asin(-2+0.0*i) have the same signs as the reference value. + (multiple-value-bind (tr ti) + (get-signs (asin-def #c(-2d0 1d-20))) + (assert-true (check-signs #'asin -2d0 tr ti)) + (assert-true (check-signs #'asin -2w0 tr ti)) + (assert-true (check-signs #'asin #c(-2d0 0) tr ti)) + (assert-true (check-signs #'asin #c(-2w0 0) tr ti))) + ;; Test the other side of the branch cut for x < -1. + (multiple-value-bind (tr ti) + (get-signs (asin-def #c(-2d0 -1d-20))) + (assert-true (check-signs #'asin #c(-2d0 -0d0) tr ti)) + (assert-true (check-signs #'asin #c(-2w0 -0w0) tr ti))) + + ;; 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 (asin-def #c(2d0 1d-20))) + (assert-true (check-signs #'asin #c(2d0 0) tr ti)) + (assert-true (check-signs #'asin #c(2w0 0) tr ti))) + ;; Test the other side of the branch cut for x > 1. + (multiple-value-bind (tr ti) + (get-signs (asin-def #c(2d0 -1d-20))) + (assert-true (check-signs #'asin 2d0 tr ti)) + (assert-true (check-signs #'asin 2w0 tr ti)) + (assert-true (check-signs #'asin #c(2d0 -0d0) tr ti)) + (assert-true (check-signs #'asin #c(2w0 -0w0) tr ti)))) + +;; acos(z) = pi/2 - asin(z). +;; +;; The branch cut is the real axis for |x| > 1. For x < -1, it is +;; continous with Quadrant II; for x > 1, Quadrant IV. +(defun acos-def (z) + (if (typep z 'kernel:double-double-float) + (- (/ kernel:dd-pi 2) + (asin-def z)) + (- (/ pi 2) + (asin-def z)))) + +(define-test branch-cut.acos + (:tag :acos :branch-cuts) + ;; Test for x < -1, which is continuous with Quadrant II. Compute + ;; the value at #c(-2d0 1d-10) and check that components of + ;; acos(-2+0.0*i) have the same signs as the reference value. + (multiple-value-bind (tr ti) + (get-signs (acos-def #c(-2d0 1d-20))) + (assert-true (check-signs #'acos -2d0 tr ti)) + (assert-true (check-signs #'acos -2w0 tr ti)) + (assert-true (check-signs #'acos #c(-2d0 0) tr ti)) + (assert-true (check-signs #'acos #c(-2w0 0) tr ti))) + ;; Test the other side of the branch cut for x < -1. + (multiple-value-bind (tr ti) + (get-signs (acos-def #c(-2d0 -1d-20))) + (assert-true (check-signs #'acos #c(-2d0 -0d0) tr ti)) + (assert-true (check-signs #'acos #c(-2w0 -0w0) tr ti))) + + ;; 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 (acos-def #c(2d0 1d-20))) + (assert-true (check-signs #'acos #c(2d0 0) tr ti)) + (assert-true (check-signs #'acos #c(2w0 0) tr ti))) + ;; Test the other side of the branch cut for x > 1. + (multiple-value-bind (tr ti) + (get-signs (acos-def #c(2d0 -1d-20))) + (assert-true (check-signs #'acos 2d0 tr ti)) + (assert-true (check-signs #'acos 2w0 tr ti)) + (assert-true (check-signs #'acos #c(2d0 -0d0) tr ti)) + (assert-true (check-signs #'acos #c(2w0 -0w0) tr ti)))) + +;; atan(z) = (log(1+i*z) - log(1-i*z))/(2*i) +;; = -i/2*(log(1+i*z) - log(1-i*z)) +;; +;; The branch cut is the imaginary axis, |y| > 1. For y < -1, atan is +;; continuous with Quadrant IV; for y > 1, Quadrant II. +(defun atan-def (z) + (let* ((iz (i*z z)) + (w (- (log (1+z iz)) + (log (1-z iz))))) + (* -1/2 (i*z w)))) + +(define-test branch-cut.atan + (:tag :atan :branch-cuts) + ;; Test for y < -1, which is continuous with Quadrant IV. Use the + ;; value at #c(1d-20 -2d0) as the reference. + (multiple-value-bind (tr ti) + (get-signs (atan-def #c(1d-20 -2d0))) + (assert-true (check-signs #'atan #c(0d0 -2d0) tr ti)) + (assert-true (check-signs #'atan #c(0w0 -2w0) tr ti))) + ;; Test the other side of the branch cut for x < -1. + (multiple-value-bind (tr ti) + (get-signs (atan-def #c(-1d-20 -2d0))) + (assert-true (check-signs #'atan #c(-0d0 -2d0) tr ti)) + (assert-true (check-signs #'atan #c(-0w0 -2w0) tr ti))) + + ;; Test for y > 1, which is continuous with Quadrant II, using the + ;; value at #c(-1d-20 +2d0) as the reference + (multiple-value-bind (tr ti) + (get-signs (atan-def #c(-1d-20 2d0))) + (assert-true (check-signs #'atan #c(-0d0 2d0) tr ti)) + (assert-true (check-signs #'atan #c(-0w0 2w0) tr ti))) + ;; Test the other side of the branch cut for x > 1. + (multiple-value-bind (tr ti) + (get-signs (atan-def #c(1d-20 2d0))) + (assert-true (check-signs #'atan #c(0d0 2d0) tr ti)) + (assert-true (check-signs #'atan #c(0d0 2w0) tr ti)))) ----------------------------------------------------------------------- Summary of changes: src/tests/trig.lisp | 197 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 197 insertions(+) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-09-5-g2cf92cd
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 2cf92cd01a7f68639b9fc970a69547c6427dfbc4 (commit) from 0f3e2f6a96c03efb6ccbb40b6bb7d517055fb325 (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 2cf92cd01a7f68639b9fc970a69547c6427dfbc4 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Sep 21 10:44:37 2013 -0700 Update for new documentation. diff --git a/src/i18n/locale/cmucl.pot b/src/i18n/locale/cmucl.pot index 397fa4e..896d902 100644 --- a/src/i18n/locale/cmucl.pot +++ b/src/i18n/locale/cmucl.pot @@ -17623,6 +17623,13 @@ msgid "(during macroexpansion)~%~A" msgstr "" #: src/compiler/main.lisp +msgid "" +"If non-Nil, use git to derive the file-comment. This info includes\n" +" the sha1 hash, the time and the author of the change. Otherwise,\n" +" just use the supplied file-comment." +msgstr "" + +#: src/compiler/main.lisp msgid "Bad FILE-COMMENT form: ~S." msgstr "" ----------------------------------------------------------------------- Summary of changes: src/i18n/locale/cmucl.pot | 7 +++++++ 1 file changed, 7 insertions(+) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-2-g58924e7
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 58924e7138257f318397b397bb563967fb00c540 (commit) from 00d977a1b07c525948d1fa0e33caefe1536cdec3 (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 58924e7138257f318397b397bb563967fb00c540 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Aug 8 23:33:44 2014 -0700 Remove Config.FreeBSD* and Config.NetBSD*. These were replaced by Config.x86_freebsd and Config.x86_netbsd long ago. diff --git a/src/lisp/Config.FreeBSD b/src/lisp/Config.FreeBSD deleted file mode 100644 index f76630b..0000000 --- a/src/lisp/Config.FreeBSD +++ /dev/null @@ -1,18 +0,0 @@ -PATH1 = ../../src/lisp -vpath %.h $(PATH1) -vpath %.c $(PATH1) -vpath %.S $(PATH1) -CPPFLAGS = -I. -I$(PATH1) -I- -CC = gcc -LD = ld -CPP = cpp -CFLAGS = -Wstrict-prototypes -Wall -O2 -g -DWANT_CGC -m486 -ASFLAGS = -g -DWANT_CGC -NM = $(PATH1)/linux-nm -UNDEFSYMPATTERN = -Xlinker -u -Xlinker & -ASSEM_SRC = x86-assem.S -ARCH_SRC = x86-arch.c -OS_SRC = FreeBSD-os.c os-common.c undefineds.c -OS_LINK_FLAGS = -static -OS_LIBS = -GC_SRC = cgc.c diff --git a/src/lisp/Config.FreeBSD_gencgc b/src/lisp/Config.FreeBSD_gencgc deleted file mode 100644 index 46c36e5..0000000 --- a/src/lisp/Config.FreeBSD_gencgc +++ /dev/null @@ -1,55 +0,0 @@ -# -*- Mode: makefile -*- -PATH1 = ../../src/lisp -vpath %.h $(PATH1) -vpath %.c $(PATH1) -vpath %.S $(PATH1) - -CC = gcc -LD = ld -CPP = cpp - -# Enable support for :linkage-table feature. -ifdef FEATURE_LINKAGE_TABLE -LINKAGE = -DLINKAGE_TABLE -endif - -# Enable support for generational GC -ifdef FEATURE_GENCGC -GENCGC = -DGENCGC -GC_SRC = gencgc.c -endif - -# Enable support for SSE2. If FEATURE_X87 is set, we want SSE2 -# support in the C code too so that the same binary is built in both -# cases. If neither is set, then we don't want any SSE2 support at -# all. -ifdef FEATURE_X87 -SSE2 = -DFEATURE_SSE2 -else -ifdef FEATURE_SSE2 -SSE2 = -DFEATURE_SSE2 -endif -endif - -RUNTIME = -Di386 $(GENCGC) $(LINKAGE) $(SSE2) - -ifneq (,$(filter 2% 3%, $(shell $(CC) -dumpversion))) -CPPFLAGS = -I. -I$(PATH1) -I- -else -CPPFLAGS = -iquote . -iquote $(PATH1) -endif -CPPFLAGS += $(RUNTIME) - -CFLAGS = -Wstrict-prototypes -Wall -O2 -g -ASFLAGS = -g -NM = nm -gp -UNDEFSYMPATTERN = -Xlinker -u -Xlinker & -ASSEM_SRC = x86-assem.S -ARCH_SRC = x86-arch.c -OS_SRC = FreeBSD-os.c os-common.c elf.c e_rem_pio2.c k_rem_pio2.c undefineds.c -OS_LINK_FLAGS = -dynamic -export-dynamic -OS_LIBS = -lutil - -# This has aliasing problems, so turn off aliasing. -e_rem_pio2.o : e_rem_pio2.c - $(CC) -c -fno-strict-aliasing -ffloat-store $(CFLAGS) $< diff --git a/src/lisp/Config.NetBSD b/src/lisp/Config.NetBSD deleted file mode 100644 index 1cbffa7..0000000 --- a/src/lisp/Config.NetBSD +++ /dev/null @@ -1,18 +0,0 @@ -PATH1 = ../../src/lisp -vpath %.h $(PATH1) -vpath %.c $(PATH1) -vpath %.S $(PATH1) -CPPFLAGS = -I. -I$(PATH1) -I- -CC = gcc -LD = ld -CPP = cpp -CFLAGS = -Wstrict-prototypes -Wall -O2 -g -DWANT_CGC -Di386 -ASFLAGS = -g -DWANT_CGC -Di386 -NM = nm -gp -UNDEFSYMPATTERN = -Xlinker -u -Xlinker & -ASSEM_SRC = x86-assem.S -ARCH_SRC = x86-arch.c -OS_SRC = NetBSD-os.c os-common.c undefineds.c -OS_LINK_FLAGS = -static -OS_LIBS = -GC_SRC = cgc.c diff --git a/src/lisp/Config.NetBSD_gencgc b/src/lisp/Config.NetBSD_gencgc deleted file mode 100644 index efaa1d4..0000000 --- a/src/lisp/Config.NetBSD_gencgc +++ /dev/null @@ -1,46 +0,0 @@ -PATH1 = ../../src/lisp -ARCH = $(shell uname -m) -vpath %.h $(PATH1) -vpath %.c $(PATH1) -vpath %.S $(PATH1) -CPPFLAGS = -iquote . -iquote $(PATH1) -CC = gcc -pipe -LD = ld -CPP = cpp -CFLAGS = -Wstrict-prototypes -Wall -O2 -g -ASFLAGS = -g -x assembler-with-cpp -NM = nm -gp -UNDEFSYMPATTERN = -Xlinker -u -Xlinker & - -ifeq ($(ARCH), i386) - ASSEM_SRC = x86-assem.S - ARCH_SRC = x86-arch.c - ASFLAGS += -Di386 -DGENCGC -DLINKAGE_TABLE - CFLAGS += -Di386 -DGENCGC -DLINKAGE_TABLE - GC_SRC = gencgc.c -endif - -ifeq ($(ARCH), sparc64) - ASSEM_SRC = sparc-assem.S - ARCH_SRC = sparc-arch.c - ASFLAGS += -Dsparc64 -DLINKAGE_TABLE - CFLAGS += -Dsparc64 -DLINKAGE_TABLE -endif - -ifeq ($(ARCH), sparc) - ASSEM_SRC = sparc-assem.S - ARCH_SRC = sparc-arch.c - ASFLAGS += -Dsparc - CFLAGS += -Dsparc -endif - -ifeq ($(ARCH), powerpc) - ASSEM_SRC = ppc-assem.S - ARCH_SRC = ppc-arch.c - ASFLAGS += -Dppc - CFLAGS += -Dppc -endif - -OS_SRC = NetBSD-os.c os-common.c elf.c e_rem_pio2.c k_rem_pio2.c -OS_LINK_FLAGS = -dynamic -export-dynamic -OS_LIBS = ----------------------------------------------------------------------- Summary of changes: src/lisp/Config.FreeBSD | 18 ------------- src/lisp/Config.FreeBSD_gencgc | 55 ---------------------------------------- src/lisp/Config.NetBSD | 18 ------------- src/lisp/Config.NetBSD_gencgc | 46 --------------------------------- 4 files changed, 137 deletions(-) delete mode 100644 src/lisp/Config.FreeBSD delete mode 100644 src/lisp/Config.FreeBSD_gencgc delete mode 100644 src/lisp/Config.NetBSD delete mode 100644 src/lisp/Config.NetBSD_gencgc hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch rtoy-lisp-trig updated. snapshot-2013-12-a-7-g36403a8
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, rtoy-lisp-trig has been updated via 36403a831c9a979d5a16d1249000b85d4c8c6bfc (commit) from 7069ef9dfa3770d7b3e00aac297ae7dcb22b8c20 (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 36403a831c9a979d5a16d1249000b85d4c8c6bfc Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Dec 14 23:05:34 2013 -0800 Correct bug in tan. * code/irrat.lisp * Fix typo in kernel-tan. * tests/trig.lisp * Add test case. diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp index 6a025a1..4dc7773 100644 --- a/src/code/irrat.lisp +++ b/src/code/irrat.lisp @@ -489,11 +489,11 @@ r)))))))) (when (= iy 1) (return-from kernel-tan w)) - ;; + ;; Compute 1/w=1/(x+r) carefully (let ((a 0d0) (tt 0d0)) (setf z (kernel:make-double-float (kernel:double-float-high-bits w) 0)) - (setf v (- r (- r x))) ; z + v = r + x + (setf v (- r (- z x))) ; z + v = r + x (setf a (/ -1 w)) (setf tt (kernel:make-double-float (kernel:double-float-high-bits a) 0)) (setf s (+ 1 (* tt z))) diff --git a/src/tests/trig.lisp b/src/tests/trig.lisp index 9555b11..57a5355 100644 --- a/src/tests/trig.lisp +++ b/src/tests/trig.lisp @@ -127,6 +127,12 @@ (tan (float 11/16 1d0)) 8.21141801589894121911423965374711700875371645309d-1) +(rt:deftest tan.6 + ;; This was found by maxima's testsuite. A bug in kernel-tan when + ;; returning cot(x). + (tan 1.107148717794091d0) + 2.0000000000000028604455051971538975562294147582d0) + (rt:deftest tan.red.0 ;; Test for argument reduction with n even (tan (* 7/4 pi)) ----------------------------------------------------------------------- Summary of changes: src/code/irrat.lisp | 4 ++-- src/tests/trig.lisp | 6 ++++++ 2 files changed, 8 insertions(+), 2 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-36-g33a91f6
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 33a91f6afe5d68ea41a649db6e40d93d5896fb45 (commit) via b6373368fc738f43a0662545956a444da394425f (commit) from 7211ebf377b1b4025ab8424d6f31109fa7489479 (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 33a91f6afe5d68ea41a649db6e40d93d5896fb45 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Aug 1 00:01:38 2014 -0700 Add tests for CLEAR-OUTPUT. diff --git a/tests/fd-streams.lisp b/tests/fd-streams.lisp new file mode 100644 index 0000000..263ce1f --- /dev/null +++ b/tests/fd-streams.lisp @@ -0,0 +1,36 @@ +;;;; -*- Lisp -*- + +(defpackage fd-streams-tests + (:use #:common-lisp #:lisp-unit)) + +(in-package #:fd-streams-tests) + +(defparameter *test-path* + (merge-pathnames (make-pathname :name :unspecific :type :unspecific + :version :unspecific) + *load-truename*) + "Directory for temporary test files.") + +(defparameter *test-file* + (merge-pathnames #p"test-data.tmp" *test-path*)) + +(eval-when (:load-toplevel) + (ensure-directories-exist *test-path* :verbose t)) + +(define-test clear-output-1 + (:tag :trac) + (assert-eql + 0 + (unwind-protect + (let ((s (open *test-file* + :direction :output + :if-exists :supersede))) + ;; Write a character to the (fully buffered) output + ;; stream. Clear the output and close the file. Nothing + ;; should have been written to the file. + (write-char #\a s) + (clear-output s) + (close s) + (setf s (open *test-file*)) + (file-length s)) + (delete-file *test-file*)))) diff --git a/tests/gray-streams.lisp b/tests/gray-streams.lisp new file mode 100644 index 0000000..6308882 --- /dev/null +++ b/tests/gray-streams.lisp @@ -0,0 +1,39 @@ +;;;; -*- Lisp -*- + +(require :gray-streams) + +(defpackage gray-streams-tests + (:use #:common-lisp #:lisp-unit)) + +(in-package #:gray-streams-tests) + +(defparameter *test-path* + (merge-pathnames (make-pathname :name :unspecific :type :unspecific + :version :unspecific) + *load-truename*) + "Directory for temporary test files.") + +(defparameter *test-file* + (merge-pathnames #p"test-data.tmp" *test-path*)) + +(eval-when (:load-toplevel) + (ensure-directories-exist *test-path* :verbose t)) + +(define-test clear-output-1 + (:tag :trac) + ;; Create a Gray stream and make sure that clear-output works. + (assert-eql + 0 + (unwind-protect + (let ((s (open *test-file* + :direction :output + :if-exists :supersede + :class 'lisp::character-output-stream))) + (write-char #\a s) + (clear-output s) + (close s) + (setf s (open *test-file*)) + (file-length s)) + (delete-file *test-file*)))) + + \ No newline at end of file commit b6373368fc738f43a0662545956a444da394425f Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Jul 31 23:52:20 2014 -0700 Implement CLEAR-OUTPUT for FD-STREAM's. This appears to be a very old bug where clear-output didn't clear the output for fd-streams. diff --git a/src/code/fd-stream.lisp b/src/code/fd-stream.lisp index 80e2941..470dfe2 100644 --- a/src/code/fd-stream.lisp +++ b/src/code/fd-stream.lisp @@ -1682,7 +1682,9 @@ nil (values (truncate size (fd-stream-element-size stream)))))) (:file-position - (fd-stream-file-position stream arg1)))) + (fd-stream-file-position stream arg1)) + (:clear-output + (setf (fd-stream-obuf-tail stream) 0)))) ;;; FD-STREAM-FILE-POSITION -- internal. ----------------------------------------------------------------------- Summary of changes: src/code/fd-stream.lisp | 4 +++- tests/fd-streams.lisp | 36 ++++++++++++++++++++++++++++++++++++ tests/gray-streams.lisp | 39 +++++++++++++++++++++++++++++++++++++++ 3 files changed, 78 insertions(+), 1 deletion(-) create mode 100644 tests/fd-streams.lisp create mode 100644 tests/gray-streams.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-07-4-g0d3125c
by cshapiro＠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 0d3125cf5eda435f8dca8f490a01e508e66c69cb (commit) from 5e340d321c4f4b4f0a2ef948293892ffe47c9308 (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 0d3125cf5eda435f8dca8f490a01e508e66c69cb Author: Carl Shapiro <cshapiro(a)common-lisp.net> Date: Thu Aug 1 21:59:57 2013 -0700 Remove EAX dependency in length/list and retire fast-length/list. diff --git a/src/compiler/x86/subprim.lisp b/src/compiler/x86/subprim.lisp index c130ed7..f5e5caf 100644 --- a/src/compiler/x86/subprim.lisp +++ b/src/compiler/x86/subprim.lisp @@ -28,66 +28,74 @@ (:translate length) (:args (object :scs (descriptor-reg control-stack) :target ptr)) (:arg-types list) - (:temporary (:sc unsigned-reg :offset eax-offset) eax) (:temporary (:sc descriptor-reg :from (:argument 0)) ptr) + (:temporary (:scs (unsigned-reg)) temp) (:results (count :scs (any-reg))) (:result-types positive-fixnum) (:policy :fast-safe) (:vop-var vop) (:save-p :compute-only) - (:generator 40 - ;; Move OBJECT into a temp we can bash on, and initialize the count. - (move ptr object) - (inst xor count count) - ;; If we are starting with NIL, then it's real easy. - (inst cmp ptr nil-value) - (inst jmp :e done) - ;; Note: we don't have to test to see if the original argument is a - ;; list, because this is a :fast-safe vop. - LOOP - ;; Get the CDR and boost the count. - (loadw ptr ptr cons-cdr-slot list-pointer-type) - (inst add count (fixnumize 1)) - ;; If we hit NIL, then we are done. - (inst cmp ptr nil-value) - (inst jmp :e done) - ;; Otherwise, check to see if we hit the end of a dotted list. If - ;; not, loop back for more. - (move eax ptr) - (inst and al-tn lowtag-mask) - (inst cmp al-tn list-pointer-type) - (inst jmp :e loop) - ;; It's dotted all right. Flame out. - (error-call vop object-not-list-error ptr) - ;; We be done. - DONE)) - -(define-vop (fast-length/list) + (:generator 50 + (let ((done (gen-label)) + (loop (gen-label)) + (not-list (generate-error-code vop object-not-list-error object))) + (move ptr object) + (inst xor count count) + + (inst cmp ptr nil-value) + (inst jmp :e done) + + (emit-label loop) + + (loadw ptr ptr cons-cdr-slot list-pointer-type) + (inst add count (fixnumize 1)) + + (move temp ptr) + (inst and temp lowtag-mask) + (inst cmp temp list-pointer-type) + (inst jmp :ne not-list) + + (inst cmp ptr nil-value) + (inst jmp :ne loop) + + (emit-label done)))) + +#+ignore +(define-vop (length/list) (:translate length) (:args (object :scs (descriptor-reg control-stack) :target ptr)) (:arg-types list) (:temporary (:sc descriptor-reg :from (:argument 0)) ptr) + (:temporary (:scs (unsigned-reg)) temp) (:results (count :scs (any-reg))) (:result-types positive-fixnum) - (:policy :fast) + (:policy :fast-safe) (:vop-var vop) (:save-p :compute-only) - (:generator 30 - ;; Get a copy of OBJECT in a register we can bash on, and - ;; initialize COUNT. - (move ptr object) - (inst xor count count) - ;; If we are starting with NIL, we be done. - (inst cmp ptr nil-value) - (inst jmp :e done) - ;; Indirect the next cons cell, and boost the count. - LOOP - (loadw ptr ptr cons-cdr-slot list-pointer-type) - (inst add count (fixnumize 1)) - ;; If we arn't done, go back for more. - (inst cmp ptr nil-value) - (inst jmp :ne loop) - DONE)) + (:generator 50 + (let ((done (gen-label)) + (loop (gen-label)) + (not-list (generate-error-code vop object-not-list-error object))) + (move ptr object) + (inst xor count count) + + (inst cmp ptr nil-value) + (inst jmp :e done) + + (emit-label loop) + + (loadw ptr ptr cons-cdr-slot list-pointer-type) + (inst add count (fixnumize 1)) + + (move temp ptr) + (inst and temp lowtag-mask) + (inst cmp temp list-pointer-type) + (inst jmp :ne not-list) + + (inst cmp ptr nil-value) + (inst jmp :ne loop) + + (emit-label done)))) (define-static-function length (object) :translate length) ----------------------------------------------------------------------- Summary of changes: src/compiler/x86/subprim.lisp | 100 ++++++++++++++++++++++------------------- 1 file changed, 54 insertions(+), 46 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-25-g2aa8444
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 2aa84447c6a2f5cee471d150a354226d0842fb69 (commit) from 6ae74240bfa83dafcc6251b8a014a080d757df33 (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 2aa84447c6a2f5cee471d150a354226d0842fb69 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Aug 22 20:33:20 2014 -0700 Make log signal errors using fdlibm_setexception. * src/lisp/e_log.c * Use fdlibm_setexception * tests/trig.lisp: * Add tests for log diff --git a/src/lisp/e_log.c b/src/lisp/e_log.c index 032f794..01022ee 100644 --- a/src/lisp/e_log.c +++ b/src/lisp/e_log.c @@ -100,9 +100,16 @@ static double zero = 0.0; k=0; if (hx < 0x00100000) { /* x < 2**-1022 */ - if (((hx&0x7fffffff)|lx)==0) - return -two54/zero; /* log(+-0)=-inf */ - if (hx<0) return (x-x)/zero; /* log(-#) = NaN */ + if (((hx&0x7fffffff)|lx)==0) { + /* log(+-0)=-inf */ + return fdlibm_setexception(-1.0, FDLIBM_DIVIDE_BY_ZERO); + } + + if (hx<0) { + /* log(-#) = NaN */ + return fdlibm_setexception(x, FDLIBM_INVALID); + } + k -= 54; x *= two54; /* subnormal number, scale up x */ ux.d = x; hx = ux.i[HIWORD]; /* high word of x */ diff --git a/tests/trig.lisp b/tests/trig.lisp index 5001375..b4163b7 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -911,4 +911,24 @@ (kernel:%exp ext:double-float-positive-infinity)) (kernel::with-float-traps-masked (:overflow) (assert-equal ext:double-float-positive-infinity - (kernel:%exp 710d0)))) \ No newline at end of file + (kernel:%exp 710d0)))) + +(define-test log.exception + (:tag :fdlibm) + (assert-error 'division-by-zero + (kernel:%log 0d0)) + (assert-error 'division-by-zero + (kernel:%log -0d0)) + (assert-error 'floating-point-invalid-operation + (kernel:%log -1d0)) + (assert-error 'floating-point-invalid-operation + (kernel:%log *snan*)) + (assert-true (ext:float-nan-p (kernel:%log *qnan*))) + (kernel::with-float-traps-masked (:divide-by-zero) + (assert-equal ext:double-float-negative-infinity + (kernel:%log 0d0)) + (assert-equal ext:double-float-negative-infinity + (kernel:%log -0d0))) + (kernel::with-float-traps-masked (:invalid) + (assert-true (ext:float-nan-p (kernel:%log -1d0))) + (assert-true (ext:float-nan-p (kernel:%log *snan*))))) ----------------------------------------------------------------------- Summary of changes: src/lisp/e_log.c | 13 ++++++++++--- tests/trig.lisp | 22 +++++++++++++++++++++- 2 files changed, 31 insertions(+), 4 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-76-ge5bc2c5
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 e5bc2c586e644fc7fe7a1e48d495600c8d27a19f (commit) from 6b52c890ac41ba5deedd8b6ebaf33d4955fcfbd9 (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 e5bc2c586e644fc7fe7a1e48d495600c8d27a19f Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Aug 2 19:28:54 2014 -0700 Use correct flags to generate sse2 instructions in the C code and update to include the rest of the fdlibm routines. With this change, all of the C code should now use sse2 instructions as needed, which means no more -ffloat-store, and the couple of test cases like tan.exceptions no longer fail because we signal execptions as expected. diff --git a/src/lisp/Config.x86_linux b/src/lisp/Config.x86_linux index 9c4cbc1..8c06bae 100644 --- a/src/lisp/Config.x86_linux +++ b/src/lisp/Config.x86_linux @@ -1,11 +1,7 @@ # -*- Mode: makefile -*- include Config.x86_common -CPPFLAGS += -m32 -rdynamic -D__NO_CTYPE -D_GNU_SOURCE - -# 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 += -m32 -rdynamic -D__NO_CTYPE -D_GNU_SOURCE -march=pentium4 -mfpmath=sse -msse2 UNDEFSYMPATTERN = -Xlinker -u -Xlinker & ASSEM_SRC += linux-stubs.S @@ -16,7 +12,12 @@ OS_LINK_FLAGS += -Wl,-z,noexecstack EXEC_FINAL_OBJ = exec-final.o -OS_SRC += k_sin.c k_cos.c k_tan.c s_sin.c s_cos.c s_tan.c sincos.c s_log1p.c s_expm1.c e_pow.c +OS_SRC += k_sin.c k_cos.c k_tan.c s_sin.c s_cos.c s_tan.c sincos.c \ + s_log1p.c s_expm1.c e_pow.c e_exp.c e_log.c \ + e_acos.c e_asin.c s_atan.c \ + e_cosh.c e_sinh.c s_tanh.c \ + e_acosh.c s_asinh.c e_atanh.c \ + e_atan2.c k_sin.o : k_sin.c $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< @@ -42,4 +43,30 @@ s_exmp1.o : s_expm1.c e_pow.o : e_pow.c $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_exp.o : e_exp.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_log.o : e_log.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< + +e_acos.o : e_acos.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_asin.o : e_asin.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +s_atan.o : s_atan.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_cosh.o : e_cosh.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_sinh.o : e_sinh.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +s_tanh.o : s_tanh.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_acosh.o : e_acosh.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_asinh.o : s_asinh.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< +e_atanh.o : e_atanh.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< + +e_atan2.o : e_atan2.c + $(CC) -c $(CFLAGS) $(CPPFLAGS) $(CC_REM_PIO2) $< ----------------------------------------------------------------------- Summary of changes: src/lisp/Config.x86_linux | 39 +++++++++++++++++++++++++++++++++------ 1 file changed, 33 insertions(+), 6 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-12-gc5f98ef
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 c5f98ef90641ec6912e35730b215eaf751841539 (commit) from 80df05a11cc138d18d989a5f8f690627026e3069 (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 c5f98ef90641ec6912e35730b215eaf751841539 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 17 12:21:27 2014 -0700 Add -ffp-contract=off to make sure no fused-multiply instructions are used. This can have unexpected results, especially in the fdlibm routines if a fused-multiply is used the wrong place. diff --git a/src/lisp/Config.ppc_darwin b/src/lisp/Config.ppc_darwin index eab5efa..4289510 100644 --- a/src/lisp/Config.ppc_darwin +++ b/src/lisp/Config.ppc_darwin @@ -34,7 +34,7 @@ ifdef FEATURE_UNICODE UNICODE = -DUNICODE endif -CFLAGS = $(OSX_VERSION) -g -O3 -DDARWIN -Dppc $(LINKAGE) $(GENCGC) $(UNICODE) +CFLAGS = $(OSX_VERSION) -g -O3 -ffp-contract=off -DDARWIN -Dppc $(LINKAGE) $(GENCGC) $(UNICODE) ASFLAGS = $(OSX_VERSION) -traditional -g -O3 -DDARWIN -Dppc $(LINKAGE) $(GENCGC) UNDEFSYMPATTERN = -Xlinker -u -Xlinker & ----------------------------------------------------------------------- Summary of changes: src/lisp/Config.ppc_darwin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-05-11-g19d7d37
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 19d7d37b313c6c252653a6f39f7fbc9c344469f3 (commit) via 55b1eeed5ffe0215cf55149897638ab43c20a003 (commit) from c0a0fc0b9d458cae139b873dc496764d8e8e0113 (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 19d7d37b313c6c252653a6f39f7fbc9c344469f3 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Jun 16 21:15:46 2014 -0700 Update for snapshot. diff --git a/src/general-info/release-20f.txt b/src/general-info/release-20f.txt index 900898a..1947297 100644 --- a/src/general-info/release-20f.txt +++ b/src/general-info/release-20f.txt @@ -78,6 +78,7 @@ 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 * Trac Tickets: * Ticket #90 fixed. @@ -85,6 +86,7 @@ New in this release: * Ticket #87 fixed. * Ticket #94 fixed. * Ticket #93 fixed. + * Ticket #98 fixed. * Other changes: commit 55b1eeed5ffe0215cf55149897638ab43c20a003 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Jun 16 21:15:32 2014 -0700 Regenerate. diff --git a/src/i18n/locale/cmucl.pot b/src/i18n/locale/cmucl.pot index fdbb637..91b8845 100644 --- a/src/i18n/locale/cmucl.pot +++ b/src/i18n/locale/cmucl.pot @@ -14662,7 +14662,7 @@ msgid "T and OTHERWISE may not be used as key designators for ~A" msgstr "" #: src/code/macros.lisp -msgid "Bad style to use T or OTHERWISE in ECASE or CCASE" +msgid "Bad style to use ~S in ~S" msgstr "" #: src/code/macros.lisp diff --git a/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po b/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po index 796760c..c4e0087 100644 --- a/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po +++ b/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po @@ -20810,8 +20810,9 @@ msgstr "" "~Away" #: src/code/macros.lisp -msgid "Bad style to use T or OTHERWISE in ECASE or CCASE" -msgstr "Adbay tylesay otay useway T orway OTHERWISE inway ECASE orway CCASE" +#, fuzzy +msgid "Bad style to use ~S in ~S" +msgstr "Onay otslay amednay ~S inway ~S" #: src/code/macros.lisp msgid "Supply a new value for ~S." @@ -30707,3 +30708,6 @@ msgstr "" "Ybay efaultday, illegalway inputsway andway illegalway outputsway areway " "eplacedray ybay ethay\n" "Unicodeway eplacementray aracterchay." + +#~ msgid "Bad style to use T or OTHERWISE in ECASE or CCASE" +#~ msgstr "Adbay tylesay otay useway T orway OTHERWISE inway ECASE orway CCASE" diff --git a/src/i18n/locale/ko/LC_MESSAGES/cmucl.po b/src/i18n/locale/ko/LC_MESSAGES/cmucl.po index d705265..f30c434 100644 --- a/src/i18n/locale/ko/LC_MESSAGES/cmucl.po +++ b/src/i18n/locale/ko/LC_MESSAGES/cmucl.po @@ -14690,7 +14690,7 @@ msgid "T and OTHERWISE may not be used as key designators for ~A" msgstr "" #: src/code/macros.lisp -msgid "Bad style to use T or OTHERWISE in ECASE or CCASE" +msgid "Bad style to use ~S in ~S" msgstr "" #: src/code/macros.lisp ----------------------------------------------------------------------- Summary of changes: src/general-info/release-20f.txt | 2 ++ src/i18n/locale/cmucl.pot | 2 +- src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po | 8 ++++++-- src/i18n/locale/ko/LC_MESSAGES/cmucl.po | 2 +- 4 files changed, 10 insertions(+), 4 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0