Re: [PATCH] More compile-time saving in BB vectorization

2015-11-13 Thread Christophe Lyon
On 12 November 2015 at 21:04, Christophe Lyon wrote: > On 12 November 2015 at 16:49, Andreas Schwab wrote: >> Richard Biener writes: >> >>> * tree-vectorizer.h (vect_slp_analyze_and_verify_instance_alignment): >>> Declare. >>> (vect_analyze_data_refs_alignment): Make loop vect

Re: [patch] libstdc++/56158 Extend valid values of iostream bitmask types

2015-11-13 Thread Jonathan Wakely
On 12/11/15 11:09 -0700, Martin Sebor wrote: On 11/12/2015 10:08 AM, Jonathan Wakely wrote: On 12/11/15 08:48 -0700, Martin Sebor wrote: On 11/11/2015 02:48 AM, Jonathan Wakely wrote: As described in the PR, we have operator~ overloads defined for enumeration types which produce values outside

[PATCH] Avoid useless work in loop vectorization

2015-11-13 Thread Richard Biener
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2015-11-13 Richard Biener * tree-vect-loop.c (vect_analyze_loop_2): Add fatal parameter. Signal fatal failure if early checks fail. (vect_analyze_loop): If vect_analyze_loop_2 fails fatall

Re: [PATCH, 4/16] Implement -foffload-alias

2015-11-13 Thread Richard Biener
On Thu, 12 Nov 2015, Tom de Vries wrote: > On 11/11/15 12:00, Jakub Jelinek wrote: > > On Wed, Nov 11, 2015 at 11:51:02AM +0100, Richard Biener wrote: > > > > The option -foffload-alias=pointer instructs the compiler to assume that > > > > objects references in an offload region do not alias. > >

Re: [committed] gen-pass-instances.awk: Simplify match regexp in handle_line

2015-11-13 Thread Thomas Schwinge
Hi Tom! As I happend to see this, and have a number of older build trees around: On Thu, 12 Nov 2015 11:09:04 +0100, Tom de Vries wrote: > this patch [and another dozen of such patches before] simplifies [...] in > gen-pass-instances.awk. > > Committed to trunk as trivial. Supposing this was

Re: [patch] libstdc++/56158 Extend valid values of iostream bitmask types

2015-11-13 Thread Jonathan Wakely
On 13/11/15 08:39 +, Jonathan Wakely wrote: On 12/11/15 11:09 -0700, Martin Sebor wrote: On 11/12/2015 10:08 AM, Jonathan Wakely wrote: On 12/11/15 08:48 -0700, Martin Sebor wrote: On 11/11/2015 02:48 AM, Jonathan Wakely wrote: As described in the PR, we have operator~ overloads defined f

Re: [PATCH, 11/16] Update testcases after adding kernels pass group

2015-11-13 Thread Richard Biener
On Thu, 12 Nov 2015, David Malcolm wrote: > On Thu, 2015-11-12 at 15:43 +0100, Richard Biener wrote: > > On Thu, Nov 12, 2015 at 3:31 PM, Tom de Vries > > wrote: > > > On 11/11/15 12:03, Richard Biener wrote: > > >> > > >> On Mon, 9 Nov 2015, Tom de Vries wrote: > > >> > > >>> On 09/11/15 16:35,

[gomp4] Merge trunk r230255 (2015-11-12) into gomp-4_0-branch

2015-11-13 Thread Thomas Schwinge
Hi! Committed to gomp-4_0-branch in r230293: commit 679edb57a2d0826d2965ba5d61ef11df0e3b23bf Merge: 6ec2634 0ebb8b2 Author: tschwinge Date: Fri Nov 13 09:21:42 2015 + svn merge -r 230169:230255 svn+ssh://gcc.gnu.org/svn/gcc/trunk git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc

Re: [PATCH 1/2] simplify-rtx: Simplify trunc of and of shiftrt

2015-11-13 Thread Uros Bizjak
Hello! > 2015-11-09 Segher Boessenkool > > * gcc/simplify-rtx.c (simplify_truncation): Simplify TRUNCATE > of AND of [LA]SHIFTRT. Revision r230164 (the above patch) regressed: FAIL: gcc.target/alpha/pr42269-1.c scan-assembler-not addl on alpha-linux-gnu. The difference starts in combine, wh

Re: [PATCH] Avoid false vector mask conversion

2015-11-13 Thread Richard Biener
On Thu, Nov 12, 2015 at 5:08 PM, Ilya Enkovich wrote: > Hi, > > When we use LTO for fortran we may have a mix 32bit and 1bit scalar booleans. > It means we may have conversion of one scalar type to another which confuses > vectorizer because values with different scalar boolean type may get the

Re: [PATCH][combine][RFC] Don't transform sign and zero extends inside mults

2015-11-13 Thread Kyrill Tkachov
Hi all, On 10/11/15 19:53, Segher Boessenkool wrote: On Mon, Nov 09, 2015 at 03:51:32AM -0600, Segher Boessenkool wrote: >From the original patch submission, it looks that this patch would also benefit x86_32. Yes, that is what I thought too. Regarding the above code size increase - do you

Re: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-13 Thread Richard Biener
On Thu, Nov 12, 2015 at 10:57 PM, Jeff Law wrote: > On 11/12/2015 11:32 AM, Jeff Law wrote: >> >> On 11/12/2015 10:05 AM, Jeff Law wrote: But IIRC you mentioned it should enable vectorization or so? In this case that's obviously too late. >>> >>> The opposite. Path splitting

