Re: [ptx] Fix sso tests

2015-11-24 Thread Thomas Schwinge
Hi! On Mon, 23 Nov 2015 15:16:12 -0500, Nathan Sidwell wrote: > The gcc.dg/sso tests gratuitously fail on PTX because they use IO facilities > that don't exist there. This patch changes the dumping to use the putchar > function call (and not a macro), and not use fputs. > void put (const ch

Fix verify_type ICE during Ada bootstrap

2015-11-24 Thread Jan Hubicka
Hi, this patch fixes verify_type ICE while building Ada. The problem is that we end up with INTEGER_TYPE that has TYPE_ALIAS_SET buts its main variant is integer_type_node that is built in LTO and has non-zero alias set. This is will lead to wrong code if function using integer built with -fno-st

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

2015-11-24 Thread Jakub Jelinek
On Tue, Nov 24, 2015 at 10:51:05AM +0300, Maxim Ostapenko wrote: > Ok, I posted a fix to upstream (http://reviews.llvm.org/D14921) yesterday, > but it's still not reviewed. So, I'm wondering if I should fix the issue > locally? > Attaching proposed fix following Jakub's suggestion. > > Christophe

Re: Enable pointer TBAA for LTO

2015-11-24 Thread Richard Biener
On Mon, 23 Nov 2015, Jan Hubicka wrote: > > > > Please in future leave patches for review again if you do such > > big changes before committing... > > Uhm, sorry, next time I will be more cureful. It seemed rather easy after > debugging it but indeed it is somewhat surprising issue. > > > > I

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

2015-11-24 Thread Richard Biener
On Mon, 23 Nov 2015, tbsaunde+...@tbsaunde.org wrote: > 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

Re: [PATCH 2/2] remove val_ssa_equiv_hash_traits

2015-11-24 Thread Richard Biener
On Mon, 23 Nov 2015, tbsaunde+...@tbsaunde.org wrote: > 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? Ok. Thanks, RIc

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

2015-11-24 Thread Maxim Ostapenko
On 24/11/15 11:25, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 10:51:05AM +0300, Maxim Ostapenko wrote: Ok, I posted a fix to upstream (http://reviews.llvm.org/D14921) yesterday, but it's still not reviewed. So, I'm wondering if I should fix the issue locally? Attaching proposed fix following J

Re: Enable pointer TBAA for LTO

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Jan Hubicka wrote: > > 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) > > >>

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

2015-11-24 Thread Jakub Jelinek
On Tue, Nov 24, 2015 at 11:36:20AM +0300, Maxim Ostapenko wrote: > Ok, does it look better now? Sure, this is ok for trunk. > diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog > index b97fc7d..c392c57 100644 > --- a/libsanitizer/ChangeLog > +++ b/libsanitizer/ChangeLog > @@ -1,3 +1,7 @

[Ada] Fix C++ interfacing bug on 32-bit Windows

2015-11-24 Thread Eric Botcazou
This fixes a regression present on mainline and 5 branch pertaining to the calling convention used for an imported function with CPP convention on 32-bit Windows. This platform is special because C++ methods use a special calling convention ("thiscall") and we obviously need to do the same on t

[gomp4] Re: [OpenACC] declare directive

2015-11-24 Thread Thomas Schwinge
Hi! On Mon, 23 Nov 2015 13:37:20 +0100, I wrote: > A few things I noticed when working on merging your trunk r230275 into > gomp-4_0-branch. [...] I have now committed the merge of your trunk r230275 into gomp-4_0-branch, in r230787. This was non-trivial: the implementation of OpenACC declare o

Add a way to free tree node

2015-11-24 Thread Jan Hubicka
Hi, while looking into the earlier bug I noticed that type_hash_canon is used to avoid producing type duplicates. The type is however created, then looked up in the cache and if it exists it is never used. The function takes care to remove the code found memory stats but never actually free it.

[Ada] Fix crash on renaming of unconstrained array in ASIS mode

2015-11-24 Thread Eric Botcazou
This fixes a crash in an obscure case in ASIS mode. Tested on x86-64/Linux, applied on the mainline. 2015-11-24 Eric Botcazou * gcc-interface/trans.c (gnat_to_gnu): In type_annotate_only mode, do not build a NULL_EXPR for an N_Expanded_Name. -- Eric BotcazouIndex: gcc-inter

Re: Fix verify_type ICE during Ada bootstrap

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Jan Hubicka wrote: > Hi, > this patch fixes verify_type ICE while building Ada. The problem is that > we end up with INTEGER_TYPE that has TYPE_ALIAS_SET buts its main variant > is integer_type_node that is built in LTO and has non-zero alias set. > > This is will lead to wr

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

2015-11-24 Thread Maxim Ostapenko
On 24/11/15 11:38, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 11:36:20AM +0300, Maxim Ostapenko wrote: Ok, does it look better now? Sure, this is ok for trunk. diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index b97fc7d..c392c57 100644 --- a/libsanitizer/ChangeLog +++ b/libsa

[Ada] Process entry, protected and task bodies in ASIS mode.

2015-11-24 Thread Eric Botcazou
Tested on x86_64-suse-linux, applied on the mainline. 2015-11-24 Eric Botcazou * gcc-interface/decl.c (gnat_to_gnu_entity) : In ASIS mode, do a minimal translation for root types with discriminants. * gcc-interface/trans.c (gnat_to_gnu) : Move around. : Likewis

Re: Fix computation of TYPE_CANONICAL of VECTOR_TYPE

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Jan Hubicka wrote: > 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

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-11-24 Thread Pierre-Marie de Rodat
On 11/23/2015 10:08 PM, Jason Merrill wrote: On 11/23/2015 08:53 AM, Pierre-Marie de Rodat wrote: Do you think the other patches could make it before the branch? (if they could, I will rebase+retest them as quick as possible). Probably, yes. I can't find the DW_AT_static_link patch, though;

Re: [PATCH,RFC] Introduce RUN_UNDER_VALGRIND in test-suite

2015-11-24 Thread Hans-Peter Nilsson
On Mon, 23 Nov 2015, Martin Li?ka wrote: > On 11/21/2015 05:26 AM, Hans-Peter Nilsson wrote: > > On Thu, 19 Nov 2015, Martin Li?ka wrote: > >> Hello. > >> > >> In last two weeks I've removed couple of memory leaks, mainly tight to > >> middle-end. > >> Currently, a user of the GCC compiler can pas

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

2015-11-24 Thread Richard Biener
On Mon, Nov 23, 2015 at 4:52 PM, Yuri Rumyantsev wrote: > Hi Richard, > > Did you have a chance to look at this? It's on my list - I'm still swamped with patches to review. Richard. > Thanks. > Yuri. > > 2015-11-13 13:35 GMT+03:00 Yuri Rumyantsev : >> Hi Richard, >> >> Here is updated version o

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

2015-11-24 Thread Christophe Lyon
On 24 November 2015 at 09:58, Maxim Ostapenko wrote: > On 24/11/15 11:38, Jakub Jelinek wrote: >> >> On Tue, Nov 24, 2015 at 11:36:20AM +0300, Maxim Ostapenko wrote: >>> >>> Ok, does it look better now? >> >> Sure, this is ok for trunk. >> >>> diff --git a/libsanitizer/ChangeLog b/libsanitizer/Cha

Re: [Aarch64] Use vector wide add for mixed-mode adds

2015-11-24 Thread Michael Collison
This is a followup patch which addresses formatting comments posted here: https://gcc.gnu.org/ml/gcc-patches/2015-11/msg02611.html 2015-11-24 Michael Collison * config/aarch64/aarch64-simd.md (widen_ssum, widen_usum) (aarch64_w_internal): New patterns * config/aarch64/iterators.md (Vha

Re: RFA: PATCH to match.pd for c++/68385

2015-11-24 Thread Richard Biener
On Mon, Nov 23, 2015 at 8:05 PM, Jason Merrill wrote: > On 11/21/2015 01:30 AM, Richard Biener wrote: >> >> What happens if we remove the nops stripping from integer_zerop? Do other >> integer predicates strip nops? > > > Many predicates do, but removing that doesn't break anything in the > tests

Re: [PATCH/RFC] C++ FE: expression ranges (v2)

2015-11-24 Thread Richard Biener
On Mon, Nov 23, 2015 at 8:25 PM, Jason Merrill wrote: > On 11/23/2015 12:07 PM, Marek Polacek wrote: >> >> On Mon, Nov 23, 2015 at 05:57:54PM +0100, Jakub Jelinek wrote: >>> >>> On Mon, Nov 23, 2015 at 11:53:40AM -0500, David Malcolm wrote: Does the following look like the kind of thing

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

2015-11-24 Thread Kyrill Tkachov
On 23/11/15 15:01, Kyrill Tkachov wrote: On 23/11/15 14:58, James Greenhalgh wrote: 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

Re: [PATCH 4/4][AArch64] Add cost model for Exynos M1

2015-11-24 Thread Kyrill Tkachov
On 06/11/15 00:09, Evandro Menezes wrote: 2015-10-25 Evandro Menezes gcc/ * config/aarch64/aarch64-cores.def: Use the Exynos M1 cost model. * config/aarch64/aarch64.c (exynosm1_addrcost_table): New variable. (exynosm1_regmove_cost): Likewise. (exynosm1_vector_c

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

2015-11-24 Thread Richard Earnshaw
On 24/11/15 02:51, Bin.Cheng wrote: >>> The aarch64's problem is we don't define addptr3 pattern, and we don't >>> >> have direct insn pattern describing the "x + y << z". According to >>> >> gcc internal: >>> >> >>> >> ‘addptrm3’ >>> >> Like addm3 but is guaranteed to only be used for address cal

Re: Add a way to free tree node

2015-11-24 Thread Richard Biener
On Tue, Nov 24, 2015 at 9:45 AM, Jan Hubicka wrote: > Hi, > while looking into the earlier bug I noticed that type_hash_canon is used to > avoid producing type duplicates. The type is however created, then looked up > in the cache and if it exists it is never used. The function takes care to > r

Unreviewed libstdc++ patch

2015-11-24 Thread Rainer Orth
The following libstdc++ patch [v3] Handle C++11 overloads on Solaris 12 https://gcc.gnu.org/ml/gcc-patches/2015-11/msg02075.html has remained unreviewed for a week. It fixes a Solaris 12 bootstrap failure and is especially important for the gcc-5 branch at this point. With the G

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

2015-11-24 Thread Richard Earnshaw
On 24/11/15 09:56, Richard Earnshaw wrote: > On 24/11/15 02:51, Bin.Cheng wrote: The aarch64's problem is we don't define addptr3 pattern, and we don't >> have direct insn pattern describing the "x + y << z". According to >> gcc internal: >> >> ‘addptrm3’ >> Like addm3 but

Re: [AARCH64][PATCH 3/3] Adding tests to check proper error reporting of out of bounds accesses to vmulx_lane* NEON intrinsics

2015-11-24 Thread Bilyan Borisov
I've made the change you've requested. Changelog & patch description are below. Thanks, Bilyan --- This patch from the series adds tests that check for the proper error reporting of out of bounds accesses to all the vmulx_lane NEON intrinsics variants. The tests were added separately from the

Re: Port libvtv to Solaris

2015-11-24 Thread Rainer Orth
Rainer Orth writes: > Now that init priority support on Solaris is on mainline, porting libvtv > proved to be relatively easy, though it discovered a couple of quirks on > a non-gld non-x86 platform. This patch has now remained unreviewed for a week. With both Jeff and Richi fine with it going

[PATCH, libgomp] Rewire OpenACC async

2015-11-24 Thread Chung-Lin Tang
Hi, this patch reworks some of the way that asynchronous copyouts are implemented for OpenACC in libgomp. Before this patch, we had a somewhat confusing way of implementing this by having two refcounts for each mapping: refcount and async_refcount, which I never got working again after the last wa

Re: [PATCH] GCC system.h and Graphite header order

2015-11-24 Thread Alan Lawrence
I note doc/install.texi says that gcc uses "ISL Library version 0.15, 0.14, 0.13, or 0.12.2". This patch breaks the build with 0.12.2 (a subset of errors below), but seems fine with 0.14. I haven't tested 0.13. Do we want to update install.texi ? Cheers, Alan In file included from /work/alalaw01

[PATCH][cfgloop] PR middle-end/68375: Restructure get_loop_body_in_bfs_order to handle loops with only a header

2015-11-24 Thread Kyrill Tkachov
Hi all, The ICE in this PR occurs when trying to dump the CFG to a .dot file. The i > vc assert at the bottom of the loop in get_loop_body_in_bfs_order gets triggered when i == 1 and vc == 1. This is not a problem for that loop because it contains only a header and it's not going to go around th

Re: [Aarch64] Use vector wide add for mixed-mode adds

2015-11-24 Thread James Greenhalgh
On Tue, Nov 24, 2015 at 02:24:30AM -0700, Michael Collison wrote: > This is a followup patch which addresses formatting comments posted here: > > https://gcc.gnu.org/ml/gcc-patches/2015-11/msg02611.html > > 2015-11-24 Michael Collison > * config/aarch64/aarch64-simd.md (widen_ssum, widen_us

Re: [PATCH][cfgloop] PR middle-end/68375: Restructure get_loop_body_in_bfs_order to handle loops with only a header

2015-11-24 Thread Richard Biener
On Tue, Nov 24, 2015 at 11:39 AM, Kyrill Tkachov wrote: > Hi all, > > The ICE in this PR occurs when trying to dump the CFG to a .dot file. > The i > vc assert at the bottom of the loop in get_loop_body_in_bfs_order > gets triggered when i == 1 and vc == 1. This is not a problem for that loop > b

Re: [PATCH/RFC] C++ FE: expression ranges (v2)

2015-11-24 Thread David Malcolm
On Tue, 2015-11-24 at 10:40 +0100, Richard Biener wrote: > On Mon, Nov 23, 2015 at 8:25 PM, Jason Merrill wrote: > > On 11/23/2015 12:07 PM, Marek Polacek wrote: > >> > >> On Mon, Nov 23, 2015 at 05:57:54PM +0100, Jakub Jelinek wrote: > >>> > >>> On Mon, Nov 23, 2015 at 11:53:40AM -0500, David Mal

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

2015-11-24 Thread Christophe Lyon
On 24 November 2015 at 10:21, Christophe Lyon wrote: > On 24 November 2015 at 09:58, Maxim Ostapenko > wrote: >> On 24/11/15 11:38, Jakub Jelinek wrote: >>> >>> On Tue, Nov 24, 2015 at 11:36:20AM +0300, Maxim Ostapenko wrote: Ok, does it look better now? >>> >>> Sure, this is ok for tru

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

2015-11-24 Thread Jakub Jelinek
On Tue, Nov 24, 2015 at 12:08:13PM +0100, Christophe Lyon wrote: > > Sure. > > I had a build in progress with your proposed patch, but it didn't > > complete before you committed :-) > > > > So... it still does not work for me. I re-tried several times, made sure I had > everything cleanup before

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

2015-11-24 Thread Christophe Lyon
On 24 November 2015 at 12:12, Jakub Jelinek wrote: > On Tue, Nov 24, 2015 at 12:08:13PM +0100, Christophe Lyon wrote: >> > Sure. >> > I had a build in progress with your proposed patch, but it didn't >> > complete before you committed :-) >> > >> >> So... it still does not work for me. I re-tried

Re: [AARCH64][PATCH 3/3] Adding tests to check proper error reporting of out of bounds accesses to vmulx_lane* NEON intrinsics

2015-11-24 Thread James Greenhalgh
On Tue, Nov 24, 2015 at 10:21:51AM +, Bilyan Borisov wrote: > I've made the change you've requested. Changelog & patch description > are below. > > Thanks, > Bilyan > > --- > > This patch from the series adds tests that check for the proper error > reporting > of out of bounds accesses to a

Fwd: libcpp/C FE source range patch committed (r230331).

2015-11-24 Thread Jay Foad
(Resending as plain text. Sorry for the HTML!) On 14 November 2015 at 14:50, David Edelsohn wrote: > > This patch causes numerous new testsuite failure on AIX caused by the > compiler crashing during compilation, e.g. r230331 also seems to be causing this on x86_64-pc-linux-gnu: $ cat x.c #defi

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

2015-11-24 Thread Jakub Jelinek
On Tue, Nov 24, 2015 at 12:23:05PM +0100, Christophe Lyon wrote: > On 24 November 2015 at 12:12, Jakub Jelinek wrote: > > On Tue, Nov 24, 2015 at 12:08:13PM +0100, Christophe Lyon wrote: > >> > Sure. > >> > I had a build in progress with your proposed patch, but it didn't > >> > complete before yo

Re: Fwd: libcpp/C FE source range patch committed (r230331).

2015-11-24 Thread Marek Polacek
On Tue, Nov 24, 2015 at 11:24:38AM +, Jay Foad wrote: > r230331 also seems to be causing this on x86_64-pc-linux-gnu: > > $ cat x.c > #define P(b) b&&4 > int a[]=0; > int f() { X||P(d); } > $ ~/gcc/build/gcc/cc1 -quiet -Wall x.c > [...] > x.c:3:1: internal compiler error: in contains_point, at

Re: [PATCH/RFC] C++ FE: expression ranges (v2)

2015-11-24 Thread Richard Biener
On Tue, Nov 24, 2015 at 11:58 AM, David Malcolm wrote: > On Tue, 2015-11-24 at 10:40 +0100, Richard Biener wrote: >> On Mon, Nov 23, 2015 at 8:25 PM, Jason Merrill wrote: >> > On 11/23/2015 12:07 PM, Marek Polacek wrote: >> >> >> >> On Mon, Nov 23, 2015 at 05:57:54PM +0100, Jakub Jelinek wrote: >

Re: Fwd: libcpp/C FE source range patch committed (r230331).

2015-11-24 Thread Jay Foad
On 24 November 2015 at 11:34, Marek Polacek wrote: > On Tue, Nov 24, 2015 at 11:24:38AM +, Jay Foad wrote: >> r230331 also seems to be causing this on x86_64-pc-linux-gnu: >> >> $ cat x.c >> #define P(b) b&&4 >> int a[]=0; >> int f() { X||P(d); } >> $ ~/gcc/build/gcc/cc1 -quiet -Wall x.c >> [.

Re: Fwd: libcpp/C FE source range patch committed (r230331).

2015-11-24 Thread Marek Polacek
On Tue, Nov 24, 2015 at 11:50:21AM +, Jay Foad wrote: > I see now that it's already reported as PR c/68473. Ooops, sorry, I knew about that one, but thought that's a different problem. Marek

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

2015-11-24 Thread Maxim Ostapenko
On 24/11/15 14:27, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 12:23:05PM +0100, Christophe Lyon wrote: On 24 November 2015 at 12:12, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 12:08:13PM +0100, Christophe Lyon wrote: Sure. I had a build in progress with your proposed patch, but it didn't

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

2015-11-24 Thread Jakub Jelinek
On Tue, Nov 24, 2015 at 02:55:26PM +0300, Maxim Ostapenko wrote: > diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog > index c392c57..895d3bd 100644 > --- a/libsanitizer/ChangeLog > +++ b/libsanitizer/ChangeLog > @@ -1,5 +1,10 @@ > 2015-11-24 Maxim Ostapenko > > + * include/sys

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Jonathan Wakely
On 17/11/15 13:33 +0100, Rainer Orth wrote: Solaris 12 recently introduced the C++11 overloads, which caused bootstrap to be broken on both mainline and the gcc-5 branch: In file included from /vol/gcc/src/hg/trunk/local/libstdc++-v3/include/precompiled/stdc++.h:41:0: /var/gcc/regression/trunk

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

2015-11-24 Thread Yury Gribov
On 11/24/2015 02:55 PM, Maxim Ostapenko wrote: On 24/11/15 14:27, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 12:23:05PM +0100, Christophe Lyon wrote: On 24 November 2015 at 12:12, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 12:08:13PM +0100, Christophe Lyon wrote: Sure. I had a build in p

Re: [PATCH/RFC] C++ FE: expression ranges (v2)

2015-11-24 Thread Marek Polacek
On Tue, Nov 24, 2015 at 05:58:30AM -0500, David Malcolm wrote: > +/* Language-dependent macro for stripping away location wrapper nodes. */ > + > +#define STRIP_LOCATION_EXPRS(EXP) \ > + while (TREE_CODE (EXP) == LOCATION_EXPR) \ > +(EXP) = TREE_OPERAND ((EXP), 0) This BTW implies that we mi

Re: [PATCH, 6/16] Add pass_oacc_kernels

2015-11-24 Thread Tom de Vries
On 19/11/15 14:50, Tom de Vries wrote: On 11/11/15 11:58, Richard Biener wrote: On Mon, 9 Nov 2015, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto t

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

2015-11-24 Thread Christophe Lyon
On 24 November 2015 at 12:57, Jakub Jelinek wrote: > On Tue, Nov 24, 2015 at 02:55:26PM +0300, Maxim Ostapenko wrote: >> diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog >> index c392c57..895d3bd 100644 >> --- a/libsanitizer/ChangeLog >> +++ b/libsanitizer/ChangeLog >> @@ -1,5 +1,10 @@

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

2015-11-24 Thread Mikhail Maltsev
On 11/24/2015 02:43 AM, Bernd Schmidt wrote: > 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-check

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

2015-11-24 Thread Tom de Vries
On 23/11/15 11:02, Richard Biener wrote: On Fri, 20 Nov 2015, Tom de Vries wrote: On 20/11/15 14:29, Richard Biener wrote: I agree it's somewhat of an odd behavior but all passes should either be placed in a sub-pipeline with an outer loop_optimizer_init()/finalize () call or call both themsel

[PING][PATCH, 3/16] Ignore reduction clause on kernels directive

2015-11-24 Thread Tom de Vries
On 09/11/15 16:50, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch series contains these patches: 1Insert

Re: [PATCH, 9/16] Add pass_parallelize_loops_oacc_kernels

2015-11-24 Thread Tom de Vries
On 16/11/15 12:59, Tom de Vries wrote: On 09/11/15 20:52, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch series co

[PING][PATCH, 12/16] Handle acc loop directive

2015-11-24 Thread Tom de Vries
On 09/11/15 21:06, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch series contains these patches: 1Insert

[C++ PATCH] Fix same canonical type node ICE for constrained functions (PR c++/68434)

2015-11-24 Thread Ryan Burn
This patch rearranges the step in tsubst where a type's PLACEHOLDER_TYPE_CONSTRAINTS are set so that it happens before calling the function canonical_type_parameter. canonical_type_parameter makes comparisons between types stored in the canonical_template_parms global variable. One of the steps in

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Rainer Orth
Jonathan Wakely writes: > On 17/11/15 13:33 +0100, Rainer Orth wrote: >>Solaris 12 recently introduced the C++11 overloads, which >>caused bootstrap to be broken on both mainline and the gcc-5 branch: >> >>In file included from >>/vol/gcc/src/hg/trunk/local/libstdc++-v3/include/precompiled/stdc

Re: [PATCH] New version of libmpx with new memmove wrapper

2015-11-24 Thread Ilya Enkovich
2015-11-23 22:44 GMT+03:00 Aleksandra Tsvetkova : > gcc/testsuite/ChangeLog > +2015-10-27 Tsvetkova Alexandra > + > + * gcc.target/i386/mpx/memmove.c: New test for __mpx_wrapper_memmove. > > libmpx/ChangeLog > +2015-10-28 Tsvetkova Alexandra > + > + * mpxrt/Makefile.am (libmpx_la_LDFLAGS): Ad

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Jonathan Wakely
On 24/11/15 13:32 +0100, Rainer Orth wrote: Jonathan Wakely writes: On 17/11/15 13:33 +0100, Rainer Orth wrote: Solaris 12 recently introduced the C++11 overloads, which caused bootstrap to be broken on both mainline and the gcc-5 branch: In file included from /vol/gcc/src/hg/trunk/local/l

Re: [PATCH] PR c/68473: sanitize source range-printing within certain macro expansions

2015-11-24 Thread Bernd Schmidt
On 11/23/2015 07:26 PM, David Malcolm wrote: In theory we could attempt to try to handle this kind of thing by looking at the macro expansions, and to print something like: 13 TEST_EQ (fmin); ^~~~ 6 if ((long)FUNC##l(xl,xl) != (long)xl) \

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Jonathan Wakely
On 24/11/15 12:35 +, Jonathan Wakely wrote: Ah yes, because there's a using std::acosh, which puts Solaris' new Oops, I meant "using ::acosh" not "using std::acosh" (the latter wouldn't work in C++03 mode).

Re: [PATCH 12/12] always define ENABLE_OFFLOADING

2015-11-24 Thread Bernd Schmidt
On 11/23/2015 05:52 PM, Ilya Verbin wrote: There are 2 new uses of "#ifdef ENABLE_OFFLOADING" in c_parser_oacc_declare and cp_parser_oacc_declare. I don't know how to properly test OpenACC, so here is untested patch. It's documented on the Offloading wiki page, but this patch is good enough i

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

2015-11-24 Thread H.J. Lu
On Mon, Nov 23, 2015 at 10:00 PM, Andrew Pinski wrote: > 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 wrote: > On Sat, N

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

2015-11-24 Thread Maxim Ostapenko
On 24/11/15 15:17, Christophe Lyon wrote: On 24 November 2015 at 12:57, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 02:55:26PM +0300, Maxim Ostapenko wrote: diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index c392c57..895d3bd 100644 --- a/libsanitizer/ChangeLog +++ b/libsanitiz

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

2015-11-24 Thread Jiong Wang
On 24/11/15 10:18, Richard Earnshaw wrote: I presume you are aware of the canonicalization rules for add? That is, for a shift-and-add operation, the shift operand must appear first. Ie. (plus (shift (op, op)), op) not (plus (op, (shift (op, op)) R. Looks to me it's not optimal to gener

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

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Tom de Vries wrote: > On 23/11/15 11:02, Richard Biener wrote: > > On Fri, 20 Nov 2015, Tom de Vries wrote: > > > > > On 20/11/15 14:29, Richard Biener wrote: > > > > I agree it's somewhat of an odd behavior but all passes should > > > > either be placed in a sub-pipeline wit

[PATCH] Fix PR68502

2015-11-24 Thread Richard Biener
This restores a check I removed when adding strided group accesses together with a better explanation and a FIXME comment how to recover the missed optimizations (not appropriate at this stage). I've added a realistic testcase from 179.art as well as an artificial one that also fails on x86_64.

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

2015-11-24 Thread Richard Earnshaw
On 24/11/15 13:06, Jiong Wang wrote: > > > On 24/11/15 10:18, Richard Earnshaw wrote: >> I presume you are aware of the canonicalization rules for add? That is, >> for a shift-and-add operation, the shift operand must appear first. Ie. >> >> (plus (shift (op, op)), op) >> >> not >> >> (plus (op

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Rainer Orth
Jonathan Wakely writes: > On 24/11/15 13:32 +0100, Rainer Orth wrote: >>Jonathan Wakely writes: >> >>> On 17/11/15 13:33 +0100, Rainer Orth wrote: Solaris 12 recently introduced the C++11 overloads, which caused bootstrap to be broken on both mainline and the gcc-5 branch: In f

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

2015-11-24 Thread Kyrill Tkachov
On 24/11/15 06:37, Segher Boessenkool wrote: 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 t

Re: [PATCH][ARM] PR 49526: Add support for smmul,smmla,smmls instructions

2015-11-24 Thread Kyrill Tkachov
Ping. Thanks, Kyrill On 13/11/15 11:50, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00686.html Thanks, Kyrill On 06/11/15 17:05, Kyrill Tkachov wrote: Hi all, This patch introduces support for the smmul, smmla and smmls instructions that appear in armv6 archi

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

2015-11-24 Thread Kyrill Tkachov
On 23/11/15 15:12, Kyrill Tkachov wrote: 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

Re: [PR68001, CilkPlus] Fix for PR68001

2015-11-24 Thread Andreas Schwab
FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 51) FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 56) FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 59) Andreas. -- Andreas Schwab, SUSE Labs, sc

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

2015-11-24 Thread Bernd Schmidt
On 11/24/2015 02:15 PM, Kyrill Tkachov wrote: This bug also affects GCC 5 and 4.9. I've confirmed that this patch fixes the miscompilations on those branches. Bootstrap and test on x86_64 on the GCC 5 branch is successful. Same on 4.9 is ongoing. The patch applies cleanly to all branches. So ok t

Re: [ptx] Fix sso tests

2015-11-24 Thread Nathan Sidwell
On 11/24/15 00:01, Jeff Law wrote: 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

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

2015-11-24 Thread Tom de Vries
On 24/11/15 14:13, Richard Biener wrote: On Tue, 24 Nov 2015, Tom de Vries wrote: >On 23/11/15 11:02, Richard Biener wrote: > >On Fri, 20 Nov 2015, Tom de Vries wrote: > > > > >On 20/11/15 14:29, Richard Biener wrote: > > > >I agree it's somewhat of an odd behavior but all passes should > >

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

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Tom de Vries wrote: > On 24/11/15 14:13, Richard Biener wrote: > > On Tue, 24 Nov 2015, Tom de Vries wrote: > > > > > >On 23/11/15 11:02, Richard Biener wrote: > > > > > >On Fri, 20 Nov 2015, Tom de Vries wrote: > > > > > > > > > > > > > >On 20/11/15 14:29, Richard Biener wro

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

2015-11-24 Thread Jiong Wang
On 24/11/15 13:23, Richard Earnshaw wrote: On 24/11/15 13:06, Jiong Wang wrote: On 24/11/15 10:18, Richard Earnshaw wrote: I presume you are aware of the canonicalization rules for add? That is, for a shift-and-add operation, the shift operand must appear first. Ie. (plus (shift (op, op))

Re: update zlib to 1.2.8

2015-11-24 Thread Joel Brobecker
> No, just a packaging issue with somebody mentioning a static binutils build. > That's when I saw the outdated version. > > Now updated in the GCC VCS. OK, if you have updated the GCC sources, would you mind updating the binutils-gdb.git as well? We should really keep the two as much in sync as

Re: [PATCH][AArch64] Improve add immediate expansion

2015-11-24 Thread James Greenhalgh
On Fri, Sep 25, 2015 at 12:44:40PM +0100, Wilco Dijkstra wrote: > This patch improves add immediate expansion by always expanding complex adds > into a move immediate > and an add. This enables CSE of all complex immediates. A separate split > pattern enables combine to > emit a 2-instruction add

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

2015-11-24 Thread Richard Earnshaw
On 24/11/15 14:36, Jiong Wang wrote: > > > On 24/11/15 13:23, Richard Earnshaw wrote: >> On 24/11/15 13:06, Jiong Wang wrote: >>> >>> On 24/11/15 10:18, Richard Earnshaw wrote: I presume you are aware of the canonicalization rules for add? That is, for a shift-and-add operation, t

[PING^2][PATCH] Improve C++ loop's backward-jump location

2015-11-24 Thread Andreas Arnez
Ping? https://gcc.gnu.org/ml/gcc-patches/2015-11/msg01192.html I guess we want C and C++ behave the same here? > gcc/cp/ChangeLog: > > * cp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location > to start of loop body instead of start of loop. > > gcc/testsuite/ChangeLog:

[hsa] Redesign busy loop waiting so that a kernel dispatch signal can be reused

2015-11-24 Thread Martin Liška
Hello. Following patch is a workaround for Carrizo devices that tend to have problems with propagation of signal values due to an issue with L2. Commited to the branch. Martin >From ca4475aedb47e49b4bdc0a8980f200ec93b31d61 Mon Sep 17 00:00:00 2001 From: marxin Date: Tue, 24 Nov 2015 10:41:54 +0

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

2015-11-24 Thread Tom de Vries
On 24/11/15 15:33, Richard Biener wrote: On Tue, 24 Nov 2015, Tom de Vries wrote: On 24/11/15 14:13, Richard Biener wrote: On Tue, 24 Nov 2015, Tom de Vries wrote: On 23/11/15 11:02, Richard Biener wrote: On Fri, 20 Nov 2015, Tom de Vries wrote: On 20/11/15 14:29, Richard Biener wrote: I

Re: [PATCH][ARM] PR 49526: Add support for smmul,smmla,smmls instructions

2015-11-24 Thread Yvan Roux
Hi Kyrill, On 24 November 2015 at 14:31, Kyrill Tkachov wrote: > Ping. > > Thanks, > Kyrill > > > > On 13/11/15 11:50, Kyrill Tkachov wrote: >> >> Ping. >> https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00686.html >> >> Thanks, >> Kyrill >> >> On 06/11/15 17:05, Kyrill Tkachov wrote: >>> >>> Hi al

[PATCH] Improve verification of loop->latch in verify_loop_structure

2015-11-24 Thread Tom de Vries
[ was: Re: [PATCH] Check NULL loop->latch in verify_loop_structure ] On 23/11/15 11:28, Richard Biener wrote: On Mon, 23 Nov 2015, Tom de Vries wrote: Hi, In verify_loop_structure, we stop checking the latch once we find that it's NULL. This patch tries a bit harder: - if !LOOPS_MAY_HAVE_MUL

Re: [PATCH 1/4 v2][AArch64] Generalize CCMP support

2015-11-24 Thread James Greenhalgh
On Tue, Nov 17, 2015 at 06:35:36PM +, Wilco Dijkstra wrote: > Bernd Schmidt wrote: > > Sent: 17 November 2015 22:16 > > To: Wilco Dijkstra; gcc-patches@gcc.gnu.org > > Subject: Re: [PATCH 1/4][AArch64] Generalize CCMP support > > > > On 11/13/2015 05:02 PM, Wilco Dijkstra wrote: > > > * gcc/

Re: [AArch64] Rework ARMv8.1 command line options.

2015-11-24 Thread James Greenhalgh
On Mon, Nov 16, 2015 at 04:31:32PM +, Matthew Wahab wrote: > Hello, > > The command line options for target selection allow ARMv8.1 extensions > to be individually enabled/disabled. They also allow the extensions to > be enabled with -march=armv8-a. This doesn't reflect the ARMv8.1 > architect

Re: [PATCH] [ARM] neon-testgen.ml typo

2015-11-24 Thread Christophe Lyon
On 13 November 2015 at 14:36, Christophe Lyon wrote: > On 13 November 2015 at 12:24, Kyrill Tkachov wrote: >> >> On 13/11/15 11:18, Ramana Radhakrishnan wrote: Hmm. I hadn't noticed that the crypto intrinsics tests where generated by neon-testgen.ml, I thought they were hand-writte

[PATCH][calls.c] PR rtl-optimization/67226: Take into account pretend_args_size when checking stack offsets for sibcall optimisation

2015-11-24 Thread Kyrill Tkachov
Hi all, This is a wrong-code PR similar to PR 65358. It occurs on targets/ABIs that can pass struct parameter partially in registers and partially on the stack. In this instance the target is arm. In this bug we hit a problem during sibcall optimisation at call expansion time where we have a p

RE: [PATCH 1/4 v2][AArch64] Generalize CCMP support

2015-11-24 Thread Wilco Dijkstra
James Greenhalgh wrote: > Could you please repost this with the word-wrapping issues fixed. > I can't apply it to my tree for review or to commit it on your behalf in the current form. Here it is again, hopefully no wrapping: This patch series generalizes CCMP by adding FCCMP support and enabling

Re: [RFC] [Patch] PR67326 - relax trap assumption by looking at similar DRS

2015-11-24 Thread Richard Biener
On Fri, Nov 20, 2015 at 1:02 PM, Kumar, Venkataramanan wrote: > Hi Richard, > > As per Jakub suggestion in > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67326, the below patch fixes the > regression in tree if conversion. > Basically allowing if conversion to happen for a candidate DR, if we fi

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

2015-11-24 Thread David Edelsohn
On Tue, Nov 24, 2015 at 2:13 AM, Segher Boessenkool wrote: > 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 thi

Re: GCC 5.3 Status Report (2015-11-20)

2015-11-24 Thread David Edelsohn
On Sun, Nov 22, 2015 at 8:38 AM, Paolo Bonzini wrote: > > > On 20/11/2015 14:14, David Edelsohn wrote: >> On Fri, Nov 20, 2015 at 7:53 AM, Richard Biener wrote: >>> >>> Status >>> == >>> >>> We plan to do a GCC 5.3 release candidate at the end of next week >>> followed by the actual release a

Re: [PATCH] PR 68192 Export AIX TLS symbols

2015-11-24 Thread Paolo Bonzini
Eric, can you help committing this patch to libtool? http://article.gmane.org/gmane.comp.gcc.patches/356566 Thanks, Paolo On 03/11/2015 15:23, David Edelsohn wrote: > TLS symbols in AIX display a new, different symbol type in nm output. > Libtool explicitly creates a list of exported symbols fo

  1   2   >