[Guile-commits] 04/16: Reify-primitives removes "/unlikely" ephemeral instructions

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 1f460cb054286df15ec6b00157c555a3ba7c8843
Author: Andy Wingo <address@hidden>
Date:   Sun Dec 17 13:45:27 2017 +0100

    Reify-primitives removes "/unlikely" ephemeral instructions
    
    * module/language/cps/reify-primitives.scm (reify-primitives): Remove
      tag-fixnum/unlikely, etc.
---
 module/language/cps/reify-primitives.scm | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/module/language/cps/reify-primitives.scm 
b/module/language/cps/reify-primitives.scm
index 1610356..df38cd5 100644
--- a/module/language/cps/reify-primitives.scm
+++ b/module/language/cps/reify-primitives.scm
@@ -188,6 +188,25 @@
        (with-cps cps
          (setk label ($kargs names vars ($continue k src ($call proc ()))))))
       (($ $kargs names vars
+          ($ $continue k src ($ $primcall 'u64->scm/unlikely #f (u64))))
+       (with-cps cps
+         (setk label ($kargs names vars
+                       ($continue k src ($primcall 'u64->scm #f (u64)))))))
+      (($ $kargs names vars
+          ($ $continue k src ($ $primcall 's64->scm/unlikely #f (s64))))
+       (with-cps cps
+         (setk label ($kargs names vars
+                       ($continue k src ($primcall 's64->scm #f (s64)))))))
+      (($ $kargs names vars
+          ($ $continue k src ($ $primcall 'tag-fixnum/unlikely #f (s64))))
+       (with-cps cps
+         (setk label ($kargs names vars
+                       ($continue k src ($primcall 'tag-fixnum #f (s64)))))))
+      (($ $kargs names vars
+          ($ $continue k src ($ $primcall 'load-const/unlikely val ())))
+       (with-cps cps
+         (setk label ($kargs names vars ($continue k src ($const val))))))
+      (($ $kargs names vars
           ($ $continue k src ($ $primcall 'mul/immediate b (a))))
        (with-cps cps
          (letv b*)