Re: [RFC, PR66873] Use graphite for parloops

2015-07-26 Thread Tom de Vries
wrote: On Wed, Jul 15, 2015 at 10:26 PM, Tom de Vries tom_devr...@mentor.com wrote: I tried to parallelize this fortran test-case (based on autopar/outer-1.c), [...] So I wondered, why not always use the graphite dependency analysis in parloops. (Of course you could use -floop-parallelize-all

Re: [PATCH] Allow non-overflow ops in vect_is_simple_reduction_1

2015-07-26 Thread Tom de Vries
On 24/07/15 16:39, Tom de Vries wrote: Hi, this patch allows parallelization and vectorization of reduction operators that are guaranteed to not overflow (such as min and max operators), independent of the overflow behaviour of the type. Bootstrapped and reg-tested on x86_64. OK for trunk

[PATCH] Enable fixed-point reductions in graphite

2015-07-26 Thread Tom de Vries
point overflow wraps. The patch uses FIXED_POINT_TYPE_OVERFLOW_WRAPS_P, introduced in proposed patch https://gcc.gnu.org/ml/gcc-patches/2015-07/msg02049.html . Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom Enable fixed-point reductions in graphite 2015-07-24 Tom de

[PATCH] Allow non-overflow ops in vect_is_simple_reduction_1

2015-07-24 Thread Tom de Vries
in vect_is_simple_reduction_1 2015-07-24 Tom de Vries t...@codesourcery.com * tree.c (no_overflow_tree_code): New function. * tree.h (no_overflow_tree_code): Declare. * tree-vect-loop.c (vect_is_simple_reduction_1): Use no_overflow_tree_code. * gcc.dg/autopar/reduc-2char.c (init_arrays

[committed] Add transform_to_exit_first_loop_alt dump success message

2015-07-24 Thread Tom de Vries
transform_to_exit_first_loop_alt dump success message 2015-07-24 Tom de Vries t...@codesourcery.com * tree-parloops.c (gen_parallel_loop): Add debug print for alternative exit-first loop transform. * gcc.dg/parloops-exit-first-loop-alt-2.c: Use debug print for alternative exit-first loop transform. * gcc.dg/parloops

Re: [PATCH] Allow non-overflow ops in vect_is_simple_reduction_1

2015-07-26 Thread Tom de Vries
On 26/07/15 18:49, Tom de Vries wrote: On 24/07/15 16:39, Tom de Vries wrote: Hi, this patch allows parallelization and vectorization of reduction operators that are guaranteed to not overflow (such as min and max operators), independent of the overflow behaviour of the type. Bootstrapped

[PING][gomp4, PATCH] Fix libgomp.oacc-c-c++-common/lib-3.c

2015-07-22 Thread Tom de Vries
On 01/07/15 13:16, Tom de Vries wrote: Hi, testcase libgomp.oacc-c-c++-common/lib-3.c is supposed to fail. It fails currently in two ways: - no device found, if there is no nonhost device type supported, so just host and host_nonshm - no device initialized, if there is a nonhost device type

Re: [PATCH, i386]: Fix PR 64003, valgrind complains about get_attr_length_nobnd in insn-attrtab.c from i386.md

2015-07-24 Thread Tom de Vries
On 24/07/15 18:29, Uros Bizjak wrote: This patch introduces ADJUST_INSN_LENGTH define to i386.h to increase the length of the insn when bnd prefix is used. 2015-07-24 Uros Bizjak ubiz...@gmail.com PR target/64003 * config/i386/i386.h (ADJUST_INSN_LENGTH): New define. *

Re: [PATCH] Don't allow unsafe reductions in graphite

2015-07-25 Thread Tom de Vries
On 24/07/15 22:20, Sebastian Pop wrote: Richard Biener wrote: On Wed, Jul 22, 2015 at 6:00 PM, Tom de Vries tom_devr...@mentor.com wrote: Currently bootstrapping and reg-testing on x86_64. OK for trunk? OK 5 and 4.9 release branches? Ok if Sebastian is fine with it. Ok to backport

[PATCH] Add FIXED_POINT_TYPE_OVERFLOW_WRAPS_P

2015-07-24 Thread Tom de Vries
of the compiler. Currently bootstrapping and reg-testing on x86_64. OK for trunk? Thanks, - Tom Add FIXED_POINT_TYPE_OVERFLOW_WRAPS_P 2015-07-24 Tom de Vries t...@codesourcery.com * tree.h (FIXED_POINT_TYPE_OVERFLOW_WRAPS_P): Define. * fold-const.c (split_tree): Use FIXED_POINT_TYPE_OVERFLOW_WRAPS_P

[Committed] Mark *.omp_data_i as non-trapping

2015-07-13 Thread Tom de Vries
. I already bootstrapped and regtested (on x86_64) the patch on top of trunk. Committed to trunk. Thanks, - Tom Mark *.omp_data_i as non-trapping 2015-07-12 Tom de Vries t...@codesourcery.com * omp-low.c (build_receiver_ref): Mark *.omp_data_i as non-trapping. --- gcc/omp-low.c | 1 + 1

[PATCH, PR46193] Handle mix/max pointer reductions in parloops

2015-07-13 Thread Tom de Vries
Hi, this patch fixes PR46193. It handles min and max reductions of pointer type in parloops. Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom Handle mix/max pointer reductions in parloops 2015-07-13 Tom de Vries t...@codesourcery.com PR tree-optimization/46193 * omp

Re: Merge trunk r225562 (2015-07-08) into gomp-4_0-branch

2015-07-13 Thread Tom de Vries
On 13/07/15 10:31, Thomas Schwinge wrote: Hi Tom! On Mon, 13 Jul 2015 09:20:16 +0200, Tom de Vriestom_devr...@mentor.com wrote: On 12/07/15 11:39, Thomas Schwinge wrote: On Fri, 10 Jul 2015 18:50:20 -0400, Nathan Sidwellnathan_sidw...@mentor.com wrote: it looks like the most recent

Re: [patch, driver] Ignore -ftree-parallelize-loops={0,1}

2015-07-13 Thread Tom de Vries
On 07/07/15 09:53, Tom de Vries wrote: Hi, currently, we have these spec strings in gcc/gcc.c involving ftree-parallelize-loops: ... %{fopenacc|fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp)} %{fopenacc|fopenmp|ftree-parallelize-loops=*:-pthread} ... Actually, ftree

Re: [RFC] two-phase marking in gt_cleare_cache

2015-07-13 Thread Tom de Vries
On 13/07/15 15:43, Michael Matz wrote: Hi, On Sun, 12 Jul 2015, Tom de Vries wrote: I'm trying to get to a defined policy for what is allowed for caches. Either forbidding or allowing multi-step dependencies, I don't really mind. I think forbidding is the way to go, because ... I managed

[PATCH, PR66851] Handle double reduction in parloops

2015-07-13 Thread Tom de Vries
*-*-* } } } */ ... This patch allows outer loops with a reduction in the inner loop to be parallelized. Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom Handle double reduction in parloops 2015-07-13 Tom de Vries t...@codesourcery.com PR tree-optimization/66851 * tree-parloops.c (reduc_stmt_res

Re: [RFC] two-phase marking in gt_cleare_cache

2015-07-13 Thread Tom de Vries
On 13/07/15 16:21, Michael Matz wrote: Hi, On Mon, 13 Jul 2015, Tom de Vries wrote: Implementing multi-step maps or making the hashmaps non-caching doesn't solve any of the above problems I'm not saying that making those hashmaps non-caching solves any of these problems. Ah, I didn't mean

[gomp4, committed] Use marked_independent in oacc kernels region

2015-07-14 Thread Tom de Vries
Hi, this patch uses the marked_independent field to skip the dependence analysis in parloops for loops in oacc kernels regions. Bootstrapped and reg-tested on x86_64. Committed to gomp-4_0-branch. Thanks, - Tom Use marked_independent in oacc kernels region 2015-07-14 Tom de Vries t

Re: [patch, driver] Ignore -ftree-parallelize-loops={0,1}

2015-07-14 Thread Tom de Vries
On 14/07/15 06:54, Jeff Law wrote: On 07/13/2015 04:58 AM, Tom de Vries wrote: On 07/07/15 09:53, Tom de Vries wrote: Hi, currently, we have these spec strings in gcc/gcc.c involving ftree-parallelize-loops: ... %{fopenacc|fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp

Re: Merge trunk r225562 (2015-07-08) into gomp-4_0-branch

2015-07-14 Thread Tom de Vries
On 13/07/15 10:31, Thomas Schwinge wrote: Hi Tom! On Mon, 13 Jul 2015 09:20:16 +0200, Tom de Vries tom_devr...@mentor.com wrote: On 12/07/15 11:39, Thomas Schwinge wrote: On Fri, 10 Jul 2015 18:50:20 -0400, Nathan Sidwell nathan_sidw...@mentor.com wrote: it looks like the most recent merge

Re: [PATCH, PR66846] Mark inner loop for fixup in parloops

2015-07-16 Thread Tom de Vries
On 16/07/15 10:44, Richard Biener wrote: On Wed, Jul 15, 2015 at 9:36 PM, Tom de Vries tom_devr...@mentor.com wrote: Hi, I. In openmp expansion of loops, we do some effort to try to create matching loops in the loop state of the child function, f.i.in expand_omp_for_generic: ... struct

Re: [RFC, PR66873] Use graphite for parloops

2015-07-16 Thread Tom de Vries
On 16/07/15 12:23, Richard Biener wrote: On Thu, Jul 16, 2015 at 12:19 PM, Thomas Schwinge tho...@codesourcery.com wrote: Hi Tom! On Thu, 16 Jul 2015 10:46:00 +0200, Richard Biener richard.guent...@gmail.com wrote: On Wed, Jul 15, 2015 at 10:26 PM, Tom de Vries tom_devr...@mentor.com wrote

[committed] Add kernels-loop-nest-independent.f95

2015-07-15 Thread Tom de Vries
[ was: Re: [gomp4] New test loop independent clause ] On 15/07/15 12:43, Tom de Vries wrote: I'm not sure if I mentioned it at the meeting, but marking the outer loop of that example as independent does not result in parallelization either. So that's something to be investigated. I've got

[gomp4, committed] Add c-c++-common/goacc/kernels-loop-nest-independent.c

2015-07-15 Thread Tom de Vries
Hi, this patch adds a testcase testing the independent clause on outer loop in oacc kernels region. Committed to gomp-4_0-branch. Thanks, - Tom Add c-c++-common/goacc/kernels-loop-nest-independent.c 2015-07-15 Tom de Vries t...@codesourcery.com * c-c++-common/goacc/kernels-loop-nest

[PATCH, PR66846] Mark inner loop for fixup in parloops

2015-07-15 Thread Tom de Vries
flag on the loop state, but postpones the init_loops_structure call till move_sese_region_to_fn, where it can succeed. III. Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom Mark inner loop for fixup in parloops 2015-07-13 Tom de Vries t...@codesourcery.com PR tree

[RFC, PR66873] Use graphite for parloops

2015-07-15 Thread Tom de Vries
1) because running it before graphite makes the graphite scop detection fail. Bootstrapped and reg-tested on x86_64. Any comments? Thanks, - Tom Use graphite for parloops 2015-07-15 Tom de Vries t...@codesourcery.com PR tree-optimization/66873 * graphite-isl-ast-to-gimple.c

[gomp4, committed] Fix if-clause handling for kernels

2015-07-17 Thread Tom de Vries
-17 Tom de Vries t...@codesourcery.com * omp-low.c (expand_omp_target): Fix location of insertion of if-clause handling code. * c-c++-common/goacc/if-clause-2.c: Compile with -Wall. --- gcc/omp-low.c | 3 ++- gcc/testsuite/c-c++-common/goacc/if-clause-2.c | 2

[gomp4, committed] Obvious -Wall fixes in openacc tests

2015-07-18 Thread Tom de Vries
Hi, I've committed these three obvious patches that fix -Wall warnings in openacc test-cases to gomp-4_0-branch. Thanks, - Tom Add missing return in private-reduction-1.c 2015-07-17 Tom de Vries t...@codesourcery.com * c-c++-common/goacc/private-reduction-1.c (reduction): Add missing

[gomp4, committed] Fix OACC_LOOP usage in goacc tests

2015-07-18 Thread Tom de Vries
, - #define ACC_LOOP loop - #define ACC_LOOP loop independent ] Committed to gomp-4_0-branch. Thanks, - Tom Fix OACC_LOOP usage in goacc tests 2015-07-17 Tom de Vries t...@codesourcery.com * c-c++-common/goacc/kernels-loop-2-acc-loop.c (ACC_LOOP): Define empty. * c-c++-common/goacc/kernels-loop

Re: [gomp4] remove kernel-specific launch

2015-07-19 Thread Tom de Vries
On 19/07/15 14:27, Nathan Sidwell wrote: Tom, as we discussed this patch removes the GOACC_kernels call, which forwards to GOACC_parallel. We simply call GOACC_parallel directly. ok for gomp4 branch? Hi Nathan, yes, that looks good. Thanks, - Tom

Re: [gomp4] remove kernel-specific launch

2015-07-19 Thread Tom de Vries
On 19/07/15 22:30, Thomas Schwinge wrote: Does it make sense then to rename GOACC_kernels_internal to GOACC_kernels? I prefer to keep the name GOACC_kernels_internal, IMO it's clearer. Thanks, - Tom

Re: [gomp4] remove kernel-specific launch

2015-07-20 Thread Tom de Vries
GOACC_kernels 2015-07-20 Tom de Vries t...@codesourcery.com * tree-parloops.c (create_parallel_loop): Update comments for removal of GOACC_kernels. Rename goacc_kernels variable into goacc_kernels_internal. --- gcc/tree-parloops.c | 10 ++ 1 file changed, 6 insertions(+), 4 deletions

Re: [PATCH, PR66846] Mark inner loop for fixup in parloops

2015-07-20 Thread Tom de Vries
On 16/07/15 12:15, Richard Biener wrote: On Thu, Jul 16, 2015 at 11:39 AM, Tom de Vries tom_devr...@mentor.com wrote: On 16/07/15 10:44, Richard Biener wrote: On Wed, Jul 15, 2015 at 9:36 PM, Tom de Vries tom_devr...@mentor.com wrote: Hi, I. In openmp expansion of loops, we do some effort

Re: Merge trunk r225562 (2015-07-08) into gomp-4_0-branch

2015-07-13 Thread Tom de Vries
On 12/07/15 11:39, Thomas Schwinge wrote: Hi! On Fri, 10 Jul 2015 18:50:20 -0400, Nathan Sidwell nathan_sidw...@mentor.com wrote: it looks like the most recent merge from trunk to gomp4 was early May. I think it is time for another one -- can you handle that? Indeed :-) -- and, as it

