1# Copyright (C) 2006-2015 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
37GCC_LDBL_3.0 {
38  __fixtfdi
39  __fixunstfdi
40  __floatditf
41}
42
43%inherit GCC_LDBL_4.0.0 GCC_4.0.0
44GCC_LDBL_4.0.0 {
45  __divtc3
46  __multc3
47  __powitf2
48}
49
50%endif
51