From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from NAM10-MW2-obe.outbound.protection.outlook.com (mail-mw2nam10on2080.outbound.protection.outlook.com [40.107.94.80]) by sourceware.org (Postfix) with ESMTPS id 90BBA3857404 for ; Fri, 6 May 2022 15:57:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 90BBA3857404 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=fail; b=CQAlVKHgZoeRG0Sv+vW5eCv/+O3+ZZMX8icSKOZpdbsHiyhWXpv3rjI6nLqjYagZTIpnj732YfHJyw3yL6KvNabR6qKRWnTvvY+r0BLT2s2Iv7yN3Vz2gQADinaDIqVfCTIzr3Rzk8n04MAY8WTheK2LwtkWqw6pqmNWE6f+kCVzxPCIFd5/nAbxWyerdq+jaH8UpeD1VMHPotA/fBiJ0koDx5gJ9zALRosT5ZEH5FsuvJk2Fs2tt89HvhIhq9gqYA+ny0cpZj69cFmo46/kH5rHkk/HTJye1L/iklsScaHTKWDpxxnYUG7q+NS/93hJaWwl/WbtYpH8YjMrdOcbUg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=MMX1BTxyZmKvDYAAsvtSkK9V1Yqs6gGxh83sb4Jz4Dk=; b=WykbuB1aNaFo8qy/zBtPGFAYtocPhzs7hgIPvd5tHPF825aLQfVVhqqPLTQh+fZayQ/OKjMk+0b1lSv+zH7R+M3U0POvby0OwO/u33wk2oGKOYoWuFC3o6NXt6IdULX4fytafYvniJz3XMMHOlH11z7Tjm9zf/+ZWIQmFz0MvjLVCcECcRcz36QC7lDFokW+F8ET/7A0VBaCEXy8vgfzODojxeSpEBUCXMtdicIac8uRdG4l0MXa7shGWbjiXuPXGwAsZqYM4fasfMlecOi8hd82Mg4N5sDWO4Gf4Lo48KF9TzXamnFJzBTgKIC0PkJglEpJcMoIeFSeRA5boVks/w== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 20.83.241.18) smtp.rcpttodomain=codesourcery.com smtp.mailfrom=amd.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=amd.com; dkim=none (message not signed); arc=fail (48) Received: from MW4PR04CA0244.namprd04.prod.outlook.com (2603:10b6:303:88::9) by BN6PR1201MB2529.namprd12.prod.outlook.com (2603:10b6:404:b3::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5227.18; Fri, 6 May 2022 15:57:41 +0000 Received: from CO1NAM11FT060.eop-nam11.prod.protection.outlook.com (2603:10b6:303:88:cafe::b3) by MW4PR04CA0244.outlook.office365.com (2603:10b6:303:88::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5206.24 via Frontend Transport; Fri, 6 May 2022 15:57:41 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 20.83.241.18) smtp.mailfrom=amd.com; dkim=none (message not signed) header.d=none;dmarc=pass action=none header.from=amd.com; Received-SPF: Pass (protection.outlook.com: domain of amd.com designates 20.83.241.18 as permitted sender) receiver=protection.outlook.com; client-ip=20.83.241.18; helo=mailrelay000001.14r1f435wfvunndds3vy4cdalc.xx.internal.cloudapp.net; Received: from mailrelay000001.14r1f435wfvunndds3vy4cdalc.xx.internal.cloudapp.net (20.83.241.18) by CO1NAM11FT060.mail.protection.outlook.com (10.13.175.132) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5227.15 via Frontend Transport; Fri, 6 May 2022 15:57:41 +0000 Received: from NAM10-BN7-obe.outbound.protection.outlook.com (mail-bn7nam10lp2107.outbound.protection.outlook.com [104.47.70.107]) by mailrelay000001.14r1f435wfvunndds3vy4cdalc.xx.internal.cloudapp.net (Postfix) with ESMTPS id 298303F035; Fri, 6 May 2022 15:57:41 +0000 (UTC) ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=YOPtASDxX/Z/ryrLaC3T+e9gjgwytDcoFU9KZ8Ayay0iovsV7ODZkkZ+6CoPZ5UlO1q2/f3AwQUAe8wQGCpUGLA6DOo3aHRE0kih+tn/hZRmLaUmMQY1SNg1TVJw6Ubq2xHa5oydSWkABZXjTwFU+W7xqxwbRUMgRWdmnkMAw9waNlzkTqHwzPM6CSAx9cnHnCGgoeOkGKxnLWsS38rn+jOBqnnc8QzR8C5kMMXL3+Gwh8Ll0BGnbHDecxEH8BMFiXanDOxM/TdS7+sQs68tNHyYR9+d1Y3XaaGC+jopGS5XYIjasnSlzjY0ZrMuD0QTR7F6HQCvmeVCJ2JgDIbshw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=MMX1BTxyZmKvDYAAsvtSkK9V1Yqs6gGxh83sb4Jz4Dk=; b=IULFmP9Q3vC7Q/F2CFD2Jj0PBtJqK4Kez1TICyOYKiBW+umb67W+GKmfMxyeZp6mJs5FI8yLBQxqVl7YGim0yDlJWvhn/mnyQUZkgo1GMRHxVALayEEhigp6rykk3wSCKrhg+X9kzYAy9+6pQrGvxExumABX0jtl0yrYG13hiNcSBjA6nigT9Egu4FiWtGTLP+JKCh3byFqJWi6E+y+ffhBJSLmhTo422t3WeRYcRhJ7G2appLA7u9CETlUAHABTfofBDh5oZ6Vob36u93+zR3mTUDOHXCu8kQf6eVm27zMBtRYWUSZPWGaPl069fJVILpcQE6GwDeI96If6QM1obg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=xilinx.com; dmarc=pass action=none header.from=xilinx.com; dkim=pass header.d=xilinx.com; arc=none Received: from SA1PR02MB8573.namprd02.prod.outlook.com (2603:10b6:806:1f9::6) by SN6PR02MB5248.namprd02.prod.outlook.com (2603:10b6:805:76::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5206.13; Fri, 6 May 2022 15:57:39 +0000 Received: from SA1PR02MB8573.namprd02.prod.outlook.com ([fe80::c49e:581f:82a7:793e]) by SA1PR02MB8573.namprd02.prod.outlook.com ([fe80::c49e:581f:82a7:793e%5]) with mapi id 15.20.5206.025; Fri, 6 May 2022 15:57:39 +0000 From: Matthias Gehre To: Joseph Myers CC: "gcc@gcc.gnu.org" Subject: =?iso-8859-1?Q?AW:_[RFC]_Adding_division/modulo_on_arbitrary_precision=A0?= =?iso-8859-1?Q?integers=A0to=A0libgcc?= Thread-Topic: =?iso-8859-1?Q?[RFC]_Adding_division/modulo_on_arbitrary_precision=A0inte?= =?iso-8859-1?Q?gers=A0to=A0libgcc?= Thread-Index: AQHYYU4a9FkoAhn8nEqcH9kllQqdeK0R6syAgAATxBM= Date: Fri, 6 May 2022 15:57:38 +0000 Message-ID: References: In-Reply-To: Accept-Language: de-DE, en-US Content-Language: de-DE X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: X-MS-Office365-Filtering-Correlation-Id: bd3b2e0c-fc69-4f37-c261-08da2f7926bb x-ms-traffictypediagnostic: SN6PR02MB5248:EE_|CO1NAM11FT060:EE_|BN6PR1201MB2529:EE_ X-Microsoft-Antispam-PRVS: X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0; X-Microsoft-Antispam-Message-Info-Original: 9x35EGAgfJNgI2e+XjYv74tLlUo8ON4IS5zjAlRa/0b03HDE+GNmenqm9rTBRa99KriebcWZ6YSTFHgIeRMSAHyWKjqJuH+bdE2UmI5CHpFfv2d5N8pI23sxaVs+7qJ6WUacVw7iQgw9FNQU/s9UqBVLVKTx/so/+DROX+rDkfGj4IaMTEpekJFgxJu8ojvnwQidlYAUECSJaPFfYBNTh5d3t39uynGImUvogWcLsy2lLJ1Osu2gutC3TQkUmmfGhthVJVjfFKHPsyTzcW2tjpaMCF5+uEa/7VY9mZcoyQHLW+Zb8UqNNh5wFncRM7RtJMoUlpasShgGDsOYA+TMVzqoofuhqgNugcN7oypUya3EieOBowXYMKtM+20U60X6bY0eMc2bVumtY+filqJnzcLG+xQBPZ6x74zB7IoWvrcn9bs8rRqkA22kXkj3tF63VO5oZ0Zc9tvoq9io31TT1FeHOwtH8w9jkbNj8Nv3/HZ+OwaPFwwarBREEpltVSMEKiH+965hs3uUlRzKd3koqLU583jJ0eo51OWVZ5OeW4aZA8XV/GmMDWZzdcxSZBHL66L/YHqfV7YrPSDLIwArWxqB5kTDa9adT/h4y/9i5zV1dlKHYQG+4Z3JCrpyMhevqVdDbFCnKKmGZNvQZXGf4BRcYtPjBq6spVEja3YJDDiRc78fBaVXT0SB3j5p9DTmXoJKwBBlvWSybqxoOv70Fw== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SA1PR02MB8573.namprd02.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230001)(4636009)(366004)(7696005)(508600001)(71200400001)(6506007)(6916009)(9686003)(55016003)(26005)(4744005)(86362001)(4326008)(66556008)(76116006)(122000001)(8936002)(52536014)(5660300002)(316002)(66946007)(66476007)(91956017)(64756008)(33656002)(2906002)(38100700002)(38070700005)(186003)(66446008); DIR:OUT; SFP:1101; Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR02MB5248 X-EOPAttributedMessage: 0 X-MS-Exchange-Transport-CrossTenantHeadersStripped: CO1NAM11FT060.eop-nam11.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 0d26a038-f0fd-4dc5-bc74-08da2f792555 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: tfJie7QvENxbY8vk83ZQ3NKgiRJ9I09Ol/M2RHXixYpK0ijBiz9eRuYMadjM5PnskcuiICwnSpGYSMxey2kT/aGnuxR7ysL0Tp/z2oVCe2BB1rvE8QN7H2ox3cg3CfNEEMLncEHJzKuzCYPX6hsxW3l4R7NXC/tqEPkbT0uCTNlpuQ44/AUhAwaNhW9UDev4T/K+jFz1RX0gr0n6ZWQeNdANqQONLh7bAOgKb2e5mCHsrHyJeBPNHvbGuW6JmBuyLEQP71xIih9uhdj1uqirRSxzgOmu5SafyDe2Y18K8P6F+oLUuFs40g8OIWCGReiW8SC2kJ0dF0gy2fFD7dayv1UqzFSuW56TtL0mNKGSF4F6FQ7AE3Vn6n02DqEy3F+mTTDmgc8zcbkwyyJBjU9pq1fQe03KfvYIoSY3Hh1pRVtT9BiBp0iVAdMSGzp1y85orBtOXKR0bQhCGom8OzE06DmEP8zJ+iMKIUn57lZVi/WEbogG4wJQRrPNqYQTxao4MDpSWNeFnJCDVkX2hV2S1jjM0wtddxg3S89Nnb7Ce9Efd6Zq+MzYM5Yn1amT+XrcMHD0Uf8F1fprxadqIuZog7+9Vf7mmEHAhN7Z1pLtkUf4SylVxUY+EXWUTRSeUKiFCVu33vheGHdobu3S5oAexCaBwSf8KIZzKhFU/z1NHysVoGw6KjY0VkT5RyB8rABOBWh17oyrAGrrnprwU4txzw== X-Forefront-Antispam-Report: CIP:20.83.241.18; CTRY:US; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:mailrelay000001.14r1f435wfvunndds3vy4cdalc.xx.internal.cloudapp.net; PTR:InfoDomainNonexistent; CAT:NONE; SFS:(13230001)(4636009)(36840700001)(40470700004)(46966006)(5660300002)(9686003)(336012)(6916009)(82310400005)(508600001)(26005)(55016003)(40460700003)(4326008)(316002)(70206006)(47076005)(186003)(44832011)(6506007)(36860700001)(81166007)(356005)(4744005)(8936002)(33656002)(52536014)(7696005)(86362001)(2906002)(36900700001); DIR:OUT; SFP:1101; X-OriginatorOrg: amd.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 May 2022 15:57:41.3733 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: bd3b2e0c-fc69-4f37-c261-08da2f7926bb X-MS-Exchange-CrossTenant-Id: 3dd8961f-e488-4e60-8e11-a82d994e183d X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=3dd8961f-e488-4e60-8e11-a82d994e183d; Ip=[20.83.241.18]; Helo=[mailrelay000001.14r1f435wfvunndds3vy4cdalc.xx.internal.cloudapp.net] X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: TreatMessagesAsInternal-CO1NAM11FT060.eop-nam11.prod.protection.outlook.com X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN6PR1201MB2529 X-Spam-Status: No, score=-2.3 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE 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@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 06 May 2022 15:57:46 -0000 > Note that each architecture also needs to specify its _BitInt ABI=0A= > (including such things as whether the values of padding bits inside the= =0A= > size of the _BitInt type, or outside that size but within a register used= =0A= > for argument passing or return, have specified values or are arbitrary).= =0A= > HJ has a proposal for x86_64 on a branch of the ABI, but it hasn't been= =0A= > merged to master yet.=0A= Thanks, I didn't know that this is currently in progress.=0A= This is still slightly different, because the ABI can choose to make differ= ent=0A= choices for _BitInt(N) depending on N, but here we need to specify an inter= face=0A= that works independent of N.=0A= =0A= > This proposed interface doesn't say anything about what aliasing is or=0A= > isn't permitted among the four arrays pointed to.=0A= Good catch. I would lean into saying that none of the four arrays must alia= s=0A= because allowing them to alias would require most implementations to alloca= te=0A= extra scratch space.=0A= What do you think?=0A= =0A= --=0A= Joseph S. Myers=0A= joseph@codesourcery.com=