New file extension

2013-07-27 Thread Gabriel Dos Reis
Hi, I would like to suggest that new implementation files have the '.cc' extension, unless they are meant to be processed with a C compiler. (I am not proposing wholesale renaming.) -- Gaby

Re: fatal error: gnu/stubs-32.h: No such file

2013-07-27 Thread David Starner
On Fri, Jul 26, 2013 at 2:01 AM, Andrew Haley wrote: > GCC can detect at configure time that it will fail. It is clearly > a computable problem. It's a matter of someone doing it rather than > insisting that the world should change to suit them. GCC 4.8.1 will fail to compile on x86_64-unknown-

Re: [x86-64 psABI]: Extend x86-64 psABI to support AVX-512

2013-07-27 Thread Ondřej Bílka
On Thu, Jul 25, 2013 at 12:50:53PM -0400, Rich Felker wrote: > On Thu, Jul 25, 2013 at 08:55:38AM +0200, Ondřej Bílka wrote: > > On Thu, Jul 25, 2013 at 05:06:55AM +0200, Jakub Jelinek wrote: > > > On Wed, Jul 24, 2013 at 07:36:31PM +0200, Richard Biener wrote: > > > > >Make them callee saved means

Re: [x86-64 psABI]: Extend x86-64 psABI to support AVX-512

2013-07-27 Thread Rich Felker
On Sat, Jul 27, 2013 at 05:44:05PM +0200, Ondřej Bílka wrote: > On Thu, Jul 25, 2013 at 12:50:53PM -0400, Rich Felker wrote: > > On Thu, Jul 25, 2013 at 08:55:38AM +0200, Ondřej Bílka wrote: > > > On Thu, Jul 25, 2013 at 05:06:55AM +0200, Jakub Jelinek wrote: > > > > On Wed, Jul 24, 2013 at 07:36:3

Re: [x86-64 psABI]: Extend x86-64 psABI to support AVX-512

2013-07-27 Thread Rich Felker
On Sat, Jul 27, 2013 at 12:12:57PM -0400, Rich Felker wrote: > By the way, I do have another horrible idea for how you could do it. > glibc's jmp_buf is actually a sigjmp_buf and contains 120 wasted bytes > of sigset_t for nonexistant HURD signals. So you could store a few > registers after the act

Support setjmp in x86-64 psABI with AVX-512

2013-07-27 Thread Ondřej Bílka
On Sat, Jul 27, 2013 at 12:12:57PM -0400, Rich Felker wrote: > On Sat, Jul 27, 2013 at 05:44:05PM +0200, Ondřej Bílka wrote: > > On Thu, Jul 25, 2013 at 12:50:53PM -0400, Rich Felker wrote: > > > On Thu, Jul 25, 2013 at 08:55:38AM +0200, Ondřej Bílka wrote: > > > You can't add call-saved registers

Re: fatal error: gnu/stubs-32.h: No such file

2013-07-27 Thread Jonathan Wakely
On 27 July 2013 14:56, David Starner wrote: > On Fri, Jul 26, 2013 at 2:01 AM, Andrew Haley wrote: >> GCC can detect at configure time that it will fail. It is clearly >> a computable problem. It's a matter of someone doing it rather than >> insisting that the world should change to suit them. >

Help for my Master thesis

2013-07-27 Thread Kiefmann Bernhard
Dear Ladies and Gentlemen! As you can read below, I need some information regarding the development of the GCC's. Some of the questions below were answered me already but I can not find any references to the use of formal or semi-formal methods. as - Logic / functional block diagrams - Flow char

Re: Support setjmp in x86-64 psABI with AVX-512

2013-07-27 Thread Rich Felker
On Sat, Jul 27, 2013 at 08:27:07PM +0200, Ondřej Bílka wrote: > On Sat, Jul 27, 2013 at 12:12:57PM -0400, Rich Felker wrote: > > On Sat, Jul 27, 2013 at 05:44:05PM +0200, Ondřej Bílka wrote: > > > On Thu, Jul 25, 2013 at 12:50:53PM -0400, Rich Felker wrote: > > > > On Thu, Jul 25, 2013 at 08:55:38A

Re: Help for my Master thesis

2013-07-27 Thread Andrew Haley
On 07/27/2013 08:36 PM, Kiefmann Bernhard wrote: > As you can read below, I need some information regarding the development of > the GCC's. Some of the questions below were answered me already but I can not > find any references to the use of formal or semi-formal methods. as > - Logic / function

gcc-4.7-20130727 is now available

2013-07-27 Thread gccadmin
Snapshot gcc-4.7-20130727 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.7-20130727/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.7 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches

Re: fatal error: gnu/stubs-32.h: No such file

2013-07-27 Thread Gabriel Dos Reis
On Sat, Jul 27, 2013 at 2:23 PM, Jonathan Wakely wrote: > On 27 July 2013 14:56, David Starner wrote: >> On Fri, Jul 26, 2013 at 2:01 AM, Andrew Haley wrote: >>> GCC can detect at configure time that it will fail. It is clearly >>> a computable problem. It's a matter of someone doing it rather

Re: fatal error: gnu/stubs-32.h: No such file

2013-07-27 Thread David Starner
On Sat, Jul 27, 2013 at 12:23 PM, Jonathan Wakely wrote: > It's not "some random package" it's the C library, and it is needed to > compile 32-bit C programs. It's not libc6. It's not even libc6-dev. It's libc6-dev-i386. Debian Popularity Contest says that 84315 out of 147631 are AMD64; 99980 sys

Re: fatal error: gnu/stubs-32.h: No such file

2013-07-27 Thread Gabriel Dos Reis
On Sat, Jul 27, 2013 at 6:10 PM, David Starner wrote: >> If the >> latter, did you try spelling it correctly, --disable-multilib >> (singular)? > > I'm sorry, I didn't realize I was misspelling it. Do not feel alone on this one. -- Gaby

Problems with register elimination

2013-07-27 Thread David Given
I am having a great deal of trouble getting register elimination (and stack frame layouts in general) working properly on my architecture. There is some fundamental issue I'm simply not getting here. My architecture is a fairly vanilla RISC system with a link pointer. The stack frame layout I'm ai