diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-09-16 08:50:46 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-09-16 08:50:46 +0000 |
| commit | d4993ceea8a9dd8d5650f01631399fe6f2fabcfd (patch) | |
| tree | 89ab08745815f374219ed6e82d3b8d681e4529c1 /gcc | |
| parent | 8be3e890f81388a70300cac1a8f4ad0f44a0149f (diff) | |
| download | gcc-d4993ceea8a9dd8d5650f01631399fe6f2fabcfd.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@151740 138bc75d-0d04-0410-961f-82ee72b054a4
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 8eca8bad3bc..00f964ee401 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 1f8eb2e855e..f2ba9735f8f 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 00000000000..f8e15f34486 --- /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 eef2f4324a9..fdb33378bee 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))); } |