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
+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>
+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>
--- /dev/null
+/* { 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" } } */
/* 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)));
}