Planet SBCL Archives - January, 2024

< December, 2023

January, 2024

February, 2024 >

January, 2024

1st

Better zero normalization in numeric types. - SBCL Commits
cast-externally-checkable-p: check let vars for single use too. - SBCL Commits
Fix math cache annoyances - SBCL Commits
Rename for consistency - SBCL Commits

2nd

More compact append2. - SBCL Commits
Gain some more free bits in symbol header - SBCL Commits
Fix ppc64 failure-to-build (from a few weeks ago) - SBCL Commits
Fix multiple def error - SBCL Commits
cast-externally-checkable-p: ignore non-single value lvars. - SBCL Commits

3rd

Explicitly check for SEQUENCE in read/write-sequence. - SBCL Commits
github actions: increase dynamic-space-size. - SBCL Commits

4th

Transform cast+call only if there's nothing between them. - SBCL Commits
Better (the type (truncate float)) - SBCL Commits
Check new FTYPE for mismatches with the derived type. - SBCL Commits
Don't check for ftype on parallel builds. - SBCL Commits
Avoid warnings about mismatched FTYPE in cold-init - SBCL Commits

5th

Update auto_gc_trigger upon (setf bytes-consed-between-gcs) - SBCL Commits
[2048380] Type inference failure in a case with CONS - Launchpad Bugs
arm64: check declared function return values on debug 3. - SBCL Commits
Make the value count error restartable. - SBCL Commits
x86-64: check-nargs in default-unknown-values. - SBCL Commits

6th

Check function return FTYPEs with debug=3. - SBCL Commits
Mark sb-simd packages as system packages. - SBCL Commits
Add constraints for LENGTH from (make-array length). - SBCL Commits
list-reverse-into-vector: don't trust that the list is not modified. - SBCL Commits
cast-externally-checkable-p: ignore :declared-verify. - SBCL Commits
Fix printing in cold-sbcl.map - SBCL Commits
Remove :set-trans for immutable fdefn-name slot - SBCL Commits
[2048446] The value NIL is not of type SB-C::LVAR - Launchpad Bugs
Eagerly compute symbol-hash - SBCL Commits

7th

