Planet SBCL Archives - March, 2024

< February, 2024

March, 2024

March, 2024

1st

32-bit: Dissociate SYMBOL-HASH and (CAR NIL) - SBCL Commits
Sort the package-use-lists in genesis - SBCL Commits
reader.impure: don't test defining functions named NIL. - SBCL Commits
Sketch out 32-on-64-bit not-yet-ready modular math vop - SBCL Commits
Skip interning test symbols on -x86-64. - SBCL Commits
Invert - SBCL Commits
Anticipate use of perfect hash for CASE macro - SBCL Commits
Do tiny refactor with no behavioral change - SBCL Commits
Make perfecthash random tester slower - SBCL Commits
Add entries to the perfect hash files in advance of needing them - SBCL Commits
arm64: Allow building #+relocatable-static-start on darwin. - SBCL Commits
Adjust a test - SBCL Commits
aver: don't save symbols. - SBCL Commits
It's often compared to multiple kinds, a single logtest is more - SBCL Commits
Do not export do-nodes, do-blocks. - SBCL Commits
Remove inline expansions in SB-C. - SBCL Commits
Don't retain -attributes macros in initforms. - SBCL Commits
Fix +sb-devel tests. - SBCL Commits
Improve CASE expander in various ways - SBCL Commits

2nd

Delete pick-best-sxhash-bits - SBCL Commits
[2055772] A function with declared result type NIL returned: LOGIOR - Launchpad Bugs
Rename %%make-symbol -> %alloc-symbol - SBCL Commits
ref-same-refs: use conses instead of integers. - SBCL Commits
Propagate that X is base-char after (< (char-code x) 128). - SBCL Commits
constraint-back: correctly use conset-add-constraint-to-eql. - SBCL Commits
Go back to returning T from standard-char-p. - SBCL Commits
Pull together various hashing-related chunks of code - SBCL Commits
Memoize MAKE-PERFECT-HASH-LAMBDA - SBCL Commits

3rd

[2055794] Perfect hash generator failed - Launchpad Bugs
Restrict SYMBOL-NAME-HASH to 32 bits - SBCL Commits
Restrict expand-hash-case to compiled code - SBCL Commits
transform-call: avoid transforming &key and &optional. - SBCL Commits
Don't call perfectly-hashable if it's not going to be used. - SBCL Commits
x86-64: store SYMBOL-NAME-HASH in the high 4 bytes of hash slot - SBCL Commits
Improve a badly-written test - SBCL Commits
Simplify *current-path* handling for %funcall. - SBCL Commits
Reorder for block-compilation. - SBCL Commits
Fix Perfect hash generator failure, lp#2055794 - SBCL Commits

4th

ppc64: enable #+salted-symbol-hash - SBCL Commits
replace-combination-with-constant: ignore make-load-form errors. - SBCL Commits
Better AVER reporting. - SBCL Commits
Give symbol-hash an automatic definition for 32-bit - SBCL Commits
Refine the faily parts of a no-consing test - SBCL Commits
Enable #+salted-symbol-hash for 64-bit riscv - SBCL Commits
Make CASE expansion more human-readable - SBCL Commits
Unbreak arm64 - SBCL Commits
Remove a ppc64 kludge - SBCL Commits
Remove stray line that initialized NIL's name twice - SBCL Commits
Don't use conses with extra values for transform-function. - SBCL Commits
Update xperfecthash63 - SBCL Commits
assemble-sections: remove a mapcar. - SBCL Commits
Add a build test for #+(and arm64 relocatable-static-space) - SBCL Commits
Transform (length (or null vector)) - SBCL Commits
Run build-all-cores to update all xperfecthash files - SBCL Commits
arm64: enable #+salted-symbol-hash - SBCL Commits

5th

