Message ID | ZhTiNYvJGUSLmQZf@tucnak |
---|---|
State | New |
Headers | show |
Series | bitint: Don't move debug stmts from before returns_twice calls [PR114628] | expand |
On Tue, 9 Apr 2024, Jakub Jelinek wrote: > Hi! > > Debug stmts are allowed by the verifier before the returns_twice calls. Huh, interesting ;) > More importantly, they don't have a lhs, so the current handling of > arg_stmts statements to force them on the edges ICEs. > > The following patch just keeps them where they were before. > > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? OK. Richard. > 2024-04-09 Jakub Jelinek <jakub@redhat.com> > > PR middle-end/114628 > * gimple-lower-bitint.cc (gimple_lower_bitint): Keep debug stmts > before returns_twice calls as is, don't push them into arg_stmts > vector/move to edges. > > * gcc.dg/bitint-105.c: New test. > > --- gcc/gimple-lower-bitint.cc.jj 2024-04-04 10:46:52.698026863 +0200 > +++ gcc/gimple-lower-bitint.cc 2024-04-08 15:42:19.719892644 +0200 > @@ -7172,8 +7172,13 @@ gimple_lower_bitint (void) > gimple_stmt_iterator gsi = gsi_after_labels (gimple_bb (stmt)); > while (gsi_stmt (gsi) != stmt) > { > - arg_stmts.safe_push (gsi_stmt (gsi)); > - gsi_remove (&gsi, false); > + if (is_gimple_debug (gsi_stmt (gsi))) > + gsi_next (&gsi); > + else > + { > + arg_stmts.safe_push (gsi_stmt (gsi)); > + gsi_remove (&gsi, false); > + } > } > gimple *g; > basic_block bb = NULL; > --- gcc/testsuite/gcc.dg/bitint-105.c.jj 2024-04-08 16:00:07.843630530 +0200 > +++ gcc/testsuite/gcc.dg/bitint-105.c 2024-04-08 15:49:28.687175492 +0200 > @@ -0,0 +1,29 @@ > +/* PR middle-end/114628 */ > +/* { dg-do compile { target bitint } } */ > +/* { dg-options "-O2 -g" } */ > + > +int foo (int); > +#if __BITINT_MAXWIDTH__ >= 129 > +__attribute__((returns_twice)) int bar (_BitInt(129) x); > + > +void > +baz (int x, _BitInt(129) y) > +{ > + void *q[] = { &&l1, &&l2 }; > +l2: > + x = foo (foo (3)); > + bar (y); > + goto *q[x & 1]; > +l1:; > +} > + > +void > +qux (int x, _BitInt(129) y) > +{ > + void *q[] = { &&l1, &&l2 }; > +l2: > + x = foo (foo (3)); > + bar (y); > +l1:; > +} > +#endif > > Jakub > >
--- gcc/gimple-lower-bitint.cc.jj 2024-04-04 10:46:52.698026863 +0200 +++ gcc/gimple-lower-bitint.cc 2024-04-08 15:42:19.719892644 +0200 @@ -7172,8 +7172,13 @@ gimple_lower_bitint (void) gimple_stmt_iterator gsi = gsi_after_labels (gimple_bb (stmt)); while (gsi_stmt (gsi) != stmt) { - arg_stmts.safe_push (gsi_stmt (gsi)); - gsi_remove (&gsi, false); + if (is_gimple_debug (gsi_stmt (gsi))) + gsi_next (&gsi); + else + { + arg_stmts.safe_push (gsi_stmt (gsi)); + gsi_remove (&gsi, false); + } } gimple *g; basic_block bb = NULL; --- gcc/testsuite/gcc.dg/bitint-105.c.jj 2024-04-08 16:00:07.843630530 +0200 +++ gcc/testsuite/gcc.dg/bitint-105.c 2024-04-08 15:49:28.687175492 +0200 @@ -0,0 +1,29 @@ +/* PR middle-end/114628 */ +/* { dg-do compile { target bitint } } */ +/* { dg-options "-O2 -g" } */ + +int foo (int); +#if __BITINT_MAXWIDTH__ >= 129 +__attribute__((returns_twice)) int bar (_BitInt(129) x); + +void +baz (int x, _BitInt(129) y) +{ + void *q[] = { &&l1, &&l2 }; +l2: + x = foo (foo (3)); + bar (y); + goto *q[x & 1]; +l1:; +} + +void +qux (int x, _BitInt(129) y) +{ + void *q[] = { &&l1, &&l2 }; +l2: + x = foo (foo (3)); + bar (y); +l1:; +} +#endif