From: Andrew Pinski <andrew.pinski@oss.qualcomm.com>
Date: Fri, 13 Feb 2026 19:30:53 +0000 (-0800)
Subject: complex-lowering: Fix up extraction with VCEs [PR124086]
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f7677c695f26298031a1f40719bc10ca376d10bc;p=thirdparty%2Fgcc.git

complex-lowering: Fix up extraction with VCEs [PR124086]

This was an oversight on my part when I converted extract_component
to use gimple_build_assign instead of force_gimple_operand_gsi.
I had provided a special case for VCE of a SSA_NAME but I missed
that the same issue would be caused with invariants too and invariants
would show up with VCE; I assumed they would be folded.
This changes the check to include invariants too.

Bootstrapped and tested on x86_64-linux-gnu.

	PR tree-optimization/124086

gcc/ChangeLog:

	* tree-complex.cc (extract_component): Extend the check
	for ssa names for VCE to include invariants.

gcc/testsuite/ChangeLog:

	* c-c++-common/torture/pr124086-1.c: New test.
	* g++.dg/torture/pr124086-1.C: New test.

Signed-off-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>
---

diff --git a/gcc/testsuite/c-c++-common/torture/pr124086-1.c b/gcc/testsuite/c-c++-common/torture/pr124086-1.c
new file mode 100644
index 00000000000..6bca0431e4c
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/torture/pr124086-1.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "" } */
+/* PR tree-optimization/124086 */
+
+
+typedef __attribute__((__vector_size__(2*sizeof(long double)))) int V;
+int j;
+
+void
+foo()
+{
+  V v = (V){0, -0xd};
+  _Complex long double t =  *(_Complex long double *)&v;
+  j = __real__ t;
+}
diff --git a/gcc/testsuite/g++.dg/torture/pr124086-1.C b/gcc/testsuite/g++.dg/torture/pr124086-1.C
new file mode 100644
index 00000000000..f01bd35ce3c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/pr124086-1.C
@@ -0,0 +1,14 @@
+// { dg-do compile { target lp64 } }
+
+// PR tree-optimization/124086
+
+int j;
+int *v;
+void
+foo()
+{
+  int t;
+  v = &t;
+  auto t1 = __builtin_bit_cast(_Complex int, v);
+  j = __real__ t1;
+}
diff --git a/gcc/tree-complex.cc b/gcc/tree-complex.cc
index 90401925f26..0937cb442bf 100644
--- a/gcc/tree-complex.cc
+++ b/gcc/tree-complex.cc
@@ -664,14 +664,18 @@ extract_component (gimple_stmt_iterator *gsi, tree t, bool imagpart_p,
       }
 
     case VIEW_CONVERT_EXPR:
-      /* Getting the real/imag parts of a VCE of a ssa-name requires
-	 to place the complex into a ssa name before getting the
-	 2 parts.
+      /* Getting the real/imag parts of a VCE of a ssa-name
+         (or gimple invariant) requires to place the complex
+	 into a ssa name before getting the 2 parts.
 	 As `IMAGPART_EXPR<VIEW_CONVERT_EXPR<a_BN>>` is an invalid
 	 gimple. This will only show up when gimplifying it.
 	 Note this creates an extra copy.  The call to
 	 force_gimple_operand_gsi would create one too.  */
-      if (TREE_CODE (TREE_OPERAND (t, 0)) == SSA_NAME)
+      tree expr;
+      expr = TREE_OPERAND (t, 0);
+      if (TREE_CODE (expr) == SSA_NAME
+	  || (is_gimple_min_invariant (expr)
+	      && TREE_CODE (expr) != STRING_CST))
 	{
 	  gcc_assert (gimple_p);
 	  tree new_cplx = make_ssa_name (TREE_TYPE (t));