[Openmcl-devel] Bug calling RELOAD-COMPLEX-SINGLE-FLOAT vinsn

[Eric Marsden]

Hello,

The problem below is triggered by the ansi-test suite.

==============================================================

? (lisp-implementation-version)
"Version 1.12-dev-r16641M  (LinuxX8664)"
? (lambda (p1 p2) 
    (declare (optimize (speed 0)) 
             (type (complex single-float) p1)) 
    ((lambda (x y) (typep x (type-of y))) 
     (the (complex single-float) p1) p2))
> Error: Vinsn RELOAD-COMPLEX-SINGLE-FLOAT expects 3 result/argument specs, received 2 .
> While executing: CCL::MATCH-TEMPLATE-VREGS, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > :b
 (7FBE972CE740) : 0 (MATCH-TEMPLATE-VREGS #S(CCL::VINSN-TEMPLATE :NAME CCL::RELOAD-COMPLEX-SINGLE-FLOAT :RESULT-VREG-SPECS (#) ...) #<@0 RELOAD-COMPLEX-SINGLE-FLOAT> (6400 0)) 557
 (7FBE972CE800) : 1 (SELECT-VINSN CCL::RELOAD-COMPLEX-SINGLE-FLOAT #<HASH-TABLE :TEST EQ size 599/687 #x3020001CD1CD> (6400 0)) 125
 (7FBE972CE840) : 2 (%EMIT-VINSN #<VINSN-LIST #x30200053F9FD> CCL::RELOAD-COMPLEX-SINGLE-FLOAT #<HASH-TABLE :TEST EQ size 599/687 #x3020001CD1CD> 6400 0) 109
 (7FBE972CE870) : 3 (X862-EMIT-VINSN #<VINSN-LIST #x30200053F9FD> CCL::RELOAD-COMPLEX-SINGLE-FLOAT #<HASH-TABLE :TEST EQ size 599/687 #x3020001CD1CD> 6400 0) 141
 (7FBE972CE8A0) : 4 (X862-NFP-REF #<VINSN-LIST #x30200053F9FD> #<LREG 26 GPR [7]/LISP> -251658236) 1485
 (7FBE972CE8F8) : 5 (FUNCALL #'#<CCL::X862-LEXICAL-REFERENCE> #<VINSN-LIST #x30200053F9FD> #<LREG 26 GPR [7]/LISP> NIL #<VAR X #x30200050128D>) 789
 (7FBE972CE938) : 6 (X862-FORM #<VINSN-LIST #x30200053F9FD> #<LREG 26 GPR [7]/LISP> NIL #<ACODE lexical-reference (#<# # #x30200050128D>)>) 1005
 (7FBE972CE9A0) : 7 (X862-ONE-LREG-FORM #<VINSN-LIST #x30200053F9FD> #<ACODE lexical-reference (#<# # #x30200050128D>)> #<LREG 26 GPR [7]/LISP>) 53
 (7FBE972CE9C8) : 8 (X862-TWO-TARGETED-REG-FORMS #<VINSN-LIST #x30200053F9FD> #<ACODE lexical-reference (#<# # #x30200050128D>)> #<LREG 26 GPR [7]/LISP> #<ACODE call (#<# # #> # NIL)> #<LREG 27 GPR [6]/LISP>) 693
 (7FBE972CEA20) : 9 (X862-FORMLIST #<VINSN-LIST #x30200053F9FD> NIL (#<ACODE call #> #<ACODE lexical-reference #>)) 1485
 (7FBE972CEA90) : 10 (X862-CALL-FN #<VINSN-LIST #x30200053F9FD> #<LREG 0 GPR [6]/LISP> 262143 #<ACODE immediate (TYPEP)> (NIL (#<# # #> #<# # #>)) NIL) 2189
 (7FBE972CEB20) : 11 (X862-FORM #<VINSN-LIST #x30200053F9FD> #<LREG 0 GPR [6]/LISP> 262143 #<ACODE call (#<# # #> # NIL)>) 1005
 (7FBE972CEB88) : 12 (FUNCALL #'#<CCL::X862-LAMBDA-BIND> #<VINSN-LIST #x30200053F9FD> #<LREG 0 GPR [6]/LISP> 262143 (#<ACODE typed-form #> #<ACODE lexical-reference #>) (#<VAR X #x30200050128D> #<VAR Y #x3020005011CD>) NIL NIL (NIL NIL) #<ACODE call (#<# # #> # NIL)> 65536) 2221
 (7FBE972CECB0) : 13 (X862-FORM #<VINSN-LIST #x30200053F9FD> #<LREG 0 GPR [6]/LISP> 262143 #<ACODE lambda-bind (# # NIL NIL # ...)>) 1005
 (7FBE972CED18) : 14 (X862-FORM #<VINSN-LIST #x30200053F9FD> #<LREG 0 GPR [6]/LISP> 262143 #<ACODE progn (#)>) 1005
 (7FBE972CED80) : 15 (FUNCALL #'#<CCL::X862-LAMBDA> #<VINSN-LIST #x30200053F9FD> #<LREG 0 GPR [6]/LISP> 262143 (#<VAR P1 #x3020005015CD> #<VAR P2 #x30200050143D>) NIL NIL NIL (NIL NIL) #<ACODE progn (#)> 65536 NIL) 13125
 (7FBE972CEF38) : 16 (X862-COMPILE #<CCL::AFUNC #x30200050181D> NIL T) 8741
 (7FBE972CF820) : 17 (COMPILE-NAMED-FUNCTION (LAMBDA (P1 P2) (DECLARE # #) (# # P2)) :NAME NIL :ENV NIL :FUNCTION-NOTE #<SOURCE-NOTE Interactive "(lambda (p1 p2) (declare (optimize (speed 0)) (type (complex single-float) p1)) ((lambda (x y) (typep x (type-of y))) (t..."> :KEEP-LAMBDA NIL :KEEP-SYMBOLS T :SOURCE-NOTES #<HASH-TABLE :TEST EQ size 23/60 #x30200048398D>) 2781
 (7FBE972CFA88) : 18 (CHEAP-EVAL-FUNCTION NIL (LAMBDA (P1 P2) (DECLARE # #) (# # P2)) NIL) 229

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