[Bug target/68261] GCC needs to use optimized version of memcpy

2015-11-23 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68261 --- Comment #5 from Andrew Pinski --- (In reply to Geir Johansen from comment #4) > (In reply to Andrew Pinski from comment #1) > > Note glibc does provide a memcpy which is optimized for each target via > > ifuncs. What version of glibc are you

[Bug tree-optimization/68460] ICE in init_stmt_vec_info_vec with -ftree-vectorize and -ftree-parallelize-loops

2015-11-23 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68460 vries at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED

Re: [PATCH] lround for PowerPC

2015-11-23 Thread Michael Meissner
David ping'ed me on internal IRC, and I had a thinko in terms of the use of the mode attribute. In some of the uses (such as abs, smax, etc.) we want to use ISA 2.06 instructions on SFmode, while in other uses (add, mul, etc.) we want to use it only if we have the ISA 2.07 instrucitons. I have

[PATCH] Fix declaration of pthread-structs in s-osinte-rtems.ads (ada/68169)

2015-11-23 Thread Jan Sommer
Just noticed that I forgot to crosspost this mail to the rtems-devel list. If someone with commit rights could check and push the patches we might get it into the next release. Cheers, Jan--- Begin Message --- Hello, The paperwork seems to have gone through. Here is the patch again for the

Re: [PATCH 3/6] Fix memory leaks in IPA devirt

2015-11-23 Thread Trevor Saunders
On Mon, Nov 23, 2015 at 02:48:37PM +0100, marxin wrote: > gcc/ChangeLog: > > 2015-11-20 Martin Liska > > * ipa-devirt.c (ipa_devirt): Use auto_vec instead > of a local-scope vec. Release final_warning_records. > --- > gcc/ipa-devirt.c | 5 +++-- > 1 file changed,

[Bug go/68503] New: [powerpc64le] miscompilation of composite literal

2015-11-23 Thread michael.hudson at canonical dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68503 Bug ID: 68503 Summary: [powerpc64le] miscompilation of composite literal Product: gcc Version: 4.9.1 Status: UNCONFIRMED Severity: normal Priority: P3

[PATCH, i386] PR68497. Fix ICE with -fno-checking

2015-11-23 Thread Mikhail Maltsev
Hi! The attached patch fixes a problem introduced in r229567: the assertion gcc_assert (is_sse); is checked if flag_checking is false, and this causes an ICE when compiling with -fno-checking. Bootstrapped and regtested on x86_64-pc-linux-gnu. OK for trunk? -- Regards, Mikhail Maltsev

[Bug tree-optimization/67984] [GRAPHITE] internal compiler error: isl_ctx freed, but some objects still reference it

2015-11-23 Thread spop at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67984 Sebastian Pop changed: What|Removed |Added Status|UNCONFIRMED |WAITING Last reconfirmed|

Re: Fix lto-symtab ICE during Ada LTO bootstrap

2015-11-23 Thread Eric Botcazou
> If you have any clue how to debug it further, I would be happy to try. > That atree code is real software engineering treat BTW I'll have a look at some point, once things have stabilized a bit. -- Eric Botcazou

Re: Fix lto-symtab ICE during Ada LTO bootstrap

2015-11-23 Thread Jan Hubicka
> > If you have any clue how to debug it further, I would be happy to try. > > That atree code is real software engineering treat BTW > > I'll have a look at some point, once things have stabilized a bit. OK, I will push out the remaining patches needed to get LTO into a shape to compile gnat1

Re: Fix lto-symtab ICE during Ada LTO bootstrap

2015-11-23 Thread Jan Hubicka
> > > If you have any clue how to debug it further, I would be happy to try. > > > That atree code is real software engineering treat BTW > > > > I'll have a look at some point, once things have stabilized a bit. > > OK, I will push out the remaining patches needed to get LTO into a shape to >

[PATCH] [graphite] fix PR68314: revert all patches touching the construction of the original schedule

2015-11-23 Thread Sebastian Pop
--- gcc/graphite-optimize-isl.c | 20 +--- gcc/graphite-poly.c | 2 - gcc/graphite-poly.h | 3 - gcc/graphite-sese-to-poly.c | 235 ++-- 4 files changed, 58 insertions(+), 202 deletions(-) diff --git a/gcc/graphite-optimize-isl.c

C++ order of evaluation of operands, arguments

2015-11-23 Thread Jason Merrill
There's a proposal working through the C++ committee to define the order of evaluation of subexpressions that previously had unspecified ordering: http://www.open-std.org/Jtc1/sc22/wg21/docs/papers/2015/p0145r0.pdf I agree with much of this, but was concerned about the proposal to define

