summary refs log tree commit diff
path: root/sysdeps/s390/fpu/fix-fp-int-compare-invalid.h
blob: 2ad36817c73d92b3c23c6a08a32153e43817a2df (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
/* Fix for missing "invalid" exceptions from floating-point
   comparisons.  s390 version.
   Copyright (C) 2016-2018 Free Software Foundation, Inc.
   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public
   License as published by the Free Software Foundation; either
   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library 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
   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public
   License along with the GNU C Library; if not, see
   <http://www.gnu.org/licenses/>.  */

#ifndef FIX_FP_INT_COMPARE_INVALID_H
#define FIX_FP_INT_COMPARE_INVALID_H	1

/* GCC uses unordered comparison instructions like cebr (Short BFP COMPARE)
   when it should use ordered comparison instructions like kebr
   (Short BFP COMPARE AND SIGNAL) in order to raise invalid exceptions if
   any operand is quiet (or signaling) NAN. See gcc bugzilla:
   <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77918>.
   There exists an equivalent gcc bugzilla for Intel:
   <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52451>.
   Once the s390 gcc bug is fixed, the definition of FIX_COMPARE_INVALID
   should have a __GNUC_PREREQ conditional added so that e.g. the workaround
   to call feraiseexcept (FE_INVALID) in math/s_iseqsig_template.c can be
   avoided.  */
#define FIX_COMPARE_INVALID 1

#endif /* fix-fp-int-compare-invalid.h */