[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 21/21: Scalar replacement for f64->scm
From: |
Andy Wingo |
Subject: |
[Guile-commits] 21/21: Scalar replacement for f64->scm |
Date: |
Wed, 28 Oct 2015 22:31:22 +0000 |
wingo pushed a commit to branch wip-2.1.2
in repository guile.
commit b5b672165ebc2a638bcb1b048c40990ab1ef1461
Author: Andy Wingo <address@hidden>
Date: Wed Oct 28 22:27:46 2015 +0000
Scalar replacement for f64->scm
* module/language/cps/cse.scm (compute-equivalent-subexpressions):
Scalar replacement for float boxes.
---
module/language/cps/cse.scm | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm
index 894f779..2e47f37 100644
--- a/module/language/cps/cse.scm
+++ b/module/language/cps/cse.scm
@@ -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)
- [Guile-commits] 07/21: return-values opcode resets the frame, (continued)
- [Guile-commits] 07/21: return-values opcode resets the frame, Andy Wingo, 2015/10/28
- [Guile-commits] 11/21: rtl.test uses return-values, Andy Wingo, 2015/10/28
- [Guile-commits] 10/21: Always emit return-values, Andy Wingo, 2015/10/28
- [Guile-commits] 12/21: Remove use of return in disassembler.scm, Andy Wingo, 2015/10/28
- [Guile-commits] 04/21: CSE can run on first-order CPS, Andy Wingo, 2015/10/28
- [Guile-commits] 09/21: Replace return primcalls with $values, Andy Wingo, 2015/10/28
- [Guile-commits] 13/21: Remove return opcode, Andy Wingo, 2015/10/28
- [Guile-commits] 14/21: Treat tail $values as generating lazy allocations, Andy Wingo, 2015/10/28
- [Guile-commits] 17/21: Stack slots can hold a double, Andy Wingo, 2015/10/28
- [Guile-commits] 18/21: Add VM ops to pack and unpack raw f64 values., Andy Wingo, 2015/10/28
- [Guile-commits] 21/21: Scalar replacement for f64->scm,
Andy Wingo <=
- [Guile-commits] 20/21: bv-f32-set!, bv-f64-set! take unboxed args, Andy Wingo, 2015/10/28
- [Guile-commits] 15/21: VM support for raw slots, Andy Wingo, 2015/10/28
- [Guile-commits] 19/21: bv-f32-ref and bv-f64-ref return raw f64 values, Andy Wingo, 2015/10/28
- [Guile-commits] 16/21: Reflection support for unboxed f64 slots, Andy Wingo, 2015/10/28