Custom Query (1030 matches)

Do not have a minimal way to reproduce this, but when I did an unusual (for our team) compiler optimization, namely

(proclaim '(optimize (speed 3) (safety 0)))

I got this error when compiling:

Error:

    Unknown vinsn: CCL::GET-COMPLES-SINGLE-FLOAT
       [Condition of type SIMPLE-ERROR]

In:
    Backtrace:
      0: (CCL::NEED-VINSN-TEMPLATE CCL::GET-COMPLES-SINGLE-FLOAT #<HASH-TABLE :TEST EQ size 580/687 #x3020001CB97D>)

Robert Smith grepped for "comples" and found these hits in the sources:

compiler/reg.lisp:(defconstant hard-reg-class-fpr-type-comples-double-float 2)
compiler/X86/x862.lisp:                    (! get-comples-single-float reg result-reg)
compiler/X86/x862.lisp:                 (! get-comples-double-float reg result-reg)

Perhaps this shows a simple typo (comples for complex) and would be enough to at least fix something or figure out the error we're seeing.

The following transcript suggests the presence of a new bug in the CCL compiler in the vicinity of subtypep. Probably part of a disagreement about when (values ...) can be used in a type expression. Something like this just broke an ACL2 rebuild that didn't break yesterday.

% ccl -n
Welcome to Clozure Common Lisp Version 1.4-dev-r12509M-trunk  (LinuxX8664)!
? (defvar x)
X
? (defvar y)
Y
? (defun foo () x)
FOO
? (defun bar () y)
BAR
? (proclaim '(ftype (function () (values t)) foo bar))
NIL
? (defun fap () (- (foo) (bar)))
> Error: VALUES type illegal in this context:
>          (VALUES T)
> While executing: (:INTERNAL CCL::NX1-COMPILE-LAMBDA), in process listener(1).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: continue compilation ignoring this form
> Type :? for other options.
1 > 

? (compile nil '(lambda () (typep nil '(or none-such null)))) 
> Error: Unknown type specifier: NONE-SUCH 
> While executing: CCL::%%TYPEP, in process listener(1). 
> Type :POP to abort, :R for a list of available restarts. 
> Type :? for other options. 
1 >  

I'm working on a fix, just entering the bug for the record.