[Bug c++/65061] [4.8/4.9 Regression] Issue with using declaration and member class template

2015-05-22 Thread paolo.carlini at oracle dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65061 Paolo Carlini paolo.carlini at oracle dot com changed: What|Removed |Added CC||rs2740 at

[Ada] Removal of SPARK RM 6.9 (11)

2015-05-22 Thread Arnaud Charlet
This patch removes the (incorrect) implementation of the following rule: SPARK RM 6.9 (11) - A non-ghost library unit package or generic package specification shall not require a completion solely because of ghost declarations. [In other words, if a library unit package or generic

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 --- Comment #3 from Jakub Jelinek jakub at gcc dot gnu.org --- Ah, but fre2 is able to optimize those: D.2881[_12].dir.x = x_13; ... _32 = MEM[(const struct Ray *)D.2881][_12].dir.x; cases to _32 = x_13; The problem in FRE2 is only with the

Re: [patch 10/10] debug-early merge: compiler proper

2015-05-22 Thread Richard Biener
On Wed, May 20, 2015 at 5:50 PM, Aldy Hernandez al...@redhat.com wrote: On 05/18/2015 06:56 AM, Richard Biener wrote: BTW, thanks for the review. On Fri, May 8, 2015 at 2:40 AM, Aldy Hernandez al...@redhat.com wrote: As seen on TV. +/* FIRST_TIME is set to TRUE for the first time we are

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 --- Comment #4 from Jakub Jelinek jakub at gcc dot gnu.org --- Ah, and the reason for the ifcvt failure is that we have an unoptimized virtual PHI in the loop that ifcvt gives up on: # .MEM_55 = PHI .MEM_55(7), .MEM_5(D)(2) Only phicprop2 pass

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 --- Comment #5 from Jakub Jelinek jakub at gcc dot gnu.org --- Created attachment 35596 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35596action=edit gcc6-pr66142.patch Fix for the ifcvt issue. With this the modified testcase is

Re: Calculate TYPE_CANONICAL only for types that can be accessed in memory

2015-05-22 Thread Jan Hubicka
+ /* No need for canonical types of functions and methods; those are never + accessed as memory locations. */ + if (TREE_CODE (t) == FUNCTION_TYPE || TREE_CODE (t) == METHOD_TYPE) +return; Just occured to me that it might make sense to remove the FUNCTION/METHOD_TYPE case in

[Bug middle-end/66251] [6 Regression] ICE in vect_get_vec_def_for_operand, at tree-vect-stmts.c:1484

2015-05-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66251 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added CC||matz at gcc

Re: [RFC / CFT] PR c++/66192 - Remove TARGET_RELAXED_ORDERING and use load acquires.

2015-05-22 Thread Ramana Radhakrishnan
Bah ! now with patch attached. Ramana diff --git a/gcc/config/alpha/alpha.c b/gcc/config/alpha/alpha.c index 1ba99d0..857c9ac 100644 --- a/gcc/config/alpha/alpha.c +++ b/gcc/config/alpha/alpha.c @@ -9987,12 +9987,6 @@ alpha_atomic_assign_expand_fenv (tree *hold, tree *clear, tree *update)

[Bug tree-optimization/62171] restrict pointer to struct with restrict pointers parm doesn't prevent aliases

2015-05-22 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62171 --- Comment #3 from vries at gcc dot gnu.org --- (In reply to Richard Biener from comment #2) And maybe set DECL_BY_REFERENCE, a mere REFERENCE_TYPE doesn't prevent you from doing (param)[2] which we'd miscompile. Not sure who added that

[Ada] Constants and hidden state

2015-05-22 Thread Arnaud Charlet
This patch modifies the treatment of constants within the state space of a package. Constants that appear in the hidden state space may or may not act as constituents or possess indicator Part_Of. This is because the compiler cannot accurately determine whether a constant has variable input which

[Ada] Cannot rename component of Volatile_Full_Access object

2015-05-22 Thread Arnaud Charlet
It is not allowed to rename a component of a composite object to which pragma Volatile_Full_Access has been applied. The following is compiled with -gnatj55 1. package RenamVFA is 2.type Int8_t is mod 2**8; 3.type Rec is record 4. A,B,C,D : Int8_t; 5.end

[Ada] Raise Program_Error on default initialization of references

2015-05-22 Thread Arnaud Charlet
This patch causes default initialization of objects of types Constant_Reference_Type and Reference_Type in the containers packages to raise Program_Error as required by the RM. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-05-22 Bob Duff d...@adacore.com * a-cborma.ads,

Re: [Ada] Correct some anmolies in the handling of Atomic

2015-05-22 Thread Duncan Sands
Hi Arnaud, Index: exp_util.adb === --- exp_util.adb(revision 223476) +++ exp_util.adb(working copy) @@ -204,6 +204,13 @@ when others = null; end case; + -- Nothing to do for the identifier in

[Bug tree-optimization/62171] restrict pointer to struct with restrict pointers parm doesn't prevent aliases

2015-05-22 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62171 --- Comment #4 from vries at gcc dot gnu.org --- (In reply to vries from comment #3) (In reply to Richard Biener from comment #2) And maybe set DECL_BY_REFERENCE, a mere REFERENCE_TYPE doesn't prevent you from doing (param)[2] which we'd

Re: [patch 10/10] debug-early merge: compiler proper

2015-05-22 Thread Richard Biener
On Wed, May 20, 2015 at 11:45 PM, Aldy Hernandez al...@redhat.com wrote: On 05/20/2015 05:01 PM, Jan Hubicka wrote: commit 8824b5ecba26cef065e47b34609c72677c3c36fc Author: Aldy Hernandez al...@redhat.com Date: Wed May 20 16:31:14 2015 -0400 Set DECL_IGNORED_P on temporary arrays

Re: [PATCH 1/3][AArch64] Strengthen barriers for sync-fetch-op builtins.

2015-05-22 Thread Ramana Radhakrishnan
Ok for trunk? I can't approve but do you mind taking care of -march=armv8-a in the arm backend too as that would have the same issues. Ramana Matthew gcc/ 2015-05-21 Matthew Wahab matthew.wa...@arm.com * config/aarch64/aarch64.c (aarch64_emit_post_barrier): New.

[Patch libstdc++] Rewrite cpu/generic/atomic_word.h

2015-05-22 Thread Ramana Radhakrishnan
Hi, While writing atomic_word.h for the ARM backend to fix PR target/66200 I thought it would make more sense to write it all up with atomic primitives instead of providing various fragile bits of inline asssembler. Thus this patch came about. I intend to ask for a specialized version of

Re: [PATCH 1/3][AArch64] Strengthen barriers for sync-fetch-op builtins.

2015-05-22 Thread Matthew Wahab
On 22/05/15 12:26, Ramana Radhakrishnan wrote: Ok for trunk? I can't approve but do you mind taking care of -march=armv8-a in the arm backend too as that would have the same issues. Will do, Matthew

[Bug fortran/66089] [6 Regression] elemental dependency mishandling when derived types are involved

2015-05-22 Thread vehre at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66089 --- Comment #9 from vehre at gcc dot gnu.org --- That was a rhetorical question. In the patch you submitted in comment #2 could you put a comment (in the source) at: Index: trans-array.c

Re: [patch, testsuite, ARM] don't try to execute advsimd-intrinsics tests on hardware without NEON

2015-05-22 Thread Richard Biener
On Thu, May 21, 2015 at 6:06 PM, Sandra Loosemore san...@codesourcery.com wrote: On 05/21/2015 03:48 AM, Christophe Lyon wrote: On 21 May 2015 at 07:33, Sandra Loosemore san...@codesourcery.com wrote: ARM testing shares the AArch64 advsimd-intrinsics execution tests. On ARM, though, the

[Bug middle-end/66241] [6 regression] [ARM] ICE: verify_type failed while building libstdc++ (dwarfout.c: gen_type_die_with_usage())

2015-05-22 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66241 ktkachov at gcc dot gnu.org changed: What|Removed |Added Last reconfirmed|2015-05-21 00:00:00 |2015-5-22

Re: [Patch] [AArch64] PR target 66049: fix add/extend gcc test suite failures

2015-05-22 Thread Bin.Cheng
On Fri, May 22, 2015 at 4:58 PM, Kyrill Tkachov kyrylo.tkac...@foss.arm.com wrote: Hi Venkat, On 22/05/15 09:50, Kumar, Venkataramanan wrote: Hi Kyrill, Sorry for little delay in responding. -Original Message- From: Kyrill Tkachov [mailto:kyrylo.tkac...@foss.arm.com] Sent:

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 Jakub Jelinek jakub at gcc dot gnu.org changed: What|Removed |Added CC||jakub at gcc dot

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #10 from Jakub Jelinek jakub at gcc dot gnu.org --- As for the hotpatch testcases, have you tested them also with -fno-dwarf2-cfi-asm (as they seem to contain .cfi directives in the regexps)? And for the main patch, the change will

Re: Compilers and RCU readers: Once more unto the breach!

2015-05-22 Thread Richard Kenner
(Assuming it's a goal of this standard to be human parseable to more than a few dozen people on the planet.) Unfortunately, that's rarely a goal of most standards. ;-)

[Bug bootstrap/66252] New: [6 regression] bootstrap comparison failures on sparc-linux

2015-05-22 Thread mikpelinux at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66252 Bug ID: 66252 Summary: [6 regression] bootstrap comparison failures on sparc-linux Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal

Re: [i386] Scalar DImode instructions on XMM registers

2015-05-22 Thread Ilya Enkovich
2015-05-22 11:53 GMT+03:00 Ilya Enkovich enkovich@gmail.com: 2015-05-21 22:08 GMT+03:00 Vladimir Makarov vmaka...@redhat.com: So, Ilya, to solve the problem you need to avoid sharing subregs for the correct LRA/reload work. Thanks a lot for your help! I'll fix it. Ilya I've fixed

[Bug c/54006] __atomic_always_lock_free inconsistent with __GCC_ATOMIC_INT_LOCK_FREE et al.

2015-05-22 Thread nick.mayerho...@rise-world.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54006 Nick nick.mayerho...@rise-world.com changed: What|Removed |Added CC|

[Bug middle-end/66251] [6 Regression] ICE in vect_get_vec_def_for_operand, at tree-vect-stmts.c:1484

2015-05-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66251 --- Comment #3 from Richard Biener rguenth at gcc dot gnu.org --- Author: rguenth Date: Fri May 22 12:34:46 2015 New Revision: 223552 URL: https://gcc.gnu.org/viewcvs?rev=223552root=gccview=rev Log: 2015-05-22 Richard Biener rguent...@suse.de

Add few cases to operand_equal_p

2015-05-22 Thread Jan Hubicka
Hi, I am working on patch that makes operand_equal_p replace logic from ipa-icf-gimple's compare_op via a valueizer hook. Currently the patch however cuts number of merges on firefox to half (apparently becuase it gives up on some tree codes too early) The patch bellow merges code from

[PATCH][3/n] Reduction vectorization improvements

2015-05-22 Thread Richard Biener
This does some more cleanup and refactoring with two fixes, the pure slp compute in vect_analyze_loop_operations was failing to look at pattern stmts and the vect_is_slp_reduction hunk makes reduction detection fail because the pattern state changes in between reduction detection and

Re: [RFC / CFT] PR c++/66192 - Remove TARGET_RELAXED_ORDERING and use load acquires.

2015-05-22 Thread Ramana Radhakrishnan
On 22/05/15 14:40, Jason Merrill wrote: On 05/22/2015 07:23 AM, Ramana Radhakrishnan wrote: + /* Load the guard value only through an atomic acquire load. */ + guard = build_atomic_load (guard, MEMMODEL_ACQUIRE); + /* Check to see if the GUARD is zero. */ guard = get_guard_bits

[RFC] operand_equal_p with valueization

2015-05-22 Thread Jan Hubicka
Hi, with aliasing sanity checks I got burnt again with ipa-icf-gimple's compare_operand doing alias set checks on all types it ever trips across. I always tought that we do not need two equality testers - operand_equal_p and compare_operand and given that it turns out to be non-trivial to fix

Re: [RFC] Combine related fail of gcc.target/powerpc/ti_math1.c

2015-05-22 Thread Segher Boessenkool
On Fri, May 22, 2015 at 11:48:42AM +0930, Alan Modra wrote: I think we should add to the canonicalisation rules so that fixed regs sort after other regs. That requires a lot of testing. What if you have two hard regs as above? Which of reg 5 and reg 76 sorts first? If they are sorted

[Bug bootstrap/66252] [6 regression] bootstrap comparison failures on sparc-linux

2015-05-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66252 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Target Milestone|--- |6.0

Re: Compilers and RCU readers: Once more unto the breach!

2015-05-22 Thread Paul E. McKenney
On Fri, May 22, 2015 at 08:43:44AM +0200, Ingo Molnar wrote: * Linus Torvalds torva...@linux-foundation.org wrote: (a) the official rules are completely pointless, and make sense only because the standard is written for some random abstract machine that doesn't actually exist.

Re: [RFC] operand_equal_p with valueization

2015-05-22 Thread Richard Biener
On Fri, 22 May 2015, Jan Hubicka wrote: Hi, with aliasing sanity checks I got burnt again with ipa-icf-gimple's compare_operand doing alias set checks on all types it ever trips across. I always tought that we do not need two equality testers - operand_equal_p and compare_operand and given

Re: [RFC / CFT] PR c++/66192 - Remove TARGET_RELAXED_ORDERING and use load acquires.

2015-05-22 Thread Jason Merrill
On 05/22/2015 07:23 AM, Ramana Radhakrishnan wrote: + /* Load the guard value only through an atomic acquire load. */ + guard = build_atomic_load (guard, MEMMODEL_ACQUIRE); + /* Check to see if the GUARD is zero. */ guard = get_guard_bits (guard); I wonder if these calls should be

Re: [RFC / CFT] PR c++/66192 - Remove TARGET_RELAXED_ORDERING and use load acquires.

2015-05-22 Thread David Edelsohn
On Fri, May 22, 2015 at 9:40 AM, Jason Merrill ja...@redhat.com wrote: On 05/22/2015 07:23 AM, Ramana Radhakrishnan wrote: + /* Load the guard value only through an atomic acquire load. */ + guard = build_atomic_load (guard, MEMMODEL_ACQUIRE); + /* Check to see if the GUARD is zero.

[Bug target/52049] SH Target: Inefficient constant address access

2015-05-22 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52049 --- Comment #2 from Oleg Endo olegendo at gcc dot gnu.org --- There is a GSoC 2015 project which will try to address the AMS problem. https://www.google-melange.com/gsoc/project/details/google/gsoc2015/erikvarga/5693417237512192 It will be

[Bug other/66250] Can't adjust complex nor decimal floating point modes

2015-05-22 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66250 H.J. Lu hjl.tools at gmail dot com changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #12 from Dominik Vogt vogt at linux dot vnet.ibm.com --- Created attachment 35597 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35597action=edit Experimental fix 2 Version 2 of the patch with the suggested changes and test

[PATCH] Fix ICE in PR66251

2015-05-22 Thread Richard Biener
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2015-05-22 Richard Biener rguent...@suse.de PR tree-optimization/66251 * tree-vect-stmts.c (vectorizable_conversion): Properly set STMT_VINFO_VEC_STMT even for the SLP case. *

[Bug middle-end/66253] [6 Regression] 459.GemsFDTD in SPEC CPU 2006 is miscompiled

2015-05-22 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66253 H.J. Lu hjl.tools at gmail dot com changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

Re: [PATCH][ARM] Handle UNSPEC_VOLATILE in rtx costs and don't recurse inside the unspec

2015-05-22 Thread Ramana Radhakrishnan
On Mon, Apr 20, 2015 at 5:28 PM, Kyrill Tkachov kyrylo.tkac...@arm.com wrote: Hi all, A pet project of mine is to get to the point where backend rtx costs functions won't have to handle rtxes that don't match down to any patterns/expanders we have. Or at least limit such cases. A case dealt

[Bug target/66224] PowerPC _GLIBCXX_READ_MEM_BARRIER too weak

2015-05-22 Thread dje at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66224 --- Comment #3 from David Edelsohn dje at gcc dot gnu.org --- Author: dje Date: Fri May 22 12:43:02 2015 New Revision: 223554 URL: https://gcc.gnu.org/viewcvs?rev=223554root=gccview=rev Log: PR target/66224 *

Re: IBM z13 support for older GCCs

2015-05-22 Thread Jakub Jelinek
On Fri, May 22, 2015 at 12:43:14PM +, Joseph Myers wrote: On Fri, 22 May 2015, Richard Biener wrote: All arguments still apply apart from the fact that we'll have plenty of releases from the GCC 5 branch (and the alternatives patch is safe there). So for GCC 5 I'm willing to

[Ada] Small enhancement to unchecked conversion warning in -gnatf mode

2015-05-22 Thread Arnaud Charlet
In full warning mode, when an unchecked conversion is applied to types of different sizes, the compiler issues a warning describing the effects of the conversion on the additional or missing bits. When the source is smaller than the target, it was issuing a specific warning if the target is of a

[Ada] Make sure Volatile_Full_Access is treated like Atomic

2015-05-22 Thread Arnaud Charlet
This update makes sure that Volatile_Full_Access is treated like Atomic in all cases except checking specific RM legality rules, and controlling atomic synchronization. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-05-22 Robert Dewar de...@adacore.com * exp_ch5.adb,

Re: Compilers and RCU readers: Once more unto the breach!

2015-05-22 Thread Paul E. McKenney
On Fri, May 22, 2015 at 06:43:32AM -0400, Richard Kenner wrote: (Assuming it's a goal of this standard to be human parseable to more than a few dozen people on the planet.) Unfortunately, that's rarely a goal of most standards. ;-) My experience does match Richard's, sad to say. There

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #14 from Dominik Vogt vogt at linux dot vnet.ibm.com --- Is it possible that a function has no insns at all?

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 Dominik Vogt vogt at linux dot vnet.ibm.com changed: What|Removed |Added Attachment #35597|0 |1

Re: Add few cases to operand_equal_p

2015-05-22 Thread Jan Hubicka
+ case OBJ_TYPE_REF: + { + if (!operand_equal_p (OBJ_TYPE_REF_EXPR (arg0), + OBJ_TYPE_REF_EXPR (arg1), flags)) + return false; + if (flag_devirtualize virtual_method_call_p (arg0)) + { + if (tree_to_uhwi

Re: [RFC] operand_equal_p with valueization

2015-05-22 Thread Jan Hubicka
And no, I'm hesitant to change operand_equal_p too much. It's very much deep-rooted into GENERIC. OK, as another option, i can bring relevant logic from operand_equal_p to ipa-icf and separate it into the compare_operand class like I did. Use it in ipa-icf-gimple now and we can slowly turn

[Bug target/65832] Inefficient vector construction

2015-05-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65832 --- Comment #5 from Richard Biener rguenth at gcc dot gnu.org --- On a related note, store_constructor handles VECTOR_TYPE constructors through the vec_init optab but that doesn't work for vector elements: /* Don't use vec_initmode

Re: [patch 1/10] debug-early merge: Ada front-end

2015-05-22 Thread Aldy Hernandez
On 05/22/2015 04:31 AM, Eric Botcazou wrote: My apologies for the delay on Ada. I have reworked the patch to leave the first pass on the TYPE_DECLs which are definitely needed. I also optimized things a bit, since we don't need to save all the globals any more. Thanks, this looks fine modulo

[Bug middle-end/66253] New: [6 Regression] 459.GemsFDTD in SPEC CPU 2006 is miscompiled

2015-05-22 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66253 Bug ID: 66253 Summary: [6 Regression] 459.GemsFDTD in SPEC CPU 2006 is miscompiled Product: gcc Version: 5.1.1 Status: UNCONFIRMED Severity: normal

[Bug middle-end/66251] [6 Regression] ICE in vect_get_vec_def_for_operand, at tree-vect-stmts.c:1484

2015-05-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66251 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added CC||rguenth at

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #13 from Jakub Jelinek jakub at gcc dot gnu.org --- The only function without active insns I'm aware of is: void foo (void) { __builtin_unreachable (); } which only contains notes and a BARRIER, nothing else (at least on s390x). It

Re: Do not compute alias sets for types that don't need them

2015-05-22 Thread Richard Biener
On Fri, 22 May 2015, Jan Hubicka wrote: Hi, this patch fixes few cases where we compute alias type and don't need to that are found by adding type_with_alias_set_p check to alias.c (I will send this patch separately as there is still one ICE caught by it I believe originating from

[Bug target/53911] [SH] Improve displacement addressing

2015-05-22 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53911 --- Comment #4 from Oleg Endo olegendo at gcc dot gnu.org --- There is a GSoC 2015 project which will try to address the AMS problem. https://www.google-melange.com/gsoc/project/details/google/gsoc2015/erikvarga/5693417237512192 It will be

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 Dominik Vogt vogt at linux dot vnet.ibm.com changed: What|Removed |Added Attachment #35598|0 |1

[Bug tree-optimization/60890] Performance regression in 4.8 for memory postinc

2015-05-22 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60890 --- Comment #3 from Oleg Endo olegendo at gcc dot gnu.org --- There is a GSoC 2015 project which will try to address the AMS problem. https://www.google-melange.com/gsoc/project/details/google/gsoc2015/erikvarga/5693417237512192 It will be

Do not compute alias sets for types that don't need them

2015-05-22 Thread Jan Hubicka
Hi, this patch fixes few cases where we compute alias type and don't need to that are found by adding type_with_alias_set_p check to alias.c (I will send this patch separately as there is still one ICE caught by it I believe originating from ipa-icf-gimple, I have more involved fix for that) The

[Ada] Duplicate symbol xxxAM due to anonymous access allocation

2015-05-22 Thread Arnaud Charlet
This patch reimplements the generation of anonymous finalization masters used in servicing anonymous access-to-controlled type allocations. The modification prevents the generation of a duplicate anonymous master in certain cases. -- Source -- -- gen_pack.ads with

[Ada] Size should be zero for null range discrete subtype

2015-05-22 Thread Arnaud Charlet
The 'Size of a discrete subtype with a null range should be zero. The following test: 1. with Ada.Text_IO; use Ada.Text_IO; 2. procedure Static_Null_Range_Size is 3.subtype Static_Null_Range is 4. Integer range 5 .. 0; 5.Dummy : Static_Null_Range; 6.

[Ada] Internal crash on package instantation compilation unit

2015-05-22 Thread Arnaud Charlet
This patch updates the implementation of anonymous masters that support finalization actions of anonymous access-to-controlled type allocations to handle package instantiations that act as a compilation unit. -- Source -- -- q.ads package Q is type Obj_T is tagged

[Bug target/66224] PowerPC _GLIBCXX_READ_MEM_BARRIER too weak

2015-05-22 Thread dje at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66224 --- Comment #4 from David Edelsohn dje at gcc dot gnu.org --- Author: dje Date: Fri May 22 13:02:34 2015 New Revision: 223564 URL: https://gcc.gnu.org/viewcvs?rev=223564root=gccview=rev Log: PR target/66224 *

[Bug middle-end/66253] [6 Regression] 459.GemsFDTD in SPEC CPU 2006 is miscompiled

2015-05-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66253 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added CC||matz at gcc

Re: Add few cases to operand_equal_p

2015-05-22 Thread Richard Biener
On Fri, 22 May 2015, Jan Hubicka wrote: Hi, I am working on patch that makes operand_equal_p replace logic from ipa-icf-gimple's compare_op via a valueizer hook. Currently the patch however cuts number of merges on firefox to half (apparently becuase it gives up on some tree codes too

Re: Do not compute alias sets for types that don't need them

2015-05-22 Thread Jan Hubicka
Index: emit-rtl.c === --- emit-rtl.c (revision 223508) +++ emit-rtl.c (working copy) @@ -1787,8 +1787,15 @@ set_mem_attributes_minus_bitpos (rtx ref memset (attrs, 0, sizeof (attrs)); /* Get the alias

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #16 from Jakub Jelinek jakub at gcc dot gnu.org --- The function I've mentioned has: (note 1 0 3 NOTE_INSN_DELETED) (note 3 1 12 [bb 2] NOTE_INSN_BASIC_BLOCK) (note 12 3 2 NOTE_INSN_PROLOGUE_END) (note 2 12 5 NOTE_INSN_FUNCTION_BEG)

[C++ Patch] PR 65598

2015-05-22 Thread Paolo Carlini
Hi, this is also by and large obvious, I think: in order to use the right location for error messages about 'explicit', just use declspecs-locations[ds_explicit]. Tested x86_64-linux. Thanks, Paolo. PS: I'm pretty sure we do have similar issues for other decl-specifiers, which can be

[Bug rtl-optimization/56590] Replace auto-inc-dec pass with generic address mode selection pass

2015-05-22 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56590 --- Comment #3 from Oleg Endo olegendo at gcc dot gnu.org --- There is a GSoC 2015 project which will try to address the AMS problem. https://www.google-melange.com/gsoc/project/details/google/gsoc2015/erikvarga/5693417237512192 It will be

[Bug rtl-optimization/50749] Auto-inc-dec does not find subsequent contiguous mem accesses

2015-05-22 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50749 --- Comment #19 from Oleg Endo olegendo at gcc dot gnu.org --- There is a GSoC 2015 project which will try to address the AMS problem. https://www.google-melange.com/gsoc/project/details/google/gsoc2015/erikvarga/5693417237512192 It will be

Re: [patch 10/10] debug-early merge: compiler proper

2015-05-22 Thread Aldy Hernandez
On 05/22/2015 07:23 AM, Richard Biener wrote: On Wed, May 20, 2015 at 5:50 PM, Aldy Hernandez al...@redhat.com wrote: On 05/18/2015 06:56 AM, Richard Biener wrote: diff --git a/gcc/tree-core.h b/gcc/tree-core.h index ad1bb23..2a9f417 100644 --- a/gcc/tree-core.h +++ b/gcc/tree-core.h @@

Re: IBM z13 support for older GCCs

2015-05-22 Thread Joseph Myers
On Fri, 22 May 2015, Richard Biener wrote: All arguments still apply apart from the fact that we'll have plenty of releases from the GCC 5 branch (and the alternatives patch is safe there). So for GCC 5 I'm willing to leave it to the architecture maintainers, but please wait for other RMs

[Ada] Rename Has_Volatile_Full_Access into Is_Volatile_Full_Access

2015-05-22 Thread Arnaud Charlet
This is an internal change that renames the Has_Volatile_Full_Access flag into Is_Volatile_Full_Access for the sake of consistency with similar flags. No user-visible changes. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-05-22 Eric Botcazou ebotca...@adacore.com * einfo.ads

Re: [patch 10/10] debug-early merge: compiler proper

2015-05-22 Thread Aldy Hernandez
On 05/22/2015 07:26 AM, Richard Biener wrote: On Wed, May 20, 2015 at 11:45 PM, Aldy Hernandez al...@redhat.com wrote: On 05/20/2015 05:01 PM, Jan Hubicka wrote: commit 8824b5ecba26cef065e47b34609c72677c3c36fc Author: Aldy Hernandez al...@redhat.com Date: Wed May 20 16:31:14 2015 -0400

Re: [C++ Patch] PR 65598

2015-05-22 Thread Jason Merrill
OK. Jason

[Bug rtl-optimization/42612] post-increment addressing not used

2015-05-22 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42612 --- Comment #5 from Oleg Endo olegendo at gcc dot gnu.org --- There is a GSoC 2015 project which will try to address the AMS problem. https://www.google-melange.com/gsoc/project/details/google/gsoc2015/erikvarga/5693417237512192 It will be

[Bug target/65491] [aarch64] ICE: in emit_move_insn, at expr.c:3609

2015-05-22 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65491 ktkachov at gcc dot gnu.org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to

[PATCH, i386, libgcc]: Split SSE specific part from set_fast_math

2015-05-22 Thread Uros Bizjak
Hello! This patch splits SSE specific part of set_fast_math to its own function, decorated with fxsr,sse target attribute. This way, we can avoid compiling the whole file with -msse that implies generation of possibly unsupported CMOVE insns. Additionally, we can now use generic t-crtfm makefile

Copy TYPE_NO_FORCE_BLK in finalize_type_size

2015-05-22 Thread Jan Hubicka
Hi, PR 66181 is about ICE in verify_type that complains that type and its variant differs by TYPE_NO_FORCE_BLK. This flag is kind-of internal to stor-layout.c, so the divergence may not matter (I am not sure about it as C++ FE finalizes type variants separately and thus it may trip to

[Bug c++/65598] Fix column location for 'explicit'

2015-05-22 Thread paolo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65598 --- Comment #6 from paolo at gcc dot gnu.org paolo at gcc dot gnu.org --- Author: paolo Date: Fri May 22 14:14:38 2015 New Revision: 223576 URL: https://gcc.gnu.org/viewcvs?rev=223576root=gccview=rev Log: /cp 2015-05-22 Paolo Carlini

[patch] libstdc++/66017 Avoid bad casts and fix alignment of _Rb_tree_nodelong long::_M_storage

2015-05-22 Thread Jonathan Wakely
There are two problems involved in this PR. First, as Clang's ubsan detects, we are using static_cast to convert from _Rb_tree_node_base* to _Rb_tree_node_Val* in cases where there is no _Rb_tree_node_Val at that address (_M_impl._M_header is just an _Rb_tree_node_base). That's undefined

[Bug middle-end/66253] [6 Regression] 459.GemsFDTD in SPEC CPU 2006 is miscompiled

2015-05-22 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66253 --- Comment #2 from H.J. Lu hjl.tools at gmail dot com --- (In reply to Richard Biener from comment #1) Probably related to PR66251 aka strided store support. It is caused by r223486.

[Bug c++/61198] Crash when selecting specializations through aliases.

2015-05-22 Thread paolo.carlini at oracle dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61198 Paolo Carlini paolo.carlini at oracle dot com changed: What|Removed |Added CC||galbramc

[Bug middle-end/66253] [6 Regression] 459.GemsFDTD in SPEC CPU 2006 is miscompiled

2015-05-22 Thread matz at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66253 --- Comment #3 from Michael Matz matz at gcc dot gnu.org --- Can you check if the patch at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg02133.html helps also gemsfdtd?

[Bug c++/65764] internal compiler error: in retrieve_specialization, at cp/pt.c:1048

2015-05-22 Thread paolo.carlini at oracle dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65764 Paolo Carlini paolo.carlini at oracle dot com changed: What|Removed |Added Status|NEW |RESOLVED

Reuse predicate code analysis for constraints

2015-05-22 Thread Richard Sandiford
This patch adjusts the fix for PR target/65689 along the lines suggested in https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01559.html. The idea is to reuse the existing gensupport.c routine to work out the codes accepted by constraints. I'd originally done this with an eye to using

[PATCH/RFC] Make loop-header-copying more aggressive, rerun before tree-if-conversion

2015-05-22 Thread Alan Lawrence
This example which I wrote to test ifconversion, currently fails to if-convert or vectorize: int foo () { for (int i = 0; i 32 ; i++) { int m = (a[i] i) ? 5 : 4; b[i] = a[i] * m; } } ...because jump-threading in dom1 rearranged the loop into a form that neither

Re: [RFA] Fix combine to canonicalize (mult X pow2)) more often

2015-05-22 Thread Segher Boessenkool
On Thu, May 21, 2015 at 09:24:37AM -0600, Jeff Law wrote: When combine needs to split a complex insn, it will canonicalize a simple (mult X (const_int Y)) where Y is a power of 2 into the expected (ashift X (const_int Y')) if the (mult ...) is selected as a split point. However if the

[Bug target/66195] Optimize _GLIBCXX_GUARD_TEST_AND_ACQUIRE and _GLIBCXX_GUARD_SET_AND_RELEASE for PowerPC

2015-05-22 Thread dje at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66195 David Edelsohn dje at gcc dot gnu.org changed: What|Removed |Added URL|

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-22 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 --- Comment #6 from Jakub Jelinek jakub at gcc dot gnu.org --- As for the FRE (actually SCCVN) issue, seems this affects more than GOMP_SIMD_LANE, seems there is insufficient canonicalization of the references performed by SCCVN, so the same

Re: [RFC / CFT] PR c++/66192 - Remove TARGET_RELAXED_ORDERING and use load acquires.

2015-05-22 Thread Ramana Radhakrishnan
On 22/05/15 15:28, Jason Merrill wrote: On 05/22/2015 09:55 AM, David Edelsohn wrote: On Fri, May 22, 2015 at 9:40 AM, Jason Merrill ja...@redhat.com wrote: On 05/22/2015 07:23 AM, Ramana Radhakrishnan wrote: + /* Load the guard value only through an atomic acquire load. */ + guard =

Re: [RFC / CFT] PR c++/66192 - Remove TARGET_RELAXED_ORDERING and use load acquires.

2015-05-22 Thread Jason Merrill
On 05/22/2015 09:55 AM, David Edelsohn wrote: On Fri, May 22, 2015 at 9:40 AM, Jason Merrill ja...@redhat.com wrote: On 05/22/2015 07:23 AM, Ramana Radhakrishnan wrote: + /* Load the guard value only through an atomic acquire load. */ + guard = build_atomic_load (guard, MEMMODEL_ACQUIRE);

Re: [PATCH][AArch64] PR target/65491: Classify V1TF vectors as AAPCS64 short vectors rather than composite types

2015-05-22 Thread Kyrill Tkachov
Hi James, On 19/05/15 12:18, James Greenhalgh wrote: On Mon, Apr 20, 2015 at 11:16:02AM +0100, Kyrylo Tkachov wrote: Hi all, The ICE in the PR happens when we pass a 1x(128-bit float) vector as an argument. The aarch64 backend erroneously classifies it as a composite type when in fact it is a

Re: Add few cases to operand_equal_p

2015-05-22 Thread Jan Hubicka
+ case OBJ_TYPE_REF: + { + if (!operand_equal_p (OBJ_TYPE_REF_EXPR (arg0), + OBJ_TYPE_REF_EXPR (arg1), flags)) + return false; + if (flag_devirtualize virtual_method_call_p (arg0)) + { + if (tree_to_uhwi

<    1   2   3   >