From patchwork Fri Nov 8 09:44:49 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Sandiford X-Patchwork-Id: 1191777 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=209.132.180.131; helo=sourceware.org; envelope-from=gcc-patches-return-512791-incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=) Authentication-Results: ozlabs.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b="sVsYBkhm"; 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 478b3M41Ymz9sP6 for ; Fri, 8 Nov 2019 20:45:01 +1100 (AEDT) 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:cc:subject:date:message-id:mime-version:content-type; q=dns; s=default; b=qkpm6sl5cI9Tb7O1vUJUguzFEmGbF9GceXVy3nu89+iIzOhGzk onuJvB0u3Wqv22VhGaGpTpTaCv2kA+ttS2Z3LUREIjny5JblHf71wZ+wpb/daQxn tYztqtD1ec+VFnmt5GS46dPN3NxtrE1t6quXWqkApP73Y+Yj8SBqVNDoo= 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:cc:subject:date:message-id:mime-version:content-type; s= default; bh=NV1RHVolvJBjfRp39ZH7vRW0P4c=; b=sVsYBkhmAtMdmbb8trCL IBC3McofdpLOAoOJs7hPj+1l3E01n8xA5i4X9pD247y/+SGGY2Pt8A0jZ+nZZAMn O/1VPBzZszvKPvMswivjPV1MR2FVKGMC1ZczQP1UwNohrPZZuE+n2JgW2KWEIdfO Xo9CMxqLYe5eI6vY/8Mbhz4= Received: (qmail 129671 invoked by alias); 8 Nov 2019 09:44:54 -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 129660 invoked by uid 89); 8 Nov 2019 09:44:54 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-9.3 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_2, GIT_PATCH_3, KAM_ASCII_DIVIDERS, SPF_PASS autolearn=ham version=3.3.1 spammy= X-HELO: foss.arm.com Received: from foss.arm.com (HELO foss.arm.com) (217.140.110.172) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 08 Nov 2019 09:44:53 +0000 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id CC85831B; Fri, 8 Nov 2019 01:44:50 -0800 (PST) Received: from localhost (e121540-lin.manchester.arm.com [10.32.98.126]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 56B413F71A; Fri, 8 Nov 2019 01:44:50 -0800 (PST) From: Richard Sandiford To: gcc-patches@gcc.gnu.org Mail-Followup-To: gcc-patches@gcc.gnu.org, szabolcs.nagy@arm.com, richard.sandiford@arm.com Cc: szabolcs.nagy@arm.com Subject: [committed] Handle POLY_INT_CST in copy_reference_ops_from_ref Date: Fri, 08 Nov 2019 09:44:49 +0000 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 X-IsSubscribed: yes Tested on aarch64-linux-gnu and x86_64-linux-gnu. Applied as obvious. Richard 2019-11-08 Richard Sandiford gcc/ * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle POLY_INT_CST. gcc/testsuite/ * gcc.target/aarch64/sve/acle/general/deref_2.c: New test. * gcc.target/aarch64/sve/acle/general/whilele_8.c: Likewise. * gcc.target/aarch64/sve/acle/general/whilelt_4.c: Likewise. Index: gcc/tree-ssa-sccvn.c =================================================================== --- gcc/tree-ssa-sccvn.c 2019-10-31 17:15:21.594544316 +0000 +++ gcc/tree-ssa-sccvn.c 2019-11-08 09:43:07.927488162 +0000 @@ -928,6 +928,7 @@ copy_reference_ops_from_ref (tree ref, v break; case STRING_CST: case INTEGER_CST: + case POLY_INT_CST: case COMPLEX_CST: case VECTOR_CST: case REAL_CST: Index: gcc/testsuite/gcc.target/aarch64/sve/acle/general/deref_2.c =================================================================== --- /dev/null 2019-09-17 11:41:18.176664108 +0100 +++ gcc/testsuite/gcc.target/aarch64/sve/acle/general/deref_2.c 2019-11-08 09:43:07.927488162 +0000 @@ -0,0 +1,20 @@ +/* { dg-options "-O2" } */ + +#include +#include + +inline void +copy (void *dst, svbool_t src) +{ + memcpy (dst, &src, svcntd ()); +} + +uint64_t +f (int32_t *x, int32_t *y) +{ + union { uint64_t x; char c[8]; } u; + svbool_t pg = svptrue_b32 (); + copy (u.c, svcmpeq (pg, svld1 (pg, x), 0)); + copy (u.c + 4, svcmpeq (pg, svld1 (pg, y), 1)); + return u.x; +} Index: gcc/testsuite/gcc.target/aarch64/sve/acle/general/whilele_8.c =================================================================== --- /dev/null 2019-09-17 11:41:18.176664108 +0100 +++ gcc/testsuite/gcc.target/aarch64/sve/acle/general/whilele_8.c 2019-11-08 09:43:07.927488162 +0000 @@ -0,0 +1,33 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +#include + +/* { dg-final { scan-assembler-not {\tptrue\t} } } */ +/* { dg-final { scan-assembler-not {\tpfalse\t} } } */ + +void +test1 (svbool_t *ptr) +{ + *ptr = svwhilele_b32_s32 (-4, 0); +} + +void +test2 (svbool_t *ptr) +{ + *ptr = svwhilele_b16_s64 (svcntb (), svcntb () + 8); +} + +void +test3 (svbool_t *ptr) +{ + *ptr = svwhilele_b64_s32 (0, 2); +} + +void +test4 (svbool_t *ptr) +{ + *ptr = svwhilele_b8_s64 (16, svcntb ()); +} + +/* { dg-final { scan-assembler-times {\twhilel[et]\t} 4 } } */ Index: gcc/testsuite/gcc.target/aarch64/sve/acle/general/whilelt_4.c =================================================================== --- /dev/null 2019-09-17 11:41:18.176664108 +0100 +++ gcc/testsuite/gcc.target/aarch64/sve/acle/general/whilelt_4.c 2019-11-08 09:43:07.927488162 +0000 @@ -0,0 +1,33 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +#include + +/* { dg-final { scan-assembler-not {\tptrue\t} } } */ +/* { dg-final { scan-assembler-not {\tpfalse\t} } } */ + +void +test1 (svbool_t *ptr) +{ + *ptr = svwhilelt_b32_s32 (-4, 1); +} + +void +test2 (svbool_t *ptr) +{ + *ptr = svwhilelt_b16_s64 (svcntb (), svcntb () + 9); +} + +void +test3 (svbool_t *ptr) +{ + *ptr = svwhilelt_b64_s32 (0, 3); +} + +void +test4 (svbool_t *ptr) +{ + *ptr = svwhilelt_b8_s64 (16, svcntb ()); +} + +/* { dg-final { scan-assembler-times {\twhilel[et]\t} 4 } } */