[Openmcl-devel] Bug in encoding ASH instruction (AMD64)

[Eric Marsden]

Hi,


? (lisp-implementation-version)
"Version 1.9-dev-r15516M  (LinuxX8664)"
? (lambda (p1 p2)
   (declare (type number p1) (type (eql 23) p2))
   (ash (the (member 42 -1) p1) p2))
> Error: The value NIL is not of the expected type INTEGER.
> While executing: INTEGER-LENGTH, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > (:b)
 (7FB4B4DC9B30) : 0 (INTEGER-LENGTH NIL) 157
 (7FB4B4DC9B60) : 1 (ACODE-OPTIMIZE-ASH #<DLL-HEADER #x302000AB41ED> #<LREG 0 GPR [6]/LISP> 262143 (33 (OR # #) (33 NUMBER #) NIL) (33 (INTEGER 23 23) (33 T #)) T INTEGER) 3293
 (7FB4B4DC9C28) : 2 (FUNCALL #'#<CCL::X862-ASH> #<DLL-HEADER #x302000AB41ED> #<LREG 0 GPR [6]/LISP> 262143 (33 (OR # #) (33 NUMBER #) NIL) (33 (INTEGER 23 23) (33 T #))) 101
 (7FB4B4DC9C68) : 3 (X862-FORM #<DLL-HEADER #x302000AB41ED> #<LREG 0 GPR [6]/LISP> 262143 (29702 (33 # # NIL) (33 # #))) 941
 (7FB4B4DC9CE0) : 4 (X862-FORM #<DLL-HEADER #x302000AB41ED> #<LREG 0 GPR [6]/LISP> 262143 (27 INTEGER (29702 # #))) 941
 (7FB4B4DC9D58) : 5 (FUNCALL #'#<CCL::X862-LAMBDA> #<DLL-HEADER #x302000AB41ED> #<LREG 0 GPR [6]/LISP> 262143 (#<VAR P1 #x302000AB59DD> #<VAR P2 #x302000AB58BD>) NIL NIL NIL (NIL NIL) (27 INTEGER (29702 # #)) 2162688 NIL) 9925
 (7FB4B4DC9F30) : 6 (X862-COMPILE #<CCL::AFUNC #x302000AB5BDD> NIL T) 8077



(Via ansi-test suite)

-- 
Eric Marsden