H.J. Lu
unread,Dec 4, 2012, 1:31:59 PM12/4/12Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Michael Matz, H. Peter Anvin, dis...@x86-64.org, GNU C Library, GCC Development, GDB, x32...@googlegroups.com, Binutils
On Thu, May 17, 2012 at 12:50 PM, H.J. Lu <
hjl....@gmail.com> wrote:
> On Tue, May 15, 2012 at 9:07 AM, Michael Matz <
ma...@suse.de> wrote:
>> 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.
>>
>
> Here is the updated change. Any comments?
>
> Thanks.
>
PING.
--
H.J.