[libc-dev] [musl] Re: ppc64le and 32-bit LE userland compatibility
David Edelsohn via libc-dev
libc-dev at lists.llvm.org
Thu Jun 4 12:00:51 PDT 2020
On Thu, Jun 4, 2020 at 1:46 PM Rich Felker <dalias at libc.org> wrote:
> On Thu, Jun 04, 2020 at 12:33:12PM -0500, Segher Boessenkool wrote:
> > On Thu, Jun 04, 2020 at 01:18:44PM -0400, Rich Felker wrote:
> > > On Thu, Jun 04, 2020 at 12:12:32PM -0500, Segher Boessenkool wrote:
> > > > On Tue, Jun 02, 2020 at 05:13:25PM +0200, Daniel Kolesa wrote:
> > > > > well, ppc64le already cannot be run on those, as far as I know (I
> > > > > don't think it's possible to build ppc64le userland without VSX in
> > > > > any configuration)
> > > >
> > > > VSX is required by the ELFv2 ABI:
> > > >
> > > > """
> > > > Specifically, to use this ABI and ABI-compliant programs, OpenPOWER-
> > > > compliant processors must implement the following categories:
> > >
> > > This is not actually ABI but IBM policy laundered into an ABI
> > > document, which musl does not honor.
> > It is the ABI. If you think it should be different, make your own ABI,
> > don't pretend the existing ABI is different than what it is. Thank you.
> Our ABI is as specified in the ELFv2 document, but with ld as ld64,
> and minus gratuitous requirements on ISA level that are not part of
> implementing linkage.
If you are changing the Power ELFv2 ABI then it is not the Power ELFv2
ABI. You can't cherry-pick what you like and claim that it is
compatible. You are not conforming to the ABI.
More information about the libc-dev