From: Richard Stallman <rms@gnu.org>
Date: Sun, 24 Jan 1993 01:06:11 +0000 (+0000)
Subject: (apply_distributive_law): Don't mess with float arith.
X-Git-Tag: misc/cutover-egcs-0~10626
X-Git-Url: https://gcc.gnu.org/git/?a=commitdiff_plain;h=d8a8a4da44fcc083e644545cff4486ccbaaa8707;p=gcc.git

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

From-SVN: r3317
---

diff --git a/gcc/combine.c b/gcc/combine.c
index b99b8e9f2f08..33bac48f439f 100644
--- 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)