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/tree-flow-inline.h | |
| 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/tree-flow-inline.h')
| -rw-r--r-- | gcc/tree-flow-inline.h | 10 |
1 files changed, 8 insertions, 2 deletions
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))); } |