Planet SBCL Archives - June, 2023

June, 2023

June, 2023

1st

Fix !gencgc-space-setup for darwin-arm64 - SBCL Commits
arm64: fix overflow-ash edge cases. - SBCL Commits
Don't transform ash-inverted for known negative shifts. - SBCL Commits
riscv: Make contribs build again. - SBCL Commits
Fix warning about unset #define - SBCL Commits
Remove 'environ' from globals - SBCL Commits
Fix more #+win32 C warnings - SBCL Commits
Store the unicode input/output specification elsewhere - SBCL Commits
riscv: Load constants in at most two instructions instead of three. - SBCL Commits
Rename for clarity - SBCL Commits

2nd

[2022327] using aref on a multidimensional array parameter with incorrect indices does not fail - Launchpad Bugs
Don't type-check the second argument of overflow-t-y - SBCL Commits
Keep checking for VECTOR when calling hairy-data-vector-ref. - SBCL Commits
Transform hairy-data-vector-ref to a type-checking variant. - SBCL Commits
Optimize (%other-pointer-widetag (the vector x)) - SBCL Commits

3rd

Handle any-reg in the overflow-t VOPs. - SBCL Commits
Check for insert-step-conditions consistently. - SBCL Commits
Don't convert %ldb on unknown integers. - SBCL Commits
Better %ldb transforms for bounded sizes. - SBCL Commits
%ldb type deriver: handle union types. - SBCL Commits

4th

Correctly check for fixnum inside some VOPs. - SBCL Commits
[2022863] no documentation method specializing on condition-direct-slot-definition - Launchpad Bugs

5th

%dpb type deriver: handle union types. - SBCL Commits
%mask-field type deriver: handle union types. - SBCL Commits
Better truncate remainder type derivation. - SBCL Commits
Delay truncate to multiplication transforms. - SBCL Commits
Fix include style - SBCL Commits

6th

[2023002] Compilation error compiling fastnumio in new versions of SBCL - Launchpad Bugs
riscv: Allow static space to be placed above 4GB. - SBCL Commits
arm64: Pass thread to call_into_lisp. - SBCL Commits
Add missing fast-logand/signed-unsigned=>unsigned VOPs. - SBCL Commits
Remove bignum::%fixnum-to-digit - SBCL Commits
Revert "arm64: Pass thread to call_into_lisp." - SBCL Commits
Improve allocator histogram - SBCL Commits

7th

[2023118] (STRING-UPCASE nil) during let statement results in incorrect argument parsing - Launchpad Bugs
Add fast-logand-c/signed-unsigned=>unsigned for most-positive-word - SBCL Commits
Handle string designators in sequence-result-nth-arg. - SBCL Commits
Skip alloc-histo.impure on -system-tlabs - SBCL Commits
sb-bignum: remove %log... wrappers. - SBCL Commits
Replace sb-bignum:%lognot VOPs with a macro. - SBCL Commits
Slight improvements to bignum-gcd. - SBCL Commits
Remove a safety check in bignum-factors-of-two. - SBCL Commits
Use the new VOP name for vop-existsp - SBCL Commits
Don't have a separate ir2-optimize-stores pass. - SBCL Commits
Replace (gethash *backend-parsed-vops*) with vop-existsp - SBCL Commits
[2023218] #<HOST-SB-C:TN t1> is not valid as the second argument to VOP: HOST-SB-VM::RAW-INSTANCE-INIT/WORD - Launchpad Bugs

8th

