[prev in list] [next in list] [prev in thread] [next in thread]
List: sbcl-devel
Subject: Re: [Sbcl-devel] SBCL-2.3.6 cannot build Maxima-5.47.0 on ARM64 macOS
From: Stas Boukarev <stassats () gmail ! com>
Date: 2023-07-09 21:01:55
Message-ID: CAF63=11YeDSeCeW=6ySpgOCQG0KhyShyq+p_6HswcMccDNQi4g () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Fixed, thanks.
On Sun, Jul 9, 2023 at 9:58 PM Stas Boukarev <stassats@gmail.com> wrote:
> I managed to make a test case, and it's not specific to arm64, x86-64 has
> the same problem.
>
> On Sun, Jul 9, 2023 at 6:24 PM Stas Boukarev <stassats@gmail.com> wrote:
>
>> It would be great if you could isolate a test case.
>>
>> On Sun, Jul 9, 2023 at 6:01 PM 有坂富雄 via Sbcl-devel <
>> sbcl-devel@lists.sourceforge.net> wrote:
>>
>>> SBCL-2.3.6 causes an error while compiling Maxima-5.47.0 on ARM64 macOS
>>> Monterey.
>>>
>>> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
>>> % tar -xf ./maxima-5.47.0.tar.gz
>>> %
>>> % cd ./maxima-5.47.0
>>> %
>>> % bash
>>>
>>> bash-3.2$ cat << EOF | sbcl --noinform --no-sysinit --no-userinit
>>> > (machine-type)
>>> > (machine-version)
>>> > (software-type)
>>> > (software-version)
>>> > (lisp-implementation-type)
>>> > (lisp-implementation-version)
>>> > *features*
>>> > EOF
>>> * "ARM64"
>>> * "Apple M1"
>>> * "Darwin"
>>> * "21.6.0"
>>> * "SBCL"
>>> * "2.3.6"
>>> * (:ARM64 :GENCGC :64-BIT :ANSI-CL :BSD :COMMON-LISP :DARWIN
>>> :IEEE-FLOATING-POINT
>>> :LITTLE-ENDIAN :MACH-O :PACKAGE-LOCAL-NICKNAMES :SB-CORE-COMPRESSION
>>> :SB-LDB
>>> :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE :SBCL :UNIX)
>>> * bash-3.2$
>>> bash-3.2$
>>> bash-3.2$ cat << EOF | sbcl --noinform --no-sysinit --no-userinit
>>> > (load "configure.lisp")
>>> > (configure :interactive nil)
>>> > EOF
>>> * T
>>> * Created maxima-local
>>> Created src/maxima
>>> Created src/maxima.bat
>>> Created src/autoconf-variables.lisp
>>> ("maxima-local.in" "src/maxima.in" "src/maxima.bat.in"
>>> "src/autoconf-variables.lisp.in")
>>> * bash-3.2$
>>> bash-3.2$
>>> bash-3.2$ cd ./src/
>>> bash-3.2$
>>> bash-3.2$ cat << EOF | sbcl --noinform --no-sysinit --no-userinit
>>> > (load "maxima-build.lisp")
>>> > (maxima-compile)
>>> > EOF
>>> ...
>>> ...
>>>
>>> ; compiling file
>>> "/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/float.lisp" (written 29 MAY
>>> 2023 01:59:05 PM):
>>>
>>> ; file: /Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/float.lisp
>>> ; in: DEFUN BFLOAT-FORMAT-G
>>> ; (ZEROP MAXIMA::FDIGITS)
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; (1+ MAXIMA::FDIGITS)
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; (ZEROP MAXIMA::FDIGITS)
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; (>= MAXIMA::FDIGITS MAXIMA::LEN)
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; (+ 1 MAXIMA::K (- MAXIMA::FDIGITS MAXIMA::LEN))
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; in: DEFUN EXTREME-FLOAT-VALUES
>>> ; (VALUES MOST-NEGATIVE-LONG-FLOAT MOST-POSITIVE-LONG-FLOAT)
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; (VALUES MOST-NEGATIVE-SINGLE-FLOAT MOST-POSITIVE-SINGLE-FLOAT)
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> debugger invoked on a SB-INT:BUG @7004C80938 in thread
>>> #<THREAD "main thread" RUNNING {70056D05B3}>:
>>> failed AVER: (EQ SB-C::HOW :KNOWN-RETURN)
>>> This is probably a bug in SBCL itself. (Alternatively, SBCL might have
>>> been
>>> corrupted by bad user code, e.g. by an undefined Lisp operation like
>>> (FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from
>>> unsafe
>>> Lisp code; or there might be a bug in the OS or hardware that SBCL is
>>> running
>>> on.) If it seems to be a bug in SBCL itself, the maintainers would
>>> like to
>>> know about it. Bug reports are welcome on the SBCL mailing lists,
>>> which you
>>> can find at <http://sbcl.sourceforge.net/>.
>>>
>>> Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
>>>
>>> restarts (invokable by number or by possibly-abbreviated name):
>>> 0: [ABORT] Exit debugger, returning to top level.
>>>
>>> (SB-C::EMIT-ARG-MOVES #<SB-C::VOP :INFO SB-C:MULTIPLE-CALL-NAMED :ARGS
>>> #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP
>>> SB-C:MULTIPLE-CALL-NAMED> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t2 :NORMAL>
>>> :WRITE-P T :VOP SB-C:MULTIPLE-CALL-NAMED> :CODEGEN-INFO ((#<SB-C:TN t3[D0]
>>> :NORMAL> #<SB-C:TN t4[R0] :NORMAL>) 2 NIL)>)
>>> 0] backtrace
>>>
>>> Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {70056D05B3}>
>>> 0: (SB-C::EMIT-ARG-MOVES #<SB-C::VOP :INFO SB-C:MULTIPLE-CALL-NAMED
>>> :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP
>>> SB-C:MULTIPLE-CALL-NAMED> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t2 :NORMAL>
>>> :WRITE-P T :VOP SB-C:MULTIPLE-CALL-NAMED> :CODEGEN-INFO ((#<SB-C:TN t3[D0]
>>> :NORMAL> #<SB-C:TN t4[R0] :NORMAL>) 2 NIL)>)
>>> 1: (SB-C::EMIT-MOVES-AND-COERCIONS #<SB-C::IR2-BLOCK :PUSHED
>>> (#<SB-C::LVAR 1 {700AE29C53}>) :START-VOP #<SB-C::VOP :INFO SB-C:MOVE :ARGS
>>> #<SB-C:TN-REF :TN #<SB-C:TN t5 :NORMAL> :WRITE-P NIL :VOP SB-C:MOVE>
>>> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t6 :NORMAL> :WRITE-P T :VOP
>>> SB-C:MOVE>> :LAST-VOP #<SB-C::VOP :INFO SB-C:BRANCH :ARGS NIL :RESULTS NIL
>>> :CODEGEN-INFO (#<SB-ASSEM:LABEL 1>)> {700AE91263}>)
>>> 2: (SB-C::SELECT-REPRESENTATIONS #<SB-C:COMPONENT :NAME "DEFUN FP2FLO"
>>> {700AE397F3}>)
>>> 3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "DEFUN FP2FLO"
>>> {700AE397F3}>)
>>> 4: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "DEFUN FP2FLO"
>>> {700AE397F3}>)
>>> 5: (SB-C::COMPILE-TOPLEVEL (#<SB-C::CLAMBDA :%SOURCE-NAME
>>> SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TOP-LEVEL-FORM (SB-IMPL::%DEFUN
>>> (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO # # #))) :KIND :TOPLEVEL :TYPE
>>> #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED
>>> :VARS NIL {700AE28BC3}>) NIL)
>>> 6: (SB-C::CONVERT-AND-MAYBE-COMPILE (SB-IMPL::%DEFUN (QUOTE FP2FLO)
>>> (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE (SB-C::TOP-LEVEL-FORM)) (BLOCK
>>> FP2FLO (LET (# # # # #) (SETQ MANTISSA #) (LET # #)))))
>>> (#1=(SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L)
>>> (DECLARE (SB-C::TOP-LEVEL-FORM)) (BLOCK FP2FLO (LET # # #)))) (PROGN
>>> (EVAL-WHEN (:COMPILE-TOPLEVEL) (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL
>>> NIL)) #1#) SB-C::ORIGINAL-SOURCE-START 0 27))
>>> 7: (SB-C::PROCESS-TOPLEVEL-FORM (SB-IMPL::%DEFUN (QUOTE FP2FLO)
>>> (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE (SB-C::TOP-LEVEL-FORM)) (BLOCK
>>> FP2FLO (LET (# # # # #) (SETQ MANTISSA #) (LET # #))))) ((PROGN (EVAL-WHEN
>>> (:COMPILE-TOPLEVEL) (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL))
>>> (SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE #)
>>> (BLOCK FP2FLO #)))) SB-C::ORIGINAL-SOURCE-START 0 27) NIL)
>>> 8: (SB-C::PROCESS-TOPLEVEL-PROGN ((EVAL-WHEN (:COMPILE-TOPLEVEL)
>>> (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL)) (SB-IMPL::%DEFUN (QUOTE
>>> FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE (SB-C::TOP-LEVEL-FORM))
>>> (BLOCK FP2FLO (LET # # #))))) ((PROGN (EVAL-WHEN (:COMPILE-TOPLEVEL)
>>> (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL)) (SB-IMPL::%DEFUN (QUOTE
>>> FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE #) (BLOCK FP2FLO #))))
>>> SB-C::ORIGINAL-SOURCE-START 0 27) NIL)
>>> 9: (SB-C::PROCESS-TOPLEVEL-FORM (PROGN (EVAL-WHEN (:COMPILE-TOPLEVEL)
>>> (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL)) (SB-IMPL::%DEFUN (QUOTE
>>> FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE (SB-C::TOP-LEVEL-FORM))
>>> (BLOCK FP2FLO (LET # # #))))) (SB-C::ORIGINAL-SOURCE-START 0 27) NIL)
>>> 10: (SB-C::PROCESS-TOPLEVEL-FORM (DEFUN FP2FLO (L) (LET ((PRECISION
>>> (BIGFLOAT-PREC L)) (MANTISSA (CADR L)) (EXPONENT (CADDR L)) (FPPREC
>>> MACHINE-MANTISSA-PRECISION) (*M 0)) (SETQ MANTISSA (QUOTIENT (FPROUND
>>> MANTISSA) (EXPT 2.0d0 MACHINE-MANTISSA-PRECISION))) (LET ((E #)) (IF (>= E
>>> 1025) (MERROR # L) (SCALE-FLOAT MANTISSA E)))))
>>> (SB-C::ORIGINAL-SOURCE-START 0 27) NIL)
>>> 11: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN
>>> SB-C::SUB-COMPILE-FILE) (DEFUN FP2FLO (L) (LET ((PRECISION (BIGFLOAT-PREC
>>> L)) (MANTISSA (CADR L)) (EXPONENT (CADDR L)) (FPPREC
>>> MACHINE-MANTISSA-PRECISION) (*M 0)) (SETQ MANTISSA (QUOTIENT (FPROUND
>>> MANTISSA) (EXPT 2.0d0 MACHINE-MANTISSA-PRECISION))) (LET ((E #)) (IF (>= E
>>> 1025) (MERROR # L) (SCALE-FLOAT MANTISSA E))))) :CURRENT-INDEX 27)
>>> 12: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY
>>> :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-C::SUB-COMPILE-FILE) {70048FCACB}>
>>> #<SB-C::SOURCE-INFO {70090D41A3}> SB-C::INPUT-ERROR-IN-COMPILE-FILE)
>>> 13: ((LAMBDA NIL :IN SB-C::SUB-COMPILE-FILE))
>>> 14: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
>>> 15: (SB-C::SUB-COMPILE-FILE #<SB-C::SOURCE-INFO {70090D41A3}> NIL)
>>> 16: (COMPILE-FILE
>>> "/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/float.lisp" :OUTPUT-FILE
>>> "/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/binary-sbcl/float.fasl"
>>> :VERBOSE NIL :PRINT NIL :EXTERNAL-FORMAT :DEFAULT :PROGRESS NIL :TRACE-FILE
>>> NIL :BLOCK-COMPILE NIL :ENTRY-POINTS NIL :EMIT-CFASL NIL)
>>> 17: (MAKE::COMPILE-FILE-OPERATION #<FILE: float> :NEW-SOURCE-ALL)
>>> 18: (MAKE::COMPILE-AND-LOAD-OPERATION #<FILE: float> :NEW-SOURCE-ALL)
>>> 19: (MAKE::OPERATE-ON-COMPONENT #<FILE: float> :COMPILE :NEW-SOURCE-ALL)
>>> 20: (MAKE::OPERATE-ON-COMPONENTS #<MODULE: simplification> :COMPILE
>>> :NEW-SOURCE-ALL (#<FILE: simp>))
>>> 21: (MAKE::OPERATE-ON-COMPONENT #<MODULE: simplification> :COMPILE
>>> :NEW-SOURCE-ALL)
>>> 22: (MAKE::OPERATE-ON-COMPONENTS #<DEFSYSTEM: maxima> :COMPILE
>>> :NEW-SOURCE-AND-DEPENDENTS (#<MODULE: numerical> #<MODULE: evaluator>
>>> #<MODULE: commands> #<MODULE: utilities> #<MODULE: rat-macros> #<MODULE:
>>> other-macros> #<MODULE: utility-macros> #<MODULE: fundamental-macros>
>>> #<MODULE: getopt> #<MODULE: command-line> #<MODULE:
>>> maxima-language-compiler-macros> #<MODULE: prerequisites> ...))
>>> 23: (MAKE::OPERATE-ON-COMPONENT #<DEFSYSTEM: maxima> :COMPILE
>>> :NEW-SOURCE-AND-DEPENDENTS)
>>> 24: ((LAMBDA NIL :IN MAKE:OPERATE-ON-SYSTEM))
>>> 25: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
>>> 26: (MAKE:OPERATE-ON-SYSTEM "maxima" :COMPILE :FORCE NIL :VERSION NIL
>>> :TEST NIL :VERBOSE NIL :LOAD-SOURCE-INSTEAD-OF-BINARY NIL
>>> :LOAD-SOURCE-IF-NO-BINARY NIL :BOTHER-USER-IF-NO-BINARY NIL
>>> :COMPILE-DURING-LOAD NIL :DRIBBLE NIL :MINIMAL-LOAD NIL
>>> :OVERRIDE-COMPILATION-UNIT T)
>>> 27: (SB-INT:SIMPLE-EVAL-IN-LEXENV (COMMON-LISP-USER::MAXIMA-COMPILE)
>>> #<NULL-LEXENV>)
>>> 28: (EVAL (COMMON-LISP-USER::MAXIMA-COMPILE))
>>> 29: (SB-EXT:INTERACTIVE-EVAL (COMMON-LISP-USER::MAXIMA-COMPILE) :EVAL
>>> NIL)
>>> 30: (SB-IMPL::REPL-FUN NIL)
>>> 31: ((LAMBDA NIL :IN SB-IMPL::TOPLEVEL-REPL))
>>> 32: (SB-IMPL::%WITH-REBOUND-IO-SYNTAX #<FUNCTION (LAMBDA NIL :IN
>>> SB-IMPL::TOPLEVEL-REPL) {100CD048B}>)
>>> 33: (SB-IMPL::TOPLEVEL-REPL NIL)
>>> 34: (SB-IMPL::TOPLEVEL-INIT)
>>> 35: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
>>> 36: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
>>> 37: (SB-IMPL::%START-LISP)
>>>
>>> 0] toplevel
>>>
>>> ; compilation aborted after 0:00:16.651
>>> ;
>>> ; compilation unit aborted
>>> ; caught 2 fatal ERROR conditions
>>> ; caught 58 STYLE-WARNING conditions
>>> ; printed 22 notes
>>> * bash-3.2$
>>> bash-3.2$
>>> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
>>>
>>> It seems that SBCL-2.3.6 fails to compile FP2FLO included in
>>> "maxima-5.47.0/src/float.lisp".
>>>
>>> Thanks.
>>>
>>> _______________________________________________
>>> Sbcl-devel mailing list
>>> Sbcl-devel@lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/sbcl-devel
>>>
>>
[Attachment #5 (text/html)]
<div dir="ltr">Fixed, thanks.</div><br><div class="gmail_quote"><div dir="ltr" \
class="gmail_attr">On Sun, Jul 9, 2023 at 9:58 PM Stas Boukarev <<a \
href="mailto:stassats@gmail.com">stassats@gmail.com</a>> \
wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px \
0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I \
managed to make a test case, and it's not specific to arm64, x86-64 has the same \
problem.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, \
Jul 9, 2023 at 6:24 PM Stas Boukarev <<a href="mailto:stassats@gmail.com" \
target="_blank">stassats@gmail.com</a>> wrote:<br></div><blockquote \
class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid \
rgb(204,204,204);padding-left:1ex"><div dir="ltr">It would be great if you could \
isolate a test case.</div><br><div class="gmail_quote"><div dir="ltr" \
class="gmail_attr">On Sun, Jul 9, 2023 at 6:01 PM 有坂富雄 via Sbcl-devel \
<<a href="mailto:sbcl-devel@lists.sourceforge.net" \
target="_blank">sbcl-devel@lists.sourceforge.net</a>> wrote:<br></div><blockquote \
class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid \
rgb(204,204,204);padding-left:1ex"><div><div>SBCL-2.3.6 causes an error while \
compiling Maxima-5.47.0 on ARM64 macOS Monterey.<br></div><div><br></div><div>- - - - \
- - - - - - - - - - - - - - - - - - - - - - - - - -<br></div><div>% tar -xf \
./maxima-5.47.0.tar.gz<br></div><div>%<br></div><div>% cd \
./maxima-5.47.0<br></div><div>%<br></div><div>% \
bash<br></div><div><br></div><div>bash-3.2$ cat << EOF | sbcl --noinform \
--no-sysinit --no-userinit<br></div><div>> (machine-type)<br></div><div>> \
(machine-version)<br></div><div>> (software-type)<br></div><div>> \
(software-version)<br></div><div>> (lisp-implementation-type)<br></div><div>> \
(lisp-implementation-version)<br></div><div>> *features*<br></div><div>> \
EOF<br></div><div>* "ARM64"<br></div><div>* "Apple \
M1"<br></div><div>* "Darwin"<br></div><div>* \
"21.6.0"<br></div><div>* "SBCL"<br></div><div>* \
"2.3.6"<br></div><div>* (:ARM64 :GENCGC :64-BIT :ANSI-CL :BSD :COMMON-LISP \
:DARWIN :IEEE-FLOATING-POINT<br></div><div>:LITTLE-ENDIAN :MACH-O \
:PACKAGE-LOCAL-NICKNAMES :SB-CORE-COMPRESSION :SB-LDB<br></div><div>:SB-PACKAGE-LOCKS \
:SB-THREAD :SB-UNICODE :SBCL :UNIX)<br></div><div>* \
bash-3.2$<br></div><div>bash-3.2$<br></div><div>bash-3.2$ cat << EOF | sbcl \
--noinform --no-sysinit --no-userinit<br></div><div>> (load \
"configure.lisp")<br></div><div>> (configure :interactive \
nil)<br></div><div>> EOF<br></div><div>* T<br></div><div>* Created \
maxima-local<br></div><div>Created src/maxima<br></div><div>Created \
src/maxima.bat<br></div><div>Created \
src/autoconf-variables.lisp<br></div><div>("<a href="http://maxima-local.in" \
target="_blank">maxima-local.in</a>" "src/<a href="http://maxima.in" \
target="_blank">maxima.in</a>" "src/<a href="http://maxima.bat.in" \
target="_blank">maxima.bat.in</a>"<br></div><div>"src/<a \
href="http://autoconf-variables.lisp.in" \
target="_blank">autoconf-variables.lisp.in</a>")<br></div><div>* \
bash-3.2$<br></div><div>bash-3.2$<br></div><div>bash-3.2$ cd \
./src/<br></div><div>bash-3.2$<br></div><div>bash-3.2$ cat << EOF | sbcl \
--noinform --no-sysinit --no-userinit<br></div><div>> (load \
"maxima-build.lisp")<br></div><div>> (maxima-compile)<br></div><div>> \
EOF<br></div><div>...<br></div><div>...<br></div><div><br></div><div>; compiling file \
"/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/float.lisp" (written 29 MAY \
2023 01:59:05 PM):<br></div><div><br></div><div>; file: \
/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/float.lisp<br></div><div>; in: DEFUN \
BFLOAT-FORMAT-G<br></div><div>; (ZEROP \
MAXIMA::FDIGITS)<br></div><div>;<br></div><div>; note: deleting unreachable \
code<br></div><div><br></div><div>; (1+ \
MAXIMA::FDIGITS)<br></div><div>;<br></div><div>; note: deleting unreachable \
code<br></div><div><br></div><div>; (ZEROP \
MAXIMA::FDIGITS)<br></div><div>;<br></div><div>; note: deleting unreachable \
code<br></div><div><br></div><div>; (>= MAXIMA::FDIGITS \
MAXIMA::LEN)<br></div><div>;<br></div><div>; note: deleting unreachable \
code<br></div><div><br></div><div>; (+ 1 MAXIMA::K (- MAXIMA::FDIGITS \
MAXIMA::LEN))<br></div><div>;<br></div><div>; note: deleting unreachable \
code<br></div><div><br></div><div>; in: DEFUN EXTREME-FLOAT-VALUES<br></div><div>; \
(VALUES MOST-NEGATIVE-LONG-FLOAT \
MOST-POSITIVE-LONG-FLOAT)<br></div><div>;<br></div><div>; note: deleting unreachable \
code<br></div><div><br></div><div>; (VALUES MOST-NEGATIVE-SINGLE-FLOAT \
MOST-POSITIVE-SINGLE-FLOAT)<br></div><div>;<br></div><div>; note: deleting \
unreachable code<br></div><div><br></div><div>debugger invoked on a SB-INT:BUG \
@7004C80938 in thread<br></div><div>#<THREAD "main thread" RUNNING \
{70056D05B3}>:<br></div><div> failed AVER: (EQ SB-C::HOW \
:KNOWN-RETURN)<br></div><div> This is probably a bug in SBCL itself. \
(Alternatively, SBCL might have been<br></div><div> corrupted by bad user code, \
e.g. by an undefined Lisp operation like<br></div><div> (FMAKUNBOUND 'COMPILE), \
or by stray pointers from alien code or from unsafe<br></div><div> Lisp code; or \
there might be a bug in the OS or hardware that SBCL is running<br></div><div> on.) \
If it seems to be a bug in SBCL itself, the maintainers would like to<br></div><div> \
know about it. Bug reports are welcome on the SBCL mailing lists, which \
you<br></div><div> can find at <<a rel="noopener noreferrer" \
href="http://sbcl.sourceforge.net/" \
target="_blank">http://sbcl.sourceforge.net/</a>>.<br></div><div><br></div><div>Type \
HELP for debugger help, or (SB-EXT:EXIT) to exit from \
SBCL.<br></div><div><br></div><div>restarts (invokable by number or by \
possibly-abbreviated name):<br></div><div> 0: [ABORT] Exit debugger, returning to \
top level.<br></div><div><br></div><div>(SB-C::EMIT-ARG-MOVES #<SB-C::VOP :INFO \
SB-C:MULTIPLE-CALL-NAMED :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> \
:WRITE-P NIL :VOP SB-C:MULTIPLE-CALL-NAMED> :RESULTS #<SB-C:TN-REF :TN \
#<SB-C:TN t2 :NORMAL> :WRITE-P T :VOP SB-C:MULTIPLE-CALL-NAMED> \
:CODEGEN-INFO ((#<SB-C:TN t3[D0] :NORMAL> #<SB-C:TN t4[R0] :NORMAL>) 2 \
NIL)>)<br></div><div>0] backtrace<br></div><div><br></div><div>Backtrace for: \
#<SB-THREAD:THREAD "main thread" RUNNING \
{70056D05B3}><br></div><div>0: (SB-C::EMIT-ARG-MOVES #<SB-C::VOP :INFO \
SB-C:MULTIPLE-CALL-NAMED :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> \
:WRITE-P NIL :VOP SB-C:MULTIPLE-CALL-NAMED> :RESULTS #<SB-C:TN-REF :TN \
#<SB-C:TN t2 :NORMAL> :WRITE-P T :VOP SB-C:MULTIPLE-CALL-NAMED> \
:CODEGEN-INFO ((#<SB-C:TN t3[D0] :NORMAL> #<SB-C:TN t4[R0] :NORMAL>) 2 \
NIL)>)<br></div><div>1: (SB-C::EMIT-MOVES-AND-COERCIONS #<SB-C::IR2-BLOCK \
:PUSHED (#<SB-C::LVAR 1 {700AE29C53}>) :START-VOP #<SB-C::VOP :INFO \
SB-C:MOVE :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t5 :NORMAL> :WRITE-P NIL :VOP \
SB-C:MOVE> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t6 :NORMAL> :WRITE-P T \
:VOP SB-C:MOVE>> :LAST-VOP #<SB-C::VOP :INFO SB-C:BRANCH :ARGS NIL :RESULTS \
NIL :CODEGEN-INFO (#<SB-ASSEM:LABEL 1>)> {700AE91263}>)<br></div><div>2: \
(SB-C::SELECT-REPRESENTATIONS #<SB-C:COMPONENT :NAME "DEFUN FP2FLO" \
{700AE397F3}>)<br></div><div>3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT \
:NAME "DEFUN FP2FLO" {700AE397F3}>)<br></div><div>4: \
(SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "DEFUN FP2FLO" \
{700AE397F3}>)<br></div><div>5: (SB-C::COMPILE-TOPLEVEL (#<SB-C::CLAMBDA \
:%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TOP-LEVEL-FORM (SB-IMPL::%DEFUN \
(QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO # # #))) :KIND :TOPLEVEL :TYPE \
#<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED :VARS \
NIL {700AE28BC3}>) NIL)<br></div><div>6: (SB-C::CONVERT-AND-MAYBE-COMPILE \
(SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE \
(SB-C::TOP-LEVEL-FORM)) (BLOCK FP2FLO (LET (# # # # #) (SETQ MANTISSA #) (LET # \
#))))) (#1=(SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE \
(SB-C::TOP-LEVEL-FORM)) (BLOCK FP2FLO (LET # # #)))) (PROGN (EVAL-WHEN \
(:COMPILE-TOPLEVEL) (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL)) #1#) \
SB-C::ORIGINAL-SOURCE-START 0 27))<br></div><div>7: (SB-C::PROCESS-TOPLEVEL-FORM \
(SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE \
(SB-C::TOP-LEVEL-FORM)) (BLOCK FP2FLO (LET (# # # # #) (SETQ MANTISSA #) (LET # \
#))))) ((PROGN (EVAL-WHEN (:COMPILE-TOPLEVEL) (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T \
NIL NIL)) (SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE #) \
(BLOCK FP2FLO #)))) SB-C::ORIGINAL-SOURCE-START 0 27) NIL)<br></div><div>8: \
(SB-C::PROCESS-TOPLEVEL-PROGN ((EVAL-WHEN (:COMPILE-TOPLEVEL) (SB-C:%COMPILER-DEFUN \
(QUOTE FP2FLO) T NIL NIL)) (SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA \
FP2FLO (L) (DECLARE (SB-C::TOP-LEVEL-FORM)) (BLOCK FP2FLO (LET # # #))))) ((PROGN \
(EVAL-WHEN (:COMPILE-TOPLEVEL) (SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL)) \
(SB-IMPL::%DEFUN (QUOTE FP2FLO) (SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE #) (BLOCK \
FP2FLO #)))) SB-C::ORIGINAL-SOURCE-START 0 27) NIL)<br></div><div>9: \
(SB-C::PROCESS-TOPLEVEL-FORM (PROGN (EVAL-WHEN (:COMPILE-TOPLEVEL) \
(SB-C:%COMPILER-DEFUN (QUOTE FP2FLO) T NIL NIL)) (SB-IMPL::%DEFUN (QUOTE FP2FLO) \
(SB-INT:NAMED-LAMBDA FP2FLO (L) (DECLARE (SB-C::TOP-LEVEL-FORM)) (BLOCK FP2FLO (LET # \
# #))))) (SB-C::ORIGINAL-SOURCE-START 0 27) NIL)<br></div><div>10: \
(SB-C::PROCESS-TOPLEVEL-FORM (DEFUN FP2FLO (L) (LET ((PRECISION (BIGFLOAT-PREC L)) \
(MANTISSA (CADR L)) (EXPONENT (CADDR L)) (FPPREC MACHINE-MANTISSA-PRECISION) (*M 0)) \
(SETQ MANTISSA (QUOTIENT (FPROUND MANTISSA) (EXPT 2.0d0 MACHINE-MANTISSA-PRECISION))) \
(LET ((E #)) (IF (>= E 1025) (MERROR # L) (SCALE-FLOAT MANTISSA E))))) \
(SB-C::ORIGINAL-SOURCE-START 0 27) NIL)<br></div><div>11: ((LAMBDA (SB-KERNEL:FORM \
&KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-C::SUB-COMPILE-FILE) (DEFUN \
FP2FLO (L) (LET ((PRECISION (BIGFLOAT-PREC L)) (MANTISSA (CADR L)) (EXPONENT (CADDR \
L)) (FPPREC MACHINE-MANTISSA-PRECISION) (*M 0)) (SETQ MANTISSA (QUOTIENT (FPROUND \
MANTISSA) (EXPT 2.0d0 MACHINE-MANTISSA-PRECISION))) (LET ((E #)) (IF (>= E 1025) \
(MERROR # L) (SCALE-FLOAT MANTISSA E))))) :CURRENT-INDEX 27)<br></div><div>12: \
(SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY \
:CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-C::SUB-COMPILE-FILE) {70048FCACB}> \
#<SB-C::SOURCE-INFO {70090D41A3}> \
SB-C::INPUT-ERROR-IN-COMPILE-FILE)<br></div><div>13: ((LAMBDA NIL :IN \
SB-C::SUB-COMPILE-FILE))<br></div><div>14: ((FLET SB-C::WITH-IT :IN \
SB-C::%WITH-COMPILATION-UNIT))<br></div><div>15: (SB-C::SUB-COMPILE-FILE \
#<SB-C::SOURCE-INFO {70090D41A3}> NIL)<br></div><div>16: (COMPILE-FILE \
"/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/float.lisp" :OUTPUT-FILE \
"/Volumes/SSD-data/Maxima-git/maxima-5.47.0/src/binary-sbcl/float.fasl" \
:VERBOSE NIL :PRINT NIL :EXTERNAL-FORMAT :DEFAULT :PROGRESS NIL :TRACE-FILE NIL \
:BLOCK-COMPILE NIL :ENTRY-POINTS NIL :EMIT-CFASL NIL)<br></div><div>17: \
(MAKE::COMPILE-FILE-OPERATION #<FILE: float> :NEW-SOURCE-ALL)<br></div><div>18: \
(MAKE::COMPILE-AND-LOAD-OPERATION #<FILE: float> \
:NEW-SOURCE-ALL)<br></div><div>19: (MAKE::OPERATE-ON-COMPONENT #<FILE: float> \
:COMPILE :NEW-SOURCE-ALL)<br></div><div>20: (MAKE::OPERATE-ON-COMPONENTS #<MODULE: \
simplification> :COMPILE :NEW-SOURCE-ALL (#<FILE: simp>))<br></div><div>21: \
(MAKE::OPERATE-ON-COMPONENT #<MODULE: simplification> :COMPILE \
:NEW-SOURCE-ALL)<br></div><div>22: (MAKE::OPERATE-ON-COMPONENTS #<DEFSYSTEM: \
maxima> :COMPILE :NEW-SOURCE-AND-DEPENDENTS (#<MODULE: numerical> \
#<MODULE: evaluator> #<MODULE: commands> #<MODULE: utilities> \
#<MODULE: rat-macros> #<MODULE: other-macros> #<MODULE: \
utility-macros> #<MODULE: fundamental-macros> #<MODULE: getopt> \
#<MODULE: command-line> #<MODULE: maxima-language-compiler-macros> \
#<MODULE: prerequisites> ...))<br></div><div>23: (MAKE::OPERATE-ON-COMPONENT \
#<DEFSYSTEM: maxima> :COMPILE :NEW-SOURCE-AND-DEPENDENTS)<br></div><div>24: \
((LAMBDA NIL :IN MAKE:OPERATE-ON-SYSTEM))<br></div><div>25: ((FLET SB-C::WITH-IT :IN \
SB-C::%WITH-COMPILATION-UNIT))<br></div><div>26: (MAKE:OPERATE-ON-SYSTEM \
"maxima" :COMPILE :FORCE NIL :VERSION NIL :TEST NIL :VERBOSE NIL \
:LOAD-SOURCE-INSTEAD-OF-BINARY NIL :LOAD-SOURCE-IF-NO-BINARY NIL \
:BOTHER-USER-IF-NO-BINARY NIL :COMPILE-DURING-LOAD NIL :DRIBBLE NIL :MINIMAL-LOAD NIL \
:OVERRIDE-COMPILATION-UNIT T)<br></div><div>27: (SB-INT:SIMPLE-EVAL-IN-LEXENV \
(COMMON-LISP-USER::MAXIMA-COMPILE) #<NULL-LEXENV>)<br></div><div>28: (EVAL \
(COMMON-LISP-USER::MAXIMA-COMPILE))<br></div><div>29: (SB-EXT:INTERACTIVE-EVAL \
(COMMON-LISP-USER::MAXIMA-COMPILE) :EVAL NIL)<br></div><div>30: (SB-IMPL::REPL-FUN \
NIL)<br></div><div>31: ((LAMBDA NIL :IN SB-IMPL::TOPLEVEL-REPL))<br></div><div>32: \
(SB-IMPL::%WITH-REBOUND-IO-SYNTAX #<FUNCTION (LAMBDA NIL :IN \
SB-IMPL::TOPLEVEL-REPL) {100CD048B}>)<br></div><div>33: (SB-IMPL::TOPLEVEL-REPL \
NIL)<br></div><div>34: (SB-IMPL::TOPLEVEL-INIT)<br></div><div>35: ((FLET \
SB-UNIX::BODY :IN SB-IMPL::START-LISP))<br></div><div>36: ((FLET \
"WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))<br></div><div>37: \
(SB-IMPL::%START-LISP)<br></div><div><br></div><div>0] \
toplevel<br></div><div><br></div><div>; compilation aborted after \
0:00:16.651<br></div><div>;<br></div><div>; compilation unit aborted<br></div><div>; \
caught 2 fatal ERROR conditions<br></div><div>; caught 58 STYLE-WARNING \
conditions<br></div><div>; printed 22 notes<br></div><div>* \
bash-3.2$<br></div><div>bash-3.2$<br></div><div>- - - - - - - - - - - - - - - - - - - \
- - - - - - - - - - -<br></div><div><br></div><div>It seems that SBCL-2.3.6 fails to \
compile FP2FLO included in \
"maxima-5.47.0/src/float.lisp".</div><div><br></div><div>Thanks.<br></div><div><br></div></div>_______________________________________________<br>
Sbcl-devel mailing list<br>
<a href="mailto:Sbcl-devel@lists.sourceforge.net" \
target="_blank">Sbcl-devel@lists.sourceforge.net</a><br> <a \
href="https://lists.sourceforge.net/lists/listinfo/sbcl-devel" rel="noreferrer" \
target="_blank">https://lists.sourceforge.net/lists/listinfo/sbcl-devel</a><br> \
</blockquote></div> </blockquote></div>
</blockquote></div>
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic