[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 02/09: intset-union fast paths
From: |
Andy Wingo |
Subject: |
[Guile-commits] 02/09: intset-union fast paths |
Date: |
Wed, 15 Jul 2015 07:51:33 +0000 |
wingo pushed a commit to branch master
in repository guile.
commit 47a4727b78c146adc24cbfbeeabc3abf022e14f8
Author: Andy Wingo <address@hidden>
Date: Mon Jul 13 11:02:29 2015 +0200
intset-union fast paths
* module/language/cps/intset.scm (intset-union): Add fast paths for
union with empty intset.
---
module/language/cps/intset.scm | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/module/language/cps/intset.scm b/module/language/cps/intset.scm
index 87956c5..7f8316e 100644
--- a/module/language/cps/intset.scm
+++ b/module/language/cps/intset.scm
@@ -508,6 +508,8 @@
(match (cons a b)
((($ <intset> a-min a-shift a-root) . ($ <intset> b-min b-shift b-root))
(cond
+ ((not b-root) a)
+ ((not a-root) b)
((not (= b-shift a-shift))
;; Hoist the set with the lowest shift to meet the one with the
;; higher shift.
- [Guile-commits] branch master updated (dbe6247 -> 981802c), Andy Wingo, 2015/07/15
- [Guile-commits] 01/09: Reorganizing of intset/intmap helper functions, Andy Wingo, 2015/07/15
- [Guile-commits] 02/09: intset-union fast paths,
Andy Wingo <=
- [Guile-commits] 03/09: Fix intset-subtract to reliably produce empty-intset, Andy Wingo, 2015/07/15
- [Guile-commits] 04/09: CPS2 renumber works with first-order CPS, Andy Wingo, 2015/07/15
- [Guile-commits] 05/09: Tweak intset printing, Andy Wingo, 2015/07/15
- [Guile-commits] 06/09: Beginnings of first-order CPS optimization, Andy Wingo, 2015/07/15
- [Guile-commits] 07/09: Verify pass works on first-order CPS, Andy Wingo, 2015/07/15
- [Guile-commits] 09/09: Wire up new closure conversion pass, Andy Wingo, 2015/07/15
- [Guile-commits] 08/09: Add CPS2 closure conversion module, Andy Wingo, 2015/07/15