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

[git] CMU Common Lisp branch master updated. snapshot-2014-08-36-ga7f3ba6
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 a7f3ba676413d2a0cbd0505940c4a966ee25134c (commit) from e38211a12ceccae3b59938fd4815ab9055d6d5b8 (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 a7f3ba676413d2a0cbd0505940c4a966ee25134c Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed Aug 27 19:52:57 2014 -0700 Correct the comment. diff --git a/tests/trig.lisp b/tests/trig.lisp index cfd7ea2..861a298 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -1,4 +1,5 @@ -;;; Tests for the basic trig functions, now implemented in Lisp. +;;; Tests for the basic trig, hyperbolic, exponential and log +;;; functions. (defpackage :trig-tests (:use :cl :lisp-unit)) ----------------------------------------------------------------------- Summary of changes: tests/trig.lisp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp annotated tag snapshot-2013-08 created. snapshot-2013-08
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-2013-08 has been created at 8f1d4be706199c55cee63fb10d555ae32e1340a4 (tag) tagging 19aa444cd539ad21397f01aab5a71feb049173bf (commit) replaces snapshot-2013-07 tagged by Raymond Toy on Fri Aug 2 21:05:45 2013 -0700 - Log ----------------------------------------------------------------- Snapshot 2013-08 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) iEYEABECAAYFAlH8gZ8ACgkQJ5IjUmgZO7KP6gCg110PJWH5S85SOviGWWtnXYgO 7y4AoLHsNvJVkkXrNsI8enFB+m2ceOQh =6SOK -----END PGP SIGNATURE----- Carl Shapiro (3): Improve and clean-up some move VOPs. Simplify the %more-arg-values VOP. Remove EAX dependency in length/list and retire fast-length/list. Raymond Toy (2): Make NOT-MORE-CONTAGIOUS support member and union types. Update from logs. ----------------------------------------------------------------------- hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. begin-x87-removal-23-gfc6ec6d
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 fc6ec6d77cdde9c73bb3b6c8a2c5d1d6ced9094f (commit) from d8d6bce450fe606aa48fdbf874001134505734a1 (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 fc6ec6d77cdde9c73bb3b6c8a2c5d1d6ced9094f Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat May 3 08:57:48 2014 -0700 Ignore fasls in this directory. diff --git a/tests/pcl/.gitignore b/tests/pcl/.gitignore new file mode 100644 index 0000000..a787f9e --- /dev/null +++ b/tests/pcl/.gitignore @@ -0,0 +1,5 @@ +*.sse2f +*.ppcf +*.sparcf +*.fasl + ----------------------------------------------------------------------- Summary of changes: tests/pcl/.gitignore | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/pcl/.gitignore hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-04-25-gb9cf366
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 b9cf3661ab0675ef091588e26080756ecd0d4197 (commit) from c349b260bfbd99949e4fbc07c9b295ce0ed6118a (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 b9cf3661ab0675ef091588e26080756ecd0d4197 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat May 4 21:15:20 2013 -0700 Clean up DEPENDS * GNUmakefile * Replace $(DEPENDS) with $(CC) * Config.x86_common * Set DEPENDS_FLAG to -MM diff --git a/src/lisp/Config.x86_common b/src/lisp/Config.x86_common index 832d8d6..6f0ec95 100644 --- a/src/lisp/Config.x86_common +++ b/src/lisp/Config.x86_common @@ -62,8 +62,7 @@ ARCH_SRC = x86-arch.c OS_SRC = os-common.c e_rem_pio2.c k_rem_pio2.c NM = nm -gp -DEPEND = $(CC) -MM -E -DEPEND_FLAGS = +DEPEND_FLAGS = -MM # This no longer has aliasing problems, so no need to use # -ffloat-store and -fno-strict-aliasing anymore. diff --git a/src/lisp/GNUmakefile b/src/lisp/GNUmakefile index a3289eb..a9ab587 100644 --- a/src/lisp/GNUmakefile +++ b/src/lisp/GNUmakefile @@ -58,7 +58,7 @@ clean: depend: Depends Depends: ${SRCS} - $(DEPEND) ${DEPEND_FLAGS} ${CFLAGS} ${CPPFLAGS} $^ > ,depends + $(CC) ${DEPEND_FLAGS} ${CFLAGS} ${CPPFLAGS} $^ > ,depends mv ,depends Depends -include Depends ----------------------------------------------------------------------- Summary of changes: src/lisp/Config.x86_common | 3 +-- src/lisp/GNUmakefile | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-12-a-33-ga9598e6
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 a9598e606edc4490b8b58aedb4ecdca64b6ffed9 (commit) via fe9b90a2508399c517a98d70df9002d90a3f4a46 (commit) from e48e7e828f77e7013ebf7a7e87ef8055543fc423 (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 a9598e606edc4490b8b58aedb4ecdca64b6ffed9 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Dec 22 11:10:03 2013 -0800 Add test file needed by a trac test. diff --git a/tests/resources/read-insert.lisp b/tests/resources/read-insert.lisp new file mode 100644 index 0000000..cae19a4 --- /dev/null +++ b/tests/resources/read-insert.lisp @@ -0,0 +1,11 @@ +(in-package :cl-haml) + +(defun read-haml-insert-line (stream &optional (eof-error-p nil) + (eof-value +eof+)) + (list +haml+ + (read-contents stream + (read-options stream + eof-error-p + eof-value) + eof-error-p + eof-value))) commit fe9b90a2508399c517a98d70df9002d90a3f4a46 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Dec 22 11:09:19 2013 -0800 Add more tests from trac. diff --git a/tests/trac.lisp b/tests/trac.lisp index dbe8741..2f9a4ae 100644 --- a/tests/trac.lisp +++ b/tests/trac.lisp @@ -56,11 +56,165 @@ (assert-equal " 0.100E+01" (format nil "~11,3,2,0,'*,,'EE" .9999))) +(define-test trac.15 + (:tag :trac) + (assert-true + (funcall (compile nil + (lambda (z tt betain beta) + (declare (double-float z tt betain beta) + (optimize (speed 3) (safety 0))) + (= (* (* (* z tt) betain) beta) z))) + 5.562684646268004d-309 (1+ double-float-epsilon) .5d0 2d0))) + +(define-test trac.24 + (:tag :trac) + (assert-true + (let ((y (expt 2 #c(-0.5d0 0)))) + (and (zerop (imagpart y)) + (<= (abs (- (realpart y) + (sqrt 0.5d0))) + (* 2 double-float-epsilon)))))) + +(define-test trac.25 + (:tag :trac) + (assert-true + (compile nil (lambda () + (declare (optimize (speed 0) (safety 3) (debug 3))) + (loop + (pop *random-stack*) + (return))))) + (assert-true + (compile nil (lambda () + (declare (optimize (safety 3))) + (catch (make-symbol "CMUCL-DEBUG-CATCH-TAG") + (make-string 49)))))) + +(define-test trac.29 + (:tag :trac) + (assert-true + (make-condition (find-class 'error)))) + +(define-test trac.31 + (:tag :trac) + (assert-equal '(:absolute "TMP" "Foo" "bar") + (pathname-directory "/tmp/Foo/BAR/" :case :common))) + +(define-test trac.36 + (:tag :trac) + (let ((path "/tmp/trac.36.bom.txt")) + (flet ((bug (&optional (format :utf16)) + (with-open-file (s path + :direction :output + :if-exists :supersede + :external-format format) + (format s "Hello~%")) + (with-open-file (s path + :direction :input + :external-format format) + (let ((ch (read-char s))) + (values ch (file-position s)))))) + (assert-equal (values #\H 4) + (bug :utf16)) + (assert-equal (values #\H 8) + (bug :utf32))))) + +(define-test trac.43 + (:tag :trac) + (assert-true + (let ((path "/tmp/trac.43.txt")) + (unwind-protect + (progn + (with-open-file (ostream path :direction :output + :external-format :utf-8) + (dotimes (i 1000) + (write-char (code-char #x1234) ostream))) + + (with-open-file (stream path :direction :input + :external-format :utf-8) + (let ((p0 (file-position stream)) + (ch (read-char stream))) + (unread-char ch stream) + (let ((p0* (file-position stream))) + (eql p0* p0))))))))) + (define-test trac.50 (:tag :trac) (assert-equal "#P(:DIRECTORY (:ABSOLUTE \"tmp\" \"\" \"a\" \"\" \"b\"))" (princ-to-string (make-pathname :directory '(:absolute "tmp" "" "a" "" "b"))))) +(define-test trac.58 + (:tag :trac) + (assert-false + (let ((path "/tmp/trac.58.txt") + failures) + (unwind-protect + (progn + (with-open-file (s path :direction :output :external-format :utf-16) + (dotimes (i 300) + (write-char (code-char i) s))) + + (with-open-file (s path :direction :input :external-format :utf-16) + (dotimes (i 300) + (let ((ch (read-char s nil nil))) + (unless (= i (char-code ch)) + (push (list i ch (char-code ch)) faillures))))) + failures) + (delete-file path))))) + +(define-test trac.63 + (:tag :trac) + (assert-eql + 4.999995d11 + (funcall (compile nil + (lambda (x) + (declare (type (and fixnum unsigned-byte) x) + (optimize speed (safety 0))) + (vm::with-cycle-counter + (let ((sum 0d0)) + (declare (double-float sum)) + (dotimes (k x) + (declare (type (and fixnum unsigned-byte) k)) + (incf sum k)) + sum)))) + 1000000))) + +(define-test trac.65 + (:tag :trac) + (assert-false + (let (failures) + (dolist (base '(2 2f0 2d0 2w0 #c(0 1) #c(0f0 1) #c(0d0 1) #c(0w0 1))) + (dolist (power '(2 3 1/2 -2 -3 -1/2 5)) + (dolist (power-type '(rational single-float double-float ext:double-double-float + (complex single-float) (complex double-float) + (complex ext:double-double-float))) + (let* ((pp (coerce power power-type)) + (interp (expt base pp)) + (*compile-print* nil) + (compiled (funcall (compile nil `(lambda (b) + (declare (type ,(type-of base) b)) + (expt b ,pp))) + base))) + (unless (= interp compiled) + (push (list base pp interp compiled) failures)))))) + failures))) + +(define-test trac.67 + (:tag :trac) + (assert-error 'simple-error + (funcall (compile nil + (lambda (s) + (declare (simple-string s)) + (replace s s :start2 100 :end2 105))) + (copy-seq "1234567890")))) + +(define-test trac.69 + (:tag :trac) + (setf (logical-pathname-translations "trac69") + '(("**;*.*.*" "/tmp/**/*.*"))) + (assert-error 'lisp::namestring-parse-error + (let ((*default-pathname-defaults* #p"trac69:")) + (pathname "/tmp/bar.lisp")))) + (defparameter *trac.70* (make-string 40 :initial-element #\A)) (compile 'trac.70-test @@ -68,17 +222,53 @@ (declare (simple-string workspace s)) (replace workspace s :start1 1 :end1 5 :start2 1 :end2 5))) +(define-test trac.71 + (:tag :trac) + (assert-true + (funcall (compile nil + (lambda (x) + (declare (double-float x)) + (expt x 2w0))) + 2d0))) + +(defpackage :cl-haml + (:use :cl)) + +(defparameter *path* cl:*load-pathname*) + +(define-test trac.74 + (:tag :trac) + (assert-true + (let ((path (merge-pathnames "resources/read-insert.lisp" + *path*))) + (compile-file path :external-format :utf8)))) + (define-test trac.76 (:tag :trac) (assert-equal "A1234AAAA" (subseq (trac.70-test *trac.70* "a12345") 0 9))) +(define-test trac.79 + (:tag :trac) + ;; Create a temp file full of latin1 characters. + (assert-equal + '(0 1) + (let ((path "/tmp/trac.70.txt")) + (unwind-protect + (progn + (with-open-file (s path :direction :output :if-exists :supersede + :external-format :latin1) + (dotimes (k 255) + (write-char (code-char k) s))) + (with-open-file (s path :direction :input :external-format :latin1) + (list (file-position s) + (progn + (read-char s) + (file-position s))))) + (delete-file path))))) + (define-test trac.80 (:tag :trac) ;; The following formats should not signal an error. (assert-true (ignore-errors (format nil "~ve" 21 5d-234))) (assert-true (ignore-errors (format nil "~ve" 100 5d-234)))) - - - - \ No newline at end of file ----------------------------------------------------------------------- Summary of changes: tests/resources/read-insert.lisp | 11 +++ tests/trac.lisp | 198 +++++++++++++++++++++++++++++++++++++- 2 files changed, 205 insertions(+), 4 deletions(-) create mode 100644 tests/resources/read-insert.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. 20e-2-g40aa247
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 40aa2475c25a2715e100bbde7ba7db437a8a4326 (commit) from a7ace14123e6cbe17f041142328593287cdf6586 (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 40aa2475c25a2715e100bbde7ba7db437a8a4326 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Oct 17 20:32:52 2013 -0700 Delete assembly routines for multiplication and truncation. I think these were needed for sparc v7 and earlier which didn't have a multiply or divide instruction (multiply step, and divide step). We don't support v7 anymore so the existing vops for multiplication and division work just fine. diff --git a/src/assembly/sparc/arith.lisp b/src/assembly/sparc/arith.lisp index 2ebb72f..a49b1c1 100644 --- a/src/assembly/sparc/arith.lisp +++ b/src/assembly/sparc/arith.lisp @@ -210,192 +210,6 @@ LOW-FITS-IN-FIXNUM (move res lo)) -(macrolet - ((frob (name note cost type sc) - `(define-assembly-routine (,name - (:note ,note) - (:cost ,cost) - (:translate *) - (:policy :fast-safe) - (:arg-types ,type ,type) - (:result-types ,type)) - ((:arg x ,sc nl0-offset) - (:arg y ,sc nl1-offset) - (:res res ,sc nl0-offset) - (:temp temp ,sc nl2-offset)) - ,@(when (eq type 'tagged-num) - `((inst sra x 2))) - (cond ((backend-featurep :sparc-64) - ;; Sign extend, then multiply - (inst sra x 0) - (inst sra y 0) - (inst mulx res x y)) - ((or (backend-featurep :sparc-v8) - (backend-featurep :sparc-v9)) - (inst smul res x y)) - (t - (inst wry x) - (inst andcc temp zero-tn) - (inst nop) - (inst nop) - (dotimes (i 32) - (inst mulscc temp y)) - (inst mulscc temp zero-tn) - (inst rdy res)))))) - (frob unsigned-* "unsigned *" 40 unsigned-num unsigned-reg) - (frob signed-* "unsigned *" 41 signed-num signed-reg) - (frob fixnum-* "fixnum *" 30 tagged-num any-reg)) - - - -;;;; Division. - -#+assembler -(defun emit-divide-loop (divisor rem quo tagged) - (inst li quo 0) - (labels - ((do-loop (depth) - (cond - ((zerop depth) - (inst unimp 0)) - (t - (let ((label-1 (gen-label)) - (label-2 (gen-label))) - (inst cmp divisor rem) - (inst b :geu label-1) - (inst nop) - (inst sll divisor 1) - (do-loop (1- depth)) - (inst srl divisor 1) - (inst cmp divisor rem) - (emit-label label-1) - (inst b :gtu label-2) - (inst sll quo 1) - (inst add quo (if tagged (fixnumize 1) 1)) - (inst sub rem divisor) - (emit-label label-2)))))) - (do-loop (if tagged 30 32)))) - -(define-assembly-routine (positive-fixnum-truncate - (:note "unsigned fixnum truncate") - (:cost 45) - (:translate truncate) - (:policy :fast-safe) - (:arg-types positive-fixnum positive-fixnum) - (:result-types positive-fixnum positive-fixnum)) - ((:arg dividend any-reg nl0-offset) - (:arg divisor any-reg nl1-offset) - - (:res quo any-reg nl2-offset) - (:res rem any-reg nl0-offset)) - - (let ((error (generate-error-code nil division-by-zero-error - dividend divisor))) - (inst cmp divisor) - (inst b :eq error)) - - (move rem dividend) - (emit-divide-loop divisor rem quo t)) - - -(define-assembly-routine (fixnum-truncate - (:note "fixnum truncate") - (:cost 50) - (:policy :fast-safe) - (:translate truncate) - (:arg-types tagged-num tagged-num) - (:result-types tagged-num tagged-num)) - ((:arg dividend any-reg nl0-offset) - (:arg divisor any-reg nl1-offset) - - (:res quo any-reg nl2-offset) - (:res rem any-reg nl0-offset) - - (:temp quo-sign any-reg nl5-offset) - (:temp rem-sign any-reg nargs-offset)) - - (let ((error (generate-error-code nil division-by-zero-error - dividend divisor))) - (inst cmp divisor) - (inst b :eq error)) - - (inst xor quo-sign dividend divisor) - (inst move rem-sign dividend) - (let ((label (gen-label))) - (inst cmp dividend) - (inst ba :lt label) - (inst neg dividend) - (emit-label label)) - (let ((label (gen-label))) - (inst cmp divisor) - (inst ba :lt label) - (inst neg divisor) - (emit-label label)) - (move rem dividend) - (emit-divide-loop divisor rem quo t) - (let ((label (gen-label))) - ;; If the quo-sign is negative, we need to negate quo. - (inst cmp quo-sign) - (inst ba :lt label) - (inst neg quo) - (emit-label label)) - (let ((label (gen-label))) - ;; If the rem-sign is negative, we need to negate rem. - (inst cmp rem-sign) - (inst ba :lt label) - (inst neg rem) - (emit-label label))) - - -(define-assembly-routine (signed-truncate - (:note "(signed-byte 32) truncate") - (:cost 60) - (:policy :fast-safe) - (:translate truncate) - (:arg-types signed-num signed-num) - (:result-types signed-num signed-num)) - - ((:arg dividend signed-reg nl0-offset) - (:arg divisor signed-reg nl1-offset) - - (:res quo signed-reg nl2-offset) - (:res rem signed-reg nl0-offset) - - (:temp quo-sign signed-reg nl5-offset) - (:temp rem-sign signed-reg nargs-offset)) - - (let ((error (generate-error-code nil division-by-zero-error - dividend divisor))) - (inst cmp divisor) - (inst b :eq error)) - - (inst xor quo-sign dividend divisor) - (inst move rem-sign dividend) - (let ((label (gen-label))) - (inst cmp dividend) - (inst ba :lt label) - (inst neg dividend) - (emit-label label)) - (let ((label (gen-label))) - (inst cmp divisor) - (inst ba :lt label) - (inst neg divisor) - (emit-label label)) - (move rem dividend) - (emit-divide-loop divisor rem quo nil) - (let ((label (gen-label))) - ;; If the quo-sign is negative, we need to negate quo. - (inst cmp quo-sign) - (inst ba :lt label) - (inst neg quo) - (emit-label label)) - (let ((label (gen-label))) - ;; If the rem-sign is negative, we need to negate rem. - (inst cmp rem-sign) - (inst ba :lt label) - (inst neg rem) - (emit-label label))) - ;;;; Comparison ----------------------------------------------------------------------- Summary of changes: src/assembly/sparc/arith.lisp | 186 ----------------------------------------- 1 file changed, 186 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-05-18-gcc9d147
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 cc9d147df222fcc705e3d37b3327fd40de0a4dc9 (commit) from 6ee6333087d341cd6c716abaaaebbfbf11cb516b (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 cc9d147df222fcc705e3d37b3327fd40de0a4dc9 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon May 27 09:37:21 2013 -0700 Minor corrections for the usage message. diff --git a/bin/build.sh b/bin/build.sh index 496d641..4aa8f24 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -75,12 +75,12 @@ usage () echo ' -b d The different build directories are named ${d}-2, ${d}-3 ${d}-4' echo ' If -b is not given, a suitable name based on the OS is used.' echo ' -v v Use the given string as the version. Default is' - echo " today's date" + echo " based on git describe" echo " -u Don't build CLX, CLM, or Hemlock" echo ' -i n Make build "n" interactive, so output is sent to *standard-output*' echo ' instead of the log file. "n" should be a string consisting of' echo ' the numbers 1, 2, or 3.' - echo " -B file Use file as a boot file. Maybe be specified more than once" + echo " -B file Use file as a boot file. May be be specified more than once" echo " The file is relative to the bootfiles/<version> directory" echo ' -C [l m] Create the build directories. The args are what' echo ' you would give to create-target.sh for the lisp' ----------------------------------------------------------------------- Summary of changes: bin/build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-89-ge334b68
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 e334b681182e7a354db0e66caa41abe1e1bbcec5 (commit) from 022325ccf101a0e9085f0189c4ec54dc96cef52d (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 e334b681182e7a354db0e66caa41abe1e1bbcec5 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Aug 3 22:16:22 2014 -0700 Fix aliasing issue noted by gcc 4.4.1 on Linux. I think the offending code in each case is trying to extract the low word if x. I think it works because on a little-endian machine, *(unsigned*)&one is 0 since the low word is stored first. On a big-endian machine, *(unsigned*)&one is the high word which, when right shifted by 29, gives 1. That is added to the address of x to get the low word of x. diff --git a/src/lisp/e_cosh.c b/src/lisp/e_cosh.c index f022ec0..28b6c3c 100644 --- a/src/lisp/e_cosh.c +++ b/src/lisp/e_cosh.c @@ -78,7 +78,11 @@ static double one = 1.0, half=0.5, huge = 1.0e300; if (ix < 0x40862E42) return half*__ieee754_exp(fabs(x)); /* |x| in [log(maxdouble), overflowthresold] */ +#if 0 lx = *( (((*(unsigned*)&one)>>29)) + (unsigned*)&x); +#else + lx = ux.i[LOWORD]; +#endif if (ix<0x408633CE || ((ix==0x408633ce)&&(lx<=(unsigned)0x8fb9f87d))) { w = __ieee754_exp(half*fabs(x)); diff --git a/src/lisp/e_sinh.c b/src/lisp/e_sinh.c index 8444741..76b3418 100644 --- a/src/lisp/e_sinh.c +++ b/src/lisp/e_sinh.c @@ -72,7 +72,11 @@ static double one = 1.0, shuge = 1.0e307; if (ix < 0x40862E42) return h*__ieee754_exp(fabs(x)); /* |x| in [log(maxdouble), overflowthresold] */ +#if 0 lx = *( (((*(unsigned*)&one)>>29)) + (unsigned*)&x); +#else + lx = ux.i[LOWORD]; +#endif if (ix<0x408633CE || ((ix==0x408633ce)&&(lx<=(unsigned)0x8fb9f87d))) { w = __ieee754_exp(0.5*fabs(x)); t = h*w; ----------------------------------------------------------------------- Summary of changes: src/lisp/e_cosh.c | 4 ++++ src/lisp/e_sinh.c | 4 ++++ 2 files changed, 8 insertions(+) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-09-4-gc042852
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 c042852462fc92df2da2259c191a909400199fb4 (commit) from 9b83625d4fc0809170354f5397afb7dab2103d42 (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 c042852462fc92df2da2259c191a909400199fb4 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Sep 11 22:29:38 2014 -0700 Support FP exceptions on NetBSD without feraiseexcept. Not quite fully working on NetBSD, but using this approach on Darwin does the right thing and all the tests pass. (Could these failures be due to NetBSD not compiling with just sse2 and thus uses x87 for the operations?) * setexception.c: * Add support for NetBSD. Instead of using feraiseexcept, try to generate the appropriate operations to generate the desired exceptions. * double-values.c: * Helper functions for setexception to return appropriate float values. These are in a different file so that the compiler can't optimize the values away when used in fdlibm_setexceptions. * GNUmakefile: * Compue double-values.c everywhere. Should be harmless since only NetBSD uses these functions. diff --git a/src/lisp/GNUmakefile b/src/lisp/GNUmakefile index c557d3b..056e9ea 100644 --- a/src/lisp/GNUmakefile +++ b/src/lisp/GNUmakefile @@ -12,7 +12,7 @@ FDLIBM = k_sin.c k_cos.c k_tan.c s_sin.c s_cos.c s_tan.c sincos.c \ e_acosh.c s_asinh.c e_atanh.c \ e_atan2.c \ e_rem_pio2.c k_rem_pio2.c \ - setexception.c + setexception.c double-values.c SRCS = lisp.c coreparse.c alloc.c monitor.c print.c interr.c \ vars.c parse.c interrupt.c search.c validate.c globals.c \ diff --git a/src/lisp/double-values.c b/src/lisp/double-values.c new file mode 100644 index 0000000..79d5921 --- /dev/null +++ b/src/lisp/double-values.c @@ -0,0 +1,40 @@ +/* + * Some helper functions to return specific double values for use by + * fdlibm_setexceptions on NetBSD. Currently, NetBSD doesn't have + * feraiseexcept so we have to do something special. See + * fdlibm_setexceptions. + */ + +#include "fdlibm.h" + +double +double_zero() +{ + return 0.0; +} + +/* + * Return most-positive-double-float + */ +double +double_huge() +{ + union { int i[2]; double d; } ux; + ux.i[HIWORD] = 0x7fefffff; + ux.i[LOWORD] = 0xffffffff; + + return ux.d; +} + +/* + * Return least-positive-double-float + */ +double +double_tiny() +{ + union { int i[2]; double d; } ux; + ux.i[HIWORD] = 0; + ux.i[LOWORD] = 1; + + return ux.d; +} diff --git a/src/lisp/setexception.c b/src/lisp/setexception.c index a77a9d8..d0f4519 100644 --- a/src/lisp/setexception.c +++ b/src/lisp/setexception.c @@ -1,4 +1,25 @@ +#if defined(__NetBSD__) +/* + * NetBSD doesn't have fenv.h. At least the version currently being + * used to build cmucl doesn't. Assume this also means we don't have + * feraiseexcept. So, to generate the desired exceptions, we have to + * create the appropriate operations to generate the desired + * exceptions. + */ +#undef HAVE_FERAISEEXCEPT + +extern double double_zero(); +extern double double_huge(); +extern double double_tiny(); + +#else +#define HAVE_FERAISEEXCEPT +#endif + +#ifdef HAVE_FERAISEEXCEPT #include <fenv.h> +#endif + #include <math.h> #include <stdio.h> @@ -50,32 +71,48 @@ fdlibm_setexception(double x, enum FDLIBM_EXCEPTION type) /* Division by zero. Use the sign of x to get the correct * signed infinity */ +#ifdef HAVE_FERAISEEXCEPT feraiseexcept(FE_DIVBYZERO); - ret = copysign(INFINITY, x); +#else + ret = copysign(1, x) / double_zero(); +#endif + break; case 1: /* Underflow. Use the sign of x to get a signed zero. */ +#ifdef HAVE_FERAISEEXCEPT feraiseexcept(FE_UNDERFLOW); ret = copysign(0.0, x); +#else + ret = double_tiny() * double_tiny();; +#endif break; case 2: /* overflow */ +#ifdef HAVE_FERAISEEXCEPT feraiseexcept(FE_OVERFLOW); ret = copysign(INFINITY, x); +#else + ret = double_huge() * copysign(double_huge(), x); +#endif break; case 3: { - /* invalid */ + /* if */ if (!isQNaN(x)) { /* * If it's not a quiet NaN, we want to signal an invalid * operation. Otherwise, we silently return a NaN. */ +#ifdef HAVE_FERAISEEXCEPT feraiseexcept(FE_INVALID); +#else + ret = double_zero() / double_zero(); + return ret; +#endif } - /* * FIXME: Of the many NaN values that we have, what NaN * should we return? ----------------------------------------------------------------------- Summary of changes: src/lisp/GNUmakefile | 2 +- src/lisp/double-values.c | 40 ++++++++++++++++++++++++++++++++++++++++ src/lisp/setexception.c | 43 ++++++++++++++++++++++++++++++++++++++++--- 3 files changed, 81 insertions(+), 4 deletions(-) create mode 100644 src/lisp/double-values.c hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-33-ge9be6b4
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 e9be6b48a40993444db72d4a9434b9eb44099f65 (commit) via 040e27416d95cf0980d2e77f70f9430c1ff4e769 (commit) from 3b8bd8385a96685faeb26da60d9394feafb79907 (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 e9be6b48a40993444db72d4a9434b9eb44099f65 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Jul 31 17:05:47 2014 -0700 Add info for cross-compile scripts. diff --git a/src/bootfiles/README b/src/bootfiles/README index c96ff68..31890a7 100644 --- a/src/bootfiles/README +++ b/src/bootfiles/README @@ -12,3 +12,23 @@ fix that here is the convention to be used for all bootfiles after sequentially from 1 (n). Thus, the boot-2014-06-1.lisp is intended to be built from the 2014-06 snapshot, and is the first boot file to be applied. +3. The boot file should describe what it is for. + +If a cross-compile script is needed, we also have similar rules. + +1. The script must be in the version directory, as for boot files. +2. The names of the script file must have to format + boot-yyyy-mm-n-cross-aaa.lisp where yyyy, mm, and n have the same + meaning as for boot files above. + + A. The aaa field is flexible. + 1. If it is not included, then the script is intended to be + applicable to all architectures. If aaa is given, then it is + meant to be applied only for the architecture aaa. + 2. If the scrit is applicable to more than one architecture, the + aaa field is dropped and the script must take care to include + conditionals so that the script can be applied to all + architectures. + B. Additional information can be included if desired. + +3. The script should describe what it is for. commit 040e27416d95cf0980d2e77f70f9430c1ff4e769 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Jul 31 16:57:41 2014 -0700 Add README to document the naming convention of boot files. diff --git a/src/bootfiles/README b/src/bootfiles/README new file mode 100644 index 0000000..c96ff68 --- /dev/null +++ b/src/bootfiles/README @@ -0,0 +1,14 @@ +The nameing of the bootfiles have been historically inconsistent. To +fix that here is the convention to be used for all bootfiles after +2014-07. + +1. The bootfile must reside in the directory whose name is the current + CMUCL version for which this bootfile applies. For example, as of + this writing, the current version is 20e, so boot files must be in + the 20e directory. +2. The name of the boot file shall be boot-yyyy-mm-n.lisp where + yyyy-mm represents the year (yyyy) and month (mm) of the snapshot + that is used to build from. The boot files are numbered + sequentially from 1 (n). Thus, the boot-2014-06-1.lisp is intended + to be built from the 2014-06 snapshot, and is the first boot file + to be applied. ----------------------------------------------------------------------- Summary of changes: src/bootfiles/README | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 src/bootfiles/README hooks/post-receive -- CMU Common Lisp

1 0