Hi,
I am trying to submit my x32 extension to x86-64 discussion
mailing list. But my email was bounced back. Do we need
a more reliable place for x86-64 psABI?
H.J.
---------- Forwarded message ----------
From: Mail Delivery Subsystem <mailer-dae...@googlemail.com>
Date: Fri, Dec 7, 2012 at 1:02 PM
Subject: Delivery Status Notification (Failure)
To: hjl.to...@gmail.com
Delivery to the following recipient failed permanently:
disc...@x86-64.org
Technical details of permanent failure:
The recipient server did not accept our requests to connect. Learn
more at http://support.google.com/mail/bin/answer.py?answer=7720
[(10) mail.x86-64.org. [217.9.48.20]:25: Connection timed out]
----- Original message -----
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20120113;
h=mime-version:date:message-id:subject:from:to:cc:content-type;
bh=QINMp2O+4NZvU5NyJVN1pMR2IN7ClLyZY6EPx8djst0=;
b=mSQ+YmhJiInSYD1Bu+3M6cl3DwcHuai5Par4awQU/ylSy9Kwobo2bKOy2jHj2RAvlv
TtWe+zSXBM+6RCXBYEA3EwORunmayFH/K2yF8XqHQXFBh7Ywcf+Ip91wiSoDPpIBi6ca
252uWQof8oMSpFwuU5pzk1lY0XQc84GDrw0aElnRfmGIzqCj1BHakpEgO/iiTz/NlaQV
NPn2+tRaAaTq7AqzK23e/AyjckyoFur+QoggWM0fhho9vSsR/XtvxvP/vtwLEiMx9xlT
vUfx8IHkVFRi55kI/oPDDqrvrGDZ8J4FJSWO/88kiKf74f/a9hEUzzUWqsVbqV0Id0U8
7+FQ==
MIME-Version: 1.0
Received: by 10.224.146.74 with SMTP id g10mr24044414qav.93.1354645920248;
Tue, 04 Dec 2012 10:32:00 -0800 (PST)
Received: by 10.49.12.210 with HTTP; Tue, 4 Dec 2012 10:31:59 -0800 (PST)
Date: Tue, 4 Dec 2012 10:31:59 -0800
Message-ID: <came9rorcb+5zw17c_c2qhjbx_obhqdyhcj9q929nkndkpk_...@mail.gmail.com>
Subject: PING [discuss] [x86-64 psABI] RFC: Extend x86-64 psABI to support x32
From: "H.J. Lu" <hjl.to...@gmail.com>
To: Michael Matz <m...@suse.de>
Cc: "H. Peter Anvin" <h...@zytor.com>, disc...@x86-64.org,
GNU C Library <libc-al...@sourceware.org>, GCC Development
<gcc@gcc.gnu.org>, GDB <g...@sourceware.org>,
x32-...@googlegroups.com, Binutils <binut...@sourceware.org>
Content-Type: text/plain; charset=ISO-8859-1
On Thu, May 17, 2012 at 12:50 PM, H.J. Lu <hjl.to...@gmail.com> wrote:
> On Tue, May 15, 2012 at 9:07 AM, Michael Matz <m...@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.
--
H.J.
