Re: [patch] add x32 support

2013-01-14 Thread Mike Frysinger
On Monday 14 January 2013 14:36:43 Torbjorn Granlund wrote: > At some point, we'd like to make the assembly code in GMP support x32. how so ? for the most part, existing x86_64 assembly should "just work" for x32. pointers tend to be where things get into trouble, but otherwise x32 is simply x

Re: [patch] add x32 support

2013-01-14 Thread Torbjorn Granlund
Richard Henderson writes: On 01/10/2013 12:46 PM, Torbjorn Granlund wrote: > (I wonder if this can become a robust ABI with current hardware, unless > we pay a major performance price. It seems like address arithmetic by > means of hardware indexing, lea, etc, will be 64-bits, while we w

Re: [patch] add x32 support

2013-01-10 Thread Richard Henderson
On 01/10/2013 12:46 PM, Torbjorn Granlund wrote: (I wonder if this can become a robust ABI with current hardware, unless we pay a major performance price. It seems like address arithmetic by means of hardware indexing, lea, etc, will be 64-bits, while we want to compute mod 2^32.) The addr32 p

Re: [patch] add x32 support

2013-01-10 Thread Mike Frysinger
On Thursday 10 January 2013 15:46:55 Torbjorn Granlund wrote: > I was mainly concerned about your statement that "the x32 ABI slipped > through the cracks". I cannot find any prior communications about this. i was referring to the people who wrote the first patch which i've seen rebased/semi-rew

Re: [patch] add x32 support

2013-01-10 Thread Marc Glisse
On Thu, 10 Jan 2013, Marc Glisse wrote: On Thu, 10 Jan 2013, Torbjorn Granlund wrote: How could I test this? I don't remember what linux you have access to. Debian for instance has packages in "experimental" named libx32gcc1, libc6-x32, etc. Then you just need to compile with gcc -mx32.

Re: [patch] add x32 support

2013-01-10 Thread Marc Glisse
On Thu, 10 Jan 2013, Torbjorn Granlund wrote: How could I test this? I don't remember what linux you have access to. Debian for instance has packages in "experimental" named libx32gcc1, libc6-x32, etc. Then you just need to compile with gcc -mx32. -- Marc Glisse ___

Re: [patch] add x32 support

2013-01-10 Thread Torbjorn Granlund
Mike Frysinger writes: On Thursday 10 January 2013 15:05:12 Torbjorn Granlund wrote: > Mike Frysinger writes: > > looks like support for the x32 ABI slipped through the cracks. here's > the patch updated to latest hg branch (http://gmplib.org:8000/gmp). > > What is this? Plea

Re: [patch] add x32 support

2013-01-10 Thread Mike Frysinger
On Thursday 10 January 2013 15:05:12 Torbjorn Granlund wrote: > Mike Frysinger writes: > > looks like support for the x32 ABI slipped through the cracks. here's > the patch updated to latest hg branch (http://gmplib.org:8000/gmp). > > What is this? Please give some context. a simple google

Re: [patch] add x32 support

2013-01-10 Thread Torbjorn Granlund
Mike Frysinger writes: looks like support for the x32 ABI slipped through the cracks. here's the patch updated to latest hg branch (http://gmplib.org:8000/gmp). What is this? Please give some context. -- Torbjörn ___ gmp-devel mailing list gmp

[patch] add x32 support

2013-01-10 Thread Mike Frysinger
looks like support for the x32 ABI slipped through the cracks. here's the patch updated to latest hg branch (http://gmplib.org:8000/gmp). -mike diff -r f47abbae9591 configure.ac --- a/configure.ac Thu Jan 10 13:37:36 2013 +0100 +++ b/configure.ac Thu Jan 10 14:53:40 2013 -0500 @@ -1668