[Guile-commits] 03/15: Add reifier for fadd/immediate.

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit c109fa7eb810f8059e33dc0234fcebd214921880
Author: Andy Wingo <address@hidden>
Date:   Tue Apr 10 20:37:11 2018 +0200

    Add reifier for fadd/immediate.
    
    * module/language/cps/reify-primitives.scm (fadd/immediate): Add
      missing reify procedure.
---
 module/language/cps/reify-primitives.scm | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/module/language/cps/reify-primitives.scm 
b/module/language/cps/reify-primitives.scm
index add6271..84d75ca 100644
--- a/module/language/cps/reify-primitives.scm
+++ b/module/language/cps/reify-primitives.scm
@@ -171,6 +171,16 @@
               (lambda (cps k src param args)
                 (match args ((arg ...) (let () . body))))))
 
+(define-ephemeral (fadd/immediate cps k src param a)
+  (with-cps cps
+    (letv b)
+    (letk kb ($kargs ('b) (b)
+               ($continue k src
+                 ($primcall 'fadd #f (a b)))))
+    (build-term
+      ($continue kb src
+        ($primcall 'load-f64 param ())))))
+
 (define-syntax-rule (define-binary-signed-ephemeral name uname)
   (define-ephemeral (name cps k src param a b)
     (wrap-binary cps k src 's64->u64 'u64->s64 'uname #f a b)))