Do another round of symbol-hash improvements + cleanups - SBCL Commits
Make a version of valid-fun-use for transform-call. - SBCL Commits
[2056184] (/ 1 0) no signal error. - Launchpad Bugs
Restore clisp build. - SBCL Commits
Don't fold (/ 1 bit) to 1. - SBCL Commits
Don't handle :transform from combination-implementation-style. - SBCL Commits
ppc: remove %%ldb %logbitp - SBCL Commits
arm: remove %logbitp. - SBCL Commits
x86: remove %logbitp. - SBCL Commits
Fix (typep a '(vector t)) for vectors displaced to simple-arrays. - SBCL Commits
Stub out EQL-HASH for the host - SBCL Commits
find-equality-constraint: use a hash-table. - SBCL Commits
xperfecthash63.lisp-expr - SBCL Commits
Reduce use of #+/- in hashset by mocking more SBCL stuff - SBCL Commits

6th

More of xperfecthash - SBCL Commits
Remove callee-omit-arg-count-check. - SBCL Commits
Start removing combination-implementation-style. - SBCL Commits
Add a fasteval build config - SBCL Commits
Remove combination-implementation-style on x86-64. - SBCL Commits
Remove combination-implementation-style on ppc. - SBCL Commits
Remove combination-implementation-style on x86. - SBCL Commits
Remove combination-implementation-style. - SBCL Commits
Remove combination-implementation-style on arm. - SBCL Commits
[2056341] POSITION returning incorrect value - Launchpad Bugs
Fix bad POSITION transform, lp#2056341 - SBCL Commits
Fix busted test - SBCL Commits
Share code between CASE expander and hash-based find/position - SBCL Commits
Revert "Share code between CASE expander and hash-based find/position" - SBCL Commits
Cut logand constants to width. - SBCL Commits
Optimize sc+offset functions. - SBCL Commits
expand-hash-case: don't need a vector with all elements equal. - SBCL Commits

7th

[2056444] Incorrect type error - Launchpad Bugs
Fix find-equality-constraint. - SBCL Commits
More or-eq-transform patterns. - SBCL Commits
[2056454] Incorrect result from > on three arguments - Launchpad Bugs
expand-hash-case: can't use FIND to find NIL. - SBCL Commits
Generalize a pattern for or-eq-transform. - SBCL Commits
Reduce use of without-package-locks internally - SBCL Commits

8th

[2056504] Incorrect type error #2 - Launchpad Bugs
[2056514] Declaration for symbol-macro is ignored - Launchpad Bugs
[2056547] #<SB-C:TN t1 :NORMAL> is not valid as the first argument to VOP: SB-C::STRUCTURE-TYPEP - Launchpad Bugs
Build sb-perf - SBCL Commits
Fold structure-typep. - SBCL Commits
Protect a test. - SBCL Commits
Check for overflow in bignum-ashift-left-fixnum - SBCL Commits
Build sb-perf only on linux. - SBCL Commits
Delay some use of unicode tables until later in cold-init - SBCL Commits
sb-walker: correctly process symbol-macrolet declaration. - SBCL Commits
bignum-ashift-left-fixnum: inline ASH on x86. - SBCL Commits
Remove more floating garbage in save-lisp-and-die - SBCL Commits
Add ldb command for hash-table checker - SBCL Commits
Improve sanity_check_loaded_core - SBCL Commits

9th

Fix #+mark-region-gc - SBCL Commits
[2056618] The value #<HASH-TABLE :TEST EQL :COUNT 24 {100BBFBC53}> is not of type LIST - Launchpad Bugs
xset= can be called on a list and a hash-table. - SBCL Commits
Revert "xset= can be called on a list and a hash-table" - SBCL Commits
Use fake %MAKE-LISP-OBJ to implement +-MODFX for host - SBCL Commits

10th

64-bit: Maybe skip malloc-failure test - SBCL Commits
Enable #+(and ppc64 sb-fasteval) - SBCL Commits
Consider not compiling in compile-perfect-hash - SBCL Commits

11th

Use constraints to find unused initial bindings. - SBCL Commits
Remove BOUND-CAST. - SBCL Commits
Report errors before doing fake_foreign_function_call. - SBCL Commits
Reduce the amount of transforms coming from AREF. - SBCL Commits
Support #+debug-gc-barriers on arm64. - SBCL Commits
xperfecthash63 - SBCL Commits
[2056763] Warning from type checking in valid code - Launchpad Bugs
x86-64: Improve the 32-bit modular math vop in a few ways - SBCL Commits
Missed 'git add' for sb-fasteval on ppc64 - SBCL Commits
Better %other-pointer-widetag derivation for arrays. - SBCL Commits
build-all-cores - SBCL Commits
Conditionalize layout scan depending on stuff - SBCL Commits
Change layout-struct-slot-map to a perfect hash - SBCL Commits
[2056789] incorrect type error in APPLY of a function - Launchpad Bugs
constraint: don't replace EQL variables. - SBCL Commits

12th

x86-64: Put finishing touches on 32-bit modular arith vop - SBCL Commits
[2057478] full call to SB-KERNEL:DATA-VECTOR-REF-WITH-OFFSET - Launchpad Bugs
derive-aref-type: return NIL for empty arrays. - SBCL Commits
Fix friggin cl:fixnum vs sb-xc:fixnum screwup - SBCL Commits
Add #+salted-symbol-hash to 32-bit x86 config - SBCL Commits
Remove array bounds checking from perfect hash lambdas - SBCL Commits
x86-64: fix memory ordering issues when setting thread-waiting-for. - SBCL Commits
Fix check-deadlock. - SBCL Commits
Delete VAR-UNUSED-BEFORE-SETS-P. - SBCL Commits
Clean up some cast code. - SBCL Commits
Fix macro hygiene. - SBCL Commits

13th

Regenerate unicode-phash file - SBCL Commits
Share code between hash-based CASE and FIND/POSITION - SBCL Commits
Put a type-predicate stub in the proper file - SBCL Commits
Fix WITH-PINNED-OBJECTS docstring and drop its support of #+cheneygc - SBCL Commits
Implement HASH-AS-IF-SYMBOL-NAME on arm64 and 64-bit riscv - SBCL Commits
Detect some unreachable code in perfect hash expansions. - SBCL Commits
Fix -sb-devel - SBCL Commits

14th

debug-info: Simplify &more handling. - SBCL Commits
Fix &optionals in transform-&args - SBCL Commits
Evolve faster-than-futex some more - SBCL Commits
Fix renaming mistake - SBCL Commits
Add experimental support for IR1 jump-tables for arm64. - SBCL Commits
Fix #-ultrafutex with more compile-time conditionals - SBCL Commits
xperfecthash63 - SBCL Commits
Update other xperfecthash files - SBCL Commits
Use the intended packed representation for COMPILED-DEBUG-FUN-VARS. - SBCL Commits

15th

Store the package object instead of its name in parsed debug info. - SBCL Commits
Lessen scope of package qualifier in a test. - SBCL Commits
Fix arena.impure failure - SBCL Commits
x86-64: use the CALC-PHASH vop - SBCL Commits
Enable #+salted-symbol-hash for 32-bit arm - SBCL Commits

16th

Disable precise derive-aref-type for symbol for sb-xc-host - SBCL Commits
Transform CASE to JUMP-TABLE on arm64. - SBCL Commits
Elide %check-bound on constraint vectors. - SBCL Commits
Remove inapplicable branches in JUMP-TABLE. - SBCL Commits
Delay case-to-jump-table to :constraint - SBCL Commits
Remove (OR ..) from a CASE clause. - SBCL Commits
Propagate types inside case-to-jump-table clauses. - SBCL Commits
Remove NOTINLINE declaration. - SBCL Commits
Remove SB-C::COMPILED-DEBUG-FUN-FORM-NUMBER. - SBCL Commits

17th

Use a function that already exists. - SBCL Commits
Use yet another pre-existing abstraction. - SBCL Commits
Remove misleading comment. - SBCL Commits
Store fop symbol -> number map in a hash-table - SBCL Commits
github actions: Set vm.mmap_rnd_compat_bits=8 - SBCL Commits
case-to-jump-table: cull constants. - SBCL Commits
case-to-jump-table: add %type-constraint when there's no otherwise. - SBCL Commits
[2058148] instance-set-multiple doesn't handle float type in arm64 properly - Launchpad Bugs
case-to-jump-table: avoid hashing suitable keys. - SBCL Commits
Allow :jump-table on arm64 for !define-array-dispatch - SBCL Commits
arm64: use load-immediate instance-set-multiple. - SBCL Commits
More fine-grained jump-table optimization qualities. - SBCL Commits

18th

Enable typecase to sb-c:jump-table expansion. - SBCL Commits
%struct-typecase-miss: cache 0 results. - SBCL Commits
[2058210] Error in compilation during macroexpansion of case form - Launchpad Bugs
Correctly exit from make-perfect-hash-lambda. - SBCL Commits
arm64/jump-table: accept signed/unsigned. - SBCL Commits
Improve / partially fix make-perfect-hash-lambda - SBCL Commits
Switch from multiway-branch-generic-eq to jump-table on x86-64. - SBCL Commits
Switch from multiway-branch-generic-eq to jump-table on x86. - SBCL Commits
[2058274] The value NIL is not of type NUMBER in compiling lambda with case form, dead code - Launchpad Bugs
case-to-jump-table: otherwise may be missing. - SBCL Commits
change-block-successor: delete jump-table targets. - SBCL Commits
change-block-successor: don't link to component-tail. - SBCL Commits
[2058281] Fall through (in jump table) - Launchpad Bugs
Remove multiway-branch-generic-eq. - SBCL Commits
Don't accept descriptor-reg in jump-table. - SBCL Commits
expand-hash-case-for-jump-table: add truly-the. - SBCL Commits
Switch from multiway-branch-generic-eq to jump-table on ppc. - SBCL Commits
[2058284] The value NIL is not of type SB-ASSEM:LABEL when binding SB-C::TARGET-LABEL - Launchpad Bugs
jump-table: ignore deleted gaps. - SBCL Commits
[2058289] The value NIL is not of type SB-C::IR2-BLOCK - Launchpad Bugs
[2058290] Unreachable code reached - Launchpad Bugs
[2058291] Fall through #2 - Launchpad Bugs
[2058292] The value NIL is not of type REAL when binding SB-KERNEL::N1 - Launchpad Bugs
[2058293] Incorrect value computed in case - Launchpad Bugs
change-block-successor: unlink redundant jump-tables. - SBCL Commits
Correctly convert case-to-jump-table to tests. - SBCL Commits
case-to-jump-table: can't use flatten-list. - SBCL Commits
case-to-jump-table can return multiple values. - SBCL Commits
Don't dump the actual top level form for top-level components. - SBCL Commits
Make stuff regarding debug names much less complex. - SBCL Commits
sb-aprof: Rewrite PC-OFFS-TO-FUN-NAME. - SBCL Commits
prepare-jump-table-targets: remove an assertion. - SBCL Commits

19th

[2058300] Incorrect value computed in case #2 - Launchpad Bugs
case-to-jump-table: check the second value of ctypep. - SBCL Commits
[2058301] Incorrect value computed in case #3 - Launchpad Bugs
case-to-jump-table: don't succumb to NIL constants. - SBCL Commits
case-to-jump-table: fix conversion to IF with exact keys. - SBCL Commits
[2058304] Incorrect value computed in case #4 - Launchpad Bugs
Fix editcore - SBCL Commits
Remove 2 bogus comments - SBCL Commits
prepare-jump-table-targets: checking for lvar-type is a good idea. - SBCL Commits
case-to-jump-table: cull the keys before deciding not to hash. - SBCL Commits
x86-64: use EA with a displacement in jump-table. - SBCL Commits
[2058341] #<SB-C:TN C!1 :DEBUG-ENVIRONMENT> is not valid as the first argument to VOP: SB-C:JUMP-TABLE - Launchpad Bugs
[2058347] Incorrect value computed in case #5 - Launchpad Bugs
or-eq-transform: add type checks for longer sequences. - SBCL Commits
case-to-jump-table: delegate some cases to or-eq-transform. - SBCL Commits
case-to-jump-table: use the right variable. - SBCL Commits
Correctly transform fround. - SBCL Commits
Make a type error on SET continuable. - SBCL Commits
arm64, x86-64: a vop for (%negate word) => integer. - SBCL Commits
Declare a type for *standard-readtable* - SBCL Commits
Simplify whitespace[1]p. - SBCL Commits
Pass fewer args to GRAB-MUTEX from WITH-MUTEX, and other things - SBCL Commits
case-body: don't expand to jump-tables under sb-fasteval. - SBCL Commits

20th

sb-eval: use its own lexenv type. - SBCL Commits
Run build-all-cores.sh - SBCL Commits
or-eq-transform: operate on tagged values. - SBCL Commits
or-eq-transform: use check-range<= - SBCL Commits
Implement consistent minus zero handling for FROUND - SBCL Commits
Fix FTRUNCATE, FFLOOR and FCEILING regarding minus zeros - SBCL Commits
Use correct reader conditionals for %UNARY-FTRUNCATE/DOUBLE - SBCL Commits
coalesce-debug-info: Don't iterate over the debug-info-fun-map. - SBCL Commits
[2058499] Incorrect result from typep - Launchpad Bugs
or-eq-transform: correctly tag negative fixnum constants. - SBCL Commits
arm64: fix the DPB vops when size+posn is > 64. - SBCL Commits
[2058549] Incorrect value computed in case #6 - Launchpad Bugs
Update xfloat-math - SBCL Commits
or-eq-transform: operate on signed tagged fixnums. - SBCL Commits
Perfectly hash initial pprint-dispatch cons entries - SBCL Commits
Optimize parse-integer for known :radix 10 and 16. - SBCL Commits

21st

[2058575] The value NIL is not of type STRING when binding STRING - Launchpad Bugs
Properly exit from make-perfect-hash-lambda. - SBCL Commits
parse-integer transform: correctly accept all keywords. - SBCL Commits
[2058627] Incorrect value computed in case #7 - Launchpad Bugs
Add WITHOUT-PACKAGE-LOCKS when interning debug-var symbols. - SBCL Commits
sb-introspect: Guard against (DEBUG 0) functions. - SBCL Commits
or-eq-transform: disable untagged tests when subtraction is needed. - SBCL Commits
sb-introspect: Make function form-number work even on debug 0. - SBCL Commits
Disable perfectly hashed packages except for "CL" - SBCL Commits
case-to-jump-table: add load-time-value around constants. - SBCL Commits
case-to-jump-table: accept only simple constants. - SBCL Commits

22nd

[2058702] Incorrect report of error condition when compiling code - Launchpad Bugs
Non-T arrays are simple constants too. - SBCL Commits
Add a NEWS entry. - SBCL Commits

23rd

Hide sb-c:jump-table from third party code walkers. - SBCL Commits
Remove an unused variable. - SBCL Commits
Check for (boundp 'sb-c:*compilation*) - SBCL Commits

29th

Draft NEWS for sbcl-2.4.3 - SBCL Commits
Adjust NEWS. - SBCL Commits
2.4.3: will be tagged as "sbcl-2.4.3" - SBCL Commits
arm64: more compact widetag-of and layout-of - SBCL Commits
Check complex type assertions. - SBCL Commits
with-array-data: inform about array bounds. - SBCL Commits
x86-64: save one byte in >-integer-fixnum. - SBCL Commits
Inline FIND if OR-EQ-TRANSFORM can handle it. - SBCL Commits
arm64: encode as immediates (--mod64 x negative-constant) - SBCL Commits
Fix *handler-clusters* initialization in warm.lisp - SBCL Commits
arm64: add :targets - SBCL Commits
get-defined-fun: handle :declared-verify. - SBCL Commits
Warn about type proclaimations conflicting with values. - SBCL Commits
More compact list accumulation. - SBCL Commits
[2059810] The value NIL is not of type SEQUENCE - Launchpad Bugs
Fix load-other-pointer-widetag + non-null-symbol-p. - SBCL Commits

30th

Optionally preserve EFLAGS in WITH-REGISTERS-PRESERVED - SBCL Commits
Remove dynbind.h - SBCL Commits
arm64: add support for arenas. - SBCL Commits
Delete stray character - SBCL Commits
Shave a few instructions from RETURN-MULTIPLE - SBCL Commits
Type-check (values ... &rest type). - SBCL Commits
Type-check (nth-value n (values ... &rest type)). - SBCL Commits
[2059842] Incorrect value from DPB - Launchpad Bugs
x86-64: Decode imm32 operand as immobile layout if possible - SBCL Commits
x86-64: correctly allow %dpb VOPs. - SBCL Commits
Skip a test. - SBCL Commits
[2059849] Incorrect value from MASK-FIELD - Launchpad Bugs
Find XREF for anonymous functions. - SBCL Commits
Don't transform mask-field with out of range size. - SBCL Commits

31st

Handle generic functions in sb-introspect:find-function-callees - SBCL Commits
Convert COND + OR + EQ into jump-tables. - SBCL Commits
Fix integer rounders' interaction with minus zero - SBCL Commits
Fix S-L-A-D crash if #+permgen - SBCL Commits
Move permgen layout allocator into alloc.lisp - SBCL Commits