2005-10-12 22:21:31 +02:00
|
|
|
/* Fallback FPU-related code (for systems not otherwise supported).
|
2017-01-01 13:07:43 +01:00
|
|
|
Copyright (C) 2005-2017 Free Software Foundation, Inc.
|
2005-10-12 22:21:31 +02:00
|
|
|
Contributed by Francois-Xavier Coudert <coudert@clipper.ens.fr>
|
|
|
|
|
2011-05-14 09:55:51 +02:00
|
|
|
This file is part of the GNU Fortran runtime library (libgfortran).
|
2005-10-12 22:21:31 +02:00
|
|
|
|
|
|
|
Libgfortran is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU General Public
|
|
|
|
License as published by the Free Software Foundation; either
|
2009-04-09 17:00:19 +02:00
|
|
|
version 3 of the License, or (at your option) any later version.
|
2005-10-12 22:21:31 +02:00
|
|
|
|
|
|
|
Libgfortran is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
2009-04-09 17:00:19 +02:00
|
|
|
Under Section 7 of GPL version 3, you are granted additional
|
|
|
|
permissions described in the GCC Runtime Library Exception, version
|
|
|
|
3.1, as published by the Free Software Foundation.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License and
|
|
|
|
a copy of the GCC Runtime Library Exception along with this program;
|
|
|
|
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
|
|
<http://www.gnu.org/licenses/>. */
|
2005-10-12 22:21:31 +02:00
|
|
|
|
|
|
|
|
|
|
|
/* Fallback FPU-related code for systems not otherwise supported. This
|
|
|
|
is mainly telling the user that we will not be able to do what he
|
|
|
|
requested. */
|
|
|
|
|
|
|
|
void
|
|
|
|
set_fpu (void)
|
|
|
|
{
|
|
|
|
if (options.fpe & GFC_FPE_INVALID)
|
2011-05-14 09:55:51 +02:00
|
|
|
estr_write ("Fortran runtime warning: IEEE 'invalid operation' "
|
|
|
|
"exception not supported.\n");
|
2005-10-12 22:21:31 +02:00
|
|
|
if (options.fpe & GFC_FPE_DENORMAL)
|
2011-05-20 14:55:45 +02:00
|
|
|
estr_write ("Fortran runtime warning: Floating point 'denormal operand' "
|
2011-05-14 09:55:51 +02:00
|
|
|
"exception not supported.\n");
|
2005-10-12 22:21:31 +02:00
|
|
|
if (options.fpe & GFC_FPE_ZERO)
|
2011-05-14 09:55:51 +02:00
|
|
|
estr_write ("Fortran runtime warning: IEEE 'division by zero' "
|
|
|
|
"exception not supported.\n");
|
2005-10-12 22:21:31 +02:00
|
|
|
if (options.fpe & GFC_FPE_OVERFLOW)
|
2011-05-14 09:55:51 +02:00
|
|
|
estr_write ("Fortran runtime warning: IEEE 'overflow' "
|
|
|
|
"exception not supported.\n");
|
2005-10-12 22:21:31 +02:00
|
|
|
if (options.fpe & GFC_FPE_UNDERFLOW)
|
2011-05-14 09:55:51 +02:00
|
|
|
estr_write ("Fortran runtime warning: IEEE 'underflow' "
|
|
|
|
"exception not supported.\n");
|
2011-05-20 14:55:45 +02:00
|
|
|
if (options.fpe & GFC_FPE_INEXACT)
|
|
|
|
estr_write ("Fortran runtime warning: IEEE 'inexact' "
|
2011-05-14 09:55:51 +02:00
|
|
|
"exception not supported.\n");
|
2005-10-12 22:21:31 +02:00
|
|
|
}
|
2013-06-17 09:48:21 +02:00
|
|
|
|
re PR fortran/29383 (Fortran 2003/F95[TR15580:1999]: Floating point exception (IEEE) support)
PR fortran/29383
gcc/fortran/
* gfortran.h (gfc_simplify_ieee_selected_real_kind): New prototype.
* libgfortran.h (GFC_FPE_*): Use simple integer values, valid in
both C and Fortran.
* expr.c (gfc_check_init_expr): Simplify IEEE_SELECTED_REAL_KIND.
* simplify.c (gfc_simplify_ieee_selected_real_kind): New function.
* module.c (mio_symbol): Keep track of symbols which came from
intrinsic modules.
(gfc_use_module): Keep track of the IEEE modules.
* trans-decl.c (gfc_get_symbol_decl): Adjust code since
we have new intrinsic modules.
(gfc_build_builtin_function_decls): Build decls for
ieee_procedure_entry and ieee_procedure_exit.
(is_from_ieee_module, is_ieee_module_used, save_fp_state,
restore_fp_state): New functions.
(gfc_generate_function_code): Save and restore floating-point
state on procedure entry/exit, when IEEE modules are used.
* intrinsic.texi: Document the IEEE modules.
libgfortran/
* configure.host: Add checks for IEEE support, rework priorities.
* configure.ac: Define IEEE_SUPPORT, check for fpsetsticky and
fpresetsticky.
* configure: Regenerate.
* Makefile.am: Build new ieee files, install IEEE_* modules.
* Makefile.in: Regenerate.
* gfortran.map (GFORTRAN_1.6): Add new symbols.
* libgfortran.h (get_fpu_trap_exceptions, set_fpu_trap_exceptions,
support_fpu_trap, set_fpu_except_flags, support_fpu_flag,
support_fpu_rounding_mode, get_fpu_state, set_fpu_state): New
prototypes.
* config/fpu-*.h (get_fpu_trap_exceptions,
set_fpu_trap_exceptions, support_fpu_trap, set_fpu_except_flags,
support_fpu_flag, support_fpu_rounding_mode, get_fpu_state,
set_fpu_state): New functions.
* ieee/ieee_features.F90: New file.
* ieee/ieee_exceptions.F90: New file.
* ieee/ieee_arithmetic.F90: New file.
* ieee/ieee_helper.c: New file.
gcc/testsuite/
* lib/target-supports.exp (check_effective_target_fortran_ieee):
New function.
* gfortran.dg/ieee/ieee.exp: New file.
* gfortran.dg/ieee/ieee_1.F90: New file.
* gfortran.dg/ieee/ieee_2.f90: New file.
* gfortran.dg/ieee/ieee_3.f90: New file.
* gfortran.dg/ieee/ieee_4.f90: New file.
* gfortran.dg/ieee/ieee_5.f90: New file.
* gfortran.dg/ieee/ieee_6.f90: New file.
* gfortran.dg/ieee/ieee_7.f90: New file.
* gfortran.dg/ieee/ieee_rounding_1.f90: New file.
From-SVN: r212102
2014-06-28 16:17:41 +02:00
|
|
|
void
|
|
|
|
set_fpu_trap_exceptions (int trap __attribute__((unused)),
|
|
|
|
int notrap __attribute__((unused)))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2013-06-17 09:48:21 +02:00
|
|
|
int
|
|
|
|
get_fpu_except_flags (void)
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
2013-07-21 13:54:27 +02:00
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
get_fpu_rounding_mode (void)
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
set_fpu_rounding_mode (int round __attribute__((unused)))
|
|
|
|
{
|
|
|
|
}
|
2014-07-09 22:32:12 +02:00
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
support_fpu_underflow_control (int kind __attribute__((unused)))
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
get_fpu_underflow_mode (void)
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
set_fpu_underflow_mode (int gradual __attribute__((unused)))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|