From patchwork Wed Dec 1 10:25:25 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Pierre-Marie de Rodat X-Patchwork-Id: 48329 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 0B5753858403 for ; Wed, 1 Dec 2021 10:30:54 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0B5753858403 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1638354654; bh=oj8lLkkalomSyiavMnnWtDkOmrkLCHZrlVB+Gy48SnQ=; h=Date:To:Subject:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:Cc:From; b=bOcteSKDt0nXGw//x4664+94RPBxxSytRty/RyHhbEaDHlpwOjn/xvXs6R0ZsEV05 ZE8/nQ0KGckuKYH1wpvz7fQ9SQpjcmDaMCkcoh5mGuPKcymcVcWS19iNTkE4UEI3j1 ZRVGpnp4jCR6EcB7sRfojFahxafwrNPXFst9U464= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x430.google.com (mail-wr1-x430.google.com [IPv6:2a00:1450:4864:20::430]) by sourceware.org (Postfix) with ESMTPS id 1E3C93858014 for ; Wed, 1 Dec 2021 10:25:28 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 1E3C93858014 Received: by mail-wr1-x430.google.com with SMTP id u1so51025156wru.13 for ; Wed, 01 Dec 2021 02:25:28 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition:content-transfer-encoding; bh=oj8lLkkalomSyiavMnnWtDkOmrkLCHZrlVB+Gy48SnQ=; b=qtHgVg46vxhFeqUS/ccM561J208ecknu/bNgCULEFUsXAuQGTzNJDqdAtHCIo80BUg 7EzkwlFFo6TlCqtkBryCorOZ8AFpv7xCYyxcc/9SQgl/6PYHaC23RF78B1MlzkI07A1R 1egTq8peu8hf3ahz9pvsqyKZgwB9wq7TS0jV9YUICpnrV4M/idiONvcSNQAqj/zS+TNm UdWFrXCA5Tk4FmQUdygxRkTFPHoMofwkDenMEZpIqyDZM22Cqv1iOJUUp0kQ1TgtiPyO 2G02XxI49mG7r1iMHm2itbRvJtwmg1zMnYGTTYMQFRo3IRe40IfM+RSwYhVM8KCBnBfy UNYQ== X-Gm-Message-State: AOAM5309PYB7nG91vgp0JN+rqElJ6al9Q0A7rqfUhb2oOKwbnSH6ofAx IusSI8CQaWghgt4y/ivGgPTOjsykcEQW46Kt X-Google-Smtp-Source: ABdhPJyBIsNqGp0Xr1Ew/EPnO1z8Yt9yvlwpm2uniTodXb9/KGdPXIq4/0aHJBEhDwqicbSd909T+g== X-Received: by 2002:adf:f189:: with SMTP id h9mr5825386wro.463.1638354327074; Wed, 01 Dec 2021 02:25:27 -0800 (PST) Received: from adacore.com ([45.147.211.82]) by smtp.gmail.com with ESMTPSA id f8sm1333109wmf.2.2021.12.01.02.25.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 01 Dec 2021 02:25:26 -0800 (PST) Date: Wed, 1 Dec 2021 10:25:25 +0000 To: gcc-patches@gcc.gnu.org Subject: [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64 Message-ID: <20211201102525.GA1635067@adacore.com> MIME-Version: 1.0 Content-Disposition: inline X-Spam-Status: No, score=-13.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_NUMSUBJECT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, 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: , X-Patchwork-Original-From: Pierre-Marie de Rodat via Gcc-patches From: Pierre-Marie de Rodat Reply-To: Pierre-Marie de Rodat Cc: Piotr Trojanek Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" Unit System.Atomic_Counters on ARM and AARCH64 is supported via GCC builtins. This patch makes the documentation consistent with Makefile.rtl and with comments in s-atocou.ads. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * doc/gnat_rm/the_gnat_library.rst (System.Atomic_Counters): Sync description with comment in s-atocou.ads. * gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate. diff --git a/gcc/ada/doc/gnat_rm/the_gnat_library.rst b/gcc/ada/doc/gnat_rm/the_gnat_library.rst --- a/gcc/ada/doc/gnat_rm/the_gnat_library.rst +++ b/gcc/ada/doc/gnat_rm/the_gnat_library.rst @@ -2163,7 +2163,7 @@ This package provides the declaration of an atomic counter type, together with efficient routines (using hardware synchronization primitives) for incrementing, decrementing, and testing of these counters. This package is implemented -on most targets, including all Alpha, ia64, PowerPC, SPARC V9, +on most targets, including all Alpha, AARCH64, ARM, ia64, PowerPC, SPARC V9, x86, and x86_64 platforms. .. _`System.Memory_(s-memory.ads)`: diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi --- a/gcc/ada/gnat-style.texi +++ b/gcc/ada/gnat-style.texi @@ -3,7 +3,7 @@ @setfilename gnat-style.info @documentencoding UTF-8 @ifinfo -@*Generated by Sphinx 4.0.2.@* +@*Generated by Sphinx 4.3.0.@* @end ifinfo @settitle GNAT Coding Style A Guide for GNAT Developers @defindex ge @@ -21,7 +21,7 @@ @copying @quotation -GNAT Coding Style: A Guide for GNAT Developers , Jun 23, 2021 +GNAT Coding Style: A Guide for GNAT Developers , Nov 30, 2021 AdaCore diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -3,7 +3,7 @@ @setfilename gnat_rm.info @documentencoding UTF-8 @ifinfo -@*Generated by Sphinx 4.0.2.@* +@*Generated by Sphinx 4.3.0.@* @end ifinfo @settitle GNAT Reference Manual @defindex ge @@ -21,7 +21,7 @@ @copying @quotation -GNAT Reference Manual , Nov 08, 2021 +GNAT Reference Manual , Nov 30, 2021 AdaCore @@ -5400,7 +5400,7 @@ Machine-dependent attributes can be specified for types and/or declarations. This pragma is semantically equivalent to @code{__attribute__((@emph{attribute_name}))} (if @code{info} is not specified) or @code{__attribute__((@emph{attribute_name(info})))} -or @code{__attribute__((@emph{attribute_name(info,…})))} in GNU C, +or @code{__attribute__((@emph{attribute_name(info,...})))} in GNU C, where @emph{attribute_name} is recognized by the compiler middle-end or the @code{TARGET_ATTRIBUTE_TABLE} machine specific macro. Note that a string literal for the optional parameter @code{info} or the @@ -25444,7 +25444,7 @@ This package provides the declaration of an atomic counter type, together with efficient routines (using hardware synchronization primitives) for incrementing, decrementing, and testing of these counters. This package is implemented -on most targets, including all Alpha, ia64, PowerPC, SPARC V9, +on most targets, including all Alpha, AARCH64, ARM, ia64, PowerPC, SPARC V9, x86, and x86_64 platforms. @node System Memory s-memory ads,System Multiprocessors s-multip ads,System Atomic_Counters s-atocou ads,The GNAT Library diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -3,7 +3,7 @@ @setfilename gnat_ugn.info @documentencoding UTF-8 @ifinfo -@*Generated by Sphinx 4.0.2.@* +@*Generated by Sphinx 4.3.0.@* @end ifinfo @settitle GNAT User's Guide for Native Platforms @defindex ge @@ -21,7 +21,7 @@ @copying @quotation -GNAT User's Guide for Native Platforms , Nov 08, 2021 +GNAT User's Guide for Native Platforms , Nov 30, 2021 AdaCore @@ -725,7 +725,7 @@ comprising the @code{$} character followed by a space. Full file names are shown with the ‘/’ character as the directory separator; e.g., @code{parent-dir/subdir/myfile.adb}. If you are using GNAT on a Windows platform, please note that -the ‘' character should be used instead. +the ‘\’ character should be used instead. @end itemize @node Getting Started with GNAT,The GNAT Compilation Model,About This Guide,Top