OpenMP: Add strictly nested API call check [PR102972]

The teams construct only permits omp_get_num_teams and omp_get_team_num
as API call in strictly nested regions - check for it.

Additionally, for Fortran, using DECL_NAME does not show the mangled
name, hence, DECL_ASSEMBLER_NAME had to be used to.

Finally, 'target device(ancestor:1)' wrongly rejected non-API calls
as well.

	PR middle-end/102972
gcc/ChangeLog:

	* omp-low.c (omp_runtime_api_call): Use DECL_ASSEMBLER_NAME to get
	internal Fortran name; new permit_num_teams arg to permit
	omp_get_num_teams and omp_get_team_num.
	(scan_omp_1_stmt): Update call to it, add missing call for
	reverse offload, and check for strictly nested API calls in teams.

gcc/testsuite/ChangeLog:

	* c-c++-common/gomp/target-device-ancestor-3.c: Add non-API
	routine test.
	* gfortran.dg/gomp/order-6.f90: Add missing bind(C).
	* c-c++-common/gomp/teams-3.c: New test.
	* gfortran.dg/gomp/teams-3.f90: New test.
	* gfortran.dg/gomp/teams-4.f90: New test.

libgomp/ChangeLog:
	* testsuite/libgomp.c-c++-common/icv-3.c: Nest API calls inside
	parallel construct.
	* testsuite/libgomp.c-c++-common/icv-4.c: Likewise.
	* testsuite/libgomp.c/target-3.c: Likewise.
	* testsuite/libgomp.c/target-5.c: Likewise.
	* testsuite/libgomp.c/target-6.c: Likewise.
	* testsuite/libgomp.c/target-teams-1.c: Likewise.
	* testsuite/libgomp.c/teams-1.c: Likewise.
	* testsuite/libgomp.c/thread-limit-2.c: Likewise.
	* testsuite/libgomp.c/thread-limit-3.c: Likewise.
	* testsuite/libgomp.c/thread-limit-4.c: Likewise.
	* testsuite/libgomp.c/thread-limit-5.c: Likewise.
	* testsuite/libgomp.fortran/icv-3.f90: Likewise.
	* testsuite/libgomp.fortran/icv-4.f90: Likewise.
	* testsuite/libgomp.fortran/teams1.f90: Likewise.
This commit is contained in:
Tobias Burnus 2021-10-30 23:45:32 +02:00
parent 90ba129c9d
commit 948d461954
20 changed files with 348 additions and 79 deletions

View File

