1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 11:40:18 +02:00

Scalar replacement for f64->scm

* module/language/cps/cse.scm (compute-equivalent-subexpressions):
  Scalar replacement for float boxes.
This commit is contained in:
Andy Wingo 2015-10-28 22:27:46 +00:00
parent b1ac8d68b5
commit c438998e48

View file

@ -299,6 +299,14 @@ false. It could be that both true and false proofs are available."
(add-def! `(primcall struct-ref ,struct ,n) val))
(('primcall 'struct-set!/immediate struct n val)
(add-def! `(primcall struct-ref/immediate ,struct ,n) val))
(('primcall 'scm->f64 scm)
(match defs
((f64)
(add-def! `(primcall f64->scm ,f64) scm))))
(('primcall 'f64->scm f64)
(match defs
((scm)
(add-def! `(primcall scm->f64 ,scm) f64))))
(_ #t))))
(define (visit-label label equiv-labels var-substs)