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

[git] CMU Common Lisp branch master updated. snapshot-2013-11-11-gd669c12
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 d669c129619ad3952fcabb263e307e3d48b12969 (commit) from 06300c812a5dfeecc9afd43d45608356f7c80dd6 (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 d669c129619ad3952fcabb263e307e3d48b12969 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Dec 8 09:26:24 2013 -0800 Update for ppc/darwin 10.5 and gcc 4.8. o Remove -no-cpp-precomp, which isn't recognized by gcc 4.8. o Add -static-libgcc so lisp doesn't need to have a compatible version of libgcc on the target system. o e_rem_pio2.c doesn't have aliasing issues, so remove the compiler flags. diff --git a/src/lisp/Config.ppc_darwin b/src/lisp/Config.ppc_darwin index e999827..0902b89 100644 --- a/src/lisp/Config.ppc_darwin +++ b/src/lisp/Config.ppc_darwin @@ -11,12 +11,12 @@ CPPFLAGS = -I. -I$(PATH1) # think gcc 4 is wrong. However, to work around this, we use /**/ to # concatenate tokens which reguires the -traditional flag. -# Build for OSX 10.2.8 or later. (Is this what we want?) +# Build for OSX 10.4 or later. (Is this what we want?) OSX_VERSION=-mmacosx-version-min=10.4 CC = gcc LD = ld NM = $(PATH1)/darwin-nm -CPP = cpp -no-cpp-precomp +CPP = cpp DEPEND_FLAGS = -MM ifdef FEATURE_LINKAGE_TABLE @@ -34,8 +34,8 @@ ifdef FEATURE_UNICODE UNICODE = -DUNICODE endif -CFLAGS = $(OSX_VERSION) -g -O3 -no-cpp-precomp -DDARWIN -Dppc $(LINKAGE) $(GENCGC) $(UNICODE) -ASFLAGS = $(OSX_VERSION) -traditional -g -O3 -no-cpp-precomp -DDARWIN -Dppc $(LINKAGE) $(GENCGC) +CFLAGS = $(OSX_VERSION) -g -O3 -DDARWIN -Dppc $(LINKAGE) $(GENCGC) $(UNICODE) +ASFLAGS = $(OSX_VERSION) -traditional -g -O3 -DDARWIN -Dppc $(LINKAGE) $(GENCGC) UNDEFSYMPATTERN = -Xlinker -u -Xlinker & ASSEM_SRC = ppc-assem.S linux-stubs.S @@ -52,10 +52,15 @@ endif # that the segaddr for CMUCLRO should be the READ_ONLY_SPACE_START. # The seg1addr should be somewhere above our spaces. This is where # the C runtime code goes, I think. - +# # OS_LINK_FLAGS = -g -dynamic -Wl,-sectcreate,CMUCLRO,core,/dev/null -Wl,-segaddr,CMUCLRO,0x01000000 -Wl,-seg1addr,0x1a000000 -OS_LINK_FLAGS = $(OSX_VERSION) + +# gcc 4.8, (used on zombie) needs -static-libgcc so that the gcc +# library is staticly linked into lisp so that the user doesn't need a +# matching version of libgcc. +OS_LINK_FLAGS = $(OSX_VERSION) -static-libgcc OS_LIBS = -lSystem -lc -lm + #all: adjustlisp #adjustlisp: lisp darwin-lispadjuster # ./darwin-lispadjuster lisp @@ -64,6 +69,7 @@ OS_LIBS = -lSystem -lc -lm #darwin-lispadjuster: darwin-lispadjuster.c -# This has aliasing problems, so turn off aliasing. +# According to Config.x86_common, this no longer has aliasing +# problems, so we don't need any additional compilation options. e_rem_pio2.o : e_rem_pio2.c - $(CC) -c -fno-strict-aliasing -ffloat-store $(CFLAGS) $< + $(CC) -c $(CFLAGS) $< ----------------------------------------------------------------------- Summary of changes: src/lisp/Config.ppc_darwin | 22 ++++++++++++++-------- 1 file changed, 14 insertions(+), 8 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch rtoy-lisp-trig updated. snapshot-2013-12-a-6-g7069ef9
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 7069ef9dfa3770d7b3e00aac297ae7dcb22b8c20 (commit) from 7190b61cf97c8320d6a218c430471c0fb0bf518e (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 7069ef9dfa3770d7b3e00aac297ae7dcb22b8c20 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Dec 14 21:38:18 2013 -0800 Small cleanups. * Remove unneeded package specifier for %ieee754-rem-pi/2 * Add some comments for %tan. diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp index c23321d..6a025a1 100644 --- a/src/code/irrat.lisp +++ b/src/code/irrat.lisp @@ -543,7 +543,7 @@ (t ;; Argument reduction needed (multiple-value-bind (n y0 y1) - (kernel::%ieee754-rem-pi/2 x) + (%ieee754-rem-pi/2 x) (case (logand n 3) (0 (kernel-sin y0 y1 1)) @@ -568,7 +568,7 @@ (t ;; Argument reduction needed (multiple-value-bind (n y0 y1) - (kernel::%ieee754-rem-pi/2 x) + (%ieee754-rem-pi/2 x) (ecase (logand n 3) (0 (kernel-cos y0 y1)) @@ -584,16 +584,19 @@ (optimize (speed 3))) (let ((ix (logand #x7fffffff (kernel:double-float-high-bits x)))) (cond ((<= ix #x3fe921fb) + ;; |x| < pi/4 (kernel-tan x 0d0 1)) ((>= ix #x7ff00000) + ;; tan(Inf or Nan) is NaN (- x x)) (t (multiple-value-bind (n y0 y1) - (kernel::%ieee754-rem-pi/2 x) + (%ieee754-rem-pi/2 x) (let ((flag (- 1 (ash (logand n 1) 1)))) ;; flag = 1 if n even, -1 if n odd (kernel-tan y0 y1 flag))))))) +;; Compute sin and cos of x, simultaneously. (defun %sincos (x) (declare (double-float x) (optimize (speed 3))) @@ -617,7 +620,6 @@ (3 (values (- (kernel-cos y0 y1)) (kernel-sin y0 y1 1)))))))) - (declaim (ext:end-block)) ----------------------------------------------------------------------- Summary of changes: src/code/irrat.lisp | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-30-g5f031f1
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 5f031f16b552b5798732191e4e5d0a04607373bf (commit) from 06179e0c45b51011eae88bfc711d7bec00769c89 (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 5f031f16b552b5798732191e4e5d0a04607373bf Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Jul 31 15:57:55 2014 -0700 Update to 3.1.3. diff --git a/src/contrib/asdf/asdf.lisp b/src/contrib/asdf/asdf.lisp index cce093d..750a886 100644 --- a/src/contrib/asdf/asdf.lisp +++ b/src/contrib/asdf/asdf.lisp @@ -1,5 +1,5 @@ ;;; -*- mode: Common-Lisp; Base: 10 ; Syntax: ANSI-Common-Lisp ; buffer-read-only: t; -*- -;;; This is ASDF 3.1.2: Another System Definition Facility. +;;; This is ASDF 3.1.3: Another System Definition Facility. ;;; ;;; Feedback, bug reports, and patches are all welcome: ;;; please mail to <asdf-devel(a)common-lisp.net>. @@ -402,7 +402,7 @@ or when loading the package is optional." (imported) (t (push name intern))))))) (labels ((sort-names (names) - (sort names #'string<)) + (sort (copy-list names) #'string<)) (table-keys (table) (loop :for k :being :the :hash-keys :of table :collect k)) (when-relevant (key value) @@ -845,8 +845,8 @@ UNINTERN -- Remove symbols here from PACKAGE." (uiop/package:define-package :uiop/common-lisp (:nicknames :uoip/cl :asdf/common-lisp :asdf/cl) - (:use #-genera :common-lisp #+genera :future-common-lisp :uiop/package) - (:reexport :common-lisp) + (:use :uiop/package) + (:use-reexport #-genera :common-lisp #+genera :future-common-lisp) (:recycle :uiop/common-lisp :uoip/cl :asdf/common-lisp :asdf/cl :asdf) #+allegro (:intern #:*acl-warn-save*) #+cormanlisp (:shadow #:user-homedir-pathname) @@ -855,7 +855,7 @@ UNINTERN -- Remove symbols here from PACKAGE." #:logical-pathname #:translate-logical-pathname #:make-broadcast-stream #:file-namestring) #+genera (:shadowing-import-from :scl #:boolean) - #+genera (:export #:boolean #:ensure-directories-exist) + #+genera (:export #:boolean #:ensure-directories-exist #:read-sequence #:write-sequence) #+mcl (:shadow #:user-homedir-pathname)) (in-package :uiop/common-lisp) @@ -935,9 +935,20 @@ UNINTERN -- Remove symbols here from PACKAGE." #+genera (eval-when (:load-toplevel :compile-toplevel :execute) + (unless (fboundp 'lambda) + (defmacro lambda (&whole form &rest bvl-decls-and-body) + (declare (ignore bvl-decls-and-body)(zwei::indentation 1 1)) + `#',(cons 'lisp::lambda (cdr form)))) (unless (fboundp 'ensure-directories-exist) (defun ensure-directories-exist (path) - (fs:create-directories-recursively (pathname path))))) + (fs:create-directories-recursively (pathname path)))) + (unless (fboundp 'read-sequence) + (defun read-sequence (sequence stream &key (start 0) end) + (scl:send stream :string-in nil sequence start end))) + (unless (fboundp 'write-sequence) + (defun write-sequence (sequence stream &key (start 0) end) + (scl:send stream :string-out sequence start end) + sequence))) #.(or #+mcl ;; the #$ doesn't work on other lisps, even protected by #+mcl, so we use this trick (read-from-string @@ -1213,7 +1224,7 @@ Returns two values: $A B C$ and $1 2 3$." ;;; Characters (with-upgradability () ;; base-char != character on ECL, LW, SBCL, Genera. LW also has SIMPLE-CHAR. - (defconstant +non-base-chars-exist-p+ (not (subtypep 'character 'base-char))) + (defconstant +non-base-chars-exist-p+ #.(not (subtypep 'character 'base-char))) #-scl ;; In SCL, all characters seem to be 16-bit base-char, but this flag gets set somehow??? (when +non-base-chars-exist-p+ (pushnew :non-base-chars-exist-p *features*))) @@ -1390,7 +1401,7 @@ and EVAL that in a (FUNCTION ...) context." (etypecase fun (function fun) ((or boolean keyword character number pathname) (constantly fun)) - (hash-table (lambda (x) (gethash x fun))) + (hash-table #'(lambda (x) (gethash x fun))) (symbol (fdefinition fun)) (cons (if (eq 'lambda (car fun)) (eval fun) @@ -1750,10 +1761,13 @@ then returning the non-empty string value of the variable" (defun operating-system () "The operating system of the current host" (first-feature - '(:cygwin (:win :windows :mswindows :win32 :mingw32) ;; try cygwin first! + '(:cygwin + (:win :windows :mswindows :win32 :mingw32) ;; try cygwin first! (:linux :linux :linux-target) ;; for GCL at least, must appear before :bsd (:macosx :macosx :darwin :darwin-target :apple) ; also before :bsd - (:solaris :solaris :sunos) (:bsd :bsd :freebsd :netbsd :openbsd) :unix + (:solaris :solaris :sunos) + (:bsd :bsd :freebsd :netbsd :openbsd :dragonfly) + :unix :genera))) (defun architecture () @@ -2552,7 +2566,7 @@ when used with MERGE-PATHNAMES* with defaults BASE-PATHNAME, returns MAYBE-SUBPA "if MAYBE-SUBPATH is a pathname that is under BASE-PATHNAME, return a pathname object that when used with MERGE-PATHNAMES* with defaults BASE-PATHNAME, returns MAYBE-SUBPATH." (let ((sub (when maybe-subpath (pathname maybe-subpath))) - (base (when base-pathname (ensure-absolute-pathname (pathname base-pathname))))) + (base (when base-pathname (ensure-absolute-pathname (pathname base-pathname))))) (or (and base (subpathp sub base)) sub))) (defun call-with-enough-pathname (maybe-subpath defaults-pathname thunk) @@ -3297,13 +3311,14 @@ in an atomic way if the implementation allows." directory-pathname (unix:get-unix-error-msg errno)))) #+cormanlisp (win32:delete-directory directory-pathname) #+ecl (si:rmdir directory-pathname) + #+genera (fs:delete-directory directory-pathname) #+lispworks (lw:delete-directory directory-pathname) #+mkcl (mkcl:rmdir directory-pathname) #+sbcl #.(if-let (dd (find-symbol* :delete-directory :sb-ext nil)) `(,dd directory-pathname) ;; requires SBCL 1.0.44 or later `(progn (require :sb-posix) (symbol-call :sb-posix :rmdir directory-pathname))) #+xcl (symbol-call :uiop :run-program `("rmdir" ,(native-namestring directory-pathname))) - #-(or abcl allegro clisp clozure cmu cormanlisp digitool ecl gcl lispworks mkcl sbcl scl xcl) + #-(or abcl allegro clisp clozure cmu cormanlisp digitool ecl gcl genera lispworks mkcl sbcl scl xcl) (error "~S not implemented on ~S" 'delete-empty-directory (implementation-type))) ; genera (defun delete-directory-tree (directory-pathname &key (validate nil validatep) (if-does-not-exist :error)) @@ -3337,7 +3352,7 @@ If you're suicidal or extremely confident, just use :VALIDATE T." (error "~S was asked to delete ~S but the directory does not exist" 'delete-filesystem-tree directory-pathname)) (:ignore nil))) - #-(or allegro cmu clozure sbcl scl) + #-(or allegro cmu clozure genera sbcl scl) ((os-unix-p) ;; On Unix, don't recursively walk the directory and delete everything in Lisp, ;; except on implementations where we can prevent DIRECTORY from following symlinks; ;; instead spawn a standard external program to do the dirty work. @@ -3347,7 +3362,7 @@ If you're suicidal or extremely confident, just use :VALIDATE T." #+allegro (symbol-call :excl.osi :delete-directory-and-files directory-pathname :if-does-not-exist if-does-not-exist) #+clozure (ccl:delete-directory directory-pathname) - #+genera (error "~S not implemented on ~S" 'delete-directory-tree (implementation-type)) + #+genera (fs:delete-directory directory-pathname :confirm nil) #+sbcl #.(if-let (dd (find-symbol* :delete-directory :sb-ext nil)) `(,dd directory-pathname :recursive t) ;; requires SBCL 1.0.44 or later '(error "~S requires SBCL 1.0.44 or later" 'delete-directory-tree)) @@ -3995,7 +4010,9 @@ Upon success, the KEEP form is evaluated and the file is is deleted unless it ev (beforef (gensym "BEFORE")) (afterf (gensym "AFTER"))) `(flet (,@(when before - `((,beforef (,@(when streamp `(,stream)) ,@(when pathnamep `(,pathname))) ,@before))) + `((,beforef (,@(when streamp `(,stream)) ,@(when pathnamep `(,pathname))) + ,@(when after `((declare (ignorable ,pathname)))) + ,@before))) ,@(when after (assert pathnamep) `((,afterf (,pathname) ,@after)))) @@ -4120,7 +4137,7 @@ This is designed to abstract away the implementation specific quit forms." #+(or cmu scl) (unix:unix-exit code) #+ecl (si:quit code) #+gcl (system:quit code) - #+genera (error "You probably don't want to Halt the Machine. (code: ~S)" code) + #+genera (error "~S: You probably don't want to Halt Genera. (code: ~S)" 'quit code) #+lispworks (lispworks:quit :status code :confirm nil :return nil :ignore-errors-p t) #+mcl (progn code (ccl:quit)) ;; or should we use FFI to call libc's exit(3) ? #+mkcl (mk-ext:quit :exit-code code) @@ -4144,8 +4161,8 @@ This is designed to abstract away the implementation specific quit forms." (declare (ignorable stream count condition)) #+abcl (loop :for i :from 0 - :for frame :in (sys:backtrace (or count most-positive-fixnum)) :do - (safe-format! stream "~&~D: ~A~%" i frame)) + :for frame :in (sys:backtrace (or count most-positive-fixnum)) :do + (safe-format! stream "~&~D: ~A~%" i frame)) #+allegro (let ((*terminal-io* stream) (*standard-output* stream) @@ -4169,20 +4186,20 @@ This is designed to abstract away the implementation specific quit forms." (debug:backtrace (or count most-positive-fixnum) stream)) #+(or ecl mkcl) (let* ((top (si:ihs-top)) - (repeats (if count (min top count) top)) - (backtrace (loop :for ihs :from 0 :below top + (repeats (if count (min top count) top)) + (backtrace (loop :for ihs :from 0 :below top :collect (list (si::ihs-fun ihs) (si::ihs-env ihs))))) (loop :for i :from 0 :below repeats - :for frame :in (nreverse backtrace) :do - (safe-format! stream "~&~D: ~S~%" i frame))) + :for frame :in (nreverse backtrace) :do + (safe-format! stream "~&~D: ~S~%" i frame))) #+gcl (let ((*debug-io* stream)) (ignore-errors (with-safe-io-syntax () - (if condition - (conditions::condition-backtrace condition) - (system::simple-backtrace))))) + (if condition + (conditions::condition-backtrace condition) + (system::simple-backtrace))))) #+lispworks (let ((dbg::*debugger-stack* (dbg::grab-stack nil :how-many (or count most-positive-fixnum))) @@ -4196,8 +4213,8 @@ This is designed to abstract away the implementation specific quit forms." stream) #+xcl (loop :for i :from 0 :below (or count most-positive-fixnum) - :for frame :in (extensions:backtrace-as-list) :do - (safe-format! stream "~&~D: ~S~%" i frame))) + :for frame :in (extensions:backtrace-as-list) :do + (safe-format! stream "~&~D: ~S~%" i frame))) (defun print-backtrace (&rest keys &key stream count condition) "Print a backtrace" @@ -4297,14 +4314,14 @@ if we are not called from a directly executable image." ;; SBCL and Allegro already separate user arguments from implementation arguments. #-(or sbcl allegro) (unless (eq *image-dumped-p* :executable) - ;; LispWorks command-line processing isn't transparent to the user - ;; unless you create a standalone executable; in that case, - ;; we rely on cl-launch or some other script to set the arguments for us. - #+lispworks (return *command-line-arguments*) - ;; On other implementations, on non-standalone executables, - ;; we trust cl-launch or whichever script starts the program - ;; to use -- as a delimiter between implementation arguments and user arguments. - #-lispworks (setf arguments (member "--" arguments :test 'string-equal))) + ;; LispWorks command-line processing isn't transparent to the user + ;; unless you create a standalone executable; in that case, + ;; we rely on cl-launch or some other script to set the arguments for us. + #+lispworks (return *command-line-arguments*) + ;; On other implementations, on non-standalone executables, + ;; we trust cl-launch or whichever script starts the program + ;; to use -- as a delimiter between implementation arguments and user arguments. + #-lispworks (setf arguments (member "--" arguments :test 'string-equal))) (rest arguments))) (defun argv0 () @@ -4339,7 +4356,7 @@ immediately to the surrounding restore process if allowed to continue. Then, comes the restore process itself: First, call each function in the RESTORE-HOOK, -in the order they were registered with REGISTER-RESTORE-HOOK. +in the order they were registered with REGISTER-IMAGE-RESTORE-HOOK. Second, evaluate the prelude, which is often Lisp text that is read, as per EVAL-INPUT. Third, call the ENTRY-POINT function, if any is specified, with no argument. @@ -4384,7 +4401,7 @@ of the function will be returned rather than interpreted as a boolean designatin (dump-hook *image-dump-hook*) #+clozure prepend-symbols #+clozure (purify t) #+sbcl compression - #+(and sbcl windows) application-type) + #+(and sbcl os-windows) application-type) "Dump an image of the current Lisp environment at pathname FILENAME, with various options. First, finalize the image, by evaluating the POSTLUDE as per EVAL-INPUT, then calling each of @@ -4458,7 +4475,7 @@ or COMPRESSION on SBCL, and APPLICATION-TYPE on SBCL/Windows." (when compression (list :compression compression)) ;;--- only save runtime-options for standalone executables (when executable (list :toplevel #'restore-image :save-runtime-options t)) - #+(and sbcl windows) ;; passing :application-type :gui will disable the console window. + #+(and sbcl os-windows) ;; passing :application-type :gui will disable the console window. ;; the default is :console - only works with SBCL 1.1.15 or later. (when application-type (list :application-type application-type))))) #-(or allegro clisp clozure cmu gcl lispworks sbcl scl) @@ -5295,7 +5312,7 @@ It returns a process-info plist with possible keys: #+(or allegro clozure cmu (and lispworks os-unix) sbcl scl) (%wait-process-result (apply '%run-program (%normalize-system-command command) :wait t keys)) - #+(or abcl cormanlisp clisp ecl gcl (and lispworks os-windows) mkcl xcl) + #+(or abcl cormanlisp clisp ecl gcl genera (and lispworks os-windows) mkcl xcl) (let ((%command (%redirected-system-command command input output error-output directory))) #+(and lispworks os-windows) (system:call-system %command :current-directory directory :wait t) @@ -5312,6 +5329,8 @@ It returns a process-info plist with possible keys: (*error-output* *stderr*)) (ext:system %command)) #+gcl (system:system %command) + #+genera (error "~S not supported on Genera, cannot run ~S" + '%system %command) #+mcl (ccl::with-cstrs ((%%command %command)) (_system %%command)) #+mkcl (mkcl:system %command) #+xcl (system:%run-shell-command %command)))) @@ -6342,7 +6361,7 @@ this function tries to locate the Windows FOLDER for one of "Map the VALIDATOR across the .conf files in DIRECTORY, the TAG will be applied to the results to yield a configuration form. Current values of TAG include :source-registry and :output-translations." - (let ((files (sort (ignore-errors + (let ((files (sort (ignore-errors ;; SORT w/o COPY-LIST is OK: DIRECTORY returns a fresh list (remove-if 'hidden-pathname-p (directory* (make-pathname :name *wild* :type "conf" :defaults directory)))) @@ -6568,7 +6587,8 @@ directive.") :uiop/run-program :uiop/lisp-build :uiop/configuration :uiop/backward-driver)) -#+mkcl (provide :uiop) +;; Provide both lowercase and uppercase, to satisfy more people. +(provide "uiop") (provide "UIOP") ;;;; ------------------------------------------------------------------------- ;;;; Handle upgrade as forward- and backward-compatibly as possible ;; See https://bugs.launchpad.net/asdf/+bug/485687 @@ -6638,7 +6658,7 @@ previously-loaded version of ASDF." ;; "3.4.5.67" would be a development version in the official branch, on top of 3.4.5. ;; "3.4.5.0.8" would be your eighth local modification of official release 3.4.5 ;; "3.4.5.67.8" would be your eighth local modification of development version 3.4.5.67 - (asdf-version "3.1.2") + (asdf-version "3.1.3") (existing-version (asdf-version))) (setf *asdf-version* asdf-version) (when (and existing-version (not (equal asdf-version existing-version))) @@ -6650,26 +6670,26 @@ previously-loaded version of ASDF." (when-upgrading () (let ((redefined-functions ;; gf signature and/or semantics changed incompatibly. Oops. - ;; NB: it's too late to do anything about functions in UIOP! - ;; If you introduce some critically incompatibility there, you must change name. + ;; NB: it's too late to do anything about functions in UIOP! + ;; If you introduce some critically incompatibility there, you must change name. '(#:component-relative-pathname #:component-parent-pathname ;; component #:source-file-type #:find-system #:system-source-file #:system-relative-pathname ;; system - #:find-component ;; find-component - #:explain #:perform #:perform-with-restarts #:input-files #:output-files ;; action - #:component-depends-on #:operation-done-p #:component-depends-on - #:traverse ;; backward-interface + #:find-component ;; find-component + #:explain #:perform #:perform-with-restarts #:input-files #:output-files ;; action + #:component-depends-on #:operation-done-p #:component-depends-on + #:traverse ;; backward-interface #:map-direct-dependencies #:reduce-direct-dependencies #:direct-dependencies ;; plan - #:operate ;; operate - #:parse-component-form ;; defsystem - #:apply-output-translations ;; output-translations - #:process-output-translations-directive - #:inherit-source-registry #:process-source-registry ;; source-registry - #:process-source-registry-directive - #:trivial-system-p)) ;; bundle - (redefined-classes + #:operate ;; operate + #:parse-component-form ;; defsystem + #:apply-output-translations ;; output-translations + #:process-output-translations-directive + #:inherit-source-registry #:process-source-registry ;; source-registry + #:process-source-registry-directive + #:trivial-system-p)) ;; bundle + (redefined-classes ;; redefining the classes causes interim circularities - ;; with the old ASDF during upgrade, and many implementations bork + ;; with the old ASDF during upgrade, and many implementations bork '((#:compile-concatenated-source-op (#:operation) ())))) (loop :for name :in redefined-functions :for sym = (find-symbol* name :asdf nil) :do @@ -6677,12 +6697,12 @@ previously-loaded version of ASDF." ;; On CLISP we seem to be unable to fmakunbound and define a function in the same fasl. Sigh. #-clisp (fmakunbound sym))) (labels ((asym (x) (multiple-value-bind (s p) (if (consp x) (values (car x) (cadr x)) (values x :asdf)) - (find-symbol* s p nil))) - (asyms (l) (mapcar #'asym l))) + (find-symbol* s p nil))) + (asyms (l) (mapcar #'asym l))) (loop* :for (name superclasses slots) :in redefined-classes - :for sym = (find-symbol* name :asdf nil) - :when (and sym (find-class sym)) - :do (eval `(defclass ,sym ,(asyms superclasses) ,(asyms slots))))))) + :for sym = (find-symbol* name :asdf nil) + :when (and sym (find-class sym)) + :do (eval `(defclass ,sym ,(asyms superclasses) ,(asyms slots))))))) ;;; Self-upgrade functions @@ -7143,8 +7163,9 @@ in which the system specification (.asd file) is located." (:use :uiop/common-lisp :uiop :asdf/upgrade) (:export #:get-file-stamp #:compute-file-stamp #:register-file-stamp #:set-asdf-cache-entry #:unset-asdf-cache-entry #:consult-asdf-cache - #:do-asdf-cache #:normalize-namestring - #:call-with-asdf-cache #:with-asdf-cache #:*asdf-cache*)) + #:do-asdf-cache #:normalize-namestring + #:call-with-asdf-cache #:with-asdf-cache #:*asdf-cache* + #:clear-configuration-and-retry #:retry)) (in-package :asdf/cache) ;;; This stamp cache is useful for: @@ -7180,8 +7201,17 @@ in which the system specification (.asd file) is located." (let ((fun (if key #'(lambda () (consult-asdf-cache key thunk)) thunk))) (if (and *asdf-cache* (not override)) (funcall fun) - (let ((*asdf-cache* (make-hash-table :test 'equal))) - (funcall fun))))) + (loop + (restart-case + (let ((*asdf-cache* (make-hash-table :test 'equal))) + (return (funcall fun))) + (retry () + :report (lambda (s) + (format s (compatfmt "~@<Retry ASDF operation.~@:>")))) + (clear-configuration-and-retry () + :report (lambda (s) + (format s (compatfmt "~@<Retry ASDF operation after resetting the configuration.~@:>"))) + (clear-configuration))))))) (defmacro with-asdf-cache ((&key key override) &body body) `(call-with-asdf-cache #'(lambda () ,@body) :override ,override :key ,key)) @@ -7308,8 +7338,8 @@ of which is a system object.") (defun clear-defined-systems () ;; Invalidate all systems but ASDF itself, if registered. (loop :for name :being :the :hash-keys :of *defined-systems* - :unless (equal name "asdf") - :do (clear-defined-system name))) + :unless (equal name "asdf") + :do (clear-defined-system name))) (register-hook-function '*post-upgrade-cleanup-hook* 'clear-defined-systems nil) @@ -7562,82 +7592,73 @@ but not loaded in memory" Returns five values: FOUNDP FOUND-SYSTEM PATHNAME PREVIOUS PREVIOUS-TIME FOUNDP is true when a system was found, either a new unregistered one or a previously registered one. -FOUND-SYSTEM when not null is a SYSTEM object that may be REGISTER-SYSTEM'ed as is -PATHNAME when not null is a path from where to load the system, +FOUND-SYSTEM when not null is a SYSTEM object that may be REGISTER-SYSTEM'ed. +PATHNAME when not null is a path from which to load the system, either associated with FOUND-SYSTEM, or with the PREVIOUS system. PREVIOUS when not null is a previously loaded SYSTEM object of same name. PREVIOUS-TIME when not null is the time at which the PREVIOUS system was loaded." - (with-asdf-cache (:key `(locate-system ,name)) - (let* ((name (coerce-name name)) - (in-memory (system-registered-p name)) ; load from disk if absent or newer on disk - (previous (cdr in-memory)) - (previous (and (typep previous 'system) previous)) - (previous-time (car in-memory)) - (found (search-for-system-definition name)) - (found-system (and (typep found 'system) found)) - (pathname (ensure-pathname - (or (and (typep found '(or pathname string)) (pathname found)) - (and found-system (system-source-file found-system)) - (and previous (system-source-file previous))) - :want-absolute t :resolve-symlinks *resolve-symlinks*)) - (foundp (and (or found-system pathname previous) t))) - (check-type found (or null pathname system)) - (unless (check-not-old-asdf-system name pathname) - (cond - (previous (setf found nil pathname nil)) - (t - (setf found (sysdef-preloaded-system-search "asdf")) - (assert (typep found 'system)) - (setf found-system found pathname nil)))) - (values foundp found-system pathname previous previous-time)))) + (let* ((name (coerce-name name)) + (in-memory (system-registered-p name)) ; load from disk if absent or newer on disk + (previous (cdr in-memory)) + (previous (and (typep previous 'system) previous)) + (previous-time (car in-memory)) + (found (search-for-system-definition name)) + (found-system (and (typep found 'system) found)) + (pathname (ensure-pathname + (or (and (typep found '(or pathname string)) (pathname found)) + (and found-system (system-source-file found-system)) + (and previous (system-source-file previous))) + :want-absolute t :resolve-symlinks *resolve-symlinks*)) + (foundp (and (or found-system pathname previous) t))) + (check-type found (or null pathname system)) + (unless (check-not-old-asdf-system name pathname) + (cond + (previous (setf found nil pathname nil)) + (t + (setf found (sysdef-preloaded-system-search "asdf")) + (assert (typep found 'system)) + (setf found-system found pathname nil)))) + (values foundp found-system pathname previous previous-time))) (defmethod find-system ((name string) &optional (error-p t)) (with-asdf-cache (:key `(find-system ,name)) (let ((primary-name (primary-system-name name))) (unless (equal name primary-name) (find-system primary-name nil))) - (loop - (restart-case - (multiple-value-bind (foundp found-system pathname previous previous-time) - (locate-system name) - (when (and found-system (eq found-system previous) - (or (first (gethash `(find-system ,name) *asdf-cache*)) - (and *immutable-systems* (gethash name *immutable-systems*)))) - (return found-system)) - (assert (eq foundp (and (or found-system pathname previous) t))) - (let ((previous-pathname (and previous (system-source-file previous))) - (system (or previous found-system))) - (when (and found-system (not previous)) - (register-system found-system)) - (when (and system pathname) - (setf (system-source-file system) pathname)) - (when (and pathname - (let ((stamp (get-file-stamp pathname))) - (and stamp - (not (and previous - (or (pathname-equal pathname previous-pathname) - (and pathname previous-pathname - (pathname-equal - (physicalize-pathname pathname) - (physicalize-pathname previous-pathname)))) - (stamp<= stamp previous-time)))))) - ;; only load when it's a pathname that is different or has newer content, and not an old asdf - (load-asd pathname :name name))) - (let ((in-memory (system-registered-p name))) ; try again after loading from disk if needed - (return - (cond - (in-memory - (when pathname - (setf (car in-memory) (get-file-stamp pathname))) - (cdr in-memory)) - (error-p - (error 'missing-component :requires name)))))) - (reinitialize-source-registry-and-retry () - :report (lambda (s) - (format s (compatfmt "~@<Retry finding system ~A after reinitializing the source-registry.~@:>") name)) - (unset-asdf-cache-entry `(locate-system ,name)) - (initialize-source-registry))))))) - + (or (and *immutable-systems* (gethash name *immutable-systems*) + (cdr (system-registered-p name))) + (multiple-value-bind (foundp found-system pathname previous previous-time) + (locate-system name) + (assert (eq foundp (and (or found-system pathname previous) t))) + (let ((previous-pathname (and previous (system-source-file previous))) + (system (or previous found-system))) + (when (and found-system (not previous)) + (register-system found-system)) + (when (and system pathname) + (setf (system-source-file system) pathname)) + (when (and pathname + (let ((stamp (get-file-stamp pathname))) + (and stamp + (not (and previous + (or (pathname-equal pathname previous-pathname) + (and pathname previous-pathname + (pathname-equal + (physicalize-pathname pathname) + (physicalize-pathname previous-pathname)))) + (stamp<= stamp previous-time)))))) + ;; only load when it's a pathname that is different or has newer content, and not an old asdf + (load-asd pathname :name name))) + (let ((in-memory (system-registered-p name))) ; try again after loading from disk if needed + (cond + (in-memory + (when pathname + (setf (car in-memory) (get-file-stamp pathname))) + (cdr in-memory)) + (error-p + (error 'missing-component :requires name)) + (t ;; not found: don't keep negative cache, see lp#1335323 + (unset-asdf-cache-entry `(locate-system ,name)) + (return-from find-system nil))))))))) ;;;; ------------------------------------------------------------------------- ;;;; Finding components @@ -7747,10 +7768,10 @@ PREVIOUS-TIME when not null is the time at which the PREVIOUS system was loaded. (and (typep c 'missing-dependency) (eq (missing-required-by c) component) (equal (missing-requires c) name)))) - (unless (component-parent component) - (let ((name (coerce-name name))) - (unset-asdf-cache-entry `(find-system ,name)) - (unset-asdf-cache-entry `(locate-system ,name)))))))) + (unless (component-parent component) + (let ((name (coerce-name name))) + (unset-asdf-cache-entry `(find-system ,name)) + (unset-asdf-cache-entry `(locate-system ,name)))))))) (defun resolve-dependency-spec (component dep-spec) @@ -9048,7 +9069,8 @@ The default operation may change in the future if we implement a component-directed strategy for how to load or compile systems.") (defmethod component-depends-on ((o prepare-op) (s system)) - `((,*load-system-operation* ,@(component-sideway-dependencies s)))) + (loop :for (o . cs) :in (call-next-method) + :collect (cons (if (eq o 'load-op) *load-system-operation* o) cs))) (defclass build-op (non-propagating-operation) () (:documentation "Since ASDF3, BUILD-OP is the recommended 'master' operation, @@ -9059,7 +9081,8 @@ as a symbol or as a string later read as a symbol (after loading the defsystem-d if NIL is specified (the default), BUILD-OP falls back to the *LOAD-SYSTEM-OPERATION* that will load the system in the current image, and its typically LOAD-OP.")) (defmethod component-depends-on ((o build-op) (c component)) - `((,(or (component-build-operation c) *load-system-operation*) ,c))) + `((,(or (component-build-operation c) *load-system-operation*) ,c) + ,@(call-next-method))) (defun make (system &rest keys) "The recommended way to interact with ASDF3.1 is via (ASDF:MAKE :FOO). @@ -9163,8 +9186,8 @@ the implementation's REQUIRE rather than by internal ASDF mechanisms.")) (defun restart-upgraded-asdf () ;; If we're in the middle of something, restart it. (when *asdf-cache* - (let ((l (loop* :for (x y) :being :the hash-keys :of *asdf-cache* - :when (eq x 'find-system) :collect y))) + (let ((l (loop :for k :being :the hash-keys :of *asdf-cache* + :when (eq (first k) 'find-system) :collect (second k)))) (clrhash *asdf-cache*) (dolist (s l) (find-system s nil))))) (register-hook-function '*post-upgrade-restart-hook* 'restart-upgraded-asdf)) @@ -10683,7 +10706,7 @@ To continue, push :asdf-use-unsafe-mac-bundle-op onto *FEATURES*.~%~T~ Please report to ASDF-DEVEL if this works for you."))) -;;; Backward compatibility with pre-3.1.1 names +;;; Backward compatibility with pre-3.1.2 names (defclass fasl-op (selfward-operation) ((selfward-operation :initform 'compile-bundle-op :allocation :class))) (defclass load-fasl-op (selfward-operation) @@ -10976,7 +10999,7 @@ Please use UIOP:RUN-PROGRAM instead." (in-package :asdf/package-inferred-system) (with-upgradability () - (defparameter *defpackage-forms* '(cl:defpackage uiop:define-package)) + (defparameter *defpackage-forms* '(defpackage define-package)) (defun initial-package-inferred-systems-table () (let ((h (make-hash-table :test 'equal))) @@ -11222,11 +11245,13 @@ otherwise return a default system name computed from PACKAGE-NAME." #:package-inferred-system-missing-package-error #:operation-definition-warning #:operation-definition-error - #:try-recompiling + #:try-recompiling ; restarts #:retry - #:accept ; restarts + #:accept #:coerce-entry-to-directory #:remove-entry-from-registry + #:clear-configuration-and-retry + #:*encoding-detection-hook* #:*encoding-external-format-hook* @@ -11262,14 +11287,15 @@ otherwise return a default system name computed from PACKAGE-NAME." #:user-source-registry #:system-source-registry #:user-source-registry-directory - #:system-source-registry-directory)) + #:system-source-registry-directory + )) ;;;; --------------------------------------------------------------------------- ;;;; ASDF-USER, where the action happens. (uiop/package:define-package :asdf/user (:nicknames :asdf-user) - ;; NB: releases before 3.1.1 this :use'd only uiop/package instead of uiop below. + ;; NB: releases before 3.1.2 this :use'd only uiop/package instead of uiop below. ;; They also :use'd uiop/common-lisp, that reexports common-lisp and is not included in uiop. ;; ASDF3 releases from 2.27 to 2.31 called uiop asdf-driver and asdf/foo uiop/foo. ;; ASDF1 and ASDF2 releases (2.26 and earlier) create a temporary package ----------------------------------------------------------------------- Summary of changes: src/contrib/asdf/asdf.lisp | 324 ++++++++++++++++++++++++-------------------- 1 file changed, 175 insertions(+), 149 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp annotated tag snapshot-2014-02 created. snapshot-2014-02
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-02 has been created at 4f494840e0d6c784941f252f77f041ed864da0ce (tag) tagging c96b5d32cec8300cccfcbcfc25211621a145f527 (commit) replaces snapshot-2014-01 tagged by Raymond Toy on Mon Feb 3 17:40:45 2014 -0800 - Log ----------------------------------------------------------------- Snapshot 2014-02 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) iEYEABECAAYFAlLwRScACgkQJ5IjUmgZO7ILmwCdGStocYPOWFLgNsvATjOvexD4 lSAAn3KVtsgyKWevH4l+OfHXAHjuOQx5 =jqBT -----END PGP SIGNATURE----- Raymond Toy (12): Use truename of *load-pathname*. Use the correct syntax to match Power Mac for uname -m. In trac.65, make comparison test an assertion test to show failures In the summary, print out all test failures and errors. Fix complex multiply vop. Update. Copy src/pcl/simple-streams/rt/simple-streams-tests.lisp to Convert to using lisp-unit. Disable the two inet tests since the echo Remove the zero checking of the heap. Allow stack-tn's to be accessed in the float arith vops. Simplify the macros that generate the basic float operations. Update from commit logs. ----------------------------------------------------------------------- hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-12-a-42-g894af6c
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 894af6c4aaa3b83f3c13d2e59735c33f79abdc20 (commit) via 15d3bbe341280c08855d07dc6664c0fd17b27636 (commit) via e5bfd82b999468624a09dad92189843f08eac5b2 (commit) from f849f4dba02f2b41d78ffe21d43be5b184aa7cdf (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 894af6c4aaa3b83f3c13d2e59735c33f79abdc20 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Dec 23 10:40:03 2013 -0800 Add tests for the branch cut for atanh. Not clear that this is correct because atanh(-2) appears to be wrong. diff --git a/tests/trig.lisp b/tests/trig.lisp index 9565ef5..05437e5 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -725,3 +725,66 @@ (get-signs (acosh-def #c(0.25d0 -1d-20))) (assert-true (check-signs #'acosh #c(0.25d0 -0d0) tr ti)) (assert-true (check-signs #'acosh #c(0.25w0 -0w0) tr ti)))) + +;; atanh(z) = 1/2*(log(1+z) - log(1-z)) +;; +;; The branch cut is on the real axis for |x| > 1. For x < -1, it is +;; continuous with Quadrant III. For x > 1, it is continuous with +;; quadrant I. +;; +;; NOTE: The rules above are what is given by the CLHS. However, +;; consider the value of atanh(-2) and atanh(-2-0.0*i) +;; +;; atanh(-2) = 1/2*(log(1-2) - log(1+2)) +;; = 1/2*(log(-1) - log(3)) +;; = 1/2*(i*pi - log(3)) +;; = -1/2*log(3) + i*pi/2 +;; +;; atanh(-2-0*i) = 1/2*(log(1+(-2-0*i)) - log(1-(-2-0*i))) +;; = 1/2*(log(-1-0*i) - log(3-0*i)) +;; = 1/2*(-i*pi - log(3)) +;; = -1/2*log(3) - i*pi/2 +;; +;; atanh(-2+0*i) = 1/2*(log(1+(-2+0*i)) - log(1-(-2+0*i))) +;; = 1/2*(log(-1+0*i) - log(3-0*i)) +;; = 1/2*(i*pi - log(3)) +;; = -1/2*log(3) + i*pi/2 +;; +;; Thus, atanh(-2) is continuous with Quadrant II, NOT continuous with +;; Quadrant III! +;; +;; What do we do? +(defun atanh-def (z) + (r*z 1/2 + (- (log (1+z z)) + (log (1-z z))))) + +(define-test branch-cut.atanh + (:tag :atanh :branch-cuts) + ;; Test for x < -1, which is continuous with Quadrant III. Use the + ;; the value at #c(-2d0 -1d-20) as the reference. + (multiple-value-bind (tr ti) + (get-signs (atanh-def #c(-2d0 -1d-20))) + (assert-true (check-signs #'atanh -2d0 tr ti)) + (assert-true (check-signs #'atanh -2w0 tr ti)) + (assert-true (check-signs #'atanh #c(-2d0 -0d0) tr ti)) + (assert-true (check-signs #'atanh #c(-2w0 -0w0) tr ti))) + ;; Test the other side of the branch cut for x < -1. + (multiple-value-bind (tr ti) + (get-signs (atanh-def #c(-2d0 +1d-20))) + (assert-true (check-signs #'atanh #c(-2d0 0d0) tr ti)) + (assert-true (check-signs #'atanh #c(-2w0 0w0) tr ti))) + + ;; Test for x > 1, which is continuous with Quadrant I, using the + ;; value at #c(+2d0 1d-10) as the reference + (multiple-value-bind (tr ti) + (get-signs (atanh-def #c(2d0 1d-20))) + (assert-true (check-signs #'atanh 2d0 tr ti)) + (assert-true (check-signs #'atanh 2w0 tr ti)) + (assert-true (check-signs #'atanh #c(2d0 0) tr ti)) + (assert-true (check-signs #'atanh #c(2w0 0) tr ti))) + ;; Test the other side of the branch cut for x > 1. + (multiple-value-bind (tr ti) + (get-signs (atanh-def #c(2d0 -1d-20))) + (assert-true (check-signs #'atanh #c(2d0 -0d0) tr ti)) + (assert-true (check-signs #'atanh #c(2w0 -0w0) tr ti)))) commit 15d3bbe341280c08855d07dc6664c0fd17b27636 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Dec 23 08:36:22 2013 -0800 Add tests for the branch cuts for asinh and acosh, and some fixes. o Add function R-Z to compute r - z carefully. (For definition of acos) o Add function R*Z to compute r*z carefully, For acos and acosh. o Add tests for asinh and acosh. diff --git a/tests/trig.lisp b/tests/trig.lisp index 011aeaf..9565ef5 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -468,6 +468,13 @@ (complex (- 1 (realpart z)) (- (imagpart z))) (- 1 z))) +(defun z-1 (z) + (if (complexp z) + (complex (- (realpart z) 1) + (imagpart z)) + (- z 1))) + + ;; 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) @@ -475,12 +482,24 @@ (complex (+ 1 (realpart z)) (imagpart z)) (+ 1 z))) +(defun r-z (r z) + (if (complexp z) + (complex (- r (realpart z)) + (- (imagpart z))) + (- r 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))) +;; Carefully compute r*z, where r is a real value and z is complex. +(defun r*z (r z) + (if (complexp z) + (complex (* r (realpart z)) (* r (imagpart z))) + (* r z))) + ;; asin(x) = -i*log(i*x + sqrt(1-x^2)) ;; ;; The branch cut is the real axis |x| > 1. For x < -1, it is @@ -529,10 +548,10 @@ ;; 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)))) + (r-z (/ kernel:dd-pi 2) + (asin-def z)) + (r-z (/ pi 2) + (asin-def z)))) (define-test branch-cut.acos (:tag :acos :branch-cuts) @@ -601,7 +620,7 @@ (let* ((iz (i*z z)) (w (- (log (1+z iz)) (log (1-z iz))))) - (* -1/2 (i*z w)))) + (r*z -1/2 (i*z w)))) (define-test branch-cut.atan (:tag :atan :branch-cuts) @@ -628,3 +647,81 @@ (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)))) + +;; asinh(z) = log(z + sqrt(1+z^2)) +;; +;; The branch cut is the imaginary axis with |y| > 1. For y > 1, asinh +;; is continuous with Quadrant I. For y < -1, it is continuous with +;; Quadrant III. + +(defun asinh-def (z) + (log (+ z (sqrt (1+z (* z z)))))) + +(define-test branch-cut.asinh + (:tag :asinh :branch-cuts) + ;; Test for y < -1, which is continuous with Quadrant I. Use the + ;; value at #c(1d-20 -2d0) as the reference. + (multiple-value-bind (tr ti) + (get-signs (asinh-def #c(1d-20 -2d0))) + (assert-true (check-signs #'asinh #c(0d0 -2d0) tr ti)) + (assert-true (check-signs #'asinh #c(0w0 -2w0) tr ti))) + ;; Test the other side of the branch cut for y < -1. + (multiple-value-bind (tr ti) + (get-signs (asinh-def #c(-1d-20 -2d0))) + (assert-true (check-signs #'asinh #c(-0d0 -2d0) tr ti)) + (assert-true (check-signs #'asinh #c(-0w0 -2w0) tr ti))) + + ;; Test for y > 1, which is continuous with Quadrant III, using the + ;; value at #c(-1d-20 +2d0) as the reference + (multiple-value-bind (tr ti) + (get-signs (asinh-def #c(-1d-20 2d0))) + (assert-true (check-signs #'asinh #c(-0d0 2d0) tr ti)) + (assert-true (check-signs #'asinh #c(-0w0 2w0) tr ti))) + ;; Test the other side of the branch cut for x > 1. + (multiple-value-bind (tr ti) + (get-signs (asinh-def #c(1d-20 2d0))) + (assert-true (check-signs #'asinh #c(0d0 2d0) tr ti)) + (assert-true (check-signs #'asinh #c(0d0 2w0) tr ti)))) + +;; acosh(z) = 2*log(sqrt((z+1)/2) + sqrt((z-1)/2)) +;; +;; The branch cut is along the real axis with x < 1. For x < 0, it is +;; continuous with Quadrant II. For 0< x < 1, it is continuous with +;; Quadrant I. + +(defun acosh-def (z) + (r*z 2 + (log (+ (sqrt (r*z 1/2 (1+z z))) + (sqrt (r*z 1/2 (z-1 z))))))) + + +(define-test branch-cut.acosh + (:tag :acosh :branch-cuts) + ;; Test for x < 0, which is continuous with Quadrant II. Use the + ;; value at #c(-2d0 1d-20) as a reference. + (multiple-value-bind (tr ti) + (get-signs (acosh-def #c(-2d0 1d-20))) + (assert-true (check-signs #'acosh -2d0 tr ti)) + ;;(assert-true (check-signs #'acosh -2w0 tr ti)) + (assert-true (check-signs #'acosh #c(-2d0 0) tr ti)) + ;;(assert-true (check-signs #'acosh #c(-2w0 0) tr ti)) + ) + ;; Test the other side of the branch cut for x < -1. + (multiple-value-bind (tr ti) + (get-signs (acosh-def #c(-2d0 -1d-20))) + (assert-true (check-signs #'acosh #c(-2d0 -0d0) tr ti)) + ;;(assert-true (check-signs #'acosh #c(-2w0 -0w0) tr ti)) + ) + + ;; Test for 0 < x < 1, which is continuous with Quadrant I, using the + ;; value at #c(0.25d0 1d-10) as the reference. + (multiple-value-bind (tr ti) + (get-signs (acosh-def #c(0.25d0 1d-20))) + (assert-true (check-signs #'acosh #c(0.25d0 0) tr ti)) + (assert-true (check-signs #'acosh #c(0.25w0 0) tr ti)) + ) + ;; Test the other side of the branch cut for 0 < x < 1. + (multiple-value-bind (tr ti) + (get-signs (acosh-def #c(0.25d0 -1d-20))) + (assert-true (check-signs #'acosh #c(0.25d0 -0d0) tr ti)) + (assert-true (check-signs #'acosh #c(0.25w0 -0w0) tr ti)))) commit e5bfd82b999468624a09dad92189843f08eac5b2 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Dec 23 00:16:43 2013 -0800 Float printer tests from reading the logs for print.lisp. diff --git a/tests/printer.lisp b/tests/printer.lisp new file mode 100644 index 0000000..b511f0b --- /dev/null +++ b/tests/printer.lisp @@ -0,0 +1,113 @@ +(defpackage :printer-tests + (:use :cl :lisp-unit)) + +(in-package "PRINTER-TESTS") + +(define-test format.float.1 + (assert-equal ".0000" + (format nil "~5F" 1d-10)) + (assert-equal "0.000" + (format nil "~,3F" 0.000001))) + +(define-test format.float.2 + (assert-equal " 0.990E+00" (format nil "~11,3,2,0,'*,,'EE" .99)) + (assert-equal " 0.999E+00" (format nil "~11,3,2,0,'*,,'EE" .999)) + (assert-equal " 0.100E+01" (format nil "~11,3,2,0,'*,,'EE" .9999)) + (assert-equal " 0.999E-04" (format nil "~11,3,2,0,'*,,'EE" .0000999)) + (assert-equal " 0.100E-03" (format nil "~11,3,2,0,'*,,'EE" .00009999)) + (assert-equal " 9.999E-05" (format nil "~11,3,2,,'*,,'EE" .00009999)) + (assert-equal " 1.000E-04" (format nil "~11,3,2,,'*,,'EE" .000099999))) + +(define-test format.float.3 + (assert-equal ".00123d+6" (format nil "~9,,,-2E" 1.2345689d3)) + (assert-equal "-.0012d+6" (format nil "~9,,,-2E" -1.2345689d3)) + (assert-equal ".00123d+0" (format nil "~9,,,-2E" 1.2345689d-3)) + (assert-equal "-.0012d+0" (format nil "~9,,,-2E" -1.2345689d-3))) + +(define-test format.float.4 + (assert-equal "0.314e-01" (format nil "~9,3,2,0,'%G" 0.0314159)) + (assert-equal "+.003e+03" (format nil "~9,3,2,-2,'%@e" 3.14159)) + (assert-equal " 31.42" (format nil "~6,2,1,'*F" 3.14159)) + (assert-equal " 3141590." (format nil "~9,0,6f" 3.14159)) + + (assert-equal ".00000003d+8" (format nil "~9,4,,-7E" pi)) + (assert-equal ".000003d+6" (format nil "~9,4,,-5E" pi)) + (assert-equal "3141600.d-6" (format nil "~5,4,,7E" pi)) + (assert-equal " 314.16d-2" (format nil "~11,4,,3E" pi)) + (assert-equal " 31416.d-4" (format nil "~11,4,,5E" pi)) + (assert-equal " 0.3142d+1" (format nil "~11,4,,0E" pi)) + (assert-equal ".03142d+2" (format nil "~9,,,-1E" pi)) + (assert-equal "0.003141592653589793d+3" (format nil "~,,,-2E" pi)) + (assert-equal "31.41592653589793d-1" (format nil "~,,,2E" pi)) + (assert-equal "3.141592653589793d+0" (format nil "~E" pi)) + (assert-equal ".03142d+2" (format nil "~9,5,,-1E" pi)) + (assert-equal " 0.03142d+2" (format nil "~11,5,,-1E" pi)) + (assert-equal "3.141592653589793 " (format nil "~G" pi)) + (assert-equal "3.1416 " (format nil "~9,5G" pi)) + (assert-equal "| 3141593.d-06|" (format nil "|~13,6,2,7E|" pi)) + (assert-equal "0.314d+01" (format nil "~9,3,2,0,'%E" pi)) + (assert-equal " 3141593." (format nil "~9,0,6f" pi)) + (assert-equal " 31.42" (format nil "~6,2,1,'*F" pi)) + (assert-equal "******" (format nil "~6,2,1,'*F" (* 100 pi))) + (assert-equal "+.003d+03" (format nil "~9,3,2,-2,'%@E" pi)) + (assert-equal "+0.003d+03" (format nil "~10,3,2,-2,'%@E" pi)) + (assert-equal "=====+0.003d+03" (format nil "~15,3,2,-2,'%,'=@E" pi)) + (assert-equal "0.003d+03" (format nil "~9,3,2,-2,'%E" pi)) + (assert-equal "%%%%%%%%" (format nil "~8,3,2,-2,'%@E" pi)) + + (assert-equal "1. " (format nil "~g" 1e0)) + + (assert-equal "0.0e+0" (format nil "~e" 0)) + (assert-equal "0.0d+0" (format nil "~e" 0d0)) + (assert-equal "0.0d+0000" (format nil "~9,,4e" 0d0)) + (assert-equal "1.2345678901234567d+4" (format nil "~E" 1.234567890123456789d4)) + + (assert-equal "1.32922799578492d+36" (format nil "~20E" (expt 2d0 120))) + (assert-equal " 1.32922800d+36" (format nil "~21,8E" (expt 2d0 120))) + + (assert-equal ".0012345679" (format nil "~11f" 1.23456789123456789d-3))) + +(define-test format.float.5 + ;; From CLHS 22.3.11 + (flet ((test-f (x) + (format nil "~6,2F|~6,2,1,'*F|~6,2,,'?F|~6F|~,2F|~F" + x x x x x x))) + (assert-equal " 3.14| 31.42| 3.14|3.1416|3.14|3.14159" (test-f 3.14159)) + (assert-equal " -3.14|-31.42| -3.14|-3.142|-3.14|-3.14159" (test-f -3.14159)) + (assert-equal "100.00|******|100.00| 100.0|100.00|100.0" (test-f 100.0)) + (assert-equal "1234.00|******|??????|1234.0|1234.00|1234.0" (test-f 1234.0)) + (assert-equal " 0.01| 0.06| 0.01| 0.006|0.01|0.006" (test-f 0.006)))) + +(define-test format.float.6 + (flet ((test-e (x) + (format nil + "~9,2,1,,'*E|~10,3,2,2,'?,,'$E|~ + ~9,3,2,-2,'%@E|~9,2E" + x x x x))) + + (assert-equal " 3.14e+0| 31.42$-01|+.003e+03| 3.14e+0" (test-e 3.14159)) + (assert-equal " -3.14e+0|-31.42$-01|-.003e+03| -3.14e+0" (test-e -3.14159)) + (assert-equal " 1.10e+3| 11.00$+02|+.001e+06| 1.10e+3" (test-e 1100.0)) + (assert-equal " 1.10d+3| 11.00$+02|+.001d+06| 1.10d+3" (test-e 1100.0d0)) + (assert-equal "*********| 11.00$+12|+.001e+16| 1.10e+13" (test-e 1.1e13)) + (assert-equal "*********|??????????|%%%%%%%%%|1.10d+120" (test-e 1.1d120)))) + +(define-test format.float.7 + (flet ((test-scale (k) + (format nil "~&Scale factor ~2D: |~13,6,2,VE|" + (- k 5) (- k 5) 3.14159))) + + (assert-equal "Scale factor -5: | 0.000003e+06|" (test-scale 0)) + (assert-equal "Scale factor -4: | 0.000031e+05|" (test-scale 1)) + (assert-equal "Scale factor -3: | 0.000314e+04|" (test-scale 2)) + (assert-equal "Scale factor -2: | 0.003142e+03|" (test-scale 3)) + (assert-equal "Scale factor -1: | 0.031416e+02|" (test-scale 4)) + (assert-equal "Scale factor 0: | 0.314159e+01|" (test-scale 5)) + (assert-equal "Scale factor 1: | 3.141590e+00|" (test-scale 6)) + (assert-equal "Scale factor 2: | 31.41590e-01|" (test-scale 7)) + (assert-equal "Scale factor 3: | 314.1590e-02|" (test-scale 8)) + (assert-equal "Scale factor 4: | 3141.590e-03|" (test-scale 9)) + (assert-equal "Scale factor 5: | 31415.90e-04|" (test-scale 10)) + (assert-equal "Scale factor 6: | 314159.0e-05|" (test-scale 11)) + (assert-equal "Scale factor 7: | 3141590.e-06|" (test-scale 12)))) + ----------------------------------------------------------------------- Summary of changes: tests/printer.lisp | 113 ++++++++++++++++++++++++++++++++++ tests/trig.lisp | 170 ++++++++++++++++++++++++++++++++++++++++++++++++++-- 2 files changed, 278 insertions(+), 5 deletions(-) create mode 100644 tests/printer.lisp hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-02-10-g8a5b49e
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 8a5b49ec0af3c4cad29a26e8dc3f9cee029fd67d (commit) from 513c3b23e97cf7e1af4da202053bedf96e70cc44 (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 8a5b49ec0af3c4cad29a26e8dc3f9cee029fd67d Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Mar 1 08:31:17 2014 -0800 Update from recent changes. diff --git a/src/i18n/locale/cmucl.pot b/src/i18n/locale/cmucl.pot index 8ae0b93..f2b0c22 100644 --- a/src/i18n/locale/cmucl.pot +++ b/src/i18n/locale/cmucl.pot @@ -13084,7 +13084,11 @@ msgid "" " process changes. The function takes the process as an argument.\n" " :external-format -\n" " This is the external-format used for communication with the subproce" -"ss." +"ss.\n" +" :element-type -\n" +" When a stream is created for :input or :output, the stream\n" +" uses this element-type instead of the default 'BASE-CHAR type.\n" +"" msgstr "" #: src/code/run-program.lisp ----------------------------------------------------------------------- Summary of changes: src/i18n/locale/cmucl.pot | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-01-11-g82b30bf
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 82b30bfd476ba772e56547e05c30ba365f8db802 (commit) from b689cd596007d208b0eee38dfb1452a881e09072 (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 82b30bfd476ba772e56547e05c30ba365f8db802 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Jan 11 18:11:28 2014 -0800 Simplify the macros that generate the basic float operations. diff --git a/src/compiler/x86/float-sse2.lisp b/src/compiler/x86/float-sse2.lisp index bd82461..bfa6df9 100644 --- a/src/compiler/x86/float-sse2.lisp +++ b/src/compiler/x86/float-sse2.lisp @@ -756,10 +756,11 @@ (frob single-float-op single-reg single-float) (frob double-float-op double-reg double-float)) -(macrolet ((generate (movinst opinst commutative rtype ea ea-stack) - (let ((stack-sc (if (eq rtype 'single-reg) - 'single-stack - 'double-stack))) +(macrolet ((generate (movinst opinst commutative arg-type) + (multiple-value-bind (rtype stack-sc ea ea-stack) + (if (eq arg-type 'single) + (values 'single-reg 'single-stack 'ea-for-sf-desc 'ea-for-sf-stack) + (values 'double-reg 'double-stack 'ea-for-df-desc 'ea-for-df-stack)) `(progn (cond ((location= x r) @@ -810,7 +811,7 @@ (:translate ,op) (:temporary (:sc single-reg) tmp) (:generator ,scost - (generate movss ,sinst ,commutative single-reg ea-for-sf-desc ea-for-sf-stack))) + (generate movss ,sinst ,commutative single))) (define-vop (,dname double-float-op) (:args (x :scs (double-reg) :target r) (y :scs (double-reg descriptor-reg) @@ -818,7 +819,7 @@ (:translate ,op) (:temporary (:sc double-reg) tmp) (:generator ,dcost - (generate movsd ,dinst ,commutative double-reg ea-for-df-desc ea-for-df-stack)))))) + (generate movsd ,dinst ,commutative double)))))) (frob + addss +/single-float 2 addsd +/double-float 2 t) (frob - subss -/single-float 2 subsd -/double-float 2 nil) (frob * mulss */single-float 4 mulsd */double-float 5 t) ----------------------------------------------------------------------- Summary of changes: src/compiler/x86/float-sse2.lisp | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-13-g258101b
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 258101b2bc45125f6bd72dc2a1cf56e6baab821b (commit) from c5f98ef90641ec6912e35730b215eaf751841539 (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 258101b2bc45125f6bd72dc2a1cf56e6baab821b Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Tue Aug 19 21:31:04 2014 -0700 Make sure floating-point exceptions are signaled. The compiler sometimes constant folds operations so that floating-point exceptions are not signaled. However, lisp and other applications (maxima) currently expects these exceptions to be signaled. Make this happen by using feraiseexcept to force these signals when they are enabled. If feraiseexcept does not raise an exception (because it is masked), we return the appropriate value. Only a few files have been updated to support this. More work needed. * src/lisp/setexception.c: * New file. This is used by the routines to signal an appropriate exception or return the appropriate value. Uses feraiseexcept to do this, which should be available on all supported platforms. * src/lisp/GNUmakefile: * Add setexception.c to list of files to compile and link into lisp. * src/lisp/e_cosh.c: * Update to use the new routine.to signal exceptions. * src/lisp/e_sinh.c: * Update to use the new routine.to signal exceptions. * tests/trig.lisp: * Add tests to make sure exceptions are thrown for cosh and sinh. * Add tests to make sure that the correct value is returned when the floating point exception is masked. diff --git a/src/lisp/GNUmakefile b/src/lisp/GNUmakefile index 55a0b5b..c557d3b 100644 --- a/src/lisp/GNUmakefile +++ b/src/lisp/GNUmakefile @@ -11,7 +11,8 @@ FDLIBM = k_sin.c k_cos.c k_tan.c s_sin.c s_cos.c s_tan.c sincos.c \ e_cosh.c e_sinh.c s_tanh.c \ e_acosh.c s_asinh.c e_atanh.c \ e_atan2.c \ - e_rem_pio2.c k_rem_pio2.c + e_rem_pio2.c k_rem_pio2.c \ + setexception.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/e_cosh.c b/src/lisp/e_cosh.c index 1d2ac30..dc13fee 100644 --- a/src/lisp/e_cosh.c +++ b/src/lisp/e_cosh.c @@ -58,8 +58,14 @@ static double one = 1.0, half=0.5, huge = 1.0e307; ix &= 0x7fffffff; /* x is INF or NaN */ - if(ix>=0x7ff00000) return x*x; - + if(ix>=0x7ff00000) { + if (ix == 0x7ff00000 && (ux.i[LOWORD] == 0)) { + return fdlibm_setexception(fabs(x), FDLIBM_OVERFLOW); + } else { + return fdlibm_setexception(x, FDLIBM_INVALID); + } + } + /* |x| in [0,0.5*ln2], return 1+expm1(|x|)^2/(2*exp(|x|)) */ if(ix<0x3fd62e43) { t = fdlibm_expm1(fabs(x)); @@ -91,5 +97,5 @@ static double one = 1.0, half=0.5, huge = 1.0e307; } /* |x| > overflowthresold, cosh(x) overflow */ - return fabs(x)*huge; + return fdlibm_setexception(fabs(x), FDLIBM_OVERFLOW);; } diff --git a/src/lisp/e_sinh.c b/src/lisp/e_sinh.c index 76b3418..9d7aec8 100644 --- a/src/lisp/e_sinh.c +++ b/src/lisp/e_sinh.c @@ -55,7 +55,13 @@ static double one = 1.0, shuge = 1.0e307; ix = jx&0x7fffffff; /* x is INF or NaN */ - if(ix>=0x7ff00000) return x+x; + if(ix>=0x7ff00000) { + if (ix == 0x7ff00000 && (ux.i[LOWORD] == 0)) { + return fdlibm_setexception(x, FDLIBM_OVERFLOW); + } else { + return fdlibm_setexception(x, FDLIBM_INVALID); + } + }; h = 0.5; if (jx<0) h = -h; @@ -84,5 +90,5 @@ static double one = 1.0, shuge = 1.0e307; } /* |x| > overflowthresold, sinh(x) overflow */ - return x*shuge; + return fdlibm_setexception(x, FDLIBM_OVERFLOW);; } diff --git a/src/lisp/fdlibm.h b/src/lisp/fdlibm.h index 9d25664..abd6e80 100644 --- a/src/lisp/fdlibm.h +++ b/src/lisp/fdlibm.h @@ -57,5 +57,13 @@ extern double fdlibm_atan(double x); extern double __ieee754_exp(double x); extern double __ieee754_log(double x); +enum FDLIBM_EXCEPTION { + FDLIBM_DIVIDE_BY_ZERO, + FDLIBM_UNDERFLOW, + FDLIBM_OVERFLOW, + FDLIBM_INVALID +}; + +extern double fdlibm_setexception(double x, enum FDLIBM_EXCEPTION); #endif diff --git a/src/lisp/setexception.c b/src/lisp/setexception.c new file mode 100644 index 0000000..a0f568c --- /dev/null +++ b/src/lisp/setexception.c @@ -0,0 +1,55 @@ +#include <fenv.h> +#include <math.h> +#include <stdio.h> + +#include "fdlibm.h" + +/* + * Signal the floating-point exception of the given |type|, based on + * the value of |x|. + */ + +double +fdlibm_setexception(double x, enum FDLIBM_EXCEPTION type) +{ + double ret; + + switch (type) { + case 0: + /* Division by zero. Use the sign of x to get the correct + * signed infinity + */ + feraiseexcept(FE_DIVBYZERO); + + ret = copysign(INFINITY, x); + break; + case 1: + /* Underflow. Use the sign of x to get a signed zero. */ + feraiseexcept(FE_UNDERFLOW); + ret = copysign(0.0, x); + break; + case 2: + /* overflow */ + feraiseexcept(FE_OVERFLOW); + ret = copysign(INFINITY, x); + break; + case 3: + { + /* invalid */ + feraiseexcept(FE_INVALID); + /* + * FIXME: Of the many NaN values that we have, what NaN + * should we return? + */ + union { int i[2]; double d; } ux; + ux.i[HIWORD] = 0x7ff00000; + ux.i[LOWORD] = 0xdeadbeef; + + ret = ux.d; + + break; + } + } + + return ret; +} diff --git a/tests/trig.lisp b/tests/trig.lisp index 4f15848..18c9199 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -792,12 +792,56 @@ (assert-true (check-signs #'atanh #c(2d0 0d0) tr ti)) (assert-true (check-signs #'atanh #c(2w0 0w0) tr ti)))) -(define-test cosh.overflow - (:tag :cosh) +;; Test that fdlibm routines signals exceptions as expected. + +(defparameter *nan* + (kernel::with-float-traps-masked (:invalid) + (* 0 ext:double-float-positive-infinity)) + "Some randon MaN value") + +(define-test cosh.exceptions + (:tag :fdlibm) (assert-error 'floating-point-overflow - (cosh 1000d0))) + (cosh 1000d0)) + (assert-error 'floating-point-overflow + (cosh -1000d0)) + (assert-error 'floating-point-invalid-operation + (cosh *nan*)) + ;; Same, but with overflow's masked + (kernel::with-float-traps-masked (:overflow) + (assert-equal ext:double-float-positive-infinity + (cosh 1000d0)) + (assert-equal ext:double-float-positive-infinity + (cosh -1000d0)) + (assert-equal ext:double-float-positive-infinity + (cosh ext:double-float-positive-infinity)) + (assert-equal ext:double-float-positive-infinity + (cosh ext:double-float-negative-infinity))) + ;; Test NaN + (kernel::with-float-traps-masked (:invalid) + (assert-true (ext:float-nan-p (cosh *nan*))))) (define-test sinh.overflow - (:tag :sinh) + (:tag :fdlibm) + (assert-error 'floating-point-overflow + (sinh 1000d0)) (assert-error 'floating-point-overflow - (sinh 1000d0))) \ No newline at end of file + (sinh -1000d0)) + (assert-error 'floating-point-invalid-operation + (sinh *nan*)) + ;; Same, but with overflow's masked + (kernel::with-float-traps-masked (:overflow) + (assert-equal ext:double-float-positive-infinity + (sinh 1000d0)) + (assert-equal ext:double-float-negative-infinity + (sinh -1000d0)) + (assert-equal ext:double-float-positive-infinity + (sinh ext:double-float-positive-infinity)) + (assert-equal ext:double-float-negative-infinity + (sinh ext:double-float-negative-infinity))) + ;; Test NaN + (kernel::with-float-traps-masked (:invalid) + (assert-true (ext:float-nan-p (sinh *nan*))))) + + + ----------------------------------------------------------------------- Summary of changes: src/lisp/GNUmakefile | 3 ++- src/lisp/e_cosh.c | 12 ++++++++--- src/lisp/e_sinh.c | 10 +++++++-- src/lisp/fdlibm.h | 8 +++++++ src/lisp/setexception.c | 55 +++++++++++++++++++++++++++++++++++++++++++++++ tests/trig.lisp | 54 +++++++++++++++++++++++++++++++++++++++++----- 6 files changed, 131 insertions(+), 11 deletions(-) create mode 100644 src/lisp/setexception.c hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-12-a-25-g712df0b
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 712df0bc4e655226bc5c9ed91aa9c875b4a5eb0d (commit) via bf84dbc8c5bd5478fd36b55f99e119cfff11ca6d (commit) via 2e3e48d466c67a09ea7aeb23106fdc50143be3b5 (commit) via 949acab5719c22e51a45a936271b46b04edaa8ac (commit) via 6f25e2e894bdf13c00a29651031ad0bbedb50f0e (commit) via 408aa78aa3947f2c8f8a5b2a03429d5c05e93fbe (commit) via 00bd409b8d9de4f5f6223bf4d017e6f1c0826e48 (commit) from 82d0a77961bbbe867e78086800203e6af80c2d9c (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- ----------------------------------------------------------------------- Summary of changes: src/code/irrat-dd.lisp | 200 +++++++++++--------------------------- src/code/irrat.lisp | 4 +- src/compiler/float-tran.lisp | 5 +- src/tests/trig.lisp | 216 ++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 278 insertions(+), 147 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-01-6-g87ef443
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 87ef443f0e2df10676b2680c31e0a3cf459882da (commit) from 7b313ca19a6452137c86f9da65430b946be419a5 (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 87ef443f0e2df10676b2680c31e0a3cf459882da Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Jan 6 22:34:30 2014 -0800 Update. diff --git a/src/general-info/release-20f.txt b/src/general-info/release-20f.txt index 298b321..7272375 100644 --- a/src/general-info/release-20f.txt +++ b/src/general-info/release-20f.txt @@ -55,6 +55,10 @@ New in this release: * Fix error in pi reduction on x87. It was not noticed previously because the returned values were not used optimally. * Better error message for empty cond clauses. + * Fix serious error in the complex multiply vop for sparc. + Incorrect results were returned under some conditions when the + result TN was packed in the same location as one of the argument + TNs. * Trac Tickets: * Ticket #90 fixed. ----------------------------------------------------------------------- Summary of changes: src/general-info/release-20f.txt | 4 ++++ 1 file changed, 4 insertions(+) hooks/post-receive -- CMU Common Lisp

1 0