Re: [PING][PATCH, 1/2] Merge rewrite_virtuals_into_loop_closed_ssa from gomp4 branch

2015-07-20 Thread Tom de Vries
On 09/07/15 13:04, Richard Biener wrote: On Thu, 9 Jul 2015, Tom de Vries wrote: On 07/07/15 17:58, Tom de Vries wrote: If you can handle one exit edge I also can't see the difficulty in handling all exit edges. Agreed, that doesn't look to complicated. I could call

Re: [RFC, PR66873] Use graphite for parloops

2015-07-20 Thread Tom de Vries
On 20/07/15 20:31, Sebastian Pop wrote: Tom de Vries wrote: So I wondered, why not always use the graphite dependency analysis in parloops. (Of course you could use -floop-parallelize-all, but that also changes the heuristic). So I wrote a patch for parloops to use graphite dependency analysis

Re: [RFC, PR66873] Use graphite for parloops

2015-07-20 Thread Tom de Vries
On 20/07/15 20:22, Sebastian Pop wrote: Tom de Vries wrote: graphite dependence analysis is too slow to be enabled unconditionally. (read: hours in some simple cases - see bugzilla) Haha, cool! ;-) Maybe it is still reasonable to use graphite to analyze the code inside OpenACC kernels

Re: [gomp4] remove kernel-specific launch

