From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_DNSWL_LOW, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 10431 invoked from network); 31 May 2023 14:56:01 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 31 May 2023 14:56:01 -0000 Received: (qmail 11704 invoked by uid 550); 31 May 2023 14:55:58 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 11669 invoked from network); 31 May 2023 14:55:57 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:subject:message-id:in-reply-to: references:mime-version; bh=z2At/kytsaa5jOSVpNhHcn2OFEc3Xq8UiMzERTtbXXw=; b=D31fjbbOXZ7CvprIS5qDYHm/SIM+ptr6481DD5daSrWFyZwTgC/ifjfe 8NysWxHs+taQrfccNdpYf1qkXel9lMOhiQznCjfMsbLaQ3Kmbb4JVblFi 5bMwRsazm/z1FgpW1100KLVzd6WyZI28rGQTaxRU2mHvmz2aPu3UHgMfJ 8=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=jens.gustedt@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.00,207,1681164000"; d="scan'208";a="57468934" Date: Wed, 31 May 2023 16:55:45 +0200 From: =?UTF-8?B?SuKCkeKCmeKCmw==?= Gustedt To: Rich Felker Cc: musl@lists.openwall.com Message-ID: <20230531165545.29eb823f@inria.fr> In-Reply-To: <20230531144128.GD4163@brightrain.aerifal.cx> References: <1c8e850ed3190af39b9e3f501d79899d438e7292.1685536608.git.Jens.Gustedt@inria.fr> <20230531142743.GB4163@brightrain.aerifal.cx> <20230531163643.2a382b4a@inria.fr> <20230531144128.GD4163@brightrain.aerifal.cx> Organization: inria.fr X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.33; x86_64-pc-linux-gnu) X-Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAAXNSR0IArs4c6QAAACRQTFRFERslNjAsLTE9Ok9wUk9TaUs8iWhSrYZkj42Rz6aD3sGZ MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/aBlysi/tzajKgCir1HBMUIL"; protocol="application/pgp-signature"; micalg=pgp-sha1 Subject: Re: [musl] [C23 128 bit 4/4] C23: implement proper support for int128_t and uint128_t --Sig_/aBlysi/tzajKgCir1HBMUIL Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Rich, on Wed, 31 May 2023 10:41:29 -0400 you (Rich Felker ) wrote: > On Wed, May 31, 2023 at 04:36:43PM +0200, J=E2=82=91=E2=82=99=E2=82=9B Gu= stedt wrote: > > Rich, > >=20 > > on Wed, 31 May 2023 10:27:44 -0400 you (Rich Felker > > ) wrote: > > =20 > > > Unless the rules in C23 changed, =20 > >=20 > > They did change, this is what this is all about. =20 >=20 > Can you cite that? sure, almost by heart, since I wrote that ;-) =E2=80=A6 with the possible exceptions of signed bit-precise integer types and of signed extended integer types that are wider than `long long` and that are referred by the type definition for an exact width integer type > Because I don't see it. I still see that intmax_t > has to be at least as wide as all the intN_t. I seems that you read that the wrong way around. > And AIUI this is the whole reason _BitInt was added -- to give > implementations the freedom to add types larger than intmax_t. Nope, see my other mail. Thanks J=E2=82=91=E2=82=99=E2=82=9B --=20 :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Universit=C3=A9 de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA Nancy Grand Est :::::::::::::::::::::::: Camus :: :: :::::::::::::::::::::::::::::::::::: =E2=98=8E +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt :: --Sig_/aBlysi/tzajKgCir1HBMUIL Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSN9stI2OFN1pLljN0P0+hp2tU34gUCZHdf8QAKCRAP0+hp2tU3 4stJAJ4ymIl5MYjVsuZFiKfE9yZ1uNa+bgCfTqKlUm2pde0XunaUmgHPrkXfnVw= =hcBV -----END PGP SIGNATURE----- --Sig_/aBlysi/tzajKgCir1HBMUIL--