Re: [ptx] Fix sso tests

2015-11-23 Thread Jeff Law
On 11/23/2015 01:54 PM, Nathan Sidwell wrote: On 11/23/15 15:41, Jeff Law wrote: In the 'put' function, why not just make all targets go through putchar? It's not like this is performance critical code and I don't think it compromises any of the tests, does it? I contemplated that, but

[Bug c/59856] Support sparse-style context checking, used to validate locking correctness

2015-11-23 Thread tromey at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59856 Tom Tromey changed: What|Removed |Added CC||tromey at gcc dot gnu.org --- Comment #1

Re: basic asm and memory clobbers

2015-11-23 Thread Jeff Law
On 11/23/2015 07:22 PM, Segher Boessenkool wrote: Here is a test that shows that on at least PowerPC the basic asm is identical to the extended asm without clobber (compile with -O2 -S and -fno-ipa-icf if you want to have it easier to read). In this case, the basic asm is treated as not

Re: basic asm and memory clobbers

2015-11-23 Thread Segher Boessenkool
On Mon, Nov 23, 2015 at 09:48:42PM -0700, Jeff Law wrote: > On 11/23/2015 07:22 PM, Segher Boessenkool wrote: > > > >Here is a test that shows that on at least PowerPC the basic asm is > >identical to the extended asm without clobber (compile with -O2 -S and > >-fno-ipa-icf if you want to have it

Re: basic asm and memory clobbers

2015-11-23 Thread Jeff Law
On 11/23/2015 10:12 PM, Segher Boessenkool wrote: On Mon, Nov 23, 2015 at 09:48:42PM -0700, Jeff Law wrote: On 11/23/2015 07:22 PM, Segher Boessenkool wrote: Here is a test that shows that on at least PowerPC the basic asm is identical to the extended asm without clobber (compile with -O2 -S

Re: [PR64164] drop copyrename, integrate into expand

2015-11-23 Thread Jeff Law
On 11/16/2015 05:07 PM, Alexandre Oliva wrote: The check is not in my patch, indeed. That's because the previous block performs the runtime check, and it only lets through two cases: the one we handle, and the one nobody uses. That was the conclusion I was starting to come to, but expressed so

[PATCH 1/2] destroy values as well as keys when removing them from hash maps

2015-11-23 Thread tbsaunde+gcc
From: Trevor Saunders Hi, This fixes several leaks where a hash_map user expected deleting the map to destruct the value part of entries as well as the key. A couple of these bugs have already been fixed, but there are more of them for example some of the sanitizer

[PATCH 2/2] remove val_ssa_equiv_hash_traits

2015-11-23 Thread tbsaunde+gcc
From: Trevor Saunders Hi, this is pretty trivial cleanup after the previous patch, but could wait for next stage 1 if people don't like the very small risk. boostrappped + regtested on x86_64-linux-gnu, ok? Trev gcc/ChangeLog: 2015-11-20 Trevor Saunders

Re: [PATCH] Add LANG_HOOKS_EMPTY_RECORD_P for C++ empty class

2015-11-23 Thread H.J. Lu
On Mon, Nov 23, 2015 at 7:22 PM, Patrick Palka wrote: > On Mon, Nov 23, 2015 at 3:53 PM, H.J. Lu wrote: >> On Mon, Nov 23, 2015 at 1:57 AM, Richard Biener >> wrote: >>> On Sat, Nov 21, 2015 at 12:46 AM, H.J. Lu

Re: [PATCH] Add LANG_HOOKS_EMPTY_RECORD_P for C++ empty class

2015-11-23 Thread Andrew Pinski
On Mon, Nov 23, 2015 at 9:53 PM, H.J. Lu wrote: > On Mon, Nov 23, 2015 at 7:22 PM, Patrick Palka wrote: >> On Mon, Nov 23, 2015 at 3:53 PM, H.J. Lu wrote: >>> On Mon, Nov 23, 2015 at 1:57 AM, Richard Biener >>>

Re: Enable pointer TBAA for LTO

2015-11-23 Thread Jan Hubicka
> On November 23, 2015 5:50:25 PM GMT+01:00, Jan Hubicka wrote: > >> > >> I think it also causes the following and one related ICE > >> > >> FAIL: gcc.dg/vect/pr62021.c -flto -ffat-lto-objects (internal > >compiler > >> error) > >> > >> >

Use TBAA for lto-symtab decl merging warnings

2015-11-23 Thread Jan Hubicka
Hi, the attached testcase shows that we can not use types_compatible_p to check if two declarations are compatible in cross-language decl merging. For example Fortran's C_SIZE_T should be compatible with C size_t while one is signed and other unsigned. This patch simply makes us to use TBAA and

[PATCH] combine: Handle aborts in is_parallel_of_n_reg_sets (PR68381)

2015-11-23 Thread Segher Boessenkool
Some users of is_parallel_of_n_reg_sets disregard the clobbers in a parallel after it has returned "yes, this is a parallel of N sets and maybe some clobbers". But combine uses a clobber of const0_rtx to indicate substitution failure, so this leads to disaster. Fix this by checking for such

[Bug rtl-optimization/68381] [6 Regression] wrong code and quality regression with __builtin_mul_overflow() @ aarch64

2015-11-23 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68381 --- Comment #4 from Segher Boessenkool --- Author: segher Date: Tue Nov 24 06:43:20 2015 New Revision: 230786 URL: https://gcc.gnu.org/viewcvs?rev=230786=gcc=rev Log: combine: Handle aborts in is_parallel_of_n_reg_sets (PR68381) Some users of

[Bug tree-optimization/67984] [GRAPHITE] internal compiler error: isl_ctx freed, but some objects still reference it

2015-11-23 Thread inferrna at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67984 inferrna changed: What|Removed |Added Attachment #36523|0 |1 is obsolete|

[Bug c/59856] Support sparse-style context checking, used to validate locking correctness

2015-11-23 Thread josh at joshtriplett dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59856 --- Comment #2 from Josh Triplett --- (In reply to Tom Tromey from comment #1) > Created attachment 36815 [details] > simple version in python > > This implements the basics of the checker using the gcc python plugin. Awesome! > A few notes

[Bug c++/68510] New: [concepts] ICE: in gimplify_var_or_parm_decl, at gimplify.c:1827

2015-11-23 Thread lucdanton at free dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68510 Bug ID: 68510 Summary: [concepts] ICE: in gimplify_var_or_parm_decl, at gimplify.c:1827 Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: normal

[Bug objc++/68511] New: FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 51,59)

2015-11-23 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68511 Bug ID: 68511 Summary: FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 51,59) Product: gcc Version: 6.0 Status: UNCONFIRMED

