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

Slight optimization to invert-bijectiono

Browse source 
* module/language/cps/graphs.scm (invert-bijection): Use a transient
  intmap.
This commit is contained in:
Andy Wingo 2020-05-28 10:58:09 +02:00
parent 11878e1603
commit d36b9f0422
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,6 +1,6 @@
;;; Continuation-passing style (CPS) intermediate language (IL) ;;; Continuation-passing style (CPS) intermediate language (IL)
;; Copyright (C) 2013-2015, 2017-2019 Free Software Foundation, Inc. ;; Copyright (C) 2013-2015, 2017-2020 Free Software Foundation, Inc.
;;;; This library is free software; you can redistribute it and/or ;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public ;;;; modify it under the terms of the GNU Lesser General Public
@ -82,7 +82,8 @@ member, or @code{#f} otherwise."
"Assuming the values of @var{map} are integers and are unique, compute "Assuming the values of @var{map} are integers and are unique, compute
a map in which each value maps to its key. If the values are not a map in which each value maps to its key. If the values are not
unique, an error will be signalled." unique, an error will be signalled."
(intmap-fold (lambda (k v out) (intmap-add out v k)) map empty-intmap)) (persistent-intmap
(intmap-fold (lambda (k v out) (intmap-add! out v k)) map empty-intmap)))
(define (invert-partition map) (define (invert-partition map)
"Assuming the values of @var{map} are disjoint intsets, compute a map "Assuming the values of @var{map} are disjoint intsets, compute a map