2015-07-21 Thread Tom de Vries
On 21/07/15 12:19, Thomas Schwinge wrote: Hi! Thanks for the cleanup! On Mon, 20 Jul 2015 11:54:48 +0200, Tom de Vries tom_devr...@mentor.com wrote: On 19/07/15 23:08, Nathan Sidwell wrote: On 07/19/15 16:30, Thomas Schwinge wrote: Does it make sense then to rename GOACC_kernels_internal

Re: [RFC, PR66873] Use graphite for parloops

2015-07-21 Thread Tom de Vries
On 21/07/15 02:21, Tom de Vries wrote: On 20/07/15 20:31, Sebastian Pop wrote: Tom de Vries wrote: So I wondered, why not always use the graphite dependency analysis in parloops. (Of course you could use -floop-parallelize-all, but that also changes the heuristic). So I wrote a patch

Re: [gomp4] New test loop independent clause

2015-07-15 Thread Tom de Vries
On 15/07/15 11:28, Thomas Schwinge wrote: Hi! On Tue, 14 Jul 2015 14:10:01 -0500, James Norris jnor...@codesourcery.com wrote: The attached adds testing for the independent clause with the loop directive in Fortran. Committed to gomp-4_0-branch. --- /dev/null +++

Re: [gomp4] New test loop independent clause

