function: Call do_pending_stack_adjust in assign_parms [PR117296]

Message ID ZyHgvcuRCFC7ANNK@tucnak
State New
Headers
Series function: Call do_pending_stack_adjust in assign_parms [PR117296] |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gcc_build--master-arm success Build passed
linaro-tcwg-bot/tcwg_gcc_check--master-arm fail Patch failed to apply
linaro-tcwg-bot/tcwg_gcc_build--master-aarch64 fail Patch failed to apply

Commit Message

Jakub Jelinek Oct. 30, 2024, 7:31 a.m. UTC
  Hi!

Functions called by assign_parms call emit_block_move in two places,
so on some targets can be expanded as calls and can result in pending
stack adjustment.

Now, during expansion we normally call do_pending_stack_adjust at the end
of expansion of each basic block or before emitting code that will branch
and/or has labels, and when emitting labels we assert that there are no
pending stack adjustments.

assign_parms is expanded before the first basic block and if the first
basic block starts with a label and at least one of those emit_block_move
calls resulted in the need of pending stack adjustments, we ICE when
emitting that label.

THe following patch fixes that by calling do_pending_stack_adjust after
after the assign_parms potential emit_block_move calls.

Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?

2024-10-30  Jakub Jelinek  <jakub@redhat.com>

	PR target/117296
	* function.cc (assign_parms): Call do_pending_stack_adjust.

	* gcc.target/i386/pr117296.c: New test.


	Jakub
  

Comments

Eric Botcazou Oct. 30, 2024, 7:45 a.m. UTC | #1
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
> 
> 2024-10-30  Jakub Jelinek  <jakub@redhat.com>
> 
> 	PR target/117296
> 	* function.cc (assign_parms): Call do_pending_stack_adjust.
> 
> 	* gcc.target/i386/pr117296.c: New test.

Looks good to me.
  

Patch

--- gcc/function.cc.jj	2024-10-25 10:00:29.457768014 +0200
+++ gcc/function.cc	2024-10-29 17:58:46.221000567 +0100
@@ -3747,6 +3747,8 @@  assign_parms (tree fndecl)
      now that all parameters have been copied out of hard registers.  */
   emit_insn (all.first_conversion_insn);
 
+  do_pending_stack_adjust ();
+
   /* Estimate reload stack alignment from scalar return mode.  */
   if (SUPPORTS_STACK_ALIGNMENT)
     {
--- gcc/testsuite/gcc.target/i386/pr117296.c.jj	2024-10-29 18:00:51.424261306 +0100
+++ gcc/testsuite/gcc.target/i386/pr117296.c	2024-10-29 18:01:45.434511045 +0100
@@ -0,0 +1,12 @@ 
+/* PR target/117296 */
+/* { dg-do compile } */
+/* { dg-options "-O1" } */
+/* { dg-additional-options "-mtune=k6 -mstringop-strategy=libcall -ffloat-store" { target ia32 } } */
+
+int x;
+
+void
+foo (_Complex double c)
+{
+ lab:;
+}