From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 78707 invoked by alias); 12 Aug 2015 13:41:28 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 78696 invoked by uid 89); 12 Aug 2015 13:41:28 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.5 required=5.0 tests=AWL,BAYES_20,KAM_ASCII_DIVIDERS,KAM_LAZY_DOMAIN_SECURITY,RP_MATCHES_RCVD autolearn=no version=3.3.2 X-HELO: foss.arm.com Received: from foss.arm.com (HELO foss.arm.com) (217.140.101.70) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 12 Aug 2015 13:41:27 +0000 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.72.51.249]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 7FCC745C; Wed, 12 Aug 2015 06:41:20 -0700 (PDT) Received: from e106327-lin.cambridge.arm.com (e106327-lin.cambridge.arm.com [10.2.206.124]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id E76823F52A; Wed, 12 Aug 2015 06:41:22 -0700 (PDT) Message-ID: <55CB4D01.9020109@foss.arm.com> Date: Wed, 12 Aug 2015 13:41:00 -0000 From: Matthew Wahab User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.8.0 MIME-Version: 1.0 To: James Greenhalgh CC: gcc-patches Subject: Re: [Aarch64][target/PR 67143] Use correct constraints on operands for atomic operations. References: <55C9F321.2080807@foss.arm.com> <20150811140742.GA12421@arm.com> In-Reply-To: <20150811140742.GA12421@arm.com> Content-Type: multipart/mixed; boundary="------------040704010205070004030601" X-IsSubscribed: yes X-SW-Source: 2015-08/txt/msg00604.txt.bz2 This is a multi-part message in MIME format. --------------040704010205070004030601 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Content-length: 2304 On 11/08/15 15:07, James Greenhalgh wrote: > On Tue, Aug 11, 2015 at 02:05:37PM +0100, Matthew Wahab wrote: >> >> This patch reworks the atomic operation patterns to select the >> appropriate constraint for the operation. The logical operations take >> the constraints specified by the current lconst_atomic mode iterator >> while the arithmetic operations (plus, sub) take constraint "I". > > I'm worried this still gives us a mismatch between constraints and > predicates. The relevant predicates here are: > > (define_predicate "aarch64_plus_operand" > (ior (match_operand 0 "register_operand") > (match_operand 0 "aarch64_plus_immediate"))) > > (define_predicate "aarch64_plus_immediate" > (and (match_code "const_int") > (ior (match_test "aarch64_uimm12_shift (INTVAL (op))") > (match_test "aarch64_uimm12_shift (-INTVAL (op))")))) > > But our constraint only permits: > > (define_constraint "I" > "A constant that can be used with an ADD operation." > (and (match_code "const_int") > (match_test "aarch64_uimm12_shift (ival)"))) > > Does this mean we are now loading constants we don't need to in to > registers? I don't think we could cause this to ICE - but are we > generating less good code than we would like? Updated the patch to make the constraints for the arithmetic operations "IJ", which preserves the existing behaviour. Also added two cases to the gcc.target/aarch64/atomic-op-imm.c test to check the behaviour with large nagative numbers. Tested for aarch64-none-eabi with cross-compiled check-gcc and for aarch64-none-linux-gnu with native bootstrap and make check. Ok? Matthew gcc/ 2015-08-12 Matthew Wahab PR target/67143 * config/aarch64/atomic.md (atomic_): Replace 'lconst_atomic' with 'const_atomic'. (atomic_fetch_): Likewise. (atomic__fetch): Likewise. * config/aarch64/iterators.md (lconst-atomic): Move below 'const_atomic'. (const_atomic): New. gcc/testsuite/ 2015-08-12 Matthew Wahab Matthias Klose PR target/67143 * gcc.target/aarch64/atomic-op-imm.c (atomic_fetch_add_negative_RELAXED): New. (atomic_fetch_sub_negative_ACQUIRE): New. * gcc.target/aarch64/pr67143.c: New --------------040704010205070004030601 Content-Type: text/x-patch; name="atomic_consts_v2.patch" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="atomic_consts_v2.patch" Content-length: 4366 diff --git a/gcc/config/aarch64/atomics.md b/gcc/config/aarch64/atomics.md index 1a38ac0..6e6be99 100644 --- a/gcc/config/aarch64/atomics.md +++ b/gcc/config/aarch64/atomics.md @@ -119,7 +119,7 @@ [(set (match_operand:ALLI 0 "aarch64_sync_memory_operand" "+Q") (unspec_volatile:ALLI [(atomic_op:ALLI (match_dup 0) - (match_operand:ALLI 1 "" "r")) + (match_operand:ALLI 1 "" "r")) (match_operand:SI 2 "const_int_operand")] ;; model UNSPECV_ATOMIC_OP)) (clobber (reg:CC CC_REGNUM)) @@ -164,7 +164,7 @@ (set (match_dup 1) (unspec_volatile:ALLI [(atomic_op:ALLI (match_dup 1) - (match_operand:ALLI 2 "" "r")) + (match_operand:ALLI 2 "" "r")) (match_operand:SI 3 "const_int_operand")] ;; model UNSPECV_ATOMIC_OP)) (clobber (reg:CC CC_REGNUM)) @@ -209,7 +209,7 @@ [(set (match_operand:ALLI 0 "register_operand" "=&r") (atomic_op:ALLI (match_operand:ALLI 1 "aarch64_sync_memory_operand" "+Q") - (match_operand:ALLI 2 "" "r"))) + (match_operand:ALLI 2 "" "r"))) (set (match_dup 1) (unspec_volatile:ALLI [(match_dup 1) (match_dup 2) diff --git a/gcc/config/aarch64/iterators.md b/gcc/config/aarch64/iterators.md index 5d7966d..b8a45d1 100644 --- a/gcc/config/aarch64/iterators.md +++ b/gcc/config/aarch64/iterators.md @@ -345,9 +345,6 @@ ;; Attribute to describe constants acceptable in logical operations (define_mode_attr lconst [(SI "K") (DI "L")]) -;; Attribute to describe constants acceptable in atomic logical operations -(define_mode_attr lconst_atomic [(QI "K") (HI "K") (SI "K") (DI "L")]) - ;; Map a mode to a specific constraint character. (define_mode_attr cmode [(QI "q") (HI "h") (SI "s") (DI "d")]) @@ -843,6 +840,16 @@ (plus "aarch64_plus_operand") (minus "aarch64_plus_operand")]) +;; Constants acceptable for atomic operations. +;; This definition must appear in this file before the iterators it refers to. +(define_code_attr const_atomic + [(plus "IJ") (minus "IJ") + (xor "") (ior "") + (and "")]) + +;; Attribute to describe constants acceptable in atomic logical operations +(define_mode_attr lconst_atomic [(QI "K") (HI "K") (SI "K") (DI "L")]) + ;; ------------------------------------------------------------------- ;; Int Iterators. ;; ------------------------------------------------------------------- diff --git a/gcc/testsuite/gcc.target/aarch64/atomic-op-imm.c b/gcc/testsuite/gcc.target/aarch64/atomic-op-imm.c index 6c6f7e1..47d7a96 100644 --- a/gcc/testsuite/gcc.target/aarch64/atomic-op-imm.c +++ b/gcc/testsuite/gcc.target/aarch64/atomic-op-imm.c @@ -16,6 +16,18 @@ atomic_fetch_sub_ACQUIRE () } int +atomic_fetch_add_negative_RELAXED () +{ + return __atomic_fetch_add (&v, -4096, __ATOMIC_RELAXED); +} + +int +atomic_fetch_sub_negative_ACQUIRE () +{ + return __atomic_fetch_sub (&v, -4096, __ATOMIC_ACQUIRE); +} + +int atomic_fetch_and_SEQ_CST () { return __atomic_fetch_and (&v, 4096, __ATOMIC_SEQ_CST); @@ -75,4 +87,4 @@ atomic_or_fetch_CONSUME () return __atomic_or_fetch (&v, 4096, __ATOMIC_CONSUME); } -/* { dg-final { scan-assembler-times "\tw\[0-9\]+, w\[0-9\]+, #*4096" 12 } } */ +/* { dg-final { scan-assembler-times "\tw\[0-9\]+, w\[0-9\]+, #*4096" 14 } } */ diff --git a/gcc/testsuite/gcc.target/aarch64/pr67143.c b/gcc/testsuite/gcc.target/aarch64/pr67143.c new file mode 100644 index 0000000..9335b33 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/pr67143.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +long a, c; +int b; +int d; +void ut_dbg_assertion_failed() __attribute__((noreturn)); +long dict_index_is_spatial(int *); +void btr_block_get_func(char *); +long btr_page_get_level_low(unsigned char *); +void btr_validate_level(long p1) { + unsigned char *e; + while (p1 != btr_page_get_level_low(e)) { + if (__builtin_expect(b, 0)) + ut_dbg_assertion_failed(); + if (dict_index_is_spatial(&d)) + while (c != 5535) { + __sync_add_and_fetch(&a, 536870912); + btr_block_get_func(""); + } + } + for (long i; i; ++i) + btr_validate_level(-i); +} --------------040704010205070004030601--