* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Add support for

        TM vector loads.  Add support for TM logging builtins.
        (call_may_clobber_ref_p_1): Add support for vector stores.
        * trans-mem.c (tm_log_emit_stmt): Add support for vectors.
        * calls.c (special_function_p): Add support for TM vector loads.
        Add support for TM logging builtins.
        * gtm-builtins.def (BUILT_IN_TM_LOG*): Remove 'pure' attribute.
        Add vector log variants.
        * tree-ssa-structalias.c (find_func_aliases): Add support for TM
        vector stores and loads.
        * config/i386/i386.c (bdesc_tm): Add BUILT_IN_TM_LOG* variants.
        (ix86_init_tm_builtins): Add support for TM logging builtins.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/transactional-memory@160765 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 30 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/tm/memopt-15.c b/gcc/testsuite/gcc.dg/tm/memopt-15.c
new file mode 100644
index 00000000000..00a6f053b1a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tm/memopt-15.c
@@ -0,0 +1,30 @@
+/* { dg-do compile { target { x86_64-*-linux* } } } */
+/* { dg-options "-fgnu-tm -O" } */
+
+/* Test the TM vector logging functions.  */
+
+typedef int __attribute__((vector_size (16))) vectype;
+extern int something(void) __attribute__((transaction_safe));
+extern void *malloc (__SIZE_TYPE__) __attribute__((malloc,transaction_safe));
+
+vectype vecky;
+
+vectype f()
+{
+  vectype *p;
+
+  p = malloc (sizeof (*p) * 100);
+
+  __transaction {
+    /* p[5] is thread private, but not transaction local since the
+       malloc is outside of the transaction.  We can use the logging
+       functions for this.  */
+    p[5] = vecky;
+
+    if (something())
+      __transaction_cancel;
+  }
+  return p[5];
+}
+
+/* { dg-final { scan-assembler "_ITM_LM128" } } */