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

[Andy Wingo]

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 
available."
             (('primcall 'u64->scm u64)
              (match defs
                ((scm)
-                (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
                ((s64)