X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fmain.lisp;h=9a86abe1dff752c5b060fafd323a6f9d4993b8a5;hb=15d6e7c9a2c3234f95dfe278046fa2fee1b0c007;hp=01d9c6ff7245ed461741f873aba07dd9918bca3d;hpb=28dcf682ef2a3c80b7bcdda00787dbb5e3893abe;p=sbcl.git

diff --git a/src/compiler/main.lisp b/src/compiler/main.lisp
index 01d9c6f..9a86abe 100644
--- a/src/compiler/main.lisp
+++ b/src/compiler/main.lisp
@@ -38,6 +38,9 @@
 (defvar *check-consistency* nil)
 (defvar *all-components*)
 
+;;; Set to NIL to disable loop analysis for register allocation. 
+(defvar *loop-analyze* t)
+
 ;;; Bind this to a stream to capture various internal debugging output.
 (defvar *compiler-trace-output* nil)
 
@@ -523,6 +526,25 @@
 
     (ir1-phases component)
 
+    (when *loop-analyze*
+      (dfo-as-needed component)
+      (find-dominators component)
+      (loop-analyze component))
+
+    #|
+    (when (and *loop-analyze* *compiler-trace-output*)
+      (labels ((print-blocks (block)
+		 (format *compiler-trace-output* "    ~A~%" block)
+		 (when (block-loop-next block)
+		   (print-blocks (block-loop-next block))))
+	       (print-loop (loop)
+		 (format *compiler-trace-output* "loop=~A~%" loop)
+		 (print-blocks (loop-blocks loop))
+		 (dolist (l (loop-inferiors loop))
+		   (print-loop l))))
+	(print-loop (component-outer-loop component))))
+    |#
+    
     ;; FIXME: What is MAYBE-MUMBLE for? Do we need it any more?
     (maybe-mumble "env ")
     (physenv-analyze component)