[4.9] Additional SLM tuning. Backport from trunk.

2014-11-24  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/55334
    * function.h (struct function): Add last_clique member.
    * tree-inline.c (remap_dependence_clique): New function.
    (remap_gimple_op_r): Remap dependence cliques in MEM_REFs.
    (copy_tree_body_r): Likewise.
    (copy_cfg_body): Free dependence map.
    (copy_gimple_seq_and_replace_locals): Likewise.
    * tree-pretty-print.c (dump_generic_node): Dump
    dependence info.
    * tree-ssa-alias.c (refs_may_alias_p_1): Use dependence info
    to answer alias query.
    * tree-ssa-structalias.c: Include tree-phinodes.h, ssa-iterators.h,
    tree-pretty-print.h and gimple-walk.h.
    (struct variable_info): Add is_restrict_var flag and ruid
    member.
    (new_var_info): Initialize is_restrict_var.
    (make_constraint_from_restrict): Likewise.
    (create_variable_info_for): Exclude restricts from global vars
    from new handling.
    (intra_create_variable_infos): But not those from parameters.
    (visit_loadstore): New function.
    (maybe_set_dependence_info): Likewise.
    (compute_dependence_clique): Likewise.
    (compute_may_aliases): Call compute_dependence_clique.
    * tree-data-ref.c (dr_analyze_indices): Copy dependence info
    to fake MEM_REF.
    (dr_may_alias_p): Use recorded dependence info to answer
    alias query.
    * tree-core.h (struct tree_base): Add clique, base struct in
    union.
    * tree.h (MR_DEPENDENCE_CLIQUE): New macro.
    (MR_DEPENDENCE_BASE): Likewise.
    * tree-inline.h (dependence_hasher): New hash-map kind.
    (struct copy_body_data): Add dependence_map pointer.
    * tree-streamer-in.c (unpack_value_fields): Stream dependence info.
    * tree-streamer-out.c (streamer_pack_tree_bitfields): Likewise.
    * gcc.dg/tree-ssa/restrict-5.c: New testcase.

Change-Id: I45c8d5eac758aea881a884c131f627cc916cbaf3
Signed-off-by: Andrew Senkevich <andrew.senkevich@intel.com>

1 files changed, 24 insertions, 0 deletions

diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/restrict-5.c b/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/restrict-5.c
new file mode 100644
index 000000000..d6c240aae
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/restrict-5.c
@@ -0,0 +1,24 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fno-strict-aliasing -fdump-tree-lim1-details" } */
+
+static inline __attribute__((always_inline))
+void f(int * __restrict__ r,
+       int a[__restrict__ 16][16],
+       int b[__restrict__ 16][16],
+       int i, int j)
+{
+  int x;
+  *r = 0;
+  for (x = 1; x < 16; ++x)
+    *r = *r + a[i][x] * b[x][j];
+}
+
+void g(int *r, int a[16][16], int b[16][16], int i, int j)
+{
+  f (r, a, b, i ,j);
+}
+
+/* We should apply store motion to the store to *r.  */
+
+/* { dg-final { scan-tree-dump "Executing store motion of \\\*r" "lim1" } } */
+/* { dg-final { cleanup-tree-dump "lim1" } } */