libgcc/sync.c

   1 /* Out-of-line libgcc versions of __sync_* builtins.  */
   2 /* Copyright (C) 2008, 2009, 2011  Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 for more details.
  15
  16 Under Section 7 of GPL version 3, you are granted additional
  17 permissions described in the GCC Runtime Library Exception, version
  18 3.1, as published by the Free Software Foundation.
  19
  20 You should have received a copy of the GNU General Public License and
  21 a copy of the GCC Runtime Library Exception along with this program;
  22 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  23 <http://www.gnu.org/licenses/>.  */
  24
  25 /* This file is used by targets whose makefiles define SYNC
  26    to "yes".  It is compiled with SYNC_CFLAGS and provides
  27    out-of-line versions of all relevant __sync_* primitives.
  28
  29    These routines are intended for targets like MIPS that have two
  30    ISA encodings (the "normal" ISA and the MIPS16 ISA).  The normal
  31    ISA provides full synchronization capabilities but the MIPS16 ISA
  32    has no encoding for them.  MIPS16 code must therefore call external
  33    non-MIPS16 implementations of the __sync_* routines.
  34
  35    The file is compiled once for each routine.  The following __foo
  36    routines are selected by defining a macro called L<foo>:
  37
  38        __sync_synchronize
  39
  40    The following __foo_N routines are selected by defining FN=foo
  41    and SIZE=N:
  42
  43        __sync_fetch_and_add_N
  44        __sync_fetch_and_sub_N
  45        __sync_fetch_and_or_N
  46        __sync_fetch_and_and_N
  47        __sync_fetch_and_xor_N
  48        __sync_fetch_and_nand_N
  49        __sync_add_and_fetch_N
  50        __sync_sub_and_fetch_N
  51        __sync_or_and_fetch_N
  52        __sync_and_and_fetch_N
  53        __sync_xor_and_fetch_N
  54        __sync_nand_and_fetch_N
  55        __sync_bool_compare_and_swap_N
  56        __sync_val_compare_and_swap_N
  57        __sync_lock_test_and_set_N
  58
  59    SIZE can be 1, 2, 4, 8 or 16.  __foo_N is omitted if the target does
  60    not provide __sync_compare_and_swap_N.
  61
  62    Note that __sync_lock_release does not fall back on external
  63    __sync_lock_release_N functions.  The default implementation
  64    of __sync_lock_release is a call to __sync_synchronize followed
  65    by a store of zero, so we don't need separate library functions
  66    for it.  */
  67
  68 #if defined FN
  69
  70 /* Define macros for each __sync_* function type.  Each macro defines a
  71    local function called <NAME>_<UNITS> that acts like __<NAME>_<UNITS>.
  72    TYPE is a type that has UNITS bytes.  */
  73
  74 #define DEFINE_V_PV(NAME, UNITS, TYPE)                                  \
  75   static TYPE                                                           \
  76   NAME##_##UNITS (TYPE *ptr, TYPE value)                                \
  77   {                                                                     \
  78     return __##NAME (ptr, value);                                       \
  79   }
  80
  81 #define DEFINE_V_PVV(NAME, UNITS, TYPE)                         \
  82   static TYPE                                                           \
  83   NAME##_##UNITS (TYPE *ptr, TYPE value1, TYPE value2)                  \
  84   {                                                                     \
  85     return __##NAME (ptr, value1, value2);                              \
  86   }
  87
  88 #define DEFINE_BOOL_PVV(NAME, UNITS, TYPE)                              \
  89   static _Bool                                                          \
  90   NAME##_##UNITS (TYPE *ptr, TYPE value1, TYPE value2)                  \
  91   {                                                                     \
  92     return __##NAME (ptr, value1, value2);                              \
  93   }
  94
  95 /* Map function names to the appropriate DEFINE_* macro.  */
  96
  97 #define local_sync_fetch_and_add DEFINE_V_PV
  98 #define local_sync_fetch_and_sub DEFINE_V_PV
  99 #define local_sync_fetch_and_or DEFINE_V_PV
 100 #define local_sync_fetch_and_and DEFINE_V_PV
 101 #define local_sync_fetch_and_xor DEFINE_V_PV
 102 #define local_sync_fetch_and_nand DEFINE_V_PV
 103
 104 #define local_sync_add_and_fetch DEFINE_V_PV
 105 #define local_sync_sub_and_fetch DEFINE_V_PV
 106 #define local_sync_or_and_fetch DEFINE_V_PV
 107 #define local_sync_and_and_fetch DEFINE_V_PV
 108 #define local_sync_xor_and_fetch DEFINE_V_PV
 109 #define local_sync_nand_and_fetch DEFINE_V_PV
 110
 111 #define local_sync_bool_compare_and_swap DEFINE_BOOL_PVV
 112 #define local_sync_val_compare_and_swap DEFINE_V_PVV
 113
 114 #define local_sync_lock_test_and_set DEFINE_V_PV
 115
 116 /* Define the function __<NAME>_<UNITS>, given that TYPE is a type with
 117    UNITS bytes.  */
 118 #define DEFINE1(NAME, UNITS, TYPE) \
 119   static int unused[sizeof (TYPE) == UNITS ? 1 : -1]    \
 120     __attribute__((unused));                            \
 121   local_##NAME (NAME, UNITS, TYPE);                     \
 122   typeof (NAME##_##UNITS) __##NAME##_##UNITS            \
 123     __attribute__((alias (#NAME "_" #UNITS)));
 124
 125 /* As above, but performing macro expansion on the arguments.  */
 126 #define DEFINE(NAME, UNITS, TYPE) DEFINE1 (NAME, UNITS, TYPE)
 127
 128 /* Find an appropriate type TYPE for SIZE and invoke DEFINE (FN, SIZE, TYPE).
 129
 130    The types chosen here may be incorrect for some targets.
 131    For example, targets with 16-byte atomicity support might not
 132    support OImode.  We would need some kind of target-specific
 133    override if that becomes a problem.  */
 134
 135 #if SIZE == 1 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1
 136
 137 typedef unsigned int UQItype __attribute__((mode (QI)));
 138 DEFINE (FN, 1, UQItype)
 139
 140 #elif SIZE == 2 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2
 141
 142 typedef unsigned int UHItype __attribute__((mode (HI)));
 143 DEFINE (FN, 2, UHItype)
 144
 145 #elif SIZE == 4 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4
 146
 147 typedef unsigned int USItype __attribute__((mode (SI)));
 148 DEFINE (FN, 4, USItype)
 149
 150 #elif SIZE == 8 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8
 151
 152 typedef unsigned int UDItype __attribute__((mode (DI)));
 153 DEFINE (FN, 8, UDItype)
 154
 155 #elif SIZE == 16 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_16
 156
 157 typedef unsigned int UOItype __attribute__((mode (OI)));
 158 DEFINE (FN, 8, UOItype)
 159
 160 #endif
 161
 162 #elif __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1 \
 163       || __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2 \
 164       || __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4 \
 165       || __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8 \
 166       || __GCC_HAVE_SYNC_COMPARE_AND_SWAP_16
 167
 168 #if defined Lsync_synchronize
 169
 170 static void
 171 sync_synchronize (void)
 172 {
 173   __sync_synchronize ();
 174 }
 175 typeof (sync_synchronize) __sync_synchronize \
 176   __attribute__((alias ("sync_synchronize")));
 177
 178 #endif
 179
 180 #endif