@ -3942,7 +3942,8 @@ omp_runtime_api_call (const_tree fndecl)
"target_memcpy",
"target_memcpy_rect",
NULL,
/* Now omp_* calls that are available as omp_* and omp_*_. */
/* Now omp_* calls that are available as omp_* and omp_*_; however, the
DECL_NAME is always omp_* without tailing underscore. */
"capture_affinity",
"destroy_allocator",
"destroy_lock",
@ -3994,7 +3995,8 @@ omp_runtime_api_call (const_tree fndecl)
"unset_lock",
"unset_nest_lock",
NULL,
/* And finally calls available as omp_*, omp_*_ and omp_*_8_. */
/* And finally calls available as omp_*, omp_*_ and omp_*_8_; however,
as DECL_NAME only omp_* and omp_*_8 appear. */
"display_env",
"get_ancestor_thread_num",
"init_allocator",
@ -4024,11 +4026,7 @@ omp_runtime_api_call (const_tree fndecl)
size_t len = strlen (omp_runtime_apis[i]);
if (strncmp (name + 4, omp_runtime_apis[i], len) == 0
&& (name[4 + len] == '\0'
|| (mode > 0
&& name[4 + len] == '_'
&& (name[4 + len + 1] == '\0'
|| (mode > 1
&& strcmp (name + 4 + len + 1, "8_") == 0)))))
|| (mode > 1 && strcmp (name + 4 + len, "_8") == 0)))
return true;
}
return false;
@ -4095,9 +4093,26 @@ scan_omp_1_stmt (gimple_stmt_iterator *gsi, bool *handled_ops_p,
"OpenMP runtime API call %qD in a region with "
"%<order(concurrent)%> clause", fndecl);
}
if (gimple_code (ctx->stmt) == GIMPLE_OMP_TEAMS
&& omp_runtime_api_call (fndecl)
&& ((IDENTIFIER_LENGTH (DECL_NAME (fndecl))
!= strlen ("omp_get_num_teams"))
|| strcmp (IDENTIFIER_POINTER (DECL_NAME (fndecl)),
"omp_get_num_teams") != 0)
&& ((IDENTIFIER_LENGTH (DECL_NAME (fndecl))
!= strlen ("omp_get_team_num"))
|| strcmp (IDENTIFIER_POINTER (DECL_NAME (fndecl)),
"omp_get_team_num") != 0))
{
remove = true;
error_at (gimple_location (stmt),
"OpenMP runtime API call %qD strictly nested in a "
"%<teams%> region", fndecl);
}
if (gimple_code (ctx->stmt) == GIMPLE_OMP_TARGET
&& (gimple_omp_target_kind (ctx->stmt)
== GF_OMP_TARGET_KIND_REGION))
== GF_OMP_TARGET_KIND_REGION)
&& omp_runtime_api_call (fndecl))
{
tree tgt_clauses = gimple_omp_target_clauses (ctx->stmt);
tree c = omp_find_clause (tgt_clauses, OMP_CLAUSE_DEVICE);

View File

@ -3,6 +3,7 @@ extern "C" {
#endif
int omp_get_num_teams (void);
int bar (void);
#ifdef __cplusplus
}
@ -22,6 +23,7 @@ foo (void)
#pragma omp target device (ancestor: 1)
{
a = bar (); /* OK */
a = omp_get_num_teams (); /* { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_num_teams\[^\n\r]*' in a region with 'device\\(ancestor\\)' clause" } */
}

View File

@ -0,0 +1,64 @@
/* PR middle-end/102972 */
#ifdef __cplusplus
extern "C" {
#endif
/* From omp.h */
extern int omp_get_num_teams (void);
extern void omp_set_num_teams (int);
extern int omp_get_team_size (int);
extern int omp_get_team_num (void);
extern int omp_get_max_teams (void);
extern void omp_set_teams_thread_limit (int);
extern int omp_get_teams_thread_limit (void);
extern int omp_is_initial_device (void);
extern int omp_get_num_threads (void);
#ifdef __cplusplus
}
#endif
void valid ()
{
#pragma omp teams
{
#pragma omp distribute
for (int i = 0; i < 64; i++)
;
int n = omp_get_num_teams ();
if (n >= omp_get_team_num ())
__builtin_abort ();
#pragma omp parallel for
for (int i = 0; i < 64; i++)
if (!omp_is_initial_device () || omp_get_num_threads () < 0)
__builtin_abort ();
#pragma omp loop
for (int i = 0; i < 64; i++)
;
}
}
void invalid_nest ()
{
#pragma omp teams
{
#pragma distribute parallel for simd
for (int i = 0; i < 64; i++)
;
int n = 0;
n += omp_get_team_size (0); /* { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_team_size\[^\n\r]*' strictly nested in a 'teams' region" } */
n += omp_get_num_teams ();
n += omp_get_team_num ();
omp_set_num_teams (n); /* { dg-error "OpenMP runtime API call '\[^\n\r]*omp_set_num_teams\[^\n\r]*' strictly nested in a 'teams' region" } */
n += omp_get_max_teams (); /* { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_max_teams\[^\n\r]*' strictly nested in a 'teams' region" } */
n += omp_get_teams_thread_limit (); /* { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_teams_thread_limit\[^\n\r]*' strictly nested in a 'teams' region" } */
omp_set_teams_thread_limit (n); /* { dg-error "OpenMP runtime API call '\[^\n\r]*omp_set_teams_thread_limit\[^\n\r]*' strictly nested in a 'teams' region" } */
}
}

View File

@ -8,7 +8,7 @@ module m
end
integer function omp_get_num_threads ()
end
integer function omp_target_is_present (x, i)
integer function omp_target_is_present (x, i) bind(c)
import :: c_ptr
type(c_ptr) :: x
integer, value :: i

View File

@ -0,0 +1,65 @@
! PR middle-end/102972
module m
implicit none (type, external)
interface
subroutine omp_set_num_teams (num_teams); integer :: num_teams; end
subroutine omp_set_teams_thread_limit (thread_limit); integer :: thread_limit; end
subroutine omp_set_num_teams_8 (num_teams); integer(8) :: num_teams; end
subroutine omp_set_num_teams_9 (num_teams); integer :: num_teams; end
subroutine omp_set_teams_thread_limit_8 (thread_limit); integer(8) :: thread_limit; end
integer function omp_get_num_teams (); end
integer function omp_get_team_size (level); integer :: level; end
integer function omp_get_team_num (); end
integer function omp_get_max_teams (); end
integer function omp_get_teams_thread_limit (); end
logical function omp_is_initial_device (); end
integer function omp_get_num_threads (); end
end interface
contains
subroutine valid ()
integer :: i, n
!$omp teams
!$omp distribute
do i = 1, 64
end do
n = omp_get_num_teams ()
if (n >= omp_get_team_num ()) &
error stop
!$omp parallel do
do i = 1, 64
if (.not.omp_is_initial_device () .or. omp_get_num_threads () < 0) &
error stop
end do
!$omp loop
do i = 1, 64
end do
!$omp end teams
end
subroutine invalid_nest ()
integer :: i, n
!$omp teams
!$omp distribute parallel do simd
do i = 1, 64
end do
n = 0
n = n + omp_get_team_size (0) ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_team_size\[^\n\r]*' strictly nested in a 'teams' region" }
n = n + omp_get_num_teams ()
n = n + omp_get_team_num ()
call omp_set_num_teams (n) ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_set_num_teams\[^\n\r]*' strictly nested in a 'teams' region" }
call omp_set_num_teams_8 (4_8) ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_set_num_teams_8\[^\n\r]*' strictly nested in a 'teams' region" }
call omp_set_num_teams_9 (4) ! OK - but misnamed user function
n = n + omp_get_max_teams () ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_max_teams\[^\n\r]*' strictly nested in a 'teams' region" }
n = n + omp_get_teams_thread_limit () ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_get_teams_thread_limit\[^\n\r]*' strictly nested in a 'teams' region" }
call omp_set_teams_thread_limit (n) ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_set_teams_thread_limit'\[^\n\r]* strictly nested in a 'teams' region" }
call omp_set_teams_thread_limit_8 (3_8) ! { dg-error "OpenMP runtime API call '\[^\n\r]*omp_set_teams_thread_limit_8'\[^\n\r]* strictly nested in a 'teams' region" }
!$omp end teams
end
end module

View File

@ -0,0 +1,47 @@
! PR middle-end/102972
module m
implicit none (type, external)
! Note: Those are module functions - not an interface
! Hence, they are internally manged to contain the module name!
contains
subroutine omp_set_num_teams (num_teams); integer :: num_teams; end
subroutine omp_set_teams_thread_limit (thread_limit); integer :: thread_limit; end
subroutine omp_set_num_teams_8 (num_teams); integer(8) :: num_teams; end
subroutine omp_set_num_teams_9 (num_teams); integer :: num_teams; end
subroutine omp_set_teams_thread_limit_8 (thread_limit); integer(8) :: thread_limit; end
integer function omp_get_num_teams (); omp_get_num_teams = 0; end
integer function omp_get_team_size (level); integer :: level; omp_get_team_size = 0; end
integer function omp_get_team_num (); omp_get_team_num = 0; end
integer function omp_get_max_teams (); omp_get_max_teams = 0; end
integer function omp_get_teams_thread_limit (); omp_get_teams_thread_limit = 0; end
logical function omp_is_initial_device (); omp_is_initial_device = .true.; end
integer function omp_get_num_threads (); omp_get_num_threads = 0; end
end module
subroutine nest_test ()
use m
implicit none (type, external)
integer :: i, n
!$omp teams
!$omp distribute parallel do simd
do i = 1, 64
end do
n = 0
n = n + omp_get_team_size (0)
n = n + omp_get_num_teams ()
n = n + omp_get_team_num ()
call omp_set_num_teams (n)
call omp_set_num_teams_8 (4_8)
call omp_set_num_teams_9 (4)
n = n + omp_get_max_teams ()
n = n + omp_get_teams_thread_limit ()
call omp_set_teams_thread_limit (n)
call omp_set_teams_thread_limit_8 (3_8)
!$omp end teams
end

View File

@ -18,6 +18,7 @@ main ()
abort ();
#pragma omp teams
{
#pragma omp parallel if(0)
if (omp_get_max_teams () != 7
|| omp_get_teams_thread_limit () != 15
|| omp_get_num_teams () < 1
@ -30,6 +31,7 @@ main ()
}
#pragma omp teams num_teams(5) thread_limit (13)
{
#pragma omp parallel if(0)
if (omp_get_max_teams () != 7
|| omp_get_teams_thread_limit () != 15
|| omp_get_num_teams () != 5
@ -41,6 +43,7 @@ main ()
}
#pragma omp teams num_teams(8) thread_limit (16)
{
#pragma omp parallel if(0)
if (omp_get_max_teams () != 7
|| omp_get_teams_thread_limit () != 15
|| omp_get_num_teams () != 8

View File

@ -26,6 +26,7 @@ main ()
omp_set_teams_thread_limit (12);
#pragma omp teams
{
#pragma omp parallel if(0)
if (omp_get_max_teams () != 6
|| omp_get_teams_thread_limit () != 12
|| omp_get_num_teams () < 1

View File

@ -11,7 +11,9 @@ main ()
abort ();
#pragma omp target if (0)
#pragma omp teams
if (omp_get_level ())
abort ();
#pragma omp distribute dist_schedule(static,1)
for (int i = 0; i < 1; ++i)
if (omp_get_level ())
abort ();
return 0;
}

View File

@ -55,6 +55,7 @@ main ()
abort ();
#pragma omp target if (0)
#pragma omp teams
#pragma omp parallel if(0)
{
omp_sched_t s_c;
int c_c;

View File

@ -47,11 +47,13 @@ main ()
{
#pragma omp teams thread_limit (2)
{
if (omp_in_parallel ()
|| omp_get_level () != 0
|| omp_get_ancestor_thread_num (0) != 0
|| omp_get_ancestor_thread_num (1) != -1)
abort ();
#pragma omp distribute dist_schedule(static,1)
for (int i = 0; i < 1; ++i)
if (omp_in_parallel ()
|| omp_get_level () != 0
|| omp_get_ancestor_thread_num (0) != 0
|| omp_get_ancestor_thread_num (1) != -1)
abort ();
#pragma omp parallel num_threads (2)
{
if (!omp_in_parallel ()

View File

@ -35,76 +35,115 @@ foo (int a, int b, long c, long d)
abort ();
#pragma omp target map(from: err)
#pragma omp teams
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1;
{
err = omp_get_num_teams () < 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1;
}
if (err)
abort ();
#pragma omp target teams map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1;
{
err = omp_get_num_teams () < 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1;
}
if (err)
abort ();
#pragma omp target map(from: err)
#pragma omp teams num_teams (4)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > 4;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > 4;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1;
}
if (err)
abort ();
#pragma omp target teams num_teams (4) map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > 4;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > 4;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1;
}
if (err)
abort ();
#pragma omp target map(from: err)
#pragma omp teams thread_limit (7)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_thread_limit () > 7;
{
err = omp_get_num_teams () < 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > 7;
}
if (err)
abort ();
#pragma omp target teams thread_limit (7) map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_thread_limit () > 7;
{
err = omp_get_num_teams () < 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > 7;
}
if (err)
abort ();
#pragma omp target map(from: err)
#pragma omp teams num_teams (4) thread_limit (8)
{
{
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > 4 || omp_get_thread_limit () > 8;
err = omp_get_num_teams () < 1 || omp_get_num_teams () > 4;
}
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > 8;
}
if (err)
abort ();
#pragma omp target teams num_teams (4) thread_limit (8) map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > 4 || omp_get_thread_limit () > 8;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > 4;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > 8;
}
if (err)
abort ();
#pragma omp target map(from: err)
#pragma omp teams num_teams (a) thread_limit (b)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > a || omp_get_thread_limit () > b;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > a;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > b;
}
if (err)
abort ();
#pragma omp target teams num_teams (a) thread_limit (b) map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > a || omp_get_thread_limit () > b;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > a;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > b;
}
if (err)
abort ();
#pragma omp target map(from: err)
#pragma omp teams num_teams (c + 1) thread_limit (d - 1)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > c + 1 || omp_get_thread_limit () > d - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > c + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > d - 1;
}
if (err)
abort ();
#pragma omp target teams num_teams (c + 1) thread_limit (d - 1) map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > c + 1 || omp_get_thread_limit () > d - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > c + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > d - 1;
}
if (err)
abort ();
#pragma omp target map (always, to: c, d) map(from: err)
#pragma omp teams num_teams (c + 1) thread_limit (d - 1)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > c + 1 || omp_get_thread_limit () > d - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > c + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > d - 1;
}
if (err)
abort ();
#pragma omp target data map (to: c, d)
@ -116,8 +155,11 @@ foo (int a, int b, long c, long d)
their device and original values match is unclear. */
#pragma omp target map (to: c, d) map(from: err)
#pragma omp teams num_teams (c + 1) thread_limit (d - 1)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > c + 1 || omp_get_thread_limit () > d - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > c + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > d - 1;
}
if (err)
abort ();
}
@ -125,21 +167,30 @@ foo (int a, int b, long c, long d)
target involved. */
#pragma omp target map(from: err)
#pragma omp teams num_teams (baz () + 1) thread_limit (baz () - 1)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > baz () + 1 || omp_get_thread_limit () > baz () - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > baz () + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > baz () - 1;
}
if (err)
abort ();
#pragma omp target teams num_teams (baz () + 1) thread_limit (baz () - 1) map(from: err)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > baz () + 1 || omp_get_thread_limit () > baz () - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > baz () + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > baz () - 1;
}
if (err)
abort ();
/* This one can't be optimized, as v might have different value between
host and target. */
#pragma omp target map(from: err)
#pragma omp teams num_teams (v + 1) thread_limit (v - 1)
err = omp_get_num_teams () < 1 || omp_get_thread_limit () < 1
|| omp_get_num_teams () > v + 1 || omp_get_thread_limit () > v - 1;
{
err = omp_get_num_teams () < 1 || omp_get_num_teams () > v + 1;
#pragma omp parallel if(0)
err |= omp_get_thread_limit () < 1 || omp_get_thread_limit () > v - 1;
}
if (err)
abort ();
}