[AArch64] Cortex-A57 Choose some new branch costs.

2015-11-13 Thread James Greenhalgh
Hi, With all the work that has recently gone in to ifcvt, I thought I'd revisit the branch cost settings for Cortex-A57. After a run of experiments [1], I found {1, 3} to be the sweet spot, giving a small set of performance improvements across some popular benchmarks. I'd therefore like to propo

Add out-of-line versions of some functions (PR c/65083)

2015-11-13 Thread Joseph Myers
PR c/65083 notes that some functions in are normal functions, not generic functions, and so need to have out-of-line copies that can be called when macro expansion is suppressed (unlike the generic functions where DR#419 makes it undefined if you suppress a macro expansion). This patch adds such

Re: [PATCH][combine][RFC] Don't transform sign and zero extends inside mults

2015-11-13 Thread Uros Bizjak
On Fri, Nov 13, 2015 at 11:10 AM, Kyrill Tkachov wrote: > Hi all, > > On 10/11/15 19:53, Segher Boessenkool wrote: >> >> On Mon, Nov 09, 2015 at 03:51:32AM -0600, Segher Boessenkool wrote: >From the original patch submission, it looks that this patch would also benefit x86_32. >>> >

Re: [RFC, Patch]: Optimized changes in the register used inside loop for LICM and IVOPTS.

2015-11-13 Thread Richard Biener
On Fri, Nov 13, 2015 at 7:31 AM, Bin.Cheng wrote: > On Fri, Nov 13, 2015 at 2:13 PM, Jeff Law wrote: >> On 10/07/2015 10:32 PM, Ajit Kumar Agarwal wrote: >> >>> >>> 0001-RFC-Patch-Optimized-changes-in-the-register-used-ins.patch >>> >>> >>> From f164fd80953f3cffd96a492c8424c83290cd43cc Mon Sep 1

Re: [gomp4.5] depend nowait support for target

2015-11-13 Thread Jakub Jelinek
On Thu, Nov 12, 2015 at 11:51:33PM +0300, Ilya Verbin wrote: > I'm unable to reproduce the hang (have tried various values of > OMP_NUM_THREADS). > The testcase just aborts at (a != 50 || b != 4 || c != 20), because > a == 37, b == 12, c == 40. The hang has been with a fprintf (stderr, "...\n");

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

2015-11-13 Thread Christophe Lyon
On 12 November 2015 at 23:18, Christophe Lyon wrote: > On 6 November 2015 at 21:29, Christophe Lyon > wrote: >> On 4 November 2015 at 13:16, Ramana Radhakrishnan >> wrote: >>> On Fri, Oct 30, 2015 at 2:42 PM, Christophe Lyon >>> wrote: On 30 October 2015 at 15:33, Ramana Radhakrishnan >>>

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

2015-11-13 Thread Kyrill Tkachov
Hi Christophe, On 13/11/15 10:24, Christophe Lyon wrote: On 12 November 2015 at 23:18, Christophe Lyon wrote: On 6 November 2015 at 21:29, Christophe Lyon wrote: On 4 November 2015 at 13:16, Ramana Radhakrishnan wrote: On Fri, Oct 30, 2015 at 2:42 PM, Christophe Lyon wrote: On 30 October

Re: [committed] gen-pass-instances.awk: Simplify match regexp in handle_line

2015-11-13 Thread Tom de Vries
On 13/11/15 09:58, Thomas Schwinge wrote: Hi Tom! As I happend to see this, and have a number of older build trees around: On Thu, 12 Nov 2015 11:09:04 +0100, Tom de Vries wrote: this patch [and another dozen of such patches before] simplifies [...] in gen-pass-instances.awk. Committed to tr

Re: [PATCH] RFC: Enable graphite at -O3 -fprofile_use

2015-11-13 Thread Richard Biener
Sorry for not replying earlier, it seems gmail eats messages sometimes (thus also not replying to the mail directly). You write > Since graphite will not modify the CFG when it does not do any optimization, > we would like to propose that graphite's polyhedral optimizer be enabled at > -O3 -fp

Re: [PATCH][GCC] Make stackalign test LTO proof

2015-11-13 Thread Richard Biener
On Thu, Nov 12, 2015 at 4:07 PM, Andre Vieira wrote: > Hi, > > This patch changes this testcase to make sure LTO will not optimize away > the assignment of the local array to a global variable which was introduced > to make sure stack space was made available for the test to work. > > This is

Re: [RFC] Remove first_pass_instance from pass_vrp

2015-11-13 Thread Richard Biener
On Thu, Nov 12, 2015 at 4:33 PM, David Malcolm wrote: > On Thu, 2015-11-12 at 15:06 +0100, Richard Biener wrote: >> On Thu, Nov 12, 2015 at 3:04 PM, Richard Biener >> wrote: >> > On Thu, Nov 12, 2015 at 2:49 PM, Tom de Vries >> > wrote: >> >> On 12/11/15 13:26, Richard Biener wrote: >> >>> >> >

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

2015-11-13 Thread 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 scalar epilogue elimination. The part related to vectorization of loops with small trip count is in process of developing. Note that implemented

Re: [PATCH] Fix ICE for boolean comparison

2015-11-13 Thread Richard Biener
On Thu, Nov 12, 2015 at 4:44 PM, Ilya Enkovich wrote: > Hi, > > Currently compiler may ICE when loaded boolean is compared with vector > invariant or another boolean value. This is because we don't detect mix of > bool and non-bool vectypes and incorrectly determine vectype for boolean loop >

Re: [AArch64] Cortex-A57 Choose some new branch costs.

2015-11-13 Thread Richard Biener
On Fri, Nov 13, 2015 at 11:13 AM, James Greenhalgh wrote: > > Hi, > > With all the work that has recently gone in to ifcvt, I thought I'd revisit > the branch cost settings for Cortex-A57. After a run of experiments [1], > I found {1, 3} to be the sweet spot, giving a small set of performance > im

PR68264: Use unordered comparisons for tree-call-cdce.c

2015-11-13 Thread Richard Sandiford
As reported in PR 68264, tree-call-cdce.c should be using unordered comparisons for the range checks, in order to avoid raising FE_INVALID for quiet NaNs. Tested on x86_64-linux-gnu and aarch64-linux-gnu. The test failed on aarch64-linux-gnu before the patch, but it didn't on x86_64-linux-gnu bec

Re: [Patch] Optimize condition reductions where the result is an integer induction variable

2015-11-13 Thread Alan Hayward
On 12/11/2015 10:53, "Richard Biener" wrote: >On Wed, Nov 11, 2015 at 7:54 PM, Alan Hayward >wrote: >> >> >> On 11/11/2015 13:25, "Richard Biener" >>wrote: >> >>>On Wed, Nov 11, 2015 at 1:22 PM, Alan Hayward >>>wrote: Hi, I hoped to post this in time for Monday’s cut off date, but

Re: [PATCH] Fix ICE for boolean comparison

2015-11-13 Thread Ilya Enkovich
2015-11-13 13:38 GMT+03:00 Richard Biener : > On Thu, Nov 12, 2015 at 4:44 PM, Ilya Enkovich wrote: >> Hi, >> >> Currently compiler may ICE when loaded boolean is compared with vector >> invariant or another boolean value. This is because we don't detect mix of >> bool and non-bool vectypes and

Re: [PATCH, 4/16] Implement -foffload-alias

2015-11-13 Thread Tom de Vries
On 13/11/15 09:46, Richard Biener wrote: On Thu, 12 Nov 2015, Tom de Vries wrote: On 11/11/15 12:00, Jakub Jelinek wrote: On Wed, Nov 11, 2015 at 11:51:02AM +0100, Richard Biener wrote: The option -foffload-alias=pointer instructs the compiler to assume that objects references in an offload r

[patch] GSoC: Implement std::experimental::shared_ptr

2015-11-13 Thread Jonathan Wakely
This is the other piece of work done by Fan You for the Google Summer of Code (and mentored by Tim). This implements experimental::shared_ptr from the Library Fundamentals TS, which differs from std::shared_ptr by supporting arrays, i.e. shared_ptr and shared_ptr behave correctly, using delete[]

RE: gcc-6/changes.html : Document AMD znver1

2015-11-13 Thread Kumar, Venkataramanan
I committed it on behalf of Victoria. Regards, Venkat. > -Original Message- > From: Gerald Pfeifer [mailto:ger...@pfeifer.com] > Sent: Friday, November 13, 2015 1:08 AM > To: Stepanyan, Victoria > Cc: gcc-patches@gcc.gnu.org; ubiz...@gmail.com; rguent...@suse.de; > Kumar, Venkataramanan

[patch] Generate DW_AT_endianity in DWARF 3 or above

2015-11-13 Thread Eric Botcazou
Hi, this patch makes the compiler generate the DW_AT_endianity attribute in DWARF 3 or above in conjunction with the scalar_storage_order attribute, namely when the latter attribute specifies the reverse endianness wrt that of the target. The scalar_storage_order attribute is either on a struct

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

2015-11-13 Thread Ramana Radhakrishnan
> Hmm. I hadn't noticed that the crypto intrinsics tests where generated by > neon-testgen.ml, I thought they were hand-written. > The tests I added do not cover the crypto intrinsics, so I'm going > to revert r230274 and restore all the tests generated by neon-testgen.ml > until we have better cov

[Ada] housekeeping work in sigtramp.h

2015-11-13 Thread Arnaud Charlet
This adjusts various details in the header file. No functional changes. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-11-13 Eric Botcazou * sigtramp.h: Fix formatting throughout, do not include other headers, add missing preprocessor condition and 'extern' keywords.

Re: [PATCH] RFC: Enable graphite at -O3 -fprofile_use

2015-11-13 Thread VandeVondele Joost
I'm all in favour of requiring isl and enabling graphite by default, but would suggest to enable it with -Ofast instead. One reason is that certainly extracting testcases from a PGO build is more difficult, and initially there will certainly be miscompiles with graphite (CP2K is right now).

Re: PR68264: Use unordered comparisons for tree-call-cdce.c

2015-11-13 Thread Richard Biener
On Fri, Nov 13, 2015 at 11:49 AM, Richard Sandiford wrote: > As reported in PR 68264, tree-call-cdce.c should be using unordered > comparisons for the range checks, in order to avoid raising FE_INVALID > for quiet NaNs. > > Tested on x86_64-linux-gnu and aarch64-linux-gnu. The test failed on > aa

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

2015-11-13 Thread Kyrill Tkachov
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-written. The tests I added do not cover the crypto intrinsics, so I'm going to revert r230274 and restore all the tests generated by

Re: Use combined_fn in tree-vrp.c

2015-11-13 Thread Richard Sandiford
Richard Biener writes: > On Tue, Nov 10, 2015 at 1:09 AM, Bernd Schmidt wrote: >> On 11/07/2015 01:46 PM, Richard Sandiford wrote: >>> >>> @@ -3814,8 +3817,8 @@ extract_range_basic (value_range *vr, gimple *stmt) >>> break; >>> /* Both __builtin_ffs* and __builtin_popcount ret

Re: [PATCH] Fix ICE for boolean comparison

2015-11-13 Thread Richard Biener
On Fri, Nov 13, 2015 at 11:52 AM, Ilya Enkovich wrote: > 2015-11-13 13:38 GMT+03:00 Richard Biener : >> On Thu, Nov 12, 2015 at 4:44 PM, Ilya Enkovich >> wrote: >>> Hi, >>> >>> Currently compiler may ICE when loaded boolean is compared with vector >>> invariant or another boolean value. This i

Re: [PATCH, 4/16] Implement -foffload-alias

2015-11-13 Thread Richard Biener
On Fri, 13 Nov 2015, Tom de Vries wrote: > On 13/11/15 09:46, Richard Biener wrote: > > On Thu, 12 Nov 2015, Tom de Vries wrote: > > > > > On 11/11/15 12:00, Jakub Jelinek wrote: > > > > On Wed, Nov 11, 2015 at 11:51:02AM +0100, Richard Biener wrote: > > > > > > The option -foffload-alias=pointer

Re: [PATCH] RFC: Enable graphite at -O3 -fprofile_use

2015-11-13 Thread Richard Biener
On Fri, 13 Nov 2015, VandeVondele Joost wrote: > I'm all in favour of requiring isl and enabling graphite by default, but > would suggest to enable it with -Ofast instead. > > One reason is that certainly extracting testcases from a PGO build is > more difficult, and initially there will certa

Re: [patch] GSoC: Implement std::experimental::shared_ptr

2015-11-13 Thread Jonathan Wakely
On 13/11/15 11:09 +, Jonathan Wakely wrote: This is the other piece of work done by Fan You for the Google Summer of Code (and mentored by Tim). This implements experimental::shared_ptr from the Library Fundamentals TS, which differs from std::shared_ptr by supporting arrays, i.e. shared_ptr

Re: [PATCH] Fix ICE for boolean comparison

2015-11-13 Thread Ilya Enkovich
2015-11-13 14:28 GMT+03:00 Richard Biener : > On Fri, Nov 13, 2015 at 11:52 AM, Ilya Enkovich > wrote: >> 2015-11-13 13:38 GMT+03:00 Richard Biener : >>> On Thu, Nov 12, 2015 at 4:44 PM, Ilya Enkovich >>> wrote: Hi, Currently compiler may ICE when loaded boolean is compared with

[Ada] Iterable aspect for an integer type

2015-11-13 Thread Arnaud Charlet
This patch fixes a spurious error on an iterator loop over an integer type on which the Iterable aspect has been specified. Analysis of the loop uses the base type to find the required primitive operations, but the signature of the First primitive and others uses the first subtype instead. Execut

Re: [PATCH, 4/16] Implement -foffload-alias

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 12:29:51PM +0100, Richard Biener wrote: > > thanks for the explanation. Filed as PR68331 - '[meta-bug] fipa-pta issues'. > > > > Any feedback on the '#pragma GCC offload-alias=' bit > > above? > > Is that sort of what you had in mind? > > Yes. Whether that makes sense is

[PATCH 05/N] Fix memory leaks in graphite

2015-11-13 Thread Martin Liška
Hello. Patch survives regbootstrap on x86_64-linux-gnu. Ready for trunk? Thanks, Martin >From 3f84b19e0ea7eacf26a566d3ef796397dafe76ce Mon Sep 17 00:00:00 2001 From: marxin Date: Thu, 12 Nov 2015 15:45:38 +0100 Subject: [PATCH] Fix memory leaks in graphite --- gcc/graphite-poly.c |

Re: [PATCH 4/4] [ARM] Add attribute/pragma target fpu=

2015-11-13 Thread Kyrill Tkachov
Hi Christian, On 12/11/15 14:54, Christian Bruel wrote: Hi Kyril, ... The parts in this patch look ok to me. However, I think we need some more functionality In aarch64 we support compiling a file with no simd, including arm_neon.h and using arm_neon.h intrinsics within functions tagged with

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

2015-11-13 Thread Kyrill Tkachov
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 architecture levels and higher. To quote the SMMUL description from the

Re: [PATCH][ARM] PR 68143 Properly update memory offsets when expanding setmem

2015-11-13 Thread Kyrill Tkachov
Ping. https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00581.html Thanks, Kyrill On 06/11/15 10:46, Kyrill Tkachov wrote: Hi all, In this wrong-code PR the vector setmem expansion and arm_block_set_aligned_vect in particular use the wrong offset when calling adjust_automodify_address. In the atta

Re: [PATCH, VECTOR ABI] Add __attribute__((__simd__)) to GCC.

2015-11-13 Thread Kirill Yukhin
Hello Jakub, I've fixed all long lines, thanks! I've also fixed max_len for "simd" attribute. Tests are fixed w/ scan for SIMD-mangled routines, routines made `extern'. ChangeLog entry was updated. gcc/ * omp-low.c (pass_omp_simd_clone::gate): If target allows - call without addit

[PATCH] Fix PR68306

2015-11-13 Thread Richard Biener
This fixes more of PR68306. Digging into the details reveals that we only need to check a single (but the correct one) DR and that cost modeling also gets this wrong. Thus fixed. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2015-11-13 Richard Biener PR tr

[PATCH] Fix PR ipa/68311

2015-11-13 Thread Martin Liška
Hello. Following patch fixes PR68311, can regbootstrap on x86_64-linux-gnu. Ready for trunk? Thanks, Martin >From bc07c0709f0601e18b7ea7dfad867a5296378640 Mon Sep 17 00:00:00 2001 From: marxin Date: Thu, 12 Nov 2015 16:17:52 +0100 Subject: [PATCH] Fix PR ipa/68311 gcc/ChangeLog: 2015-11-12 Ma

Re: [PATCH] Fix PR ipa/68035

2015-11-13 Thread Martin Liška
On 11/12/2015 07:40 PM, Jan Hubicka wrote: + + /* Initialize hash values if we are not in LTO mode. */ + if (!in_lto_p) + item->get_hash (); } >>> >>> Hmm, what is the difference to the LTO mode here. I would have expected >>> that all the items >>> was an

