X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fnode.lisp;h=852199e4a7816e722ea00441dd5a46ac85d36ad0;hb=2372ff8da6e1099e8840b0815d75c414fff2f302;hp=2f61cb8efc4ebf3c1b000eb4c4777622646717b7;hpb=d2e1e27f0d424a22926bcfa1d831641529073bc3;p=sbcl.git

diff --git a/src/compiler/node.lisp b/src/compiler/node.lisp
index 2f61cb8..852199e 100644
--- a/src/compiler/node.lisp
+++ b/src/compiler/node.lisp
@@ -676,7 +676,9 @@
                                                    (where-from :defined)))
                       (:include leaf))
   ;; the value of the constant
-  (value (missing-arg) :type t))
+  (value (missing-arg) :type t)
+  ;; Boxed TN for this constant, if any.
+  (boxed-tn nil :type (or null tn)))
 (defprinter (constant :identity t)
   value)
 
@@ -1144,6 +1146,10 @@
   ;; These are solely used by FIND-CONSTRAINT
   (ctype-constraints nil :type (or null hash-table))
   (eq-constraints    nil :type (or null hash-table))
+  ;; sorted sets of constraints we like to iterate over
+  (eql-var-constraints     nil :type (or null (array t 1)))
+  (inheritable-constraints nil :type (or null (array t 1)))
+  (private-constraints     nil :type (or null (array t 1)))
   ;; Initial type of a LET variable as last seen by PROPAGATE-FROM-SETS.
   (last-initial-type *universal-type* :type ctype)
   ;; The FOP handle of the lexical variable represented by LAMBDA-VAR