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.
