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

[Gary Byers]

Thanks; the two-argument cases of +, LOGXOR, and LOGAND (when both
arguments and the result were of type (UNSIGNED-BYTE 64)) had the same
problem as LOGIOR.

It's now fixed in CVS (and it should be very easy to bootstrap from the
most recent snapshot or equivalent.)


On Tue, 11 Jul 2006, Eric Marsden wrote:

> 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
>
> _______________________________________________
> Openmcl-devel mailing list
> Openmcl-devel at clozure.com
> http://clozure.com/mailman/listinfo/openmcl-devel
>
>