From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa3.mentor.iphmx.com (esa3.mentor.iphmx.com [68.232.137.180])
 by sourceware.org (Postfix) with ESMTPS id E2BF03858413
 for <gcc@gcc.gnu.org>; Fri,  6 May 2022 16:02:53 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org E2BF03858413
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
X-IronPort-AV: E=Sophos;i="5.91,203,1647331200"; d="scan'208";a="75240567"
Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165])
 by esa3.mentor.iphmx.com with ESMTP; 06 May 2022 08:02:53 -0800
IronPort-SDR: qb/1e0kZCFZxAX0AtwC4syFL2T+Ea960dPu60freod1ry76cwErJXAD9wnBpZbeQyI+t8Tq9gv
 HmnjjMs1RMy42kRI73lffEta8ZiXJXNQnfdjW0HBbjgne7V5bLk01g47yZwsGNu3faeZQJ6jZi
 fud2qY796YSNjuZKQXPOkcFEeU56T7GvmDWaUzga5GGle4oLzsA2nV4letYm6zzMUu5fQd/rX6
 pW0ncQY7NGIosF8TOY8w5C8I/2rA51h2et30fsRqi8n92k8F0tdKd3Ja6wRjUdqO9ZfqSL4c54
 uKs=
Date: Fri, 6 May 2022 16:02:48 +0000
From: Joseph Myers <joseph@codesourcery.com>
X-X-Sender: jsm28@digraph.polyomino.org.uk
To: Matthias Gehre <matthias.gehre@amd.com>
CC: "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>
Subject: =?ISO-8859-15?Q?Re=3A_AW=3A_=5BRFC=5D_Adding_division=2Fmodulo_?=
 =?ISO-8859-15?Q?on_arbitrary_precision=A0integers=A0to=A0libgcc?=
In-Reply-To: <SA1PR02MB8573828B7E9EDCE897DDBACFA7C59@SA1PR02MB8573.namprd02.prod.outlook.com>
Message-ID: <alpine.DEB.2.22.394.2205061601330.937576@digraph.polyomino.org.uk>
References: <SA1PR02MB857379606D84DDC929D69D32A7C59@SA1PR02MB8573.namprd02.prod.outlook.com>
 <alpine.DEB.2.22.394.2205061432140.928112@digraph.polyomino.org.uk>
 <SA1PR02MB8573828B7E9EDCE897DDBACFA7C59@SA1PR02MB8573.namprd02.prod.outlook.com>
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: svr-ies-mbx-02.mgc.mentorg.com (139.181.222.2) To
 svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10)
X-Spam-Status: No, score=-3113.5 required=5.0 tests=BAYES_00,
 HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS,
 TXREP, T_SCC_BODY_TEXT_LINE autolearn=no 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@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 May 2022 16:02:55 -0000

On Fri, 6 May 2022, Matthias Gehre via Gcc wrote:

> > This proposed interface doesn't say anything about what aliasing is or
> > isn't permitted among the four arrays pointed to.
> Good catch. I would lean into saying that none of the four arrays must alias
> because allowing them to alias would require most implementations to allocate
> extra scratch space.
> What do you think?

Given that all four arrays can be written to, that seems reasonable (along 
with declaring them all as "restrict").

-- 
Joseph S. Myers
joseph@codesourcery.com