[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Guile-commits] 02/03: Fabricated expression tweak in CSE

From: Andy Wingo
Subject: [Guile-commits] 02/03: Fabricated expression tweak in CSE
Date: Thu, 1 Sep 2016 09:15:34 +0000 (UTC)

wingo pushed a commit to branch master
in repository guile.

commit 723efdfc44695dbc816ede8373b5cab4951ad3b2
Author: Andy Wingo <address@hidden>
Date:   Thu Sep 1 10:54:31 2016 +0200

    Fabricated expression tweak in CSE
    * module/language/cps/cse.scm (compute-equivalent-subexpressions):
      u64->scm fabricates equivalence for scm->u64/truncate too.
 module/language/cps/cse.scm |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm
index c8a5ad3..e37e8d4 100644
--- a/module/language/cps/cse.scm
+++ b/module/language/cps/cse.scm
@@ -314,7 +314,8 @@ false.  It could be that both true and false proofs are 
             (('primcall 'u64->scm u64)
              (match defs
-                (add-def! `(primcall scm->u64 ,scm) u64))))
+                (add-def! `(primcall scm->u64 ,scm) u64)
+                (add-def! `(primcall scm->u64/truncate ,scm) u64))))
             (('primcall 'scm->s64 scm)
              (match defs

reply via email to

[Prev in Thread] Current Thread [Next in Thread]