Re: [discuss] [x86-64 psABI] RFC: Extend x86-64 psABI to support x32

Michael Matz
2012-05-15T16:08:01Z

[-- Attachment #1: Type: TEXT/PLAIN, Size: 444 bytes --]

Hi,

On Mon, 14 May 2012, H.J. Lu wrote:

> > As a minor nitpick, I have always used x32 with a lower case x. Â The
> > capital X32 looks odd to me.
> >
>
> I used X32 together with LP64. I can use ILP32 instead of X32 when LP64
> is mentioned at the same time.

I'd prefer that. x32 is a nice short-hand name for the whole thing, but
not descriptive, unlike LP64. So, yes, IMO it should be ILP32 in the ABI
document.

Ciao,
Michael.