2015-07-15 Thread Tom de Vries
On 15/07/15 14:03, Thomas Schwinge wrote: Hi Tom! On Wed, 15 Jul 2015 12:43:05 +0200, Tom de Vries tom_devr...@mentor.com wrote: On 15/07/15 11:28, Thomas Schwinge wrote: On Tue, 14 Jul 2015 14:10:01 -0500, James Norris jnor...@codesourcery.com wrote: The attached adds testing

[committed] check_GNU_style.sh: Fix quoting in cat_with_prefix

2015-07-15 Thread Tom de Vries
Hi, I've committed this obvious fix. Thanks, - Tom check_GNU_style.sh: Fix quoting in cat_with_prefix 2015-07-15 Tom de Vries t...@codesourcery.com * check_GNU_style.sh (cat_with_prefix): Fix quoting. diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index 033a2c9

[testsuite] Run tree-ssa/restrict-4.c without fipa-icf

2015-10-23 Thread Tom de Vries
is testing for. This patch ensures that tree-ssa/restrict-4.c is run without fipa-icf. Committed as obvious. Thanks, - Tom Run tree-ssa/restrict-4.c without fipa-icf 2015-10-23 Tom de Vries <t...@codesourcery.com> * gcc.dg/tree-ssa/restrict-4.c: Add -fno-ipa-icf to dg-options. --