Remove eql-hash-no-memoize - SBCL Commits
Eliminate bound checks when counting down. - SBCL Commits
lvar-dest-var: expect a node to have no lvar. - SBCL Commits
Change some #+pp64 to #+untagged-fdefns - SBCL Commits
Fix failing unexpected-immediates-in-vops test - SBCL Commits
[2048449] The value NIL is not of type SB-C::INTERVAL - Launchpad Bugs
Unwind bindings slightly earlier in final GC sequence - SBCL Commits
Check for nil from type-approximate-interval. - SBCL Commits
list-reverse-into-vector: don't cons an empty vector. - SBCL Commits
Derive that (setf (aref simple-array i) 'symbol) is for simple-vector. - SBCL Commits
Don't insert check-bound for hairy arrays. - SBCL Commits
sb-simd: inline cast functions. - SBCL Commits

8th

Update math journal - SBCL Commits
Allow symbol-hash to be 0 - SBCL Commits
Use symbol-hash directly in more places - SBCL Commits
[2048530] Unreachable code reached (nested ifs with comparisons) - Launchpad Bugs
Better (typep x '(vector t 10)) - SBCL Commits
add-set-constraints: use the original variable to inherit from. - SBCL Commits
Better (typep x '(simple-array type)) - SBCL Commits
Better (typep x '(array type)) - SBCL Commits
Derive %other-pointer-widetag for non-simple arrays. - SBCL Commits
Better (typep x '(vector t)) - SBCL Commits
array-header-p: don't test strings for simple-array-widetag. - SBCL Commits

9th

Delay eql on floats => eql on float bits. - SBCL Commits
Optimize (eq t word) - SBCL Commits
Don't transform type predicates to EQL. - SBCL Commits
transform-eq-on-words: also handle floats. - SBCL Commits
Typo. - SBCL Commits
Better handling of bad declarations. - SBCL Commits
Use object_size, not HeaderValue, for sizing - SBCL Commits
Update math journal - SBCL Commits

10th

Implement fastrem-32 everywhere - SBCL Commits
Enable FAST-GET-DSD-INDEX-BY-NAME for 32-bit - SBCL Commits
[2048869] Build failure for version 2.4.0 on riscv64 - Launchpad Bugs
Remove SYMBOL-DBINFO vops - SBCL Commits
Handle all raw slot types in structure-slot-value - SBCL Commits
Fix riscv build - SBCL Commits
Fix for case-sensitive filename, lp#2047726 - SBCL Commits
FreeBSD: remove outdated comment and use -lpthread - SBCL Commits
FreeBSD: use elfctl to disable aslr for sbcl binary - SBCL Commits
Remove make-funcallable-instance vop - SBCL Commits

11th

Constraints: track amounts for equality constraints. - SBCL Commits
join-equality-constraints: join amounts. - SBCL Commits
[2048964] The value NIL is not of type SB-C::INTERVAL (#2) - Launchpad Bugs
Remove unused slot from symtbl-magic - SBCL Commits
Improve XSET hashing - SBCL Commits
Be stricter about specifying hash functions for CTYPE slots - SBCL Commits
Change symbol-hash to symbol-name-hash in more places - SBCL Commits
[2049017] The value NIL is not of type NUMBER - Launchpad Bugs
equality-constraints: handle nil amounts in one place. - SBCL Commits
Check for nil from type-approximate-interval. - SBCL Commits
[2049096] #<SB-C:TN F17-1!1 :DEBUG-ENVIRONMENT> is not valid as the first argument to VOP: SB-VM::%EQL/INTEGER2 - Launchpad Bugs
Make parts of printer work earlier in cold-init - SBCL Commits
Ensure that WHITESPACE[1]P works sooner in cold-init - SBCL Commits
%eql/integer: accept any-reg. - SBCL Commits
Remove the x86-64 variant of equal-hash - SBCL Commits

12th

equality-constraints: better handling of multiple eql variables. - SBCL Commits
Resolve a KLUDGE. - SBCL Commits
Allow more slop in array-type-hash-mixer test - SBCL Commits

13th

[2049263] Compilation does not terminate (or at least runs a long time) - Launchpad Bugs
Avoid a loop in equality constraints. - SBCL Commits
[2049281] full call to SB-C::%TYPEP-WRAPPER - Launchpad Bugs
transform-eq-on-words: transform directly to type predicates. - SBCL Commits

14th

Inherit equality constraints into the alternative path. - SBCL Commits
min/max transforms: use < instead of <=. - SBCL Commits
Try a different spelling - SBCL Commits

15th

Commit perfect hash generator of Bob Jenkins - SBCL Commits
Export NEWCHARSTAR-STRING - SBCL Commits
mips: add vops for %ASH/RIGHT - SBCL Commits
Put a usable front-end on the C perfect hash generator - SBCL Commits
Fix hide-packages test failure - SBCL Commits
Implement more %ASH/RIGHT vops - SBCL Commits
Show off a perfect hash function - SBCL Commits
Better MIN/MAX expansion. - SBCL Commits
No need to use %ash/right directly. - SBCL Commits
Fix #-sb-unicode - SBCL Commits
Fix glitch in manual C-to-Lisp translation - SBCL Commits
Convert another hash-table to a perfect hash - SBCL Commits
Fix #-sb-unicode again - SBCL Commits

16th

Use symbolic constants and fix bug in a comment - SBCL Commits
[2049477] Incorrect value computed - Launchpad Bugs
Fix logtest-memref. - SBCL Commits
Lower array-dimension-limit. - SBCL Commits
word=>byte - SBCL Commits
Update math journal - SBCL Commits
Express ctype->hashset-sym differently for make-host-2 - SBCL Commits
Update math journal more - SBCL Commits
Compile pcl/cache in make-host-2 - SBCL Commits
[2049531] Infinite (?) loop in equality constraints - Launchpad Bugs
Stop looking for constraints in dead blocks. - SBCL Commits
Take pcl/caches out of make-host-2 - SBCL Commits
Freeze all the things sooner - SBCL Commits
Update math journal even more - SBCL Commits
Transform TYPECASE on unsealed structure hierarchies - SBCL Commits

17th

Fix bugs from prior TYPECASE change - SBCL Commits
Add bit-index to +BACKEND-INTERNAL-ERRORS+. - SBCL Commits
Base bit-index on maximum-bignum-length. - SBCL Commits
[2049614] Can't build on windows with non-Administrator account - Launchpad Bugs
perfecthash: don't write files. - SBCL Commits
Resolve a style warning on CCL. - SBCL Commits
Skip typecase-cache.pure.lisp when no multiway-branch-if-eq. - SBCL Commits
range<=/integer: better (<= 0 x power-of-two) - SBCL Commits
[2049631] Infinite compiler loop - Launchpad Bugs
Wrong file committed. - SBCL Commits
type-from-constraints: ignore hairy leaf-types. - SBCL Commits
range<: don't check for fixnum for small integers. - SBCL Commits
Replace fixnum-mod-p with range<=. - SBCL Commits
check-range<: use single-float-widetag as the lowest bignum address. - SBCL Commits
Fix hide-packages - SBCL Commits
range<: don't use check-range< if it's already an integer. - SBCL Commits
Update math journal - SBCL Commits
join-equality-constraints: account all constraints within a block. - SBCL Commits
Update math journal again - SBCL Commits
Allow specifying path to ucd data for make-target-2 - SBCL Commits

18th

Fix one more bug in perfecthash.c - SBCL Commits
Transform to check-range< from typep. - SBCL Commits
arm64: unwrap predicates instead of not wrapping them. - SBCL Commits
Typo. - SBCL Commits
perfecthash.impure: don't trigger package locks. - SBCL Commits
x8-64: add check-range VOPs. - SBCL Commits
range<: look at unsigned powers of two. - SBCL Commits
Improve the structure-typecase expansion - SBCL Commits
Try harder to work on older SBCL - SBCL Commits

19th

Fix a bunch of garbage in the perfect-hash emulator - SBCL Commits
x86-64, range< vops: more arithmetic tricks. - SBCL Commits
arm64, range< vops: more arithmetic tricks. - SBCL Commits
Better (range<= 0 fixnum most-positive-fixnum) - SBCL Commits
x86-64: remove fixnum-mod-p. - SBCL Commits
Copy fixnum-mod-p transforms to range<=. - SBCL Commits
Run slow test in CI. - SBCL Commits
[2049933] Incorrect value on TYPEP of integer range type - Launchpad Bugs
range<=: cut negative L to 0 if X is unsigned. - SBCL Commits
x86-64: better signed-byte-8/16-p. - SBCL Commits
Fix a range< transform. - SBCL Commits
[2049951] Another type bug in numeric range - Launchpad Bugs
Fix save7.test - SBCL Commits
Add a declaration to perfect hash lambda and fix C warnings - SBCL Commits

20th

Update math journal - SBCL Commits
Perfectly hash most packages in save-lisp-and-die - SBCL Commits
Remove an accidental code insertion. - SBCL Commits
x86-64: translate (signed-byte-8-p unsigned) to (unsigned-byte 7) - SBCL Commits
Unify parse_argv for win32. - SBCL Commits
replace transform: handle union types. - SBCL Commits
Don't emit efficiency notes from the float contagion transforms. - SBCL Commits

21st

[2050020] The value 36893488147419103228 is not of type (INTEGER -9223372036854775808 18446744073709551615) when binding #:|ARG-FOR-(BYTE 64 0)-1| - Launchpad Bugs

22nd

Assert that host hash generator matches the journal file - SBCL Commits
[2050049] Incorrect type error in code involving REPLACE - Launchpad Bugs
constraint: ignore satisfies types in more places. - SBCL Commits
cirrus ci: change freebsd version. - SBCL Commits
Mark a failing test. - SBCL Commits
Resweep after compaction in a separate pass. - SBCL Commits
[2050088] layout depth conflict with custom funcallable sequence class - Launchpad Bugs

23rd

Fix a calculation - SBCL Commits
Remove a message - SBCL Commits
Update math journal - SBCL Commits
Note a problem - SBCL Commits
Fix relocation.test.sh for #+permgen - SBCL Commits
Use more #ifdef - SBCL Commits
Skip some tests. - SBCL Commits

24th

Fix bug in perfect hash generator - SBCL Commits
Fix REORGANIZE-CORE - SBCL Commits
Revert "mark-region: Skip the external compaction step for now" - SBCL Commits
[2051169] DISASSEMBLE can display wrong code section (sbcl-2.4.0) - Launchpad Bugs

25th

Fix all regression tests for #+(and mark-region-gc permgen) - SBCL Commits

26th

Draft NEWS for sbcl-2.4.1 release - SBCL Commits
[2051401] defmacro compiler notes for List* and Append - Launchpad Bugs

27th

[2051412] Infinite loop in constraint handling - Launchpad Bugs
constraint: delay deleting blocks. - SBCL Commits
[2051428] Incorrect value reported (constraints?) - Launchpad Bugs

28th

min/max constraints: disallow set variables. - SBCL Commits
2.4.1: will be tagged as "sbcl-2.4.1" - SBCL Commits
Define thread-os-tid where it works. - SBCL Commits
More compact destructuring-bind expansion for &key. - SBCL Commits
Put XEPs before local functions. - SBCL Commits
Remove block-annotation. - SBCL Commits
Stop bad efficiency notes from append. - SBCL Commits
Hash sb-unicode::**confusables** perfectly - SBCL Commits
Show object header on heap validation failures - SBCL Commits
Add permgen to crash dump file - SBCL Commits
Implement a hash-table chain correctness checker in C - SBCL Commits
Demonstrate a failure of incremental compaction - SBCL Commits
Do what I meant in prior commit - SBCL Commits
Invent better name for SYMBOL-HASH* - SBCL Commits
Only COERCE-TO-FUN if the result-type is exactly FUNCTION - SBCL Commits
Restore funcallable sequences - SBCL Commits
Allow passing options to perfect hash generator - SBCL Commits
Fix debug helper function broken by 395187f9 - SBCL Commits

29th

integer-fixnum<: don't test the fixnum sign if it's known. - SBCL Commits
primitive-type: process union types for integer, bignum. - SBCL Commits
digit-char: add explicit-check. - SBCL Commits
Fix case expansion for -x86-64. - SBCL Commits
thread-os-tid: don't define if it always returns NIL. - SBCL Commits
Add derive-type to call-with-system-mutex. - SBCL Commits
Fix print-object thread with no thread-os-tid. - SBCL Commits
Add a type deriver for %with-standard-io-syntax. - SBCL Commits
Remove 'flags' from signature of generate_perfhash_sexpr - SBCL Commits
Guard MAKE-PERFECT-HASH-LAMBDA against dup inputs - SBCL Commits

30th

Convert more of perfecthex.inc to emit Lisp - SBCL Commits
Propagate that (mod x positive) < positive. - SBCL Commits
+/- constraints: handle (+/- x -y) - SBCL Commits
Shut up cmucl. - SBCL Commits
An editing mistake. - SBCL Commits
Cease calling host runtime's perfect hash generator - SBCL Commits
Add a type deriver for call-with-timing. - SBCL Commits
[2051713] SB-VM::IMMEDIATE-CONSTANT fell through ECASE expression. Wanted one of (SB-VM::STACK SB-KERNEL:CONSTANT). - Launchpad Bugs
Compile hash table verifier only for mark-region - SBCL Commits
Improve FIND,POSITION transform on constant sequences - SBCL Commits
assert-call-type: assert the node type, not lvar-type. - SBCL Commits
Work around win32 host run-program issues. - SBCL Commits
x86-64, fixnump: don't accept constants. - SBCL Commits
Fix (some) cross-host fasl mismatch - SBCL Commits
Fix another fasl mismatch vs CCL host - SBCL Commits

31st

[2051759] copy-seq hangs forever - Launchpad Bugs
github actions: add darwin-arm64. - SBCL Commits
[2051882] two buggy type declarations in SBCL source - Launchpad Bugs
Fix two function type declarations. - SBCL Commits
Convert a FLET outside an expansion to a MACROLET inside - SBCL Commits
Hash-cons the specialized array element type properties data list - SBCL Commits
Quiet a clisp warning - SBCL Commits
Eagerly report undefined variables during make-host-2 - SBCL Commits