Custom Query (1030 matches)

Here's a description ...

Modern mode Lisp is identical to ANSI Common Lisp except for the following two differences:

1. The Lisp defined names are stored in lowercase.
2. The default Lisp readtable-case is set to :preserve.

... e.g. (cons 'cons 'FooBar) returns (cons . FooBar) instead of (CONS . FOOBAR)

(maybe a command line option?) Thanks Richard Fateman

I'm converting WOOD to run in CCL. It uses ccl::%copy-ivector-to-ivector to quickly copy (unsigned-byte 8) arrays. While stressing its btree code, I encountered an "Invalid memory operation" error in ccl::%copy-ivector-to-ivector-predecrement-128bit

The errors happens in 64-bit CCL 1.10 on both my iMac and my Windows laptop running Ubuntu 14.10.

Executing (copy-ivector-to-ivector-bug) from the attached file makes it happen. The GDB output at the bottom of the file is from my Windows laptop running Ubuntu 14.10.

; 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]
|#