]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
aarch64: Fix fma steering when rename fails [PR120119]
authorAndrew Pinski <quic_apinski@quicinc.com>
Tue, 22 Jul 2025 17:26:54 +0000 (10:26 -0700)
committerAndrew Pinski <quic_apinski@quicinc.com>
Sat, 26 Jul 2025 18:21:34 +0000 (11:21 -0700)
Regrename can fail in some case and `insn_rr[INSN_UID (insn)].op_info`
will be null. The FMA steering code was not expecting the failure to happen.
This started to happen after early RA was added but it has been a latent bug
before that.

Build and tested for aarch64-linux-gnu.

PR target/120119

gcc/ChangeLog:

* config/aarch64/cortex-a57-fma-steering.cc (func_fma_steering::analyze):
Skip if renaming fails.

gcc/testsuite/ChangeLog:

* g++.dg/torture/pr120119-1.C: New test.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
(cherry picked from commit 66c879571ab1fbdb4b119b8b0a1a30ebc7160057)

gcc/config/aarch64/cortex-a57-fma-steering.cc
gcc/testsuite/g++.dg/torture/pr120119-1.C [new file with mode: 0644]

index fd6da66d855e36cd023b5343c392cd2f7f062d1b..f7675bed13d907ee3b35cd3949f0fbaac445fc41 100644 (file)
@@ -948,6 +948,11 @@ func_fma_steering::analyze ()
 
          /* Search the chain where this instruction is (one of) the root.  */
          dest_op_info = insn_rr[INSN_UID (insn)].op_info;
+
+         /* Register rename could fail. */
+         if (!dest_op_info)
+           continue;
+
          dest_regno = REGNO (SET_DEST (PATTERN (insn)));
          for (i = 0; i < dest_op_info->n_chains; i++)
            {
diff --git a/gcc/testsuite/g++.dg/torture/pr120119-1.C b/gcc/testsuite/g++.dg/torture/pr120119-1.C
new file mode 100644 (file)
index 0000000..1206feb
--- /dev/null
@@ -0,0 +1,15 @@
+// { dg-do compile }
+// { dg-additional-options "-mcpu=cortex-a57" { target aarch64*-*-* } }
+
+// PR target/120119
+
+struct a {
+  float operator()(int b, int c) { return d[c * 4 + b]; }
+  float *d;
+};
+float e(float *);
+auto f(a b) {
+  float g[]{b(1, 1), b(2, 1), b(3, 1), b(1, 2), b(2, 2), b(3, 2), b(1, 3),
+            b(2, 3), b(3, 3), b(3, 2), b(1, 3), b(2, 3), b(3, 3)};
+  return b.d[0] * e(g);
+}