[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 09/13: Fix CPS2 compute-successors
From: |
Andy Wingo |
Subject: |
[Guile-commits] 09/13: Fix CPS2 compute-successors |
Date: |
Wed, 22 Jul 2015 15:32:28 +0000 |
wingo pushed a commit to branch master
in repository guile.
commit 16d92c566fe23e50359965056ccfe25b2ae92dd5
Author: Andy Wingo <address@hidden>
Date: Wed Jul 22 17:00:34 2015 +0200
Fix CPS2 compute-successors
* module/language/cps2/utils.scm (compute-successors): Propagate $kfun
to $ktail so that we don't leave off the tail if the body iloops.
---
module/language/cps2/utils.scm | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/module/language/cps2/utils.scm b/module/language/cps2/utils.scm
index e62966e..eae6b69 100644
--- a/module/language/cps2/utils.scm
+++ b/module/language/cps2/utils.scm
@@ -293,8 +293,8 @@ intset."
(propagate1 k))
(($ $kfun src meta self tail clause)
(if clause
- (propagate1 clause)
- (propagate0)))
+ (propagate2 clause tail)
+ (propagate1 tail)))
(($ $kclause arity kbody kalt)
(if kalt
(propagate2 kbody kalt)
- [Guile-commits] branch master updated (90aabcc -> aa7f0e2), Andy Wingo, 2015/07/22
- [Guile-commits] 04/13: CPS1 slot-allocation simplification, Andy Wingo, 2015/07/22
- [Guile-commits] 05/13: More slot-allocation simplification, Andy Wingo, 2015/07/22
- [Guile-commits] 03/13: Utils refactors, Andy Wingo, 2015/07/22
- [Guile-commits] 07/13: Fix bad return shuffles for multiply-used $kreceive conts, Andy Wingo, 2015/07/22
- [Guile-commits] 01/13: Reify primitives in CPS2, Andy Wingo, 2015/07/22
- [Guile-commits] 09/13: Fix CPS2 compute-successors,
Andy Wingo <=
- [Guile-commits] 06/13: Fix error printing some wrong-num-args backtraces, Andy Wingo, 2015/07/22
- [Guile-commits] 02/13: Add intset-prev and intset-fold-right, Andy Wingo, 2015/07/22
- [Guile-commits] 11/13: Compile CPS2 directly to bytecode, Andy Wingo, 2015/07/22
- [Guile-commits] 08/13: intset-intersect bugfix, Andy Wingo, 2015/07/22
- [Guile-commits] 10/13: Slot allocation and bytecode compilation from CPS2., Andy Wingo, 2015/07/22
- [Guile-commits] 12/13: Remove CPS1 language, Andy Wingo, 2015/07/22
- [Guile-commits] 13/13: Rename CPS2 to CPS, Andy Wingo, 2015/07/22