https://gcc.gnu.org/g:5104fe4c7808a66ed3041a8da8e4720585cc8a1f
commit r15-2101-g5104fe4c7808a66ed3041a8da8e4720585cc8a1f
Author: Jakub Jelinek <ja...@redhat.com>
Date: Wed Jul 17 17:32:21 2024 +0200
bitint: Use gsi_insert_on_edge rather than gsi_insert_on_edge_immediate
[PR115887]
The following testcase ICEs on x86_64-linux, because we try to
gsi_insert_on_edge_immediate a statement on an edge which already has
statements queued with gsi_insert_on_edge, and the deferral has been
intentional so that we don't need to deal with cfg changes in between.
The following patch uses the delayed insertion as well.
2024-07-17 Jakub Jelinek <ja...@redhat.com>
PR middle-end/115887
* gimple-lower-bitint.cc (gimple_lower_bitint): Use
gsi_insert_on_edge
instead of gsi_insert_on_edge_immediate and set edge_insertions to
true.
* gcc.dg/bitint-108.c: New test.
Diff:
---
gcc/gimple-lower-bitint.cc | 3 ++-
gcc/testsuite/gcc.dg/bitint-108.c | 38 ++++++++++++++++++++++++++++++++++++++
2 files changed, 40 insertions(+), 1 deletion(-)
diff --git a/gcc/gimple-lower-bitint.cc b/gcc/gimple-lower-bitint.cc
index f955f3eabd9b..b10593035c36 100644
--- a/gcc/gimple-lower-bitint.cc
+++ b/gcc/gimple-lower-bitint.cc
@@ -6903,7 +6903,8 @@ gimple_lower_bitint (void)
if (stmt_ends_bb_p (stmt))
{
edge e = find_fallthru_edge (gsi_bb (gsi)->succs);
- gsi_insert_on_edge_immediate (e, g);
+ gsi_insert_on_edge (e, g);
+ edge_insertions = true;
}
else
gsi_insert_after (&gsi, g, GSI_SAME_STMT);
diff --git a/gcc/testsuite/gcc.dg/bitint-108.c
b/gcc/testsuite/gcc.dg/bitint-108.c
new file mode 100644
index 000000000000..170d4bdf09ca
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/bitint-108.c
@@ -0,0 +1,38 @@
+/* PR middle-end/115887 */
+/* { dg-do compile { target { bitint && int128 } } } */
+/* { dg-options "-O -fnon-call-exceptions -finstrument-functions -w" } */
+
+float f;
+#if __BITINT_MAXWIDTH__ >= 1024
+#define N1024 1024
+#define N127 127
+#define N256 256
+#else
+#define N1024 64
+#define N127 64
+#define N256 64
+#endif
+
+_BitInt(N1024) a;
+
+static inline void
+bar (_BitInt(N127) b, _BitInt(N256) c, int,
+ int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int,
+ int *)
+{
+ b %= 0;
+ do
+ c -= *(short *) 0;
+ while (__builtin_add_overflow_p (a, 0, 0));
+ __int128 d = b + c + f;
+}
+
+void
+foo (void)
+{
+ int x;
+ bar (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, &x);
+ while (x)
+ ;
+}
