From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-return-40914-listarch-gdb=sources.redhat.com@sourceware.org>
Received: (qmail 28839 invoked by alias); 15 May 2012 16:08:01 -0000
Received: (qmail 28692 invoked by uid 22791); 15 May 2012 16:07:57 -0000
X-SWARE-Spam-Status: No, hits=-5.9 required=5.0	tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_DNSWL_HI,T_RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from cantor2.suse.de (HELO mx2.suse.de) (195.135.220.15)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 15 May 2012 16:07:32 +0000
Received: from relay2.suse.de (unknown [195.135.220.254])	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))	(No client certificate requested)	by mx2.suse.de (Postfix) with ESMTP id 2DCA290072;	Tue, 15 May 2012 18:07:31 +0200 (CEST)
Date: Tue, 15 May 2012 16:08:00 -0000
From: Michael Matz <matz@suse.de>
To: "H.J. Lu" <hjl.tools@gmail.com>
Cc: "H. Peter Anvin" <hpa@zytor.com>, discuss@x86-64.org,	GNU C Library <libc-alpha@sourceware.org>,	GCC Development <gcc@gcc.gnu.org>, GDB <gdb@sourceware.org>,	x32-abi@googlegroups.com, Binutils <binutils@sourceware.org>
Subject: Re: [discuss] [x86-64 psABI] RFC: Extend x86-64 psABI to support x32
In-Reply-To: <CAMe9rOoo2RWkuRvjsQ=J8x=Vs6nCvWUA4GiOF71HV=bEuYAV8Q@mail.gmail.com>
Message-ID: <Pine.LNX.4.64.1205151806180.25409@wotan.suse.de>
References: <CAMe9rOqE84CeCEZHxahccP2obgb50zdJWuY0z3UzWnDYn=g_4A@mail.gmail.com> <4FB14211.6070905@zytor.com> <CAMe9rOoo2RWkuRvjsQ=J8x=Vs6nCvWUA4GiOF71HV=bEuYAV8Q@mail.gmail.com>
MIME-Version: 1.0
Content-Type: MULTIPART/MIXED; BOUNDARY="168427776-279229105-1337098050=:25409"
Mailing-List: contact gdb-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb.sourceware.org>
List-Subscribe: <mailto:gdb-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb/>
List-Post: <mailto:gdb@sourceware.org>
List-Help: <mailto:gdb-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-owner@sourceware.org
X-SW-Source: 2012-05/txt/msg00070.txt.bz2

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--168427776-279229105-1337098050=:25409
Content-Type: TEXT/PLAIN; charset=utf-8
Content-Transfer-Encoding: 8BIT
Content-length: 442

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.
--168427776-279229105-1337098050=:25409--