Planet SBCL Archives - September, 2023

September, 2023

October, 2023 >

September, 2023

1st

derive-aref-type: faster on specialized integer array constants. - SBCL Commits
derive-aref-type: cache the constant array type. - SBCL Commits
Add a declaration. - SBCL Commits
overflow-transform: (the fixnum (* fixnum x)) can be true for ratios. - SBCL Commits
[2033897] Freshly installed SBCL won't run on platform with glibc 2.31 - Launchpad Bugs
[2033922] SBCL 2.3.8 can't compile ACL2 8.3 on macOS 12 arm - Launchpad Bugs
Better (* constant-ratio integer) type derivation. - SBCL Commits
Better type derivation for RATIO. - SBCL Commits
[2033937] Unreachable code reached (MOD with RATIO argument) - Launchpad Bugs
[2033938] The value #<SB-KERNEL:INTERSECTION-TYPE RATIO> is not of type SB-KERNEL:NUMERIC-TYPE - Launchpad Bugs

2nd

two/one-arg-derive-type: pass RATIO only when asked for. - SBCL Commits
Fold (truncate (real (-1) (1)) integer) - SBCL Commits
Fold REALPART on reals. - SBCL Commits
Derive (- ratio same-ratio) to 0 - SBCL Commits
Add :important nil - SBCL Commits
Add a way to propagate types of functions backwards. - SBCL Commits
constraint-propagate-back: handle variables. - SBCL Commits
constraint-propagate-back: handle test constraints. - SBCL Commits
Derive (/* ratio same-ratio) - SBCL Commits
Determine that X is not zero after (not (zerop (rem x y))) - SBCL Commits

3rd

Clean up the EQUALITY-CONSTRAINT macro. - SBCL Commits
equality-constraints: look for vector-length through variables. - SBCL Commits
Propagate (/ positive-x positive-y) <= positive-x - SBCL Commits
Propagate that the result of (ash x negative-y) is <= than X. - SBCL Commits
[2033997] SBCL 2.3.8 compiler crash on M2 Mac - Launchpad Bugs
Check for null in an ir2 optimizer. - SBCL Commits

4th

[2034026] The value ... is not of type SB-C::VALUED-NODE - Launchpad Bugs
An error in find-ref-equality-constraint. - SBCL Commits
Derive the type of X after (< (- x) something-bounded) - SBCL Commits
Inherit vector length constraints after (= (length a) (length b)) - SBCL Commits

5th

Determine that (>= (+ b positive) b) => T - SBCL Commits
Remove %eql/integer. - SBCL Commits
Remove :integer-eql-vop feature, use vop-existsp instead. - SBCL Commits
Allow stack allocation not just for initial variable bindings. - SBCL Commits
Remove some questionable AVERs. - SBCL Commits
Remove useless type check. - SBCL Commits
pack: Delete unreachable code. - SBCL Commits
Don't leave %vop-existsp in an inlined function. - SBCL Commits
Don't stack allocate SETQ values in a different stack frame. - SBCL Commits

6th

Propagate some (< (- x y) x) constraints. - SBCL Commits
stack: Make sure to not clean up nested stack values too early. - SBCL Commits
Add a thing to help bisect over GC flakes - SBCL Commits
[2034628] Failed AVER in SETQ-ed dynamic extent var - Launchpad Bugs

7th

[2034713] Build failure for version 2.3.8 on riscv64 - Launchpad Bugs
[2034739] The value NIL is not of type SB-C:TN when binding SB-C:TN - Launchpad Bugs
stack: Avoid duplicating some %PRESERVE-DYNAMIC-EXTENT nodes. - SBCL Commits
Better propagation of equality constraints on LVARs. - SBCL Commits
stack: Potentially insert mess-ups at DYNAMIC-EXTENT nodes. - SBCL Commits
Fix test. - SBCL Commits
Update OPTIMIZATIONS. - SBCL Commits
Remove outdated idioms in the compiler. - SBCL Commits
[2034751] Heap exhaustion during GC in compilation of DX form with SETQ - Launchpad Bugs
stack: Fix preservation of interleaved dynamic extents. - SBCL Commits

8th

x86-64: Allow users to compile their C runtime with -fsanitize=alignment - SBCL Commits
Propagate constraints after min/max. - SBCL Commits

9th

[2035001] failed AVER: (EQ DYNAMIC-EXTENT (SB-C::LVAR-DYNAMIC-EXTENT SB-C::LVAR)) - Launchpad Bugs

10th

stack: Remove unused slot. - SBCL Commits
Make comment true. - SBCL Commits
Change expansion of DX-FLET slightly. - SBCL Commits
stack: Make DISCARD-UNUSED-VALUES more efficient and more robust. - SBCL Commits
Delete unused function. - SBCL Commits
Fix sporadic failure of genesis code/data separation assertion - SBCL Commits

11th

Don't set dynamic extent for a SETQ value if it has one already. - SBCL Commits
Help debug LAYOUT breakage - SBCL Commits
Fix for #-imobile-space - SBCL Commits
[2035118] Incorrect result from some simple code - Launchpad Bugs
Don't put equality constraints on ref-constraints. - SBCL Commits
Update math journal - SBCL Commits
Satisfy clang-tidy - SBCL Commits
Work around a problem in clozure cl. - SBCL Commits
Elide %check-bound without inserting code in constraint-propagate. - SBCL Commits
[2035146] Compiler does improper comparison, causing error - Launchpad Bugs
[2035148] STRING-RIGHT-TRIM computing incorrect result with type declaration of parameter - Launchpad Bugs
Check for numbers before comparing them. - SBCL Commits
In reality < needs reals not numbers. - SBCL Commits

12th

Combine a few more genesis headers - SBCL Commits
[2035227] Incorrect result from integer code with MAX, type decls - Launchpad Bugs

13th

Add EQUAL/P from EQ/L equality-constraint optimizers. - SBCL Commits
[2035392] Return values from macro - Launchpad Bugs

14th

[2035852] Incorrect value computed, nested ifs with <=, >= - Launchpad Bugs
Fix a test that fails if verify_gens is enabled - SBCL Commits
Fix a heap invariant violation - SBCL Commits
Fix bignum-float comparisons. - SBCL Commits
Improve a test. - SBCL Commits
Improve a test some more. - SBCL Commits
Improve verify_headered_object - SBCL Commits

15th

- equality-constraint: handle <=/=> - SBCL Commits

16th

[2036306] Incorrect value computed, conditional with = of integers - Launchpad Bugs
[2036307] "Unreachable code reached" (problem with / ?) - Launchpad Bugs
Fix an off-by-one error in / constraint-propagate-result. - SBCL Commits

18th

Inline (%single-float (or single-float double-float/word)) - SBCL Commits
Propagate (plusp (rem x y)) => x > 0 - SBCL Commits

19th

Fix GC assertion failure - SBCL Commits
Add :important nil - SBCL Commits
[2036622] Memory exhausted after several compilations of 972 line function - Launchpad Bugs

20th

[2036677] The value NIL is not of type SB-C::INTERVAL - Launchpad Bugs
Check the result of type-approximate-interval - SBCL Commits
Remove a couple kludges - SBCL Commits
Remove 'hint' arg from find_symbol - SBCL Commits
Add a configuration check - SBCL Commits
Remove follow_maybe_fp, use a load barrier instead - SBCL Commits

21st

Fix heap hex dumper showing wrong size of FILLER_WIDETAG - SBCL Commits
Fix finalizer list heap invariant check failure - SBCL Commits
Add a test - SBCL Commits

22nd

Fix #+weak-vector-readbarrier - SBCL Commits
Rearrange some tests. - SBCL Commits
[2037131] Print empty/NIL defgeneric/defmethod arglists prettily - Launchpad Bugs

23rd

Correct a *feature* condition. - SBCL Commits
Remove irrelevant sentence - SBCL Commits

25th

Remove an #ifndef - SBCL Commits
[2037318] The value NIL is not of type SB-C::TAIL-SET in a LABELS form - Launchpad Bugs
[2037328] Compiler error in invalid code: make-array where initial-contents is not a sequence - Launchpad Bugs

26th

[2037341] Compile time error in deftransform on FIND (invalid code) - Launchpad Bugs
Update a comment carried over from 32-bit x86 - SBCL Commits
[2037346] Bad low bound in type in vector-length-equality-constraint-optimizer - Launchpad Bugs
[2037347] Type error on MAKE-ARRAY of base string with large size - Launchpad Bugs
[2037348] #<SB-C:TN t1 :NORMAL> is not valid as the first result to VOP: SB-VM::OVERFLOW+T - Launchpad Bugs
Type error in vector-length-equality-constraint-optimizer. - SBCL Commits
overflow-transform-unknown-x: give up if the result always overflows. - SBCL Commits
%make-array: consider non-sequences. - SBCL Commits
[2037415] failed AVER: SB-VM::TEMP (in SETF of SBIT with large index) - Launchpad Bugs
[2037443] #<SB-C:TN t1 :NORMAL> is not valid as the first result to VOP: SB-VM::OVERFLOW-UNSIGNED - Launchpad Bugs
[2037450] Attempt to use VALUES-LIST on a dotted list or non-list: :IMPORTANT-RESULT-DISCARDED - Launchpad Bugs
[2037455] Compile error when folding RATIONAL on float infinities - Launchpad Bugs
[2037456] can't tell the size of #<SB-C:TN '#\0!1 :CONSTANT> (with THE of SATISFIES type) - Launchpad Bugs
Don't transform FIND on mismatching types. - SBCL Commits
overflow-transform: give up if the result always overflows. - SBCL Commits
signal-delayed-combination-condition: -INFO can be something else. - SBCL Commits

27th

Draft NEWS for sbcl-2.3.9 - SBCL Commits
Adjust NEWS. - SBCL Commits
Survive rename-package - SBCL Commits

28th

2.3.9: will be tagged as "sbcl-2.3.9" - SBCL Commits
arm64, load-immediate-word: correctly check for single-mov. - SBCL Commits
arm64: apply lsl + and -> ubfiz in more cases. - SBCL Commits
arm64, load-immediate-word: fewer instructions for equal halves. - SBCL Commits
Don't delete unreachable lambdas in maybe-convert-to-assignment. - SBCL Commits
x86-64, if-eq: don't accept immediate X. - SBCL Commits
Protect RATIONAL type derivers from nans and infinities. - SBCL Commits
Call gc_gen_of() with both arguments - SBCL Commits
Move a couple GC diagnostic controls to gc-common - SBCL Commits
Enable heap verification during self-build - SBCL Commits
Put prototypes in the right file - SBCL Commits
Rebuild math journal - SBCL Commits
envanal: Document stack allocation handling more. - SBCL Commits
Fix FIXME. - SBCL Commits
Fix some DX tests. - SBCL Commits
life: Make indirect value cell enlivening simpler/more efficient. - SBCL Commits
x86: Check for stack overflow for large stack allocated objects. - SBCL Commits
Remove some uses of DX-FLET. - SBCL Commits
Fix off-by-one error in with-row-major-simd-index - SBCL Commits

29th

Disable :stack-allocated-vector-checks-overflow where it doesn't work. - SBCL Commits
Optionally disable gc verification. - SBCL Commits
arm64: don't transform %dpb if it's a simple OR/AND. - SBCL Commits
arm64, check-bound: don't encode vector bound. - SBCL Commits
More compact error code for overflow-ash - SBCL Commits
x86-64: use bts/btr for DPB of a single bit. - SBCL Commits
Better DPB when size is known and all bits are set or unset. - SBCL Commits
Correct the new %dpb vops. - SBCL Commits
dpb: cut newbyte to size. - SBCL Commits

30th

Prevent writing into source tree - SBCL Commits
Put a few more things in R/O space - SBCL Commits