Re: [PATCH] add basic .gitattributes files to notice whitespace issues

2016-04-21 Thread Jeff Law
On 02/04/2016 07:00 PM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders Hi, We can tell git to highlight whitespace errors in diffs, and if you enable the default pre-commit hook git won't allow you to make a commit with a whitespace error violating the rules

Re: [PATCH 02/18] make avail_stores a vec

2016-04-21 Thread Jeff Law
On 04/20/2016 12:22 AM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders gcc/ChangeLog: 2016-04-19 Trevor Saunders * print-rtl.c (print_rtx_insn_vec): New function. * print-rtl.h: New prototype. * rtl.h:

Re: [PATCH 00/18] towards removing rtx_insn_list and rtx_expr_list

2016-04-21 Thread Jeff Law
On 04/20/2016 07:03 AM, Andi Kleen wrote: tbsaunde+...@tbsaunde.org writes: I have some more patches that almost completely eliminate these, but I haven't tested the rest yet, and this is already a long series so it would be nice to get some of it out of my tree and reviewed. patches

Re: [PATCH 08/18] make side_effects a vec

2016-04-21 Thread Jeff Law
On 04/20/2016 12:22 AM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders gcc/ChangeLog: 2016-04-19 Trevor Saunders * var-tracking.c (struct adjust_mem_data): Make side_effects a vector. (adjust_mems): Adjust.

Re: [PATCH 05/18] make stores rtx_insn_list a vec

2016-04-21 Thread Jeff Law
On 04/20/2016 05:45 AM, Segher Boessenkool wrote: On Wed, Apr 20, 2016 at 02:22:09AM -0400, tbsaunde+...@tbsaunde.org wrote: 2016-04-19 Trevor Saunders * gcse.c (struct ls_expr): make stores field a vector. Capital M. @@ -3604,7 +3604,7 @@ ldst_entry

Re: [PATCH 04/18] remove unused loads rtx_insn_list

2016-04-21 Thread Jeff Law
On 04/20/2016 12:22 AM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders gcc/ChangeLog: 2016-04-19 Trevor Saunders * gcse.c (struct ls_expr): Remove loads field. (ldst_entry): Adjust. (free_ldst_entry):

Re: [PATCH 01/18] stop using rtx_insn_list in reorg.c

2016-04-21 Thread Jeff Law
On 04/20/2016 12:22 AM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders gcc/ChangeLog: 2016-04-19 Trevor Saunders * reorg.c (try_merge_delay_insns): Make merged_insns a vector. OK. jeff

[Patch, regex, libstdc++/70745] Fix match_not_bow and match_not_eow

2016-04-21 Thread Tim Shen
Bootstrapped and tested on x86-pc-linux-gnu debug. It is a conformance fix, but I don't think it's very important. I'm happy to backport it to gcc 5/4.9, but if it's not considered necessary, I'm Ok as well. Thanks! -- Regards, Tim Shen commit 7f4f729d5dd80050ff966398e28909a40fb57932 Author:

match.pd patch: u + 3 < u is u > UINT_MAX - 3

2016-04-21 Thread Marc Glisse
Hello, this optimizes a common pattern for unsigned overflow detection, when one of the arguments turns out to be a constant. There are more ways this could look like, (a + 42 <= 41) in particular, but that'll be for another patch. Bootstrap+regtest on powerpc64le-unknown-linux-gnu.

Re: [PATCH] Fix ICE in predicate_mem_writes (PR tree-optimization/70725)

2016-04-21 Thread Jakub Jelinek
On Thu, Apr 21, 2016 at 05:23:34PM +0200, Marek Polacek wrote: > On Thu, Apr 21, 2016 at 04:19:12PM +0100, Bin.Cheng wrote: > > On Thu, Apr 21, 2016 at 4:13 PM, Marek Polacek wrote: > > > On Wed, Apr 20, 2016 at 11:57:23AM -0700, H.J. Lu wrote: > > >> On Wed, Apr 20, 2016 at

Re: [PATCH][cilkplus] fix c++ implicit conversions with cilk_spawn (PR/69024, PR/68997)

