Custom Query (1030 matches)

; Welcome to Clozure Common Lisp Version 1.10-dev-r16221M-trunk  (DarwinX8664)!

(defparameter cdf1 (make-array 100
                             :element-type '(complex double-float)
                             :adjustable nil
                             :fill-pointer nil
                             :initial-element #c(0.0d0 0.0d0)))

(defparameter cdf2 (make-array 100
                             :element-type '(complex double-float)
                             :adjustable nil
                             :fill-pointer nil
                             :initial-element #c(0.0d0 0.0d0)))

(defun init-vector (a)
    (loop :for i :below (length a)
      :do 
        (let ((initval (coerce (random 100.0) (array-element-type a))))
          (setf (aref a i) initval))))

(init-vector cdf1)
(init-vector cdf2)

(defun vdp-cdf (a b)
  "Vector dot product. Complex double-float."
  (declare (optimize (speed 3) (safety 2) (debug 0))
           (type (SIMPLE-ARRAY (complex DOUBLE-FLOAT)) a b))
  (let ((size (min (length a) (length b)))
        (accum #c(0.0d0 0.0d0)))
    (declare (fixnum size)
             (type (complex DOUBLE-FLOAT) accum))
    (loop :for i :of-type fixnum :below size
      :do (incf accum (* (aref a i)
                         (aref b i))))
    accum))

(vdp-cdf cdf1 cdf2)

#|
If safety < 3:

> Error: Invalid memory operation.
> While executing: VDP-CDF, in process Listener(4).
> Type cmd-. to abort, cmd-\ for a list of available restarts.
> Type :? for other options.
1 > 

If safety = 3:
[produces answer]
|#

? (ccl::defx86lapfunction bug ()
  (movq (% fp1) (% fp0))
  (ret))
BUG
? (disassemble *)
L0
    (leaq (@ (:^ L0) (% rip)) (% fn))       ;     [0]
    (movq (% fp0) (% fp1))                  ;     [7]
    (retq)                                  ;    [11]
NIL

DISASSEMBLE is correct in this case.

​https://lists.clozure.com/pipermail/openmcl-devel/2014-November/010720.html