diff options
| author | Richard Guenther <rguenther@suse.de> | 2009-09-16 08:50:46 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2009-09-16 08:50:46 +0000 |
| commit | 4075e7e8dcbb00abdd1f02e54d3328ed86644fbd (patch) | |
| tree | 89ab08745815f374219ed6e82d3b8d681e4529c1 /gcc | |
| parent | 50cb834f7b62f6ea941c42f29841d10372d26804 (diff) | |
| download | gcc-4075e7e8dcbb00abdd1f02e54d3328ed86644fbd.zip gcc-4075e7e8dcbb00abdd1f02e54d3328ed86644fbd.tar.gz gcc-4075e7e8dcbb00abdd1f02e54d3328ed86644fbd.tar.bz2 | |
re PR tree-optimization/34011 (Memory load is not eliminated from tight vectorized loop)
2009-09-16 Richard Guenther <rguenther@suse.de>
PR middle-end/34011
* tree-flow-inline.h (may_be_aliased): Compute readonly variables
as non-aliased.
* gcc.dg/tree-ssa/ssa-lim-7.c: New testcase.
From-SVN: r151740
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-7.c | 15 | ||||
| -rw-r--r-- | gcc/tree-flow-inline.h | 10 |
4 files changed, 34 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8eca8ba..00f964e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2009-09-16 Richard Guenther <rguenther@suse.de> + + PR middle-end/34011 + * tree-flow-inline.h (may_be_aliased): Compute readonly variables + as non-aliased. + 2009-09-16 DJ Delorie <dj@redhat.com> Kaz Kojima <kkojima@gcc.gnu.org> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1f8eb2e..f2ba973 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-09-16 Richard Guenther <rguenther@suse.de> + + PR middle-end/34011 + * gcc.dg/tree-ssa/ssa-lim-7.c: New testcase. + 2009-09-16 DJ Delorie <dj@redhat.com> Kaz Kojima <kkojima@gcc.gnu.org> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-7.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-7.c new file mode 100644 index 0000000..f8e15f3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-7.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-lim1-details" } */ + +extern const int srcshift; + +void foo (int *srcdata, int *dstdata) +{ + int i; + + for (i = 0; i < 256; i++) + dstdata[i] = srcdata[i] << srcshift; +} + +/* { dg-final { scan-tree-dump "Moving statement" "lim1" } } */ +/* { dg-final { cleanup-tree-dump "lim1" } } */ diff --git a/gcc/tree-flow-inline.h b/gcc/tree-flow-inline.h index eef2f43..fdb3337 100644 --- a/gcc/tree-flow-inline.h +++ b/gcc/tree-flow-inline.h @@ -616,12 +616,18 @@ is_global_var (const_tree t) /* Return true if VAR may be aliased. A variable is considered as maybe aliased if it has its address taken by the local TU - or possibly by another TU. */ + or possibly by another TU and might be modified through a pointer. */ static inline bool may_be_aliased (const_tree var) { - return (TREE_PUBLIC (var) || DECL_EXTERNAL (var) || TREE_ADDRESSABLE (var)); + return (TREE_CODE (var) != CONST_DECL + && !((TREE_STATIC (var) || TREE_PUBLIC (var) || DECL_EXTERNAL (var)) + && TREE_READONLY (var) + && !TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (var))) + && (TREE_PUBLIC (var) + || DECL_EXTERNAL (var) + || TREE_ADDRESSABLE (var))); } |