Custom Query (1030 matches)

This issue occurred on an Intel Core i7 Mac, Mac OS 10.9.4, with gm4 version 1.4.6. I checked out r16175 via subversion, launched the image with no init, and encountered an error (attached, "building-lisp-kernel-error.txt") during kernel compilation when I tried to call (rebuild-ccl :full t).

So then I removed dx86cl* and then svn updated as per the rebuild fails passage of CCL's manual section 2.2.4.3. And because I was having trouble rebuilding the image I went into the lisp-kernel/dx8664/ directory and tried to make clean && make, and got a fatal error, sys/signal.h was not found (details attached, make-error.txt):

#include <sys/signal.h>

1 error generated. make: * [pmcl-kernel.o] Error 1

Codebase has GET-COMPLES-{SINGLE, DOUBLE}-FLOAT again, as in http://trac.clozure.com/ccl/ticket/1270

$ grep -R "comples" * compiler/X86/x862.lisp: (! get-comples-single-float reg result-reg) compiler/X86/x862.lisp: (! get-comples-double-float reg result-reg)

Causing

Unknown vinsn: CCL::GET-COMPLES-DOUBLE-FLOAT

[Condition of type SIMPLE-ERROR]

Backtrace:

0: (CCL::NEED-VINSN-TEMPLATE CCL::GET-COMPLES-DOUBLE-FLOAT #<HASH-TABLE :TEST EQ size 600/687 #x3020001D16ED>)

Locals:

NAME = CCL::GET-COMPLES-DOUBLE-FLOAT TEMPLATES = #<HASH-TABLE :TEST EQ size 600/687 #x3020001D16ED>

1: (CCL::SELECT-VINSN CCL::GET-COMPLES-DOUBLE-FLOAT #<HASH-TABLE :TEST EQ size 600/687 #x3020001D16ED> (#<LREG 14 FPR {0}/COMPLEX-DOUBLE-FLOAT> #<LREG 8 GPR [6]/LISP>))

Locals:

TEMPLATE-OR-NAME = CCL::GET-COMPLES-DOUBLE-FLOAT TEMPLATE-HASH = #<HASH-TABLE :TEST EQ size 600/687 #x3020001D16ED> VREGS = (#<LREG 14 FPR {0}/COMPLEX-DOUBLE-FLOAT> #<LREG 8 GPR [6]/LISP>)

2: (CCL::%EMIT-VINSN #<VINSN-LIST #x302001B4638D> CCL::GET-COMPLES-DOUBLE-FLOAT #<HASH-TABLE :TEST EQ size 600/687 #x3020001D16ED> #<LREG 14 FPR {0}/COMPLEX-DOUBLE-FLOAT> #<LREG 8 GPR [6]/LISP>)

Locals:

VLIST = #<VINSN-LIST #x302001B4638D> NAME = CCL::GET-COMPLES-DOUBLE-FLOAT VINSN-TABLE = #<HASH-TABLE :TEST EQ size 600/687 #x3020001D16ED> VREGS = (#<LREG 14 FPR {0}/COMPLEX-DOUBLE-FLOAT> #<LREG 8 GPR [6]/LISP>)

etc etc

It looks to be that arrays of complex double-floats evaluated at readtime aren't being stashed away in the fasl correctly.

Test case:

(defvar *test* nil)

(eval-when (:compile-toplevel :load-toplevel :execute)
  (defun v (&rest args)
    (let ((a (make-array (length args) :element-type '(complex double-float)
                                       :initial-element #C(0.0d0 0.0d0))))
      (loop :for i :from 0
            :for x :in args
            :do (setf (aref a i) (coerce x '(complex double-float)))
            :finally (return a)))))

(defmacro define-foo (name m)
  `(setf (getf *test* ',name) ,m))

(define-foo a (v 1 2 3))

(define-foo b '#.(v 1 2 3))

Output:

CL-USER> (load (compile-file "test.lisp"))
#P"test.dx64fsl"
CL-USER> *test*
(B #(#C(0.0D0 0.0D0) #C(0.0D0 0.0D0) #C(0.0D0 0.0D0))
 A #(#C(1.0D0 0.0D0) #C(2.0D0 0.0D0) #C(3.0D0 0.0D0)))