mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-12 23:00:22 +02:00
Code Activity

Small type-fold cleanup

Browse source 
* module/language/cps/type-fold.scm (fold-constants*): Remove stale
  branches that were there when we only type folded on limited-size
  branches.
This commit is contained in:
Andy Wingo 2014-07-04 09:18:36 +02:00
parent d613ccaaa0
commit c7b71b1fdd
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
module/language/cps/type-fold.scm
View file

@ -249,8 +249,7 @@
(($ $continue k src (and fun ($ $fun))) (($ $continue k src (and fun ($ $fun)))
($continue k src ,(visit-fun fun))) ($continue k src ,(visit-fun fun)))
(($ $continue k src (and primcall ($ $primcall))) (($ $continue k src (and primcall ($ $primcall)))
,(if (and folded? ,(if (bitvector-ref folded? (label->idx label))
(bitvector-ref folded? (label->idx label)))
(let ((val (vector-ref folded-values (label->idx label)))) (let ((val (vector-ref folded-values (label->idx label))))
;; Uncomment for debugging. ;; Uncomment for debugging.
;; (pk 'folded src primcall val) ;; (pk 'folded src primcall val)
@ -263,8 +262,7 @@
($continue k* src ,primcall))))) ($continue k* src ,primcall)))))
term)) term))
(($ $continue kf src ($ $branch kt ($ $primcall))) (($ $continue kf src ($ $branch kt ($ $primcall)))
,(if (and folded? ,(if (bitvector-ref folded? (label->idx label))
(bitvector-ref folded? (label->idx label)))
;; Folded branch. ;; Folded branch.
(let ((val (vector-ref folded-values (label->idx label)))) (let ((val (vector-ref folded-values (label->idx label))))
(build-cps-term (build-cps-term