OSDN Git Service

m68k-linux: Implement atomic operations via syscall.
authorrth <rth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 26 Nov 2011 23:57:37 +0000 (23:57 +0000)
committerrth <rth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 26 Nov 2011 23:57:37 +0000 (23:57 +0000)
libgcc/
* config/m68k/linux.h (TARGET_INIT_LIBFUNCS): New.
* config/m68k/m68k.c (m68k_init_sync_libfuncs): New.
gcc/
* config/m68k/linux-atomic.c: New file.
* config/m68k/t-linux: New file.
* config.host (m68k-uclinux, m68k-linux): Use it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181746 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/config/m68k/linux.h
gcc/config/m68k/m68k.c
libgcc/ChangeLog
libgcc/config.host
libgcc/config/m68k/linux-atomic.c [new file with mode: 0644]
libgcc/config/m68k/t-linux [new file with mode: 0644]

index e20b3f6..0411978 100644 (file)
@@ -1,3 +1,8 @@
+2011-11-26  Richard Henderson  <rth@redhat.com>
+
+       * config/m68k/linux.h (TARGET_INIT_LIBFUNCS): New.
+       * config/m68k/m68k.c (m68k_init_sync_libfuncs): New.
+
 2011-11-26  Nathan Sidwell  <nathan@acm.org>
 
        PR gcov-profile/51297
index 70738d2..325faf7 100644 (file)
@@ -235,3 +235,7 @@ along with GCC; see the file COPYING3.  If not see
 
 #undef  WCHAR_TYPE_SIZE
 #define WCHAR_TYPE_SIZE BITS_PER_WORD
+
+/* Install the __sync libcalls.  */
+#undef TARGET_INIT_LIBFUNCS
+#define TARGET_INIT_LIBFUNCS  m68k_init_sync_libfuncs
index 51a04ed..61267a8 100644 (file)
@@ -47,6 +47,7 @@ along with GCC; see the file COPYING3.  If not see
 #include "insn-codes.h"
 #include "ggc.h"
 #include "opts.h"
+#include "optabs.h"
 
 enum reg_class regno_reg_class[] =
 {
@@ -164,6 +165,7 @@ static rtx m68k_function_arg (cumulative_args_t, enum machine_mode,
                              const_tree, bool);
 static bool m68k_cannot_force_const_mem (enum machine_mode mode, rtx x);
 static bool m68k_output_addr_const_extra (FILE *, rtx);
+static void m68k_init_sync_libfuncs (void) ATTRIBUTE_UNUSED;
 \f
 /* Initialize the GCC target structure.  */
 
@@ -6524,4 +6526,10 @@ m68k_conditional_register_usage (void)
     fixed_regs[PIC_REG] = call_used_regs[PIC_REG] = 1;
 }
 
+static void
+m68k_init_sync_libfuncs (void)
+{
+  init_sync_libfuncs (UNITS_PER_WORD);
+}
+
 #include "gt-m68k.h"
index 93c5870..3245438 100644 (file)
@@ -1,5 +1,11 @@
 2011-11-26  Richard Henderson  <rth@redhat.com>
 
+       * config/m68k/linux-atomic.c: New file.
+       * config/m68k/t-linux: New file.
+       * config.host (m68k-uclinux, m68k-linux): Use it.
+
+2011-11-26  Richard Henderson  <rth@redhat.com>
+
        * crtstuff.c (__TMC_LIST__): Mark used not unused.
        (__TMC_END__): Only declare if hidden is available; in the definition,
        if hidden is unavailable add a null record.
index 447c41c..bcab560 100644 (file)
@@ -701,14 +701,14 @@ m68k*-*-netbsdelf*)
        ;;
 m68k*-*-openbsd*)
        ;;
