rs6000.md (movdi splitter): Sign extend more efficiently.

	* rs6000.md (movdi splitter): Sign extend more efficiently.
	* rs6000.c (reg_or_arith_cint_operand): Redefine 64-bit constant
	to "long long" valid on 32-bit and 64-bit hosts.
	(logical_operand): Cast trunc_int_for_mode rturn value.
	(rs6000_emit_move): Shift macro to encapsulate variable.
	(rs6000_va_start): Use HOST_WIDE_INT_PRINT_DEC.
	(rs6000_emit_{prologue,epilogue}): EH regno is unsigned but
	plus_constant requires signed argument.

From-SVN: r42111

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 87b5c629a6ff61afe0066e5be48b69db85e87235..39f6c3dc12f5ff6e385deff2cab844b73967f41a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2001-05-15  David Edelsohn  <edelsohn@gnu.org>
+
+       * rs6000.md (movdi splitter): Sign extend more efficiently.
+       * rs6000.c (reg_or_arith_cint_operand): Redefine 64-bit constant
+       to "long long" valid on 32-bit and 64-bit hosts.
+       (logical_operand): Cast trunc_int_for_mode rturn value.
+       (rs6000_emit_move): Shift macro to encapsulate variable.
+       (rs6000_va_start): Use HOST_WIDE_INT_PRINT_DEC.
+       (rs6000_emit_{prologue,epilogue}): EH regno is unsigned but
+       plus_constant requires signed argument.
+
 2001-05-15  Loren J. Rittle  <ljrittle@acm.org>
 
        * gthr-posix.h: Make additional pthread-* functions weak.

diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c
index a2b6b944384737127b70e42dc99770e06d7f4cdf..8d2a799b8e3ea28d6a18aeba04b4480d548852b4 100644 (file)
--- a/gcc/config/rs6000/rs6000.c
+++ b/gcc/config/rs6000/rs6000.c
@@ -674,7 +674,7 @@ reg_or_arith_cint_operand (op, mode)
             || (GET_CODE (op) == CONST_INT
 #if HOST_BITS_PER_WIDE_INT != 32
                 && ((unsigned HOST_WIDE_INT) (INTVAL (op) + 0x80000000)
-                    < 0x100000000u)
+                    < (unsigned HOST_WIDE_INT) 0x100000000ll)
 #endif
                 ));
 }
@@ -1023,7 +1023,7 @@ logical_operand (op, mode)
     return 0;
 
   /* This must really be SImode, not MODE.  */
-  if (opl != trunc_int_for_mode (opl, SImode))
+  if (opl != (unsigned HOST_WIDE_INT) trunc_int_for_mode (opl, SImode))
     return 0;
 
   return ((opl & 0xffff) == 0
@@ -1795,10 +1795,10 @@ rs6000_emit_move (dest, source, mode)
          /* Darwin uses a special PIC legitimizer.  */
          if (DEFAULT_ABI == ABI_DARWIN && flag_pic)
            {
+#if TARGET_MACHO
              rtx temp_reg = ((reload_in_progress || reload_completed)
                              ? operands[0] : NULL);
 
-#if TARGET_MACHO
              operands[1] =
                rs6000_machopic_legitimize_pic_address (operands[1], mode,
                                                                    temp_reg);
@@ -2451,8 +2451,15 @@ rs6000_va_start (stdarg_p, valist, nextarg)
   n_fpr = current_function_args_info.fregno - FP_ARG_MIN_REG;
 
   if (TARGET_DEBUG_ARG)
-    fprintf (stderr, "va_start: words = %d, n_gpr = %d, n_fpr = %d\n",
-            words, n_gpr, n_fpr);
+    {
+      fputs ("va_start: words = ", stderr);
+      fprintf (stderr, HOST_WIDE_INT_PRINT_DEC, words);
+      fputs (", n_gpr = ", stderr);
+      fprintf (stderr, HOST_WIDE_INT_PRINT_DEC, n_gpr);
+      fputs (", n_fpr = ", stderr);
+      fprintf (stderr, HOST_WIDE_INT_PRINT_DEC, n_fpr);
+      putc ('\n', stderr);
+    }
 
   t = build (MODIFY_EXPR, TREE_TYPE (gpr), gpr, build_int_2 (n_gpr, 0));
   TREE_SIDE_EFFECTS (t) = 1;
@@ -5866,7 +5873,8 @@ rs6000_emit_prologue ()
      easiest way to get the frame unwind information emitted.  */
   if (current_function_calls_eh_return)
     {
-      int i, regno;
+      unsigned int i, regno;
+
       for (i = 0; ; ++i)
        {
          rtx addr, reg, mem;
@@ -5877,7 +5885,8 @@ rs6000_emit_prologue ()
 
          reg = gen_rtx_REG (reg_mode, regno);
          addr = plus_constant (frame_reg_rtx,
-                               info->ehrd_offset + sp_offset + reg_size * i);
+                               info->ehrd_offset + sp_offset
+                               + reg_size * (int) i);
          mem = gen_rtx_MEM (reg_mode, addr);
          MEM_ALIAS_SET (mem) = rs6000_sr_alias_set;
 
@@ -6123,7 +6132,8 @@ rs6000_emit_epilogue (sibcall)
   /* Load exception handler data registers, if needed.  */
   if (current_function_calls_eh_return)
     {
-      int i, regno;
+      unsigned int i, regno;
+
       for (i = 0; ; ++i)
        {
          rtx addr, mem;
@@ -6133,7 +6143,8 @@ rs6000_emit_epilogue (sibcall)
            break;
 
          addr = plus_constant (frame_reg_rtx,
-                               info->ehrd_offset + sp_offset + reg_size * i);
+                               info->ehrd_offset + sp_offset
+                               + reg_size * (int) i);
          mem = gen_rtx_MEM (reg_mode, addr);
          MEM_ALIAS_SET (mem) = rs6000_sr_alias_set;
 

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index 549f77b8e4df5bc853cc51085b75484c206843c4..28ebfb47b38db17de621c6f4e9848bc59a76fb10 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -8132,7 +8132,7 @@
   "
 {
 #if HOST_BITS_PER_WIDE_INT != 32
-  operands[2] = GEN_INT ((INTVAL (operands[1]) << 32) >> 32);
+  operands[2] = GEN_INT ((INTVAL (operands[1]) ^ 0x80000000) - 0x80000000);
 #endif
   operands[3] = gen_lowpart_common (SImode, operands[0]);
 }")