Custom Query (1030 matches)

32-bit Clozure CL on Linux.

(defun foo (a i j k)
  (declare (type (simple-array single-float (10)) a))
  (setf (aref a i) (aref a j))
  (setf (aref a i) (aref a k)))

> Error: Unknown vinsn: CCL::MISC-SET-SINGLE-FLOAT
> While executing: CCL::NEED-VINSN-TEMPLATE, in process listener(1).

Welcome to Clozure Common Lisp Version 1.3-dev-r11220M  (LinuxX8632)!
? (let ((a (make-array (list 100 100 100)))) (aref a 3 3 3))
Program received signal SIGTRAP, Trace/breakpoint trap.
[Switching to Thread 0xb7c13b90 (LWP 10379)]
0x080560c9 in ?? ()
1: x/i $pc
0x80560c9:	lea    0x0(%esi,%eiz,1),%esi
Current language:  auto; currently asm
(gdb) bt
#0  0x080560c9 in ?? ()
#1  0x08053345 in _SPFret1valn () at ../x86-spentry32.s:928
#2  0x1434f755 in ?? ()
#3  0x14920406 in ?? ()
#4  0xb7aaedd8 in ?? ()
#5  0x00000004 in ?? ()
#6  0xfffffffc in ?? ()
#7  0xb7aaee10 in ?? ()
#8  0x00000004 in ?? ()
#9  0x00000000 in ?? ()

Running on 32-bit Linux.

Hi,

The compiler seems to use algorithms for type derivation that are worse than exponential with the size of forms compiled. I see this on both IA32 and X86-64 ports, running Linux.

#|
? (tabulate-compilation-time 17)
1, 0, 0.0
2, 0, 0.0
3, 0, 0.0
4, 0, 0.0
5, 8000, 8.987322
6, 8001, 8.987447
7, 16001, 9.680469
8, 52003, 10.859076
9, 128008, 11.759856
10, 388024, 12.868825
11, 556035, 13.228588
12, 1548097, 14.252538
13, 4724295, 15.368229
14, 14188887, 16.46797
15, 41430589, 17.53953
16, 124423776, 18.639204
|#

(defun time-compilation (form)
  (let ((before (get-internal-run-time)))
    (compile nil form)
    (- (get-internal-run-time) before)))

(defun make-form (size)
  `(lambda (a)
     (declare (type (integer -55555555555555 -4444) a))
      (+ 1 ,@(loop :for i :below size :collect 'a))))

(defun tabulate-compilation-time (&optional (max-form-size 15))
  (dotimes (i max-form-size)
    (let ((ct (time-compilation (make-form i))))
      (format t "~d, ~d, ~f~%" i ct (log (1+ ct))))))