Re: [PR71478] Fix ICE in tree-ssa-reassoc.c

2016-06-13 Thread Jakub Jelinek
On Fri, Jun 10, 2016 at 01:34:07PM +0200, Richard Biener wrote: > On Fri, Jun 10, 2016 at 4:19 AM, kugan > wrote: > > Hi, > > > > In PR71478, for vector negation of ssa produced by call stmt, we add vector > > (-1) and ssa to the ops list. However, in the place

Re: [PATCH] Fix SOURCE_DATE_EPOCH handling with -E (PR preprocessor/71183)

2016-06-13 Thread Joseph Myers
On Mon, 13 Jun 2016, Jakub Jelinek wrote: > Hi! > > The SOURCE_DATE_EPOCH env var is ignored during -E, which is undesirable > and inconsistent. The problem is that the appropriate callback for > libcpp is only installed when compiling and not when preprocessing only. > > Fixed thusly,

Re: [PATCH] Fix ubsan handling of BIND_EXPR (PR sanitizer/71498)

2016-06-13 Thread Marek Polacek
On Mon, Jun 13, 2016 at 08:39:43PM +0200, Jakub Jelinek wrote: > Hi! > > As has been discussed in the original -fsanitize=bounds submission, > walk_tree for BIND_EXPR walks the body and > DECL_INITIAL/DECL_SIZE/DECL_SIZE_UNIT of all the BIND_EXPR_VARS. > For -fsanitize=bounds instrumentation, we

[tree-optimization/71403] Do not allow threading to a deeper loop nest

2016-06-13 Thread Jeff Law
pr71403 (and its duplicates) show a problem where we thread a backedge from an outer loop to the header of an inner loop. This looks all find and good at the CFG level, but it essentially combines the inner and outer loop with parts of the loop executing on some iterations, but not on

Go patch committed: assign phase of escape analysis

2016-06-13 Thread Ian Lance Taylor
This patch by Chris Manghane implements the assign phase of escape analysis. This builds a graph of assignments within a function. This is just another step toward escape analysis; it is not yet enabled. Ian Index: gcc/go/gofrontend/MERGE

[PATCH][C] Avoid reading from FUNCTION_DECL with atomics

2016-06-13 Thread Richard Biener
The following avoids creating IL that accesses a FUNCTION_DECLs memory directly rather than indirectly through an address based on it. Bootstrap and regtest running on x86_64-unknown-linux-gnu, ok for trunk? Thanks, Richard. 2016-06-13 Richard Biener PR c/71514

Re: [PATCH, i386]: Implement PR 71246, Missing built-in functions for float128 NaNs

2016-06-13 Thread Joseph Myers
On Mon, 13 Jun 2016, Richard Biener wrote: > Hmm, as we already have BUILT_IN_NAN[S] why not add NAN128 and NANS128 > variants in the middle-end as we already have NAND128 (for decimal float > 128)? The middle-end does not know anything about the target-specific __float128 type. Now, I'm

Re: [PATCH] PR 71416 - allow more than one use of a live operation

2016-06-13 Thread Richard Biener
On Mon, Jun 13, 2016 at 1:00 PM, Alan Hayward wrote: > vectorizable_live_operation checks that there is exactly one use of each > operation that has been marked live. > > However, it is possible for the operation is used more than once if the > usage PHIs are identical. > >

[PATCH] PR 71416 - allow more than one use of a live operation

2016-06-13 Thread Alan Hayward
vectorizable_live_operation checks that there is exactly one use of each operation that has been marked live. However, it is possible for the operation is used more than once if the usage PHIs are identical. For example in 71416-1.c, _6 is used twice after the loop in bb 9. : # e.6_21 = PHI

Re: move increase_alignment from simple to regular ipa pass

2016-06-13 Thread Jan Hubicka
> diff --git a/gcc/cgraph.h b/gcc/cgraph.h > index ecafe63..41ac408 100644 > --- a/gcc/cgraph.h > +++ b/gcc/cgraph.h > @@ -1874,6 +1874,9 @@ public: > if we did not do any inter-procedural code movement. */ >unsigned used_by_single_function : 1; > > + /* Set if -fsection-anchors is

Re: [Committed] S/390: Fix MAX_ARGS value.

2016-06-13 Thread Jakub Jelinek
On Mon, Jun 13, 2016 at 12:35:32PM +0200, Andreas Krebbel wrote: > On 06/13/2016 11:01 AM, Jakub Jelinek wrote: > > Also, it isn't clear to me, are there any s390 builtins right now that > > actually have 6 arguments (my reading is that you don't count the return > > value into that)? I.e. beyond

Re: Vectorize 2*x as x+x if needed

2016-06-13 Thread Marc Glisse
On Mon, 13 Jun 2016, Richard Biener wrote: On Sun, Jun 12, 2016 at 11:19 AM, Marc Glisse wrote: Hello, canonicalizing x+x to x*2 made us regress some vectorization tests on sparc. As suggested by Richard, this lets the vectorizer handle x*2 as x+x if that helps. Let me

<    1   2