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=-3.1 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 26146 invoked from network); 1 Jun 2020 23:27:18 -0000 Received: from mother.openwall.net (195.42.179.200) by inbox.vuxu.org with ESMTPUTF8; 1 Jun 2020 23:27:18 -0000 Received: (qmail 15767 invoked by uid 550); 1 Jun 2020 23:27:14 -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 15737 invoked from network); 1 Jun 2020 23:27:13 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=octaforge.org; h=mime-version:message-id:in-reply-to:references:date:from:to :cc:subject:content-type; s=fm3; bh=lPj5FklBSOLuI2eU5Vq+QLjFIMfl SpoWSoBj6yr8rRc=; b=fx+oawfUpIxQG+oWdsVfr58OXgosRU12IpCh8aiVG9sE tMu/EtMvdd3NwVFMyOu+46RoBsq7dOfxYavGZULdILjLOoV52ypWmcNN/ZASi7Hv t5BitJehlJK3MEL1/xr2Z2qb4QippBENRo7omm1XTbFY6oWykypKwB1ERjg7l4Th oVr9IFQEgkk+Sq10T36pRQbF4Di2B1vaqANDA7S9OxAi+Q4Snn5549H7EmP+6aaI nvR1Z/xkxvxQ2D8FTOG85xEPu1SY/SojLZdtIHObAtnKzBKKNDAvBBWJYaP0NxaL pq4PhhW9oX4d15ubLxdvET5HpILXkl46ecS6YjAB8Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=lPj5Fk lBSOLuI2eU5Vq+QLjFIMflSpoWSoBj6yr8rRc=; b=3aflJQhjSMy+fE6kWo2ug1 /VjU7Eo2ZyjduVqpjpkfNtOJSmFO2HsGv0coxRzVyW3KVHk2vrZfK8N1PwDYj4O+ sIa3SnWikBCtEalH4Jr4+10vAB8AdmU3ZFwjqlG/o8STPyQ95tVttBvKBdrgrBDi ZbrLC7+m5MdKeVjf9z/g09ihD09ofoSbExZePUyInz9WS6up02j1FsMZEmOSvb89 nSD2KvM2sPBaJmhdxBzI7ACDLeW+QtQbZYEmW+f1qA13uF8IwF8JCz3sRD/ELq9V oxbWh6FuN7NUsLRag2ETuaHV1Oe8fZPVe8e/5RN1RxKDW6aIf8XUzxCxktytx4+w == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedrudefiedgvdduucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepofgfggfkjghffffhvffutgesthdtredtreertdenucfhrhhomhepfdffrghn ihgvlhcumfholhgvshgrfdcuoegurghnihgvlhesohgtthgrfhhorhhgvgdrohhrgheqne cuggftrfgrthhtvghrnhepueelgeeljeeigeeghefgtddtveeuhedvheeuteeiveetledu vdevvdfgtdeigfdvnecuffhomhgrihhnpehsohhurhgtvgifrghrvgdrohhrghenucevlh hushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpegurghnihgvlhes ohgtthgrfhhorhhgvgdrohhrgh X-ME-Proxy: X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.3.0-dev0-519-g0f677ba-fm-20200601.001-g0f677ba6 Mime-Version: 1.0 Message-Id: In-Reply-To: References: <2047231.C4sosBPzcN@sheen> Date: Tue, 02 Jun 2020 01:26:37 +0200 From: "Daniel Kolesa" To: "Joseph Myers" , "Will Springer" Cc: linuxppc-dev@lists.ozlabs.org, libc-alpha@sourceware.org, eery@paperfox.es, musl@lists.openwall.com, "Palmer Dabbelt via binutils" , "via libc-dev" Content-Type: text/plain Subject: [musl] Re: ppc64le and 32-bit LE userland compatibility On Mon, Jun 1, 2020, at 23:28, Joseph Myers wrote: > On Fri, 29 May 2020, Will Springer via Binutils wrote: > > > Hey all, a couple of us over in #talos-workstation on freenode have been > > working on an effort to bring up a Linux PowerPC userland that runs in 32-bit > > little-endian mode, aka ppcle. As far as we can tell, no ABI has ever been > > designated for this (unless you count the patchset from a decade ago [1]), so > > it's pretty much uncharted territory as far as Linux is concerned. We want to > > sync up with libc and the relevant kernel folks to establish the best path > > forward. > > As a general comment on the glibc side of things, if this is considered > like a new port, and it probably is, the same principles that apply to new > ports apply here. > > There's a general discussion at > , although much of that is > only applicable when adding new CPU architecture support. More specific > points include that new 32-bit ports should default to 64-bit time and > file offsets from the start, with no support for 32-bit time or offsets > (meaning that if you want to use this with some kind of library call > translation, the library call translation will need to deal with > corresponding type size conversions). And a new port should not be added > that uses the IBM long double format. You can use IEEE binary128 long > double, possibly with an ABI similar to that used on powerpc64le, or can > use long double = double, but should not support IBM long double, and > preferably should only have one long double format rather than using the > glibc support for building with different options resulting in functions > for different long double formats being called. Are you sure this would be a new port? Glibc already works in this combination, as it seems to me it'd be best if it was just a variant of the existing 32-bit PowerPC port, sharing most conventions besides endianness with the BE port. 128-bit IEEE long double would not work, since that relies on VSX being present (gcc will explicitly complain if it's not). I'd be all for using 64-bit long double, though (musl already does, on all ppc ports). While we're at long double, I'd actually be interested in transitioning the existing big endian ports in Void (64-bit and 32-bit, neither has VSX baseline requirement in my case) to using 64-bit long double, abandoning the IBM format altogether (little endian will transition to 128-bit IEEE long double once it's ready on your side, as that assumes POWER8 baseline which includes VSX). What would be the best way for me to proceed with that? I actually experimented with this, using the old glibc compat symbols from pre-ibm128 times, and I mostly had it working, except I haven't managed to find a way to switch the default symbols to 64-bit ones, which is problematic as linking everything against nldbl_nonshared is fragile and potentially quirky (breaks dlsym, function pointer equality across libraries, etc). There is also one more thing while we're at this. The 64-bit big endian Void port uses the ELFv2 ABI, even on glibc. This is not officially supported on glibc as far as I can tell, but it does work out of box, without any patching (things in general match little endian then, i.e. ld64.so.2 etc, but they're big endian). Is there any chance of making that support official? > > -- > Joseph S. Myers > joseph@codesourcery.com > Daniel