[Bug c++/68508] Internal compiler error with parentheses around return value in C++14 with ASan enabled

2015-11-23 Thread y.gribov at samsung dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68508 Yury Gribov changed: What|Removed |Added CC||polacek at redhat dot com,

[Bug objc++/68511] FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 51,59)

2015-11-23 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68511 vries at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

Re: [PATCH, i386] PR68497. Fix ICE with -fno-checking

2015-11-23 Thread Bernd Schmidt
On 11/24/2015 12:09 AM, Mikhail Maltsev wrote: The attached patch fixes a problem introduced in r229567: the assertion gcc_assert (is_sse); is checked if flag_checking is false, and this causes an ICE when compiling with -fno-checking. Ok. Bernd

[Bug tree-optimization/68506] New: wrong code at -O3 on x86_64-linux-gnu

2015-11-23 Thread su at cs dot ucdavis.edu
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68506 Bug ID: 68506 Summary: wrong code at -O3 on x86_64-linux-gnu Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

Re: [PATCH][combine] PR rtl-optimization/68381: Only restrict pure simplification in mult-extend subst case, allow other substitutions

2015-11-23 Thread Segher Boessenkool
On Thu, Nov 19, 2015 at 03:20:22PM +, Kyrill Tkachov wrote: > Hmmm, so the answer to that is a bit further down the validate_replacement: > path. > It's the code after the big comment: > /* See if this is a PARALLEL of two SETs where one SET's destination is > a register that is unused

[Bug c/68507] New: attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly

2015-11-23 Thread daniel.santos at pobox dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507 Bug ID: 68507 Summary: attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly Product: gcc Version: 4.9.3 Status: UNCONFIRMED Severity:

[Bug target/68261] GCC needs to use optimized version of memcpy

2015-11-23 Thread geir at cray dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68261 --- Comment #6 from Geir Johansen --- (In reply to Andrew Pinski from comment #5) > (In reply to Geir Johansen from comment #4) > > (In reply to Andrew Pinski from comment #1) > > > Note glibc does provide a memcpy which is optimized for each

[Bug libstdc++/68479] Dynamic loading multiple shared libraries with identical static libstdc++ breaks streams

2015-11-23 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68479 --- Comment #3 from Andrew Pinski --- I think there is another bug about this that was closed as invalid as you need to use the version script to hide all of libstdc++ symbols.

