mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 19:50:24 +02:00
Code Activity

Simplify live variable computation for graphs without loops

Browse source 
* module/language/cps/slot-allocation.scm
  (compute-reverse-control-flow-order): For graphs without back-edges,
  use a simplified computation of reverse control flow order.
This commit is contained in:
Andy Wingo 2017-11-29 19:57:48 +01:00
parent 76d4608d7a
commit 8e2314c46d
1 changed files with 29 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

22
module/language/cps/slot-allocation.scm
View file

@ -23,6 +23,7 @@
;;; Code: ;;; Code:
(define-module (language cps slot-allocation) (define-module (language cps slot-allocation)
#:use-module (ice-9 control)
#:use-module (ice-9 match) #:use-module (ice-9 match)
#:use-module (srfi srfi-1) #:use-module (srfi srfi-1)
#:use-module (srfi srfi-9) #:use-module (srfi srfi-9)
@ -194,7 +195,21 @@ by a label, respectively."
(define (compute-reverse-control-flow-order preds) (define (compute-reverse-control-flow-order preds)
"Return a LABEL->ORDER bijection where ORDER is a contiguous set of "Return a LABEL->ORDER bijection where ORDER is a contiguous set of
integers starting from 0 and incrementing in sort order." integers starting from 0 and incrementing in sort order. There is a
precondition that labels in PREDS are already renumbered in reverse post
order."
(define (has-back-edge? preds)
(let/ec return
(intmap-fold (lambda (label labels)
(intset-fold (lambda (pred)
(if (<= label pred)
(return #t)
(values)))
labels)
(values))
preds)
#f))
(if (has-back-edge? preds)
;; This is more involved than forward control flow because not all ;; This is more involved than forward control flow because not all
;; live labels are reachable from the tail. ;; live labels are reachable from the tail.
(persistent-intmap (persistent-intmap
@ -204,7 +219,10 @@ integers starting from 0 and incrementing in sort order."
(1+ n))) (1+ n)))
component order n)) component order n))
(reverse (compute-sorted-strongly-connected-components preds)) (reverse (compute-sorted-strongly-connected-components preds))
empty-intmap 0))) empty-intmap 0))
;; Just reverse forward control flow.
(let ((max (intmap-prev preds)))
(intmap-map (lambda (label labels) (- max label)) preds))))
(define* (add-prompt-control-flow-edges conts succs #:key complete?) (define* (add-prompt-control-flow-edges conts succs #:key complete?)
"For all prompts in DFG in the range [MIN-LABEL, MIN-LABEL + "For all prompts in DFG in the range [MIN-LABEL, MIN-LABEL +