Re: Fwd: mysterious darwin aarch64 bug
Hayley Patton <[email protected]> Mon, 13 Jul 2026 17:15:16 +1000
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============2072938028091464199==
Content-Type: multipart/alternative;
boundary="------------Ev4AzcWgN2HgQ02cgFgg0mE0"
Content-Language: en-US
This is a multi-part message in MIME format.
--------------Ev4AzcWgN2HgQ02cgFgg0mE0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Hello Andrew,
It's in my email :)
Failing that, Stas upstreamed it
<https://github.com/sbcl/sbcl/commit/90ce44aad599b74ab63595167f276fccd6f8b0d6>
Thanks,
Hayley
On 13/7/26 01:49, Andrew Wolven wrote:
> I'm re-sending this message because it didn't seem to make it to the
> mailing list.
>
> But curiously, Hayley seemed to reference a nearly identical error
> message in:
>
> Subject: [Sbcl-devel] Get the encodable ranges right for SAP-REF-{8,
> 16, 32}-C
>
> And she mentioned a patch. Is there any way I could get my hands on
> that patch?
>
> Thanks,
> Andrew (clothespin)
>
>
>
> ---------- Forwarded message ---------
> From: *Andrew Wolven* <[email protected]>
> Date: Sat, Jul 11, 2026 at 12:02 PM
> Subject: mysterious darwin aarch64 bug
> To: <[email protected]>
>
>
> Hi.
>
> I encountered this bug this morning, but I haven't really done a lot
> of investigating. It didn't seem like a normal Lisp error, so I
> thought I would reach out just to see if anyone could shed some light
> on it before I start going through a long process of working out what
> it is.
>
> This is with generated code which also happens to use a metaclass, so
> it very well could be something I am doing wrong. A Windows "version"
> of this code compiles and loads on Windows, although I had to
> recompile sbcl with a quadrupled text space size. But I am not sure
> that the text space size is important here. Here is a backtrace:
>
> Invalid STR/LDR arguments: 1 #S(SB-ARM64-ASM::MEMORY-OPERAND
> :BASE #<SB-C:TN t1[NL1] :NORMAL>
> :OFFSET 16408
> :MODE :OFFSET)
> [Condition of type SIMPLE-ERROR]
>
> Restarts:
> 0: [RETRY] Retry SLY mREPL evaluation request.
> 1: [*ABORT] Return to SLY's top level.
> 2: [ABORT] abort thread (#<THREAD tid=6147
> "sly-channel-1-mrepl-remote-1" RUNNING {70CD880323}>)
>
> Backtrace:
> 0: (SB-ARM64-ASM::EMIT-LOAD-STORE 0 1 #<SB-ASSEM:SEGMENT
> {7015885753}> #<SB-C:TN t2[NL1] :NORMAL>
> #S(SB-ARM64-ASM::MEMORY-OPERAND :BASE #<SB-C:TN t1[NL1] :NORMAL>
> :OFFSET 16408 :MODE :OFFSET))
> 1: (SB-ASSEM::%ASSEMBLE #<SB-ASSEM:SEGMENT {7015885753}>
> (#<SB-ASSEM::STMT IGNORE () {7015883D33}> . #<SB-ASSEM::STMT .ALIGN
> (4) {70158858A3}>))
> 2: (SB-ASSEM:ASSEMBLE-SECTIONS #S(SB-ASSEM::ASMSTREAM :DATA-SECTION
> (#<SB-ASSEM::STMT IGNORE () {7015883D33}> . #<SB-ASSEM::STMT .ALIGN
> (4) {70158858A3}>) :CODE-SECTION (#1=#<SB-ASSEM::STMT IGNORE () {70..
> 3: (SB-C::GENERATE-CODE #<SB-C:COMPONENT :NAME "DEFCLASS AST-CONTEXT"
> {7015412AC3}>)
> 4: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "DEFCLASS
> AST-CONTEXT" {7015412AC3}>)
> 5: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "DEFCLASS
> AST-CONTEXT" {7015412AC3}>)
> 6: (SB-C::COMPILE-TOPLEVEL (#<SB-C::CLAMBDA :%SOURCE-NAME
> SB-C::.ANONYMOUS. :%DEBUG-NAME "top level form" :KIND (TOPLEVEL) :TYPE
> #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM
> :DEFINED :..
> 7: (SB-C::CONVERT-AND-MAYBE-COMPILE (LET ((OLD #))
> (SB-MOP:ENSURE-CLASS (QUOTE CLANG::AST-CONTEXT) :METACLASS (QUOTE
> GHTO::C++-CLASS) :DIRECT-SUPERCLASSES (QUOTE #) ...) (WHEN OLD
> (MAKE-INSTANCES-OBSOLET..
> 8: (SB-C::PROCESS-TOPLEVEL-FORM (LET ((OLD #)) (SB-MOP:ENSURE-CLASS
> (QUOTE CLANG::AST-CONTEXT) :METACLASS (QUOTE GHTO::C++-CLASS)
> :DIRECT-SUPERCLASSES (QUOTE #) ...) (WHEN OLD (MAKE-INSTANCES-OBSOLETE
> OL..
> 9: (SB-C::PROCESS-TOPLEVEL-FORM (GHTO::DEFCLASS CLANG::AST-CONTEXT
> (LLVM::REF-COUNTED-BASE<CLANG.AST-CONTEXT>) ((GHTO::PTR-TYPE :INITFORM
> # :ALLOCATION :CLASS) (GHTO::SIZEOF-TYPE :INITFORM # :ALLOCATION ..
> 10: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS)
> :IN SB-C::SUB-COMPILE-FILE) (GHTO::DEFCLASS CLANG::AST-CONTEXT
> (LLVM::REF-COUNTED-BASE<CLANG.AST-CONTEXT>) ((GHTO::PTR-TYPE :INITFORM
> # ..
> 11: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY
> :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-C::SUB-COMPILE-FILE)
> {70041B41AB}> #<SB-C::SOURCE-INFO {70DDE30003}> SB-C::INPUT-ERROR-IN-CO..
> 12: ((LAMBDA NIL :IN SB-C::SUB-COMPILE-FILE))
> 13: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
> 14: (SB-C::SUB-COMPILE-FILE #<SB-C::SOURCE-INFO {70DDE30003}> NIL)
> 15: (COMPILE-FILE "~/clanglite2/clanglite-types.lisp" :OUTPUT-FILE ""
> :VERBOSE NIL :PRINT NIL :EXTERNAL-FORMAT :DEFAULT :PROGRESS NIL
> :TRACE-FILE NIL :BLOCK-COMPILE NIL :ENTRY-POINTS NIL :EMIT-CFASL NIL)
> 16: (LOAD-TEST)
>
> If necessary I can upload the source code to my website for someone to
> try. But I just wanted to get a first impression here.
>
> -AKW
--------------Ev4AzcWgN2HgQ02cgFgg0mE0
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">Hello Andrew,</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">It's in my email :)</div>
<div class="moz-cite-prefix">Failing that, Stas upstreamed it
<a class="moz-txt-link-rfc2396E" href="https://github.com/sbcl/sbcl/commit/90ce44aad599b74ab63595167f276fccd6f8b0d6"><https://github.com/sbcl/sbcl/commit/90ce44aad599b74ab63595167f276fccd6f8b0d6></a></div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Thanks,</div>
<div class="moz-cite-prefix">Hayley</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 13/7/26 01:49, Andrew Wolven wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CANhGVvTFXfAzSSru5VawN0tB0A5hoPUmFrGNFkinTq+_+d9t0g@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">I'm re-sending this message because it didn't
seem to make it to the mailing list.</div>
<div dir="ltr"><br>
</div>
<div dir="ltr">But curiously, Hayley seemed to reference a
nearly identical error message in:</div>
<div dir="ltr"><br>
</div>
<div dir="ltr">Subject: [Sbcl-devel] Get the encodable ranges
right for SAP-REF-{8,<br>
16, 32}-C</div>
<div dir="ltr"><br>
</div>
<div>And she mentioned a patch. Is there any way I could get
my hands on that patch?</div>
<div><br>
</div>
<div>Thanks,</div>
<div>Andrew (clothespin)</div>
<div dir="ltr"><br>
</div>
<div dir="ltr"><br>
</div>
<div dir="ltr"><br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">---------- Forwarded
message ---------<br>
From: <strong class="gmail_sendername" dir="auto">Andrew
Wolven</strong> <span dir="auto"><<a
href="mailto:[email protected]" target="_blank"
moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a>></span><br>
Date: Sat, Jul 11, 2026 at 12:02 PM<br>
Subject: mysterious darwin aarch64 bug<br>
To: <<a href="mailto:[email protected]"
target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">[email protected]</a>><br>
</div>
<br>
<br>
<div dir="ltr">Hi.
<div><br>
</div>
<div>I encountered this bug this morning, but I haven't
really done a lot of investigating. It didn't seem
like a normal Lisp error, so I thought I would reach
out just to see if anyone could shed some light on it
before I start going through a long process of working
out what it is.</div>
<div><br>
</div>
<div>This is with generated code which also happens to
use a metaclass, so it very well could be something I
am doing wrong. A Windows "version" of this code
compiles and loads on Windows, although I had to
recompile sbcl with a quadrupled text space size. But
I am not sure that the text space size is important
here. Here is a backtrace:</div>
<div><br>
</div>
<div>Invalid STR/LDR arguments: 1
#S(<a class="moz-txt-link-freetext" href="SB-ARM64-ASM::MEMORY-OPERAND">SB-ARM64-ASM::MEMORY-OPERAND</a><br>
:BASE #<a class="moz-txt-link-rfc2396E" href="SB-C:TNt1[NL1]:NORMAL"><SB-C:TN
t1[NL1] :NORMAL></a><br>
:OFFSET 16408<br>
:MODE :OFFSET)<br>
[Condition of type SIMPLE-ERROR]<br>
<br>
Restarts:<br>
0: [RETRY] Retry SLY mREPL evaluation request.<br>
1: [*ABORT] Return to SLY's top level.<br>
2: [ABORT] abort thread (#<THREAD tid=6147
"sly-channel-1-mrepl-remote-1" RUNNING
{70CD880323}>)<br>
<br>
Backtrace:<br>
0: (<a class="moz-txt-link-freetext" href="SB-ARM64-ASM::EMIT-LOAD-STORE">SB-ARM64-ASM::EMIT-LOAD-STORE</a> 0 1
#<a class="moz-txt-link-rfc2396E" href="SB-ASSEM:SEGMENT{7015885753}"><SB-ASSEM:SEGMENT {7015885753}></a> #<a class="moz-txt-link-rfc2396E" href="SB-C:TNt2[NL1]:NORMAL"><SB-C:TN
t2[NL1] :NORMAL></a> #S(<a class="moz-txt-link-freetext" href="SB-ARM64-ASM::MEMORY-OPERAND">SB-ARM64-ASM::MEMORY-OPERAND</a>
:BASE #<a class="moz-txt-link-rfc2396E" href="SB-C:TNt1[NL1]:NORMAL"><SB-C:TN t1[NL1] :NORMAL></a> :OFFSET 16408
:MODE :OFFSET))<br>
1: (<a class="moz-txt-link-freetext" href="SB-ASSEM::%ASSEMBLE">SB-ASSEM::%ASSEMBLE</a> #<a class="moz-txt-link-rfc2396E" href="SB-ASSEM:SEGMENT{7015885753}"><SB-ASSEM:SEGMENT
{7015885753}></a> (#<a class="moz-txt-link-rfc2396E" href="SB-ASSEM::STMTIGNORE(){7015883D33}"><SB-ASSEM::STMT IGNORE ()
{7015883D33}></a> . #<a class="moz-txt-link-rfc2396E" href="SB-ASSEM::STMT.ALIGN(4){70158858A3}"><SB-ASSEM::STMT .ALIGN (4)
{70158858A3}></a>))<br>
2: (<a class="moz-txt-link-freetext" href="SB-ASSEM:ASSEMBLE-SECTIONS">SB-ASSEM:ASSEMBLE-SECTIONS</a> #S(<a class="moz-txt-link-freetext" href="SB-ASSEM::ASMSTREAM">SB-ASSEM::ASMSTREAM</a>
:DATA-SECTION (#<a class="moz-txt-link-rfc2396E" href="SB-ASSEM::STMTIGNORE(){7015883D33}"><SB-ASSEM::STMT IGNORE ()
{7015883D33}></a> . #<a class="moz-txt-link-rfc2396E" href="SB-ASSEM::STMT.ALIGN(4){70158858A3}"><SB-ASSEM::STMT .ALIGN (4)
{70158858A3}></a>) :CODE-SECTION
(#1=#<<a class="moz-txt-link-freetext" href="SB-ASSEM::STMT">SB-ASSEM::STMT</a> IGNORE () {70..<br>
3: (<a class="moz-txt-link-freetext" href="SB-C::GENERATE-CODE">SB-C::GENERATE-CODE</a> #<<a class="moz-txt-link-freetext" href="SB-C:COMPONENT">SB-C:COMPONENT</a> :NAME
"DEFCLASS AST-CONTEXT" {7015412AC3}>)<br>
4: (<a class="moz-txt-link-freetext" href="SB-C::%COMPILE-COMPONENT">SB-C::%COMPILE-COMPONENT</a> #<<a class="moz-txt-link-freetext" href="SB-C:COMPONENT">SB-C:COMPONENT</a>
:NAME "DEFCLASS AST-CONTEXT" {7015412AC3}>)<br>
5: (<a class="moz-txt-link-freetext" href="SB-C::COMPILE-COMPONENT">SB-C::COMPILE-COMPONENT</a> #<<a class="moz-txt-link-freetext" href="SB-C:COMPONENT">SB-C:COMPONENT</a> :NAME
"DEFCLASS AST-CONTEXT" {7015412AC3}>)<br>
6: (<a class="moz-txt-link-freetext" href="SB-C::COMPILE-TOPLEVEL">SB-C::COMPILE-TOPLEVEL</a> (#<<a class="moz-txt-link-freetext" href="SB-C::CLAMBDA">SB-C::CLAMBDA</a>
:%SOURCE-NAME <a class="moz-txt-link-freetext" href="SB-C::.ANONYMOUS">SB-C::.ANONYMOUS</a>. :%DEBUG-NAME "top
level form" :KIND (TOPLEVEL) :TYPE
#<a class="moz-txt-link-rfc2396E" href="SB-KERNEL:BUILT-IN-CLASSOIDFUNCTION(read-only)"><SB-KERNEL:BUILT-IN-CLASSOID FUNCTION
(read-only)></a> :WHERE-FROM :DEFINED :..<br>
7: (<a class="moz-txt-link-freetext" href="SB-C::CONVERT-AND-MAYBE-COMPILE">SB-C::CONVERT-AND-MAYBE-COMPILE</a> (LET ((OLD #))
(<a class="moz-txt-link-freetext" href="SB-MOP:ENSURE-CLASS">SB-MOP:ENSURE-CLASS</a> (QUOTE <a class="moz-txt-link-freetext" href="CLANG::AST-CONTEXT">CLANG::AST-CONTEXT</a>)
:METACLASS (QUOTE <a class="moz-txt-link-freetext" href="GHTO::C++-CLASS">GHTO::C++-CLASS</a>)
:DIRECT-SUPERCLASSES (QUOTE #) ...) (WHEN OLD
(MAKE-INSTANCES-OBSOLET..<br>
8: (<a class="moz-txt-link-freetext" href="SB-C::PROCESS-TOPLEVEL-FORM">SB-C::PROCESS-TOPLEVEL-FORM</a> (LET ((OLD #))
(<a class="moz-txt-link-freetext" href="SB-MOP:ENSURE-CLASS">SB-MOP:ENSURE-CLASS</a> (QUOTE <a class="moz-txt-link-freetext" href="CLANG::AST-CONTEXT">CLANG::AST-CONTEXT</a>)
:METACLASS (QUOTE <a class="moz-txt-link-freetext" href="GHTO::C++-CLASS">GHTO::C++-CLASS</a>)
:DIRECT-SUPERCLASSES (QUOTE #) ...) (WHEN OLD
(MAKE-INSTANCES-OBSOLETE OL..<br>
9: (<a class="moz-txt-link-freetext" href="SB-C::PROCESS-TOPLEVEL-FORM">SB-C::PROCESS-TOPLEVEL-FORM</a> (<a class="moz-txt-link-freetext" href="GHTO::DEFCLASS">GHTO::DEFCLASS</a>
<a class="moz-txt-link-freetext" href="CLANG::AST-CONTEXT">CLANG::AST-CONTEXT</a>
(<a class="moz-txt-link-freetext" href="LLVM::REF-COUNTED-BASE">LLVM::REF-COUNTED-BASE</a><CLANG.AST-CONTEXT>)
((<a class="moz-txt-link-freetext" href="GHTO::PTR-TYPE">GHTO::PTR-TYPE</a> :INITFORM # :ALLOCATION :CLASS)
(<a class="moz-txt-link-freetext" href="GHTO::SIZEOF-TYPE">GHTO::SIZEOF-TYPE</a> :INITFORM # :ALLOCATION ..<br>
10: ((LAMBDA (<a class="moz-txt-link-freetext" href="SB-KERNEL:FORM">SB-KERNEL:FORM</a> &KEY :CURRENT-INDEX
&ALLOW-OTHER-KEYS) :IN <a class="moz-txt-link-freetext" href="SB-C::SUB-COMPILE-FILE">SB-C::SUB-COMPILE-FILE</a>)
(<a class="moz-txt-link-freetext" href="GHTO::DEFCLASS">GHTO::DEFCLASS</a> <a class="moz-txt-link-freetext" href="CLANG::AST-CONTEXT">CLANG::AST-CONTEXT</a>
(<a class="moz-txt-link-freetext" href="LLVM::REF-COUNTED-BASE">LLVM::REF-COUNTED-BASE</a><CLANG.AST-CONTEXT>)
((<a class="moz-txt-link-freetext" href="GHTO::PTR-TYPE">GHTO::PTR-TYPE</a> :INITFORM # ..<br>
11: (<a class="moz-txt-link-freetext" href="SB-C::%DO-FORMS-FROM-INFO">SB-C::%DO-FORMS-FROM-INFO</a> #<FUNCTION (LAMBDA
(<a class="moz-txt-link-freetext" href="SB-KERNEL:FORM">SB-KERNEL:FORM</a> &KEY :CURRENT-INDEX
&ALLOW-OTHER-KEYS) :IN <a class="moz-txt-link-freetext" href="SB-C::SUB-COMPILE-FILE">SB-C::SUB-COMPILE-FILE</a>)
{70041B41AB}> #<a class="moz-txt-link-rfc2396E" href="SB-C::SOURCE-INFO{70DDE30003}"><SB-C::SOURCE-INFO
{70DDE30003}></a> <a class="moz-txt-link-freetext" href="SB-C::INPUT-ERROR-IN-CO">SB-C::INPUT-ERROR-IN-CO</a>..<br>
12: ((LAMBDA NIL :IN <a class="moz-txt-link-freetext" href="SB-C::SUB-COMPILE-FILE">SB-C::SUB-COMPILE-FILE</a>))<br>
13: ((FLET <a class="moz-txt-link-freetext" href="SB-C::WITH-IT">SB-C::WITH-IT</a> :IN
<a class="moz-txt-link-freetext" href="SB-C::%WITH-COMPILATION-UNIT">SB-C::%WITH-COMPILATION-UNIT</a>))<br>
14: (<a class="moz-txt-link-freetext" href="SB-C::SUB-COMPILE-FILE">SB-C::SUB-COMPILE-FILE</a> #<a class="moz-txt-link-rfc2396E" href="SB-C::SOURCE-INFO{70DDE30003}"><SB-C::SOURCE-INFO
{70DDE30003}></a> NIL)<br>
15: (COMPILE-FILE "~/clanglite2/clanglite-types.lisp"
:OUTPUT-FILE "" :VERBOSE NIL :PRINT NIL
:EXTERNAL-FORMAT :DEFAULT :PROGRESS NIL :TRACE-FILE
NIL :BLOCK-COMPILE NIL :ENTRY-POINTS NIL :EMIT-CFASL
NIL)<br>
16: (LOAD-TEST)</div>
<div><br>
</div>
<div>If necessary I can upload the source code to my
website for someone to try. But I just wanted to get
a first impression here.</div>
<div><br>
</div>
<div>-AKW</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<p><br>
</p>
</body>
</html>
--------------Ev4AzcWgN2HgQ02cgFgg0mE0--
--===============2072938028091464199==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
--===============2072938028091464199==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
--===============2072938028091464199==--