[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 02/12: Fix type-fold on multiplying exact numbers
From: |
Andy Wingo |
Subject: |
[Guile-commits] 02/12: Fix type-fold on multiplying exact numbers |
Date: |
Tue, 02 Jun 2015 08:33:49 +0000 |
wingo pushed a commit to branch master
in repository guile.
commit 10d11e6537fa4649e51faa356c178c13510880b4
Author: Andy Wingo <address@hidden>
Date: Mon May 25 15:16:32 2015 +0200
Fix type-fold on multiplying exact numbers
* module/language/cps/types.scm (mul): Fix bug inferring results of
exact multiplications.
---
module/language/cps/types.scm | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index 3df1530..5e0b2d0 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -825,10 +825,10 @@ minimum, and maximum."
;; If we have inferred that the arguments are not flonums and not
;; compnums, then the result of (* +inf.0 0) at range inference
;; time is 0 and not +nan.0.
- (if (or (and (inf? a) (zero? b))
- (and (zero? a) (inf? b))
- (not (logtest (logior (&type a) (&type b))
- (logior &flonum &complex))))
+ (if (and (or (and (inf? a) (zero? b))
+ (and (zero? a) (inf? b)))
+ (not (logtest (logior (&type a) (&type b))
+ (logior &flonum &complex))))
0
(* a b)))
(let ((-- (nan* min-a min-b))
- [Guile-commits] branch master updated (48b2f19 -> 6e725df), Andy Wingo, 2015/06/02
- [Guile-commits] 01/12: Fix regression in compute-idoms, Andy Wingo, 2015/06/02
- [Guile-commits] 03/12: Add intmap-replace., Andy Wingo, 2015/06/02
- [Guile-commits] 04/12: intset-next starting point is optional, Andy Wingo, 2015/06/02
- [Guile-commits] 02/12: Fix type-fold on multiplying exact numbers,
Andy Wingo <=
- [Guile-commits] 06/12: DCE uses type analysis to find dead code, Andy Wingo, 2015/06/02
- [Guile-commits] 08/12: Fix compute-defining-expressions (and thereby compute-constant-values), Andy Wingo, 2015/06/02
- [Guile-commits] 07/12: Add intmap-replace!., Andy Wingo, 2015/06/02
- [Guile-commits] 09/12: Port prune-top-level-scopes pass to CPS2, Andy Wingo, 2015/06/02
- [Guile-commits] 10/12: Add intmap-fold-right, Andy Wingo, 2015/06/02
- [Guile-commits] 11/12: Add "intset" syntax to construct intsets., Andy Wingo, 2015/06/02
- [Guile-commits] 05/12: Port type inference module to CPS2, Andy Wingo, 2015/06/02
- [Guile-commits] 12/12: Port contification pass to CPS2., Andy Wingo, 2015/06/02