Re: [0/7] Type promotion pass and elimination of zext/sext

2015-11-23 Thread Kugan
Hi Richard, Thanks for you comments. I am attaching an updated patch with details below. On 19/11/15 02:06, Richard Biener wrote: > On Wed, Nov 18, 2015 at 3:04 PM, Richard Biener > wrote: >> On Sat, Nov 14, 2015 at 2:15 AM, Kugan >>

[Bug target/68507] attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly

2015-11-23 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507 --- Comment #2 from Andrew Pinski --- I think there is an ABI difference with respect of xmm6-16 between sysv ABI and windows ABIs. Can you provide why you think this is not a bug?

[Bug target/68507] attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly

2015-11-23 Thread daniel.santos at pobox dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507 --- Comment #3 from Daniel Santos --- (In reply to Andrew Pinski from comment #2) > I think there is an ABI difference with respect of xmm6-16 between sysv ABI > and windows ABIs. Can you provide why you think this is not a bug? Ehem, uh no. I

[Bug middle-end/68314] [6 Regression] Invalid read in build_pbb_minimal_scattering_polyhedrons (graphite-sese-to-poly.c:148)

2015-11-23 Thread spop at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68314 Sebastian Pop changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

Re: [PATCH] lround for PowerPC

2015-11-23 Thread David Edelsohn
On Mon, Nov 23, 2015 at 4:56 PM, Michael Meissner wrote: > David ping'ed me on internal IRC, and I had a thinko in terms of the use of > the > mode attribute. In some of the uses (such as abs, smax, etc.) we want to > use ISA 2.06 instructions on SFmode, while in

[Bug c++/51494] Legal program rejection - capturing "this" when using static method inside lambda

2015-11-23 Thread arthur.j.odwyer at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51494 Arthur O'Dwyer changed: What|Removed |Added CC||arthur.j.odwyer at gmail dot com ---

Re: [RFA] [PATCH] Fix invalid redundant extension elimination for rl78 port

2015-11-23 Thread Bernd Schmidt
As I mentioned in a prior message on the subject, this is only a problem when the source/dest of the extension are the same. When the source/dest of the extension are different, we only optimize when the original set and extension are in the same block and we verify that all affected registers

Re: [PATCH] lround for PowerPC

2015-11-23 Thread Michael Meissner
Segher Boessenkool reminded me that the lround define_expand should not have the wa and =d constraints. This patch fixes that problem. The little endian power8 system has passed the bootstrap and make check tests. The big endian power7 system is chugging away on the stage2 build if I use a more

[Bug c/68507] attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly

2015-11-23 Thread daniel.santos at pobox dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507 --- Comment #1 from Daniel Santos --- Correction: xmm6-15, I can't type today. And here is the output on gcc 4.9.3: $ objdump -dSr test_case.o test_case.o: file format elf64-x86-64 Disassembly of section .text: : 0:

[Bug fortran/68358] Some tests in gfortran.dg fail when compiled with '-g -flto' and Xcode 7

2015-11-23 Thread nenad at intrepid dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68358 --- Comment #3 from Nenad Vukicevic --- We are getting a similar issue while linking a program with GCC and without '-flto' switch. We enable 'lto' when configuring languages, which in turn enables post ld processing inside collect2. This was

[Bug c++/68508] New: Internal compiler error with parentheses around return value in C++14 with ASan enabled

2015-11-23 Thread kainjow at kainjow dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68508 Bug ID: 68508 Summary: Internal compiler error with parentheses around return value in C++14 with ASan enabled Product: gcc Version: 5.2.1 Status: UNCONFIRMED

Re: basic asm and memory clobbers

2015-11-23 Thread David Wohlferd
On 11/23/2015 1:44 PM, paul_kon...@dell.com wrote: On Nov 23, 2015, at 4:36 PM, David Wohlferd wrote: ... The more I think about it, I'm just not keen on forcing all those old-style asms to change. If you mean you aren't keen to change them to "clobber all," I'm

Re: [PATCH AArch64]Handle REG+REG+CONST and REG+NON_REG+CONST in legitimize address

2015-11-23 Thread Bin.Cheng
On Sat, Nov 21, 2015 at 1:39 AM, Richard Earnshaw wrote: > On 20/11/15 08:31, Bin.Cheng wrote: >> On Thu, Nov 19, 2015 at 10:32 AM, Bin.Cheng wrote: >>> On Tue, Nov 17, 2015 at 6:08 PM, James Greenhalgh >>> wrote:

Fix computation of TYPE_CANONICAL of VECTOR_TYPE

