From patchwork Wed Dec 15 15:54:29 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Frederik Harwath X-Patchwork-Id: 48963 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0AEFF3853801 for ; Wed, 15 Dec 2021 16:08:53 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from esa4.mentor.iphmx.com (esa4.mentor.iphmx.com [68.232.137.252]) by sourceware.org (Postfix) with ESMTPS id 34BC7385843B for ; Wed, 15 Dec 2021 15:56:26 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 34BC7385843B Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com IronPort-SDR: y95AOQpl1I/r6Sl7QR1XL3m7qpizKm5VYm0c2ZtFo3WOFRrtPXgo7z1i9kF6L7L2pPOaz8HZ8w ucP5BDqrGAC8qmDZrr3UvKewMfKvMOUlqUAQx5jalcY60K5UTN5dZFXdMAFRwkyEnfiI/FbEKF CkrVVJkv0dqDpjJAs4fG1yFn+MHINMwv1RIORtYz5MjQ0AU7XS85ZZ5umFs9U8KRWJiqBldjig m2Bm60LX0hqy6WoHOGLtM4lPKX56E/pI28wRF70ch95/76yWTQTSA3qJ6gjjZXeuqHdr7iM/vN gtTWzX6skKyRJ+lqr/n/he0U X-IronPort-AV: E=Sophos;i="5.88,207,1635235200"; d="scan'208";a="69738392" Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167]) by esa4.mentor.iphmx.com with ESMTP; 15 Dec 2021 07:56:23 -0800 IronPort-SDR: ekwk1Pai37vzf0rQNMUtvelSrHZHYmd65CTR8XtlvGBRaUEyYfStby4OLz6acjKQ8w63URf+jn VJ5yvha/mV+nD5Jrsr6OIJLnAG4/CuxuNS5MFWlcaAwoUMly+gpGOrHAoGwZwTFpnKSBn6CEvV XWYxe649cewOz7IbbfHtla/LY0IuBWfJyTzcgaRyFx3V39X4fWwS1z/4nt3W7ycw7gAywkVKqI IRySJC6BWJBe6ZR+YxYA0SbFUIDrOAr6al/w9qSCT6bagsdHpkEBVCt82+Un/AuJ2CgVSSqIc0 3aY= From: Frederik Harwath To: Subject: [PATCH 22/40] openacc: Remove unused partitioning in "kernels" regions Date: Wed, 15 Dec 2021 16:54:29 +0100 Message-ID: <20211215155447.19379-23-frederik@codesourcery.com> X-Mailer: git-send-email 2.33.0 In-Reply-To: <20211215155447.19379-1-frederik@codesourcery.com> References: <20211215155447.19379-1-frederik@codesourcery.com> MIME-Version: 1.0 X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: SVR-IES-MBX-07.mgc.mentorg.com (139.181.222.7) To SVR-IES-MBX-04.mgc.mentorg.com (139.181.222.4) X-Spam-Status: No, score=-12.7 required=5.0 tests=BAYES_00, GIT_PATCH_0, HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: thomas@codesourcery.com Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" With the old "kernels" handling, unparallelized regions would get executed with 1x1x1 partitioning even if the user provided explicit num_gangs, num_workers clauses etc. This commit restores this behavior by removing unused partitioning after assigning the parallelism dimensions to loops. gcc/ChangeLog: * omp-offload.c (oacc_remove_unused_partitioning): New function for removing partitioning that is not used by any loop. (oacc_validate_dims): Call oacc_remove_unused_partitioning and enable warnings about unused partitioning. libgomp/ChangeLog: * testsuite/libgomp.oacc-c-c++-common/acc_prof-kernels-1.c: Adjust expectations. --- gcc/omp-offload.c | 51 +++++++++++++++++-- .../acc_prof-kernels-1.c | 18 ++++--- 2 files changed, 58 insertions(+), 11 deletions(-) -- 2.33.0 ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955 diff --git a/gcc/omp-offload.c b/gcc/omp-offload.c index 2743e90f79a3..392ca56b1f4f 100644 --- a/gcc/omp-offload.c +++ b/gcc/omp-offload.c @@ -1097,6 +1097,39 @@ oacc_parse_default_dims (const char *dims) targetm.goacc.validate_dims (NULL_TREE, oacc_min_dims, -2, 0); } +/* Remove parallelism dimensions below LEVEL which are not set in USED + from DIMS and emit a warning pointing to the location of FN. */ + +static void +oacc_remove_unused_partitioning (tree fn, int *dims, int level, unsigned used) +{ + + bool host_compiler = true; +#ifdef ACCEL_COMPILER + host_compiler = false; +#endif + + static char const *const axes[] = + /* Must be kept in sync with GOMP_DIM enumeration. */ + { "gang", "worker", "vector" }; + + char removed_partitions[20] = "\0"; + for (int ix = level >= 0 ? level : 0; ix != GOMP_DIM_MAX; ix++) + if (!(used & GOMP_DIM_MASK (ix)) && dims[ix] >= 0) + { + if (host_compiler) + { + strcat (removed_partitions, axes[ix]); + strcat (removed_partitions, " "); + } + dims[ix] = -1; + } + if (removed_partitions[0] != '\0') + warning_at (DECL_SOURCE_LOCATION (fn), OPT_Wopenacc_parallelism, + "removed %spartitioning from % region", + removed_partitions); +} + /* Validate and update the dimensions for offloaded FN. ATTRS is the raw attribute. DIMS is an array of dimensions, which is filled in. LEVEL is the partitioning level of a routine, or -1 for an offload @@ -1117,6 +1150,7 @@ oacc_validate_dims (tree fn, tree attrs, int *dims, int level, unsigned used) for (ix = 0; ix != GOMP_DIM_MAX; ix++) { purpose[ix] = TREE_PURPOSE (pos); + tree val = TREE_VALUE (pos); dims[ix] = val ? TREE_INT_CST_LOW (val) : -1; pos = TREE_CHAIN (pos); @@ -1126,14 +1160,15 @@ oacc_validate_dims (tree fn, tree attrs, int *dims, int level, unsigned used) #ifdef ACCEL_COMPILER check = false; #endif + + static char const *const axes[] = + /* Must be kept in sync with GOMP_DIM enumeration. */ + { "gang", "worker", "vector" }; + if (check && warn_openacc_parallelism - && !lookup_attribute ("oacc kernels", DECL_ATTRIBUTES (fn)) - && !lookup_attribute ("oacc parallel_kernels_graphite", DECL_ATTRIBUTES (fn))) + && !lookup_attribute ("oacc kernels", DECL_ATTRIBUTES (fn))) { - static char const *const axes[] = - /* Must be kept in sync with GOMP_DIM enumeration. */ - { "gang", "worker", "vector" }; for (ix = level >= 0 ? level : 0; ix != GOMP_DIM_MAX; ix++) if (dims[ix] < 0) ; /* Defaulting axis. */ @@ -1144,14 +1179,20 @@ oacc_validate_dims (tree fn, tree attrs, int *dims, int level, unsigned used) "region contains %s partitioned code but" " is not %s partitioned", axes[ix], axes[ix]); else if (!(used & GOMP_DIM_MASK (ix)) && dims[ix] != 1) + { /* The dimension is explicitly partitioned to non-unity, but no use is made within the region. */ warning_at (DECL_SOURCE_LOCATION (fn), OPT_Wopenacc_parallelism, "region is %s partitioned but" " does not contain %s partitioned code", axes[ix], axes[ix]); + } } + if (lookup_attribute ("oacc parallel_kernels_graphite", + DECL_ATTRIBUTES (fn))) + oacc_remove_unused_partitioning (fn, dims, level, used); + bool changed = targetm.goacc.validate_dims (fn, dims, level, used); /* Default anything left to 1 or a partitioned default. */ diff --git a/libgomp/testsuite/libgomp.oacc-c-c++-common/acc_prof-kernels-1.c b/libgomp/testsuite/libgomp.oacc-c-c++-common/acc_prof-kernels-1.c index ad33f72e2fb6..65c83dce01c9 100644 --- a/libgomp/testsuite/libgomp.oacc-c-c++-common/acc_prof-kernels-1.c +++ b/libgomp/testsuite/libgomp.oacc-c-c++-common/acc_prof-kernels-1.c @@ -7,6 +7,8 @@ #include +/* { dg-skip-if "'kernels' not analyzed by Graphite at -O0" { *-*-* } { "-O0" } { "" } } */ +/* { dg-additional-options "-Wopenacc-parallelism" } */ /* Use explicit 'copyin' clauses, to work around "'firstprivate' optimizations", which will cause the value at the point of call to be used @@ -95,12 +97,8 @@ static void cb_enqueue_launch_start (acc_prof_info *prof_info, acc_event_info *e assert (event_info->launch_event.num_workers >= 1); else { -#ifdef __OPTIMIZE__ - assert (event_info->launch_event.num_workers == num_workers); -#else - /* See 'num_gangs' above. */ - assert (event_info->launch_event.num_workers == 1); -#endif + /* Unused partitioning levels get removed from "kernels" region. */ + assert (event_info->launch_event.num_workers == real_num_workers); } if (vector_length < 1) assert (event_info->launch_event.vector_length >= 1); @@ -183,6 +181,7 @@ int main() STATE_OP (state, = 0); num_gangs = 30; num_workers = 3; + real_num_workers = 1; vector_length = 5; { #define N 100 @@ -192,6 +191,8 @@ int main() /* { dg-prune-output "using vector_length \\(32\\), ignoring 5" } */ { for (int i = 0; i < N; ++i) + /* { dg-warning "region is worker partitioned but does not contain worker partitioned code" "" { target *-*-* } .-1 } */ + /* { dg-warning "removed worker partitioning from 'kernels' region" "" { target *-*-* } .-2 } */ x[i] = i * i; } if (acc_device_type == acc_device_host) @@ -208,6 +209,9 @@ int main() STATE_OP (state, = 0); num_gangs = 22; num_workers = 5; + /* No worker loop and hence, in a kernels region, worker partitioning + should be removed. */ + real_num_workers = 1; vector_length = 7; { #define N 100 @@ -217,6 +221,8 @@ int main() /* { dg-prune-output "using vector_length \\(32\\), ignoring runtime setting" } */ { for (int i = 0; i < N; ++i) + /* { dg-warning "region is worker partitioned but does not contain worker partitioned code" "" { target *-*-* } .-1 } */ + /* { dg-warning "removed worker partitioning from 'kernels' region" "" { target *-*-* } .-2 } */ x[i] = i * i; } if (acc_device_type == acc_device_host)