[Openmcl-devel] compiler bug on x86-64 (LOGIOR)

[Eric Marsden]

Hi,

Current CVS has a compiler bug on AMD64 that is triggered when
attempting to build SBCL. 

,---- foo.lisp ---
| (in-package :cl-user)
| 
| (defconstant dchunk-bits 64)
| 
| (deftype dchunk ()
|   `(unsigned-byte ,dchunk-bits))
| 
| (defun dchunk-or (to from)
|   (declare (type dchunk to from))
|   (the dchunk (logior to from)))
`----

Welcome to OpenMCL Version 1.1-pre-060705 (Beta: LinuxX8664)!
? (compile-file "/tmp/foo.lisp")
> Error: Vinsn %NATURAL-LOGIOR expects 2 result/argument specs, received 3 .
> 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
(2AAAAACBA7D8) : 0 (MATCH-TEMPLATE-VREGS #S(CCL::VINSN-TEMPLATE :NAME CCL::%NATURAL-LOGIOR :RESULT-VREG-SPECS (#) ...) #<%NATURAL-LOGIOR> '(# # #)) 621
(2AAAAACBA8B0) : 1 (SELECT-VINSN 'CCL::%NATURAL-LOGIOR #<HASH-TABLE :TEST EQ size 455/458 #x30000462760D> '(# # #)) 165
(2AAAAACBA8E8) : 2 (%EMIT-VINSN #<DLL-HEADER  #x300004C1ADBD> 'CCL::%NATURAL-LOGIOR #<HASH-TABLE :TEST EQ size 455/458 #x30000462760D> [...]) 117
(2AAAAACBA918) : 3 (FUNCALL #'#<CCL::X862-%NATURAL-LOGIOR> #<DLL-HEADER  #x300004C1ADBD> #<LREG 0 GPR [6]> 262143 '(27 # #) '(27 # #)) 1133
(2AAAAACBA990) : 4 (FUNCALL #'#<CCL::X862-LAMBDA> #<DLL-HEADER  #x300004C1ADBD> #<LREG 0 GPR [6]> 262143 '(# #) NIL NIL NIL '(NIL NIL) '(27 DCHUNK #) 2162688) 9213
(2AAAAACBAB40) : 5 (X862-COMPILE #<AFUNC  #x300004C1BEBD> [...]) 5333
(2AAAAACBB208) : 6 (COMPILE-NAMED-FUNCTION '(LAMBDA # # # #) [...]) 893
(2AAAAACBB2B8) : 7 (FCOMP-NAMED-FUNCTION '(LAMBDA # # # #) 'DCHUNK-OR #<LEXICAL-ENVIRONMENT  #x300004BF2A0D>) 285
(2AAAAACBB2F0) : 8 (FCOMP-LOAD-%DEFUN '(CCL::%DEFUN # #) #<LEXICAL-ENVIRONMENT  #x300004BF2A0D>) 581
(2AAAAACBB330) : 9 (FCOMP-FORM '(CCL::%DEFUN # #) #<LEXICAL-ENVIRONMENT  #x300004BF2A0D> :NOT-COMPILE-TIME) 2125
(2AAAAACBB3B8) : 10 (FCOMP-FORM-LIST '(# # #) #<LEXICAL-ENVIRONMENT  #x300004BF2A0D> :NOT-COMPILE-TIME) 93
(2AAAAACBB3F8) : 11 (FCOMP-FORM '(PROGN # # #) #<LEXICAL-ENVIRONMENT  #x300004BF2A0D> :NOT-COMPILE-TIME) 2125
(2AAAAACBB480) : 12 (FCOMP-FORM '(DEFUN DCHUNK-OR # # #) #<LEXICAL-ENVIRONMENT  #x300004BF2A0D> :NOT-COMPILE-TIME) 2125
(2AAAAACBB508) : 13 (FCOMP-READ-LOOP "/tmp/foo.lisp" "/tmp/foo.lisp" #<LEXICAL-ENVIRONMENT  #x300004BF2A0D> :NOT-COMPILE-TIME) 1821
(2AAAAACBB620) : 14 (FCOMP-FILE "/tmp/foo.lisp" "/tmp/foo.lisp" #<LEXICAL-ENVIRONMENT  #x300004BF2A0D>) 821
(2AAAAACBB7B8) : 15 (%COMPILE-FILE "/tmp/foo.lisp" "/tmp/foo.lx64fsl" NIL NIL NIL NIL T T NIL NIL #<BACKEND LINUXX8664 #x3000046272CD> :DEFAULT) 2541
(2AAAAACBBA40) : 16 (COMPILE-FILE "/tmp/foo.lisp" [...]) 1277

-- 
Eric Marsden