2015-11-23 Thread Jan Hubicka
Hi, this patch fixes ICE triggered by extra sanity check I added while fixing another type checking ICE during Ada bootstrap. The canonical types of verctor typs are not constructed correctly. If make_vector_type is called with INNERTYPE being a variant (say const char), it builds first the main

Re: basic asm and memory clobbers

2015-11-23 Thread Segher Boessenkool
On Mon, Nov 23, 2015 at 05:39:17PM -0800, David Wohlferd wrote: > On 11/23/2015 1:44 PM, paul_kon...@dell.com wrote: > >>On Nov 23, 2015, at 4:36 PM, David Wohlferd wrote: > >> > >>... > >>>The more I think about it, I'm just not keen on forcing all those > >>>old-style

[Bug target/68507] attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly

2015-11-23 Thread daniel.santos at pobox dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507 --- Comment #4 from Daniel Santos --- According to § 3.2.1 "Registers and the Stack Frame" of the System V Application Binary Interface for AMD64 Registers %rbp, %rbx and %r12 through %r15 “belong” to the calling function and the called

[Bug target/68507] attribute ms_abi (on Linux) bloats by pushing/popping xmm6-15 needlessly

2015-11-23 Thread daniel.santos at pobox dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507 Daniel Santos changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/52272] [4.9/5/6 regression] Performance regression of 410.bwaves on x86.

2015-11-23 Thread amker at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52272 amker at gcc dot gnu.org changed: What|Removed |Added Status|ASSIGNED|RESOLVED

[Bug tree-optimization/52868] [4.7/4.8 Regression] 4.6 is faster on Atom

2015-11-23 Thread amker at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52868 Bug 52868 depends on bug 52272, which changed state. Bug 52272 Summary: [4.9/5/6 regression] Performance regression of 410.bwaves on x86. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52272 What|Removed |Added

[Bug tree-optimization/50955] [4.7 Regression] IVopts incorrectly rewrite the address of a global memory access into a local form.

2015-11-23 Thread amker at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50955 Bug 50955 depends on bug 52272, which changed state. Bug 52272 Summary: [4.9/5/6 regression] Performance regression of 410.bwaves on x86. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52272 What|Removed |Added

Re: [PATCH] Add LANG_HOOKS_EMPTY_RECORD_P for C++ empty class

2015-11-23 Thread Patrick Palka
On Mon, Nov 23, 2015 at 3:53 PM, H.J. Lu wrote: > On Mon, Nov 23, 2015 at 1:57 AM, Richard Biener > wrote: >> On Sat, Nov 21, 2015 at 12:46 AM, H.J. Lu wrote: >>> On Fri, Nov 20, 2015 at 2:17 PM, Jason Merrill

[Bug c++/68509] New: [6 regression][C++1z] ICE: in check_return_expr, at cp/typeck.c:8635

2015-11-23 Thread lucdanton at free dot fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68509 Bug ID: 68509 Summary: [6 regression][C++1z] ICE: in check_return_expr, at cp/typeck.c:8635 Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: normal

Re: Enable pointer TBAA for LTO

2015-11-23 Thread Jan Hubicka
> I don't understand why we need this (testcase?) because get_alias_set () > is supposed to do the alias-set of pointer globbing for us. Hi, After some experimentation I managed to derive self contained testcase (other than GCC itself). struct a/b/c gets the same TYPE_CANONICAL which is different

[PATCH] rs6000: Fix for and_operand oversight (PR68332, PR67677)

2015-11-23 Thread Segher Boessenkool
Calling rs6000_is_valid_and_mask on a reg instead of on a const_int is not a good idea, as PR68332 and PR67677 as well as testing with --enable-checking=yes,rtl show. Fix this. Bootstrapped and tested on powerpc64-linux. Is this okay for trunk? Segher 2015-11-24 Segher Boessenkool

Re: [PATCH 1/2] Libsanitizer merge from upstream r253555.

2015-11-23 Thread Maxim Ostapenko
On 23/11/15 16:24, Jakub Jelinek wrote: On Mon, Nov 23, 2015 at 04:21:34PM +0300, Maxim Ostapenko wrote: Yeah, right. I've asked about kernel headers just to make sure I correctly understand the issue. Actually, I see such code in lib/sanitizer_common/sanitizer_platform_limits_posix.cc: #if

[Bug objc++/68511] FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 51,56,59)

2015-11-23 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68511 --- Comment #2 from vries at gcc dot gnu.org --- regression between https://gcc.gnu.org/ml/gcc-regression/2015-11/msg00711.html: between r230767 and r230734. r230755 looks like it could be related: ... gcc/c-family PR c++/68001