Re: [PATCH 05/N] Fix memory leaks in graphite

2015-11-13 Thread Richard Biener
On Fri, Nov 13, 2015 at 12:43 PM, Martin Liška wrote: > Hello. > > Patch survives regbootstrap on x86_64-linux-gnu. > Ready for trunk? Ok. Richard. > Thanks, > Martin

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread David Malcolm
On Fri, 2015-11-13 at 07:57 +0100, Marek Polacek wrote: > Probably coming too late, sorry. > On Thu, Nov 12, 2015 at 09:08:36PM -0500, David Malcolm wrote: > > index 4335a87..eb4e1fc 100644 > > --- a/gcc/c/c-typeck.c > > +++ b/gcc/c/c-typeck.c > > @@ -47,6 +47,7 @@ along with GCC; see the file COP

Re: [PATCH, VECTOR ABI] Add __attribute__((__simd__)) to GCC.

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 02:54:33PM +0300, Kirill Yukhin wrote: > @@ -9013,6 +9016,35 @@ handle_omp_declare_simd_attribute (tree *, tree, tree, > int, bool *) >return NULL_TREE; > } > > +/* Handle an "simd" attribute. */ /* Handle a "simd" attribute. */ instead? > +static tree > +handle_

Re: [PATCH] Fix PR ipa/68311

