Custom Query (1030 matches)

Evaluating the following form in a trunk lisp (r14424) dumps us into the kernel debugger.

(exp (+ (log most-positive-single-float) 100))

It appears the the interface translator screws up on the definition for upad128_t on Solaris:

From sys/types.h:

typedef union {
        long double     _q;
        uint32_t        _l[4];
} upad128_t;

Welcome to Clozure Common Lisp Version 1.7-dev-r14406M-trunk  (SolarisX8632)!
? (ccl::parse-foreign-type :upad128_t)
#<FOREIGN-RECORD-TYPE (:UNION NIL (:_Q :VOID 1100689282) (:UINT32_T??| :VOID 1897137590064188598475932852660936031226989270597071160670020756660204343176201224)) #x182A8186>

This may be causing indigestion when building ccl:level-1;x86-trap-support.lisp (see, for example, ​http://setf.clozure.com:8010/builders/solarisx86/builds/9/steps/shell_2/logs/stdio).

Oddly, building by hand often works...

Test case from Zach Beane.

Ideally, both the (logand #xf... ...) and (ldb (byte 32 0) ...) would open-code nicely in this case (on a 64-bit lisp, anyway).

(defun ldb-logand-diff (a b)
  (declare (type (unsigned-byte 32) a b))
  (let (x y)
    (setf x (logand #xFFFFFFFF (+ a b)))
    (setf y (ldb (byte 32 0) (+ b a)))
    (values x y)))

I could imagine hairing up the compiler macro on LDB, but maybe there's a better idea.