+2016-11-16 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/78348
+ * tree-loop-distribution.c (enum partition_kind): Add PKIND_MEMMOVE.
+ (generate_memcpy_builtin): Honor PKIND_MEMCPY on the partition.
+ (classify_partition): Set PKIND_MEMCPY if dependence analysis
+ revealed no dependency, PKIND_MEMMOVE otherwise.
+
2016-11-16 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/77823
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-O3 -fdump-tree-ldist-details" } */
+
+typedef struct S {
+ double z[8][25];
+ double x1[8][40];
+ double x2[8][40];
+ double y[8][35];
+} S;
+
+S * par;
+void foo ()
+{
+ int i, j;
+ for (i = 0; i<8; i++)
+ for (j = 0; j<35; j++)
+ {
+ par->x1[i][j] = par->x2[i][j];
+ par->x2[i][j] = 0.0;
+ }
+}
+
+/* { dg-final { scan-tree-dump "generated memcpy" "ldist" } } */
+/* { dg-final { scan-tree-dump "generated memset zero" "ldist" } } */
enum partition_kind {
- PKIND_NORMAL, PKIND_MEMSET, PKIND_MEMCPY
+ PKIND_NORMAL, PKIND_MEMSET, PKIND_MEMCPY, PKIND_MEMMOVE
};
struct partition
false, GSI_CONTINUE_LINKING);
dest = build_addr_arg_loc (loc, partition->main_dr, nb_bytes);
src = build_addr_arg_loc (loc, partition->secondary_dr, nb_bytes);
- if (ptr_derefs_may_alias_p (dest, src))
- kind = BUILT_IN_MEMMOVE;
- else
+ if (partition->kind == PKIND_MEMCPY
+ || ! ptr_derefs_may_alias_p (dest, src))
kind = BUILT_IN_MEMCPY;
+ else
+ kind = BUILT_IN_MEMMOVE;
dest = force_gimple_operand_gsi (&gsi, dest, true, NULL_TREE,
false, GSI_CONTINUE_LINKING);
break;
case PKIND_MEMCPY:
+ case PKIND_MEMMOVE:
generate_memcpy_builtin (loop, partition);
break;
return;
}
}
+ partition->kind = PKIND_MEMMOVE;
}
+ else
+ partition->kind = PKIND_MEMCPY;
free_dependence_relation (ddr);
loops.release ();
- partition->kind = PKIND_MEMCPY;
partition->main_dr = single_store;
partition->secondary_dr = single_load;
partition->niter = nb_iter;