1# Data file for mpc_abs. 2# 3# Copyright (C) 2008 INRIA 4# 5# This file is part of GNU MPC. 6# 7# GNU MPC is free software; you can redistribute it and/or modify it under 8# the terms of the GNU Lesser General Public License as published by the 9# Free Software Foundation; either version 3 of the License, or (at your 10#o ption) any later version. 11# 12# GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY 13# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS 14# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for 15# more details. 16# 17# You should have received a copy of the GNU Lesser General Public License 18# along with this program. If not, see http://www.gnu.org/licenses/ . 19# 20# The line format respects the parameter order in function prototype as 21# follow: 22# 23# INEX PREC_ROP ROP PREC_ROP_IM ROP_IM PREC_OP_RE OP_RE PREC_OP_IM OP_IM RND 24# 25# where op = op_re + i * op_im, 26# rop is ROP rounded to nearest to the precision of PREC_ROP 27# op_re is OP_RE rounded to nearest to the precision of PREC_OP_RE 28# op_im is OP_IM rounded to nearest to the precision of PREC_OP_IM 29# ROP is checked against abs(op) rounded to the precision PREC_ROP 30# in the direction RND 31# INEX is the ternary value with the following notation: 32# "?" ternary value not checked 33# "+" if ROP is greater than the exact mathematical result 34# "0" if ROP is exactly the mathematical result 35# "-" if ROP is less than the exact mathematical result 36# rounding modes notation: 37# "N" is rounding to nearest 38# "Z" is rounding towards zero 39# "U" is rounding towards plus infinity 40# "D" is rounding towards minus infinity 41# Use prefixes "0b" for values in base two, "0x" for values in base sixteen, 42# no prefix for value in base ten. 43# In all bases, "nan" is NaN, "inf" is infinity; 44# The sign of the result is checked with "+inf", "-inf", "-0", or "+0". 45 46# special values (following ISO C99 standard) 470 53 +inf 53 -inf 53 -inf N 480 53 +inf 53 -inf 53 -1 N 490 53 +inf 53 -inf 53 -0 N 500 53 +inf 53 -inf 53 +0 N 510 53 +inf 53 -inf 53 +1 N 520 53 +inf 53 -inf 53 +inf N 530 53 +inf 53 -inf 53 nan N 540 53 +inf 53 -1 53 -inf N 550 53 +inf 53 -1 53 +inf N 560 53 nan 53 -1 53 nan N 570 53 +inf 53 -0 53 -inf N 580 53 +0 53 -0 53 -0 N 590 53 +0 53 -0 53 +0 N 600 53 +inf 53 -0 53 +inf N 610 53 nan 53 -0 53 nan N 620 53 +inf 53 +0 53 -inf N 630 53 +0 53 +0 53 -0 N 640 53 +0 53 +0 53 +0 N 650 53 +inf 53 +0 53 +inf N 660 53 nan 53 +0 53 nan N 670 53 +inf 53 +1 53 -inf N 680 53 +inf 53 +1 53 +inf N 690 53 nan 53 +1 53 nan N 700 53 +inf 53 +inf 53 -inf N 710 53 +inf 53 +inf 53 -1 N 720 53 +inf 53 +inf 53 -0 N 730 53 +inf 53 +inf 53 +0 N 740 53 +inf 53 +inf 53 +1 N 750 53 +inf 53 +inf 53 +inf N 760 53 +inf 53 +inf 53 nan N 770 53 +inf 53 nan 53 -inf N 780 53 nan 53 nan 53 -1 N 790 53 nan 53 nan 53 -0 N 800 53 nan 53 nan 53 +0 N 810 53 nan 53 nan 53 +1 N 820 53 +inf 53 nan 53 +inf N 830 53 nan 53 nan 53 nan N 84 85