2015-11-13 Thread Richard Biener
On Fri, Nov 13, 2015 at 1:04 PM, Martin Liška wrote: > Hello. > > Following patch fixes PR68311, can regbootstrap on x86_64-linux-gnu. > > Ready for trunk? Please use auto_vec newclasses; as it gets you a stack allocation. Also use quick_push as you know the vector is large enough. Ok with

Re: [PATCH 2/6] Make builtin_vectorized_function take a combined_fn

2015-11-13 Thread Richard Sandiford
Richard Biener writes: > On Mon, Nov 9, 2015 at 5:25 PM, Richard Sandiford > wrote: >> This patch replaces the fndecl argument to builtin_vectorized_function >> with a combined_fn and gets the vectoriser to call it for internal >> functions too. The patch also moves vectorisation of machine-spec

Re: [PATCH] Fix memory leaks in tree-ssa-uninit.c

2015-11-13 Thread Martin Liška
Hello. Patch survives regbootstrap on x86_64-linux-gnu. Ready for trunk? Thanks, Martin >From 54851503251dee7a8bd074485db262715e628728 Mon Sep 17 00:00:00 2001 From: marxin Date: Fri, 13 Nov 2015 12:23:22 +0100 Subject: [PATCH] Fix memory leaks in tree-ssa-uninit.c gcc/ChangeLog: 2015-11-13 M

