r243073 - in /branches/ARM/sve-branch/gcc: tree...

[rsandifo@gcc.gnu.org]

Author: rsandifo
Date: Wed Nov 30 19:09:14 2016
New Revision: 243073

URL: https://gcc.gnu.org/viewcvs?rev=243073&root=gcc&view=rev
Log:
Add support for sinking stores in reductions

[Branch only patch -- not intended for trunk in its current state]

The initial version of the patch added support for sinking stores
in potential reductions, using an alias check where necessary.  E.g.:

  for (int i = 0; i < n; ++i)
    *foo += a[i];

where there's no proof at compile time that "foo" and a[] don't
overlap.  In the end we had to disable it, but hopefully it won't
take too much work to resurrect it.

Clearly this cannot go into trunk in its current state.

Modified:
    branches/ARM/sve-branch/gcc/tree-if-conv.c
    branches/ARM/sve-branch/gcc/tree-parloops.c
    branches/ARM/sve-branch/gcc/tree-parloops.h
    branches/ARM/sve-branch/gcc/tree-vect-data-refs.c
    branches/ARM/sve-branch/gcc/tree-vect-loop-manip.c
    branches/ARM/sve-branch/gcc/tree-vect-loop.c
    branches/ARM/sve-branch/gcc/tree-vectorizer.c
    branches/ARM/sve-branch/gcc/tree-vectorizer.h