comparison libquadmath/math/rintq.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents 561a7518be6b
children 1830386684a0
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* s_rintl.c -- long double version of s_rint.c. 1 /* rintq.c -- __float128 version of s_rint.c.
2 * Conversion to IEEE quad long double by Jakub Jelinek, jj@ultra.linux.cz. 2 * Conversion to IEEE quad long double by Jakub Jelinek, jj@ultra.linux.cz.
3 */ 3 */
4 4
5 /* 5 /*
6 * ==================================================== 6 * ====================================================
11 * software is freely granted, provided that this notice 11 * software is freely granted, provided that this notice
12 * is preserved. 12 * is preserved.
13 * ==================================================== 13 * ====================================================
14 */ 14 */
15 15
16 /*
17 * rintq(x)
18 * Return x rounded to integral value according to the prevailing
19 * rounding mode.
20 * Method:
21 * Using floating addition.
22 * Exception:
23 * Inexact flag raised if x not equal to rintq(x).
24 */
25
16 #include "quadmath-imp.h" 26 #include "quadmath-imp.h"
17 27
18 static const __float128 28 static const __float128
19 TWO112[2]={ 29 TWO112[2]={
20 5.19229685853482762853049632922009600E+33L, /* 0x406F000000000000, 0 */ 30 5.19229685853482762853049632922009600E+33Q, /* 0x406F000000000000, 0 */
21 -5.19229685853482762853049632922009600E+33L /* 0xC06F000000000000, 0 */ 31 -5.19229685853482762853049632922009600E+33Q /* 0xC06F000000000000, 0 */
22 }; 32 };
23 33
24 __float128 34 __float128
25 rintq (__float128 x) 35 rintq (__float128 x)
26 { 36 {
27 int64_t i0,j0,sx; 37 int64_t i0,j0,sx;
28 uint64_t i,i1; 38 uint64_t i1 __attribute__ ((unused));
29 __float128 w,t; 39 __float128 w,t;
30 GET_FLT128_WORDS64(i0,i1,x); 40 GET_FLT128_WORDS64(i0,i1,x);
31 sx = (((uint64_t)i0)>>63); 41 sx = (((uint64_t)i0)>>63);
32 j0 = ((i0>>48)&0x7fff)-0x3fff; 42 j0 = ((i0>>48)&0x7fff)-0x3fff;
33 if(j0<48) { 43 if(j0<112) {
34 if(j0<0) { 44 if(j0<0) {
35 if(((i0&0x7fffffffffffffffLL)|i1)==0) return x;
36 i1 |= (i0&0x0000ffffffffffffLL);
37 i0 &= 0xffffe00000000000ULL;
38 i0 |= ((i1|-i1)>>16)&0x0000800000000000LL;
39 SET_FLT128_MSW64(x,i0);
40 w = TWO112[sx]+x; 45 w = TWO112[sx]+x;
41 t = w-TWO112[sx]; 46 t = w-TWO112[sx];
42 GET_FLT128_MSW64(i0,t); 47 GET_FLT128_MSW64(i0,t);
43 SET_FLT128_MSW64(t,(i0&0x7fffffffffffffffLL)|(sx<<63)); 48 SET_FLT128_MSW64(t,(i0&0x7fffffffffffffffLL)|(sx<<63));
44 return t; 49 return t;
45 } else {
46 i = (0x0000ffffffffffffLL)>>j0;
47 if(((i0&i)|i1)==0) return x; /* x is integral */
48 i>>=1;
49 if(((i0&i)|i1)!=0) {
50 if(j0==47) i1 = 0x4000000000000000ULL; else
51 i0 = (i0&(~i))|((0x0000200000000000LL)>>j0);
52 }
53 } 50 }
54 } else if (j0>111) { 51 } else {
55 if(j0==0x4000) return x+x; /* inf or NaN */ 52 if(j0==0x4000) return x+x; /* inf or NaN */
56 else return x; /* x is integral */ 53 else return x; /* x is integral */
57 } else {
58 i = -1ULL>>(j0-48);
59 if((i1&i)==0) return x; /* x is integral */
60 i>>=1;
61 if((i1&i)!=0) i1 = (i1&(~i))|((0x4000000000000000LL)>>(j0-48));
62 } 54 }
63 SET_FLT128_WORDS64(x,i0,i1);
64 w = TWO112[sx]+x; 55 w = TWO112[sx]+x;
65 return w-TWO112[sx]; 56 return w-TWO112[sx];
66 } 57 }