[Bug middle-end/68512] Non-deterministic behavior from gcc

2015-11-23 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68512 Andrew Pinski changed: What|Removed |Added Component|c++ |middle-end Version|unknown

[Bug c++/68512] New: Non-deterministic behavior from gcc

2015-11-23 Thread odell.wood at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68512 Bug ID: 68512 Summary: Non-deterministic behavior from gcc Product: gcc Version: unknown Status: UNCONFIRMED Severity: blocker Priority: P3 Component: c++

Re: [PATCH][AArch64] PR target/68363 Check that argument is real INSN in aarch64_madd_needs_nop

2015-11-23 Thread James Greenhalgh
On Mon, Nov 16, 2015 at 01:21:48PM +, Kyrill Tkachov wrote: > Hi all, > > This RTL checking ICE occurs when processing an rtx_insn* in > aarch64_madd_needs_nop that apparently holds JUMP_TABLE_DATA. This shouldn't > be passed to recog. So instead reject it with the INSN_P check. Such >

Re: [PATCH, ARM, v2] PR target/68059 libgcc should not use __write for printing fatal error

2015-11-23 Thread Richard Earnshaw
On 06/11/15 13:32, Szabolcs Nagy wrote: > libgcc/config/arm/linux-atomic-64bit.c uses __write to print an error > message if the 64bit cmpxchg method is not available in the kernel. > > __write is not part of the public libc abi, so use write instead. > (user code may define write in iso c

[PATCH] Fix problem reported in PR68465

2015-11-23 Thread Richard Biener
The following fixes CH - FRE - LIM not doing store-motion across a loop nest for redundant header checks. FRE is supposed to do such redundant comparison "threading" but didn't do it because of latch edges confusing the single_pred_p check. The following fixes it by disregarding edges that come

[Bug tree-optimization/68465] pass_lim doesn't detect identical loop entry conditions

2015-11-23 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68465 --- Comment #3 from Richard Biener --- Fixed the issue where this originally was observed in (oacc-kernel passes)

Re: Enable pointer TBAA for LTO

2015-11-23 Thread Richard Biener
On Mon, 23 Nov 2015, Martin Jambor wrote: > Hi, > > On Mon, Nov 23, 2015 at 12:00:25AM +0100, Jan Hubicka wrote: > > Hi, > > here is updated patch which I finally comitted today. It addresses all the > > comments > > and also fixes one nasty bug that really cost me a lot of time to > >

Re: [PATCH, PR68337] Don't fold memcpy/memmove we want to instrument

2015-11-23 Thread Richard Biener
On Mon, Nov 23, 2015 at 2:45 PM, Ilya Enkovich wrote: > On 23 Nov 14:29, Richard Biener wrote: >> On Mon, Nov 23, 2015 at 12:33 PM, Ilya Enkovich >> wrote: >> > >> > I see. But it should still be OK to check type in case of strict >> > aliasing,

Re: Fix lto-symtab ICE during Ada LTO bootstrap

2015-11-23 Thread H.J. Lu
On Mon, Nov 23, 2015 at 8:02 AM, Eric Botcazou wrote: >> But can't you on the GENERIC side drop System.Address to void_ptr_node >> again and just not make use of the "heavy lifting" you were talking about? > > No "heavy lifting" in this thread, just a heavy machinery in the

[Bug tree-optimization/68465] pass_lim doesn't detect identical loop entry conditions

2015-11-23 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68465 --- Comment #2 from Richard Biener --- Author: rguenth Date: Mon Nov 23 15:21:32 2015 New Revision: 230764 URL: https://gcc.gnu.org/viewcvs?rev=230764=gcc=rev Log: 2015-11-23 Richard Biener PR

Re: [PATCH v2] Add uaddv_optab, usubv4_optab

2015-11-23 Thread Bernd Schmidt
On 11/22/2015 09:58 PM, Uros Bizjak wrote: On Sun, Nov 22, 2015 at 11:38 AM, Richard Henderson wrote: * optabs.def (uaddv4_optab, usubv4_optab): New. * internal-fn.c (expand_addsub_overflow): Use them. * doc/md.texi (Standard Names): Add uaddv4, usubv4. * config/i386/i386.c

[Bug c/68473] [6 Regression] ICE: in contains_point, at diagnostic-show-locus.c:340 after error

2015-11-23 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68473 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug tree-optimization/68502] New: [6 Regression][i686] spec2000/179.art runfails after r222914

