tree-optimization/121756 - handle irreducible regions when sinking

The sinking code currently does not heuristically avoid placing
code into an irreducible region in the same way it avoids placing
into a deeper loop nest.  Critically for the PR we may not insert
a VDEF into a irreducible region that does not contain a virtual
definition.  The following adds the missing heuristic and also
a stop-gap for the VDEF issue - since we cannot determine
validity inside an irreducible region we have to reject any
VDEF movement with destination inside such region, even when
it originates there.  In particular irreducible sub-cycles are
not tracked separately and can cause issues.

I chose to not complicate the already partly incomplete assert
but prune it down to essentials.

	PR tree-optimization/121756
	* tree-ssa-sink.cc (select_best_block): Avoid irreducible
	regions in otherwise same loop depth.
	(statement_sink_location): When sinking a VDEF, never place
	that into an irreducible region.

	* gcc.dg/torture/pr121756.c: New testcase.

1 files changed, 30 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/torture/pr121756.c b/gcc/testsuite/gcc.dg/torture/pr121756.c
new file mode 100644
index 0000000..37c5c50
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr121756.c
@@ -0,0 +1,30 @@
+/* { dg-do compile } */
+
+int a, b, *c = &b;
+static void g(int i) {
+  int d = 0, e, f[] = {a}, j = a;
+  e = b;
+  if (e - i)
+    return;
+  a = 0;
+h:
+  if (e) {
+    e = j;
+    if (f[3])
+      goto k;
+    goto h;
+  }
+  while (1) {    d = -1;
+    while (1) {
+      if (d - 1 - j < 0)
+        return;
+    k:
+      if (f[1])
+        break;
+    }
+  }
+}
+int main() {
+  g(1);
+  return 0;
+}