simplify-rtx.c (simplify_binary_operation): Simplify ~y when (x - (x & y)) is found.

	* simplify-rtx.c (simplify_binary_operation): Simplify ~y when
	(x - (x & y)) is found.

From-SVN: r62906

gcc/ChangeLog

+2003-02-14  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* simplify-rtx.c (simplify_binary_operation): Simplify ~y when
+	(x - (x & y)) is found.
+
 2003-02-14  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
 
 	* configure.in: Fix typo.

gcc/simplify-rtx.c

@@ -1338,11 +1338,17 @@ simplify_binary_operation (code, mode, op0, op1)
 	  if (GET_CODE (op1) == AND)
 	    {
 	     if (rtx_equal_p (op0, XEXP (op1, 0)))
-	       return simplify_gen_binary (AND, mode, op0,
-					   gen_rtx_NOT (mode, XEXP (op1, 1)));
+	       {
+		 tem = simplify_gen_unary (NOT, mode, XEXP (op1, 1),
+					   GET_MODE (XEXP (op1, 1)));
+		 return simplify_gen_binary (AND, mode, op0, tem);
+	       }
 	     if (rtx_equal_p (op0, XEXP (op1, 1)))
-	       return simplify_gen_binary (AND, mode, op0,
-					   gen_rtx_NOT (mode, XEXP (op1, 0)));
+	       {
+		 tem = simplify_gen_unary (NOT, mode, XEXP (op1, 0),
+					   GET_MODE (XEXP (op1, 0)));
+		 return simplify_gen_binary (AND, mode, op0, tem);
+	       }
 	   }
 	  break;