[Openmcl-devel] ARM32 compiler bug in ARM2-MAX-NFP-DEPTH

[Eric Marsden]

Hello,

This is on ARM32/Linux.


? (lisp-implementation-version)
"Version 1.12-dev-r16739M-trunk  (LinuxARM32)"
? (defun foo (a)
   (declare (optimize (speed 0)))
   ((lambda (x y) (typep x (type-of y)))
      1
      (the (complex single-float) a)))
> Error: Array index 2 out of bounds for NIL .
> While executing: CCL::ARM2-MAX-NFP-DEPTH, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > :b
*(B6C632A8) : 0 (ARM2-MAX-NFP-DEPTH) 124
 (B6C632B8) : 1 (FUNCALL #'#<(:INTERNAL CCL::PARSE-OPERAND-FORM CCL::ARM2-EXPAND-VINSN)> (CCL::ARM2-MAX-NFP-DEPTH)) 660
 (B6C632D0) : 2 (FUNCALL #'#<(:INTERNAL CCL::EVAL-PREDICATE CCL::ARM2-EXPAND-VINSN)> (:PRED > (CCL::ARM2-MAX-NFP-DEPTH) 0)) 208
 (B6C632F8) : 3 (FUNCALL #'#<(:INTERNAL CCL::EXPAND-FORM CCL::ARM2-EXPAND-VINSN)> ((:PRED > # 0) (# #) (# # #) (# #) (# #) ...)) 468
 (B6C63308) : 4 (ARM2-EXPAND-VINSN #<@0 SAVE-NFP> #<DLL-HEADER #x144F82B6> #(#<DLL-HEADER #x144F82B6> #<DLL-HEADER #x144F829E>)) 1588
 (B6C63328) : 5 (ARM2-EXPAND-VINSNS #<VINSN-LIST #x144F9F0E> #<DLL-HEADER #x144F82B6> #(#<DLL-HEADER #x144F82B6> #<DLL-HEADER #x144F829E>)) 340
 (B6C63338) : 6 (ARM2-COMPILE #<CCL::AFUNC #x144FAD2E> NIL T) 2788
 (B6C63458) : 7 (COMPILE-NAMED-FUNCTION (LAMBDA (A) (DECLARE #) (DECLARE #) (BLOCK FOO #)) :NAME FOO :ENV #<CCL::LEXICAL-ENVIRONMENT #x144FAE1E> :FUNCTION-NOTE #<SOURCE-NOTE Interactive "(defun foo (a) (declare (optimize (speed 0))) ((lambda (x y) (typep x (type-of y))) 1 (the (complex single-float) a)))"> :KEEP-LAMBDA NIL :KEEP-SYMBOLS T :SOURCE-NOTES #<HASH-TABLE :TEST EQ size 26/60 #x144FE1A6>) 1956


-- 
Eric Marsden
https://risk-engineering.org/