mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-09 21:40:33 +02:00
Code Activity

Add reifier for fadd/immediate.

Browse source 
* module/language/cps/reify-primitives.scm (fadd/immediate): Add
  missing reify procedure.
This commit is contained in:
Andy Wingo 2018-04-10 20:37:11 +02:00
parent 41689edfc3
commit c109fa7eb8
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
module/language/cps/reify-primitives.scm
View file

@ -171,6 +171,16 @@
(lambda (cps k src param args) (lambda (cps k src param args)
(match args ((arg ...) (let () . body)))))) (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-syntax-rule (define-binary-signed-ephemeral name uname)
(define-ephemeral (name cps k src param a b) (define-ephemeral (name cps k src param a b)
(wrap-binary cps k src 's64->u64 'u64->s64 'uname #f a b))) (wrap-binary cps k src 's64->u64 'u64->s64 'uname #f a b)))