2015-11-23 Thread izamyatin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68502 Bug ID: 68502 Summary: [6 Regression][i686] spec2000/179.art runfails after r222914 Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: normal

Re: [RFC] Combine vectorized loops with its scalar remainder.

2015-11-23 Thread Yuri Rumyantsev
Hi Richard, Did you have a chance to look at this? Thanks. Yuri. 2015-11-13 13:35 GMT+03:00 Yuri Rumyantsev : > Hi Richard, > > Here is updated version of the patch which 91) is in sync with trunk > compiler and (2) contains simple cost model to estimate profitability > of

Re: Fix lto-symtab ICE during Ada LTO bootstrap

2015-11-23 Thread Arnaud Charlet
> > Will it also fix > > > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61954 > > Yes, probably, as well as the m68k issue, if that's really doable. Right, that's also why I think it's a more promising approach. Pretending that system.address is just an unsigned integer is bound to cause

[Bug go/66574] Time is provided in millisecond precision instead of nanoseconds as described in go documentation

2015-11-23 Thread ian at airs dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66574 --- Comment #7 from Ian Lance Taylor --- I'm a little worried because I'm not 100% confident that clock_gettime is available in the standard library on all systems. I don't want to break GCC 5 is that is the case. Admittedly I haven't seen any

Re: [PATCH][AArch64] Documentation fix for -fpic

2015-11-23 Thread Szabolcs Nagy
On 12/11/15 11:30, Szabolcs Nagy wrote: The documentation for -fpic and -fPIC explicitly mentions some targets where the difference matters, but not AArch64. Specifying the GOT size limit is not entirely correct as it can depend on the -mcmodel setting, but probably better than leaving the

[Bug target/68363] [4.9/5/6 Regression] ICE: in recog_memoized, at recog.h:167 with RTL checking with -mfix-cortex-a53-835769 @ aarch64

2015-11-23 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68363 --- Comment #2 from ktkachov at gcc dot gnu.org --- Author: ktkachov Date: Mon Nov 23 14:56:03 2015 New Revision: 230760 URL: https://gcc.gnu.org/viewcvs?rev=230760=gcc=rev Log: [AArch64] PR target/68363 Check that argument is real INSN in

Re: [PATCH][AArch64] Documentation fix for -fpic

2015-11-23 Thread Richard Earnshaw
On 12/11/15 11:30, Szabolcs Nagy wrote: > The documentation for -fpic and -fPIC explicitly mentions some targets > where the difference matters, but not AArch64. Specifying the GOT size > limit is not entirely correct as it can depend on the -mcmodel setting, > but probably better than leaving

[Bug target/68059] [arm] libgcc uses __write to report error

2015-11-23 Thread nsz at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68059 --- Comment #3 from nsz at gcc dot gnu.org --- Author: nsz Date: Mon Nov 23 15:17:55 2015 New Revision: 230762 URL: https://gcc.gnu.org/viewcvs?rev=230762=gcc=rev Log: [ARM] PR target/68059 libgcc should not use __write for printing fatal error

[Bug tree-optimization/68501] [6 Regression] sqrt builtin is not used anymore

2015-11-23 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68501 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

Re: [PATCH, 10/16] Add pass_oacc_kernels pass group in passes.def

2015-11-23 Thread Tom de Vries
On 23/11/15 12:31, Richard Biener wrote: From the dump below I understand you want no memory references in > >the outer loop? > >So the issue seems to be that store motion fails > >to insert the preheader load / exit store to the outermost loop > >possible and thus another LIM pass is needed to

Re: [PATCH][RTL-ree] PR rtl-optimization/68194: Restrict copy instruction in presence of conditional moves

2015-11-23 Thread Kyrill Tkachov
Hi Bernd, On 20/11/15 01:41, Bernd Schmidt wrote: I1 is def_insn, I3 is cand->insn. tmp_reg is 'ax'. What we want to do is reject this transformation because the destination of def_insn (aka I1), that is 'ax', is not the operand of the extend operation in cand->insn (aka I3). As you said,

[Bug target/68363] [4.9/5/6 Regression] ICE: in recog_memoized, at recog.h:167 with RTL checking with -mfix-cortex-a53-835769 @ aarch64

2015-11-23 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68363 --- Comment #4 from ktkachov at gcc dot gnu.org --- Author: ktkachov Date: Mon Nov 23 15:25:36 2015 New Revision: 230765 URL: https://gcc.gnu.org/viewcvs?rev=230765=gcc=rev Log: [AArch64] PR target/68363 Check that argument is real INSN in

