Custom Query (1030 matches)

After upgrading my Arch Linux kernel to 3.15, Clozure consistantly aborts with a "Clozure CL kernel debugger: " prompt.

In gdb:

$ gdb ./lx86cl64
...
(gdb) run --image-name lx86cl64.image --no-init
Starting program: /home/local64-arch/apps/ccl-1.9/lx86cl64 --image-name lx86cl64.image --no-init
warning: Could not load shared library symbols for linux-vdso.so.1.
Do you need "set solib-search-path" or "set sysroot"?
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/usr/lib/libthread_db.so.1".

Program received signal SIGSEGV, Segmentation fault.
x86_early_exception_init () at ../x86-exceptions.c:106
106	  do_intn();
(gdb) 

From the comments in x86-exceptions.c, evidently the workaround for handling exceptions has been broken.

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
? 

decode-float seems to be broken, it returns some random 3rd value instead of the sign:

[LinuxArm32, Odroid U3] Welcome to Clozure Common Lisp Version 1.10-dev-r16155M-trunk (LinuxARM32)!

? (decode-float pi) 0.7853981633974483D0 2 6.441148769597133D-232

Similarly on Windows X86 32Bit:

Welcome to Clozure Common Lisp Version 1.10-dev-r16103-trunk (WindowsX8632)!

? (decode-float pi) 0.7853981633974483D0 2 59757440

Windows X86 64Bit works ok:

Welcome to Clozure Common Lisp Version 1.10-dev (WindowsX8664)!

? (decode-float pi) 0.7853981633974483D0 2 1.0D0

Same behavior with single-floats.