Revisions of sbcl
buildservice-autocommit
accepted
request 1007277
from
John Paul Adrian Glaubitz (glaubitz)
(revision 168)
baserev update by copy to link target
John Paul Adrian Glaubitz (glaubitz)
accepted
request 1007272
from
John Paul Adrian Glaubitz (glaubitz)
(revision 167)
- Update to version 2.2.9 * platform support: ** fix build on Darwin platforms with -fno-common. (lp#1980570, thanks to Sergei Trofimovich) ** include /usr/local paths when building on FreeBSD. (lp#1981112, reported by William G Lederer) ** several micro-optimizations on x86-64, including: better use of INC/SUB, better SAP+, shorter KEYWORDP, better argument count verification ** arm64: better KEYWORDP, better argument count verification ** fix build on 32-bit Windows. (lp#1988534, thanks to Alexis Rivera) ** x86-64: WITH-PINNED-OBJECTS can pin constants. (lp#1989037) * bug fix: make sb-simd build in compiler-only SBCL. (thanks to Tonas Hlavaty) * bug fix: SB-SPROF:WITH-PROFILING now returns the value of its body (as was advertised in its documentation). * bug fix: catch malformed LET* forms in DEFMETHOD bodies. (lp#1988880, reported by Patrick Poitras) * enhancement: better source form tracking for atoms in LET bindings. * optimization: reader character macro lookup is simpler and faster. * optimization: FILL-POINTER (and its setter) are more compact.
buildservice-autocommit
accepted
request 1000416
from
John Paul Adrian Glaubitz (glaubitz)
(revision 166)
baserev update by copy to link target
John Paul Adrian Glaubitz (glaubitz)
accepted
request 1000415
from
John Paul Adrian Glaubitz (glaubitz)
(revision 165)
- Update to version 2.2.8 * minor incompatible change: support for 32-bit x86/Darwin has been removed. * bug fix: fix miscompilation related to empty infinite loops preceded by conditional expressions. (lp#1986810, reported by Artyom Bologov) * bug fix: fix gc invariant violations. (lp#1983218, reported by Marius Gerbershagen; lp#1983248, reported by Vasily Postnicov) * bug fix: use CC to compile SBCL as a shared library. (lp#1976148, reported by Pierre Neidhardt) * bug fix: don't crash the system completely if RUN-PROGRAM fails to create a pipe. (lp#1979841, reported by Thor Kristofferson) * bug fix: be more disciplined about use of C system includes. (lp#1981799, reported by Mark Evenson) * bug fix: STRING/= returning wrong results for some cases when :END1/:END2 were not compile-time constants. (lp#1983284) * bug fix: compile-time checking of :START and :END keyword arguments to FILL is more complete. * optimization: adjacent type tests on the same value are more compact (arm64, x86-64). * optimization: the compiler can inline COPY-STRUCTURE in more cases. * optimization: type checks for non-simple arrays are shorter. * optimization: printing strings (as Lisp data) is faster. - Remove sbcl-allow-value-cell-value-in-RO-space.patch, merged upstream
buildservice-autocommit
accepted
request 997579
from
Togan Muftuoglu (toganm)
(revision 164)
baserev update by copy to link target
Togan Muftuoglu (toganm)
accepted
request 994653
from
Atri Bhattacharya (badshah400)
(revision 163)
Add sbcl-allow-value-cell-value-in-RO-space.patch: Allow that value-cell-value can move to R/O space, to fix build failures for maxima and other sbcl dependencies; patch taken from upstream git commit [lp#1983218].
buildservice-autocommit
accepted
request 994325
from
John Paul Adrian Glaubitz (glaubitz)
(revision 162)
baserev update by copy to link target
John Paul Adrian Glaubitz (glaubitz)
accepted
request 994314
from
John Paul Adrian Glaubitz (glaubitz)
(revision 161)
- Update to version 2.2.7 * minor incompatible change: the compiler emits full WARNINGs for undefined references to variables in TYPE and DYNAMIC-EXTENT declarations, and for SETQ of an undefined variable. (This was the historic behaviour for everything except the DYNAMIC-EXTENT case, which used to emit a STYLE-WARNING, but these diagnostics got lost in a refactoring since sbcl-2.2.2) * minor incompatible change: literal objects (strings, in particular) in compiled code may at the discretion of the runtime be placed in read-only memory. Violations of CLHS 3.7.1 could produce memory faults. If ":PURIFY NIL" is given to SAVE-LISP-AND-DIE then no read-only memory will be used. * enhancement: Unicode support has been updated to support version 10.0.0 of the Unicode standard, including addition of characters and refinements to breaking and collation algorithms. * bug fix: AVX is no longer used for loading simd-pack-256 constants. (lp#1928097) * bug fix: fix building the manual when some contribs are blocked or otherwise disabled. (lp#1979821, thanks to Robert Schiele) * bug fix: fix type derivation of sequence functions with highly-specific declared argument types. (lp#1980292, reported by James Kalenius) * bug fix: internal error when optimizing chains of conditionals in local functions. (lp#1981607, reported by Pasha K) * bug fix: fix comparison of negative floats with bignums. * optimization: faster TRUNCATE with float arguments. * optimization: EQUALP hashing of large floating point values should generate less garbage. - from version 2.2.6 * minor incompatible change: support for 32-bit x86 on macOS has been removed.
buildservice-autocommit
accepted
request 983250
from
John Paul Adrian Glaubitz (glaubitz)
(revision 160)
baserev update by copy to link target
John Paul Adrian Glaubitz (glaubitz)
accepted
request 983249
from
John Paul Adrian Glaubitz (glaubitz)
(revision 159)
- Update to version 2.2.5 * minor incompatible change: SB-EXT:*DERIVE-FUNCTION-TYPES* being NIL now means that function calls will strictly only use type information from proclaimed ftypes. The previous behavior (still the default) of using derived type information from the same file is specified with :SAME-FILE. (lp#1393302) * minor incompatible change: RENAME-FILE now overwrites the target file on Windows too, making its behaviour consistent with other platforms. * minor incompatible change: inlining of local function is inhibited if policy DEBUG = 3. * platform support: ** single-stepping is now supported on 64-bit PowerPC platforms. (thanks to Thomas Fitzsimmons) ** the :SB-LINKABLE-RUNTIME feature is now supported on 32-bit and 64-bit PowerPC platforms. (thanks to Thomas Fitzsimmons) * optimization: improved type derivation of REDUCE with some known reducing functions. * enhancement: debug source locations now work correctly for top level forms with policy DEBUG = 1, as well as for block compiled files. * enhancement: TRACE now supports tracing macro functions, compiler-macro functions, individual methods and local functions. See the user manual for more details. (lp#375314) * bug fix: fix integer comparisons on x86-64 and arm64 (lp#1971088, reported by Guillaume LE VAILLANT) * bug fix: coverage instrumentation behaves correctly with respect to non-local exits. * bug fix: ftype proclamations now take effect immediately during block compilation. * bug fix: block compilation of top-level closures now work. (lp#1931730, reported by Sean Maher)
buildservice-autocommit
accepted
request 979161
from
John Paul Adrian Glaubitz (glaubitz)
(revision 158)
baserev update by copy to link target
John Paul Adrian Glaubitz (glaubitz)
accepted
request 979160
from
John Paul Adrian Glaubitz (glaubitz)
(revision 157)
- Update to version 2.2.4 * enhancement: better constraint propagation in the compiler. Specifically, the compiler can now derive the type of X in control flow join situations such as (LAMBDA (X) (ECASE (1 ...) (2 ...)) X) or (LAMBDA (X) (ETYPECASE (INTEGER ...) (SYMBOL ...)) X) instead of forgetting all information about X after the E(TYPE)CASE. * optimization: inlined functions enclosed in local macro definitions no longer save their entire lexical environment, reducing unnecessary memory retention. * optimization: faster (< integer fixnum) comparisons (ARM64 and x86-64). * platform support: ** RUN-PROGRAM is faster on Linux and FreeBSD if close_range(2) is available. * bug fix: block compilation now interacts more correctly with the creation of new packages. * bug fix: internal compiler error in array reference optimizer. (lp#1966624) - from version 2.2.3 * minor incompatible change: SB-THREAD:MUTEX-OWNER may return :THREAD-DEAD if the apparent owner either exited nearly instantly after releasing the mutex (and is not now the owner), or died and never released it. * minor incompatible change: building the system with the simple semi-space copying collector is no longer supported. * minor incompatible change: support for PPC/Darwin has been removed. * platform support: ** fix regressions in threads on RISC-V. (lp#1962598) ** threads are now enabled by default on RISC-V. ** The generational garbage collector is now supported on MIPS.
John Paul Adrian Glaubitz (glaubitz)
accepted
request 957981
from
John Paul Adrian Glaubitz (glaubitz)
(revision 156)
- Update to version 2.2.2 * platform support: ** all architectures now share the coverage mark instrumentation implementation, meaning that performance now equals what had been implemented only on x86 architectures. ** fixed a performance regression on x86-64 from changes in AVX2 register handling. (lp#1960081, reported by Michael Kappert) ** fixed a garbage collection bug on ppc64 manifesting in occasional corruption on threaded programs. (lp#1959338, lp#1952973) ** micro-optimizations in type tests for (SIGNED-BYTE 64). * enhancement: improved handling of source locations for some classes of compile time and runtime errors. * enhancement: better source locations for structure accessors. * bug fix: SB-COVER now always instruments top level forms correctly. * bug fix: muffling conditions now works correctly on higher debug settings. * bug fix: local muffling declarations now scope correctly with respect to undefined variable warnings. * optimization: calls to STRING= can now return NIL more quickly on strings of unequal length.
John Paul Adrian Glaubitz (glaubitz)
accepted
request 950049
from
John Paul Adrian Glaubitz (glaubitz)
(revision 155)
- Update to version 2.2.1 * incompatible change: DEFINE-ALIEN-CALLBACK, which has never been exported from a public package, has been deleted. It is superseded by SB-ALIEN:DEFINE-ALIEN-CALLABLE. * minor incompatible change: compiler warnings are emitted on more provably-erroneous code involving sequence functions on specialized arrays. * platform support: ** support getting thread IDs on FreeBSD. (thanks to Felix Lange) ** faster function call sequence on arm64. ** the built-in buffer size for file streams is increased to 8KB. * enhancement: provide a restart for method lambda list mismatches that fmakunbounds the generic function. * enhancement: provide a USE-VALUE restart around type errors signalled from (SETF SLOT-VALUE). * enhancement: when UPDATE-INSTANCE-FOR-DIFFERENT-CLASS (or -REDEFINED-) undergoes a non-local exit, restore the instance to its original state. (thanks to Michał phoe Herda) * enhancement: the :SYNCHRONIZED keyword argument to MAKE-HASH-TABLE is no longer experimental. * bug fix: fix an erroneous compiler tranform for (EXPT SINGLE-FLOAT INTEGER). (lp#1958061, thanks to Vasily Postnicov) * bug fix: disassembly of closures is more likely to show the relevant code if more than one closure closes over the same environment. (lp#1956870, reported by Michał phoe Herda) * bug fix: RUN-PROGRAM with :IF-EXISTS :APPEND no longer signals an error if the output does not exist. (lp#1958569, thanks to Ingo Krabbe) * optimization: reorder basic blocks to have loop code fall through more often. (thanks to Hayley Patton) * optimization: sequences larger than the buffer size are written to streams
John Paul Adrian Glaubitz (glaubitz)
accepted
request 945358
from
John Paul Adrian Glaubitz (glaubitz)
(revision 154)
- Update to version 2.2.0 * platform support: ** support for FreeBSD on 64-bit arm platforms has been added. ** the :SB-LINKABLE-RUNTIME build-time feature is now supported on 32-bit and 64-bit arm platforms, and on the FreeBSD operating system. ** bug fix: correct encoding for vmovsd. (lp#1953483, reported by Marco Heisig) ** bug fix: support ABIv1 callbacks on big-endian ppc64. (lp#1900343, thanks to Thomas Fitzsimmons) ** bug fix: don't misuse mprotect() in dynamic space on Windows. (lp#1955723, reported by 3b) * enhancement: catch type mismatches for REPLACE, SUBSTITUTE, MAKE-ARRAY with :INITIAL-CONTENTS. * optimization: printing symbols is around 10% faster than previously. * bug fix: don't use the current type of non-returning functions when redefining them in another file. (lp#1953214, reported by Nicolas Hafner) * bug fix: eliminate stack cleanups more conservatively. (lp#1954330, reported by Daniel Kochmański) * bug fix: check consistently in tests for the existence of VOPs. (lp#1952896, reported by Sébastien Villemot)
John Paul Adrian Glaubitz (glaubitz)
accepted
request 935010
from
John Paul Adrian Glaubitz (glaubitz)
(revision 153)
- Update to version 2.1.11 * minor incompatible change: *COMPILE-PRINT* now defaults to NIL. T gives the old behavior of echoing top level forms. Users who want to see a report of the phases of compilation can use *COMPILE-PROGRESS* and the corresponding COMPILE-FILE :PROGRESS argument. * optimization: The compiler assignment-converts functions much more aggressively; local or non-entry block-compiled functions which always return to the same place are automatically converted into the equivalent loop or goto control structures. * enhancement: on x86-64 and ppc64 platforms, the system uses inline instructions rather than page protection to implement a store barrier for the garbage collector. * enhancement: improved reporting of code deletion notes. * platform support: ** unbound-variable restarts for amd64 are now supported. ** bug fix: single-floats to foreign functions on 32-bit ARMel. (lp#1950080, reported by Sebastien Villemot) ** bug fix: opening files with names containing non-ASCII characters on Windows works better. (reported by Nikolay) ** bug fix: use fp_xsave to access the floating point flags and control word in Haiku signal contexts. (Thanks to Al Hoang) ** bug fix: complex single-float support on riscv64. ** optimization: support for accessing elements of &rest args directly on ppc64, mips, riscv. ** optimization: parse a /proc file rather than executing uname for SOFTWARE-VERSION on Linux * bug fix: fix crash from SB-COVER:RESET-COVERAGE. (lp#1950059, reported by Gregory Czerniak)
John Paul Adrian Glaubitz (glaubitz)
accepted
request 928515
from
John Paul Adrian Glaubitz (glaubitz)
(revision 152)
- Update to version 2.1.10 * incompatible change: simd-pack without a specific element-type is no longer treated as containing integers. A type must be supplied for VOPs to work on such values. * minor incompatible change: the list form of the FUNCTION type specifier does not allow * as any argument type, but does allow * as a placeholder for wholly unspecified arguments when specifying the value(s) type. * minor incompatible change: the default (Lisp) toplevel option parser throws an error if it encounters an option which was intended to be used and removed by the C runtime. (lp#1945081, reported by Luke Gorrie) * new feature: there is now a defined interface for defining foreign callable functions, which can be used for passing callbacks to foreign functions or for calling Lisp code from the foreign world as a shared library (preliminary support). See the revised manual section "Calling into Lisp From C" for more details. * enhancement: arg-count mismatches in self-calls in defmethod are reported. (lp#1912436, reported by 3b) * enhancement: the SB-CLTL2 contrib now returns type information for generated structure accessors. (lp#1934859, reported by SATO shinichi) * optimization: code generation is improved for modular arithmetic involving signed operations. * platform support: ** x86-64 machine code emitter crash when attempting to assemble some vector instructions. (lp#1945975, thanks to Marco Heisig) ** conditional move instructions are now supported on arm64. ** a number of new peephole optimizations have been implemented on arm64. ** arm64 on Darwin now uses gcc-compatible thread-local storage. * bug fix: compiler notes are no longer emitted when compiling FORMATTER forms, including when implicitly triggered on a constant string argument to FORMAT. (lp#1946246, reported by SATO shinichi)
John Paul Adrian Glaubitz (glaubitz)
accepted
request 922249
from
John Paul Adrian Glaubitz (glaubitz)
(revision 151)
- Update to version 2.1.9 * minor incompatible change: the experimental DEFCAS macro has been removed. * minor incompatible change: finalizing classes with slots with duplicate symbol-names will only emit a warning if either slot name is an exported symbol. (lp#1943559) * platform support: ** the debugger is better able to display SIMD packs. (thanks to Marco Heisig) ** fix a bug in zeroing YMM registers. (thanks to Marco Heisig) ** fix instruction definitions for SSE blend and shuffle vector instructions. (thanks to Marco Heisig) ** handle heap corruption exceptions in our exception handler on win64. ** improve WAIT-UNTIL-FD-USABLE on Windows, reducing busy-looping. (thanks to Fabio Almeida) * bug fix: EQUALP hash tables whose keys contain arrays containing floats should behave correctly. (lp#1942424, reported by Nicolas Neuss)
John Paul Adrian Glaubitz (glaubitz)
accepted
request 917520
from
John Paul Adrian Glaubitz (glaubitz)
(revision 150)
- Update to version 2.1.8 * minor incompatible change: the experimental DEFINE-CAS-EXPANDER macro has been removed. * minor incompatible change: the hooks in *INIT-HOOKS* are called before starting the finalizer or other non-user threads. (thanks to Sean Whitton) * platform support: ** many improvements to code generation on arm64. ** avoid slow forms of the bit test instructions BT, BTS, BTR on x86-64. ** fix a bug in loading large core files on the Apple M1/arm64. (thanks to Mayank Manjrekar) ** fix a bug in loading core loading on the Apple M1/arm64. (reported by Eric Timmons) * enhancement: the block-compiler is more robust to files with intermingled compile-time and load-time effects. The semantics of the block-compiler remain not-entirely ANSI compatible. (thanks to Sean Maher) * enhancement: (CAS SAP-REF-<x>) and CAS on alien integers is implemented on ppc64 and x86-64, working towards fixing lp#1894057 * bug fix: fix OPEN-STREAM-P on streams closed by saving a core. (lp#1938433, reported by Guillaume LE VAILLANT) * bug fix: remove a spurious warning from COERCE. (lp#1920931, reported by Andrew Berkley) * bug fix: remove a warning from inlining SET-EXCLUSIVE-OR. (lp#1936470, reported by Jerome Abela)
John Paul Adrian Glaubitz (glaubitz)
accepted
request 909968
from
John Paul Adrian Glaubitz (glaubitz)
(revision 149)
- Update to version 2.1.7 * incompatible change: on certain platforms (currently just x86-64), dynamic-extent arrays specialized on character and numeric types and created without either :INITIAL-ELEMENT or :INITIAL-CONTENTS will reflect previous contents of the stack instead of #\null (or 0) in all elements. * minor incompatible change: SB-SPROF:START-PROFILING no longer silently does nothing if the clock is already running. It instead stop and restarts with the newly provided options, and warns. * minor incompatible change: the system attempts to refer to the supplied pathname in compiler diagnostics, if relevant, rather than the truename. * enhancement: new contrib module sb-graph producing graphical visualizations of Intermediate Representations of SBCL compilation data structures. * platform support: ** improved code generation for unary minus in modular contexts on arm64. ** make the disassembler annotations slightly more robust on arm64. ** release space back to the Operating System on Windows. ** improve the test for whether pages need to be committed on Windows. ** fix a bug in the use of the VPCMPEQD opcode on x86-64. (lp#1928516, thanks to Marco Heisig) * optimization: the type of (LOOP ... COLLECT ...), and the type of COLLECT INTO variables, is derived as LIST. (lp#1934577, reported by SATO shinichi)
Displaying revisions 41 - 60 of 208