]> git.eshelyaron.com Git - emacs.git/commitdiff
; * lisp/emacs-lisp/comp.el (comp-compute-dominator-tree): Reindent.
authorAndrea Corallo <akrl@sdf.org>
Fri, 1 Jan 2021 12:53:08 +0000 (13:53 +0100)
committerAndrea Corallo <akrl@sdf.org>
Fri, 1 Jan 2021 13:07:27 +0000 (14:07 +0100)
lisp/emacs-lisp/comp.el

index 848bcf70cdbeba5c9305ed275facd9135a84bc15..9fea3451359025434a1faae1dc11ce1754470501 100644 (file)
@@ -2651,31 +2651,33 @@ blocks."
                (entry (gethash 'entry blocks))
                ;; No point to go on if the only bb is 'entry'.
                (bb0 (gethash 'bb_0 blocks)))
-      (cl-loop with rev-bb-list = (comp-collect-rev-post-order entry)
-               with changed = t
-               while changed
-               initially (progn
-                           (comp-log "Computing dominator tree...\n" 2)
-                           (setf (comp-block-dom entry) entry)
-                           ;; Set the post order number.
-                           (cl-loop for name in (reverse rev-bb-list)
-                                    for b = (gethash name blocks)
-                                    for i from 0
-                                    do (setf (comp-block-post-num b) i)))
-               do (cl-loop
-                   for name in (cdr rev-bb-list)
-                   for b = (gethash name blocks)
-                   for preds = (comp-block-preds b)
-                   for new-idom = (first-processed preds)
-                   initially (setf changed nil)
-                   do (cl-loop for p in (delq new-idom preds)
-                               when (comp-block-dom p)
-                                 do (setf new-idom (intersect p new-idom)))
-                   unless (eq (comp-block-dom b) new-idom)
-                   do (setf (comp-block-dom b) (unless (and (comp-block-lap-p new-idom)
-                                                            (comp-block-lap-no-ret new-idom))
-                                                 new-idom)
-                            changed t))))))
+      (cl-loop
+       with rev-bb-list = (comp-collect-rev-post-order entry)
+       with changed = t
+       while changed
+       initially (progn
+                   (comp-log "Computing dominator tree...\n" 2)
+                   (setf (comp-block-dom entry) entry)
+                   ;; Set the post order number.
+                   (cl-loop for name in (reverse rev-bb-list)
+                            for b = (gethash name blocks)
+                            for i from 0
+                            do (setf (comp-block-post-num b) i)))
+       do (cl-loop
+           for name in (cdr rev-bb-list)
+           for b = (gethash name blocks)
+           for preds = (comp-block-preds b)
+           for new-idom = (first-processed preds)
+           initially (setf changed nil)
+           do (cl-loop for p in (delq new-idom preds)
+                       when (comp-block-dom p)
+                       do (setf new-idom (intersect p new-idom)))
+           unless (eq (comp-block-dom b) new-idom)
+           do (setf (comp-block-dom b) (unless (and (comp-block-lap-p new-idom)
+                                                    (comp-block-lap-no-ret
+                                                     new-idom))
+                                         new-idom)
+                    changed t))))))
 
 (defun comp-compute-dominator-frontiers ()
   "Compute the dominator frontier for each basic block in `comp-func'."