(apply_distributive_law): Don't mess with float arith.

From-SVN: r3317

diff --git a/gcc/combine.c b/gcc/combine.c
index b99b8e9f2f080744bce32dc7832404843d1a8b84..33bac48f439f60a3af6f0fae75a3231391931dec 100644 (file)
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -5526,6 +5526,12 @@ apply_distributive_law (x)
   rtx tem;
   enum rtx_code inner_code;
 
+  /* Distributivity is not true for floating point.
+     It can change the value.  So don't do it.
+     -- rms and moshier@world.std.com.  */
+  if (GET_MODE_CLASS (GET_MODE (x)) == MODE_FLOAT)
+    return x;
+
   /* The outer operation can only be one of the following:  */
   if (code != IOR && code != AND && code != XOR
       && code != PLUS && code != MINUS)