Planet SBCL Archives - December, 2023

< November, 2023

December, 2023

January, 2024 >

December, 2023

1st

[2045327] The value NIL is not of type SB-C::LVAR (in DEFTRANSFORM of TRUNCATE) - Launchpad Bugs
mv-bind-dest: check for nil. - SBCL Commits
Run impure tests with --lose-on-corruption - SBCL Commits
Don't use FORMAT in control-stack-exhausted-error. - SBCL Commits
Make a test resilient against random GC - SBCL Commits
Combine 2 headers, fix missing memcpy header - SBCL Commits
[2045433] remove-static-links is not gc safe - Launchpad Bugs
Disable more tests for --gc-stress - SBCL Commits
Fix a test for -sb-devel - SBCL Commits
[2045442] Compiler error when attempting to compile SB-EXT:MUFFLE-CONDITIONS on nonexistent type - Launchpad Bugs
Don't crash on unknown types in sb-ext:muffle-conditions. - SBCL Commits
Don't enable verify_gens with gc-stress. - SBCL Commits

2nd

Disable more tests for --gc-stress - SBCL Commits
[2045475] SB-INT:ENCAPSULATE-FUNOBJ not gc safe on arm64. - Launchpad Bugs

3rd

[2045484] Add Profile-Guided Optimization (PGO) support to the SBCL compiler - Launchpad Bugs
Define DYNAMIC-USAGE the same for #+mark-region and #+gencgc - SBCL Commits
Whitespace - SBCL Commits
Rename the system-internal CHAR-CODE type to %CHAR-CODE - SBCL Commits
Missing 'git add' - SBCL Commits
mark-region: operate entirely on a offline core for ELF conversion - SBCL Commits

4th

Disable *COMPILE-VERBOSE* and *LOAD-VERBOSE* for --script - SBCL Commits
Fix editcore - SBCL Commits
[2045559] Violations of CLHS 11.1.2.1.1 - Launchpad Bugs
Unexpose the internal types of pathname constituents - SBCL Commits
Hide more system-internal type names - SBCL Commits
Better DPB type derivation. - SBCL Commits
logior derive-type: derive (logior unsigned-byte bounded) - SBCL Commits
Remove junk - SBCL Commits
mark-region: Save more data in crash dump - SBCL Commits
Fix -(or x86 x86-64) - SBCL Commits
Fix sb-safepoint on arm64. - SBCL Commits

5th

Make unwind_binding_stack static - SBCL Commits
logior derive-type: derive (logior unknown-sign positive) - SBCL Commits
Remove obsolete test of SB-IMPL::COALESCE-CTYPES - SBCL Commits
Move the assignment to pre_verify slightly earlier in save - SBCL Commits
Add ldb command to exercise gc_and_save - SBCL Commits
Restore -sb-thread - SBCL Commits
Restore win32 - SBCL Commits

6th

[2045745] 2.3.11 broken on macOS 14 x86_64 - Launchpad Bugs
x86-64, truncate/signed-power-of-two: handle unused quotient. - SBCL Commits
Don't issue notes for (truncate x power-of-two) - SBCL Commits
Transform (truncate (rational 0 10) 11) to (values 0 rational) - SBCL Commits
[2045786] Incorrect second value from TRUNCATE - Launchpad Bugs
[2045788] Unreachable code reached in DEPOSIT-FIELD - Launchpad Bugs
x86-64: fix (rem x 2) - SBCL Commits
Take a --dynamic-space-size option in editcore - SBCL Commits
deposit-field: don't use the same type deriver as dpb. - SBCL Commits
Raise a fuzz factor some more - SBCL Commits
Repair/skip some tests if #+mark-region-gc - SBCL Commits

7th

Don't issue card marks after copy-structure. - SBCL Commits
Add #define to watch all mmap/mprotect calls - SBCL Commits
Export a thing to protect it from tree-shaker - SBCL Commits
set-slot-old-p: add %make-instance/mixed - SBCL Commits
Simplfy some #ifdef'ed code - SBCL Commits

8th

