Jan Moringen | 13 Feb 17:27 2016
Picon
Picon

master: tests: WITH-TEST and CHECKED-COMPILE in tests/list.pure.lisp

The branch "master" has been updated in SBCL:
       via  3f0e1ee20c99bf4c61237a84b6ccb8e4638f9d11 (commit)
      from  3a0aeb8acb522c889df788918098977c29ade0f5 (commit)

- Log -----------------------------------------------------------------
commit 3f0e1ee20c99bf4c61237a84b6ccb8e4638f9d11
Author: Jan Moringen <jmoringe <at> techfak.uni-bielefeld.de>
Date:   Thu Dec 31 22:48:40 2015 +0100

    tests: WITH-TEST and CHECKED-COMPILE in tests/list.pure.lisp
---
 tests/list.pure.lisp |  620 ++++++++++++++++++++++++++------------------------
 1 files changed, 324 insertions(+), 296 deletions(-)

diff --git a/tests/list.pure.lisp b/tests/list.pure.lisp
index e0eed2b..2027662 100644
--- a/tests/list.pure.lisp
+++ b/tests/list.pure.lisp
 <at>  <at>  -17,363 +17,391  <at>  <at> 
 ;;; SourceForge summary page magical bugs web interface 2001-09-01, it
 ;;; looks as though it's past time to start accumulating regression
 ;;; tests for these.
