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

[git] CMU Common Lisp annotated tag snapshot-2013-12 created. snapshot-2013-12
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-12 has been created at c0780478faa29e3b773bb6d3b7f89ba82b2d3001 (tag) tagging d669c129619ad3952fcabb263e307e3d48b12969 (commit) replaces snapshot-2013-11 tagged by Raymond Toy on Sun Dec 8 10:45:13 2013 -0800 - Log ----------------------------------------------------------------- Snapshot 2013-12 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) iEYEABECAAYFAlKkvkEACgkQJ5IjUmgZO7LqAQCcCvKZivOoXBY+xrXqNPiioist pFIAnA++6WXrXnYwJ6wUTRHbA/qtfvue =Onbv -----END PGP SIGNATURE----- Raymond Toy (11): Recognize -h and -? options to print out a usage message. Add shortcut for (expt -1 power). Print out the value of the non-zero word. Fix compiler warning about using %lx with an int. Darwin doesn't need pi reduction; the C library is accurate enough. Better error message for an empty cond clause. Regenerated. Teach compiler to derive the results of DECODE-FLOAT. Use C sincos for CIS on linux/x86. Sparc has sincos in its C library. Use it. But note that it has Update for ppc/darwin 10.5 and gcc 4.8. ----------------------------------------------------------------------- hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-22-g3533a13
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 3533a13a8cc53e43a7c4d7d27b3e6b8bcc004672 (commit) via 250d2511450366c4e9f07c1515f04ccaf37ebf68 (commit) from b6bd0b590e541a159c4b5eb7e31b64c2ef0b47dc (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 3533a13a8cc53e43a7c4d7d27b3e6b8bcc004672 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Jul 25 22:17:11 2014 -0700 Rename sin/cos/tan/sincos so we don't collide with libm. Update def-math-rtn to allow specifying the C function name and the lisp function name so we can use def-math-rtn with the new trig functions. diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp index f2b0e9b..032a6ac 100644 --- a/src/code/irrat.lisp +++ b/src/code/irrat.lisp @@ -28,13 +28,17 @@ ;;; call, and saves number consing to boot. ;;; (defmacro def-math-rtn (name num-args) - (let ((function (intern (concatenate 'simple-string + (multiple-value-bind (c-name lisp-name) + (if (listp name) + (values (first name) (second name)) + (values name + (intern (concatenate 'simple-string "%" (string-upcase name))))) `(progn - (declaim (inline ,function)) - (export ',function) - (alien:def-alien-routine (,name ,function) double-float + (declaim (inline ,lisp-name)) + (export ',lisp-name) + (alien:def-alien-routine (,c-name ,lisp-name) double-float ,@(let ((results nil)) (dotimes (i num-args (nreverse results)) (push (list (intern (format nil "ARG-~D" i)) @@ -65,9 +69,12 @@ ;; For x86 (without sse2), we can use x87 instructions to implement ;; these. With sse2, we don't currently support that, so these ;; should be disabled. - (def-math-rtn "sin" 1) - (def-math-rtn "cos" 1) - (def-math-rtn "tan" 1) +;; (def-math-rtn "sin" 1) +;; (def-math-rtn "cos" 1) + ;; (def-math-rtn "tan" 1) + (def-math-rtn ("fdlibm_sin" %sin) 1) + (def-math-rtn ("fdlibm_cos" %cos) 1) + (def-math-rtn ("fdlibm_tan" %tan) 1) (def-math-rtn "atan" 1) (def-math-rtn "atan2" 2)) (def-math-rtn "asin" 1) @@ -198,7 +205,7 @@ (y1 double-float :out)) (declaim (inline %%sincos)) -(alien:def-alien-routine ("sincos" %%sincos) c-call:void +(alien:def-alien-routine ("lisp_sincos" %%sincos) c-call:void (x double-float) (s double-float :out) (c double-float :out)) diff --git a/src/lisp/s_cos.c b/src/lisp/s_cos.c index a897133..9ae05d8 100644 --- a/src/lisp/s_cos.c +++ b/src/lisp/s_cos.c @@ -45,9 +45,9 @@ #include "fdlibm.h" #ifdef __STDC__ - double cos(double x) + double fdlibm_cos(double x) #else - double cos(x) + double fdlibm_cos(x) double x; #endif { diff --git a/src/lisp/s_sin.c b/src/lisp/s_sin.c index 1dba1c8..a7ad61d 100644 --- a/src/lisp/s_sin.c +++ b/src/lisp/s_sin.c @@ -45,9 +45,9 @@ #include "fdlibm.h" #ifdef __STDC__ - double sin(double x) + double fdlibm_sin(double x) #else - double sin(x) + double fdlibm_sin(x) double x; #endif { diff --git a/src/lisp/s_tan.c b/src/lisp/s_tan.c index 4761a4c..0b90762 100644 --- a/src/lisp/s_tan.c +++ b/src/lisp/s_tan.c @@ -44,9 +44,9 @@ #include "fdlibm.h" #ifdef __STDC__ - double tan(double x) + double fdlibm_tan(double x) #else - double tan(x) + double fdlibm_tan(x) double x; #endif { diff --git a/src/lisp/sincos.c b/src/lisp/sincos.c index f5db8b3..edd0eca 100644 --- a/src/lisp/sincos.c +++ b/src/lisp/sincos.c @@ -1,6 +1,6 @@ #include "fdlibm.h" -void sincos (double x, double *s, double *c) +void lisp_sincos (double x, double *s, double *c) { int ix; union { int i[2]; double d; } ux; commit 250d2511450366c4e9f07c1515f04ccaf37ebf68 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Jul 25 21:08:05 2014 -0700 Add declaration to ignore unused variable. diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp index f95e32c..f2b0e9b 100644 --- a/src/code/irrat.lisp +++ b/src/code/irrat.lisp @@ -208,6 +208,7 @@ (declare (double-float x)) (multiple-value-bind (ign s c) (%%sincos x) + (declare (ignore ign)) (values s c))) #|| ----------------------------------------------------------------------- Summary of changes: src/code/irrat.lisp | 24 ++++++++++++++++-------- src/lisp/s_cos.c | 4 ++-- src/lisp/s_sin.c | 4 ++-- src/lisp/s_tan.c | 4 ++-- src/lisp/sincos.c | 2 +- 5 files changed, 23 insertions(+), 15 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-08-20-gd2f946a
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 d2f946ac549cdc8da46c3bfbee61c52d8fd81f5e (commit) from b9a6091a28a431b4f11300b350e77f57d8389b19 (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 d2f946ac549cdc8da46c3bfbee61c52d8fd81f5e Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Thu Aug 21 21:46:46 2014 -0700 Fix some typos and remove redundant test for expm1. diff --git a/tests/trig.lisp b/tests/trig.lisp index 1452c4c..2f4a945 100644 --- a/tests/trig.lisp +++ b/tests/trig.lisp @@ -875,16 +875,15 @@ (:tag :fdlibm) (assert-error 'floating-point-overflow (kernel:%expm1 709.8d0)) - (assert-equal 'ext:double-float-positive-infinity + (assert-equal ext:double-float-positive-infinity (kernel:%expm1 ext:double-float-positive-infinity)) (assert-error 'floating-point-invalid-operation (kernel:%expm1 *snan*)) (assert-true (ext:float-nan-p (kernel:%expm1 *qnan*))) (kernel::with-float-traps-masked (:overflow) - (assert-true ext:double-float-positive-infinity + (assert-equal ext:double-float-positive-infinity (kernel:%expm1 709.8d0)) - (assert-true ext:double-float-positive-infinity - (kernel:%expm1 ext:double-float-positive-infinity))) + ) (kernel::with-float-traps-masked (:invalid) (assert-true (ext::float-nan-p (kernel:%expm1 *snan*))))) ----------------------------------------------------------------------- Summary of changes: tests/trig.lisp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-09-8-gc01e6f9
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 c01e6f9d9be67e4aedb33857a00f8d20697a19ef (commit) from eee2366d1dd68701aa210dd62e2319e5e50b631a (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 c01e6f9d9be67e4aedb33857a00f8d20697a19ef Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Sep 21 15:07:44 2013 -0700 Make :plus-integer actually print + or - as documented. The comment says the field should be proceeded with a + or -, but depended on negative integers producing the needed -. When disassembling with a radix, this doesn't produce the expected output (#x7 vs #x-7 vs -#x7). So really print + or - followed by the absolute value. diff --git a/src/compiler/disassem.lisp b/src/compiler/disassem.lisp index 1316aa2..762b77b 100644 --- a/src/compiler/disassem.lisp +++ b/src/compiler/disassem.lisp @@ -952,13 +952,14 @@ ((eq (car source) :plus-integer) ;; prints the given field proceed with a + or a - (let ((form - (arg-value-form (arg-or-lose (cadr source) funstate) - funstate - :numeric))) + (arg-value-form (arg-or-lose (cadr source) funstate) + funstate + :numeric))) `(progn - (when (>= ,form 0) - (local-write-char #\+)) - (local-princ ,form)))) + (if (>= ,form 0) + (local-write-char #\+) + (local-write-char #\-)) + (local-princ (abs ,form))))) ((eq (car source) 'quote) `(local-princ ,source)) ((eq (car source) 'function) ----------------------------------------------------------------------- Summary of changes: src/compiler/disassem.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-2013-11-10-g06300c8
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 06300c812a5dfeecc9afd43d45608356f7c80dd6 (commit) from 881903dddf1e3f8feed193981b0ad7af5c4cd030 (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 06300c812a5dfeecc9afd43d45608356f7c80dd6 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Dec 7 17:41:17 2013 -0800 Sparc has sincos in its C library. Use it. But note that it has accurate pi-reduction so we don't have do it ourselves. diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp index d1e9a26..8e17a45 100644 --- a/src/code/irrat.lisp +++ b/src/code/irrat.lisp @@ -309,10 +309,11 @@ #+(or ppc sse2) (frob %%sin %%cos %%tan)) -;; Linux has a sincos function in the C library. Use it. But we need -;; to do pi reduction ourselves because the C library doesn't do -;; accurate reduction. -#+(or (and linux x86)) +;; Linux and sparc have a sincos function in the C library. Use it. +;; But on linux we need to do pi reduction ourselves because the C +;; library doesn't do accurate reduction. Sparc does accurate pi +;; reduction, so we don't need to do it ourselves. +#+(or (and linux x86) sparc) (progn (declaim (inline %%sincos)) (export '%%sincos) @@ -321,6 +322,7 @@ (sin double-float :out) (cos double-float :out)) +#+(and linux x86) (defun %sincos (theta) (declare (double-float theta)) ;; Accurately reduce theta. @@ -351,7 +353,16 @@ (3 (values (sin2 s c y1) (- (cos2 s c y1))))))))) +#+sparc +(declaim (inline %sinccos)) +#+sparc +(defun %sincos (theta) + (multiple-value-bind (ignore s c) + (%%sincos theta) + (values c s))) ) + + ;;;; Power functions. @@ -1006,9 +1017,9 @@ "Return cos(Theta) + i sin(Theta), AKA exp(i Theta)." (if (complexp theta) (error (intl:gettext "Argument to CIS is complex: ~S") theta) - #-(or (and linux x86)) + #-(or (and linux x86) sparc) (complex (cos theta) (sin theta)) - #+(or (and linux x86)) + #+(or (and linux x86) sparc) (number-dispatch ((theta real)) ((rational) (let ((arg (coerce theta 'double-float))) diff --git a/src/compiler/float-tran.lisp b/src/compiler/float-tran.lisp index ecca5f1..fba199b 100644 --- a/src/compiler/float-tran.lisp +++ b/src/compiler/float-tran.lisp @@ -731,7 +731,7 @@ (deftransform name ((x) '(double-float) rtype :eval-name t :when :both) `(,prim x)))) -#+(or (and linux x86)) +#+(or (and linux x86) sparc) (progn (defknown (kernel::%sincos) (double-float) (values double-float double-float) ----------------------------------------------------------------------- Summary of changes: src/code/irrat.lisp | 23 +++++++++++++++++------ src/compiler/float-tran.lisp | 2 +- 2 files changed, 18 insertions(+), 7 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. 20e-5-g61218b9
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 61218b92d2f2ed8b83816a5037b1afb46c3c6619 (commit) from 07e2d61f67dbd0e099c256052ba70358125cc008 (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 61218b92d2f2ed8b83816a5037b1afb46c3c6619 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Mon Oct 21 18:12:11 2013 -0700 Update according to commit logs. diff --git a/src/general-info/release-20f.txt b/src/general-info/release-20f.txt index 3c6db52..3b3f9ef 100644 --- a/src/general-info/release-20f.txt +++ b/src/general-info/release-20f.txt @@ -25,6 +25,8 @@ New in this release: * Changes * When *PRINT-CASE* is :DOWNCASE, integers are printed with lowercase letters when needed. + * Micro-optimize KERNEL:DOUBLE-FLOAT-BITS for x86/sse2. + * Add micro-optimization for unary FTRUNCATE for x86/sse2. * ANSI compliance fixes: ----------------------------------------------------------------------- Summary of changes: src/general-info/release-20f.txt | 2 ++ 1 file changed, 2 insertions(+) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-43-g6d3144f
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 6d3144f9382a4aede51913d7465d300a320412e3 (commit) from 386d97b2222de3cb7d175013d6509722c10b3846 (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 6d3144f9382a4aede51913d7465d300a320412e3 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Fri Aug 1 19:54:27 2014 -0700 Update to use unions. * e_pow.c: * Use unions to get to the parts of a double * fdlibm.h: * Declare sqrt function. diff --git a/src/lisp/e_pow.c b/src/lisp/e_pow.c index 5683bf5..9dafc26 100644 --- a/src/lisp/e_pow.c +++ b/src/lisp/e_pow.c @@ -109,10 +109,15 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ int i0,i1,i,j,k,yisint,n; int hx,hy,ix,iy; unsigned lx,ly; + union { int i[2]; double d; } ux; + union { int i[2]; double d; } uy; + union { int i[2]; double d; } utmp; i0 = ((*(int*)&one)>>29)^1; i1=1-i0; - hx = __HI(x); lx = __LO(x); - hy = __HI(y); ly = __LO(y); + ux.d = x; + hx = ux.i[HIWORD]; lx = ux.i[LOWORD]; + uy.d = y; + hy = uy.i[HIWORD]; ly = uy.i[LOWORD]; ix = hx&0x7fffffff; iy = hy&0x7fffffff; /* y==zero: x**0 = 1 */ @@ -203,14 +208,20 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ u = ivln2_h*t; /* ivln2_h has 21 sig. bits */ v = t*ivln2_l-w*ivln2; t1 = u+v; - __LO(t1) = 0; + utmp.d = t1; + utmp.i[LOWORD] = 0; + t1 = utmp.d; t2 = v-(t1-u); } else { double ss,s2,s_h,s_l,t_h,t_l; n = 0; /* take care subnormal number */ - if(ix<0x00100000) - {ax *= two53; n -= 53; ix = __HI(ax); } + if(ix<0x00100000) { + ax *= two53; + n -= 53; + utmp.d = ax; + ix = utmp.i[HIWORD]; + } n += ((ix)>>20)-0x3ff; j = ix&0x000fffff; /* determine interval */ @@ -218,17 +229,23 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ if(j<=0x3988E) k=0; /* |x|<sqrt(3/2) */ else if(j<0xBB67A) k=1; /* |x|<sqrt(3) */ else {k=0;n+=1;ix -= 0x00100000;} - __HI(ax) = ix; + utmp.d = ax; + utmp.i[HIWORD] = ix; + ax = utmp.d; /* compute ss = s_h+s_l = (x-1)/(x+1) or (x-1.5)/(x+1.5) */ u = ax-bp[k]; /* bp[0]=1.0, bp[1]=1.5 */ v = one/(ax+bp[k]); ss = u*v; s_h = ss; - __LO(s_h) = 0; + utmp.d = s_h; + utmp.i[LOWORD] = 0; + s_h = utmp.d; /* t_h=ax+bp[k] High */ t_h = zero; - __HI(t_h)=((ix>>1)|0x20000000)+0x00080000+(k<<18); + utmp.d = t_h; + utmp.i[HIWORD]=((ix>>1)|0x20000000)+0x00080000+(k<<18); + t_h = utmp.d; t_l = ax - (t_h-bp[k]); s_l = v*((u-s_h*t_h)-s_h*t_l); /* compute log(ax) */ @@ -237,32 +254,41 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ r += s_l*(s_h+ss); s2 = s_h*s_h; t_h = 3.0+s2+r; - __LO(t_h) = 0; + utmp.d = t_h; + utmp.i[LOWORD] = 0; + t_h = utmp.d; t_l = r-((t_h-3.0)-s2); /* u+v = ss*(1+...) */ u = s_h*t_h; v = s_l*t_h+t_l*ss; /* 2/(3log2)*(ss+...) */ p_h = u+v; - __LO(p_h) = 0; + utmp.d = p_h; + utmp.i[LOWORD] = 0; + p_h = utmp.d; p_l = v-(p_h-u); z_h = cp_h*p_h; /* cp_h+cp_l = 2/(3*log2) */ z_l = cp_l*p_h+p_l*cp+dp_l[k]; /* log2(ax) = (ss+..)*2/(3*log2) = n + dp_h + z_h + z_l */ t = (double)n; t1 = (((z_h+z_l)+dp_h[k])+t); - __LO(t1) = 0; + utmp.d = t1; + utmp.i[LOWORD] = 0; + t1 = utmp.d; t2 = z_l-(((t1-t)-dp_h[k])-z_h); } /* split up y into y1+y2 and compute (y1+y2)*(t1+t2) */ y1 = y; - __LO(y1) = 0; + utmp.d = y1; + utmp.i[LOWORD] = 0; + y1 = utmp.d; p_l = (y-y1)*t1+y*t2; p_h = y1*t1; z = p_l+p_h; - j = __HI(z); - i = __LO(z); + utmp.d = z; + j = utmp.i[HIWORD]; + i = utmp.i[LOWORD]; if (j>=0x40900000) { /* z >= 1024 */ if(((j-0x40900000)|i)!=0) /* if z > 1024 */ return s*huge*huge; /* overflow */ @@ -286,13 +312,17 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ n = j+(0x00100000>>(k+1)); k = ((n&0x7fffffff)>>20)-0x3ff; /* new k for n */ t = zero; - __HI(t) = (n&~(0x000fffff>>k)); + utmp.d = t; + utmp.i[HIWORD] = (n&~(0x000fffff>>k)); + t = utmp.d; n = ((n&0x000fffff)|0x00100000)>>(20-k); if(j<0) n = -n; p_h -= t; } t = p_l+p_h; - __LO(t) = 0; + utmp.d = t; + utmp.i[LOWORD] = 0; + t = utmp.d; u = t*lg2_h; v = (p_l-(t-p_h))*lg2+t*lg2_l; z = u+v; @@ -301,9 +331,14 @@ ivln2_l = 1.92596299112661746887e-08; /* 0x3E54AE0B, 0xF85DDF44 =1/ln2 tail*/ t1 = z - t*(P1+t*(P2+t*(P3+t*(P4+t*P5)))); r = (z*t1)/(t1-two)-(w+z*w); z = one-(r-z); - j = __HI(z); + utmp.d = z; + j = utmp.i[HIWORD]; j += (n<<20); if((j>>20)<=0) z = scalbn(z,n); /* subnormal output */ - else __HI(z) += (n<<20); + else { + utmp.d = z; + utmp.i[HIWORD] += (n<<20); + z = utmp.d; + } return s*z; } diff --git a/src/lisp/fdlibm.h b/src/lisp/fdlibm.h index 467daa5..180137b 100644 --- a/src/lisp/fdlibm.h +++ b/src/lisp/fdlibm.h @@ -32,6 +32,7 @@ enum { HIWORD = 0, LOWORD = 1 }; */ extern double fabs(double); extern double floor(double); +extern double sqrt(double); /* ieee style elementary functions */ extern int __ieee754_rem_pio2(double,double*); ----------------------------------------------------------------------- Summary of changes: src/lisp/e_pow.c | 71 +++++++++++++++++++++++++++++++++++++++-------------- src/lisp/fdlibm.h | 1 + 2 files changed, 54 insertions(+), 18 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2014-06-100-ga4cb51f
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 a4cb51f3ce2e599377f122b79dad696603c6b202 (commit) from 7e5b00bfacdf0a3693fef1d92329da18bf4e028b (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 a4cb51f3ce2e599377f122b79dad696603c6b202 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Wed Aug 6 19:57:55 2014 -0700 Remove commented-out LDFLAGS. diff --git a/src/motif/server/Config.x86 b/src/motif/server/Config.x86 index d830710..fb0e8f9 100644 --- a/src/motif/server/Config.x86 +++ b/src/motif/server/Config.x86 @@ -1,5 +1,4 @@ CFLAGS += -m32 -O2 -I/usr/X11R6/include -I. -I$(VPATH) -# LDFLAGS += -L/usr/X11R6/lib # On OpenSuSE 11.3,the 32-bit X libraries are in /usr/lib. LDFLAGS += -m32 -L/usr/lib LIBS = -lXm -lXt -lXext -lX11 -lSM -lICE -lXp -ldl -lpthread ----------------------------------------------------------------------- Summary of changes: src/motif/server/Config.x86 | 1 - 1 file changed, 1 deletion(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. begin-x87-removal-3-g0592141
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 0592141ab9256ca0382a501b418523194ed66e3c (commit) via 85c164325d8fe115eddefe9566ff0dcb206e76cf (commit) from a746e0218269ff24d8d88e5edfd01b284558d33b (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 0592141ab9256ca0382a501b418523194ed66e3c Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Mar 30 10:10:58 2014 -0700 Remove -fpu command-line switch. diff --git a/src/lisp/lisp.c b/src/lisp/lisp.c index 7b08fd1..c484129 100644 --- a/src/lisp/lisp.c +++ b/src/lisp/lisp.c @@ -422,7 +422,7 @@ prepend_core_path(const char *lib, const char *corefile) extern int builtin_image_flag; extern long initial_function_addr; -fpu_mode_t fpu_mode = AUTO; +fpu_mode_t fpu_mode = SSE2; static const char* locate_core(const char* cmucllib, const char* core, const char* default_core) @@ -662,32 +662,6 @@ main(int argc, const char *argv[], const char *envp[]) } else if (strcmp(arg, "-unidata") == 0) { unidata = *++argptr; } -#ifdef i386 - else if (strcmp(arg, "-fpu") == 0) { - const char *str; - - str = *++argptr; - if (str == NULL) { - fprintf(stderr, "-fpu must be followed by the FPU type: auto, x87, sse2\n"); - exit(1); - } - - if (builtin_image_flag != 0) { - fprintf(stderr, - "Warning: -fpu cannot change the fpu mode of an executable image\n"); - } else { - if (strcmp(str, "auto") == 0) { - fpu_mode = AUTO; - } else if (strcmp(str, "x87") == 0) { - fpu_mode = X87; - } else if (strcmp(str, "sse2") == 0) { - fpu_mode = SSE2; - } else { - fprintf(stderr, "Unknown fpu type: `%s'. Using auto\n", str); - } - } - } -#endif } default_core = arch_init(fpu_mode); commit 85c164325d8fe115eddefe9566ff0dcb206e76cf Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sun Mar 30 10:10:05 2014 -0700 Remove lisp -fpu command-line switch. diff --git a/src/code/commandline.lisp b/src/code/commandline.lisp index 4500bd4..2480a93 100644 --- a/src/code/commandline.lisp +++ b/src/code/commandline.lisp @@ -333,17 +333,6 @@ "Specify the unidata.bin file to be used." "filename") -#+x86 -(intl:with-textdomain ("cmucl" "cmucl-x86-vm") -(defswitch "fpu" nil - "Specifies what kind of floating-point support should be used on x86 - systems. If 'x87', Lisp will use the x87 floating-point unit; if - 'sse2', Lisp uses SSE2 floating-point unit. The default is - 'auto',which causes Lisp to check to see if SSE2 is available. If - so, then SSE2 is used. If the SSE2 core file cannot be found,Lisp - will fallback to the x87 core, which can run on any machine." - "mode")) - (defun help-switch-demon (switch) (declare (ignore switch)) (format t (intl:gettext "~&Usage: ~A <options>~2%") *command-line-utility-name*) ----------------------------------------------------------------------- Summary of changes: src/code/commandline.lisp | 11 ----------- src/lisp/lisp.c | 28 +--------------------------- 2 files changed, 1 insertion(+), 38 deletions(-) hooks/post-receive -- CMU Common Lisp

1 0

[git] CMU Common Lisp branch master updated. snapshot-2013-11-8-g5d7af87
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 5d7af879d56be571ab7818d3a547c08035287967 (commit) via daa00b2733984884a56834efc28a4859872fa8ac (commit) from d5983ca74965ef16fb3cb47d78024c3eb68a4a59 (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 5d7af879d56be571ab7818d3a547c08035287967 Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Dec 7 15:26:26 2013 -0800 Teach compiler to derive the results of DECODE-FLOAT. src/compiler/float-tran.lisp o Add defoptimizer for DECODE-FLOAT. src/general-info/release-20f.txt: o Update notes. diff --git a/src/compiler/float-tran.lisp b/src/compiler/float-tran.lisp index 187d17b..5fbc2e0 100644 --- a/src/compiler/float-tran.lisp +++ b/src/compiler/float-tran.lisp @@ -2014,6 +2014,89 @@ (specifier-type `(complex ,(or (numeric-type-format arg) 'float)))) #'cis)) +;;; Derive the result types of DECODE-FLOAT + +(defun decode-float-frac-derive-type-aux (arg) + ;; The fraction part of DECODE-FLOAT is always a subset of the + ;; interval [0.5, 1), even for subnormals. While possible to derive + ;; a tighter bound in some cases, we don't. Just return that + ;; interval of the approriate type when possible. If not, just use + ;; float. + (if (numeric-type-format arg) + (specifier-type `(,(numeric-type-format arg) + ,(coerce 1/2 (numeric-type-format arg)) + (,(coerce 1 (numeric-type-format arg))))) + (specifier-type '(float 0.5 (1.0))))) + +(defun decode-float-exp-derive-type-aux (arg) + ;; Derive the exponent part of the float. It's always an integer + ;; type. + (flet ((calc-exp (x) + (when x + (nth-value 1 (decode-float x)))) + (min-exp () + ;; Use decode-float on 0 of the appropriate type to find + ;; the min exponent. If we don't know the actual number + ;; format, use double, which has the widest range + ;; (including double-double-float). + (if (numeric-type-format arg) + (nth-value 1 (decode-float (coerce 0 (numeric-type-format arg)))) + (nth-value 1 (decode-float (coerce 0 'double-float))))) + (max-exp () + ;; Use decode-float on the most postive number of the + ;; appropriate type to find the max exponent. If we don't + ;; know the actual number format, use double, which has the + ;; widest range (including double-double-float). + (if (eq (numeric-type-format arg) 'single-float) + (nth-value 1 (decode-float most-positive-single-float)) + (nth-value 1 (decode-float most-positive-double-float))))) + (let* ((lo (or (bound-func #'calc-exp + (numeric-type-low arg)) + (min-exp))) + (hi (or (bound-func #'calc-exp + (numeric-type-high arg)) + (max-exp)))) + (specifier-type `(integer ,(or lo '*) ,(or hi '*)))))) + +(defun decode-float-sign-derive-type-aux (arg) + ;; Derive the sign of the float. + (flet ((calc-sign (x) + (when x + (nth-value 2 (decode-float x))))) + (let* ((lo (bound-func #'calc-sign + (numeric-type-low arg))) + (hi (bound-func #'calc-sign + (numeric-type-high arg)))) + (if (numeric-type-format arg) + (specifier-type `(,(numeric-type-format arg) + ;; If lo or high bounds are NIL, use -1 + ;; or 1 of the appropriate type instead. + ,(or lo (coerce -1 (numeric-type-format arg))) + ,(or hi (coerce 1 (numeric-type-format arg))))) + (specifier-type '(or (member 1f0 -1f0 + 1d0 -1d0 + #+double-double 1w0 + #+double-double -1w0))))))) + +(defoptimizer (decode-float derive-type) ((num)) + (let ((f (one-arg-derive-type num + #'(lambda (arg) + (decode-float-frac-derive-type-aux arg)) + #'(lambda (arg) + (nth-value 0 (decode-float arg))))) + (e (one-arg-derive-type num + #'(lambda (arg) + (decode-float-exp-derive-type-aux arg)) + #'(lambda (arg) + (nth-value 1 (decode-float arg))))) + (s (one-arg-derive-type num + #'(lambda (arg) + (decode-float-sign-derive-type-aux arg)) + #'(lambda (arg) + (nth-value 2 (decode-float arg)))))) + (make-values-type :required (list f + e + s)))) ;;; Support for double-double floats ;;; diff --git a/src/general-info/release-20f.txt b/src/general-info/release-20f.txt index 4077097..dd1cf1b 100644 --- a/src/general-info/release-20f.txt +++ b/src/general-info/release-20f.txt @@ -28,6 +28,7 @@ New in this release: lowercase letters when needed. * Micro-optimize KERNEL:DOUBLE-FLOAT-BITS for x86/sse2. * Add micro-optimization for unary FTRUNCATE for x86/sse2. + * Compiler can derive the types of the results of DECODE-FLOAT. * ANSI compliance fixes: commit daa00b2733984884a56834efc28a4859872fa8ac Author: Raymond Toy <toy.raymond(a)gmail.com> Date: Sat Dec 7 15:25:26 2013 -0800 Regenerated. diff --git a/src/i18n/locale/cmucl.pot b/src/i18n/locale/cmucl.pot index 3d53de0..283dcaf 100644 --- a/src/i18n/locale/cmucl.pot +++ b/src/i18n/locale/cmucl.pot @@ -14480,7 +14480,7 @@ msgid "" msgstr "" #: src/code/macros.lisp -msgid "Cond clause is not a list: ~S." +msgid "Cond clause should be a non-empty list: ~S." msgstr "" #: src/code/macros.lisp ----------------------------------------------------------------------- Summary of changes: src/compiler/float-tran.lisp | 83 ++++++++++++++++++++++++++++++++++++++ src/general-info/release-20f.txt | 1 + src/i18n/locale/cmucl.pot | 2 +- 3 files changed, 85 insertions(+), 1 deletion(-) hooks/post-receive -- CMU Common Lisp

1 0