Changeset 14980

Timestamp:

Sep 12, 2011, 11:35:39 AM (13 years ago)

Author:

Gary Byers

Message:

Add (%nx1-operator div2) to *numeric-acode-ops*; this allows us to
do some simple type inference/handle some cases of numeric contagion
involving two-arg #'/. (We don't do anything with INTEGER-typed args;
if we ever did, we'd have to be careful with #'/ here.)

In NX1-NOTE-VAR-BINDING, be careful: NX-ACODE-FORM-TYPE can
destrictively modify its argument, making an acode from that's had
type info stripped from it bcome a type-asserted form. Change the
order in which the variables INIT and INITTYPE are initialized so
that we can recognize:

  (let* ((v0 v1))
    ...)

and consider whether or not the two variables need to be disjoint.

While we're at it: ACODE-FORM-TYPE (which does these destructive type
assertions) is supposed to plead ignorance when it encounters a
lexical reference and it's called from the frontend. It really
shouldn't assert that ignorance, which may inhibit subsequent calls
from the backend from determining type info when more information
is available.

File:

• trunk/source/compiler/nx0.lisp (modified) (3 diffs)

trunk/source/compiler/nx0.lisp

@@ -450 +450 @@
   (list (%nx1-operator add2)
         (%nx1-operator sub2)
-        (%nx1-operator mul2)))
+        (%nx1-operator mul2)
+        (%nx1-operator div2)))
 
 
@@ -484 +485 @@
                                 (if (eq op (%nx1-operator lexical-reference))
                                   (locally (declare (special *nx-in-frontend*))
-                                    (unless *nx-in-frontend*
+                                    (if *nx-in-frontend*
+                                      (setq assert nil)
                                       (let* ((var (cadr form))
                                              (bits (nx-var-bits var))
@@ -1044 +1046 @@
 ;;; can be punted.
 (defun nx1-note-var-binding (var initform)
-  (let* ((init (nx-untyped-form initform))
-         (inittype (nx-acode-form-type initform *nx-lexical-environment*))
+  (let* ((inittype (nx-acode-form-type initform *nx-lexical-environment*))
+         (init (nx-untyped-form initform))
          (bits (nx-var-bits var)))
     (when (%ilogbitp $vbitspecial bits) (nx-record-xref-info :binds (var-name var)))