X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fnode.lisp;h=4f0ad48b24378f091091ca15b7c940e8a65721c2;hb=bffa99d35c7d50ac46b9eb7dbe25d1ab1a0e6145;hp=d9ff1ebaea1297acb4dfde36da48d1e0bdc7ca43;hpb=cabcdba7426655e7044f420318a02b7644422b04;p=sbcl.git

diff --git a/src/compiler/node.lisp b/src/compiler/node.lisp
index d9ff1eb..4f0ad48 100644
--- a/src/compiler/node.lisp
+++ b/src/compiler/node.lisp
@@ -227,6 +227,13 @@
   (gen nil)
   (in nil)
   (out nil)
+  ;; Set of all blocks that dominate this block. NIL is interpreted
+  ;; as "all blocks in component". 
+  (dominators nil :type (or null sset))
+  ;; the LOOP that this block belongs to
+  (loop nil :type (or null cloop))
+  ;; next block in the loop.
+  (loop-next nil :type (or null cblock))
   ;; the component this block is in, or NIL temporarily during IR1
   ;; conversion and in deleted blocks
   (component (progn
@@ -378,7 +385,9 @@
   (delete-blocks nil :type list)
   (nlx-info-generated-p nil :type boolean)
   ;; this is filled by physical environment analysis
-  (dx-lvars nil :type list))
+  (dx-lvars nil :type list)
+  ;; The default LOOP in the component.
+  (outer-loop (make-loop :kind :outer :head head) :type cloop))
 (defprinter (component :identity t)
   name
   #!+sb-show id