x86-64: add overflow-ash VOPs. - SBCL Commits
Optimize (unsigned-byte-64-p (not (signed-byte 64))) - SBCL Commits
Transform (typep o '(or word signed-word)) to type predicates. - SBCL Commits
Optimize (unsigned-byte-64-p unsigned) - SBCL Commits
Add ASLR feature. - SBCL Commits
Define region constants with offsets instead of absolute pointers. - SBCL Commits
Remove x86-64 specific optimization (non-x86-64 pessimization). - SBCL Commits
Add relocatable-static-space feature, - SBCL Commits
Relativize static space constant references from Lisp. - SBCL Commits
Reinstate x86-64 optimization. - SBCL Commits
Move some code around. - SBCL Commits
x86-64: use :dword ops in ASH when possible. - SBCL Commits
Don't use (sc-is tn unsigned-reg) to know if a value is unsigned. - SBCL Commits
Change condition-broadcast to -notify in session foregound logic - SBCL Commits
Fix typo - SBCL Commits
Move thread-only code into a progn that's already #+sb-thread - SBCL Commits
Fix C warnings under -DNDEBUG - SBCL Commits

9th

Add :SUNOS to sparc crossbuild test - SBCL Commits
Pass struct thread to arch_{set|clear}_pseudo_atomic - SBCL Commits
Correct the types of compiler message functions. - SBCL Commits
x86-64: improve overflow-ash assembly. - SBCL Commits
arm64: add overflow-ash-unsigned-fixnum - SBCL Commits
Fix windows github actions. - SBCL Commits
x86-64: add overflow-negate VOPs. - SBCL Commits

10th

Improve CONS vop if dynamic-extent - SBCL Commits
Add type decl - SBCL Commits
x86-64: accept immediate and constant in make-value-cell - SBCL Commits
Fix test breakage from prior change - SBCL Commits
arm64: small assembly improvements. - SBCL Commits
[2023441] Pointer types for DEFINE-ALIEN-ROUTINE :OUT (& :IN-OUT) parameter styles - Launchpad Bugs
x86-64: improve cons vops more - SBCL Commits
x86-64, arm64: add a VOP for (truncate signed power-of-two) - SBCL Commits
x86-64, arm64: better combination-implementation-style. - SBCL Commits
Fix cross build. - SBCL Commits
Fix truncate type derivation. - SBCL Commits
Simplify ceiling-rem-bound. - SBCL Commits

12th

arm64: disable fmul + fsub -> fmsub conversion. - SBCL Commits
Better unoptimized CEILING and FLOOR. - SBCL Commits
Force minimal debug-fun-lambda-list to heap - SBCL Commits

13th

Add support for unboxed return values. - SBCL Commits
Unboxed float conversion functions. - SBCL Commits
do not override flags value, but add it (with OR) - SBCL Commits
openbsd: pages for stack needs RW pages (no X) - SBCL Commits
check sigaltstack returns value - SBCL Commits
Wrap long line - SBCL Commits

14th

Better CEILING, FLOOR transforms for +64-bit. - SBCL Commits
Don't specify the divisor in division-by-zero-error. - SBCL Commits
Use %unary-ceiling/floor for CEILING/FLOOR. - SBCL Commits
Update math journal - SBCL Commits
ceiling/truncate transforms: avoid coercing twice. - SBCL Commits
Eradicate assumption that weak-vector = SIMPLE-VECTOR internally - SBCL Commits
[2023838] The value NIL is not of type SB-C::LVAR (overflow transform) - Launchpad Bugs
overflow-transform: ensure the node goes to an lvar. - SBCL Commits
Add stub - SBCL Commits

15th

[2024003] CORRUPTION WARNING in SBCL X86 TO ARM64 cross compile - Launchpad Bugs
Silence failing tests. - SBCL Commits
Reuse coercion VOPs on different code paths. - SBCL Commits

16th

floor transform: it always produces a fixnum. - SBCL Commits
Remove commented out code. - SBCL Commits
Better type declaration for integer-decode-float - SBCL Commits

18th

Represent dominance information more efficiently. - SBCL Commits
Move some stuff out of node.lisp. - SBCL Commits
Wording. - SBCL Commits
check-consistency: Fix strange free var entry detection. - SBCL Commits

19th

bignum-logcount: better type declaration. - SBCL Commits
bignum-logbitp: don't read bignum-length twice. - SBCL Commits
More compact %bignum-length to fixnum. - SBCL Commits
arm64: don't use a temporary in array accessors. - SBCL Commits

20th

Reorder some type checks. - SBCL Commits

21st

Better mask construction for LDB. - SBCL Commits
More compact ldb-bignum=>fixnum. - SBCL Commits
Add VOPs for (logandc2 unsigned signed) - SBCL Commits
Add a modular optimizer for logandc2. - SBCL Commits
Replace logandc1 VOPs with a transform to logandc2. - SBCL Commits
Remove unused macro options - SBCL Commits
Silence unused variables. - SBCL Commits
Revert d6dbe3db85 - SBCL Commits

22nd

Pass --no-execute-only on openbsd-arm64 - SBCL Commits
Fix reorder-type-tests on KEYWORDP. - SBCL Commits
Fix block-compiled build. - SBCL Commits
Make reorder-type-tests more robust. - SBCL Commits
More safety checks in reorder-type-tests. - SBCL Commits

25th

Fix futexes on older arm64 macos. - SBCL Commits

26th

sb-bsd-sockets: restore not failing without ipv6 - SBCL Commits
[2025086] Invalid substructure coalescing in COMPILE-FILE? - Launchpad Bugs
Add more safety to reorder-type-tests. - SBCL Commits

28th

NEWS for sbcl-2.3.6 - SBCL Commits
2.3.6: will be tagged as "sbcl-2.3.6" - SBCL Commits
loop: Split local function out for readability and to document it. - SBCL Commits
check-consistency: make an exception for DX enclose nodes. - SBCL Commits
Better descriptions of LOOP structure and related slots. - SBCL Commits
loop: Remove special case. - SBCL Commits
check-consistency: Kludge condition flag setting VOP check. - SBCL Commits
Unlink REFs when deleting [MV-]LETs via DELETE-BLOCK. - SBCL Commits
Turn on IR1 consistency checking for self-build. - SBCL Commits
Remove CLISP workaround. - SBCL Commits
arm64: Make sb-safepoint build again. - SBCL Commits
Always clear constant tables when clearing ir1 namespace. - SBCL Commits
[2025251] SBCL 2.3.6 fails to build on MS Windows with MSYS2 - Launchpad Bugs
arm64: Don't spill registers on call-out with sb-safepoint. - SBCL Commits
Fix C warning if #-sb-thread - SBCL Commits
Fold single-use function into caller - SBCL Commits
Rearrange some hash-table code - SBCL Commits
[2025288] The value NIL is not of type SB-C:TN-REF - Launchpad Bugs
Don't enable *check-consistency* with sb-devel. - SBCL Commits
Never resignal synchronous low-level signals - SBCL Commits
reuse-move-coercion: protect from tns without readers. - SBCL Commits
Move macOS hack into low_level_handle_now_handler - SBCL Commits
Fix C warning - SBCL Commits

29th

[2025306] failed AVER: (SB-INT:SINGLETON-P SB-C::SUCC) - Launchpad Bugs
Emit weak-pointer C macros in genesis - SBCL Commits
[2025312] #' within a let binding has weired behaviour - Launchpad Bugs
Use a better #+darwin workaround - SBCL Commits
Fix +darwin -sb-thread - SBCL Commits
Don't unlink the combination fun in delete-block. - SBCL Commits
inline-vop: add truly-the for the results. - SBCL Commits
Optimize (typep (the float x) 'double-float) - SBCL Commits
Avoid use of 'boolean' in objdef - SBCL Commits
[2025371] wanted: SB-EXT:COPY-SOURCE-PATH for precise error messages for macroexpander generated code - Launchpad Bugs
Adjust a test for -64-bit - SBCL Commits
Assert self-containedness of all but 1 autogenerated header - SBCL Commits
Fix a few things about C header generation - SBCL Commits
Fix ARRAY-HAS-FILL-POINTER-P constraint propagation. - SBCL Commits
Optimize (typep (the (or double-float array) x) 'number) - SBCL Commits
Fix for pedantic shell such as on SunOS - SBCL Commits
Optimize NUMBERP, REALP VOPs. - SBCL Commits
Optimize NUMBERP, REALP VOPs after FIXNUMP/SINGLE-FLOAT-P. - SBCL Commits
Optimize RATIONALP too. - SBCL Commits
Fix riscv build. - SBCL Commits
[2025399] failed AVER: (NOT (SB-VM::OTHER-POINTER-TN-REF-P SB-VM::ARGS)) - Launchpad Bugs
Fix C warnings - SBCL Commits
Put a transform for symbolp in. - SBCL Commits
Fix header compilation test for 32-bit - SBCL Commits

30th

[2025405] Infinite loop in compiler on function calling COMPLEMENT - Launchpad Bugs
transform-type-predicate: handle numeric types with bounds. - SBCL Commits
Remove unneeded backend type predicates. - SBCL Commits
ir1-transform-type-predicate: don't transform to some intersections. - SBCL Commits
Transform fixnum-mod-p based on the input type. - SBCL Commits
Get rid of more mentions of SHORT-FLOAT-P. - SBCL Commits
Add a type deriver for allocate-vector. - SBCL Commits
Remove some debugging code - SBCL Commits
Remove early return - SBCL Commits
arm64: frob magic even more for immobile space + safepoints. - SBCL Commits
Fix ldb backtrace early in cold init. - SBCL Commits