1# Copyright (C) 2014-2020 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 19hardfp_float_modes := sf df 20# di and ti are provided by libgcc2.c where needed. 21hardfp_int_modes := si 22hardfp_extensions := sfdf 23hardfp_truncations := dfsf 24