Commit 41cd7a86 authored by simonpj's avatar simonpj
Browse files

[project @ 2000-06-22 14:40:22 by simonpj]

*** MERGE WITH 4.07 ***

* The divide by zero check in the constant-folding
  rules was testing the numerator not denominator!
  (For Float and Double.)
parent 4efbac79
......@@ -226,7 +226,7 @@ floatOp2 op name (MachFloat f1) (MachFloat f2)
floatOp2 op name l1 l2 = Nothing
floatOp2Z op name (MachFloat f1) (MachFloat f2)
| f1 /= 0 = Just (name, mkFloatVal (f1 `op` f2))
| f2 /= 0 = Just (name, mkFloatVal (f1 `op` f2))
floatOp2Z op name l1 l2 = Nothing
--------------------------
......@@ -235,7 +235,7 @@ doubleOp2 op name (MachDouble f1) (MachDouble f2)
doubleOp2 op name l1 l2 = Nothing
doubleOp2Z op name (MachDouble f1) (MachDouble f2)
| f1 /= 0 = Just (name, mkDoubleVal (f1 `op` f2))
| f2 /= 0 = Just (name, mkDoubleVal (f1 `op` f2))
doubleOp2Z op name l1 l2 = Nothing
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment