[Openmcl-devel] Compiler bug on ARM32 during ARM::INSERT-SHIFTER-CONSTANT

[Eric Marsden]

Hi,

More random-testing on ARM32.


? (lisp-implementation-version)
"Version 1.12-dev-r16742M-trunk  (LinuxARM32)"
? (defun foo (a)
   (- (the (eql 2230933738) a) 2770))
> Error: Can't encode ARM constant 2770.
> While executing: ARM::INSERT-SHIFTER-CONSTANT, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > :b
 (B6C392E8) : 0 (INSERT-SHIFTER-CONSTANT 2770 #<LAP-INSTRUCTION #x144F940E>) 600
 (B6C392F8) : 1 (FUNCALL #'#<(:INTERNAL CCL::EXPAND-INSN-FORM CCL::ARM2-EXPAND-VINSN)> ((57408 . 0) (3 0) (2 1) (6 2))) 1204
 (B6C39308) : 2 (ARM2-EXPAND-VINSN #<@0 0 := %NATURAL--C 0 2770> #<DLL-HEADER #x144F9A9E> #(#<DLL-HEADER #x144F9A9E> #<DLL-HEADER #x144F9A86>)) 1588
 (B6C39328) : 3 (ARM2-EXPAND-VINSNS #<VINSN-LIST #x144FA1B6> #<DLL-HEADER #x144F9A9E> #(#<DLL-HEADER #x144F9A9E> #<DLL-HEADER #x144F9A86>)) 340
 (B6C39338) : 4 (ARM2-COMPILE #<CCL::AFUNC #x144FB0CE> NIL T) 2788
 (B6C39458) : 5 (COMPILE-NAMED-FUNCTION (LAMBDA (A) (DECLARE #) (BLOCK FOO #)) :NAME FOO :ENV #<CCL::LEXICAL-ENVIRONMENT #x144FB1BE> :FUNCTION-NOTE #<SOURCE-NOTE Interactive "(defun foo (a) (- (the (eql 2230933738) a) 2770))"> :KEEP-LAMBDA NIL :KEEP-SYMBOLS T :SOURCE-NOTES #<HASH-TABLE :TEST EQ size 14/60 #x144FE1A6>) 1956
 (B6C394C8) : 6 (CHEAP-EVAL-FUNCTION FOO (LAMBDA (A) (DECLARE #) (BLOCK FOO #)) #<CCL::LEXICAL-ENVIRONMENT #x144FB1BE>) 172


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