projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rename FOP-INTERN AUX-FOP-INTERN for clarity
[sbcl.git]
/
src
/
compiler
/
node.lisp
diff --git
a/src/compiler/node.lisp
b/src/compiler/node.lisp
index
2f61cb8
..
852199e
100644
(file)
--- a/
src/compiler/node.lisp
+++ b/
src/compiler/node.lisp
@@
-676,7
+676,9
@@
(where-from :defined)))
(:include leaf))
;; the value of the constant
(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)
(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))
;; 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
;; 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