[patch] Implement std::experimental::source_location (sort of)

2015-11-13 Thread Jonathan Wakely
This is a non-conforming implementation of https://rawgit.com/cplusplus/fundamentals-ts/v2/fundamentals-ts.html#reflection.src_loc It doesn't provide any column numbers, and fails to meet the requirement that using current() in a NSDMI will refer to the location of the constructor ... but maybe i

Re: [hsa 5/12] New HSA-related GCC options

2015-11-13 Thread Martin Jambor
On Thu, Nov 12, 2015 at 12:19:50PM +0100, Jakub Jelinek wrote: > On Mon, Nov 09, 2015 at 05:58:56PM +0100, Martin Jambor wrote: > > > But I don't see any way to disable it on the command line? (no switch?) > > > > No, the switch is -foffload, which has missing documentation (PR > > 67300) and is

Re: Extend tree-call-cdce to calls whose result is used

2015-11-13 Thread Richard Sandiford
Richard Biener writes: > On Mon, Nov 9, 2015 at 10:03 PM, Michael Matz wrote: >> Hi, >> >> On Mon, 9 Nov 2015, Richard Sandiford wrote: >> >>> +static bool >>> +can_use_internal_fn (gcall *call) >>> +{ >>> + /* Only replace calls that set errno. */ >>> + if (!gimple_vdef (call)) >>> +retur

[Ada] Handling of overloaded indexing functions

2015-11-13 Thread Arnaud Charlet
This patch completes the handling of generalized indexing in the presence of multiple indexing functions, when a derived type overrides inherited ones and defines new constant and variable indexing functions. Test in ACATS 4.0F C416A02 Tested on x86_64-pc-linux-gnu, committed on trunk 2015-11-13

[Ada] Internal crash on illegal aspect Part_Of

2015-11-13 Thread Arnaud Charlet
This patch modifies the analysis of aspect specifications to continue the analysis after encountering an illegal aspect Part_Of. -- Source -- -- po_t.ads package PO_T is protected Prot_Typ is function Get return Integer; entry Set (X : Integer); priv

Re: [PATCH] Fix PR68306

2015-11-13 Thread Uros Bizjak
Hello! > 2015-11-13 Richard Biener > > PR tree-optimization/68306 > * tree-vect-data-refs.c (verify_data_ref_alignment): Move > loop related checks ... > (vect_verify_datarefs_alignment): ... here. > (vect_slp_analyze_and_verify_node_alignment): Compute and > verify alignment of the single DR t

Re: [PATCH] Avoid false vector mask conversion

2015-11-13 Thread Ilya Enkovich
2015-11-13 13:03 GMT+03:00 Richard Biener : > On Thu, Nov 12, 2015 at 5:08 PM, Ilya Enkovich wrote: >> Hi, >> >> When we use LTO for fortran we may have a mix 32bit and 1bit scalar >> booleans. It means we may have conversion of one scalar type to another >> which confuses vectorizer because val

RE: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-13 Thread Ajit Kumar Agarwal
-Original Message- From: Jeff Law [mailto:l...@redhat.com] Sent: Friday, November 13, 2015 3:28 AM To: Richard Biener Cc: Ajit Kumar Agarwal; GCC Patches; Vinod Kathail; Shail Aditya Gupta; Vidhumouli Hunsigida; Nagaraju Mekala Subject: Re: [Patch,tree-optimization]: Add new path Splitt

[C PATCH] Fix ice-on-invalid with typedef declarations in for loops (PR c/68320)

2015-11-13 Thread Marek Polacek
While fixing c/67784 I noticed that the following testcase was breaking because we ended up with a TYPENAME whose name is NULL. In c_parser_declspecs: 2301 /* For a typedef name, record the meaning, not the name. 2302 In case of 'foo foo, bar;'. */ 2303

Re: [PATCH] RFC: Enable graphite at -O3 -fprofile_use

2015-11-13 Thread aditya kumar
Thanks all for supporting the idea of enabling graphite. We would collect compile-time, performance, code-size data and let you know. We are very positive that the compile time would have improved on an average, because of new scop detection algorithm. With the new set of patches graphite does not

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

2015-11-13 Thread Christophe Lyon
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-written. >>> The tests I added do not cover the crypto intrinsics,

[committed] gen-pass-instances.awk: Add args_str var in handle_line

2015-11-13 Thread Tom de Vries
Hi, this patch adds variable args_str in handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Add args_str var in handle_line 2015-11-13 Tom de Vries * gen-pass-instances.awk (handle_line): Add args_str variable. --- gcc/gen-pass-i

[committed] gen-pass-instances.awk: Rename prefix_len var to len_of_prefix in handle_line

2015-11-13 Thread Tom de Vries
Hi, this patch renames variable prefix_len to len_of_prefix in handle_line in gen-pass-instances.awk, to match the naming convention in the rest of the function. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Rename prefix_len var to len_of_prefix in handle_line 2015-1

Fix openacc test

2015-11-13 Thread Nathan Sidwell
I've committed this patch to fixup an erroneously failing test. I'd changed the diagnostic, but not the matching test. While there, I noticed I should have been using 'inform' to emit a note, not another error. nathan 2015-11-13 Nathan Sidwell gcc/ * gimplify.c (oacc_default_clause): U

[PATCH] Remove first_pass_instance from pass_vrp

2015-11-13 Thread Tom de Vries
On 13/11/15 11:35, Richard Biener wrote: On Thu, Nov 12, 2015 at 4:33 PM, David Malcolm wrote: On Thu, 2015-11-12 at 15:06 +0100, Richard Biener wrote: On Thu, Nov 12, 2015 at 3:04 PM, Richard Biener wrote: On Thu, Nov 12, 2015 at 2:49 PM, Tom de Vries wrote: On 12/11/15 13:26, Richard Bie

Re: [C PATCH] Fix ice-on-invalid with typedef declarations in for loops (PR c/68320)

2015-11-13 Thread Joseph Myers
On Fri, 13 Nov 2015, Marek Polacek wrote: > 2015-11-13 Marek Polacek > > PR c/68320 > * c-parser.c (c_parser_for_statement): Treat unknown tokens as IDs. > > * gcc.dg/pr68320.c: New test. OK. -- Joseph S. Myers jos...@codesourcery.com

[PATCH 07/N] Fix memory leaks in haifa-sched

2015-11-13 Thread Martin Liška
Hello. Patch can bootstrap on x86_64-linux-pc and regression tests are running. Ready for trunk? Thanks, Martin >From 630eba9465d6502b49bac163f985d25aee982e03 Mon Sep 17 00:00:00 2001 From: marxin Date: Fri, 13 Nov 2015 10:37:21 +0100 Subject: [PATCH] Release memory in haifa-sched gcc/ChangeLog

Re: [PATCH] Remove first_pass_instance from pass_vrp

2015-11-13 Thread David Malcolm
On Fri, 2015-11-13 at 09:12 -0500, David Malcolm wrote: [...snip...] > > diff --git a/gcc/passes.c b/gcc/passes.c > > index dd8d00a..e634c5c 100644 > > --- a/gcc/passes.c > > +++ b/gcc/passes.c > > @@ -81,6 +81,13 @@ opt_pass::clone () > >internal_error ("pass %s does not support cloning", nam

Re: [PATCH] Remove first_pass_instance from pass_vrp

2015-11-13 Thread David Malcolm
On Fri, 2015-11-13 at 14:57 +0100, Tom de Vries wrote: > On 13/11/15 11:35, Richard Biener wrote: > > On Thu, Nov 12, 2015 at 4:33 PM, David Malcolm wrote: > >> On Thu, 2015-11-12 at 15:06 +0100, Richard Biener wrote: > >>> On Thu, Nov 12, 2015 at 3:04 PM, Richard Biener > >>> wrote: > On Th

Automatic openacc loop partitioning

2015-11-13 Thread Nathan Sidwell
Jakub, this patch applies automatic loop partitioning to loops that are marked 'auto' and 'independent'. 'independent' is implicit inside a parallel region. We were unnecessarily still emitting a sorry for the auto, seq and independent clauses in omp lowering. The main event is in the target

Re: Short-cut generation of simple built-in functions

2015-11-13 Thread Richard Sandiford
Richard Biener writes: > On Tue, Nov 10, 2015 at 10:24 PM, Richard Sandiford > wrote: >> Richard Biener writes: >>> On Sat, Nov 7, 2015 at 2:31 PM, Richard Sandiford >>> wrote: This patch short-circuits the builtins.c expansion code for a particular gimple call if: - the fun

Re: [PATCH 1/2] simplify-rtx: Simplify trunc of and of shiftrt

2015-11-13 Thread Segher Boessenkool
Hi! On Fri, Nov 13, 2015 at 11:02:55AM +0100, Uros Bizjak wrote: > on alpha-linux-gnu. > > The difference starts in combine, where before the patch, we were able > to combine insns: > > (insn 7 6 8 2 (set (reg:DI 82) > (lshiftrt:DI (reg:DI 81 [ x ]) > (const_int 16 [0x10])))

Re: [PATCH] Remove first_pass_instance from pass_vrp

2015-11-13 Thread Tom de Vries
On 13/11/15 15:12, David Malcolm wrote: On Fri, 2015-11-13 at 14:57 +0100, Tom de Vries wrote: 2015-11-13 Tom de Vries * gdbhooks.py (class PassNames): Handle extra arg NEXT_PASS argument. * gen-pass-instances.awk (handle_line): Same. * pass_manager.h (class pass_mana

Re: [PATCH] Enable libstdc++ numeric conversions on Cygwin

2015-11-13 Thread Jonathan Wakely
On 12/11/15 13:39 +, Jonathan Wakely wrote: On 12/11/15 11:40 +, Jonathan Wakely wrote: On 18/09/15 12:01 -0400, Jennifer Yao wrote: Forgot to include the patch. On Fri, Sep 18, 2015 at 11:17 AM, Jennifer Yao wrote: A number of functions in libstdc++ are guarded by the _GLIBCXX_USE_C

Re: [PATCH][combine][RFC] Don't transform sign and zero extends inside mults

2015-11-13 Thread Segher Boessenkool
On Fri, Nov 13, 2015 at 11:17:38AM +0100, Uros Bizjak wrote: > IMO, this is such a small code-size regression, that it should not > block the patch submission. In that case: Kyrill, the patch is okay for trunk. Thanks! > It would be nice to know, what causes the > increase (in case, this is some

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Marek Polacek
On Fri, Nov 13, 2015 at 07:16:08AM -0500, David Malcolm wrote: > > > + && (TREE_CODE (TREE_TYPE (field)) == RECORD_TYPE > > > + || TREE_CODE (TREE_TYPE (field)) == UNION_TYPE)) > > > > This is RECORD_OR_UNION_TYPE_P (TREE_TYPE (field)). > > I based this code on the code in lookup_field ri

[nvptx] complex vector reductions

2015-11-13 Thread Nathan Sidwell
I noticed that we weren't supporting reductions of complex type, particularly complex double. I've committed this patch to add support for vector reductions. We split the complex type apart and process each half before sticking it back together again. As it happens only 32-bit shuffles exist

Re: [gomp4.5] depend nowait support for target

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 11:18:41AM +0100, Jakub Jelinek wrote: > For the offloading case, I actually see a problematic spot, namely that > GOMP_PLUGIN_target_task_completion could finish too early, and get the > task_lock before the thread that run the gomp_target_task_fn doing map_vars > + async_r

Re: [patch] fix regrename pass to ensure renamings produce valid insns

2015-11-13 Thread Bernd Schmidt
On 11/06/2015 08:51 PM, Jeff Law wrote: I think the change is fine for the trunk, though I'm still curious about how the code as-is resulted in a comparison failure. I've been retesting and I think this was a case of something else triggering an random failure - the patch made it go away on th

Re: [patch] Implement std::experimental::source_location (sort of)

2015-11-13 Thread Martin Sebor
On 11/13/2015 05:56 AM, Jonathan Wakely wrote: This is a non-conforming implementation of https://rawgit.com/cplusplus/fundamentals-ts/v2/fundamentals-ts.html#reflection.src_loc It doesn't provide any column numbers, and fails to meet the requirement that using current() in a NSDMI will refer t

Re: [AArch64][TLSGD][2/2] Implement TLS GD traditional for tiny code model

2015-11-13 Thread Jiong Wang
On 05/11/15 14:57, Jiong Wang wrote: Marcus Shawcroft writes: +#ifdef HAVE_AS_TINY_TLSGD_RELOCS + return SYMBOL_TINY_TLSGD; +#else + return SYMBOL_SMALL_TLSGD; +#endif Rather than introduce blocks of conditional compilation it is better to gate different behaviours with a test on a constant

Re: [patch] Implement std::experimental::source_location (sort of)

2015-11-13 Thread Martin Sebor
On 11/13/2015 08:21 AM, Martin Sebor wrote: On 11/13/2015 05:56 AM, Jonathan Wakely wrote: This is a non-conforming implementation of https://rawgit.com/cplusplus/fundamentals-ts/v2/fundamentals-ts.html#reflection.src_loc It doesn't provide any column numbers, and fails to meet the requiremen

Re: [libstdc++ testsuite][patch] many locale tests only SUPPORTED on linux, start making these portable

2015-11-13 Thread Jonathan Wakely
On 11/11/15 22:12 +, Jonathan Wakely wrote: On 11/11/15 22:53 +0100, John Marino wrote: On 11/11/2015 10:51 PM, Jonathan Wakely wrote: On 16/10/15 11:21 +0200, John Marino wrote: The only significant comment was: e.g. `"de_DE" => "de_DE@ISO8859-15` should be `e.g. "de_DE" => "de_DE.ISO885

Re: [patch] update locale support fro FreeBSD

2015-11-13 Thread Jonathan Wakely
On 12/11/15 23:32 +0100, Andreas Tobler wrote: All, with the work from Jennifer Yao and John Marino we can now update the locale support on FreeBSD to the level of DragonFly. Results of this work can be found on the results list. Here my small addendum to make it work on FreeBSD. Is this ok

Re: [Bulk] [OpenACC 0/7] host_data construct

2015-11-13 Thread Jakub Jelinek
On Mon, Nov 02, 2015 at 06:33:39PM +, Julian Brown wrote: > Firstly, on trunk at least, use_device_ptr variables are restricted to > pointer or array types: that restriction doesn't exist in OpenACC, nor > actually could I find it in the OpenMP 4.1 document (my guess is the > standards are supp

Re: TR1 Special Math

2015-11-13 Thread Jonathan Wakely
On 25 October 2015 at 20:48, Jonathan Wakely wrote: > On 25 October 2015 at 17:46, Ed Smith-Rowland <3dw...@verizon.net> wrote: >> On 10/24/2015 11:38 PM, Jonathan Wakely wrote: >>> >>> On 8 May 2015 at 15:05, Ed Smith-Rowland <3dw...@verizon.net> wrote: On 05/07/2015 12:06 PM, Jonathan

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Bernd Schmidt
On 11/13/2015 04:11 PM, Marek Polacek wrote: Sorry, I changed my mind. Since QUAL_UNION_TYPE is Ada-only thing and we check (RECORD_TYPE || UNION_TYPE) in a lot of places in the C FE, introducing RECORD_OR_UNION_TYPE_P everywhere would unnecessarily slow things down. I don't think so, the thre

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 04:53:05PM +0100, Marek Polacek wrote: > On Fri, Nov 13, 2015 at 04:44:21PM +0100, Bernd Schmidt wrote: > > On 11/13/2015 04:11 PM, Marek Polacek wrote: > > >Sorry, I changed my mind. Since QUAL_UNION_TYPE is Ada-only thing and > > >we check (RECORD_TYPE || UNION_TYPE) in a

Re: [PATCH 1/2] simplify-rtx: Simplify trunc of and of shiftrt

2015-11-13 Thread Uros Bizjak
On Fri, Nov 13, 2015 at 3:36 PM, Segher Boessenkool wrote: > Hi! > > On Fri, Nov 13, 2015 at 11:02:55AM +0100, Uros Bizjak wrote: >> on alpha-linux-gnu. >> >> The difference starts in combine, where before the patch, we were able >> to combine insns: >> >> (insn 7 6 8 2 (set (reg:DI 82) >>

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Marek Polacek
On Fri, Nov 13, 2015 at 04:44:21PM +0100, Bernd Schmidt wrote: > On 11/13/2015 04:11 PM, Marek Polacek wrote: > >Sorry, I changed my mind. Since QUAL_UNION_TYPE is Ada-only thing and > >we check (RECORD_TYPE || UNION_TYPE) in a lot of places in the C FE, > >introducing RECORD_OR_UNION_TYPE_P every

  1   2   >