View File

@ -6,15 +6,17 @@
int
main ()
{
omp_set_dynamic (0);
omp_set_nested (1);
#pragma omp teams thread_limit (2)
{
#pragma omp distribute dist_schedule(static,1)
for (int i = 0; i < 1; ++i)
if (omp_in_parallel ()
|| omp_get_level () != 0
|| omp_get_ancestor_thread_num (0) != 0
|| omp_get_ancestor_thread_num (1) != -1)
abort ();
omp_set_dynamic (0);
omp_set_nested (1);
#pragma omp parallel num_threads (2)
{
if (!omp_in_parallel ()

View File

@ -20,25 +20,26 @@ main ()
if (omp_get_num_threads () > 9)
abort ();
#pragma omp target if (0)
#pragma omp teams thread_limit (6)
{
if (omp_get_thread_limit () > 6)
abort ();
if (omp_get_thread_limit () == 6)
omp_set_dynamic (0);
omp_set_nested (1);
#pragma omp teams thread_limit (6)
{
omp_set_dynamic (0);
omp_set_nested (1);
#pragma omp parallel num_threads (3)
if (omp_get_num_threads () != 3)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () != 3))
abort ();
#pragma omp parallel num_threads (3)
if (omp_get_num_threads () != 3)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () != 3))
abort ();
#pragma omp parallel num_threads (8)
if (omp_get_num_threads () > 6)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () > 6))
abort ();
#pragma omp parallel num_threads (6)
if (omp_get_num_threads () != 6)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () != 6))
abort ();
int cnt = 0;
#pragma omp parallel num_threads (5)

