mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
Code Activity

Use transient intset/intmap optimizations when computing SCCs

Browse source 
* module/language/cps/graphs.scm (compute-sorted-strongly-connected-components):
Use more transient data structures.
This commit is contained in:
Andy Wingo 2025-01-22 16:50:52 +01:00
parent 60c1e5cc42
commit 47dce42edb
1 changed files with 16 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

30
module/language/cps/graphs.scm
View file

@ -1,6 +1,6 @@
;;; Continuation-passing style (CPS) intermediate language (IL)
;; Copyright (C) 2013-2015, 2017-2021 Free Software Foundation, Inc.
;; Copyright (C) 2013-2015, 2017-2021, 2025 Free Software Foundation, Inc.
;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public
@ -227,23 +227,25 @@ connected components in sorted order."
start)
start))
(define node-components
(intmap-fold (lambda (id nodes out)
(intset-fold (lambda (node out) (intmap-add out node id))
nodes out))
components
empty-intmap))
(persistent-intmap
(intmap-fold (lambda (id nodes out)
(intset-fold (lambda (node out) (intmap-add! out node id))
nodes out))
components
empty-intmap)))
(define (node-component node)
(intmap-ref node-components node))
(define (component-successors id nodes)
(intset-remove
(intset-fold (lambda (node out)
(intset-fold
(lambda (successor out)
(intset-add out (node-component successor)))
(intmap-ref edges node)
out))
nodes
empty-intset)
(persistent-intset
(intset-fold (lambda (node out)
(intset-fold
(lambda (successor out)
(intset-add! out (node-component successor)))
(intmap-ref edges node)
out))
nodes
empty-intset))
id))
(define component-edges
(intmap-map component-successors components))