Re: Partial fix for LTO bootstrap with Ada

2015-10-23 Thread Tom de Vries
[ added missing cc of gcc-patches ] On 23/10/15 17:46, Tom de Vries wrote: [ Quote-pasted from https://gcc.gnu.org/ml/gcc-patches/2012-01/msg01077.html ] The LTO bootstrap of the Ada compiler is currently plagued by at least three different problems. The attached patch is for the easy one

[PATCH] Remove superfluous code in intra_create_variable_infos

2015-10-23 Thread Tom de Vries
[ was: Re: [PATCH][PR67671] Handle restrict pointer references as restrict in AA ] On 22/09/15 16:02, Richard Biener wrote: On Tue, 22 Sep 2015, Tom de Vries wrote: >Hi, > >Consider this test-case: >... >struct ps >{ > int *__restrict__ p; >}; > >

[testsuite, committed, PR68063] Add missing private clause in libgomp.c++/member-2.C

2015-10-23 Thread Tom de Vries
Hi Jakub, this patch adds a missing private clause in libgomp.c++/member-2.C (as you suggested in the PR). This allows the test to succeed consistently. Committed to trunk. Thanks, - Tom Add missing private clause in libgomp.c++/member-2.C 2015-10-23 Tom de Vries <t...@codesourcery.

[committed] Use make_constraint_from in intra_create_variable_infos

2015-10-23 Thread Tom de Vries
Hi, this no-functional-changes patch uses make_constraint_from in intra_create_variable_infos. Bootstrapped and reg-tested on x86_64. Committed as obvious. Thanks, - Tom Use make_constraint_from in intra_create_variable_infos 2015-10-23 Tom de Vries <t...@codesourcery.com> * tr

Re: [PATCH][PR67666] Handle single restrict pointer in struct in create_variable_info_for_1

2015-10-23 Thread Tom de Vries
On 29/09/15 10:29, Richard Biener wrote: On Tue, 29 Sep 2015, Tom de Vries wrote: On 22/09/15 09:49, Richard Biener wrote: On Tue, 22 Sep 2015, Tom de Vries wrote: Hi, Consider this test-case: struct ps { int *__restrict__ p; }; void f (struct ps &__restrict__ ps1) { *(ps1.p)

Re: Don't dump low gimple functions in gimple dump

2015-10-22 Thread Tom de Vries
On 22/10/15 14:27, Jakub Jelinek wrote: The state before the patch is: 1) the omp_fn children created during the pre-SSA ompexp pass are dumped first in the *.ssa dump and in all the following ones (these are created as low gimple, non-SSA) Hi, I do see those child fns before the ssa

[Committed] Inline get_vi_for_tree into intra_create_variable_infos

2015-10-26 Thread Tom de Vries
on x86_64. Committed as trivial. Thanks, - Tom Inline get_vi_for_tree into intra_create_variable_infos 2015-10-24 Tom de Vries <t...@codesourcery.com> * tree-ssa-structalias.c (intra_create_variable_infos): Inline get_vi_for_tree call. --- gcc/tree-ssa-structalias.c | 7 ++- 1 file chan

[PATCH, 1/2] Add handle_param parameter to create_variable_info_for_1

2015-10-26 Thread Tom de Vries
, in which case we're not calling create_variable_info_for_1 to set p, meaning the copied code won't get triggered. Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom Add handle_param parameter to create_variable_info_for_1 2015-10-26 Tom de Vries <t...@codesourcery.

[PATCH, 2/2] Handle recursive restrict pointer in create_variable_info_for_1

2015-10-26 Thread Tom de Vries
reg-tested on x86_64. OK for trunk? Thanks, - Tom Handle recursive restrict pointer in create_variable_info_for_1 2015-10-26 Tom de Vries <t...@codesourcery.com> * tree-ssa-structalias.c (create_variable_info_for_1): Enable recursive handling of restrict pointers. (make_restrict

[comitted] Add make_restrict_var_constraints

2015-10-26 Thread Tom de Vries
Hi, this no-functional-changes patch factors a new function make_restrict_var_constraints out of intra_create_variable_infos. Bootstrapped and reg-tested on x86_64. Committed as trivial. Thanks, - Tom Add make_restrict_var_constraints 2015-10-26 Tom de Vries <t...@codesourcery.

[Committed] Add vars in intra_create_variables_info

2015-10-26 Thread Tom de Vries
Hi, this no-functional-changes patch adds some vars in intra_create_variables_info. Bootstrapped and reg-tested on x86_64. Committed as trivial. Thanks, - Tom Add vars in intra_create_variables_info 2015-10-26 Tom de Vries <t...@codesourcery.com> * tree-ssa-structa

[PATCH, PR67742] Handle restrict struct fields recursively

2015-10-27 Thread Tom de Vries
[ was: Re: [PATCH, 1/2] Add handle_param parameter to create_variable_info_for_1 ] On 26/10/15 17:23, Tom de Vries wrote: Why does create_variable_info_for_1 only handle the single-field case? That is, I expected this to be handled by c_v_r_f_1 fully. Yep, that's the goal of PR67742. I've

[committed] Add var in push_fields_onto_fieldstack

2015-10-27 Thread Tom de Vries
Hi, this patch adds a new variable in push_fields_onto_fieldstack, improving readability. Bootstrapped and reg-tested on x86_64. Committed to trunk as obvious. Thanks, - Tom Add var in push_fields_onto_fieldstack 2015-10-27 Tom de Vries <t...@codesourcery.com> * tree-ssa-structa

[PATCH, 3/6] Add recursion to make_param_constraints

2015-10-27 Thread Tom de Vries
On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint handling 2Rename make_restrict_var_constraints to make_param_constraints

[PATCH, 5/6] Handle recursive restrict pointer in create_variable_info_for_1

2015-10-27 Thread Tom de Vries
On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint handling 2Rename make_restrict_var_constraints to make_param_constraints

[PATCH, 4/6] Add handle_param parameter to create_variable_info_for_1

2015-10-27 Thread Tom de Vries
On 27/10/15 13:24, Tom de Vries wrote: it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint handling 2Rename make_restrict_var_constraints to make_param_constraints 3

[PATCH, 6/6] Handle restrict struct fields recursively

2015-10-27 Thread Tom de Vries
On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint handling 2Rename make_restrict_var_constraints to make_param_constraints

[PATCH, 2/6] Rename make_restrict_var_constraints to make_param_constraints

2015-10-27 Thread Tom de Vries
On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint handling 2Rename make_restrict_var_constraints to make_param_constraints

Re: [PATCH, PR67742] Handle restrict struct fields recursively

2015-10-27 Thread Tom de Vries
On 27/10/15 08:25, Tom de Vries wrote: @@ -5968,7 +5990,16 @@ intra_create_variable_infos (struct function *fn) for (; p; p = vi_next (p)) { if (p->only_restrict_pointers) - make_constraint_from_global_restrict (p, "PARM_

[PATCH, 1/6] Simplify constraint handling

2015-10-27 Thread Tom de Vries
On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint handling 2Rename make_restrict_var_constraints to make_param_constraints

[PATCH] Improving alias dumps

2015-10-28 Thread Tom de Vries
On 26/10/15 14:29, Richard Biener wrote: On Mon, Oct 26, 2015 at 1:26 PM, Tom de Vries <tom_devr...@mentor.com> wrote: Hi, After spending some time looking at ealias/pta dumps, I realized that they're hard to understand because we use varinfo names to identify varinfos, while those

Re: [PATCH, 1/6] Simplify constraint handling

2015-10-29 Thread Tom de Vries
On 29/10/15 12:13, Richard Biener wrote: On Wed, 28 Oct 2015, Tom de Vries wrote: >On 28/10/15 16:35, Richard Biener wrote: > >On Tue, 27 Oct 2015, Tom de Vries wrote: > > > > >On 27/10/15 13:24, Tom de Vries wrote: > > > >Thinking it over a bit more

Re: [PATCH] Improving alias dumps

2015-10-28 Thread Tom de Vries
On 28/10/15 14:01, Richard Biener wrote: On Wed, Oct 28, 2015 at 1:04 PM, Tom de Vries <tom_devr...@mentor.com> wrote: On 26/10/15 14:29, Richard Biener wrote: On Mon, Oct 26, 2015 at 1:26 PM, Tom de Vries <tom_devr...@mentor.com> wrote: Hi, After spending some time looking a

[PATCH, trivial] Cleanup fipa-pta constraint dumping

2015-10-29 Thread Tom de Vries
dumping 2015-10-29 Tom de Vries <t...@codesourcery.com> * tree-ssa-structalias.c (ipa_pta_execute): Declare variable from as unsigned. Add generic constraints dumping section. Don't dump global initializers constraints dump section if empty. Don't update if unused. --- gcc/tr

Re: [PATCH, 1/6] Simplify constraint handling

2015-10-29 Thread Tom de Vries
On 29/10/15 14:12, Richard Biener wrote: On Thu, 29 Oct 2015, Tom de Vries wrote: >On 29/10/15 12:13, Richard Biener wrote: > >On Wed, 28 Oct 2015, Tom de Vries wrote: > > > > > >On 28/10/15 16:35, Richard Biener wrote: > > > > >

Re: OpenACC constructs nesting checks

2015-10-28 Thread Tom de Vries
On 22/10/15 11:10, Thomas Schwinge wrote: Hi Tom! On Fri, 16 Oct 2015 11:17:25 +0200, Tom de Vries <tom_devr...@mentor.com> wrote: this patch checks for occurance of oacc offload regions in oacc routines (which means nested parallelism, which is currently not supported) and

Re: [PATCH, 1/6] Simplify constraint handling

2015-10-28 Thread Tom de Vries
On 28/10/15 16:35, Richard Biener wrote: On Tue, 27 Oct 2015, Tom de Vries wrote: On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint

Re: [PATCH, 1/6] Simplify constraint handling

2015-10-28 Thread Tom de Vries
On 28/10/15 17:05, Tom de Vries wrote: On 28/10/15 16:35, Richard Biener wrote: On Tue, 27 Oct 2015, Tom de Vries wrote: On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify

Re: [PATCH, 2/6] Rename make_restrict_var_constraints to make_param_constraints

2015-10-28 Thread Tom de Vries
On 28/10/15 16:38, Richard Biener wrote: On Tue, 27 Oct 2015, Tom de Vries wrote: On 27/10/15 13:24, Tom de Vries wrote: Thinking it over a bit more, I realized the constraint handling started to be messy. I've reworked the patch series to simplify that first. 1Simplify constraint

Re: [PATCH] Don't handle CAST_RESTRICT (PR tree-optimization/49279)

2015-10-29 Thread Tom de Vries
around. I suppose we can remove this bit as well. OK for trunk if bootstrap and reg-test succeeds? Thanks, - Tom Allow CAST_RESTRICT folding 2015-10-29 Tom de Vries <t...@codesourcery.com> * fold-const.c (fold_unary_loc): Remove folding inhibition for restrict types. --- gcc/fold-cons

[RFC] Improving alias dumps

2015-10-26 Thread Tom de Vries
Hi, After spending some time looking at ealias/pta dumps, I realized that they're hard to understand because we use varinfo names to identify varinfos, while those names are not necessarily unique. F.i., for a function f: ... void f (int *__restrict__ a, int *__restrict__ b) { *a = 1; *b

Re: [PATCH, 1/2] Add handle_param parameter to create_variable_info_for_1

2015-10-26 Thread Tom de Vries
On 26/10/15 14:42, Richard Biener wrote: On Mon, Oct 26, 2015 at 12:22 PM, Tom de Vries<tom_devr...@mentor.com> wrote: >Hi, > >this no-functional-changes patch copies the restrict var declaration code >from intra_create_variable_infos to create_variable_info_for_1. >

Re: [PATCH, 2/2] Handle recursive restrict pointer in create_variable_info_for_1

2015-10-26 Thread Tom de Vries
On 26/10/15 12:23, Tom de Vries wrote: Hi, this patch enables recursive restrict handling in create_variable_info_for_1. This allows us to interpret all restricts in a function parameter "int *restrict *restrict *restrict a". This patch is the first step towards implementing a g

Re: Partial fix for LTO bootstrap with Ada

2015-10-27 Thread Tom de Vries
[ cc gcc-patches ] On 23/10/15 18:40, Eric Botcazou wrote: --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -5887,7 +5887,10 @@ intra_create_variable_infos (struct function *fn) if (POINTER_TYPE_P (TREE_TYPE (t)) && TYPE_RESTRICT (TREE_TYPE (t))) -

Re: [patch] Add counter inits to zero_iter_bb in expand_omp_for_init_counts

2015-10-28 Thread Tom de Vries
On 23/10/15 16:27, Thomas Schwinge wrote: Hi Jakub and Tom! On Thu, 1 Oct 2015 15:37:26 +0200, Tom de Vries <tom_devr...@mentor.com> wrote: On 01/10/15 14:49, Jakub Jelinek wrote: On Thu, Oct 01, 2015 at 02:46:01PM +0200, Tom de Vries wrote: this patch adds initialization in zero_i

[gomp4, committed] Simplify get_omp_data_i_param

2015-11-08 Thread Tom de Vries
Hi, this patch simplifies get_omp_data_i_param by using ssa_default_def. Committed to gomp-4_0-branch. Thanks, - Tom Simplify get_omp_data_i_param 2015-11-08 Tom de Vries <t...@codesourcery.com> * tree-parloops.c: Include tree-dfa.h. (get_omp_data_i_param): Simplify using ssa_defau

Re: [OpenACC] internal fn folding

2015-11-08 Thread Tom de Vries
On 08/11/15 15:04, Thomas Schwinge wrote: Hi! On Thu, 5 Nov 2015 10:48:02 -0500, Nathan Sidwell wrote: >On 11/04/15 05:02, Bernd Schmidt wrote: > >On 11/02/2015 02:56 PM, Nathan Sidwell wrote: > >>On 10/28/15 14:40, Nathan Sidwell wrote: > >>>Richard, > >>>this patch adds

Re: Combined constructs' clause splitting

2015-11-08 Thread Tom de Vries
ed, hmm, maybe the Fortran front end is doing that differently? Ignore reduction clause on kernels directive 2015-11-08 Tom de Vries <t...@codesourcery.com> * c-omp.c (c_oacc_split_loop_clauses): Don't copy OMP_CLAUSE_REDUCTION, classify as loop clause. --- gcc/c-family/c-omp.c

[gomp4, committed] Add pass_dce in oacc kernels pass group

2015-11-08 Thread Tom de Vries
-branch. Thanks, - Tom Add pass_dce in oacc kernels pass group 2015-11-08 Tom de Vries <t...@codesourcery.com> * passes.def: Add pass_dce in oacc kernels pass group. * tree-parloops.c (dead_load_p): Remove. (ref_conflicts_with_region, oacc_entry_exit_ok_1): Remove handling of dead loads.

[gomp4, committed] Insert IFN_GOACC_DIM_POS for oacc kernels call in parloops

2015-11-08 Thread Tom de Vries
Hi, this patch postpones insertion of the IFN_GOACC_DIM_POS call until we actually need it, in parloops. Committed to gomp-4_0-branch. Thanks, - Tom Insert IFN_GOACC_DIM_POS for oacc kernels call in parloops 2015-11-08 Tom de Vries <t...@codesourcery.com> * omp-low.c (lower_omp_

[PATCH, 6/16] Add pass_oacc_kernels

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH, 7/16] Add pass_dominator_oacc_kernels

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH, 8/16] Add pass_ch_oacc_kernels

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH, 2/16] Make create_parallel_loop return void

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH, 5/16] Add in_oacc_kernels_region in struct loop

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH series, 16] Use parloops to parallelize oacc kernels regions

