Re: Aliasing: look through pointer's def stmt

[Marc Glisse]

On Fri, 25 Oct 2013, Richard Biener wrote:

you can followup with handling POINTER_PLUS_EXPR if you like.

Like this? (bootstrap+testsuite on x86_64-unknown-linux-gnu)

2013-10-26  Marc Glisse  <marc.gli...@inria.fr>

gcc/
        * tree-ssa-alias.c (ao_ref_init_from_ptr_and_size): Look for a
        POINTER_PLUS_EXPR in the defining statement.

gcc/testsuite/
        * gcc.dg/tree-ssa/alias-24.c: New file.

--
Marc Glisse
Index: gcc/testsuite/gcc.dg/tree-ssa/alias-24.c
===================================================================
--- gcc/testsuite/gcc.dg/tree-ssa/alias-24.c    (revision 0)
+++ gcc/testsuite/gcc.dg/tree-ssa/alias-24.c    (working copy)
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+void f (const char *c, int *i)
+{
+  *i = 42;
+  __builtin_memcpy (i + 1, c, sizeof (int));
+  if (*i != 42) __builtin_abort();
+}
+
+/* { dg-final { scan-tree-dump-not "abort" "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */
+

Property changes on: gcc/testsuite/gcc.dg/tree-ssa/alias-24.c
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Author Date Id Revision URL
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: gcc/tree-ssa-alias.c
===================================================================
--- gcc/tree-ssa-alias.c        (revision 204071)
+++ gcc/tree-ssa-alias.c        (working copy)
@@ -567,20 +567,28 @@ void
 ao_ref_init_from_ptr_and_size (ao_ref *ref, tree ptr, tree size)
 {
   HOST_WIDE_INT t1, t2;
   ref->ref = NULL_TREE;
   if (TREE_CODE (ptr) == SSA_NAME)
     {
       gimple stmt = SSA_NAME_DEF_STMT (ptr);
       if (gimple_assign_single_p (stmt)
          && gimple_assign_rhs_code (stmt) == ADDR_EXPR)
        ptr = gimple_assign_rhs1 (stmt);
+      else if (is_gimple_assign (stmt)
+              && gimple_assign_rhs_code (stmt) == POINTER_PLUS_EXPR
+              && host_integerp (gimple_assign_rhs2 (stmt), 1))
+       {
+         ao_ref_init_from_ptr_and_size (ref, gimple_assign_rhs1 (stmt), size);
+         ref->offset += 8 * TREE_INT_CST_LOW (gimple_assign_rhs2 (stmt));
+         return;
+       }
     }
 
   if (TREE_CODE (ptr) == ADDR_EXPR)
     ref->base = get_ref_base_and_extent (TREE_OPERAND (ptr, 0),
                                         &ref->offset, &t1, &t2);
   else
     {
       ref->base = build2 (MEM_REF, char_type_node,
                          ptr, null_pointer_node);
       ref->offset = 0;