Re: [patch] Fix PR middle-end/53590

2012-06-17 Thread Richard Guenther
On Fri, Jun 15, 2012 at 6:48 PM, Eric Botcazou wrote: >> Btw, I think we should enable this flag by default for all languages but >> Java so that if you enable -fnon-call-exceptions for C or C++ you don't get >> too many spurious exceptions from dead code. > > The attached patch enables it for the

Re: [patch] Fix PR middle-end/53590

2012-06-15 Thread Eric Botcazou
> Btw, I think we should enable this flag by default for all languages but > Java so that if you enable -fnon-call-exceptions for C or C++ you don't get > too many spurious exceptions from dead code. The attached patch enables it for the C family of languages (I'm not too sure about the other lan

Re: [patch] Fix PR middle-end/53590

2012-06-15 Thread Eric Botcazou
> Btw, I think we should enable this flag by default for all languages but > Java so that if you enable -fnon-call-exceptions for C or C++ you don't get > too many spurious exceptions from dead code. The flag isn't formally tied to -fnon-call-exceptions though, so there might be subtleties in C++

Re: [patch] Fix PR middle-end/53590

2012-06-15 Thread Richard Guenther
On Fri, Jun 15, 2012 at 11:13 AM, Eric Botcazou wrote: >> If we don't do it, we'll get another PR saying "this works in LTO mode with >> other versions of the Ada compiler" (which is true) so I'll proceed. > > Here is what I've installed after bootstrapping/regtesting on > x86_64-suse-linux > and

Re: [patch] Fix PR middle-end/53590

2012-06-15 Thread Eric Botcazou
> If we don't do it, we'll get another PR saying "this works in LTO mode with > other versions of the Ada compiler" (which is true) so I'll proceed. Here is what I've installed after bootstrapping/regtesting on x86_64-suse-linux and i586-suse-linux. It adds the flag to 'struct function' and stre

Re: [patch] Fix PR middle-end/53590

2012-06-13 Thread Eric Botcazou
> Not sure if it's worth it though, is it? This can be done as a followup > anyway. If we don't do it, we'll get another PR saying "this works in LTO mode with other versions of the Ada compiler" (which is true) so I'll proceed. > The patch is otherwise ok. Thanks. -- Eric Botcazou

Re: [patch] Fix PR middle-end/53590

2012-06-13 Thread Richard Guenther
On Wed, Jun 13, 2012 at 1:08 PM, Eric Botcazou wrote: >> +@item -fdelete-dead-exceptions >> +@opindex fdelete-dead-exceptions >> +Assume that statements that may raise exceptions but don't otherwise >> contribute +to the execution of the program can be optimized away. >> + >> This flag is set by t

Re: [patch] Fix PR middle-end/53590

2012-06-13 Thread Eric Botcazou
> +@item -fdelete-dead-exceptions > +@opindex fdelete-dead-exceptions > +Assume that statements that may raise exceptions but don't otherwise > contribute +to the execution of the program can be optimized away. > + > This flag is set by the frontends according to their language > specification. Pas

Re: [patch] Fix PR middle-end/53590

2012-06-13 Thread Richard Guenther
On Wed, Jun 13, 2012 at 12:06 PM, Eric Botcazou wrote: > This PR is about straight-line code not being as much vectorized in Ada as in > C > or C++.  The problem stems from the very conservative semantics implemented > under -fnon-call-exceptions for the sake of Java.  We don't need it in Ada. >

[patch] Fix PR middle-end/53590

2012-06-13 Thread Eric Botcazou
This PR is about straight-line code not being as much vectorized in Ada as in C or C++. The problem stems from the very conservative semantics implemented under -fnon-call-exceptions for the sake of Java. We don't need it in Ada. Tested on x86_64-suse-linux, OK for the mainline? 2012-06-13