libgcc/config/t-hardfp-sfdf

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