rs6000.md (bswapdi2_64bit): Fix unnecessarily stringent constraints.

2009-09-08  Segher Boessenkool  <segher@kernel.crashing.org>

	* config/rs6000/rs6000.md (bswapdi2_64bit): Fix
	unnecessarily stringent constraints.  Fix address
	calculation in the splitters.

From-SVN: r151575

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 61522ed0f53cf8a2fe137293de5647336bfcd2b0..43f4870be414b98dae3d4f681b1e73947a442542 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-09-09  Segher Boessenkool  <segher@kernel.crashing.org>
+
+       * config/rs6000/rs6000.md (bswapdi2_64bit): Fix
+       unnecessarily stringent constraints.  Fix address
+       calculation in the splitters.
+
 2009-09-09  Uros Bizjak  <ubizjak@gmail.com>
 
        PR rtl-optimization/39779

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index ea046d3e920109d303fd65bb877a4eb40ef59408..d7f30f84e0d85e0e4b8eadbfc41046fd0b3d5d14 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -2421,8 +2421,8 @@
   [(set (match_operand:DI 0 "reg_or_mem_operand" "=&r,Z,??&r")
        (bswap:DI (match_operand:DI 1 "reg_or_mem_operand" "Z,r,r")))
    (clobber (match_scratch:DI 2 "=&b,&b,&r"))
-   (clobber (match_scratch:DI 3 "=&b,&r,&r"))
-   (clobber (match_scratch:DI 4 "=&b,X,&r"))]
+   (clobber (match_scratch:DI 3 "=&r,&r,&r"))
+   (clobber (match_scratch:DI 4 "=&r,X,&r"))]
   "TARGET_POWERPC64 && !TARGET_LDBRX
    && (REG_P (operands[0]) || REG_P (operands[1]))"
   "#"
@@ -2454,12 +2454,13 @@
   if (GET_CODE (addr1) == PLUS)
     {
       emit_insn (gen_adddi3 (op2, XEXP (addr1, 0), GEN_INT (4)));
-      addr1 = XEXP (addr1, 1);
+      addr2 = gen_rtx_PLUS (DImode, op2, XEXP (addr1, 1));
     }
   else
-    emit_move_insn (op2, GEN_INT (4));
-
-  addr2 = gen_rtx_PLUS (DImode, op2, addr1);
+    {
+      emit_move_insn (op2, GEN_INT (4));
+      addr2 = gen_rtx_PLUS (DImode, op2, addr1);
+    }
 
   if (BYTES_BIG_ENDIAN)
     {
@@ -2484,7 +2485,7 @@
    (clobber (match_operand:DI 2 "gpc_reg_operand" ""))
    (clobber (match_operand:DI 3 "gpc_reg_operand" ""))
    (clobber (match_operand:DI 4 "" ""))]
-  "TARGET_POWERPC64 && reload_completed && !TARGET_LDBRX"
+  "TARGET_POWERPC64 && !TARGET_LDBRX && reload_completed"
   [(const_int 0)]
   "
 {
@@ -2503,12 +2504,13 @@
   if (GET_CODE (addr1) == PLUS)
     {
       emit_insn (gen_adddi3 (op2, XEXP (addr1, 0), GEN_INT (4)));
-      addr1 = XEXP (addr1, 1);
+      addr2 = gen_rtx_PLUS (DImode, op2, XEXP (addr1, 1));
     }
   else
-    emit_move_insn (op2, GEN_INT (4));
-
-  addr2 = gen_rtx_PLUS (DImode, op2, addr1);
+    {
+      emit_move_insn (op2, GEN_INT (4));
+      addr2 = gen_rtx_PLUS (DImode, op2, addr1);
+    }
 
   emit_insn (gen_lshrdi3 (op3, src, GEN_INT (32)));
   if (BYTES_BIG_ENDIAN)
@@ -2582,13 +2584,14 @@
   addr1 = XEXP (src, 0);
   if (GET_CODE (addr1) == PLUS)
     {
-      emit_insn (gen_adddi3 (op2, XEXP (addr1, 0), GEN_INT (4)));
-      addr1 = XEXP (addr1, 1);
+      emit_insn (gen_addsi3 (op2, XEXP (addr1, 0), GEN_INT (4)));
+      addr2 = gen_rtx_PLUS (SImode, op2, XEXP (addr1, 1));
     }
   else
-    emit_move_insn (op2, GEN_INT (4));
-
-  addr2 = gen_rtx_PLUS (DImode, op2, addr1);
+    {
+      emit_move_insn (op2, GEN_INT (4));
+      addr2 = gen_rtx_PLUS (SImode, op2, addr1);
+    }
 
   if (BYTES_BIG_ENDIAN)
     {
@@ -2627,12 +2630,13 @@
   if (GET_CODE (addr1) == PLUS)
     {
       emit_insn (gen_addsi3 (op2, XEXP (addr1, 0), GEN_INT (4)));
-      addr1 = XEXP (addr1, 1);
+      addr2 = gen_rtx_PLUS (SImode, op2, XEXP (addr1, 1));
     }
   else
-    emit_move_insn (op2, GEN_INT (4));
-
-  addr2 = gen_rtx_PLUS (SImode, op2, addr1);
+    {
+      emit_move_insn (op2, GEN_INT (4));
+      addr2 = gen_rtx_PLUS (SImode, op2, addr1);
+    }
 
   if (BYTES_BIG_ENDIAN)
     {