View File

@ -6,6 +6,7 @@ main ()
{
#pragma omp target if (0)
#pragma omp teams thread_limit (1)
#pragma omp parallel if (0)
if (omp_get_thread_limit () != 1)
abort ();
return 0;

View File

@ -18,25 +18,25 @@ main ()
#pragma omp parallel num_threads (16)
if (omp_get_num_threads () > 9)
abort ();
omp_set_dynamic (0);
omp_set_nested (1);
#pragma omp teams thread_limit (6)
{
if (omp_get_thread_limit () > 6)
abort ();
if (omp_get_thread_limit () == 6)
{
omp_set_dynamic (0);
omp_set_nested (1);
{
#pragma omp parallel num_threads (3)
if (omp_get_num_threads () != 3)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () != 3))
abort ();
#pragma omp parallel num_threads (3)
if (omp_get_num_threads () != 3)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () != 3))
abort ();
#pragma omp parallel num_threads (8)
if (omp_get_num_threads () > 6)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () > 6))
abort ();
#pragma omp parallel num_threads (6)
if (omp_get_num_threads () != 6)
if (omp_get_thread_limit () > 6
|| (omp_get_thread_limit () == 6 && omp_get_num_threads () != 6))
abort ();
int cnt = 0;
#pragma omp parallel num_threads (5)
@ -52,7 +52,6 @@ main ()
#pragma omp atomic
--cnt;
}
}
}
}
return 0;
}

