From patchwork Thu May 31 19:57:57 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: will schmidt X-Patchwork-Id: 923579 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-478868-incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=) Authentication-Results: ozlabs.org; dmarc=none (p=none dis=none) header.from=vnet.ibm.com Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b="VSsCN+GX"; 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 40xdbL3Fz7z9s1B for ; Fri, 1 Jun 2018 05:59:41 +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 :subject:from:reply-to:to:cc:in-reply-to:references:content-type :date:mime-version:content-transfer-encoding:message-id; q=dns; s=default; b=Oak/5PjTDhkOpTiRaGeJVuCb7k/f2hvOtAQC0OW1kgmj5+4JqT RPKY+EoPAFFViXsk6ZgWqY9r5MnY04tu0ScjzLGJHK60aihgBKhZ/NPoap4DDu2Z 4LwxxbPAwRKoIGBfXwrEcSRQl44nUbvXXVLNwIG3/cm2KUCvOZhjlndTk= 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 :subject:from:reply-to:to:cc:in-reply-to:references:content-type :date:mime-version:content-transfer-encoding:message-id; s= default; bh=YNFm8EhEEp3/iH2gdOwroioIaKU=; b=VSsCN+GXZ2Thhc1p2QBI smxSGuRE/7iNpJ84Cvz5minc0bN6/JxLpV9hbJ1zlXkR5V7LbKP8R+qeZy02pd8I dB1MZq82fs1JQUt5kc1AQD5/kYct3r9GLpiakuQ2Wq1VplSBYS6hXcBCjgExNTHQ g6U8FPd7+K9KGKHrTtCtx9I= Received: (qmail 72757 invoked by alias); 31 May 2018 19:59:24 -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 72601 invoked by uid 89); 31 May 2018 19:59:23 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-27.0 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RCVD_IN_DNSWL_LOW, SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: mx0a-001b2d01.pphosted.com Received: from mx0b-001b2d01.pphosted.com (HELO mx0a-001b2d01.pphosted.com) (148.163.158.5) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 31 May 2018 19:59:20 +0000 Received: from pps.filterd (m0098414.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w4VJnHbt037791 for ; Thu, 31 May 2018 15:59:18 -0400 Received: from e32.co.us.ibm.com (e32.co.us.ibm.com [32.97.110.150]) by mx0b-001b2d01.pphosted.com with ESMTP id 2janm850cj-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 31 May 2018 15:59:18 -0400 Received: from localhost by e32.co.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Thu, 31 May 2018 13:59:17 -0600 Received: from b03cxnp07028.gho.boulder.ibm.com (9.17.130.15) by e32.co.us.ibm.com (192.168.1.132) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256/256) Thu, 31 May 2018 13:59:14 -0600 Received: from b03ledav003.gho.boulder.ibm.com (b03ledav003.gho.boulder.ibm.com [9.17.130.234]) by b03cxnp07028.gho.boulder.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id w4VJvweN14483922 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Thu, 31 May 2018 12:57:58 -0700 Received: from b03ledav003.gho.boulder.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 89CC66A04F; Thu, 31 May 2018 13:57:58 -0600 (MDT) Received: from b03ledav003.gho.boulder.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 3D5466A047; Thu, 31 May 2018 13:57:58 -0600 (MDT) Received: from [9.10.86.107] (unknown [9.10.86.107]) by b03ledav003.gho.boulder.ibm.com (Postfix) with ESMTP; Thu, 31 May 2018 13:57:58 -0600 (MDT) Subject: [PATCH, rs6000 4/9] Testcase coverage for vec_xst() instrinsics From: Will Schmidt Reply-To: will_schmidt@vnet.ibm.com To: Segher Boessenkool Cc: Bill Schmidt , David Edelsohn , GCC Patches In-Reply-To: <1527794851.6620.20.camel@brimstone.rchland.ibm.com> References: <1527794851.6620.20.camel@brimstone.rchland.ibm.com> Date: Thu, 31 May 2018 14:57:57 -0500 Mime-Version: 1.0 X-TM-AS-GCONF: 00 x-cbid: 18053119-0004-0000-0000-00001435B96B X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00009104; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000264; SDB=6.01040445; UDB=6.00532598; IPR=6.00819574; MB=3.00021398; MTD=3.00000008; XFM=3.00000015; UTC=2018-05-31 19:59:15 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 18053119-0005-0000-0000-0000877DB774 Message-Id: <1527796677.15912.28.camel@brimstone.rchland.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2018-05-31_11:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1805220000 definitions=main-1805310220 X-IsSubscribed: yes Hi, Testcase coverage for variations of the vec_xst() intrinsic. Regtest clean across assorted Linux systems (p6-p9). OK for trunk? Thanks, -Will [testsuite] 2018-05-31 Will Schmidt * gcc.target/powerpc/fold-vec-store-vec_xst-char.c : New. * gcc.target/powerpc/fold-vec-store-vec_xst-double.c : New. * gcc.target/powerpc/fold-vec-store-vec_xst-float.c : New. * gcc.target/powerpc/fold-vec-store-vec_xst-int.c : New. * gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c : New. * gcc.target/powerpc/fold-vec-store-vec_xst-short.c : New. diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-char.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-char.c new file mode 100644 index 0000000..76dacf5 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-char.c @@ -0,0 +1,37 @@ +/* Verify that overloaded built-ins for vec_xst with char + inputs produce the right code. */ + +/* { dg-do compile { target { powerpc*-*-linux* } } } */ +/* { dg-require-effective-target powerpc_vsx_ok } */ +/* { dg-options "-mvsx -O2" } */ + +#include +#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) \ +{ \ + vec_xst (value, offset, saveto); \ +} + +#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) \ +{ \ + vec_xst (value, CST_OFFSET, saveto); \ +} + +BUILD_VAR_TEST( test1, vector signed char, signed long long, signed char ); +BUILD_VAR_TEST( test2, vector signed char, signed int, signed char ); +BUILD_CST_TEST( test3, vector signed char, 12, signed char ); +BUILD_VAR_TEST( test4, vector unsigned char, signed long long, unsigned char ); +BUILD_VAR_TEST( test5, vector unsigned char, signed int, unsigned char ); +BUILD_CST_TEST( test6, vector unsigned char, 12, unsigned char ); + +BUILD_VAR_TEST( test7, vector signed char, signed long long, vector signed char ); +BUILD_VAR_TEST( test8, vector signed char, signed int, vector signed char ); +BUILD_CST_TEST( test9, vector signed char, 12, vector signed char ); +BUILD_VAR_TEST( test10, vector unsigned char, signed long long, vector unsigned char ); +BUILD_VAR_TEST( test11, vector unsigned char, signed int, vector unsigned char ); +BUILD_CST_TEST( test12, vector unsigned char, 12, vector unsigned char ); + +/* { dg-final { scan-assembler-times "stxvw4x|stxvd2x|stxvx|stvx" 12 } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-double.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-double.c new file mode 100644 index 0000000..a9cf409 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-double.c @@ -0,0 +1,31 @@ +/* Verify that overloaded built-ins for vec_xst with double + inputs produce the right code. */ + +/* { dg-do compile { target { powerpc*-*-linux* } } } */ +/* { dg-require-effective-target powerpc_vsx_ok } */ +/* { dg-options "-mvsx -O2" } */ + +#include +#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) \ +{ \ + vec_xst (value, offset, saveto); \ +} + +#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) \ +{ \ + vec_xst (value, CST_OFFSET, saveto); \ +} + +BUILD_VAR_TEST( test1, vector double, signed long long, double ); +BUILD_VAR_TEST( test2, vector double, signed int, double ); +BUILD_CST_TEST( test3, vector double, 12, double ); + +BUILD_VAR_TEST( test7, vector double, signed long long, vector double ); +BUILD_VAR_TEST( test8, vector double, signed int, vector double ); +BUILD_CST_TEST( test9, vector double, 12, vector double ); + +/* { dg-final { scan-assembler-times "stxvd2x|stxvx|stvx" 6 } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-float.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-float.c new file mode 100644 index 0000000..a5c805b2 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-float.c @@ -0,0 +1,31 @@ +/* Verify that overloaded built-ins for vec_xst with float + inputs produce the right code. */ + +/* { dg-do compile { target { powerpc*-*-linux* } } } */ +/* { dg-require-effective-target powerpc_vsx_ok } */ +/* { dg-options "-mvsx -O2" } */ + +#include +#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) \ +{ \ + vec_xst (value, offset, saveto); \ +} + +#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) \ +{ \ + vec_xst (value, CST_OFFSET, saveto); \ +} + +BUILD_VAR_TEST( test1, vector float, signed long long, float ); +BUILD_VAR_TEST( test2, vector float, signed int, float ); +BUILD_CST_TEST( test3, vector float, 12, float ); + +BUILD_VAR_TEST( test7, vector float, signed long long, vector float ); +BUILD_VAR_TEST( test8, vector float, signed int, vector float ); +BUILD_CST_TEST( test9, vector float, 12, vector float ); + +/* { dg-final { scan-assembler-times "stxvd2x|stxvx|stvx" 6 } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-int.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-int.c new file mode 100644 index 0000000..99230b9 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-int.c @@ -0,0 +1,37 @@ +/* Verify that overloaded built-ins for vec_xst with int + inputs produce the right code. */ + +/* { dg-do compile { target { powerpc*-*-linux* } } } */ +/* { dg-require-effective-target powerpc_vsx_ok } */ +/* { dg-options "-mvsx -O2" } */ + +#include +#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) \ +{ \ + vec_xst (value, offset, saveto); \ +} + +#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) \ +{ \ + vec_xst (value, CST_OFFSET, saveto); \ +} + +BUILD_VAR_TEST( test1, vector signed int, signed long long, signed int ); +BUILD_VAR_TEST( test2, vector signed int, signed int, signed int ); +BUILD_CST_TEST( test3, vector signed int, 12, signed int ); +BUILD_VAR_TEST( test4, vector unsigned int, signed long long, unsigned int ); +BUILD_VAR_TEST( test5, vector unsigned int, signed int, unsigned int ); +BUILD_CST_TEST( test6, vector unsigned int, 12, unsigned int ); + +BUILD_VAR_TEST( test7, vector signed int, signed long long, vector signed int ); +BUILD_VAR_TEST( test8, vector signed int, signed int, vector signed int ); +BUILD_CST_TEST( test9, vector signed int, 12, vector signed int ); +BUILD_VAR_TEST( test10, vector unsigned int, signed long long, vector unsigned int ); +BUILD_VAR_TEST( test11, vector unsigned int, signed int, vector unsigned int ); +BUILD_CST_TEST( test12, vector unsigned int, 12, vector unsigned int ); + +/* { dg-final { scan-assembler-times "stxvw4x|stxvd2x|stxvx|stvx" 12 } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c new file mode 100644 index 0000000..80c5ec1 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c @@ -0,0 +1,37 @@ +/* Verify that overloaded built-ins for vec_xst with long long + inputs produce the right code. */ + +/* { dg-do compile { target { powerpc*-*-linux* } } } */ +/* { dg-require-effective-target powerpc_vsx_ok } */ +/* { dg-options "-mvsx -O2" } */ + +#include +#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) \ +{ \ + vec_xst (value, offset, saveto); \ +} + +#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) \ +{ \ + vec_xst (value, CST_OFFSET, saveto); \ +} + +BUILD_VAR_TEST( test1, vector signed long long, signed long long, signed long long ); +BUILD_VAR_TEST( test2, vector signed long long, signed int, signed long long ); +BUILD_CST_TEST( test3, vector signed long long, 12, signed long long ); +BUILD_VAR_TEST( test4, vector unsigned long long, signed long long, unsigned long long ); +BUILD_VAR_TEST( test5, vector unsigned long long, signed int, unsigned long long ); +BUILD_CST_TEST( test6, vector unsigned long long, 12, unsigned long long ); + +BUILD_VAR_TEST( test7, vector signed long long, signed long long, vector signed long long ); +BUILD_VAR_TEST( test8, vector signed long long, signed int, vector signed long long ); +BUILD_CST_TEST( test9, vector signed long long, 12, vector signed long long ); +BUILD_VAR_TEST( test10, vector unsigned long long, signed long long, vector unsigned long long ); +BUILD_VAR_TEST( test11, vector unsigned long long, signed int, vector unsigned long long ); +BUILD_CST_TEST( test12, vector unsigned long long, 12, vector unsigned long long ); + +/* { dg-final { scan-assembler-times "stxvd2x|stxvx|stvx" 12 } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-short.c b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-short.c new file mode 100644 index 0000000..b4631c2 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-store-vec_xst-short.c @@ -0,0 +1,37 @@ +/* Verify that overloaded built-ins for vec_xst with short + inputs produce the right code. */ + +/* { dg-do compile { target { powerpc*-*-linux* } } } */ +/* { dg-require-effective-target powerpc_vsx_ok } */ +/* { dg-options "-mvsx -O2" } */ + +#include +#define BUILD_VAR_TEST(TESTNAME1, VALUE, VAR_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _var (VALUE value, VAR_OFFSET offset, SAVETO * saveto) \ +{ \ + vec_xst (value, offset, saveto); \ +} + +#define BUILD_CST_TEST(TESTNAME1, VALUE, CST_OFFSET, SAVETO) \ +void \ +TESTNAME1 ## _cst (VALUE value, SAVETO * saveto) \ +{ \ + vec_xst (value, CST_OFFSET, saveto); \ +} + +BUILD_VAR_TEST( test1, vector signed short, signed long long, signed short ); +BUILD_VAR_TEST( test2, vector signed short, signed int, signed short ); +BUILD_CST_TEST( test3, vector signed short, 12, signed short ); +BUILD_VAR_TEST( test4, vector unsigned short, signed long long, unsigned short ); +BUILD_VAR_TEST( test5, vector unsigned short, signed int, unsigned short ); +BUILD_CST_TEST( test6, vector unsigned short, 12, unsigned short ); + +BUILD_VAR_TEST( test7, vector signed short, signed long long, vector signed short ); +BUILD_VAR_TEST( test8, vector signed short, signed int, vector signed short ); +BUILD_CST_TEST( test9, vector signed short, 12, vector signed short ); +BUILD_VAR_TEST( test10, vector unsigned short, signed long long, vector unsigned short ); +BUILD_VAR_TEST( test11, vector unsigned short, signed int, vector unsigned short ); +BUILD_CST_TEST( test12, vector unsigned short, 12, vector unsigned short ); + +/* { dg-final { scan-assembler-times "stxvw4x|stxvd2x|stxvx|stvx" 12 } } */