wingo pushed a commit to branch master in repository guile. commit c109fa7eb810f8059e33dc0234fcebd214921880 Author: Andy Wingo <wi...@pobox.com> 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)))