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

2012-12-04 Thread H.J. Lu
On Thu, May 17, 2012 at 12:50 PM, H.J. Lu wrote: > On Tue, May 15, 2012 at 9:07 AM, Michael Matz 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 togeth

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

2012-06-28 Thread H. Peter Anvin
On 06/28/2012 02:03 PM, Mark Butler wrote: On Tuesday, June 26, 2012 1:53:01 PM UTC-6, H. Peter Anvin wrote: It's worth noting that there are *no* Linux platforms that are not ILP32 or LP64, so adding a third memory model is likely to cause even more problems... Care to comment

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

2012-06-27 Thread H.J. Lu
On Wed, Jun 27, 2012 at 11:24 AM, Magnus Fromreide wrote: > On Wed, 2012-06-27 at 05:01 -0700, H.J. Lu wrote: >> On Tue, Jun 26, 2012 at 10:56 PM, Mark Butler wrote: >> > >> > >> > On Tuesday, June 26, 2012 3:22:45 PM UTC-6, H.J. wrote: >> >> >> >> On Tue, Jun 26, 2012 at 2:11 PM, Mark Butler wro

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

2012-06-27 Thread Magnus Fromreide
On Wed, 2012-06-27 at 05:01 -0700, H.J. Lu wrote: > On Tue, Jun 26, 2012 at 10:56 PM, Mark Butler wrote: > > > > > > On Tuesday, June 26, 2012 3:22:45 PM UTC-6, H.J. wrote: > >> > >> On Tue, Jun 26, 2012 at 2:11 PM, Mark Butler wrote: > >> > > >> >> x32 is designed to replace ia32 where long is 32

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

2012-06-27 Thread H.J. Lu
On Tue, Jun 26, 2012 at 10:56 PM, Mark Butler wrote: > > > On Tuesday, June 26, 2012 3:22:45 PM UTC-6, H.J. wrote: >> >> On Tue, Jun 26, 2012 at 2:11 PM, Mark Butler wrote: >> > >> >> x32 is designed to replace ia32 where long is 32-bit, not x86-64. >> >> >> > I understand, but wouldn't L64P32 be

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

2012-06-26 Thread H.J. Lu
On Tue, Jun 26, 2012 at 2:11 PM, Mark Butler wrote: > >> x32 is designed to replace ia32 where long is 32-bit, not x86-64. >> > I understand, but wouldn't L64P32 be much better in the long run? In terms > of compatibility with LP64, and an LP64 kernel in particular?  The structure > layouts of any

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

2012-06-26 Thread H. Peter Anvin
On 06/26/2012 12:47 PM, H.J. Lu wrote: >> >> May I ask why the decision was made to use ILP32 instead of L64P32? The >> latter would seem to avoid lots of porting problems in particular. And if >> porting difficulties are the major complained about x32, is it really too >> late to switch? Thank

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

2012-06-26 Thread H.J. Lu
On Tue, Jun 26, 2012 at 12:36 PM, Mark Butler wrote: > On Monday, May 14, 2012 11:31:11 AM UTC-6, H.J. wrote: >> >> Support for the x32 psABI: >> >> http://sites.google.com/site/x32abi/ >> >> is added in Linux kernel 3.4-rc1.  X32 uses the ILP32 model for x86-64 >> instruction set with size of lon

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

2012-05-17 Thread H.J. Lu
On Tue, May 15, 2012 at 9:07 AM, Michael Matz 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

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

2012-05-15 Thread H.J. Lu
On Tue, May 15, 2012 at 9:07 AM, Michael Matz 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

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

2012-05-15 Thread Michael Matz
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 s

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

2012-05-14 Thread H.J. Lu
On Mon, May 14, 2012 at 10:34 AM, H. Peter Anvin wrote: > On 05/14/2012 10:31 AM, H.J. Lu wrote: >> Hi, >> >> Support for the x32 psABI: >> >> http://sites.google.com/site/x32abi/ >> >> is added in Linux kernel 3.4-rc1.  X32 uses the ILP32 model for x86-64 >> instruction set with size of long and

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

2012-05-14 Thread H. Peter Anvin
On 05/14/2012 10:31 AM, H.J. Lu wrote: > Hi, > > Support for the x32 psABI: > > http://sites.google.com/site/x32abi/ > > is added in Linux kernel 3.4-rc1. X32 uses the ILP32 model for x86-64 > instruction set with size of long and pointers == 4 bytes. X32 is > already supported in GCC 4.7.0 an

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

2012-05-14 Thread H.J. Lu
Hi, Support for the x32 psABI: http://sites.google.com/site/x32abi/ is added in Linux kernel 3.4-rc1. X32 uses the ILP32 model for x86-64 instruction set with size of long and pointers == 4 bytes. X32 is already supported in GCC 4.7.0 and binutils 2.22. I am now working to integrate x32 suppo