diff mbox series

PR target/89828 Inernal compiler error on -fno-omit-frame-pointer

Message ID 20230105130553.3434596-1-ysato@users.sourceforge.jp
State Accepted
Headers
Series PR target/89828 Inernal compiler error on -fno-omit-frame-pointer |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Yoshinori Sato Jan. 5, 2023, 1:05 p.m. UTC 
  The problem was caused by an erroneous note about creating a stack frame,
which caused the cur_cfa reg to fail to assert with a value other than
the frame pointer.

This fix will generate notes that correctly update cur_cfa.

gcc/config/rx/
	* rx.cc (add_pop_cfi_notes): Release the frame pointer if it is used.
	(rx_expand_prologue): Redesigned stack pointer and frame pointer update process.

Signed-off-by: Yoshinori Sato <ysato@users.sourceforge.jp>
---
 gcc/config/rx/rx.cc | 50 +++++++++++++++------------------------------
 1 file changed, 17 insertions(+), 33 deletions(-)

Comments

Jeff Law March 11, 2023, 4:59 p.m. UTC | #1 
On 1/5/23 06:05, Yoshinori Sato wrote:
> Subject:
> [PATCH] PR target/89828 Inernal compiler error on -fno-omit-frame-pointer
> From:
> Yoshinori Sato <ysato@users.sourceforge.jp>
> Date:
> 1/5/23, 06:05
> 
> To:
> gcc-patches@gcc.gnu.org
> CC:
> Yoshinori Sato <ysato@users.sourceforge.jp>
> 
> 
> The problem was caused by an erroneous note about creating a stack frame,
> which caused the cur_cfa reg to fail to assert with a value other than
> the frame pointer.
> 
> This fix will generate notes that correctly update cur_cfa.
> 
> gcc/config/rx/
> 	* rx.cc (add_pop_cfi_notes): Release the frame pointer if it is used.
> 	(rx_expand_prologue): Redesigned stack pointer and frame pointer update process.
This seems to be taking a step backwards in that it's causing multiple 
internal errors when compiling newlib.

The failures are here:

static void
dwarf2out_frame_debug_adjust_cfa (rtx pat)
{
   rtx src, dest;

   gcc_assert (GET_CODE (pat) == SET);
   dest = XEXP (pat, 0);
   src = XEXP (pat, 1);

   switch (GET_CODE (src))
     {
     case PLUS:
       gcc_assert (cur_cfa->reg == XEXP (src, 0));
       cur_cfa->offset -= rtx_to_poly_int64 (XEXP (src, 1));
       break;

     case REG:
       break;

     default:
       gcc_unreachable ();
     }

   cur_cfa->reg = dwf_cfa_reg (dest);
   gcc_assert (cur_cfa->indirect == 0);
}

In particular it's tripping the gcc_assert in the PLUS case above. 
Which is a pretty good indicator the contents of the note and the insn's 
pattern are different WRT the expected registers.

jeff
diff mbox series

Patch

diff --git a/gcc/config/rx/rx.cc b/gcc/config/rx/rx.cc
index 412a3a354b0..8c246d42cd8 100644
--- a/gcc/config/rx/rx.cc
+++ b/gcc/config/rx/rx.cc
@@ -1647,16 +1647,20 @@  mark_frame_related (rtx insn)
 static void
 add_pop_cfi_notes (rtx_insn *insn, unsigned int high, unsigned int low)
 {
-  rtx t = plus_constant (Pmode, stack_pointer_rtx,
-                        (high - low + 1) * UNITS_PER_WORD);
+  rtx src = stack_pointer_rtx;
+  rtx t;
+  for (unsigned int i = low; i <= high; i++)
+    {
+      add_reg_note (insn, REG_CFA_RESTORE, gen_rtx_REG (word_mode, i));
+      if (i == FRAME_POINTER_REGNUM)
+	src = frame_pointer_rtx;
+    }
+  t = plus_constant (Pmode, src, (high - low + 1) * UNITS_PER_WORD);
   t = gen_rtx_SET (stack_pointer_rtx, t);
   add_reg_note (insn, REG_CFA_ADJUST_CFA, t);
   RTX_FRAME_RELATED_P (insn) = 1;
-  for (unsigned int i = low; i <= high; i++)
-    add_reg_note (insn, REG_CFA_RESTORE, gen_rtx_REG (word_mode, i));
 }
 
-
 static bool
 ok_for_max_constant (HOST_WIDE_INT val)
 {
@@ -1815,37 +1819,17 @@  rx_expand_prologue (void)
 	}
     }
 
-  /* If needed, set up the frame pointer.  */
-  if (frame_pointer_needed)
-    gen_safe_add (frame_pointer_rtx, stack_pointer_rtx,
-		  GEN_INT (- (HOST_WIDE_INT) frame_size), true);
-
-  /* Allocate space for the outgoing args.
-     If the stack frame has not already been set up then handle this as well.  */
-  if (stack_size)
+  if (stack_size || frame_size)
     {
-      if (frame_size)
-	{
-	  if (frame_pointer_needed)
-	    gen_safe_add (stack_pointer_rtx, frame_pointer_rtx,
-			  GEN_INT (- (HOST_WIDE_INT) stack_size), true);
-	  else
-	    gen_safe_add (stack_pointer_rtx, stack_pointer_rtx,
-			  GEN_INT (- (HOST_WIDE_INT) (frame_size + stack_size)),
-			  true);
-	}
-      else
-	gen_safe_add (stack_pointer_rtx, stack_pointer_rtx,
-		      GEN_INT (- (HOST_WIDE_INT) stack_size), true);
+      gen_safe_add (stack_pointer_rtx, stack_pointer_rtx,
+		    GEN_INT (- (HOST_WIDE_INT) (stack_size + frame_size)),
+		    true);
     }
-  else if (frame_size)
+  if (frame_pointer_needed)
     {
-      if (! frame_pointer_needed)
-	gen_safe_add (stack_pointer_rtx, stack_pointer_rtx,
-		      GEN_INT (- (HOST_WIDE_INT) frame_size), true);
-      else
-	gen_safe_add (stack_pointer_rtx, frame_pointer_rtx, NULL_RTX,
-		      false /* False because the epilogue will use the FP not the SP.  */);
+      gen_safe_add (frame_pointer_rtx, stack_pointer_rtx,
+		    GEN_INT ((HOST_WIDE_INT) stack_size),
+		    true);
     }
 }