2016-04-21 Thread Jason Merrill
On 01/20/2016 12:57 PM, Ryan Burn wrote: case AGGR_INIT_EXPR: + { + int len = 0; + int ii = 0; + extract_free_variables (TREE_OPERAND (t, 1), wd, ADD_READ); + if (TREE_CODE (TREE_OPERAND (t, 0)) == INTEGER_CST) + { + len = TREE_INT_CST_LOW

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 9:37 AM, H.J. Lu wrote: > On Thu, Apr 21, 2016 at 9:31 AM, Uros Bizjak wrote: >> On Thu, Apr 21, 2016 at 4:50 PM, H.J. Lu wrote: >> > I tried and it doesn't work since the correct mode may not be always

RE: [AArch64] Add more precision choices for the reciprocal square root approximation

2016-04-21 Thread Evandro Menezes
> On 04/04/16 11:13, Evandro Menezes wrote: > > On 04/01/16 18:08, Wilco Dijkstra wrote: > >> Evandro Menezes wrote: > >>> I hope that this gets in the ballpark of what's been discussed > >>> previously. > >> Yes that's very close to what I had in mind. A minor issue is that > >> the vector modes

RE: [AArch64] Emit square root using the Newton series

2016-04-21 Thread Evandro Menezes
> On 04/05/16 17:30, Evandro Menezes wrote: > > On 04/05/16 13:37, Wilco Dijkstra wrote: > >> I can't get any of these to work... Not only do I get a large number > >> of collisions and duplicated code between these patches, when I try > >> to resolve them, all I get is crashes whenever I try to

RE: [AArch64] Emit division using the Newton series

2016-04-21 Thread Evandro Menezes
> On 04/04/16 14:06, Evandro Menezes wrote: > > On 04/01/16 17:52, Evandro Menezes wrote: > >> On 04/01/16 17:45, Wilco Dijkstra wrote: > >>> Evandro Menezes wrote: > >>> > However, I don't think that there's the need to handle any special > case for division. The only case when the

Re: [PATCH][doc] Update documentation of AArch64 options

2016-04-21 Thread Sandra Loosemore
On 04/21/2016 10:26 AM, Wilco Dijkstra wrote: diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index e9763d44d8d7aa6a64821a4b1811e550254e..ddd4eeaec1502f871d0febd6045e37153c48a7e1 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -12827,9 +12827,9 @@ These options are

Re: [PATCH] PR target/70750: [6/7 Regression] Load and call no longer combined for indirect calls on x86

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 7:46 PM, H.J. Lu wrote: > r231923 has > > ;; Test for a valid operand for a call instruction. > ;; Allow constant call address operands in Pmode only. > (define_special_predicate "call_insn_operand" >(ior (match_test

Re: Document OpenACC status for GCC 6

2016-04-21 Thread Sandra Loosemore
On 04/21/2016 10:21 AM, Thomas Schwinge wrote: + Code will be offloaded onto multiple gangs, but executes with + just one worker, and a vector length of 1. "will be" (future) vs "executes" (present). Assuming this is all supposed to describe current behavior, please write

[PATCH] PR target/70750: [6/7 Regression] Load and call no longer combined for indirect calls on x86

2016-04-21 Thread H.J. Lu
r231923 has ;; Test for a valid operand for a call instruction. ;; Allow constant call address operands in Pmode only. (define_special_predicate "call_insn_operand" (ior (match_test "constant_call_address_operand (op, mode == VOIDmode ? mode : Pmode)")

[PATCH GCC]Refactor IVOPT.

2016-04-21 Thread Bin Cheng
Hi, This patch refactors IVOPT in three major aspects: Firstly it rewrites iv_use groups. Use group is originally introduced only for address type uses, this patch makes it general to all (generic, compare, address) types. Currently generic/compare groups contain only one iv_use, and compare

Re: tuple move constructor

2016-04-21 Thread Marc Glisse
On Thu, 21 Apr 2016, Jonathan Wakely wrote: On 20 April 2016 at 21:42, Marc Glisse wrote: Hello, does anyone remember why the move constructor of _Tuple_impl is not defaulted? The attached patch does not cause any test to fail (whitespace kept to avoid line number changes). Maybe something

Re: [C++ Patch] PR 70540 ("[4.9/5/6 Regression] ICE on invalid code in cxx_incomplete_type_diagnostic...")

2016-04-21 Thread Jason Merrill
OK for trunk and 6.2. Jason

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 9:31 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 4:50 PM, H.J. Lu wrote: > I tried and it doesn't work since the correct mode may not be always available in predicates. Yes, they pass mode. But they just do

Re: [PATCH] Reuse the saved_scope structures allocated by push_to_top_level

2016-04-21 Thread Jason Merrill
OK. Jason

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 4:50 PM, H.J. Lu wrote: >>> I tried and it doesn't work since the correct mode may not be always >>> available in predicates. Yes, they pass mode. But they just do >>> >>> mode = GET_MODE (op); >>> >>> which returns VOIDmode for -1. >> >> Well,

Re: C++ PATCH to fix a part of c++/70513 (ICE-on-invalid with enums)

2016-04-21 Thread Jason Merrill
OK. Jason

[PATCH][doc] Update documentation of AArch64 options

2016-04-21 Thread Wilco Dijkstra
Update documentation of AArch64 options for GCC6 to be more accurate, fix a few minor mistakes and remove some duplication. Tested with "make info dvi pdf html" and checked resulting PDF is as expected. OK for trunk and backport to GCC6.1 branch? ChangeLog: 2016-04-21 Wilco Dijkstra

Document OpenACC status for GCC 6

2016-04-21 Thread Thomas Schwinge
Hi! OK to commit (something like) the following? Should something be added to the "News" section on itself? (I don't know the policy for that. We didn't suggest that for GCC 5, because at that time we described the support as a "preliminary implementation of the OpenACC

Re: C++ PATCH to fix a part of c++/70513 (ICE-on-invalid with enums)

2016-04-21 Thread Marek Polacek
On Thu, Apr 21, 2016 at 09:57:30AM -0400, Jason Merrill wrote: > On 04/21/2016 07:35 AM, Marek Polacek wrote: > >+ permerror (type_start_token->location, > >+ "extra qualification not allowed"); > >+ type = error_mark_node; > > If we're using permerror, we

[PATCH] Fixup nb_iterations_upper_bound adjustment for vectorized loops

2016-04-21 Thread Ilya Enkovich
Hi, Currently when loop is vectorized we adjust its nb_iterations_upper_bound by dividing it by VF. This is incorrect since nb_iterations_upper_bound is upper bound for ( - 1) and therefore simple dividing it by VF in many cases gives us bounds greater than a real one. Correct value would be

Re: [PATCH][wwwdocs] Add deprecation of pre-ARMv4T architectures to the release notes

2016-04-21 Thread Kyrill Tkachov
Hi Gerald, On 21/04/16 14:51, Gerald Pfeifer wrote: On Thu, 21 Apr 2016, Kyrill Tkachov wrote: This patch lists the -mcpu and -march values that are deprecated for GCC 6. Joel indicated that it would be useful to enumerate them all. Yes, this is very useful. Thank you! Ok to commit?

Re: gomp_target_fini

2016-04-21 Thread Thomas Schwinge
Hi! On Thu, 21 Apr 2016 16:43:22 +0300, Alexander Monakov wrote: > On Tue, 19 Apr 2016, Jakub Jelinek wrote: > > On Tue, Apr 19, 2016 at 04:01:06PM +0200, Thomas Schwinge wrote: > > > [...] Alexander's much smaller patch with subject: "libgomp plugin: make > > >

Re: [PATCH, i386, AVX-512] Fix PR target/70728.

2016-04-21 Thread Kirill Yukhin
Hello, On 21 Apr 14:50, Kirill Yukhin wrote: > Hello, > Patch in the bottom fixes mentioned PR by separating > AVX and AVX-512BW constraints. > > gcc/ > * gcc/config/i386/sse.md (define_insn "3"): > Extract AVX-512BW constraint from AVX. > gcc/testsuite/ > *

Re: [PATCH] Fix ICE in predicate_mem_writes (PR tree-optimization/70725)

2016-04-21 Thread Marek Polacek
On Thu, Apr 21, 2016 at 04:19:12PM +0100, Bin.Cheng wrote: > On Thu, Apr 21, 2016 at 4:13 PM, Marek Polacek wrote: > > On Wed, Apr 20, 2016 at 11:57:23AM -0700, H.J. Lu wrote: > >> On Wed, Apr 20, 2016 at 4:19 AM, Marek Polacek wrote: > >> It leads to ICE

Re: [PATCH] Fix ICE in predicate_mem_writes (PR tree-optimization/70725)

2016-04-21 Thread Bin.Cheng
On Thu, Apr 21, 2016 at 4:13 PM, Marek Polacek wrote: > On Wed, Apr 20, 2016 at 11:57:23AM -0700, H.J. Lu wrote: >> On Wed, Apr 20, 2016 at 4:19 AM, Marek Polacek wrote: >> It leads to ICE on 32-bit x86 host: >> >>

Re: [PATCH] Fix ICE in predicate_mem_writes (PR tree-optimization/70725)

2016-04-21 Thread Marek Polacek
On Wed, Apr 20, 2016 at 11:57:23AM -0700, H.J. Lu wrote: > On Wed, Apr 20, 2016 at 4:19 AM, Marek Polacek wrote: > It leads to ICE on 32-bit x86 host: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70725#c8 I can't reproduce with gcc-6: $ xgcc-6 -O3 -march=skylake-avx512

Re: [PATCH] Fix PR70725 (followup to Mareks patch)

2016-04-21 Thread Bin.Cheng
On Thu, Apr 21, 2016 at 3:12 PM, Richard Biener wrote: > On Thu, 21 Apr 2016, Jakub Jelinek wrote: > >> On Thu, Apr 21, 2016 at 02:20:34PM +0200, Richard Biener wrote: >> > >> > The following fixes the followup ICEs in the testcase for PR70725 >> > where Markes patch only fixed

[4.9/5/6: PATCH] Replace -skip-rax-setup with -mskip-rax-setup

2016-04-21 Thread H.J. Lu
On Wed, Apr 20, 2016 at 5:56 AM, H.J. Lu wrote: > This fixed a typo. Checked into trunk. > > H.J. > --- > Index: gcc/ChangeLog > === > --- gcc/ChangeLog (revision 235274) > +++ gcc/ChangeLog

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 6:59 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 3:54 PM, H.J. Lu wrote: >> On Thu, Apr 21, 2016 at 6:48 AM, Uros Bizjak wrote: >>> On Thu, Apr 21, 2016 at 3:43 PM, H.J. Lu wrote:

[PATCH] Avoid allocating garbage GIMPLE_NOPs at LTO stream in time

2016-04-21 Thread Richard Biener
The following avoids allocating a GIMPLE_NOP as a def for all SSA names (we stream stmts and adjust SSA_NAME_DEF_STMT later). This requires us to make sure we do not have unused SSA names around which we can easily achieve at stream-out time - otherwise passes walking over all SSA names

Re: [PATCH] add support for placing variables in shared memory

2016-04-21 Thread Alexander Monakov
On Thu, 21 Apr 2016, Nathan Sidwell wrote: > On 04/20/16 12:58, Alexander Monakov wrote: > > Allow using __attribute__((shared)) to place static variables in '.shared' > > memory space. > > What is the rationale for a new attribute, rather than leveraging the existing > section(".shared")

[Ping] [C++ Patch] PR 70540 ("[4.9/5/6 Regression] ICE on invalid code in cxx_incomplete_type_diagnostic...")

2016-04-21 Thread Paolo Carlini
Hi, On 14/04/2016 11:50, Paolo Carlini wrote: Hi, in this regression we ICE during error recovery after an additional redundant error message. I think it's one of those cases (we have got quite a few elsewhere, in semantics.c too) when it's better to immediately return error_mark_node when

Re: [PATCH] Fix PR70725 (followup to Mareks patch)

2016-04-21 Thread Richard Biener
On Thu, 21 Apr 2016, Jakub Jelinek wrote: > On Thu, Apr 21, 2016 at 02:20:34PM +0200, Richard Biener wrote: > > > > The following fixes the followup ICEs in the testcase for PR70725 > > where Markes patch only fixed the first one. > > > > Bootstrapped on x86_64-unknown-linux-gnu, testing in

Re: [PATCH] nvptx per-warp compiler-defined stacks (-msoft-stack)

2016-04-21 Thread Nathan Sidwell
On 04/20/16 12:59, Alexander Monakov wrote: This patch implements per-warp compiler-defined stacks under -msoft-stack option, and implements alloca on top of that. In a few obvious places, changes from -muniform-simt patch are present in the hunks. It'd be better to not mix fragments of

Re: [PATCH] opts-global.c: Include gimple.h for LAST_AND_UNUSED_GIMPLE_CODE.

2016-04-21 Thread Khem Raj
On Thu, Apr 21, 2016 at 3:33 AM, Alexander Monakov wrote: > On Wed, 20 Apr 2016, Khem Raj wrote: > >> gcc/: >> 2016-04-16 Khem Raj >> >> * opts-global.c: Include gimple.h for LAST_AND_UNUSED_GIMPLE_CODE. >> >> Fixes build errors e.g. >> >> | >>

Re: [PATCH] add support for placing variables in shared memory

2016-04-21 Thread Nathan Sidwell
On 04/20/16 12:58, Alexander Monakov wrote: Allow using __attribute__((shared)) to place static variables in '.shared' memory space. What is the rationale for a new attribute, rather than leveraging the existing section(".shared") machinery? + else if (current_function_decl &&

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 3:54 PM, H.J. Lu wrote: > On Thu, Apr 21, 2016 at 6:48 AM, Uros Bizjak wrote: >> On Thu, Apr 21, 2016 at 3:43 PM, H.J. Lu wrote: >>> On Thu, Apr 21, 2016 at 6:33 AM, Uros Bizjak wrote:

Re: C++ PATCH to fix a part of c++/70513 (ICE-on-invalid with enums)

2016-04-21 Thread Jason Merrill
On 04/21/2016 07:35 AM, Marek Polacek wrote: + permerror (type_start_token->location, +"extra qualification not allowed"); + type = error_mark_node; If we're using permerror, we shouldn't set type to error_mark_node; if we do that, -fpermissive

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 6:48 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 3:43 PM, H.J. Lu wrote: >> On Thu, Apr 21, 2016 at 6:33 AM, Uros Bizjak wrote: >>> On Thu, Apr 21, 2016 at 2:59 PM, H.J. Lu wrote: >>>

Re: [PATCH][wwwdocs] Add deprecation of pre-ARMv4T architectures to the release notes

2016-04-21 Thread Gerald Pfeifer
On Thu, 21 Apr 2016, Kyrill Tkachov wrote: This patch lists the -mcpu and -march values that are deprecated for GCC 6. Joel indicated that it would be useful to enumerate them all. Yes, this is very useful. Thank you! Ok to commit? Yep from my side. (Perhaps a native speaker can help us

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 3:43 PM, H.J. Lu wrote: > On Thu, Apr 21, 2016 at 6:33 AM, Uros Bizjak wrote: >> On Thu, Apr 21, 2016 at 2:59 PM, H.J. Lu wrote: >> We know, that const_int (-1) is allowed with TARGET_SSE2 and that

Re: gomp_target_fini

2016-04-21 Thread Alexander Monakov
On Tue, 19 Apr 2016, Jakub Jelinek wrote: > On Tue, Apr 19, 2016 at 04:01:06PM +0200, Thomas Schwinge wrote: > > Two other solutions have been proposed in the past months: Chung-Lin's > > patches with subject: "Adjust offload plugin interface for avoiding > > deadlock on exit", later: "Resolve

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 6:33 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 2:59 PM, H.J. Lu wrote: > >>> We know, that const_int (-1) is allowed with TARGET_SSE2 and that >>> const_wide_int (-1) is allowed with TARGET_AVX2. Probably we don't >>> have to

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 2:59 PM, H.J. Lu wrote: >> We know, that const_int (-1) is allowed with TARGET_SSE2 and that >> const_wide_int (-1) is allowed with TARGET_AVX2. Probably we don't >> have to check AVX512F in standard_sse_constant_p, as it implies >> TARGET_AVX2. >> >>

[PATCH][wwwdocs] Add deprecation of pre-ARMv4T architectures to the release notes

2016-04-21 Thread Kyrill Tkachov
Hi all, This patch lists the -mcpu and -march values that are deprecated for GCC 6. Joel indicated that it would be useful to enumerate them all. Ok to commit? Thanks, Kyrill Index: htdocs/gcc-6/changes.html === RCS file:

Re: [PATCH] libffi testsuite: Use split to ensure valid tcl list

2016-04-21 Thread Jakub Jelinek
On Thu, Apr 21, 2016 at 02:21:07PM +0200, Thomas Schwinge wrote: > Hi! > > Jakub, ping for gcc-6-branch (or, are you seeing useful libffi testing > results there?); I understand Mike's emails to mean that he's approved > the patch for trunk, so I'll commit it there, soon. > > I also filed this

Re: [PATCH] Fix PR70725 (followup to Mareks patch)

2016-04-21 Thread Jakub Jelinek
On Thu, Apr 21, 2016 at 02:20:34PM +0200, Richard Biener wrote: > > The following fixes the followup ICEs in the testcase for PR70725 > where Markes patch only fixed the first one. > > Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. > > Jakub - the patch should be safe in that

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 5:15 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 1:54 PM, H.J. Lu wrote: >> On Thu, Apr 21, 2016 at 3:18 AM, Uros Bizjak wrote: >>> On Thu, Apr 21, 2016 at 9:42 AM, Uros Bizjak wrote:

[PATCH][RFC] Gimplify "into SSA"

2016-04-21 Thread Richard Biener
The following patch makes us not allocate decls but SSA names for temporaries required during gimplification. This is basically the same thing as we do when calling the gimplifier on GENERIC expressions from optimization passes (when we are already in SSA). There are two benefits of doing this.

Re: [PATCH] libffi testsuite: Use split to ensure valid tcl list

2016-04-21 Thread Thomas Schwinge
Hi! Jakub, ping for gcc-6-branch (or, are you seeing useful libffi testing results there?); I understand Mike's emails to mean that he's approved the patch for trunk, so I'll commit it there, soon. I also filed this as ; no reaction so far. On Thu, 25

[PATCH] Fix PR70725 (followup to Mareks patch)

2016-04-21 Thread Richard Biener
The following fixes the followup ICEs in the testcase for PR70725 where Markes patch only fixed the first one. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Jakub - the patch should be safe in that any testcase running into the changed paths now would have caused SSA

[PATCH, www] Fix typo in htdocs/develop.html

2016-04-21 Thread Kirill Yukhin
Hello, This looks like a typo to me. GCC 6 Stage 4 (starts 2016-01-20)GCC 5.3 release (2015-12-04) | +-- GCC 5 branch created + | \ v v Patch in the bottom. Is it ok to install? --

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 1:54 PM, H.J. Lu wrote: > On Thu, Apr 21, 2016 at 3:18 AM, Uros Bizjak wrote: >> On Thu, Apr 21, 2016 at 9:42 AM, Uros Bizjak wrote: >>> On Thu, Apr 21, 2016 at 9:37 AM, Uros Bizjak wrote:

Re: [PATCH][PR sanitizer/70624] Fix 'dyld: Symbol not found: _dyldVersionNumber' link error on old Darwin systems.

2016-04-21 Thread Jakub Jelinek
On Thu, Apr 21, 2016 at 02:52:12PM +0300, Maxim Ostapenko wrote: > Hi, > > On older Darwin systems (in particular, Darwin 10), dyld doesn't export > '_dyldVersionNumber' symbol so we would have 'undefined reference' error in > sanitizer library. We can mitigate this by introducing weak reference

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread H.J. Lu
On Thu, Apr 21, 2016 at 3:18 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 9:42 AM, Uros Bizjak wrote: >> On Thu, Apr 21, 2016 at 9:37 AM, Uros Bizjak wrote: >>> On Wed, Apr 20, 2016 at 9:53 PM, H.J. Lu wrote:

[PATCH][PR sanitizer/70624] Fix 'dyld: Symbol not found: _dyldVersionNumber' link error on old Darwin systems.

2016-04-21 Thread Maxim Ostapenko
Hi, On older Darwin systems (in particular, Darwin 10), dyld doesn't export '_dyldVersionNumber' symbol so we would have 'undefined reference' error in sanitizer library. We can mitigate this by introducing weak reference to '_dyldVersionNumber' and bailing out if == 0. Tested by Dominique

[PATCH, i386, AVX-512] Fix PR target/70728.

2016-04-21 Thread Kirill Yukhin
Hello, Patch in the bottom fixes mentioned PR by separating AVX and AVX-512BW constraints. gcc/ * gcc/config/i386/sse.md (define_insn "3"): Extract AVX-512BW constraint from AVX. gcc/testsuite/ * gcc.target/i386/pr70728.c: New test. Bootsrap and regtest is in progress for

Inline across -ffast-math boundary

2016-04-21 Thread Jan Hubicka
Hi, this patch implements the long promised logic to inline across -ffast-math boundary when eitehr caller or callee has no fp operations in it. This is needed to resolve code quality regression on Firefox with LTO where -O3/-O2/-Ofast flags are combined and we fail to inline a lot of comdats

[PATCHv2 4/7] gcc/arc: Add support for nps400 cmem xld/xst instructions

2016-04-21 Thread Andrew Burgess
This commit adds support for NPS400 cmem memory sections. Data to be placed into cmem memory is placed into a section ".cmem", ".cmem_shared", or ".cmem_private". There are restrictions on how instructions can be used to operate on data held in cmem memory, this is reflected by the introduction

[PATCHv2 5/7] gcc/arc: Add nps400 bitops support

2016-04-21 Thread Andrew Burgess
Add support for nps400 bit operation instructions. There's a new flag -mbitops that turns this feature on. There are new instructions, some changes to existing instructions, a new register class to support the new instructions, and some new expand and peephole optimisations. gcc/ChangeLog:

[PATCHv2 7/7] gcc/arc: Add an nps400 specific testcase

2016-04-21 Thread Andrew Burgess
This test case triggered a bug caused by VOIDmode not being handled in proper_comparison_operator, this problem was fixed with a commit on 2016-01-27 by Claudiu Zissulescu, adding this test case for coverage. gcc/testsuite/ChangeLog: * gcc.target/arc/nps400-1.c: New file. ---

[PATCHv2 3/7] gcc/arc: convert some constraints to define_constraint

2016-04-21 Thread Andrew Burgess
The define_memory_constraint allows for the address operand to be reloaded into a base register. However, for the constraints 'Us<' and 'Us>', which are used for matching 'push' and 'pop' instructions moving the address into a base register is not helpful. The constraints then should be

[PATCHv2 1/7] gcc/arc: Add support for nps400 cpu type.

2016-04-21 Thread Andrew Burgess
The nps400 is an arc700 with a set of extension instructions produced by Mellanox (formally EZChip). This commit adds support for the nps400 architecture to the arc backend. After this commit it is possible to compile using -mcpu=nps400 in order to specialise for the nps400. Later commits add

[PATCHv2 6/7] gcc/arc: Mask integer 'L' operands to 32-bit

2016-04-21 Thread Andrew Burgess
When formatting 'L' operands (least significant word) only print 32-bits, don't sign extend to 64-bits. This commit could really be applied directly to the current GCC trunk, however, the only test I have for this issue right now relies on the nps400 bitops support. gcc/ChangeLog: *

[PATCHv2 2/7] gcc/arc: Replace rI constraint with r & Cm2 for ld and update insns

2016-04-21 Thread Andrew Burgess
In the load*_update instructions the constraint 'rI' was being used, which would accept either a register or a signed 12 bit constant. The problem is that the 32-bit form of ld with update only takes a signed 9-bit immediate. As such, some ld instructions could be generated that would, when

[PATCHv2 0/7] ARC: Add support for nps400 variant

2016-04-21 Thread Andrew Burgess
This new iteration of the previous version is largely the same except that I now no longer use configure time options to build in support for nps400. Instead support controlled with a -mcpu=nps400 command line switch. This change was made to mirror a similar change that was requested when I

Re: [PATCH][combine] Check WORD_REGISTER_OPERATIONS normally rather than through preprocessor

2016-04-21 Thread Jeff Law
On 04/18/2016 03:33 AM, Kyrill Tkachov wrote: Hi Jeff, On 17/04/16 21:16, Jeff Law wrote: On 12/15/2015 10:07 AM, Kyrill Tkachov wrote: Hi all, As part of the war on conditional compilation here's an #if check on WORD_REGISTER_OPERATIONS that seems to have been missed out. Bootstrapped and

Re: C++ PATCH to fix a part of c++/70513 (ICE-on-invalid with enums)

2016-04-21 Thread Marek Polacek
On Wed, Apr 20, 2016 at 11:33:55AM -0400, Jason Merrill wrote: > On 04/08/2016 07:51 AM, Marek Polacek wrote: > >By the template part of this PR I mean that we ICE on > > > >template > >class D > >{ > > enum D::A { foo } c; > >}; > > > >where clang++ says > >error: template specialization or

Re: patch to fix PR70689

2016-04-21 Thread Jiong Wang
On 21/04/16 09:45, Jiong Wang wrote: On 19/04/16 03:54, Vladimir N Makarov wrote: The following patch fixes https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70689 The patch was successfully tested and bootstrapped on x86/x86-64. Committed to the trunk as rev. 235184. This caused the

Re: [RFC][PATCH][PR40921] Convert x + (-y * z * z) into x - y * z * z

2016-04-21 Thread kugan
Hi Richard, On 19/04/16 22:11, Richard Biener wrote: On Tue, Apr 19, 2016 at 1:36 PM, Richard Biener wrote: On Tue, Apr 19, 2016 at 1:35 PM, Richard Biener wrote: On Mon, Feb 29, 2016 at 11:53 AM, kugan

[PATCH] Fix PR70740

2016-04-21 Thread Richard Biener
I am testing the following patch to fix PR70740. Bootstrap/regtest running on x86_64-unknown-linux-gnu. Richard. 2016-04-21 Richard Biener PR tree-optimization/70740 * tree-ssa-phiprop.c (propagate_with_phi): Handle inserted VDEF. *

Re: match.pd patch: min(-x, -y), min(~x, ~y)

2016-04-21 Thread Richard Biener
On Thu, Apr 21, 2016 at 12:32 PM, Marc Glisse wrote: > Hello, > > another simple transformation. > > Instead of the ":s", I had single_use (@2) || single_use (@3), but changed > it for simplicity. There may be some patterns in match.pd where we want > something like that

Re: [PATCH] opts-global.c: Include gimple.h for LAST_AND_UNUSED_GIMPLE_CODE.

2016-04-21 Thread Alexander Monakov
On Wed, 20 Apr 2016, Khem Raj wrote: > gcc/: > 2016-04-16 Khem Raj > > * opts-global.c: Include gimple.h for LAST_AND_UNUSED_GIMPLE_CODE. > > Fixes build errors e.g. > > | > ../../../../../../../work-shared/gcc-6.0.0-r0/git/gcc/lto-streamer.h:159:34: > error:

match.pd patch: min(-x, -y), min(~x, ~y)

2016-04-21 Thread Marc Glisse
Hello, another simple transformation. Instead of the ":s", I had single_use (@2) || single_use (@3), but changed it for simplicity. There may be some patterns in match.pd where we want something like that though, as requiring single_use on many expressions may be stricter than we need. We

Re: [PATCH] Allow all 1s of integer as standard SSE constants

2016-04-21 Thread Uros Bizjak
On Thu, Apr 21, 2016 at 9:42 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 9:37 AM, Uros Bizjak wrote: >> On Wed, Apr 20, 2016 at 9:53 PM, H.J. Lu wrote: >>> Since all 1s in TImode is standard SSE2 constants, all 1s in OImode is >>>

Re: [PATCH] vrp: remove rendundant has_single_use tests

2016-04-21 Thread Richard Biener
On Thu, Apr 21, 2016 at 2:47 AM, Patrick Palka wrote: > On Wed, Apr 20, 2016 at 6:45 PM, Patrick Palka wrote: >> During assert-location discovery, if an SSA name is live according to >> live_on_edge() on some outgoing edge E, then the SSA name

Re: [PATCH] opts-global.c: Include gimple.h for LAST_AND_UNUSED_GIMPLE_CODE.

2016-04-21 Thread Richard Biener
On Thu, Apr 21, 2016 at 4:23 AM, Khem Raj wrote: > gcc/: > 2016-04-16 Khem Raj > > * opts-global.c: Include gimple.h for LAST_AND_UNUSED_GIMPLE_CODE. > > Fixes build errors e.g. > > | >

Re: [PATCH] vrp: remove rendundant has_single_use tests

2016-04-21 Thread Richard Biener
On Thu, Apr 21, 2016 at 12:45 AM, Patrick Palka wrote: > During assert-location discovery, if an SSA name is live according to > live_on_edge() on some outgoing edge E, then the SSA name definitely has > at least two uses: the use on the outgoing edge, and the use in some BB

[Ada] Detection of missing abstract state refinement

2016-04-21 Thread Arnaud Charlet
This patch implements a mechanism which detects missing refinement of abstract states depending on whether a package requires a completing body or not. The patch also cleans up the two entity lists used to store refinement and Part_Of constituents of abstract states. -- Source --

[Ada] Incorrect result of equality on multidimensional packed arrays

2016-04-21 Thread Arnaud Charlet
This patch corrects an oversight in the computation of size of multidimensional packed arrays. Previously to this patch only the first dimension was used to determine the number of storage units to compare. Executing gnatmake -q equality.adb equality must yield Success - comparison

[PATCH] Fix PR70747

2016-04-21 Thread Richard Biener
I am testing the following (obvious) patch to fix PR70747. Richard. 2016-04-21 Richard Biener PR middle-end/70747 * fold-const.c (fold_comparison): Return properly typed constant boolean. * gcc.dg/pr70747.c: New testcase. Index:

[Ada] Minimizing recompilation with multiple limited_with clauses

2016-04-21 Thread Arnaud Charlet
This patch simplifies the contents of Ali files, but removing from it dependency lines that denote units that are not analyzed, because they only appear in the context of units named in limited_with clauses. The following must execute quietly: gcc -c -gnatc a_things.ads grep c_things

[Ada] Improved exception message for Host_Error

2016-04-21 Thread Arnaud Charlet
GNAT.Sockets.Host_Error is the exception raised when a host name or address lookup fails. This change improves the associated exception message by including the offending name or address The following test case must display: raised GNAT.SOCKETS.HOST_ERROR : [1] Host not found: nonexistent-host

Re: match.pd patch: max(int_min, x)->x

2016-04-21 Thread Richard Biener
On Wed, Apr 20, 2016 at 8:44 PM, Marc Glisse wrote: > Hello, > > this simple transformation is currently done in RTL, sometimes also in VRP > if we have any kind of range information (even on the wrong side, but not > with VR_VARYING). It seems more natural to complete the

Re: [PATCH PR70715]Expand simple operations in IV.base and check if it's the control_IV

2016-04-21 Thread Richard Biener
On Wed, Apr 20, 2016 at 5:08 PM, Bin Cheng wrote: > Hi, > As reported in PR70715, GCC failed to prove no-overflows of IV([n]) for > simple example like: > int > foo (char *p, unsigned n) > { > while(n--) > { > p[n]='A'; > } > return 0; > } > Actually, code

[Ada] Minor changes to warning message for exe filenames on Windows

2016-04-21 Thread Arnaud Charlet
Change wording of the warning message on problematic filenames to be more neutral. Add a new substring "patch" introduced on Windows 10. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-04-21 Vasiliy Fofanov * gnatlink.adb: Change wording of the warning

Re: patch to fix PR70689

2016-04-21 Thread Jiong Wang
On 19/04/16 03:54, Vladimir N Makarov wrote: The following patch fixes https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70689 The patch was successfully tested and bootstrapped on x86/x86-64. Committed to the trunk as rev. 235184. This caused the following regression on trunk FAIL: gcc:

[Ada] Freezing a subprogram does not always freeze its profile

2016-04-21 Thread Arnaud Charlet
AI05-019 specifies the conditions under which freezing a subprogram also freezes the profile of the subprogram. Prior to this patch the profile was frozen unconditionally, leading to spurious errors. Examples in ACATS test BDD2004. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-04-21

[Ada] Improved handling of rep item chains

2016-04-21 Thread Arnaud Charlet
This patch is an internal improvement to the handling of rep item chains of types. The inheritance of rep item chains can how avoid potential cycles. No need for a test, no change in behavior. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-04-21 Hristian Kirtchev

[Ada] Spurious errors with generalized iterators

2016-04-21 Thread Arnaud Charlet
This patch fixes some spurious errors in a generalized iterator over a user- defined container, when the first parameter of the Iterate function is an access parameter, and the iterator type is locally derived. Executing; gnatmake -q ausprobieren.adb ausprobieren must yield: 5

  1   2   >