2015-11-09 Thread Tom de Vries
that enables accelerator testing (which is submitted at https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01771.html ). I'll post the individual patches in reply to this message. Thanks, - Tom --- 1 Insert new exit block only when needed in transform_to_exit_first_loop_alt 2015-06-30 Tom de Vries &l

[PATCH, 1/16] Insert new exit block only when needed in transform_to_exit_first_loop_alt

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

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

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

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

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[gomp4, committed] Remove omp-low.h include

2015-11-08 Thread Tom de Vries
Hi, this patch removes a superfluous include in tree-ssa-dom.c. Committed to gomp-4_0-branch. Thanks, - Tom Remove omp-low.h include 2015-11-08 Tom de Vries <t...@codesourcery.com> * tree-ssa-dom.c: Remove omp-low.h include. --- gcc/tree-ssa-dom.c | 1 - 1 file changed, 1 de

[gomp4, committed] Add dominator_base::may_peel_loop_headers_p

2015-11-08 Thread Tom de Vries
dominator_base::may_peel_loop_headers_p 2015-11-08 Tom de Vries <t...@codesourcery.com> * tree-ssa-dom.c (dominator_base::may_peel_loop_headers_p) (pass_dominator::may_peel_loop_headers_p) (pass_dominator_oacc_kernels::may_peel_loop_headers_p):: New function. (dominator_base::execute

[gomp4,committed] Revert "Add pass_dominator::jump_threading_p ()"

2015-11-08 Thread Tom de Vries
Hi, this patch reverts the patch that added pass_dominator::jump_threading_p. We no longer require this functionality for the oacc kernels pass group. Committed to gomp-4_0-branch. Thanks, - Tom Revert "Add pass_dominator::jump_threading_p ()" 2015-11-08 Tom de

[gomp4, committed] Remove superfluous pass_expand_omp_ssa

2015-11-08 Thread Tom de Vries
pass_expand_omp_ssa 2015-11-08 Tom de Vries <t...@codesourcery.com> * passes.def: Remove superfluous pass_expand_omp_ssa. --- gcc/passes.def | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/passes.def b/gcc/passes.def index 2420b3b..a7fd9a7 100644 --- a/gcc/passes.def +++ b/gcc/passes.def @@

[PATCH, 14/16] Add gfortran.dg/goacc/kernels-*.f95

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH, 16/16] Add libgomp.oacc-fortran/kernels-*.f95

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

[PATCH, 9/16] Add pass_parallelize_loops_oacc_kernels

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

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

2015-11-09 Thread Tom de Vries
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 new exit block only when needed

<    3   4   5   6   7   8   9   10   11   12   >