openmp: Fix OpenMP expansion of scope with non-fallthrugh body [PR102415]

I've used function for omp single expansion also for omp scope.  That is
mostly ok, but as the testcase shows, there is one important difference.
The omp single expansion always has a fallthru body, because it during
omp lowering expands the body as if wrapped in an if to simulate that
one thread runs the body and others wait (unless nowait) until it completes
and continue.  omp scope is invoked by all threads and so if the body
is non-fallthru, the barrier (unless nowait) at the end will not be reached
by any of the threads.

The following patch fixes that by handling the case where cfg pass optimizes
away the exit bb of it gracefully.

2021-09-22  Jakub Jelinek  <jakub@redhat.com>

	PR middle-end/102415
	* omp-expand.c (expand_omp_single): If region->exit is NULL,
	assert region->entry is GIMPLE_OMP_SCOPE region and return.

	* c-c++-common/gomp/scope-3.c: New test.
This commit is contained in:
Jakub Jelinek
2021-09-22 09:32:32 +02:00
parent 059b819e3c
commit c4432b2776
2 changed files with 29 additions and 2 deletions

View File

@@ -8433,11 +8433,17 @@ expand_omp_single (struct omp_region *region)
exit_bb = region->exit;
si = gsi_last_nondebug_bb (entry_bb);
gcc_assert (gimple_code (gsi_stmt (si)) == GIMPLE_OMP_SINGLE
|| gimple_code (gsi_stmt (si)) == GIMPLE_OMP_SCOPE);
enum gimple_code code = gimple_code (gsi_stmt (si));
gcc_assert (code == GIMPLE_OMP_SINGLE || code == GIMPLE_OMP_SCOPE);
gsi_remove (&si, true);
single_succ_edge (entry_bb)->flags = EDGE_FALLTHRU;
if (exit_bb == NULL)
{
gcc_assert (code == GIMPLE_OMP_SCOPE);
return;
}
si = gsi_last_nondebug_bb (exit_bb);
if (!gimple_omp_return_nowait_p (gsi_stmt (si)))
{

View File

@@ -0,0 +1,21 @@
/* PR middle-end/102415 */
extern
#ifdef __cplusplus
"C"
#endif
void abort ();
void
foo (void)
{
#pragma omp scope nowait
abort ();
}
void
bar (void)
{
#pragma omp scope
abort ();
}