[Bug target/68363] [4.9/5/6 Regression] ICE: in recog_memoized, at recog.h:167 with RTL checking with -mfix-cortex-a53-835769 @ aarch64

2015-11-23 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68363 ktkachov at gcc dot gnu.org changed: What|Removed |Added Status|ASSIGNED|RESOLVED

[Bug c/68473] [6 Regression] ICE: in contains_point, at diagnostic-show-locus.c:340 after error

2015-11-23 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68473 --- Comment #3 from David Malcolm --- Oops; I think line 6 above should read: 6if ((long)FUNC##l(xl,xl) != (long)xl) \ ^FINISH

Re: Enable pointer TBAA for LTO

2015-11-23 Thread Ilya Verbin
On Mon, Nov 23, 2015 at 16:31:42 +0100, Richard Biener wrote: > I think it also causes the following and one related ICE > > FAIL: gcc.dg/vect/pr62021.c -flto -ffat-lto-objects (internal compiler > error) > > /space/rguenther/src/svn/trunk3/gcc/testsuite/gcc.dg/vect/pr62021.c:7:1: > internal

[Bug tree-optimization/68492] [6 Regression] internal compiler error: in vect_is_simple_use, at tree-vect-stmts.c:8266

2015-11-23 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68492 --- Comment #6 from H.J. Lu --- (In reply to Ilya Enkovich from comment #5) > (In reply to H.J. Lu from comment #4) > > r230743 still fails for me. Can you show me your linking command line > > for 465.tonto build? > > Here it is. Works OK

Re: Fix lto-symtab ICE during Ada LTO bootstrap

2015-11-23 Thread Eric Botcazou
> Will it also fix > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61954 Yes, probably, as well as the m68k issue, if that's really doable. -- Eric Botcazou

Re: [PATCH][AArch64][v2] Improve comparison with complex immediates followed by branch/cset

2015-11-23 Thread James Greenhalgh
On Mon, Nov 23, 2015 at 10:33:01AM +, Kyrill Tkachov wrote: > > On 12/11/15 12:05, James Greenhalgh wrote: > >On Tue, Nov 03, 2015 at 03:43:24PM +, Kyrill Tkachov wrote: > >>Hi all, > >> > >>Bootstrapped and tested on aarch64. > >> > >>Ok for trunk? > >Comments in-line. > > > > Here's an

Re: [PATCH 0/6] Another fixes of various memory leaks

2015-11-23 Thread Martin Liška
On 11/23/2015 03:36 PM, Bernd Schmidt wrote: > On 11/23/2015 02:49 PM, marxin wrote: >> Following series has been just bootregtested on x86_64-linux-gnu >> (all patches together). > > All ok except 5/6 which I'm not finding obvious. Better to have a cilk/c++ > person have a look. Hi. Sure,

[Bug target/68363] [4.9/5/6 Regression] ICE: in recog_memoized, at recog.h:167 with RTL checking with -mfix-cortex-a53-835769 @ aarch64

2015-11-23 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68363 --- Comment #3 from ktkachov at gcc dot gnu.org --- Author: ktkachov Date: Mon Nov 23 15:20:42 2015 New Revision: 230763 URL: https://gcc.gnu.org/viewcvs?rev=230763=gcc=rev Log: [AArch64] PR target/68363 Check that argument is real INSN in

[PATCH][RTL-ifcvt] PR rtl-optimization/68435 Allow (c ? x++ : x--) form

2015-11-23 Thread Kyrill Tkachov
Hi all, In this PR we fail to if-convert a case where in the expression x = c ? a : b; 'a' and 'b' are something like x + 1 and x - 1. So x appears in a and b. The code that checks that nothing from the else block modifies the registers used in a rejects this case. It should accept when the

[Bug c/68473] [6 Regression] ICE: in contains_point, at diagnostic-show-locus.c:340 after error

2015-11-23 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68473 --- Comment #4 from David Malcolm --- No, I was wrong again. The locus and start of the range are here: (gdb) call inform(line_table->location_adhoc_data_map.data[0x17].src_range.m_start, "m_start") pr68473-1.c:13:12: note: m_start TEST_EQ

[Bug target/67089] [4.9/5/6 Regression] Integer overflow checks not optimized on x86/x86_64

2015-11-23 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67089 --- Comment #5 from Richard Henderson --- Author: rth Date: Mon Nov 23 15:55:58 2015 New Revision: 230767 URL: https://gcc.gnu.org/viewcvs?rev=230767=gcc=rev Log: Add uaddv4_optab and usubv4_optab PR target/67089 * optabs.def

<    1   2   3   4   >