Mercurial > mxe-octave
annotate src/mingw-w64-complex-inverse-trig.patch @ 6335:0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
* src/mingw-w64-complex-inverse-trig.patch: Add patch for mingw-w64 CRT that
implements a special case for large input for complex inverse trigonometric
functions cacosh and casinh (and therefore functions that are derived from it,
like cacos and casin).
* dist-files.mk: Add new patch to list.
author | Markus Mützel <markus.muetzel@gmx.de> |
---|---|
date | Sat, 23 Jul 2022 19:00:09 +0200 |
parents | |
children | 9d1395334e68 |
rev | line source |
---|---|
6335
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
1 From 59fd6e6ab7c93545175fa6ff46532b7a80dbdbfb Mon Sep 17 00:00:00 2001 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
2 From: =?UTF-8?q?Markus=20M=C3=BCtzel?= <markus.muetzel@gmx.de> |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
3 Date: Sat, 23 Jul 2022 15:30:46 +0200 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
4 Subject: [PATCH 1/2] casinh: Use approximation for large input. |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
5 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
6 --- |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
7 mingw-w64-crt/complex/casinh.def.h | 21 +++++++++++++++++++++ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
8 1 file changed, 21 insertions(+) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
9 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
10 diff --git a/mingw-w64-crt/complex/casinh.def.h b/mingw-w64-crt/complex/casinh.def.h |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
11 index 050d885a0..cce2d864e 100644 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
12 --- a/mingw-w64-crt/complex/casinh.def.h |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
13 +++ b/mingw-w64-crt/complex/casinh.def.h |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
14 @@ -87,6 +87,27 @@ __FLT_ABI(casinh) (__FLT_TYPE __complex__ z) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
15 if (r_class == FP_ZERO && i_class == FP_ZERO) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
16 return z; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
17 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
18 + /* casinh(z) = log(z + sqrt(z*z + 1)) */ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
19 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
20 + if (__FLT_ABI(fabs) (__real__ z) >= __FLT_CST(1.0)/__FLT_EPSILON |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
21 + || __FLT_ABI(fabs) (__imag__ z) >= __FLT_CST(1.0)/__FLT_EPSILON) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
22 + { |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
23 + /* For large z, z + sqrt(z*z + 1) is approximately 2*z. |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
24 + Use that approximation to avoid overflow when squaring. |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
25 + Additionally, use symmetries to perform the calculation in the first |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
26 + quadrant. */ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
27 + __real__ x = __FLT_ABI(fabs) (__real__ z); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
28 + __imag__ x = __FLT_ABI(fabs) (__imag__ z); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
29 + x = __FLT_ABI(clog) (x); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
30 + __real__ x += M_LN2; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
31 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
32 + /* adjust signs for input quadrant */ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
33 + __real__ ret = __FLT_ABI(copysign) (__real__ x, __real__ z); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
34 + __imag__ ret = __FLT_ABI(copysign) (__imag__ x, __imag__ z); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
35 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
36 + return ret; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
37 + } |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
38 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
39 __real__ x = (__real__ z - __imag__ z) * (__real__ z + __imag__ z) + __FLT_CST(1.0); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
40 __imag__ x = __FLT_CST(2.0) * __real__ z * __imag__ z; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
41 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
42 -- |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
43 2.35.3.windows.1 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
44 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
45 From 4b5a229573ca98a622cc15d20bd561dbaec9bbfc Mon Sep 17 00:00:00 2001 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
46 From: =?UTF-8?q?Markus=20M=C3=BCtzel?= <markus.muetzel@gmx.de> |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
47 Date: Sat, 23 Jul 2022 18:01:29 +0200 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
48 Subject: [PATCH 2/2] cacosh: Use approximation for large input. |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
49 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
50 --- |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
51 mingw-w64-crt/complex/cacosh.def.h | 21 +++++++++++++++++++++ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
52 1 file changed, 21 insertions(+) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
53 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
54 diff --git a/mingw-w64-crt/complex/cacosh.def.h b/mingw-w64-crt/complex/cacosh.def.h |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
55 index f4ea2da07..a3edd5288 100644 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
56 --- a/mingw-w64-crt/complex/cacosh.def.h |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
57 +++ b/mingw-w64-crt/complex/cacosh.def.h |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
58 @@ -80,6 +80,27 @@ __FLT_ABI(cacosh) (__FLT_TYPE __complex__ z) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
59 return ret; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
60 } |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
61 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
62 + /* cacosh(z) = log(z + sqrt(z*z - 1)) */ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
63 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
64 + if (__FLT_ABI(fabs) (__real__ z) >= __FLT_CST(1.0)/__FLT_EPSILON |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
65 + || __FLT_ABI(fabs) (__imag__ z) >= __FLT_CST(1.0)/__FLT_EPSILON) |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
66 + { |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
67 + /* For large z, z + sqrt(z*z - 1) is approximately 2*z. |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
68 + Use that approximation to avoid overflow when squaring. |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
69 + Additionally, use symmetries to perform the calculation in the positive |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
70 + half plain. */ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
71 + __real__ x = __real__ z; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
72 + __imag__ x = __FLT_ABI(fabs) (__imag__ z); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
73 + x = __FLT_ABI(clog) (x); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
74 + __real__ x += M_LN2; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
75 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
76 + /* adjust signs for input */ |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
77 + __real__ ret = __real__ x; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
78 + __imag__ ret = __FLT_ABI(copysign) (__imag__ x, __imag__ z); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
79 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
80 + return ret; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
81 + } |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
82 + |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
83 __real__ x = (__real__ z - __imag__ z) * (__real__ z + __imag__ z) - __FLT_CST(1.0); |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
84 __imag__ x = __FLT_CST(2.0) * __real__ z * __imag__ z; |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
85 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
86 -- |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
87 2.35.3.windows.1 |
0825abaf61a7
mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091).
Markus Mützel <markus.muetzel@gmx.de>
parents:
diff
changeset
|
88 |