Custom Query (1030 matches)

The log below shows an incorrect evaluation result.

I've marked this as "critical", but perhaps it should be "blocker". ACL2 relies on such multiplication being correct for its own checksum computations. We are hoping to release a new version of ACL2 this week.

Welcome to Clozure Common Lisp Version 1.10-dev-r16148M-trunk  (LinuxX8664)!
? (defun foo (u v)
    (declare (type fixnum u v))
    (* u v))
FOO
? most-positive-fixnum
1152921504606846975
? (foo 100000000000 100000000000)
-441130959790669824
? 

Using Clozure Common Lisp Version 1.8-r15341M (LinuxX8664)

Simplified form to tickle the bug:

(defun compiler-bug (n &aux dst)
  "Takes n; returns n-1 if it works, n when this bug is tickled."
  (declare (type fixnum n)
           (optimize (safety 0) (debug 3)))
  (loop
     for idx1 fixnum below n
     for idx2 fixnum from 0
     do (setf dst idx1))
  dst)

More variants in attachment.

Worked in Clozure Common Lisp Version 1.7-r15111M (LinuxX8664).

Time to compile a function containing an n-ary call to + grows exponentially with the number of arguments to +.

(EVAL '#'(LAMBDA NIL (LET ((A 1) (B 2) (C 3) (D 4) (E 5) (F 6) (G 7) (H 8)) (+ A B C D E F G H)))) took 27 milliseconds (0.027 seconds) to run

with 2 available CPU cores.

During that period, 29 milliseconds (0.029 seconds) were spent in user mode

0 milliseconds (0.000 seconds) were spent in system mode

33,968 bytes of memory allocated.

#<Anonymous Function #x300041AF5DEF> ? (EVAL '#'(LAMBDA NIL (LET ((A 1) (B 2) (C 3) (D 4) (E 5) (F 6) (G 7) (H 8) (I 9)) (+ A B C D E F G H I)))) took 70 milliseconds (0.070 seconds) to run

with 2 available CPU cores.

During that period, 71 milliseconds (0.071 seconds) were spent in user mode

0 milliseconds (0.000 seconds) were spent in system mode

39,440 bytes of memory allocated.

#<Anonymous Function #x300041AE9BEF> ? (EVAL '#'(LAMBDA NIL (LET ((A 1) (B 2) (C 3) (D 4) (E 5) (F 6) (G 7) (H 8) (I 9) (J 10)) (+ A B C D E F G H I J)))) took 195 milliseconds (0.195 seconds) to run

with 2 available CPU cores.

During that period, 198 milliseconds (0.198 seconds) were spent in user mode

1 milliseconds (0.001 seconds) were spent in system mode

1 milliseconds (0.001 seconds) was spent in GC.

45,440 bytes of memory allocated.

#<Anonymous Function #x3000419BC23F> ? (EVAL '#'(LAMBDA NIL (LET ((A 1) (B 2) (C 3) (D 4) (E 5) (F 6) (G 7) (H 8) (I 9) (J 10) (K 11)) (+ A B C D E F G H I J K)))) took 560 milliseconds (0.560 seconds) to run

with 2 available CPU cores.

During that period, 561 milliseconds (0.561 seconds) were spent in user mode

1 milliseconds (0.001 seconds) were spent in system mode

53,424 bytes of memory allocated.

#<Anonymous Function #x3000419AC6BF> ? (EVAL '#'(LAMBDA NIL (LET ((A 1) (B 2) (C 3) (D 4) (E 5) (F 6) (G 7) (H 8) (I 9) (J 10) (K 11) (L 12)) (+ A B C D E F G H I J K L)))) took 1,653 milliseconds (1.653 seconds) to run

with 2 available CPU cores.

During that period, 1,651 milliseconds (1.651 seconds) were spent in user mode

5 milliseconds (0.005 seconds) were spent in system mode

59,728 bytes of memory allocated.

#<Anonymous Function #x300041B3B8CF> ? (EVAL '#'(LAMBDA NIL (LET ((A 1) (B 2) (C 3) (D 4) (E 5) (F 6) (G 7) (H 8) (I 9) (J 10) (K 11) (L 12) (M 13)) (+ A B C D E F G H I J K L M)))) took 4,903 milliseconds (4.903 seconds) to run

with 2 available CPU cores.

During that period, 4,906 milliseconds (4.906 seconds) were spent in user mode

9 milliseconds (0.009 seconds) were spent in system mode

66,240 bytes of memory allocated.

#<Anonymous Function #x300041B2827F>