From 141e454b1e21d8a832fe55f731f5f516278b54df Mon Sep 17 00:00:00 2001
From: Jan Hubicka <jh@suse.cz>
Date: Sat, 28 Apr 2001 21:16:30 +0200
Subject: rtl.h (simplify_gen_relational): Add cmp_mode parameter.

	* rtl.h (simplify_gen_relational): Add cmp_mode parameter.
	* simplify-rtx.c (simplify_gen_relational): Likewise.

	* simplify-rtx.c (simplify_replace_rtx): Handle relationals and MEMs.

	* i386.h (VALID_SSE_REG_MODE): Accept MMX modes if SSE2
	* i386.md (movsi_1, movdi2, movdi_1_rex64): Handle SSE2 moves.

	* i386.md (negsf2, negdf2, abssf2, absdf2): Force operands to
	registers in SSE case; fix handling of the immediates.
	(negsf2_ifs, abssf2_ifs): Tweak constraints; require
	operands to be in regsiters before reload.
	(negdf2_ifs, absdf2_ifs): Likewise; disable for 64bit
	(negdf2_ifs_rex64, absdf2_ifs_rtx64): New.
	(abstf,absxf,negtf,negxf splitters): Compute
	properly the regnum for x86_64.
	(avsdf2_if_rex64): New.

From-SVN: r41664
---
 gcc/simplify-rtx.c | 36 +++++++++++++++++++++++++++++++++---
 1 file changed, 33 insertions(+), 3 deletions(-)

(limited to 'gcc/simplify-rtx.c')

diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index af8b708..a5e09a7 100644
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -177,17 +177,20 @@ simplify_gen_ternary (code, mode, op0_mode, op0, op1, op2)
   return gen_rtx_fmt_eee (code, mode, op0, op1, op2);
 }
 
-/* Likewise, for relational operations.  */
+/* Likewise, for relational operations.
+   CMP_MODE specifies mode comparison is done in.
+  */
 
 rtx
-simplify_gen_relational (code, mode, op0, op1)
+simplify_gen_relational (code, mode, cmp_mode, op0, op1)
      enum rtx_code code;
      enum machine_mode mode;
+     enum machine_mode cmp_mode;
      rtx op0, op1;
 {
   rtx tem;
 
-  if ((tem = simplify_relational_operation (code, mode, op0, op1)) != 0)
+  if ((tem = simplify_relational_operation (code, cmp_mode, op0, op1)) != 0)
     return tem;
 
   /* Put complex operands first and constants second.  */
@@ -238,6 +241,14 @@ simplify_replace_rtx (x, old, new)
 	simplify_gen_binary (code, mode,
 			     simplify_replace_rtx (XEXP (x, 0), old, new),
 			     simplify_replace_rtx (XEXP (x, 1), old, new));
+    case '<':
+      return
+	simplify_gen_relational (code, mode,
+				 (GET_MODE (XEXP (x, 0)) != VOIDmode
+				  ? GET_MODE (XEXP (x, 0))
+				  : GET_MODE (XEXP (x, 1))),
+				 simplify_replace_rtx (XEXP (x, 0), old, new),
+				 simplify_replace_rtx (XEXP (x, 1), old, new));
 
     case '3':
     case 'b':
@@ -258,8 +269,27 @@ simplify_replace_rtx (x, old, new)
       return x;
 
     default:
+      if (GET_CODE (x) == MEM)
+	{
+	  /* We can't use change_address here, since it verifies memory address
+	     for corectness.  We don't want such check, since we may handle
+	     addresses previously incorect (such as ones in push instructions)
+	     and it is caller's work to verify whether resulting insn match.  */
+	  rtx addr = simplify_replace_rtx (XEXP (x, 0), old, new);
+	  rtx mem;
+	  if (XEXP (x, 0) != addr)
+	    {
+	      mem = gen_rtx_MEM (GET_MODE (x), addr);
+	      MEM_COPY_ATTRIBUTES (mem, x);
+	    }
+	  else
+	    mem = x;
+	  return mem;
+	}
+
       return x;
     }
+  return x;
 }
 
 /* Try to simplify a unary operation CODE whose output mode is to be
-- 
cgit v1.1