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 10939 invoked from network); 31 May 2023 15:07:16 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 31 May 2023 15:07:16 -0000 Received: (qmail 32519 invoked by uid 550); 31 May 2023 15:07:13 -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 32484 invoked from network); 31 May 2023 15:07:12 -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=vYTQxvRQxI5oduufP6DEj2+6kDOqq9m+OAbbx8JrKQ4=; b=iuq+f8jV1fPOthJOEbP6F8MyCi8ASzWX87oJUGoN4MRF2SE+mnzR6wZe umdOfX2GUV1azqS5+qsRicg/t1M2t7aFxYEMMonq2E1khRtoEL5H9ciMr WxAzgxaDMmBTz48ZXvAvbEknn6/n1ph6St730wvFjLeN7Rlr3elWUTZpo E=; 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="57470345" Date: Wed, 31 May 2023 17:07:00 +0200 From: =?UTF-8?B?SuKCkeKCmeKCmw==?= Gustedt To: Rich Felker Cc: musl@lists.openwall.com Message-ID: <20230531170700.65bd9c11@inria.fr> In-Reply-To: <20230531145724.GF4163@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> <20230531165545.29eb823f@inria.fr> <20230531145724.GF4163@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_/a4VegRbWgThpTodii+bDgyQ"; 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_/a4VegRbWgThpTodii+bDgyQ Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Rich, on Wed, 31 May 2023 10:57:24 -0400 you (Rich Felker ) wrote: > On Wed, May 31, 2023 at 04:55:45PM +0200, J=E2=82=91=E2=82=99=E2=82=9B Gu= stedt wrote: > > Rich, > >=20 > > on Wed, 31 May 2023 10:41:29 -0400 you (Rich Felker > > ) wrote: > > =20 > > > On Wed, May 31, 2023 at 04:36:43PM +0200, J=E2=82=91=E2=82=99=E2=82= =9B Gustedt wrote: =20 > [...] =20 > [...] =20 > [...] =20 > > >=20 > > > Can you cite that? =20 > >=20 > > sure, almost by heart, since I wrote that ;-) > >=20 > > =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 > > =20 > > > Because I don't see it. I still see that intmax_t > > > has to be at least as wide as all the intN_t. =20 > >=20 > > I seems that you read that the wrong way around. =20 >=20 > OK, so AIUI based on this exception it's permitted but not required to > offer int128_t. yes But compilers can never offer it if there is not minimal C library support, which we are doing here. This is the only way we found in yearlong discussions in WG14 to get us out of this intmax_t ABI trap. For the 128 bit types in particular this answers numerous requests by users who want to have these in different contexts and where quite frustrated that compilers have these since decades but where not able to announce them officially, not even as extended integer types. 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_/a4VegRbWgThpTodii+bDgyQ Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSN9stI2OFN1pLljN0P0+hp2tU34gUCZHdilAAKCRAP0+hp2tU3 4s4hAJ0UkMXhl3q4ulFdW2ZprkEv3nrM4ACghaaHMBGzBnnfV64CsZG4/M2LPM4= =Fvuf -----END PGP SIGNATURE----- --Sig_/a4VegRbWgThpTodii+bDgyQ--