View File

@ -5,6 +5,7 @@ int
main ()
{
#pragma omp teams thread_limit (1)
#pragma omp parallel if(0)
if (omp_get_thread_limit () != 1)
abort ();
return 0;

View File

@ -13,6 +13,7 @@ implicit none (type, external)
if (omp_get_teams_thread_limit () /= 15) &
error stop 4
!$omp teams
!$omp parallel if(.false.)
if (omp_get_max_teams () /= 7 &
.or. omp_get_teams_thread_limit () /= 15 &
.or. omp_get_num_teams () < 1 &
@ -22,8 +23,10 @@ implicit none (type, external)
.or. omp_get_thread_limit () < 1 &
.or. omp_get_thread_limit () > 15) &
error stop 5
!$omp end parallel
!$omp end teams
!$omp teams num_teams(5) thread_limit (13)
!$omp parallel if(.false.)
if (omp_get_max_teams () /= 7 &
.or. omp_get_teams_thread_limit () /= 15 &
.or. omp_get_num_teams () /= 5 &
@ -32,8 +35,10 @@ implicit none (type, external)
.or. omp_get_thread_limit () < 1 &
.or. omp_get_thread_limit () > 13) &
error stop 6
!$omp end parallel
!$omp end teams
!$omp teams num_teams(8) thread_limit (16)
!$omp parallel if(.false.)
if (omp_get_max_teams () /= 7 &
.or. omp_get_teams_thread_limit () /= 15 &
.or. omp_get_num_teams () /= 8 &
@ -42,6 +47,7 @@ implicit none (type, external)
.or. omp_get_thread_limit () < 1 &
.or. omp_get_thread_limit () > 16) &
error stop 7
!$omp end parallel
!$omp end teams
contains
logical function env_exists (name)

View File

@ -16,6 +16,7 @@ implicit none (type, external)
call omp_set_teams_thread_limit (12)
end if
!$omp teams
!$omp parallel if(.false.)
if (omp_get_max_teams () /= 6 &
.or. omp_get_teams_thread_limit () /= 12 &
.or. omp_get_num_teams () < 1 &
@ -25,6 +26,7 @@ implicit none (type, external)
.or. omp_get_thread_limit () < 1 &
.or. omp_get_thread_limit () > 12) &
error stop 3
!$omp end parallel
!$omp end teams
contains
logical function env_is_set (name, val)

View File

@ -2,13 +2,17 @@
program teams1
use omp_lib
integer :: i
!$omp teams thread_limit (2)
if (omp_in_parallel ()) stop 1
if (omp_get_level () .ne. 0) stop 2
if (omp_get_ancestor_thread_num (0) .ne. 0) stop 3
if (omp_get_ancestor_thread_num (1) .ne. -1) stop 4
call omp_set_dynamic (.false.)
call omp_set_nested (.true.)
!$omp distribute dist_schedule(static,1)
do i = 1, 1
if (omp_in_parallel ()) stop 1
if (omp_get_level () .ne. 0) stop 2
if (omp_get_ancestor_thread_num (0) .ne. 0) stop 3
if (omp_get_ancestor_thread_num (1) .ne. -1) stop 4
call omp_set_dynamic (.false.)
call omp_set_nested (.true.)
end do
!$omp parallel num_threads (2)
if (.not. omp_in_parallel ()) stop 5
if (omp_get_level () .ne. 1) stop 6