Merge branch 'sbcl:master' into master

Author: nzioki

.cirrus.yml

@@ -19,21 +19,21 @@ freebsd_build_task:
   ansi_test_script:
     - cd tests; ./ansi-tests.sh
 
-task:
-  name: Linux arm64
-  arm_container:
-    image: gcc:latest
-    cpu: 1
-    memory: 2G
-  install_script:
-    - apt-get -qq update
-    - apt-get -qq -y install sbcl strace libzstd-dev
-  build_script:
-    - echo '"1.9.99.999"' > version.lisp-expr
-    - ./make.sh --with-sb-core-compression
-
-  test_script:
-    - cd tests; ./run-tests.sh --slow
-
-  ansi_test_script:
-    - cd tests; ./ansi-tests.sh
+# task:
+#   name: Linux arm64
+#   arm_container:
+#     image: gcc:latest
+#     cpu: 1
+#     memory: 2G
+#   install_script:
+#     - apt-get -qq update
+#     - apt-get -qq -y install sbcl strace libzstd-dev
+#   build_script:
+#     - echo '"1.9.99.999"' > version.lisp-expr
+#     - ./make.sh --with-sb-core-compression
+
+#   test_script:
+#     - cd tests; ./run-tests.sh --slow
+
+#   ansi_test_script:
+#     - cd tests; ./ansi-tests.sh

.github/workflows/email.yml

@@ -0,0 +1,31 @@
+name: Linux arm
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-24.04-arm
+    timeout-minutes: 60
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: install host sbcl
+      run: |
+        sudo dpkg --add-architecture armhf
+        sudo apt-get -qq update | true
+        sudo apt-get -qq install 
+        sudo apt-get -qq install libc6:armhf gcc-arm-linux-gnueabihf sbcl
+
+    - name: build
+      env:
+        SBCL_MAKE_TARGET_2_OPTIONS: --disable-ldb --disable-debugger
+        CC: arm-linux-gnueabihf-gcc
+      run: ./make.sh --xc-host='sbcl --dynamic-space-size 700MB --lose-on-corruption --disable-ldb --disable-debugger' --arch=arm
+
+    - name: test
+      env:
+        CC: arm-linux-gnueabihf-gcc
+      run: cd tests; ./run-tests.sh
+    - name: ansi-test
+      run: cd tests; ./ansi-tests.sh

.github/workflows/linux-arm.yml

@@ -0,0 +1,36 @@
+name: Linux arm64
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-24.04-arm
+    timeout-minutes: 60
+    strategy:
+      matrix:
+        options: [--with-sb-thread]
+        # subfeatures: ['']
+        # include:
+        #   - { subfeatures: fasteval, options: --with-sb-fasteval --without-sb-eval }
+
+      fail-fast: false
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: install host sbcl
+      run: |
+        sudo apt-get -qq update | true
+        sudo apt-get -qq install sbcl libcapstone-dev libzstd-dev
+
+    - name: build
+      env:
+        SBCL_MAKE_TARGET_2_OPTIONS: --disable-ldb --disable-debugger
+      run: ./make.sh ${{ matrix.options }} --with-sb-core-compression --xc-host='sbcl --dynamic-space-size 700MB --lose-on-corruption --disable-ldb --disable-debugger'
+    - name: test-fasteval
+      if: matrix.subfeatures == 'fasteval'
+      run: cd tests; ./run-tests.sh --evaluator-mode interpret
+    - name: test
+      run: cd tests; ./run-tests.sh --slow
+    - name: ansi-test
+      run: cd tests; ./ansi-tests.sh

.github/workflows/linux-arm64.yml

@@ -14,7 +14,7 @@ jobs:
         with:
           arch: none
           distro: none
-          base_image: ppc64le/debian:trixie
+          base_image: ppc64le/debian:trixie-20241016
 
           githubToken: ${{ github.token }}
           install: |

.github/workflows/linux-qemu.yml

@@ -46,11 +46,11 @@ jobs:
       env:
         SBCL_MAKE_TARGET_2_OPTIONS: --disable-ldb --disable-debugger
       run: ./make.sh ${{ matrix.options }} --with-sb-core-compression --xc-host='sbcl --dynamic-space-size 700MB --lose-on-corruption --disable-ldb --disable-debugger' --arch=${{ matrix.arch }}
-    - name: test
-      run: cd tests; ./run-tests.sh --slow
-    - name: test
+    - name: test-fasteval
       if: matrix.subfeatures == 'fasteval'
       run: cd tests; ./run-tests.sh --evaluator-mode interpret