Remove gencgc-release-granularity - SBCL Commits
Rename THREAD_JIT -> THREAD_JIT_WP - SBCL Commits
Un-spaghetti-ize some logic via fewer #ifdefs - SBCL Commits
Remove a special case for BACKEND_PAGE_BYTES > GENCGC_PAGE_BYTES - SBCL Commits
[2045978] full call to SB-VM::%NEGATE-MODFX - Launchpad Bugs
Check /proc/self/exe before discarding argv[0]. - SBCL Commits
Look at argv[0] only when it differs from os_get_runtime_executable_path. - SBCL Commits
logior derive-type: restore the lower negative bound. - SBCL Commits
Fix C warnings - SBCL Commits
Improve the efficiency of #+darwin-jit page clearing - SBCL Commits
[2046004] x86-64 register not being pretty-printed in dissasembly output - Launchpad Bugs

9th

[2046012] failed AVER: (SB-INT:NEQ (SB-C::NODE-ENVIRONMENT SB-EXT:EXIT) SB-C::TARGET-ENV) - Launchpad Bugs
arm64: remove thread-tn from boxed-regs. - SBCL Commits
Don't mark a no longer failing test as failing. - SBCL Commits
mark-region: really actually get macOS working, maybe - SBCL Commits
ir1-optimize-phase-1: look at component-reanalyze. - SBCL Commits

10th

mark-region: Reinstate zero-fill of PAGE_TYPE_CODE - SBCL Commits
mark-region: maintain the need_to_zero bit per page - SBCL Commits
Stop debug output in traceroot on x86-64. - SBCL Commits
Handle os_get_runtime_executable_path returning NULL. - SBCL Commits
mark-region: don't say anything on slad with --noinform - SBCL Commits
Fix elf-sans-immobile.test.sh with sb-core-compression - SBCL Commits
x86-64: pretty print registers in print-jmp-ea. - SBCL Commits
Fix zero_range_with_mmap defect for #+(and darwin (not darwin-jit)) - SBCL Commits
Don't require --without-gencgc when building --with-mark-region-gc - SBCL Commits
Mark failing tests on mark-region-gc - SBCL Commits
Add a mark-region-gc target for github actions. - SBCL Commits

11th

set-slot-old-p: better handling of casts and multiple uses. - SBCL Commits
Mark a test as failing on mark-region-gc - SBCL Commits
Don't have two :broken-on - SBCL Commits
Stop eliminating consecutive gc barriers. - SBCL Commits
Never lose() when in standalone ldb - SBCL Commits

12th

Delete unused C function - SBCL Commits
Remove some FIXME comments - SBCL Commits
Disable msan-unpoison for loads - SBCL Commits
x86-64: don't look at card-table-reg and thread-reg - SBCL Commits
x86-64, define-full-setter: better handling of immediates. - SBCL Commits
Don't require barriers for immobile object immediates. - SBCL Commits
Don't require barriers only for pseudo-static immobile objects. - SBCL Commits

13th

set-slot-old-p: constants are born before the allocator. - SBCL Commits
Adjust a test. - SBCL Commits
Add note about a loop that needs improvement - SBCL Commits
set-slot-old-p: accept sequence-copying functions. - SBCL Commits
Eliminate some consecutive barriers. - SBCL Commits
set-slot-old-p: consider pseudo-static constants as always old. - SBCL Commits
Optimize (vectorp sequence) - SBCL Commits
Disable a couple of tests for --gc-stress. - SBCL Commits
set-slot-old-p: ALLOCATE-VECTOR can appear without SPLAT. - SBCL Commits
mark-region: pin everything hanging off starting-threads as with gencgc - SBCL Commits
set-slot-old-p: handle more allocators. - SBCL Commits
set-slot-old-p: handle closures. - SBCL Commits
set-slot-old-p: better handling of nested lambdas. - SBCL Commits
Fix for cmucl. - SBCL Commits

14th

set-slot-old-p: take local functions. - SBCL Commits
Add gc-barrier debugging. - SBCL Commits
Speed up check-barrier. - SBCL Commits

15th

