libgcc/config/alpha/libgcc-alpha-ldbl.ver

   1 # Copyright (C) 2006-2017 Free Software Foundation, Inc.
   2 #
   3 # This file is part of GCC.
   4 #
   5 # GCC is free software; you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation; either version 3, or (at your option)
   8 # any later version.
   9 #
  10 # GCC is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with GCC; see the file COPYING3.  If not see
  17 # <http://www.gnu.org/licenses/>.
  18
  19 %ifdef __LONG_DOUBLE_128__
  20
  21 # long double 128 bit support in libgcc_s.so.1 is only available
  22 # when configured with --with-long-double-128.  Make sure all the
  23 # symbols are available at @@GCC_LDBL_* versions to make it clear
  24 # there is a configurable symbol set.
  25
  26 %exclude {
  27   __fixtfdi
  28   __fixunstfdi
  29   __floatditf
  30
  31   __divtc3
  32   __multc3
  33   __powitf2
  34 }
  35
  36 %inherit GCC_LDBL_3.0 GCC_3.0
  37 GCC_LDBL_3.0 {
  38   __fixtfdi
  39   __fixunstfdi
  40   __floatditf
  41 }
  42
  43 %inherit GCC_LDBL_4.0.0 GCC_4.0.0
  44 GCC_LDBL_4.0.0 {
  45   __divtc3
  46   __multc3
  47   __powitf2
  48 }
  49
  50 %endif