+    - name: test
+      run: cd tests; ./run-tests.sh --slow
     - name: ansi-test
       run: cd tests; ./ansi-tests.sh
 

.github/workflows/linux.yml

@@ -22,8 +22,6 @@ jobs:
     - name: build
       env:  
         SBCL_MAKE_TARGET_2_OPTIONS: --disable-ldb --disable-debugger
-        CPATH: /opt/homebrew/include
-        LIBRARY_PATH: /opt/homebrew/lib
       run: ./make.sh ${{ matrix.options }} --with-sb-core-compression --xc-host='sbcl --lose-on-corruption --disable-ldb --disable-debugger'
     - name: make binary
       run: |

.github/workflows/mac.yml

@@ -32,7 +32,6 @@ src/runtime/target-arch-os.h
 src/runtime/target-arch.h
 src/runtime/target-lispregs.h
 src/runtime/target-os.h
-src/runtime/ppc-linux-mcontext.h
 tests/test-status.lisp-expr
 tests/test.log
 tests/*.so

.gitignore

@@ -39,7 +39,7 @@ Philipp Matthias Schäfer <[email protected]> Philipp Matthias Schaefer
 
 Richard M Kreuter <[email protected]> kreuter <kreuter>
 
-Robert Brown <brown@google.com> <robert.brown@gmail.com>
+Robert Brown <robert.brown@gmail.com> <brown@google.com>
 
 Stas Boukarev <[email protected]> <[email protected]>
 Stas Boukarev <[email protected]> stas <[email protected]>

.mailmap

@@ -1,5 +1,200 @@
 ;;;; -*- coding: utf-8; fill-column: 78 -*-
 
+changes relative to sbcl-2.5.0:
+  * minor incompatible change: SBCL now reveals details of its COMPLEX
+    representations through UPGRADED-COMPLEX-PART-TYPE, rather than hiding
+    them.
+  * minor incompatible change: the compiler will warn on the use of a
+    SATISFIES type with an undefined function.  (lp#576608, reported by Roman
+    Marynchak)
+  * minor incompatible change: (room t) now counts the space taken by the
+    internals of hash-tables and CLOS instances.
+  * platform support
+    ** fixes to the included version of ASDF, and to sockets functions, for
+       the Haiku operating system.  (thanks to Alexandru Popa)
+    ** add support for CAS (compare-and-swap) on SAPs for arm64, x86-64 and
+       (partially) RISC-V.  (lp#1894057, reported by Yukari Hafner)
+    ** the system is now consistent with 64-bit time_t on 32-bit linux
+       platforms. (lp#2063340, reported by Peter van Eynde)
+    ** restore building on 32-bit ARM with newer gcc versions.  (lp#1839783,
+       reported by Sébastien Villemot)
+    ** fix large stack allocation on 64-bit Windows. 
+  * CL portability fixes to the definitions of certain compiler structures,
+    detected by CLISP.  (lp#2064301, lp#2064312, thanks to Robert Brown)
+  * bug fix: structure BOA constructors with &REST arguments no longer cause
+    structure slots named NIL or T to be unconditionally initialized with the
+    values NIL and T respectively.
+  * bug fix: structure BOA constructors without values for some slots no
+    longer cause compilation errors for initforms that are not a single
+    variable.
+  * bug fix: sequence functions handle :TEST and :TEST-NOT both being given
+    uniformly.  (lp#309143)
+  * bug fix: the type system is better equipped to handle complicated unions
+    of numeric types.  (lp#308937, lp#1694839, lp#1734959, lp#2073544)
+  * bug fix: misoptimization of VALUES-LIST in the presence of intervening
+    stack operations.  (reported by haruhi.s)
+  * bug fix: apply the limit to inline expansions more selectively.
+    (lp#2092518, reported by Andrew Kravchuk)
+  * bug fix: compiler-detected type mismatches are reported even given the
+    presence of inlined functions.  (lp#2092613, reported by Vasily Postnicov)
+  * bug fix: improved type error detection for inlined array construction forms.
+    (lp#2092889, reported by Vasily Postnicov)
+  * bug fix: accesses to multidimensional arrays are now checked based on the
+    (internal) INSERT-ARRAY-BOUNDS-CHECKS declaration, as with one-dimensional
+    arrays.  (lp#2095155, thanks to Vasily Postnicov)
+  * bug fix: sb-bsd-sockets:socket-connect handles EINTR caused by GC signals.
+
+changes in sbcl-2.5.0 relative to sbcl-2.4.11:
+  * platform support:
+    ** improve support for the Haiku operating system.  (thanks to Al Hoang,
+       Estevan Castilho and Alexandru Popa)
+  * bug fix: generic functions with a large number of required arguments, with
+    methods with specializations on exactly STANDARD-OBJECT or
+    FUNCALLABLE-STANDARD-OBJECT, test the types of their arguments more
+    correctly.
+  * bug fix: defining a method on SB-MOP:SLOT-VALUE-USING-CLASS where the
+    object argument is specialized to a CONDITION-CLASS no longer leads to an
+    internal error.
+  * bug fix: the dissassembler on x86-64 correctly disassembles the vcvttpd2dq
+    AVX2 instruction.
+  * bug fix: ensure that the dispatch function for generic functions is
+    compiled with a known compilation policy.  (reported by Neil Goldman)
+  * bug fix: the compiler retains less intermediate data between COMPILE-FILE
+    forms.  (lp#1557590, reported by andy arvid)
+  * bug fix: the (invalid) :INITARGS slot option keyword is reported on.
+    (lp#1887014, reported by Wayne Rittiman, Jr)
+  * bug fix: the SB-SIMD s16.8-maddubs accepts packs of 16 8-bit quantities,
+    not 8 16-bit quantities.  (lp#2069538, reported by Georgios Makris)
+  * bug fix: compiling a TYPECASE to dispatch between many user-defined
+    classes no longer takes exponential time.  (lp#2089311, reported by Tomas
+    Hlavaty)
+  * bug fix: derive the new type for a variable when setting it to a function
+    of its previous version.  (lp#2090997, reported by Vasily Postnicov)
+  * bug fix: properly clear compiler annotations on variables set to new
+    values involving functions of themselves.  (lp#2090967, reported by Kirill
+    A. Korinskiy)
+  * bug fix: handle BY in LOOP forms involving iteration on the reverse of a
+    list.  (lp#2091210, reported by James Kalenius)
+  * bug fix: fix miscompilation of IF where the consequent and alternative
+    would have the same value but for an intervening side-effect.
+    (lp#2092588, reported by JA)
+  * optimization: SLOT-VALUE and (SETF SLOT-VALUE) on method arguments
+    specialized to structure classes are compiled to the corresponding
+    structure accessor.
+  * optimization: calls to SLOT-VALUE (and related operators) on method
+    arguments specialized to instances of SB-MOP:FUNCALLABLE-STANDARD-CLASS
+    are optimized similarly to calls on method arguments specialized to
+    instances of STANDARD-CLASS.
+  * optimization: (coerce (reverse list) 'vector) doesn't cons a list.
+  * optimization: (replace vector (reverse list)) doesn't cons a list.
+
+changes in sbcl-2.4.11 relative to sbcl-2.4.10:
+  * enhancement: define SB-EXT:*DEFAULT-SOURCE-EXTERNAL-FORMAT* as the
+    external format for reading source files (for direct use in LOAD and
+    COMPILE-FILE).  On Windows, this defaults to an external format with CRLF
+    line-endings.  (lp#720517, reported by Mark David)
+  * minor incompatible change: the documentation of
+    SB-SEQUENCE:MAKE-SEQUENCE-LIKE has been altered to match its
+    implementation regarding the (un)initialization of the sequence if neither
+    :INITIAL-CONTENTS nor :INITIAL-ELEMENT is provided.
+  * minor incompatible change: the outputs from SB-GROVEL no longer contain
+    calls to SB-GROVEL::DEFINE-FOREIGN-ROUTINE, but call
+    SB-ALIEN:DEFINE-ALIEN-ROUTINE directly; the definitions of some other
+    SB-GROVEL utilities has also changed.
+  * platform support:
+    ** The system is more likely to build with the musl C library.  (thanks to
+       Masatoshi SANO)
+    ** It is possible to build 32-bit binaries on NetBSD/x86-64 systems.
+       (thanks to Masatoshi SANO)
+    ** Stale big-endian ARM code in callbacks is no longer present.
+       (lp#2087866, reported by Rongcui Dong)
+    ** Correct the encoding of the VPSHUFD AVX2 instruction.  (reported by
+       Dmitry Ignatiev)
+    ** Implement the PINSRQ SSE instruction and provide access to it in
+       SB-SIMD.
+    ** Fix some signed/unsigned and 32-bit issues in the runtime leading to
+       problems with large --dynamic-space-size.  (lp#2087986)
+  * bug fix: cross-reference information about structure accessors is
+    preserved when compilation policy requires it.
+  * bug fix: changing &ALLOW-OTHER-KEYS in a generic function's lambda list
+    needs to invalidate the effective methods cache.  (reported by Robert
+    Strandh)
+  * bug fix: calling DISASSEMBLE on a method-function provides a more useful
+    disassembly.
+  * bug fix: PROCESS-CLOSE no longer leaks a zombie process.
+  * bug fix: interaction between SYMBOL-MACROLET and SPECIAL declarations is
+    handled more correctly in the code walker.  (lp#1053198)
+  * bug fix: better scaling when compiling large numbers of calls to local
+    functions.  (lp#1379661, reported by 3b and Burton Samograd)
+  * bug fix: allow the compiler to approximate types involving large bignums
+    or ratios with large numerator or denominator.  (lp#2085637)
+  * bug fix: miscompilation of type tests involving STRUCTURE-OBJECT.
+    (lp#2088417)
+  * optimization: CONCATENATE with consing arguments can elide some of the
+    intermediate consing.
+  * optimization: the implementations of various external-formats have been
+    sped up.
+  * optimization: elide %SAP-ALIEN calls if all uses dereference the resulting
+    ALIEN object.
+  * optimization: faster (expt integer integer) when computing fixnum results.
+  * optimization: (ash unknown-integer right) can use modular arithmetic.
+  * optimization: (apply x ... list) avoids consing intermediate lists in more
+    situations.
+  * optimizations for arm64, x86-64:
+    ** AREF on non-simple arrays with known element type is faster, along with
+       uses such as LOOP ACROSS, VECTOR-PUSH/POP/EXTEND.
+    ** SIMD variants for POSITION for strings, 8 and 32 bit integer arrays.
+    ** faster overflow checking for (the fixnum (+ fixnum fixnum))
+
+changes in sbcl-2.4.10 relative to sbcl-2.4.9:
+  * minor incompatible change: SB-POSIX::POSIX-FORK is no longer exported from
+    SB-POSIX.  (The interface function, SB-POSIX:FORK, remains exported).
+  * platform support:
+    ** fix bugs in instruction encoding on RISC-V; (reported by Guillaume Le
+       Vaillant)
+    ** fix the location of the linkage-table comment in disassembly on 64-bit
+       powerpc;
+    ** elide allocation of empty number stack frames on arm64;
+    ** fix crash on x86 platforms in compiling array dereferencing with
+       computed offsets with negative intermediate results.  (lp#2084943)
+  * enhancement: the error message from standard object slot typecheck
+    functions in optimized constructors is clearer about the context of the
+    failed type check.
+  * enhancement: BREAK is no longer tail-called, even when in tail position.
+  * enhancement: on arm64 and x86-64, specialized entry points for functions
+    known to take or return fixed numbers of double floats are generated and
+    can be automatically called without boxing intermediate floats.
+  * bug fix: RUN-PROGRAM no longer leaks memory by referencing otherwise
+    unreachable stream instances.
+  * bug fix: exporting or unexporting symbols during package iteration no
+    longer causes any symbol to be visited more times than expected.
+  * bug fix: DISASSEMBLE preserves the comment marker across line-breaks for
+    long function or segment names.  (lp#1889456, thanks to Fedorov Alexander)
+  * bug fix: the compiler no longer loops infinitely trying to compile
+    NOTINLINE calls to known functions with source transform definitions.
+    (lp#2085451, reported by Fedorov Alexander)
+
+changes in sbcl-2.4.9 relative to sbcl-2.4.8:
+  * minor incompatible change: FIND, POSITION (and variants) now check :START
+    and :END arguments for validity as bounding index designators for list
+    sequences.
+  * platform support:
+    ** improve support for Solaris and variants on x86 and x86-64.  (thanks to
+       Masatoshi SANO)
+    ** fix a bug in handling timeouts and interrupted system calls in
+       SB-UNIX:UNIX-SIMPLE-POLL.  (lp#2078824, thanks to Michał phoe Herda)
+    ** fix a bug in the lisp understanding of ssize_t under Windows.
+    ** fix large constant encoding in RISC-V.  (lp#2077307, reported by
+       Guillaume LE VAILLANT)
+    ** more parsimonious low-level type tests on arm64.
+    ** building from the result of git-archive should complete without error.
+  * bug fix: exporting a symbol during package iteration no longer skips other
+    symbols.  (lp#2080387, reported by kbhit)
+  * optimization: improvements to EQ hash tables and associated hash functions.
+  * optimization: type checking of string and string-designator is more efficient.
+  * optimization: the compiler better understands the nature of the results of
+    CONCATENATE.
+
 changes in sbcl-2.4.8 relative to sbcl-2.4.7:
   * bug fix: the elftool utility finds a writeable directory in more
     situations.  (thanks to Shinmera)