Re: fast-math optimization question

2014-10-10 Thread Richard Biener
On Fri, Oct 10, 2014 at 12:55 AM, Steve Ellcey wrote: > On Thu, 2014-10-09 at 19:50 +, Joseph S. Myers wrote: >> On Thu, 9 Oct 2014, Steve Ellcey wrote: >> >> > Do you know which pass does the simple >> > '(float)function((double)float_val)' demotion? Maybe that would be a >> > good place to

Re: fast-math optimization question

2014-10-10 Thread Jakub Jelinek
On Thu, Oct 09, 2014 at 03:55:34PM -0700, Steve Ellcey wrote: > On Thu, 2014-10-09 at 19:50 +, Joseph S. Myers wrote: > > On Thu, 9 Oct 2014, Steve Ellcey wrote: > > > > > Do you know which pass does the simple > > > '(float)function((double)float_val)' demotion? Maybe that would be a > > > g

Re: Towards GNU11

2014-10-10 Thread Marek Polacek
On Thu, Oct 09, 2014 at 02:34:51PM -0700, Mike Stump wrote: > On Oct 7, 2014, at 2:07 PM, Marek Polacek wrote: > > I'd like to kick off a discussion about moving the default standard > > for C from gnu89 to gnu11. > > I endorse the change of default. Thanks for chiming in. > A wiki page that h

Re: fast-math optimization question

2014-10-10 Thread Vincent Lefevre
On 2014-10-10 11:07:52 +0200, Jakub Jelinek wrote: > Though, is such optimization desirable even for fast-math? I wonder whether fast-math has a well-defined spec, but it should be noted that because of possible cancellations, even if the final result is a float, it may be better to keep intermedi

predicated code motion (in lim)

2014-10-10 Thread Evgeniya Maenkova
Hi, could anyone clarify about predicated code motion in lim? After reading a TODO in /tree-ssa-loop-im.c (see [1]) I tried several examples, say [2]. However, in all of them the code was moved out of the loop successfully (either by pre or by lim, as in [2]). So my question is: what the author o

Re: [PATCH] gcc parallel make check

2014-10-10 Thread Christophe Lyon
Hi Jakub, On 15 September 2014 18:05, Jakub Jelinek wrote: [...] > # For parallelized check-% targets, this decides whether parallelization > # is desirable (if -jN is used and RUNTESTFLAGS doesn't contain anything > # but optional --target_board or --extra_opts arguments). If desirable, >

Re: predicated code motion (in lim)

2014-10-10 Thread Richard Biener
On Fri, Oct 10, 2014 at 3:44 PM, Evgeniya Maenkova wrote: > Hi, > could anyone clarify about predicated code motion in lim? > > After reading a TODO in /tree-ssa-loop-im.c (see [1]) I tried several > examples, say [2]. However, in all of them the code was moved out of > the loop successfully (eith

Re: [PATCH] gcc parallel make check

2014-10-10 Thread Jakub Jelinek
On Fri, Oct 10, 2014 at 04:09:39PM +0200, Christophe Lyon wrote: > my.exp contains the following construct which is often used in the testsuite: > == > foreach src [lsort [glob -nocomplain $srcdir/$subdir/*.c]] { > # If we're only testing specific files and this isn't one of them, > ski

Re: fast-math optimization question

2014-10-10 Thread Richard Biener
On Fri, Oct 10, 2014 at 3:27 PM, Vincent Lefevre wrote: > On 2014-10-10 11:07:52 +0200, Jakub Jelinek wrote: >> Though, is such optimization desirable even for fast-math? > > I wonder whether fast-math has a well-defined spec, but it should be > noted that because of possible cancellations, even i

Re: [PATCH] gcc parallel make check

2014-10-10 Thread Christophe Lyon
On 10 October 2014 16:19, Jakub Jelinek wrote: > On Fri, Oct 10, 2014 at 04:09:39PM +0200, Christophe Lyon wrote: >> my.exp contains the following construct which is often used in the testsuite: >> == >> foreach src [lsort [glob -nocomplain $srcdir/$subdir/*.c]] { >> # If we're only te

Re: [PATCH] gcc parallel make check

2014-10-10 Thread Jakub Jelinek
On Fri, Oct 10, 2014 at 04:50:47PM +0200, Christophe Lyon wrote: > On 10 October 2014 16:19, Jakub Jelinek wrote: > > On Fri, Oct 10, 2014 at 04:09:39PM +0200, Christophe Lyon wrote: > >> my.exp contains the following construct which is often used in the > >> testsuite: > >> == > >> forea

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Jeff Law
On 10/09/14 06:14, Uros Bizjak wrote: Hello! I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions are leaked instead of MEM expresions into various parts of aliasing-detecting support functi

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Uros Bizjak
On Fri, Oct 10, 2014 at 7:56 PM, Jeff Law wrote: > On 10/09/14 06:14, Uros Bizjak wrote: >> >> Hello! >> >> I'd like to bring PR 63475 to the attention of RTL maintainers. The >> problem in the referred PR exposed the RTL infrastructure problem, >> where VALUE expressions are leaked instead of MEM

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Jeff Law
On 10/10/14 12:12, Uros Bizjak wrote: On Fri, Oct 10, 2014 at 7:56 PM, Jeff Law wrote: On 10/09/14 06:14, Uros Bizjak wrote: Hello! I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions a

Re: RTL infrastructure leaks VALUE expressions into aliasing-detecting functions

2014-10-10 Thread Uros Bizjak
On Fri, Oct 10, 2014 at 8:18 PM, Jeff Law wrote: I'd like to bring PR 63475 to the attention of RTL maintainers. The problem in the referred PR exposed the RTL infrastructure problem, where VALUE expressions are leaked instead of MEM expresions into various parts of aliasing-d

Re: predicated code motion (in lim)

2014-10-10 Thread Evgeniya Maenkova
Got it, thanks. (Now there are phi instead of if) On Fri, Oct 10, 2014 at 6:18 PM, Richard Biener wrote: > On Fri, Oct 10, 2014 at 3:44 PM, Evgeniya Maenkova > wrote: >> Hi, >> could anyone clarify about predicated code motion in lim? >> >> After reading a TODO in /tree-ssa-loop-im.c (see [1])

Attention

2014-10-10 Thread Robin Mullane
Hi, Am Robin Mullane, Cheif operating officer of Standard Bank, Please permit me to discuss an inheritance deal connected to your second name. Reply to: robinmulla...@gmail.com if interested for more details.