-m68k-*-uclinux*)               # Motorola m68k/ColdFire running uClinux with uClibc
-       tmake_file="$tmake_file m68k/t-floatlib"
+m68k-*-uclinux*)       # Motorola m68k/ColdFire running uClinux with uClibc
+       tmake_file="$tmake_file m68k/t-floatlib m68k/t-linux"
        md_unwind_header=m68k/linux-unwind.h
        ;;
 m68k-*-linux*)                 # Motorola m68k's running GNU/Linux
                                # with ELF format using glibc 2
                                # aka the GNU/Linux C library 6.
-       tmake_file="$tmake_file m68k/t-floatlib"
+       tmake_file="$tmake_file m68k/t-floatlib m68k/t-linux"
        # If not configured with --enable-sjlj-exceptions, bump the
        # libgcc version number.
        if test x$enable_sjlj_exceptions != xyes; then
diff --git a/libgcc/config/m68k/linux-atomic.c b/libgcc/config/m68k/linux-atomic.c
new file mode 100644 (file)
index 0000000..6e81d6b
--- /dev/null
@@ -0,0 +1,211 @@
+/* Linux-specific atomic operations for m68k Linux.
+   Copyright (C) 2011 Free Software Foundation, Inc.
+   Based on code contributed by CodeSourcery for ARM EABI Linux.
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation; either version 3, or (at your option) any later
+version.
+
+GCC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+Under Section 7 of GPL version 3, you are granted additional
+permissions described in the GCC Runtime Library Exception, version
+3.1, as published by the Free Software Foundation.
+
+You should have received a copy of the GNU General Public License and
+a copy of the GCC Runtime Library Exception along with this program;
+see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+<http://www.gnu.org/licenses/>.  */
+
+/* Coldfire dropped the CAS instruction from the base M68K ISA.
+
+   GCC automatically issues a asm memory barrier when it encounters
+   a __sync_synchronize builtin.  Thus, we do not need to define this
+   builtin.
+
+   We implement byte, short and int versions of each atomic operation
+   using the kernel helper defined below.  There is no support for
+   64-bit operations yet.  */
+
+#include <asm/unistd.h>
+#include <stdbool.h>
+
+#ifndef __NR_atomic_cmpxchg_32
+#define __NR_atomic_cmpxchg_32  335
+#endif
+
+/* Kernel helper for compare-and-exchange a 32-bit value.  */
+static inline unsigned
+__kernel_cmpxchg (unsigned *mem, unsigned oldval, unsigned newval)
+{
+  register unsigned *a0 asm("a0") = mem;
+  register unsigned d2 asm("d2") = oldval;
+  register unsigned d1 asm("d1") = newval;
+  register unsigned d0 asm("d0") = __NR_atomic_cmpxchg_32;
+
+  asm volatile ("trap #0"
+               : "=r"(d0), "=r"(d1), "=r"(a0)
+               : "r"(d0), "r"(d1), "r"(d2), "r"(a0)
+               : "memory", "a1");
+
+  return d0;
+}
+
+#define HIDDEN __attribute__ ((visibility ("hidden")))
+
+/* Big endian masks  */
+#define INVERT_MASK_1 24
+#define INVERT_MASK_2 16
+
+#define MASK_1 0xffu
+#define MASK_2 0xffffu
+
+#define NAME_oldval(OP, WIDTH) __sync_fetch_and_##OP##_##WIDTH
+#define NAME_newval(OP, WIDTH) __sync_##OP##_and_fetch_##WIDTH
+
+#define WORD_SYNC_OP(OP, PFX_OP, INF_OP, RETURN)                       \
+  unsigned HIDDEN                                                      \
+  NAME##_##RETURN (OP, 4) (unsigned *ptr, unsigned val)                        \
+  {                                                                    \
+    unsigned oldval, newval, cmpval = *ptr;                            \
+                                                                       \
+    do {                                                               \
+      oldval = cmpval;                                                 \
+      newval = PFX_OP (oldval INF_OP val);                             \
+      cmpval = __kernel_cmpxchg (ptr, oldval, newval);                 \
+    } while (__builtin_expect (oldval != cmpval, 0));                  \
+                                                                       \
+    return RETURN;                                                     \
+  }
+
+#define SUBWORD_SYNC_OP(OP, PFX_OP, INF_OP, TYPE, WIDTH, RETURN)       \
+  TYPE HIDDEN                                                          \
+  NAME##_##RETURN (OP, WIDTH) (TYPE *ptr, TYPE sval)                   \
+  {                                                                    \
+    unsigned *wordptr = (unsigned *) ((unsigned long) ptr & ~3);       \
+    unsigned int mask, shift, oldval, newval, cmpval, wval;            \
+                                                                       \
+    shift = (((unsigned long) ptr & 3) << 3) ^ INVERT_MASK_##WIDTH;    \
+    mask = MASK_##WIDTH << shift;                                      \
+    wval = (sval & MASK_##WIDTH) << shift;                             \
+                                                                       \
+    cmpval = *wordptr;                                                 \
+    do {                                                               \
+      oldval = cmpval;                                                 \
+      newval = PFX_OP (oldval INF_OP wval);                            \
+      newval = (newval & mask) | (oldval & ~mask);                     \
+      cmpval = __kernel_cmpxchg (wordptr, oldval, newval);             \
+    } while (__builtin_expect (oldval != cmpval, 0));                  \
+                                                                       \
+    return (RETURN >> shift) & MASK_##WIDTH;                           \
+  }
+
+WORD_SYNC_OP (add,   , +, oldval)
+WORD_SYNC_OP (sub,   , -, oldval)
+WORD_SYNC_OP (or,    , |, oldval)
+WORD_SYNC_OP (and,   , &, oldval)
+WORD_SYNC_OP (xor,   , ^, oldval)
+WORD_SYNC_OP (nand, ~, &, oldval)
+
+SUBWORD_SYNC_OP (add,   , +, unsigned short, 2, oldval)
+SUBWORD_SYNC_OP (sub,   , -, unsigned short, 2, oldval)
+SUBWORD_SYNC_OP (or,    , |, unsigned short, 2, oldval)
+SUBWORD_SYNC_OP (and,   , &, unsigned short, 2, oldval)
+SUBWORD_SYNC_OP (xor,   , ^, unsigned short, 2, oldval)
+SUBWORD_SYNC_OP (nand, ~, &, unsigned short, 2, oldval)
+
+SUBWORD_SYNC_OP (add,   , +, unsigned char, 1, oldval)
+SUBWORD_SYNC_OP (sub,   , -, unsigned char, 1, oldval)
+SUBWORD_SYNC_OP (or,    , |, unsigned char, 1, oldval)
+SUBWORD_SYNC_OP (and,   , &, unsigned char, 1, oldval)
+SUBWORD_SYNC_OP (xor,   , ^, unsigned char, 1, oldval)
+SUBWORD_SYNC_OP (nand, ~, &, unsigned char, 1, oldval)
+
+WORD_SYNC_OP (add,   , +, newval)
+WORD_SYNC_OP (sub,   , -, newval)
+WORD_SYNC_OP (or,    , |, newval)
+WORD_SYNC_OP (and,   , &, newval)
+WORD_SYNC_OP (xor,   , ^, newval)
+WORD_SYNC_OP (nand, ~, &, newval)
+
+SUBWORD_SYNC_OP (add,   , +, unsigned short, 2, newval)
+SUBWORD_SYNC_OP (sub,   , -, unsigned short, 2, newval)
+SUBWORD_SYNC_OP (or,    , |, unsigned short, 2, newval)
+SUBWORD_SYNC_OP (and,   , &, unsigned short, 2, newval)
+SUBWORD_SYNC_OP (xor,   , ^, unsigned short, 2, newval)
+SUBWORD_SYNC_OP (nand, ~, &, unsigned short, 2, newval)
+
+SUBWORD_SYNC_OP (add,   , +, unsigned char, 1, newval)
+SUBWORD_SYNC_OP (sub,   , -, unsigned char, 1, newval)
+SUBWORD_SYNC_OP (or,    , |, unsigned char, 1, newval)
+SUBWORD_SYNC_OP (and,   , &, unsigned char, 1, newval)
+SUBWORD_SYNC_OP (xor,   , ^, unsigned char, 1, newval)
+SUBWORD_SYNC_OP (nand, ~, &, unsigned char, 1, newval)
+
+unsigned HIDDEN
+__sync_val_compare_and_swap_4 (unsigned *ptr, unsigned oldval, unsigned newval)
+{
+  return __kernel_cmpxchg (ptr, oldval, newval);
+}
+
+bool HIDDEN
+__sync_bool_compare_and_swap_4 (unsigned *ptr, unsigned oldval,
+                               unsigned newval)
+{
+  return __kernel_cmpxchg (ptr, oldval, newval) == oldval;
+}
+
+#define SUBWORD_VAL_CAS(TYPE, WIDTH)                                   \
+  TYPE HIDDEN                                                          \
+  __sync_val_compare_and_swap_##WIDTH (TYPE *ptr, TYPE soldval,                \
+                                      TYPE snewval)                    \
+  {                                                                    \
+    unsigned *wordptr = (unsigned *)((unsigned long) ptr & ~3);                \
+    unsigned int mask, shift, woldval, wnewval;                                \
+    unsigned oldval, newval, cmpval;                                   \
+                                                                       \
+    shift = (((unsigned long) ptr & 3) << 3) ^ INVERT_MASK_##WIDTH;    \
+    mask = MASK_##WIDTH << shift;                                      \
+    woldval = (soldval & MASK_##WIDTH) << shift;                       \
+    wnewval = (snewval & MASK_##WIDTH) << shift;                       \
+    cmpval = *wordptr;                                                 \
+                                                                       \
+    do {                                                               \
+      oldval = cmpval;                                                 \
+      if ((oldval & mask) != woldval)                                  \
+       break;                                                          \
+      newval = (oldval & ~mask) | wnewval;                             \
+      cmpval = __kernel_cmpxchg (wordptr, oldval, newval);             \
+    } while (__builtin_expect (oldval != cmpval, 0));                  \
+                                                                       \
+    return (oldval >> shift) & MASK_##WIDTH;                           \
+  }
+
+SUBWORD_VAL_CAS (unsigned short, 2)
+SUBWORD_VAL_CAS (unsigned char,  1)
+
+#define SUBWORD_BOOL_CAS(TYPE, WIDTH)                                  \
+  bool HIDDEN                                                          \
+  __sync_bool_compare_and_swap_##WIDTH (TYPE *ptr, TYPE oldval,                \
+                                       TYPE newval)                    \
+  {                                                                    \
+    return (__sync_val_compare_and_swap_##WIDTH (ptr, oldval, newval)  \
+           == oldval);                                                 \
+  }
+
+SUBWORD_BOOL_CAS (unsigned short, 2)
+SUBWORD_BOOL_CAS (unsigned char,  1)
+
+#undef NAME_oldval
+#define NAME_oldval(OP, WIDTH) __sync_lock_##OP##_##WIDTH
+#define COMMA ,
+
+WORD_SYNC_OP (test_and_set, , COMMA, oldval)
+SUBWORD_SYNC_OP (test_and_set, , COMMA, unsigned short, 1, oldval)
+SUBWORD_SYNC_OP (test_and_set, , COMMA, unsigned short, 2, oldval)
diff --git a/libgcc/config/m68k/t-linux b/libgcc/config/m68k/t-linux
new file mode 100644 (file)
index 0000000..06f0fe0
--- /dev/null
@@ -0,0 +1 @@
+LIB2ADD_ST = $(srcdir)/config/m68k/linux-atomic.c