From: Vladimir N. Makarov <vmakarov@redhat.com>
Date: Mon, 14 Aug 2023 00:54:58 +0000 (-0400)
Subject: [LRA]: Fix asserts for output stack pointer reloads
X-Git-Tag: basepoints/gcc-15~6955
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed6603fd103dc2b15943b391ac061e0172d22956;p=thirdparty%2Fgcc.git

[LRA]: Fix asserts for output stack pointer reloads

The patch implementing output stack pointer reloads contained superfluous
asserts.  The patch makes them useful.

gcc/ChangeLog:

	* lra-constraints.cc (curr_insn_transform): Set done_p up and
	check it on true after processing output stack pointer reload.
---

diff --git a/gcc/lra-constraints.cc b/gcc/lra-constraints.cc
index 26239908747d..8d9443adeb64 100644
--- a/gcc/lra-constraints.cc
+++ b/gcc/lra-constraints.cc
@@ -4852,6 +4852,7 @@ curr_insn_transform (bool check_only_p)
 	    && SET_DEST (set) == stack_pointer_rtx)
 	  {
 	    lra_assert (!done_p);
+	    done_p = true;
 	    curr_id->sp_offset = 0;
 	    lra_insn_recog_data_t id = lra_get_insn_recog_data (insn);
 	    id->sp_offset = sp_offset;
@@ -4860,7 +4861,7 @@ curr_insn_transform (bool check_only_p)
 		       "            Moving sp offset from insn %u to %u\n",
 		       INSN_UID (curr_insn), INSN_UID (insn));
 	  }
-      lra_assert (!done_p);
+      lra_assert (done_p);
     }
   return change_p;
 }