x86-64: fix gc barriers. - SBCL Commits
Disable consecutive barrier elimination again. - SBCL Commits
Fix impart_mark_stickiness for mark-region - SBCL Commits
Fix find-dominators. - SBCL Commits

16th

maybe-infer-iteration-var-type: do numeric contagion. - SBCL Commits
Better type declarations for find-page-index. - SBCL Commits
Remove result from set-fdefn-fun vops - SBCL Commits
Fix x86 - SBCL Commits

17th

mark-region: Work around a limitation of map-allocated-objects - SBCL Commits
Add remark - SBCL Commits
mark-region: Make test pass if "#define COMPACT" is taken out - SBCL Commits
Accept immediate SC in data-vector-set of some specialized vectors - SBCL Commits
Eliminate unused initial LET bindings. - SBCL Commits
Disable a test on x86. - SBCL Commits
Fix build reproducibility. - SBCL Commits

18th

Do a few trivial rearrangements - SBCL Commits
Implement static link removal for mark-region ELF cores - SBCL Commits
darwin, futex_wait: return if timeout is 0. - SBCL Commits

19th

Clean up assign-lambda-var-tns. - SBCL Commits
Transform (union '(x) y) to (adjoin 'x y). - SBCL Commits
Transform %adjoin-key-test when test ends up being EQ/EQL. - SBCL Commits
darwin-jit: Allow read only space to be movable. - SBCL Commits
Inherit notinline declarations inside inlined functions. - SBCL Commits
Fix a test. - SBCL Commits
[2046966] SBCL 2.3.11 (and many older versions) don't build on Freebsd 14. - Launchpad Bugs
Remove random ifdef as per lp#2046966 - SBCL Commits
Do as the comment suggests to - SBCL Commits
Prevent terminal output in test - SBCL Commits
Remove generic math from %LAYOUT-BITMAP - SBCL Commits

20th

Transform (member 1 x :test 'equal) to (member 1 x :test 'eql) - SBCL Commits
Add a declaration. - SBCL Commits
Transform (find 1 x :test 'equal) to (find 1 x :test 'eql) - SBCL Commits
Remove unused variables. - SBCL Commits
%analyze-set-uses: weaken union numeric types. - SBCL Commits
Fix incorrect bitmaps for funcallable instances - SBCL Commits

21st

More --gc-stress skipping - SBCL Commits

22nd

Draft NEWS for sbcl-2.4.0 - SBCL Commits
Add to NEWS. - SBCL Commits
mark-region: Don't forget gen6 in small generation stats - SBCL Commits

23rd

[2047279] failed AVER: (EQ (SB-C::IR2-LVAR-KIND SB-C::2LVAR) :UNKNOWN) - Launchpad Bugs
[2047289] Infinite loop in compiler? - Launchpad Bugs

26th

Remove output from a few tests - SBCL Commits
Improve print_struct() - SBCL Commits
Comment on known bug - SBCL Commits
De-flake a test - SBCL Commits
x86-64: Actually fix an already-removed FIXME - SBCL Commits

27th

Fix some random irrelevant complaints from tests - SBCL Commits
Remove tree-shaker protection symbol - SBCL Commits
Raise immobile fixedobj space size - SBCL Commits
sb-simd: remove an unused variable. - SBCL Commits

28th

