From patchwork Tue Jun 18 22:47:27 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Thomas Schwinge X-Patchwork-Id: 1118378 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=pass (mailfrom) smtp.mailfrom=gcc.gnu.org (client-ip=209.132.180.131; helo=sourceware.org; envelope-from=gcc-patches-return-503227-incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=) Authentication-Results: ozlabs.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b="HaEddDTi"; dkim-atps=neutral Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 45T3Bg0SyPz9s4Y for ; Wed, 19 Jun 2019 08:47:54 +1000 (AEST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:subject:date:message-id:mime-version:content-type; q=dns; s= default; b=rHSjSSoOUkoAuWbXNzZXMa/bU9fK0yYL2FCTX1rVa7+L3/yW4tXoE LI+r6QvWn8Vp9EwTfoOGHbzx0lm4rhqLVQBkVItBFogmMxy3c+/AED14K+9TA3WA shKBmHqRKlS1/gfufOPUMGED2dtAAjmtW67EtNji6tcKwro/vY1ZRA= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:subject:date:message-id:mime-version:content-type; s= default; bh=gXw0a3oowkEJ77Fommy17Pc3P/M=; b=HaEddDTiF6RaT2J6JwOi on8t5b33pVBiN7HrrIffiqPEFs8OvLFJTLSg7TMbxrNisU8ly0mhuL9+Vfjk//m8 I4ivdFRSswfFf4lCeSC6Io7GFFjCgYH2WYyZz8K4Oy1Ja9yyy7gqBDjaRmY4yAk4 Qcy5XhUKwtDmRnEDZzFfNcY= Received: (qmail 37640 invoked by alias); 18 Jun 2019 22:47:45 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 37625 invoked by uid 89); 18 Jun 2019 22:47:45 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-16.5 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RCVD_IN_DNSWL_NONE, SPF_PASS autolearn=ham version=3.3.1 spammy=1078, 2125, 1025, 1325 X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 18 Jun 2019 22:47:41 +0000 Received: from svr-orw-mbx-05.mgc.mentorg.com ([147.34.90.205]) by relay1.mentorg.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-SHA384:256) id 1hdMt9-0004A4-HV from Thomas_Schwinge@mentor.com for gcc-patches@gcc.gnu.org; Tue, 18 Jun 2019 15:47:39 -0700 Received: from SVR-ORW-MBX-07.mgc.mentorg.com (147.34.90.207) by SVR-ORW-MBX-05.mgc.mentorg.com (147.34.90.205) with Microsoft SMTP Server (TLS) id 15.0.1320.4; Tue, 18 Jun 2019 15:47:36 -0700 Received: from tftp-cs (147.34.91.1) by SVR-ORW-MBX-07.mgc.mentorg.com (147.34.90.207) with Microsoft SMTP Server id 15.0.1320.4 via Frontend Transport; Tue, 18 Jun 2019 15:47:36 -0700 Received: by tftp-cs (Postfix, from userid 49978) id 4C2D8C2212; Tue, 18 Jun 2019 15:47:36 -0700 (PDT) From: Thomas Schwinge To: Subject: [committed] Test cases to verify OpenACC 'firstprivate' mappings User-Agent: Notmuch/0.9-125-g4686d11 (http://notmuchmail.org) Emacs/26.1 (x86_64-pc-linux-gnu) Date: Wed, 19 Jun 2019 00:47:27 +0200 Message-ID: <87r27qfr40.fsf@euler.schwinge.homeip.net> MIME-Version: 1.0 Hi! I committed to trunk in r272451 a few "Test cases to verify OpenACC 'firstprivate' mappings", see attached. More to come, later on. Grüße Thomas From 2f195960a11d9eb027e4abcfc5faaca2ff5fe9e3 Mon Sep 17 00:00:00 2001 From: tschwinge Date: Tue, 18 Jun 2019 22:15:03 +0000 Subject: [PATCH] Test cases to verify OpenACC 'firstprivate' mappings gcc/testsuite/ * c-c++-common/goacc/firstprivate-mappings-1.c: New file. * g++.dg/goacc/firstprivate-mappings-1.C: Likewise. libgomp/ * testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C: New file. * testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@272451 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/ChangeLog | 3 + .../goacc/firstprivate-mappings-1.c | 533 ++++++++++++++++++ .../g++.dg/goacc/firstprivate-mappings-1.C | 529 +++++++++++++++++ libgomp/ChangeLog | 4 + .../firstprivate-mappings-1.C | 3 + .../firstprivate-mappings-1.c | 6 + 6 files changed, 1078 insertions(+) create mode 100644 gcc/testsuite/c-c++-common/goacc/firstprivate-mappings-1.c create mode 100644 gcc/testsuite/g++.dg/goacc/firstprivate-mappings-1.C create mode 100644 libgomp/testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C create mode 100644 libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 699a94b3ed40..bffa899c7676 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2019-06-18 Thomas Schwinge + * c-c++-common/goacc/firstprivate-mappings-1.c: New file. + * g++.dg/goacc/firstprivate-mappings-1.C: Likewise. + PR testsuite/90861 * c-c++-common/goacc/declare-pr90861.c: New file. diff --git a/gcc/testsuite/c-c++-common/goacc/firstprivate-mappings-1.c b/gcc/testsuite/c-c++-common/goacc/firstprivate-mappings-1.c new file mode 100644 index 000000000000..c8270472a9c5 --- /dev/null +++ b/gcc/testsuite/c-c++-common/goacc/firstprivate-mappings-1.c @@ -0,0 +1,533 @@ +/* Verify OpenACC 'firstprivate' mappings. */ + +/* This file is also sourced from + '../../../../libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c' + as an execution test. */ + +/* See also '../../g++.dg/goacc/firstprivate-mappings-1.C'. */ + +/* { dg-additional-options "-fdump-tree-omplower" } */ + +/* { dg-additional-options "-fext-numeric-literals" { target c++ } } */ + +/* { dg-additional-options "-Wno-psabi" } as apparently we're doing funny + things with vector arguments. */ + +#include +#include +#include + + +#ifdef __SIZEOF_INT128__ +# define HAVE_INT128 1 +#else +# define HAVE_INT128 0 +#endif + + +/* The one is only relevant for offloading compilation; will always be enabled + when doing tree scanning. */ +#ifdef ACC_DEVICE_TYPE_nvidia +/* PR71064. */ +# define DO_LONG_DOUBLE 0 +#else +# define DO_LONG_DOUBLE 1 +#endif + + +/* Simplify scanning for function names in tree dumps. */ +#ifdef __cplusplus +extern "C" { +#endif + + +/* Inside the following OpenACC 'parallel' constructs' regions, we modify the + 'firstprivate' variables, so that we can check that we don't copy these + back. */ + + +static void +p (short *spi) +{ + short *spo; +#pragma acc parallel \ + copyout (spo) \ + firstprivate (spi) + { + spo = ++spi; + } + if (spo != spi + 1) + __builtin_abort (); +} + + +static void +b (bool bi) +{ + bool bo; +#pragma acc parallel \ + copyout (bo) \ + firstprivate (bi) + { + bo = (bi = !bi); + } + if (bo != !bi) + __builtin_abort (); +} + + +static void +i (int8_t i8i, + uint8_t u8i, + int16_t i16i, + uint16_t u16i, + int32_t i32i, + uint32_t u32i, + int64_t i64i, + uint64_t u64i) +{ + int8_t i8o; + uint8_t u8o; + int16_t i16o; + uint16_t u16o; + int32_t i32o; + uint32_t u32o; + int64_t i64o; + uint64_t u64o; +#pragma acc parallel \ + copyout (i8o) \ + firstprivate (i8i) \ + copyout (u8o) \ + firstprivate (u8i) \ + copyout (i16o) \ + firstprivate (i16i) \ + copyout (u16o) \ + firstprivate (u16i) \ + copyout (i32o) \ + firstprivate (i32i) \ + copyout (u32o) \ + firstprivate (u32i) \ + copyout (i64o) \ + firstprivate (i64i) \ + copyout (u64o) \ + firstprivate (u64i) + { + i8o = --i8i; + u8o = ++u8i; + i16o = --i16i; + u16o = ++u16i; + i32o = --i32i; + u32o = ++u32i; + i64o = --i64i; + u64o = ++u64i; + } + if (i8o != i8i - 1) + __builtin_abort (); + if (u8o != u8i + 1) + __builtin_abort (); + if (i16o != i16i - 1) + __builtin_abort (); + if (u16o != u16i + 1) + __builtin_abort (); + if (i32o != i32i - 1) + __builtin_abort (); + if (u32o != u32i + 1) + __builtin_abort (); + if (i64o != i64i - 1) + __builtin_abort (); + if (u64o != u64i + 1) + __builtin_abort (); +} + + +#if HAVE_INT128 +static void +i128 (__int128 i128i, unsigned __int128 u128i) +{ + __int128 i128o; + unsigned __int128 u128o; +# pragma acc parallel \ + copyout (i128o) \ + firstprivate (i128i) \ + copyout(u128o) \ + firstprivate (u128i) + { + i128o = --i128i; + u128o = ++u128i; + } + if (i128o != i128i - 1) + __builtin_abort (); + if (u128o != u128i + 1) + __builtin_abort (); +} +#endif + + +static void +flt_dbl (float flti, double dbli) +{ + float flto; + double dblo; +#pragma acc parallel \ + copyout (flto) \ + firstprivate (flti) \ + copyout (dblo) \ + firstprivate (dbli) + { + flto = --flti; + dblo = --dbli; + } + if (flto != flti - 1) + __builtin_abort (); + if (dblo != dbli - 1) + __builtin_abort (); +} + + +static void +ldbl (long double ldbli) +{ +#if DO_LONG_DOUBLE + long double ldblo; +# pragma acc parallel \ + copyout (ldblo) \ + firstprivate (ldbli) + { + ldblo = --ldbli; + } + if (ldblo != ldbli - 1) + __builtin_abort (); +#endif +} + + +static void +c (_Complex unsigned char cuci, + _Complex signed short cssi, + _Complex unsigned int cuii, + _Complex signed long csli, + _Complex float cflti, + _Complex double cdbli) +{ + _Complex unsigned char cuco; + _Complex signed short csso; + _Complex unsigned int cuio; + _Complex signed long cslo; + _Complex float cflto; + _Complex double cdblo; +#pragma acc parallel \ + copyout (cuco) \ + firstprivate (cuci) \ + copyout (csso) \ + firstprivate (cssi) \ + copyout (cuio) \ + firstprivate (cuii) \ + copyout (cslo) \ + firstprivate (csli) \ + copyout (cflto) \ + firstprivate (cflti) \ + copyout (cdblo) \ + firstprivate (cdbli) + { + cuco = (cuci += (1 + 1j)); + csso = (cssi -= (1 + 1j)); + cuio = (cuii += (1 + 1j)); + cslo = (csli -= (1 + 1j)); + cflto = (cflti -= (1 + 1j)); + cdblo = (cdbli -= (1 + 1j)); + } + if (cuco != cuci + (1 + 1j)) + __builtin_abort (); + if (csso != cssi - (1 + 1j)) + __builtin_abort (); + if (cuio != cuii + (1 + 1j)) + __builtin_abort (); + if (cslo != csli - (1 + 1j)) + __builtin_abort (); + if (cflto != cflti - (1 + 1j)) + __builtin_abort (); + if (cdblo != cdbli - (1 + 1j)) + __builtin_abort (); +} + + +static void +cldbl (_Complex long double cldbli) +{ +#if DO_LONG_DOUBLE + _Complex long double cldblo; +# pragma acc parallel \ + copyout (cldblo) \ + firstprivate (cldbli) + { + cldblo = (cldbli -= (1 + 1j)); + } + if (cldblo != cldbli - (1 + 1j)) + __builtin_abort (); +#endif +} + + +#define V_EQ(v1, v2) \ + ({ \ + __typeof__ (v1) v_d = (v1) != (v2); \ + __typeof__ (v_d) v_0 = { 0 }; \ + memcmp (&v_d, &v_0, sizeof v_d) == 0; \ + }) + +typedef uint8_t __attribute__ ((vector_size (2 * sizeof (uint8_t)))) v2u8; +typedef int16_t __attribute__ ((vector_size (4 * sizeof (int16_t)))) v4i16; +typedef uint32_t __attribute__ ((vector_size (8 * sizeof (uint32_t)))) v8u32; +typedef int64_t __attribute__ ((vector_size (16 * sizeof (int64_t)))) v16i64; +typedef float __attribute__ ((vector_size (1 * sizeof (float)))) v1flt; +typedef float __attribute__ ((vector_size (2 * sizeof (float)))) v2flt; +typedef float __attribute__ ((vector_size (4 * sizeof (float)))) v4flt; +typedef float __attribute__ ((vector_size (8 * sizeof (float)))) v8flt; +typedef double __attribute__ ((vector_size (1 * sizeof (double)))) v1dbl; +typedef double __attribute__ ((vector_size (2 * sizeof (double)))) v2dbl; +typedef double __attribute__ ((vector_size (4 * sizeof (double)))) v4dbl; +typedef double __attribute__ ((vector_size (8 * sizeof (double)))) v8dbl; + +static void +v (v2u8 v2u8i, v4i16 v4i16i, v8u32 v8u32i, v16i64 v16i64i, + v1flt v1flti, v2flt v2flti, v4flt v4flti, v8flt v8flti, + v1dbl v1dbli, v2dbl v2dbli, v4dbl v4dbli, v8dbl v8dbli) +{ + v2u8 v2u8o; + v4i16 v4i16o; + v8u32 v8u32o; + v16i64 v16i64o; + v1flt v1flto; + v2flt v2flto; + v4flt v4flto; + v8flt v8flto; + v1dbl v1dblo; + v2dbl v2dblo; + v4dbl v4dblo; + v8dbl v8dblo; +#pragma acc parallel \ + copyout (v2u8o) \ + firstprivate (v2u8i) \ + copyout (v4i16o) \ + firstprivate (v4i16i) \ + copyout (v8u32o) \ + firstprivate (v8u32i) \ + copyout (v16i64o) \ + firstprivate (v16i64i) \ + copyout (v1flto) \ + firstprivate (v1flti) \ + copyout (v2flto) \ + firstprivate (v2flti) \ + copyout (v4flto) \ + firstprivate (v4flti) \ + copyout (v8flto) \ + firstprivate (v8flti) \ + copyout (v1dblo) \ + firstprivate (v1dbli) \ + copyout (v2dblo) \ + firstprivate (v2dbli) \ + copyout (v4dblo) \ + firstprivate (v4dbli) \ + copyout (v8dblo) \ + firstprivate (v8dbli) + { + v2u8o = ++v2u8i; + v4i16o = --v4i16i; + v8u32o = ++v8u32i; + v16i64o = --v16i64i; + v1flto = --v1flti; + v2flto = --v2flti; + v4flto = --v4flti; + v8flto = --v8flti; + v1dblo = --v1dbli; + v2dblo = --v2dbli; + v4dblo = --v4dbli; + v8dblo = --v8dbli; + } + if (!V_EQ (v2u8o, v2u8i + 1)) + __builtin_abort (); + if (!V_EQ (v4i16o, v4i16i - 1)) + __builtin_abort (); + if (!V_EQ (v8u32o, v8u32i + 1)) + __builtin_abort (); + if (!V_EQ (v16i64o, v16i64i - 1)) + __builtin_abort (); + if (!V_EQ (v1flto, v1flti - 1)) + __builtin_abort (); + if (!V_EQ (v2flto, v2flti - 1)) + __builtin_abort (); + if (!V_EQ (v4flto, v4flti - 1)) + __builtin_abort (); + if (!V_EQ (v8flto, v8flti - 1)) + __builtin_abort (); + if (!V_EQ (v1dblo, v1dbli - 1)) + __builtin_abort (); + if (!V_EQ (v2dblo, v2dbli - 1)) + __builtin_abort (); + if (!V_EQ (v4dblo, v4dbli - 1)) + __builtin_abort (); + if (!V_EQ (v8dblo, v8dbli - 1)) + __builtin_abort (); +} + + +/* "error: could not find an integer type of the same size as 'long double'" */ +#if HAVE_INT128 +typedef long double __attribute__ ((vector_size (1 * sizeof (long double)))) v1ldbl; +typedef long double __attribute__ ((vector_size (2 * sizeof (long double)))) v2ldbl; +typedef long double __attribute__ ((vector_size (4 * sizeof (long double)))) v4ldbl; +typedef long double __attribute__ ((vector_size (8 * sizeof (long double)))) v8ldbl; + +static void +vldbl (v1ldbl v1ldbli, v2ldbl v2ldbli, v4ldbl v4ldbli, v8ldbl v8ldbli) +{ +# if DO_LONG_DOUBLE + v1ldbl v1ldblo; + v2ldbl v2ldblo; + v4ldbl v4ldblo; + v8ldbl v8ldblo; +# pragma acc parallel \ + copyout (v1ldblo) \ + firstprivate (v1ldbli) \ + copyout (v2ldblo) \ + firstprivate (v2ldbli) \ + copyout (v4ldblo) \ + firstprivate (v4ldbli) \ + copyout (v8ldblo) \ + firstprivate (v8ldbli) + { + v1ldblo = --v1ldbli; + v2ldblo = --v2ldbli; + v4ldblo = --v4ldbli; + v8ldblo = --v8ldbli; + } + if (!V_EQ (v1ldblo, v1ldbli - 1)) + __builtin_abort (); + if (!V_EQ (v2ldblo, v2ldbli - 1)) + __builtin_abort (); + if (!V_EQ (v4ldblo, v4ldbli - 1)) + __builtin_abort (); + if (!V_EQ (v8ldblo, v8ldbli - 1)) + __builtin_abort (); +# endif +} +#endif + + +static void +vla (int array_li) +{ + _Complex double array[array_li]; + uint32_t array_so; +#pragma acc parallel \ + copyout (array_so) + /* The gimplifier has created an implicit 'firstprivate' clause for the array + length. + { dg-final { scan-tree-dump {(?n)#pragma omp target oacc_parallel map\(from:array_so \[len: 4\]\) firstprivate\(array_li.[0-9]+\)} omplower { target { ! c++ } } } } + { dg-final { scan-tree-dump {(?n)#pragma omp target oacc_parallel map\(from:array_so \[len: 4\]\) firstprivate\(} omplower { target { c++ } } } } + (C++ computes an intermediate value, so can't scan for 'firstprivate(array_li)'.) */ + { + array_so = sizeof array; + } + if (array_so != sizeof array) + __builtin_abort (); +} + + +#ifdef __cplusplus +} +#endif + + +int +main (int argc, char *argv[]) +{ + { + short s; + short *sp = &s; + p (sp); + } + + { + bool bi = true; + b (bi); + } + + { + int8_t i8i = -1; + uint8_t u8i = 1; + int16_t i16i = -2; + uint16_t u16i = 2; + int32_t i32i = -3; + uint32_t u32i = 3; + int64_t i64i = -4; + uint64_t u64i = 4; + i (i8i, u8i, i16i, u16i, i32i, u32i, i64i, u64i); + } + +#if HAVE_INT128 + { + __int128 i128i = -8; + unsigned __int128 u128i = 8; + i128 (i128i, u128i); + } +#endif + + { + float flti = .5; + double dbli = .25; + flt_dbl (flti, dbli); + } + + { + long double ldbli = .125; + ldbl (ldbli); + } + + { + _Complex unsigned char cuci = 1 + 2j; + _Complex signed short cssi = -2 + (-4j); + _Complex unsigned int cuii = 3 + 6j; + _Complex signed long csli = -4 + (-8j); + _Complex float cflti = .5 + 1j; + _Complex double cdbli = .25 + .5j; + c (cuci, cssi, cuii, csli, cflti, cdbli); + } + + { + _Complex long double cldbli = .125 + .25j; + cldbl (cldbli); + } + + { + v2u8 v2u8i = {2, 3}; + v4i16 v4i16i = { -1, -2, 5, 4 }; + v8u32 v8u32i = { 3, 6, 9, 11}; + v16i64 v16i64i = { 10, 21, -25, 44, 31, -1, 1, 222, -1, -12, 52, -44, -13, 1, -1, -222}; + v1flt v1flti = { -.5 }; + v2flt v2flti = { 1.5, -2.5 }; + v4flt v4flti = { 3.5, -4.5, -5.5, -6.5 }; + v8flt v8flti = { -7.5, 8.5, 9.5, 10.5, -11.5, -12.5, 13.5, 14.5 }; + v1dbl v1dbli = { 0.25 }; + v2dbl v2dbli = { -1.25, -2.25 }; + v4dbl v4dbli = { 3.25, -4.25, 5.25, 6.25 }; + v8dbl v8dbli = { 7.25, 8.25, -9.25, -10.25, -11.25, 12.25, 13.25, -14.25 }; + v (v2u8i, v4i16i, v8u32i, v16i64i, + v1flti, v2flti, v4flti, v8flti, + v1dbli, v2dbli, v4dbli, v8dbli); + } + +#if HAVE_INT128 + { + v1ldbl v1ldbli = { -0.125 }; + v2ldbl v2ldbli = { 1.125, -2.125 }; + v4ldbl v4ldbli = { -3.125, -4.125, 5.125, -6.125 }; + v8ldbl v8ldbli = { 7.125, -8.125, -9.125, 10.125, 11.125, 12.125, 13.125, 14.125 }; + vldbl (v1ldbli, v2ldbli, v4ldbli, v8ldbli); + } +#endif + + vla (argc); + + return 0; +} diff --git a/gcc/testsuite/g++.dg/goacc/firstprivate-mappings-1.C b/gcc/testsuite/g++.dg/goacc/firstprivate-mappings-1.C new file mode 100644 index 000000000000..639bf3f32991 --- /dev/null +++ b/gcc/testsuite/g++.dg/goacc/firstprivate-mappings-1.C @@ -0,0 +1,529 @@ +/* Verify OpenACC 'firstprivate' mappings for C++ reference types. */ + +/* This file is also sourced from + '../../../../libgomp/testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C' + as an execution test. */ + +/* See also '../../c-c++-common/goacc/firstprivate-mappings-1.c'. */ + +/* { dg-additional-options "-fdump-tree-omplower" } */ + +/* { dg-additional-options "-fext-numeric-literals" { target c++ } } */ + +#include +#include +#include + + +#ifdef __SIZEOF_INT128__ +# define HAVE_INT128 1 +#else +# define HAVE_INT128 0 +#endif + + +/* The one is only relevant for offloading compilation; will always be enabled + when doing tree scanning. */ +#ifdef ACC_DEVICE_TYPE_nvidia +/* PR71064. */ +# define DO_LONG_DOUBLE 0 +#else +# define DO_LONG_DOUBLE 1 +#endif + + +/* Simplify scanning for function names in tree dumps. */ +#ifdef __cplusplus +extern "C" { +#endif + + +/* Inside the following OpenACC 'parallel' constructs' regions, we modify the + 'firstprivate' variables, so that we can check that we don't copy these + back. */ + + +static void +p (short *&spi) +{ + short *spo; +#pragma acc parallel \ + copyout (spo) \ + firstprivate (spi) + { + spo = ++spi; + } + if (spo != spi + 1) + __builtin_abort (); +} + + +static void +b (bool &bi) +{ + bool bo; +#pragma acc parallel \ + copyout (bo) \ + firstprivate (bi) + { + bo = (bi = !bi); + } + if (bo != !bi) + __builtin_abort (); +} + + +static void +i (int8_t &i8i, + uint8_t &u8i, + int16_t &i16i, + uint16_t &u16i, + int32_t &i32i, + uint32_t &u32i, + int64_t &i64i, + uint64_t &u64i) +{ + int8_t i8o; + uint8_t u8o; + int16_t i16o; + uint16_t u16o; + int32_t i32o; + uint32_t u32o; + int64_t i64o; + uint64_t u64o; +#pragma acc parallel \ + copyout (i8o) \ + firstprivate (i8i) \ + copyout (u8o) \ + firstprivate (u8i) \ + copyout (i16o) \ + firstprivate (i16i) \ + copyout (u16o) \ + firstprivate (u16i) \ + copyout (i32o) \ + firstprivate (i32i) \ + copyout (u32o) \ + firstprivate (u32i) \ + copyout (i64o) \ + firstprivate (i64i) \ + copyout (u64o) \ + firstprivate (u64i) + { + i8o = --i8i; + u8o = ++u8i; + i16o = --i16i; + u16o = ++u16i; + i32o = --i32i; + u32o = ++u32i; + i64o = --i64i; + u64o = ++u64i; + } + if (i8o != i8i - 1) + __builtin_abort (); + if (u8o != u8i + 1) + __builtin_abort (); + if (i16o != i16i - 1) + __builtin_abort (); + if (u16o != u16i + 1) + __builtin_abort (); + if (i32o != i32i - 1) + __builtin_abort (); + if (u32o != u32i + 1) + __builtin_abort (); + if (i64o != i64i - 1) + __builtin_abort (); + if (u64o != u64i + 1) + __builtin_abort (); +} + + +#if HAVE_INT128 +static void +i128 (__int128 &i128i, unsigned __int128 &u128i) +{ + __int128 i128o; + unsigned __int128 u128o; +# pragma acc parallel \ + copyout (i128o) \ + firstprivate (i128i) \ + copyout(u128o) \ + firstprivate (u128i) + { + i128o = --i128i; + u128o = ++u128i; + } + if (i128o != i128i - 1) + __builtin_abort (); + if (u128o != u128i + 1) + __builtin_abort (); +} +#endif + + +static void +flt_dbl (float &flti, double &dbli) +{ + float flto; + double dblo; +#pragma acc parallel \ + copyout (flto) \ + firstprivate (flti) \ + copyout (dblo) \ + firstprivate (dbli) + { + flto = --flti; + dblo = --dbli; + } + if (flto != flti - 1) + __builtin_abort (); + if (dblo != dbli - 1) + __builtin_abort (); +} + + +static void +ldbl (long double &ldbli) +{ +#if DO_LONG_DOUBLE + long double ldblo; +# pragma acc parallel \ + copyout (ldblo) \ + firstprivate (ldbli) + { + ldblo = --ldbli; + } + if (ldblo != ldbli - 1) + __builtin_abort (); +#endif +} + + +static void +c (_Complex unsigned char &cuci, + _Complex signed short &cssi, + _Complex unsigned int &cuii, + _Complex signed long &csli, + _Complex float &cflti, + _Complex double &cdbli) +{ + _Complex unsigned char cuco; + _Complex signed short csso; + _Complex unsigned int cuio; + _Complex signed long cslo; + _Complex float cflto; + _Complex double cdblo; +#pragma acc parallel \ + copyout (cuco) \ + firstprivate (cuci) \ + copyout (csso) \ + firstprivate (cssi) \ + copyout (cuio) \ + firstprivate (cuii) \ + copyout (cslo) \ + firstprivate (csli) \ + copyout (cflto) \ + firstprivate (cflti) \ + copyout (cdblo) \ + firstprivate (cdbli) + { + cuco = (cuci += (1 + 1j)); + csso = (cssi -= (1 + 1j)); + cuio = (cuii += (1 + 1j)); + cslo = (csli -= (1 + 1j)); + cflto = (cflti -= (1 + 1j)); + cdblo = (cdbli -= (1 + 1j)); + } + if (cuco != cuci + (1 + 1j)) + __builtin_abort (); + if (csso != cssi - (1 + 1j)) + __builtin_abort (); + if (cuio != cuii + (1 + 1j)) + __builtin_abort (); + if (cslo != csli - (1 + 1j)) + __builtin_abort (); + if (cflto != cflti - (1 + 1j)) + __builtin_abort (); + if (cdblo != cdbli - (1 + 1j)) + __builtin_abort (); +} + + +static void +cldbl (_Complex long double &cldbli) +{ +#if DO_LONG_DOUBLE + _Complex long double cldblo; +# pragma acc parallel \ + copyout (cldblo) \ + firstprivate (cldbli) + { + cldblo = (cldbli -= (1 + 1j)); + } + if (cldblo != cldbli - (1 + 1j)) + __builtin_abort (); +#endif +} + + +#define V_EQ(v1, v2) \ + ({ \ + __typeof__ (v1) v_d = (v1) != (v2); \ + __typeof__ (v_d) v_0 = { 0 }; \ + memcmp (&v_d, &v_0, sizeof v_d) == 0; \ + }) + +typedef uint8_t __attribute__ ((vector_size (2 * sizeof (uint8_t)))) v2u8; +typedef int16_t __attribute__ ((vector_size (4 * sizeof (int16_t)))) v4i16; +typedef uint32_t __attribute__ ((vector_size (8 * sizeof (uint32_t)))) v8u32; +typedef int64_t __attribute__ ((vector_size (16 * sizeof (int64_t)))) v16i64; +typedef float __attribute__ ((vector_size (1 * sizeof (float)))) v1flt; +typedef float __attribute__ ((vector_size (2 * sizeof (float)))) v2flt; +typedef float __attribute__ ((vector_size (4 * sizeof (float)))) v4flt; +typedef float __attribute__ ((vector_size (8 * sizeof (float)))) v8flt; +typedef double __attribute__ ((vector_size (1 * sizeof (double)))) v1dbl; +typedef double __attribute__ ((vector_size (2 * sizeof (double)))) v2dbl; +typedef double __attribute__ ((vector_size (4 * sizeof (double)))) v4dbl; +typedef double __attribute__ ((vector_size (8 * sizeof (double)))) v8dbl; + +static void +v (v2u8 &v2u8i, v4i16 &v4i16i, v8u32 &v8u32i, v16i64 &v16i64i, + v1flt &v1flti, v2flt &v2flti, v4flt &v4flti, v8flt &v8flti, + v1dbl &v1dbli, v2dbl &v2dbli, v4dbl &v4dbli, v8dbl &v8dbli) +{ + v2u8 v2u8o; + v4i16 v4i16o; + v8u32 v8u32o; + v16i64 v16i64o; + v1flt v1flto; + v2flt v2flto; + v4flt v4flto; + v8flt v8flto; + v1dbl v1dblo; + v2dbl v2dblo; + v4dbl v4dblo; + v8dbl v8dblo; +#pragma acc parallel \ + copyout (v2u8o) \ + firstprivate (v2u8i) \ + copyout (v4i16o) \ + firstprivate (v4i16i) \ + copyout (v8u32o) \ + firstprivate (v8u32i) \ + copyout (v16i64o) \ + firstprivate (v16i64i) \ + copyout (v1flto) \ + firstprivate (v1flti) \ + copyout (v2flto) \ + firstprivate (v2flti) \ + copyout (v4flto) \ + firstprivate (v4flti) \ + copyout (v8flto) \ + firstprivate (v8flti) \ + copyout (v1dblo) \ + firstprivate (v1dbli) \ + copyout (v2dblo) \ + firstprivate (v2dbli) \ + copyout (v4dblo) \ + firstprivate (v4dbli) \ + copyout (v8dblo) \ + firstprivate (v8dbli) + { + v2u8o = ++v2u8i; + v4i16o = --v4i16i; + v8u32o = ++v8u32i; + v16i64o = --v16i64i; + v1flto = --v1flti; + v2flto = --v2flti; + v4flto = --v4flti; + v8flto = --v8flti; + v1dblo = --v1dbli; + v2dblo = --v2dbli; + v4dblo = --v4dbli; + v8dblo = --v8dbli; + } + if (!V_EQ (v2u8o, v2u8i + 1)) + __builtin_abort (); + if (!V_EQ (v4i16o, v4i16i - 1)) + __builtin_abort (); + if (!V_EQ (v8u32o, v8u32i + 1)) + __builtin_abort (); + if (!V_EQ (v16i64o, v16i64i - 1)) + __builtin_abort (); + if (!V_EQ (v1flto, v1flti - 1)) + __builtin_abort (); + if (!V_EQ (v2flto, v2flti - 1)) + __builtin_abort (); + if (!V_EQ (v4flto, v4flti - 1)) + __builtin_abort (); + if (!V_EQ (v8flto, v8flti - 1)) + __builtin_abort (); + if (!V_EQ (v1dblo, v1dbli - 1)) + __builtin_abort (); + if (!V_EQ (v2dblo, v2dbli - 1)) + __builtin_abort (); + if (!V_EQ (v4dblo, v4dbli - 1)) + __builtin_abort (); + if (!V_EQ (v8dblo, v8dbli - 1)) + __builtin_abort (); +} + + +/* "error: could not find an integer type of the same size as 'long double'" */ +#if HAVE_INT128 +typedef long double __attribute__ ((vector_size (1 * sizeof (long double)))) v1ldbl; +typedef long double __attribute__ ((vector_size (2 * sizeof (long double)))) v2ldbl; +typedef long double __attribute__ ((vector_size (4 * sizeof (long double)))) v4ldbl; +typedef long double __attribute__ ((vector_size (8 * sizeof (long double)))) v8ldbl; + +static void +vldbl (v1ldbl &v1ldbli, v2ldbl &v2ldbli, v4ldbl &v4ldbli, v8ldbl &v8ldbli) +{ +# if DO_LONG_DOUBLE + v1ldbl v1ldblo; + v2ldbl v2ldblo; + v4ldbl v4ldblo; + v8ldbl v8ldblo; +# pragma acc parallel \ + copyout (v1ldblo) \ + firstprivate (v1ldbli) \ + copyout (v2ldblo) \ + firstprivate (v2ldbli) \ + copyout (v4ldblo) \ + firstprivate (v4ldbli) \ + copyout (v8ldblo) \ + firstprivate (v8ldbli) + { + v1ldblo = --v1ldbli; + v2ldblo = --v2ldbli; + v4ldblo = --v4ldbli; + v8ldblo = --v8ldbli; + } + if (!V_EQ (v1ldblo, v1ldbli - 1)) + __builtin_abort (); + if (!V_EQ (v2ldblo, v2ldbli - 1)) + __builtin_abort (); + if (!V_EQ (v4ldblo, v4ldbli - 1)) + __builtin_abort (); + if (!V_EQ (v8ldblo, v8ldbli - 1)) + __builtin_abort (); +# endif +} +#endif + + +static void +vla (int &array_li) +{ + _Complex double array[array_li]; + uint32_t array_so; +#pragma acc parallel \ + copyout (array_so) + /* The gimplifier has created an implicit 'firstprivate' clause for the array + length. + { dg-final { scan-tree-dump {(?n)#pragma omp target oacc_parallel map\(from:array_so \[len: 4\]\) firstprivate\(} omplower } } + (C++ computes an intermediate value, so can't scan for 'firstprivate(array_li)'.) */ + { + array_so = sizeof array; + } + if (array_so != sizeof array) + __builtin_abort (); +} + + +#ifdef __cplusplus +} +#endif + + +int +main (int argc, char *argv[]) +{ + { + short s; + short *sp = &s; + p (sp); + } + + { + bool bi = true; + b (bi); + } + + { + int8_t i8i = -1; + uint8_t u8i = 1; + int16_t i16i = -2; + uint16_t u16i = 2; + int32_t i32i = -3; + uint32_t u32i = 3; + int64_t i64i = -4; + uint64_t u64i = 4; + i (i8i, u8i, i16i, u16i, i32i, u32i, i64i, u64i); + } + +#if HAVE_INT128 + { + __int128 i128i = -8; + unsigned __int128 u128i = 8; + i128 (i128i, u128i); + } +#endif + + { + float flti = .5; + double dbli = .25; + flt_dbl (flti, dbli); + } + + { + long double ldbli = .125; + ldbl (ldbli); + } + + { + _Complex unsigned char cuci = 1 + 2j; + _Complex signed short cssi = -2 + (-4j); + _Complex unsigned int cuii = 3 + 6j; + _Complex signed long csli = -4 + (-8j); + _Complex float cflti = .5 + 1j; + _Complex double cdbli = .25 + .5j; + c (cuci, cssi, cuii, csli, cflti, cdbli); + } + + { + _Complex long double cldbli = .125 + .25j; + cldbl (cldbli); + } + + { + v2u8 v2u8i = {2, 3}; + v4i16 v4i16i = { -1, -2, 5, 4 }; + v8u32 v8u32i = { 3, 6, 9, 11}; + v16i64 v16i64i = { 10, 21, -25, 44, 31, -1, 1, 222, -1, -12, 52, -44, -13, 1, -1, -222}; + v1flt v1flti = { -.5 }; + v2flt v2flti = { 1.5, -2.5 }; + v4flt v4flti = { 3.5, -4.5, -5.5, -6.5 }; + v8flt v8flti = { -7.5, 8.5, 9.5, 10.5, -11.5, -12.5, 13.5, 14.5 }; + v1dbl v1dbli = { 0.25 }; + v2dbl v2dbli = { -1.25, -2.25 }; + v4dbl v4dbli = { 3.25, -4.25, 5.25, 6.25 }; + v8dbl v8dbli = { 7.25, 8.25, -9.25, -10.25, -11.25, 12.25, 13.25, -14.25 }; + v (v2u8i, v4i16i, v8u32i, v16i64i, + v1flti, v2flti, v4flti, v8flti, + v1dbli, v2dbli, v4dbli, v8dbli); + } + +#if HAVE_INT128 + { + v1ldbl v1ldbli = { -0.125 }; + v2ldbl v2ldbli = { 1.125, -2.125 }; + v4ldbl v4ldbli = { -3.125, -4.125, 5.125, -6.125 }; + v8ldbl v8ldbli = { 7.125, -8.125, -9.125, 10.125, 11.125, 12.125, 13.125, 14.125 }; + vldbl (v1ldbli, v2ldbli, v4ldbli, v8ldbli); + } +#endif + + vla (argc); + + return 0; +} diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index ef6397f1d28b..61358ee5dcf3 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,5 +1,9 @@ 2019-06-18 Thomas Schwinge + * testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C: New file. + * testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c: + Likewise. + * testsuite/libgomp.fortran/allocatable3.f90: Add missing results check. diff --git a/libgomp/testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C b/libgomp/testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C new file mode 100644 index 000000000000..c8dba9e5d1c7 --- /dev/null +++ b/libgomp/testsuite/libgomp.oacc-c++/firstprivate-mappings-1.C @@ -0,0 +1,3 @@ +/* Verify OpenACC 'firstprivate' mappings for C++ reference types. */ + +#include "../../../gcc/testsuite/g++.dg/goacc/firstprivate-mappings-1.C" diff --git a/libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c b/libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c new file mode 100644 index 000000000000..4a8b310414cf --- /dev/null +++ b/libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-mappings-1.c @@ -0,0 +1,6 @@ +/* Verify OpenACC 'firstprivate' mappings. */ + +/* { dg-additional-options "-Wno-psabi" } as apparently we're doing funny + things with vector arguments. */ + +#include "../../../gcc/testsuite/c-c++-common/goacc/firstprivate-mappings-1.c" -- 2.20.1