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

[git] CMU Common Lisp branch master updated. snapshot-2014-03-5-g337cf55
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 337cf55d9e648a78354e82c74d79618f18f5840f (commit) from 8e693e5bbc23fbfad188d2d6fd8b76be7fcef031 (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 337cf55d9e648a78354e82c74d79618f18f5840f Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed Mar 12 20:54:09 2014 -0700 Remove these test files since they've been migrated to lisp-unit. diff --git a/src/i18n/tests/norm-test.lisp b/src/i18n/tests/norm-test.lisp deleted file mode 100644 index 11fdfdd..0000000 --- a/src/i18n/tests/norm-test.lisp +++ /dev/null @@ -1,177 +0,0 @@ -;; Simple test routine to read and parse the normalization test file -;; and run the individual tests mentioned therein. - -(in-package "CL-USER") -(defvar *normalization-test* "target:i18n/tests/NormalizationTest.txt") - -(defun parse-norm-line (line) - (declare (string line)) - (cond ((or (char= (aref line 0) #\@) - (char= (aref line 0) #\#)) - ;; Delete lines starting with # or @ - nil) - (t - ;; Split the line into columns. There are 5 columns. Column 6 is a comment. - (let* ((p1 (position #\; line)) - (p2 (position #\; line :start (1+ p1))) - (p3 (position #\; line :start (1+ p2))) - (p4 (position #\; line :start (1+ p3))) - (p5 (position #\; line :start (1+ p4)))) - (labels - ((convert (codes) - (let ((result nil)) - (map nil #'(lambda (x) - (multiple-value-bind (hi lo) - (lisp::surrogates x) - (push hi result) - (when lo (push lo result)))) - codes) - (coerce (nreverse result) 'simple-string))) - (read-values (string start end) - (with-input-from-string (s string :start start :end end) - (let ((*read-base* 16)) - (convert - (loop for x = (read s nil nil) while x collect x)))))) - (values (read-values line 0 p1) - (read-values line (1+ p1) p2) - (read-values line (1+ p2) p3) - (read-values line (1+ p3) p4) - (read-values line (1+ p4) p5))))))) - - -(defun run-nfd-test (&optional (file *normalization-test*)) - (format t "~&NFD test~%") - (with-open-file (testfile file :direction :input :external-format :iso8859-1) - (let ((total 0) - (failures 0)) - (loop for line = (read-line testfile nil nil) while line do - (multiple-value-bind (c1 c2 c3 c4 c5) - (parse-norm-line line) - (when c1 - (incf total) - (let ((test1 (lisp::string-to-nfd c1)) - (test2 (lisp::string-to-nfd c2)) - (test3 (lisp::string-to-nfd c3)) - (test4 (lisp::string-to-nfd c4)) - (test5 (lisp::string-to-nfd c5))) - (unless (and (string= c3 test1) - (string= c3 test2) - (string= c3 test3) - (string= c5 test4) - (string= c5 test5)) - (incf failures) - (format t "**FAILURE**~%") - (format t "line: ~A~%" line) - (format t "c3 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code c3)) - (format t "test1 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test1)) - (format t "test2 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test2)) - (format t "test3 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test3)) - (format t "c5 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code c5)) - (format t "test4 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test4)) - (format t "test5 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test5))))))) - (format t "~A failures from ~A tests (~A%)~%" failures total - (* 100.0 (/ failures total)))))) - -(defun run-nfkd-test (&optional (file *normalization-test*)) - (format t "~&NFKD test~%") - (with-open-file (testfile file :direction :input :external-format :utf-8) - (let ((total 0) - (failures 0)) - (loop for line = (read-line testfile nil nil) while line do - ;;(format t "line = ~S~%" line) - (multiple-value-bind (c1 c2 c3 c4 c5) - (parse-norm-line line) - (when c1 - (incf total) - (let ((test1 (lisp::string-to-nfkd c1)) - (test2 (lisp::string-to-nfkd c2)) - (test3 (lisp::string-to-nfkd c3)) - (test4 (lisp::string-to-nfkd c4)) - (test5 (lisp::string-to-nfkd c5))) - (unless (and (string= c5 test1) - (string= c5 test2) - (string= c5 test3) - (string= c5 test4) - (string= c5 test5)) - (incf failures) - (format t "**FAILURE**~%") - (format t "line: ~A~%" line) - (format t "c5 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code c5)) - (format t "test1 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test1)) - (format t "test2 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test2)) - (format t "test3 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test3)) - (format t "test4 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test4)) - (format t "test5 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test5))))))) - (format t "~A failures from ~A tests (~A%)~%" failures total - (* 100.0 (/ failures total)))))) - -(defun run-nfc-test (&optional (file *normalization-test*)) - (format t "~&NFC test~%") - (with-open-file (testfile file :direction :input :external-format :utf-8) - (let ((total 0) - (failures 0)) - (loop for line = (read-line testfile nil nil) while line do - (multiple-value-bind (c1 c2 c3 c4 c5) - (parse-norm-line line) - (when c1 - (incf total) - (let ((test1 (lisp::string-to-nfc c1)) - (test2 (lisp::string-to-nfc c2)) - (test3 (lisp::string-to-nfc c3)) - (test4 (lisp::string-to-nfc c4)) - (test5 (lisp::string-to-nfc c5))) - (unless (and (string= c2 test1) - (string= c2 test2) - (string= c2 test3) - (string= c4 test4) - (string= c4 test5)) - (incf failures) - (format t "**FAILURE**~%") - (format t "line: ~A~%" line) - (format t "c2 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code c2)) - (format t "test1 = ~{~4,'0X~^ ~} (~S -> ~S)~%" (map 'list #'char-code test1) c1 test1) - (format t "test2 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test2)) - (format t "test3 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test3)) - (format t "c4 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code c4)) - (format t "test4 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test4)) - (format t "test5 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test5))))))) - (format t "~A failures from ~A tests (~A%)~%" failures total - (* 100.0 (/ failures total)))))) - -(defun run-nfkc-test (&optional (file *normalization-test*)) - (format t "~&NFKC test~%") - (with-open-file (testfile file :direction :input :external-format :utf-8) - (let ((total 0) - (failures 0)) - (loop for line = (read-line testfile nil nil) while line do - (multiple-value-bind (c1 c2 c3 c4 c5) - (parse-norm-line line) - (when c1 - (incf total) - (let ((test1 (lisp::string-to-nfkc c1)) - (test2 (lisp::string-to-nfkc c2)) - (test3 (lisp::string-to-nfkc c3)) - (test4 (lisp::string-to-nfkc c4)) - (test5 (lisp::string-to-nfkc c5))) - (unless (and (string= c4 test1) - (string= c4 test2) - (string= c4 test3) - (string= c4 test4) - (string= c4 test5)) - (incf failures) - (format t "**FAILURE**~%") - (format t "line: ~A~%" line) - (format t "c4 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code c4)) - (format t "test1 = ~{~4,'0X~^ ~} (~S -> ~S)~%" (map 'list #'char-code test1) c1 test1) - (format t "test2 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test2)) - (format t "test3 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test3)) - (format t "test4 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test4)) - (format t "test5 = ~{~4,'0X~^ ~}~%" (map 'list #'char-code test5))))))) - (format t "~A failures from ~A tests (~A%)~%" failures total - (* 100.0 (/ failures total)))))) - -(defun run-normalization-tests (&optional (file *normalization-test*)) - (run-nfd-test file) - (run-nfkd-test file) - (run-nfc-test file) - (run-nfkc-test file)) diff --git a/src/i18n/tests/word-break-test.lisp b/src/i18n/tests/word-break-test.lisp deleted file mode 100644 index 899b5a2..0000000 --- a/src/i18n/tests/word-break-test.lisp +++ /dev/null @@ -1,94 +0,0 @@ -;; Simple test routine to read and parse the word-break test file and -;; run the individual tests mentioned therein. - -(in-package "CL-USER") -(defvar *word-break-test* "target:i18n/tests/WordBreakTest.txt") - - -(defun parse-word-break-line (line) - (let* ((eos (or (position #\# line) - (length line)))) - ;; See WordBreakTest.txt for the format of the file. Basically - ;; each test is on one line and consists of a marker and a - ;; codepoint. The marker indicates whether a break is allowed (a - ;; division sign for a break, a multiplication sign for no break). - ;; The test ends with a marker to indicate if a division is - ;; allowed at the end of the test. After this marker is a comment - ;; for the test. - (when (plusp eos) - ;; For each non-empty line, read the codepints into a string and - ;; the markers into a second array. The second array contains - ;; indices into the string where a break is allowed. - (let ((*read-base* 16) - (count 0) - (breaks (make-array 10 :fill-pointer 0)) - (string (make-array 10 :fill-pointer 0 :element-type 'character))) - (with-input-from-string (s line :end eos) - (flet ((handle-break (c) - (when (eql #\division_sign (char (string c) 0)) - (vector-push-extend count breaks)))) - (handle-break (read s)) - (incf count) - (loop - (let ((c (read s nil nil))) - (unless c - (return)) - ;; Handle codepoints outside the BMP carefully. - (if (> c #xffff) - (let ((s (lisp::codepoints-string (list c)))) - ;; Need to increment the count because of our - ;; UTF-16 encoding of strings. - (incf count) - (vector-push-extend (aref s 0) string) - (vector-push-extend (aref s 1) string)) - (vector-push-extend (code-char c) string)) - (let ((c (read s))) - (handle-break c)) - (incf count))))) - (values string breaks))))) - -(defun do-test (string breaks) - (let ((posn -1) - (count 0) - (string (coerce string 'simple-string))) - (loop - (let ((end (lisp::string-next-word-break string posn))) - (when (= end posn) - (return)) - (unless (= end (aref breaks count)) - (format t "Test failed!~%") - (format t " String = ~S~%" (map 'list #'char-name string)) - (format t " Breaks = ~S~%" breaks) - (format t " Expected ~S but got ~S for break #~D~%" (aref breaks count) end count) - (finish-output) - (return-from do-test nil)) - (setf posn end) - (incf count))) - t)) - - -(defun run-word-break-test (&optional (file *word-break-test*)) - (let ((count 0) - (failed 0)) - (format t "Run WordBreakTest~%") - (with-open-file (s file :direction :input :external-format :utf) - (loop for line = (read-line s nil nil) - while line - do - (progn - (multiple-value-bind (s b) - (parse-word-break-line line) - (when s - (incf count) - (incf failed (if (do-test s b) 0 1))))))) - (format t "~D out of ~D tests failed. (~,2F% success)~%" - failed count (* 100.0 (- 1 (/ failed count)))) - ;; Here is one additional test to see if we are properly handling - ;; surrogate pairs. The string is "A?B cd4", where ? is the - ;; codepoint U+1000B: "LINEAR B SYLLABLE B046 JE". This has word - ;; break property Aletter, so string-capitalize should not put a - ;; break there. The result should be "A?b Cd4". - (let ((s (map 'string #'code-char - '(97 #xd800 #xdc0b 66 32 99 100 52)))) - (assert (string= (string-capitalize s :unicode-word-break t) - (map 'string #'code-char '(65 55296 56331 98 32 67 100 52))))))) ----------------------------------------------------------------------- Summary of changes: src/i18n/tests/norm-test.lisp | 177 ----------------------------------- src/i18n/tests/word-break-test.lisp | 94 ------------------- 2 files changed, 271 deletions(-) delete mode 100644 src/i18n/tests/norm-test.lisp delete mode 100644 src/i18n/tests/word-break-test.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-19-gb9a6091
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 b9a6091a28a431b4f11300b350e77f57d8389b19 (commit) from 97730f377f75b7afdb5ab472df2a85aa7a7eb50a (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 b9a6091a28a431b4f11300b350e77f57d8389b19 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Aug 21 21:42:06 2014 -0700 Make log1p signal errors using fdlibm_setexception. * src/lisp/s_log1p.c: * Use fdlibm_setexception * tests/trig.lisp: * Add tests for log1p. diff --git a/src/lisp/s_log1p.c b/src/lisp/s_log1p.c index d8f2cad..ecbfbd4 100644 --- a/src/lisp/s_log1p.c +++ b/src/lisp/s_log1p.c @@ -114,8 +114,13 @@ static double zero = 0.0; k = 1; if (hx < 0x3FDA827A) { /* x < 0.41422 */ if(ax>=0x3ff00000) { /* x <= -1.0 */ - if(x==-1.0) return -two54/zero; /* log1p(-1)=+inf */ - else return (x-x)/(x-x); /* log1p(x<-1)=NaN */ + if(x==-1.0) { + /* log1p(-1)=-inf */ + return fdlibm_setexception(x, FDLIBM_OVERFLOW); + } else { + /* log1p(x<-1)=NaN */ + return fdlibm_setexception(x, FDLIBM_INVALID); + } } if(ax<0x3e200000) { /* |x| < 2**-29 */ if(two54+x>zero /* raise inexact */ diff --git a/tests/trig.lisp b/tests/trig.lisp index 07cd6bd..1452c4c 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -887,3 +887,16 @@ (kernel:%expm1 ext:double-float-positive-infinity))) (kernel::with-float-traps-masked (:invalid) (assert-true (ext::float-nan-p (kernel:%expm1 *snan*))))) + +(define-test log1p.exceptions + (:tag :fdlibm) + (assert-error 'floating-point-invalid-operation + (kernel:%log1p -2d0)) + (assert-error 'floating-point-overflow + (kernel:%log1p -1d0)) + (assert-true (ext:float-nan-p (kernel:%log1p *qnan*))) + (kernel::with-float-traps-masked (:overflow) + (assert-equal ext:double-float-negative-infinity + (kernel:%log1p -1d0))) + (kernel::with-float-traps-masked (:invalid) + (assert-true (ext:float-nan-p (kernel:%log1p *snan*))))) ----------------------------------------------------------------------- Summary of changes: src/lisp/s_log1p.c | 9 +++++++-- tests/trig.lisp | 13 +++++++++++++ 2 files changed, 20 insertions(+), 2 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-05-3-gd87bebd
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 d87bebdf19729956c9a35c734d5d3cced17a5359 (commit) from a9839fad10044fc37d2ab1b0b6e0c75d951ebc92 (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 d87bebdf19729956c9a35c734d5d3cced17a5359 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed May 7 20:06:57 2014 -0700 Oops. Really remove UNIX from the VM package. * boot-2014-05-1: * Bootstrap file to unuse the package * build.sh: * Update verison to 20e so we use the correct directory for bootstrap files. diff --git a/bin/build.sh b/bin/build.sh index e0274ba..3b52556 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -39,7 +39,7 @@ ENABLE2="yes" ENABLE3="yes" ENABLE4="yes" -version=20d +version=20e SRCDIR=src BINDIR=bin TOOLDIR=$BINDIR diff --git a/src/bootfiles/20e/boot-2014-05-1.lisp b/src/bootfiles/20e/boot-2014-05-1.lisp new file mode 100644 index 0000000..91c72d6 --- /dev/null +++ b/src/bootfiles/20e/boot-2014-05-1.lisp @@ -0,0 +1,5 @@ +;; Remove the UNIX package from the package use list of the VM +;; package. The UNIX package is only needed to provide the SIGCONTEXT +;; symbol, so we just prefix it everywhere. + +(unuse-package "UNIX" "VM") ----------------------------------------------------------------------- Summary of changes: bin/build.sh | 2 +- src/bootfiles/20e/boot-2014-05-1.lisp | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 src/bootfiles/20e/boot-2014-05-1.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-90-g2ecd185
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 2ecd18513a756d7583191cabb48d87037be365d1 (commit) from e334b681182e7a354db0e66caa41abe1e1bbcec5 (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 2ecd18513a756d7583191cabb48d87037be365d1 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 3 22:21:30 2014 -0700 Fix aliasing issue noted by gcc 4.4.1 on Linux. Remove the variables i0 and i1 since they weren't used anywhere anyway. They weren't used in the original code either. diff --git a/src/lisp/e_pow.c b/src/lisp/e_pow.c index 914d7d9..c0f0075 100644 --- a/src/lisp/e_pow.c +++ b/src/lisp/e_pow.c @@ -101,14 +101,13 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ { double z,ax,z_h,z_l,p_h,p_l; double y1,t1,t2,r,s,t,u,v,w; - int i0,i1,i,j,k,yisint,n; + int ,i,j,k,yisint,n; int hx,hy,ix,iy; unsigned lx,ly; union { int i[2]; double d; } ux; union { int i[2]; double d; } uy; union { int i[2]; double d; } utmp; - i0 = ((*(int*)&one)>>29)^1; i1=1-i0; ux.d = x; hx = ux.i[HIWORD]; lx = ux.i[LOWORD]; uy.d = y; ----------------------------------------------------------------------- Summary of changes: src/lisp/e_pow.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. begin-x87-removal-17-g7fe70d3
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 7fe70d3a8856058f4bb4b10602d7eadf18444791 (commit) from 656761bda082e6c08492f34af80861ac285d6426 (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 7fe70d3a8856058f4bb4b10602d7eadf18444791 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Tue Apr 15 21:53:14 2014 -0700 Regenerated. diff --git a/src/i18n/locale/cmucl-x86-vm.pot b/src/i18n/locale/cmucl-x86-vm.pot index 3423da4..8996bd9 100644 --- a/src/i18n/locale/cmucl-x86-vm.pot +++ b/src/i18n/locale/cmucl-x86-vm.pot @@ -77,24 +77,6 @@ msgstr "" msgid "Thread safe push of val onto the list in the vector element." msgstr "" -#: src/code/commandline.lisp -msgid "" -"Specifies what kind of floating-point support should be used on x86\n" -" systems. If 'x87', Lisp will use the x87 floating-point unit; if\n" -" 'sse2', Lisp uses SSE2 floating-point unit. The default is\n" -" 'auto',which causes Lisp to check to see if SSE2 is available. If\n" -" so, then SSE2 is used. If the SSE2 core file cannot be found,Lisp\n" -" will fallback to the x87 core, which can run on any machine." -msgstr "" - -#: src/code/commandline.lisp -msgid "mode" -msgstr "" - -#: src/code/commandline.lisp -msgid "a symbol or function" -msgstr "" - #: src/code/load.lisp msgid "Top-Level Form" msgstr "" ----------------------------------------------------------------------- Summary of changes: src/i18n/locale/cmucl-x86-vm.pot | 18 ------------------ 1 file changed, 18 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-03-3-g179e05d
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 179e05df049f705f95eea224d1248ba5e979ce18 (commit) from f15327ba2aba87dea3c67204ca0f1100c1a605d9 (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 179e05df049f705f95eea224d1248ba5e979ce18 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Mar 8 13:32:08 2014 -0800 Return the correct values for (log -0w0) and (log 0w0). Previously we returned something like #c(-715 pi) and -715. * src/code/irrat-dd.lisp: * Handle -0w0 and 0w0 specially in dd-%log. * tests/trac.lisp: * Add a test for this in trac.lisp. diff --git a/src/code/irrat-dd.lisp b/src/code/irrat-dd.lisp index 29627b5..438339f 100644 --- a/src/code/irrat-dd.lisp +++ b/src/code/irrat-dd.lisp @@ -368,10 +368,17 @@ (optimize (speed 3) (space 0) (inhibit-warnings 3))) ;; Separate mantissa from exponent - (multiple-value-bind (x e) + (multiple-value-bind (x e sign) (decode-float x) (declare (type double-double-float x) (type double-float-exponent e)) + (when (zerop x) + ;; Handle log(+/-0). Return -inf or -inf + i*pi, but signal a + ;; division by zero. + (return-from dd-%log + (if (minusp sign) + (complex (/ (- x)) dd-pi) + (/ (- x))))) (let ((z 0w0) (y 0w0)) (declare (type double-double-float z y)) diff --git a/tests/trac.lisp b/tests/trac.lisp index f8b4258..9a02189 100644 --- a/tests/trac.lisp +++ b/tests/trac.lisp @@ -342,7 +342,10 @@ (ext:with-float-traps-masked (:divide-by-zero) (log -0d0))) (assert-equal (complex ext:single-float-negative-infinity (float pi 1f0)) - (ext:with-float-traps-masked (:divide-by-zero) (log -0f0))))) + (ext:with-float-traps-masked (:divide-by-zero) (log -0f0))) + (assert-equal + (complex ext:double-double-float-negative-infinity kernel:dd-pi) + (ext:with-float-traps-masked (:divide-by-zero) (log -0w0))))) (define-test trac.93 (:tag :trac) ----------------------------------------------------------------------- Summary of changes: src/code/irrat-dd.lisp | 9 ++++++++- tests/trac.lisp | 5 ++++- 2 files changed, 12 insertions(+), 2 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-01-5-g7b313ca
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 7b313ca19a6452137c86f9da65430b946be419a5 (commit) from c4aaa9099d992a0b2cec538a503f87a4e86e0663 (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 7b313ca19a6452137c86f9da65430b946be419a5 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Jan 6 22:31:00 2014 -0800 Fix complex multiply vop. Under some conditions (see trac.65 in tests/trac.lisp) r is packed into the same location as either x or y, and we were overwriting x (or y) with the result before we had finished with the values in x (or y). With this, trac.65 passes on sparc now. diff --git a/src/compiler/sparc/float.lisp b/src/compiler/sparc/float.lisp index e5d654d..013f184 100644 --- a/src/compiler/sparc/float.lisp +++ b/src/compiler/sparc/float.lisp @@ -2134,7 +2134,7 @@ ;; Multiply two complex numbers (macrolet - ((frob (size fmul fadd fsub cost) + ((frob (size fmul fadd fsub mov cost) (let ((vop-name (symbolicate "*/COMPLEX-" size "-FLOAT")) (complex-reg (symbolicate "COMPLEX-" size "-REG")) (real-reg (symbolicate size "-REG")) @@ -2158,30 +2158,20 @@ (yi (,imag-part y)) (rr (,real-part r)) (ri (,imag-part r))) - (cond ((location= r x) - (inst ,fmul p1 xr yr) - (inst ,fmul p2 xr yi) - (inst ,fmul rr xi yi) - (inst ,fsub rr p1 xr) - (inst ,fmul p1 xi yr) - (inst ,fadd ri p2 p1)) - ((location= r y) - (inst ,fmul p1 yr xr) - (inst ,fmul p2 yr xi) - (inst ,fmul rr yi xi) - (inst ,fsub rr p1 rr) - (inst ,fmul p1 yi xr) - (inst ,fadd ri p2 p1)) - (t - (inst ,fmul rr yr xr) - (inst ,fmul ri xi yi) - (inst ,fsub rr rr ri) - (inst ,fmul p1 xr yi) - (inst ,fmul ri xi yr) - (inst ,fadd ri ri p1))))))))) - - (frob single fmuls fadds fsubs 6) - (frob double fmuld faddd fsubd 6)) + ;; Be careful because r might be packed into the same + ;; location as either x or y. We have to be careful + ;; not to modify either x or y until all uses of x or + ;; y. + (inst ,fmul p1 yr xr) ; p1 = xr*yr + (inst ,fmul p2 xi yi) ; p2 = xi*yi + (inst ,fsub p2 p1 p2) ; p2 = xr*yr - xi*yi + (inst ,fmul p1 xr yi) ; p1 = xr*yi + (inst ,fmul ri xi yr) ; ri = xi*yr + (inst ,fadd ri ri p1) ; ri = xi*yr + xr*yi + (,@mov rr p2))))))) + + (frob single fmuls fadds fsubs (inst fmovs) 6) + (frob double fmuld faddd fsubd (move-double-reg) 6)) ;; Multiply a complex by a float. The case of float * complex is ;; handled by a deftransform to convert it to the complex*float case. ----------------------------------------------------------------------- Summary of changes: src/compiler/sparc/float.lisp | 40 +++++++++++++++------------------------- 1 file changed, 15 insertions(+), 25 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-31-g3b8bd83
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 3b8bd8385a96685faeb26da60d9394feafb79907 (commit) from 5f031f16b552b5798732191e4e5d0a04607373bf (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 3b8bd8385a96685faeb26da60d9394feafb79907 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Jul 31 16:52:39 2014 -0700 Fix ticket ##104: Source location for define-condition This is the patch from the ticket except that the boot file name has been changed to conform to the usual naming rules. To test it, try (c::info :source-location :class 'error). This should return something like #S(C::FILE-SOURCE-LOCATION :FORM-NUMBERS 52 :PATHNAME "target:code/error.lisp") Notes: * compiler/globaldb.lisp: New info-type source-location/class. As class names can theoretically also be variable names it seemed reasonable to introduce this instead of using the existing source-location/defvar. * code/error.lisp (%compiler-define-condition): Take source-location as argument and store it in the infodb. (define-condition): Pass source-location along. * bootfiles/20e/boot-2014-06-1.lisp: New bootfile needed because error.lisp is compiled before globaldb.lisp. diff --git a/src/bootfiles/20e/boot-2014-06-1.lisp b/src/bootfiles/20e/boot-2014-06-1.lisp new file mode 100644 index 0000000..8b1dca5 --- /dev/null +++ b/src/bootfiles/20e/boot-2014-06-1.lisp @@ -0,0 +1,4 @@ +;; Define source-location/class info type so that code/error.lisp can +;; be compiled. +(in-package c) +(define-info-type source-location class (or form-numbers null) nil) diff --git a/src/code/error.lisp b/src/code/error.lisp index 3fc7f81..ee44212 100644 --- a/src/code/error.lisp +++ b/src/code/error.lisp @@ -597,7 +597,7 @@ ;;;; DEFINE-CONDITION (eval-when (compile load eval) -(defun %compiler-define-condition (name direct-supers layout) +(defun %compiler-define-condition (name direct-supers layout source-location) (multiple-value-bind (class old-layout) (insured-find-class name #'condition-class-p #'make-condition-class) @@ -625,7 +625,9 @@ ;; Initialize CPL slot. (setf (condition-class-cpl class) (remove-if-not #'condition-class-p - (std-compute-class-precedence-list class)))) + (std-compute-class-precedence-list class))) + + (setf (info :source-location :class name) source-location)) (undefined-value)) ); eval-when (compile load eval) @@ -872,7 +874,8 @@ `(progn (eval-when (compile load eval) - (%compiler-define-condition ',name ',parent-types ',layout)) + (%compiler-define-condition ',name ',parent-types ',layout + (c::source-location))) (declaim (ftype (function (t) t) ,@(all-readers))) (declaim (ftype (function (t t) t) ,@(all-writers))) diff --git a/src/compiler/globaldb.lisp b/src/compiler/globaldb.lisp index ae7b565..8d182c8 100644 --- a/src/compiler/globaldb.lisp +++ b/src/compiler/globaldb.lisp @@ -1174,6 +1174,10 @@ ;;; location for defstruct and deftype. (define-info-class source-location) (define-info-type source-location defvar (or form-numbers null) nil) +;; This is used for define-condition. It could also be used for +;; defclass but PCL classes already have a "definition-source" slot and we +;; store it there. +(define-info-type source-location class (or form-numbers null) nil) ;; The textdomain for the documentation (define-info-type function textdomain (or string null) nil) ----------------------------------------------------------------------- Summary of changes: src/bootfiles/20e/boot-2014-06-1.lisp | 4 ++++ src/code/error.lisp | 9 ++++++--- src/compiler/globaldb.lisp | 4 ++++ 3 files changed, 14 insertions(+), 3 deletions(-) create mode 100644 src/bootfiles/20e/boot-2014-06-1.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-05-8-g9be6530
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 9be6530c85baf6d45ab60a94867ba1e3ff3d66b0 (commit) from d879838d33c578bcecf282b8b95628b6d9bbc476 (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 9be6530c85baf6d45ab60a94867ba1e3ff3d66b0 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon May 20 19:24:53 2013 -0700 Fix ticket:82: If the form numbers are too large to be encoded, don't try to set the source location information. We try to print a warning in such cases. diff --git a/src/compiler/ir1util.lisp b/src/compiler/ir1util.lisp index c39f17e..1995360 100644 --- a/src/compiler/ir1util.lisp +++ b/src/compiler/ir1util.lisp @@ -447,9 +447,11 @@ form) (defun encode-form-numbers (tlf-number form-number) - "Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum." - (declare (type (unsigned-byte 14) tlf-number form-number)) - (logior tlf-number (ash form-number 14))) + "Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum, if + possible. Otherwise, return Nil." + (when (and (typep tlf-number '(unsigned-byte 14)) + (typep form-number '(unsigned-byte 14))) + (logior tlf-number (ash form-number 14)))) (defun decode-form-numbers (fixnum) "Return the tlf-number and form-number from an encoded FIXNUM." @@ -460,7 +462,7 @@ "Return a source-location for the call site." nil) -(define-compiler-macro source-location () +(define-compiler-macro source-location (&whole whole) (let ((file-info (let ((rest (source-info-current-file *source-info*))) (cond (rest (car rest)) ;; MAKE-LISP-SOURCE-INFO doesn't set current-file @@ -468,18 +470,24 @@ (form-numbers (encode-form-numbers (source-path-tlf-number *current-path*) (source-path-form-number *current-path*)))) - (etypecase (file-info-name file-info) - (pathname - `(quote ,(make-file-source-location - :form-numbers form-numbers - :pathname (namestring-for-debug-source file-info)))) - ((member :stream) - `(quote ,(make-stream-source-location :form-numbers form-numbers - :user-info *user-source-info*))) - ((member :lisp) - `(quote ,(make-lisp-source-location - :form-numbers form-numbers - :form (aref (file-info-forms file-info) 0))))))) + (cond (form-numbers + (etypecase (file-info-name file-info) + (pathname + `(quote ,(make-file-source-location + :form-numbers form-numbers + :pathname (namestring-for-debug-source file-info)))) + ((member :stream) + `(quote ,(make-stream-source-location :form-numbers form-numbers + :user-info *user-source-info*))) + ((member :lisp) + `(quote ,(make-lisp-source-location + :form-numbers form-numbers + :form (aref (file-info-forms file-info) 0)))))) + (t + (warn "Dropping source-location because form numbers are too large: ~S ~S" + (source-path-tlf-number *current-path*) + (source-path-form-number *current-path*)) + whole)))) ;;; MAKE-LEXENV -- Interface diff --git a/src/general-info/release-20e.txt b/src/general-info/release-20e.txt index 858f585..f36f6d0 100644 --- a/src/general-info/release-20e.txt +++ b/src/general-info/release-20e.txt @@ -82,6 +82,7 @@ New in this release: * Ticket #80 fixed. * Ticket #81 fixed. * Ticket #83 fixed. + * Ticket #82 fixed. * Other changes: * -8 option for build-all.sh is deprecated since we don't ----------------------------------------------------------------------- Summary of changes: src/compiler/ir1util.lisp | 40 +++++++++++++++++++++++--------------- src/general-info/release-20e.txt | 1 + 2 files changed, 25 insertions(+), 16 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp annotated tag snapshot-2014-01 created. snapshot-2014-01
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 annotated tag, snapshot-2014-01 has been created at d45720c2c896beada8be3dec56a2e1f95e1dd78d (tag) tagging 7bb20e4cfe7f12567dcbffa0a584f9d01fad5e64 (commit) replaces snapshot-2013-12-a tagged by Raymond Toy on Sat Jan 4 10:12:01 2014 -0800 - Log ----------------------------------------------------------------- Snapshot 2014-01 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) iEYEABECAAYFAlLITvgACgkQJ5IjUmgZO7IAtgCgyNzKZvbTBi+9onW1g89S/1cv SP4AoIPOqjKJXUOaGcNYJU/Wl+QnTkmI =bO3U -----END PGP SIGNATURE----- Raymond Toy (49): Optimizations to many vops to allow a descriptor for the second arg. Simplify dd-%%sin, dd-%%cos, and dd-%%tan. Add RT. Implement trig functions in Lisp Implement sincos using the new Lisp trig routines. This can now be Add test for sincos(-0d0). Small cleanups. Correct bug in tan. Need -ffloat-store when compiling e_rem/k_rem. Merge branch 'master' into rtoy-lisp-trig Convert to using lisp-unit. Remove RT. Add some comments and remove unneeded package qualifiers. Need to build e_rem_pio2.c on sparc now. Move ieee754_rem_pio2 to os-common.c. Remove the version in from Add more tests for exceptional values for cos and tan. Add a few Make all top-level disassembly functions accept base, case, and radix Regenerated. Merge branch 'master' into rtoy-simp-dd-trig Update for ppc to get pot files generated correctly. Merge branch 'master' into rtoy-simp-dd-trig For dd-%%sin, return x if x is small enough. (Makes sin(-0w0) be Add tests for double-double trig functions. Add dd-%sincos and use it as needed instead of calling sin and cos Add tests for dd-%sincos. Increase accuracy of tan near multiples of pi/4. Add tests for branch cuts. Document the value of atan better. The CLHS is confusing. Move src/tests/trig.lisp to tests/trig.lisp. Add some selected tests from trac bug reports. Fix trac.50 to use princ-to-string. Add more tests from trac. Add test file needed by a trac test. Use the formulas from the CLHS in the docstrings. More documentation. Fix typo. Fix test trac.69: Move the setting of the logical pathname Regenerated. Simple test script to run all of the tests in the tests directory. Float printer tests from reading the logs for print.lisp. Add tests for the branch cuts for asinh and acosh, and some fixes. Add tests for the branch cut for atanh. Not clear that this is Fix ticket:90 Produce correct results on branch cuts for atanh. Make interactive use of tests a little easier. Update according to commit logs. Regenerate. Don't run trac.15 on x87. We expect this to fail there and won't fix Fix typo in cis deftransform for double-doubles. ----------------------------------------------------------------------- hooks/post-receive -- CMU Common Lisp

1 0