2.4.0: will be tagged as "sbcl-2.4.0" - SBCL Commits
Fix typo in 2.4.0 NEWS - SBCL Commits
x86-64, default-unknown-values: don't default known values to NIL. - SBCL Commits
concatenate-subseq: provide better lvar-externally-checkable-type. - SBCL Commits
almost-immediately-used-p: ignore unrelated casts. - SBCL Commits
cast-externally-checkable-p: look through LETs. - SBCL Commits
Add a type deriver for digit-char-p. - SBCL Commits
Propagate that X after (the type (1+ x)) is (1- type). - SBCL Commits
Transform (make-array n :initial-contents (reverse s)) - SBCL Commits
Reduce branching in digit-char-p. - SBCL Commits
Optimize (concatenate 'x (subseq x ..) ...) - SBCL Commits
Add constraint-propagate-back for *, -. - SBCL Commits
Relativize safepoint page addresses to STATIC_SPACE_START. - SBCL Commits
editcore: Add support for arm64 and enable PIE support. - SBCL Commits
safepoint: Remove unused context argument. - SBCL Commits
editcore: Make alien_linkage_values r/w. - SBCL Commits
[2047655] [review] FreeBSD: disable ASLR to avoid conflicts in mappings - Launchpad Bugs
Update math journal for all cross-builds - SBCL Commits
Still more math-journal updates - SBCL Commits
Pick a better name for complex-widetag - SBCL Commits
[2047660] overeager-character-buffering test failure - Launchpad Bugs
Absorb lispstring.h into other headers - SBCL Commits
Remove save.h - SBCL Commits
[2047663] The value NIL is not of type SB-C::INTERVAL when binding SB-C::Y - Launchpad Bugs

29th

Check for type-approximate-interval returning NIL. - SBCL Commits
Fix C warning - SBCL Commits
Shrink float-math.lisp-expr so it reads faster - SBCL Commits
Improve calc-numeric type-hash in the host - SBCL Commits
make-numeric-type: restore normalize-zero. - SBCL Commits
Optimize (loop for x in (reverse list)) - SBCL Commits
github actions: produce backtraces in cmucl. - SBCL Commits
Derive the type of (length list) - SBCL Commits
Rename float-math.lisp-expr to xfloat-math.lisp-expr. - SBCL Commits
arm64: optimize (apply ... (reverse x)) - SBCL Commits
Reduce consecutive type checks. - SBCL Commits
Hide code behind when-vop-existsp. - SBCL Commits
More math journal updates - SBCL Commits
[2047706] Infinite loop in compiler #2 - Launchpad Bugs
Separate editcore into two kinds of functionality - SBCL Commits
More compact loop append. - SBCL Commits
Optimize conditional loop append. - SBCL Commits
mark-region: Implement offline compactor - SBCL Commits
The csubtypep values-types/not-values-types mess. - SBCL Commits
constraint-propagate: ignore unknown or satisfies types. - SBCL Commits
mark-region: Skip the external compaction step for now - SBCL Commits
[2047716] failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)) - Launchpad Bugs
[2047717] failed AVER: (SB-C::BASIC-COMBINATION-P SB-C::DEST) - Launchpad Bugs

30th

Solve problems with cast-type-check-external and hairy types. - SBCL Commits
[2047722] failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)) (#2) - Launchpad Bugs
[2047726] Failure to compile with MinGW - Launchpad Bugs
checkgen: better cast removal. - SBCL Commits
[2047730] failed AVER: (SB-C::BASIC-COMBINATION-P SB-C::DEST) - Launchpad Bugs
Remove maybe-update-standard-slot-locations - SBCL Commits
Remove an aver. - SBCL Commits
cast-externally-checkable-p: erase the type if a cast is skipped. - SBCL Commits
Transform lcm/gcd with 0 or 1. - SBCL Commits
Don't transform char-equal to two-arg-char-equal. - SBCL Commits
Remove mentions of two-arg-char-equal. - SBCL Commits
Remove BYTE-OFFSET slot from genesis DESCRIPTOR - SBCL Commits
Reduce use of #+compact-instance-header in genesis - SBCL Commits

31st

Remove ad-hoc hacks from make-gspace, pass keywords - SBCL Commits
[2047740] Incorrect value returned - Launchpad Bugs
[2047741] Incorrect failure of (THE (SATISFIES EVAL) ...) - Launchpad Bugs
Edit some comments - SBCL Commits
Fix print-object method - SBCL Commits
[2047749] TYPEP fails to signal an error on type (FUNCTION) - Launchpad Bugs
Remove duplicated code - SBCL Commits
Better consecutive cast elimination. - SBCL Commits
Fix static-fdefn-offset - SBCL Commits
Adjust a test. - SBCL Commits
Give compile-time enable/disable switch for mark-region compaction - SBCL Commits
Prevent assigning an ID in LAYOUT's print-object method - SBCL Commits
mark-region: add minimal compact-instance-header feature - SBCL Commits