-(dolist (testcase
-         '((:args ((1 2 3 4 5))   :result (1 2 3 4))
-           (:args ((1 2 3 4 5) 6) :result nil)
-           (:args (nil)           :result nil)
-           (:args ((1 2 3) 0)     :result (1 2 3))
-           (:args ((1 2 3) 1)     :result (1 2))
-           (:args ((1 2 3))       :result (1 2))
-           (:args ((1 2 3) 2)     :result (1))
(Continue reading)

Stas Boukarev | 13 Feb 11:22 2016
Picon

Re: master: Try to fix garbage retention issue in cold-init.

On Sat, Feb 13, 2016 at 6:25 AM, Douglas Katzman
<snuglas <at> users.sourceforge.net> wrote:
> The branch "master" has been updated in SBCL:
>        via  a4de27e312c2c3048ff506d438c0cd62d3e65632 (commit)
>       from  79e7a73b65751cfb26305c35b38f69bac88abf8a (commit)
>
> - Log -----------------------------------------------------------------
> commit a4de27e312c2c3048ff506d438c0cd62d3e65632
> Author: Douglas Katzman <dougk <at> google.com>
> Date:   Fri Feb 12 21:52:19 2016 -0500
>
>     Try to fix garbage retention issue in cold-init.
>
>     It was reported by stassats that d8557075 caused an explosion in image size.
>     I didn't investigate. This is the cheating way out.
That didn't help, unfortunately. But I haven't yet investigated the
exact cause either.

--

-- 
With best regards, Stas.

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
stassats | 13 Feb 11:19 2016
Picon
Picon

master: Restore build on non-x86oids.

The branch "master" has been updated in SBCL:
       via  3a0aeb8acb522c889df788918098977c29ade0f5 (commit)
      from  01549c23f0bcb1e97fd9eec08c3d1640535bb676 (commit)

- Log -----------------------------------------------------------------
commit 3a0aeb8acb522c889df788918098977c29ade0f5
Author: Stas Boukarev <stassats <at> gmail.com>
Date:   Sat Feb 13 13:17:07 2016 +0300

    Restore build on non-x86oids.

    The runtime cleanups broke all non-x86oids.
---
 src/runtime/arm-arch.c   |    4 ++--
 src/runtime/arm64-arch.c |    4 ++--
 src/runtime/mips-arch.c  |    2 +-
 src/runtime/ppc-arch.c   |    4 ++--
 src/runtime/sparc-arch.c |    4 ++--
 5 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/runtime/arm-arch.c b/src/runtime/arm-arch.c
index f0e0b98..66655a8 100644
--- a/src/runtime/arm-arch.c
+++ b/src/runtime/arm-arch.c
 <at>  <at>  -134,7 +134,7  <at>  <at>  arch_handle_single_step_trap(os_context_t *context, int trap)

 #define LINKAGE_TEMP_REG        reg_NFP

-void arch_write_linkage_table_jmp(void* reloc_addr, void *target_addr)
+void arch_write_linkage_table_jmp(char *reloc_addr, void *target_addr)
(Continue reading)

Douglas Katzman | 13 Feb 04:25 2016
Picon
Picon

master: Add an extra warning if build produced unexpected style-warnings.

The branch "master" has been updated in SBCL:
       via  01549c23f0bcb1e97fd9eec08c3d1640535bb676 (commit)
      from  5dce1c18f0f0e45a00fd3b3efc29fce00375003f (commit)

- Log -----------------------------------------------------------------
commit 01549c23f0bcb1e97fd9eec08c3d1640535bb676
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Feb 12 22:10:10 2016 -0500

    Add an extra warning if build produced unexpected style-warnings.
---
 make-host-2.lisp |   16 +++++++++++-----
 1 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/make-host-2.lisp b/make-host-2.lisp
index c78d113..e798c95 100644
--- a/make-host-2.lisp
+++ b/make-host-2.lisp
 <at>  <at>  -114,16 +114,22  <at>  <at> 
                  (push (cons name cell) likely-suspicious)
                  (push (cons name cell) possibly-suspicious))))))
     (flet ((show (label list)
-             (format t "~%~A suspicious calls:~:{~%~4d ~S~ <at> {~%     ~S~}~}~%"
-                     label
-                     (mapcar (lambda (x) (list* (ash (cadr x) -2) (car x) (cddr x)))
-                             (sort list #'> :key #'cadr)))))
+             (when list
+               (format t "~%~A suspicious calls:~:{~%~4d ~S~ <at> {~%     ~S~}~}~%"
+                       label
+                       (mapcar (lambda (x) (list* (ash (cadr x) -2) (car x) (cddr x)))
(Continue reading)

Douglas Katzman | 13 Feb 04:25 2016
Picon
Picon

master: Make host-constant-to-core use a hashtable for cycle detection.

The branch "master" has been updated in SBCL:
       via  71caaf8cd76a862d58f002e55928326001e57b2a (commit)
      from  a4de27e312c2c3048ff506d438c0cd62d3e65632 (commit)

- Log -----------------------------------------------------------------
commit 71caaf8cd76a862d58f002e55928326001e57b2a
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Feb 12 21:58:52 2016 -0500

    Make host-constant-to-core use a hashtable for cycle detection.
---
 src/compiler/generic/genesis.lisp |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/compiler/generic/genesis.lisp b/src/compiler/generic/genesis.lisp
index 84a3148..b17d2b0 100644
--- a/src/compiler/generic/genesis.lisp
+++ b/src/compiler/generic/genesis.lisp
 <at>  <at>  -1288,12 +1288,12  <at>  <at>  core and return a descriptor to it."
 ;;; Dump the target representation of HOST-VALUE,
 ;;; the type of which is in a restrictive set.
 (defun host-constant-to-core (host-value)
-  (let (visited)
+  (let ((visited (make-hash-table :test #'eq)))
     (named-let target-representation ((value host-value))
       (unless (typep value '(or symbol number descriptor))
-        (if (memq value visited) ; Sharing/circularity not handled
+        (if (gethash value visited) ; Sharing/circularity not handled
             (bug "circular constant?")
-            (push value visited)))
(Continue reading)

Douglas Katzman | 13 Feb 04:25 2016
Picon
Picon

master: Fix an inlining failure.

The branch "master" has been updated in SBCL:
       via  5dce1c18f0f0e45a00fd3b3efc29fce00375003f (commit)
      from  71caaf8cd76a862d58f002e55928326001e57b2a (commit)

- Log -----------------------------------------------------------------
commit 5dce1c18f0f0e45a00fd3b3efc29fce00375003f
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Feb 12 22:00:57 2016 -0500

    Fix an inlining failure.
---
 src/code/target-char.lisp |   17 +++++++----------
 1 files changed, 7 insertions(+), 10 deletions(-)

diff --git a/src/code/target-char.lisp b/src/code/target-char.lisp
index 65a5f88..84ccf33 100644
--- a/src/code/target-char.lisp
+++ b/src/code/target-char.lisp
 <at>  <at>  -27,6 +27,13  <at>  <at> 
   (declare (type (unsigned-byte 21) first second third))
   (sb!c::mask-signed-field 63 (logior first (ash second 21) (ash third 42))))

+(define-load-time-global **character-misc-database** nil)
+(declaim (type (simple-array (unsigned-byte 8) (*)) **character-misc-database**))
+(declaim (inline both-case-index-p))
+(defun both-case-index-p (misc-index)
+  (declare (type (unsigned-byte 16) misc-index))
+  (logbitp 7 (aref **character-misc-database** (+ 5 misc-index))))
+
 (macrolet ((frob ()
(Continue reading)

Douglas Katzman | 13 Feb 04:25 2016
Picon
Picon

master: Try to fix garbage retention issue in cold-init.

The branch "master" has been updated in SBCL:
       via  a4de27e312c2c3048ff506d438c0cd62d3e65632 (commit)
      from  79e7a73b65751cfb26305c35b38f69bac88abf8a (commit)

- Log -----------------------------------------------------------------
commit a4de27e312c2c3048ff506d438c0cd62d3e65632
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Feb 12 21:52:19 2016 -0500

    Try to fix garbage retention issue in cold-init.

    It was reported by stassats that d8557075 caused an explosion in image size.
    I didn't investigate. This is the cheating way out.
---
 src/code/cold-init.lisp           |    9 ++++-----
 src/compiler/generic/genesis.lisp |   19 ++++++++++---------
 2 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/src/code/cold-init.lisp b/src/code/cold-init.lisp
index fd31950..3e1eab8 100644
--- a/src/code/cold-init.lisp
+++ b/src/code/cold-init.lisp
 <at>  <at>  -107,7 +107,6  <at>  <at> 
 (defvar *!cold-toplevels*)                 ; except for DEFUNs and SETF macros
 (defvar *!cold-setf-macros*)               ; just SETF macros
 (defvar *!cold-defuns*)                    ; just DEFUNs
-(declaim (simple-vector *!cold-toplevels*))

 ;;; a SIMPLE-VECTOR set by GENESIS
 (defvar *!load-time-values*)
(Continue reading)

stassats | 12 Feb 23:15 2016
Picon
Picon

master: Improve LDB when (+ size position) is less than n-fixnum-bits.

The branch "master" has been updated in SBCL:
       via  79e7a73b65751cfb26305c35b38f69bac88abf8a (commit)
      from  f472c52568428bde29e715d5c9839df32f9c5bb0 (commit)

- Log -----------------------------------------------------------------
commit 79e7a73b65751cfb26305c35b38f69bac88abf8a
Author: Stas Boukarev <stassats <at> gmail.com>
Date:   Sat Feb 13 01:13:49 2016 +0300

    Improve LDB when (+ size position) is less than n-fixnum-bits.

    Wrap the integer in (mask-signed-field n-fixnum-bits integer), which
    avoids calling ASH and consing bignums.
---
 NEWS                      |    1 +
 src/compiler/srctran.lisp |   14 +++++++++++---
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/NEWS b/NEWS
index b4b094d..9731b90 100644
--- a/NEWS
+++ b/NEWS
 <at>  <at>  -5,6 +5,7  <at>  <at>  changes relative to sbcl-1.3.2:
     arguments to other functions (e.g. REDUCE, MAP) at compile-time.
   * optimization: functions accepting other functions (e.g. REDUCE, FIND) can
     now be constant-folded if all function arguments are declared as foldable.
+  * optimization: improved logical operations on integers of unknown type.

 changes in sbcl-1.3.2 relative to sbcl-1.3.1:
   * enhancement: {READ,WRITE}-SEQUENCE are much faster for some combinations
(Continue reading)

Martin Cracauer | 12 Feb 21:26 2016
Picon
Picon

master: runtime: clean up C compilation warnings

The branch "master" has been updated in SBCL:
       via  f472c52568428bde29e715d5c9839df32f9c5bb0 (commit)
      from  18b1fd006b4ece5995749933f2360d337b7f432f (commit)

- Log -----------------------------------------------------------------
commit f472c52568428bde29e715d5c9839df32f9c5bb0
Author: Martin Cracauer <cracauer <at> cons.org>
Date:   Fri Feb 12 15:25:45 2016 -0500

    runtime: clean up C compilation warnings

    Patch submitted by Stelian Ionescu.  Tested on Linux/amd64,
    FreeBSD-amd64, FreeBSD-x86 and OSX-amd64 by me.
---
 src/runtime/arch.h            |    3 +++
 src/runtime/coreparse.c       |    2 +-
 src/runtime/gencgc.c          |   11 +++++------
 src/runtime/interrupt.c       |    8 ++++----
 src/runtime/os-common.c       |    1 +
 src/runtime/runtime.h         |    2 ++
 src/runtime/safepoint.c       |    2 +-
 src/runtime/save.c            |    2 +-
 src/runtime/x86-64-arch.c     |   24 ++++++++++++------------
 src/runtime/x86-64-linux-os.c |    3 +--
 src/runtime/x86-arch.c        |   14 +++++++-------
 11 files changed, 38 insertions(+), 34 deletions(-)

diff --git a/src/runtime/arch.h b/src/runtime/arch.h
index c8ef480..0be139e 100644
--- a/src/runtime/arch.h
(Continue reading)

stassats | 12 Feb 19:40 2016
Picon
Picon

master: Optimize logand with non-fixnum word masks on x86oids and ARM64.

The branch "master" has been updated in SBCL:
       via  18b1fd006b4ece5995749933f2360d337b7f432f (commit)
      from  266f87084130875c54757a6a49afbc1ad8d88ecf (commit)

- Log -----------------------------------------------------------------
commit 18b1fd006b4ece5995749933f2360d337b7f432f
Author: Stas Boukarev <stassats <at> gmail.com>
Date:   Fri Feb 12 21:14:50 2016 +0300

    Optimize logand with non-fixnum word masks on x86oids and ARM64.

    Add a VOP that works on unknown integers and large masks.
    Makes (ldb (byte 64 0) x) faster.
---
 src/compiler/arm64/arith.lisp  |   21 +++++++++++++++++++++
 src/compiler/x86-64/arith.lisp |   22 ++++++++++++++++++++++
 src/compiler/x86/arith.lisp    |   23 +++++++++++++++++++++++
 tests/arith.pure.lisp          |    7 +++++++
 4 files changed, 73 insertions(+), 0 deletions(-)

diff --git a/src/compiler/arm64/arith.lisp b/src/compiler/arm64/arith.lisp
index 11c2f82..39b44ee 100644
--- a/src/compiler/arm64/arith.lisp
+++ b/src/compiler/arm64/arith.lisp
 <at>  <at>  -945,6 +945,27  <at>  <at> 
     (inst lsl r tmp-tn (- n-word-bits n-fixnum-bits))
     DONE))

+(define-vop (logand-word-mask)
+  (:translate logand)
(Continue reading)

Douglas Katzman | 12 Feb 08:04 2016
Picon
Picon

master: Use SB!XC:DEFMACRO, not DEF!MACRO, for WITH-PINNED-OBJECTS

The branch "master" has been updated in SBCL:
       via  266f87084130875c54757a6a49afbc1ad8d88ecf (commit)
      from  c6e0a2eb1bc15bfeba9791e51925c976e219bfff (commit)

- Log -----------------------------------------------------------------
commit 266f87084130875c54757a6a49afbc1ad8d88ecf
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Feb 12 02:04:01 2016 -0500

    Use SB!XC:DEFMACRO, not DEF!MACRO, for WITH-PINNED-OBJECTS
---
 src/compiler/alpha/macros.lisp  |    2 +-
 src/compiler/arm/macros.lisp    |    2 +-
 src/compiler/arm64/macros.lisp  |    2 +-
 src/compiler/hppa/macros.lisp   |    2 +-
 src/compiler/mips/macros.lisp   |    2 +-
 src/compiler/ppc/macros.lisp    |    2 +-
 src/compiler/sparc/macros.lisp  |    2 +-
 src/compiler/x86-64/macros.lisp |    2 +-
 src/compiler/x86/macros.lisp    |    2 +-
 9 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/compiler/alpha/macros.lisp b/src/compiler/alpha/macros.lisp
index 51af554..4829dd1 100644
--- a/src/compiler/alpha/macros.lisp
+++ b/src/compiler/alpha/macros.lisp
 <at>  <at>  -513,7 +513,7  <at>  <at> 
                                       ,lowtag) object))))
            (move value result))))))

(Continue reading)


Gmane