[gcc r13-10157] tree-optimization/121844 - IVOPTs and asm goto in latch

[Richard Biener]

https://gcc.gnu.org/g:45b657c183f5c6e4f59c86d003d7674583dc19aa

commit r13-10157-g45b657c183f5c6e4f59c86d003d7674583dc19aa
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Sep 8 14:32:38 2025 +0200

    tree-optimization/121844 - IVOPTs and asm goto in latch
    
    When there's an asm goto in the latch of a loop we may not use
    IP_END IVs since instantiating those would (need to) split the
    latch edge which in turn invalidates IP_NORMAL position handling.
    This is a revision of the PR107997 fix.
    
            PR tree-optimization/107997
            PR tree-optimization/121844
            * tree-ssa-loop-ivopts.cc (allow_ip_end_pos_p): Do not allow
            IP_END for latches ending with a control stmt.
            (create_new_iv): Do not split the latch edge, instead assert
            that's not necessary.
    
            * gcc.dg/torture/pr121844.c: New testcase.
    
    (cherry picked from commit 00cd34b1046076a3272f8e8e85c97dc8f4d2ea44)

Diff:
---
 gcc/testsuite/gcc.dg/torture/pr121844.c | 16 ++++++++++++++++
 gcc/tree-ssa-loop-ivopts.cc             | 13 +++++++------
 2 files changed, 23 insertions(+), 6 deletions(-)

diff --git a/gcc/testsuite/gcc.dg/torture/pr121844.c b/gcc/testsuite/gcc.dg/torture/pr121844.c
new file mode 100644
index 000000000000..149d5eaab642
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr121844.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+
+typedef unsigned long a;
+int b[] = {};
+int **c;
+short d(a *e, int f)
+{
+  *c = &f;
+  for (;;)
+    asm goto("" : : : : g);
+  for (; f; f--) {
+    asm goto("" : : : : g);
+  g:
+    *e ^= b[f + 1];
+  }
+}
diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc
index 78d0f6544d8a..81d66aedb597 100644
--- a/gcc/tree-ssa-loop-ivopts.cc
+++ b/gcc/tree-ssa-loop-ivopts.cc
@@ -3233,6 +3233,12 @@ add_candidate_1 (struct ivopts_data *data, tree base, tree step, bool important,
 static bool
 allow_ip_end_pos_p (class loop *loop)
 {
+  /* Do not allow IP_END when creating the IV would need to split the
+     latch edge as that makes all IP_NORMAL invalid.  */
+  auto pos = gsi_last_bb (ip_end_pos (loop));
+  if (!gsi_end_p (pos) && stmt_ends_bb_p (gsi_stmt (pos)))
+    return false;
+
   if (!ip_normal_pos (loop))
     return true;
 
@@ -7237,12 +7243,7 @@ create_new_iv (struct ivopts_data *data, struct iv_cand *cand)
     case IP_END:
       incr_pos = gsi_last_bb (ip_end_pos (data->current_loop));
       after = true;
-      if (!gsi_end_p (incr_pos) && stmt_ends_bb_p (gsi_stmt (incr_pos)))
-	{
-	  edge e = find_edge (gsi_bb (incr_pos), data->current_loop->header);
-	  incr_pos = gsi_after_labels (split_edge (e));
-	  after = false;
-	}
+      gcc_assert (gsi_end_p (incr_pos) || !stmt_ends_bb_p (gsi_stmt (incr_pos)));
       break;
 
     case IP_AFTER_USE: