https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
Richard Biener changed:
What|Removed |Added
Resolution|--- |MOVED
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #12 from Vincent Lefèvre ---
(In reply to Vincent Lefèvre from comment #11)
> (In reply to Vincent Lefèvre from comment #10)
> > Paul Zimmermann says that this bug is fixed in the MPC development version.
>
> I could check that the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #11 from Vincent Lefèvre ---
(In reply to Vincent Lefèvre from comment #10)
> Paul Zimmermann says that this bug is fixed in the MPC development version.
I could check that the bug is actually fixed, but the does not solve the GCC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #10 from Vincent Lefèvre ---
(In reply to rguent...@suse.de from comment #9)
> It's likely by us doing
>
> mpfr_set_emin (-32990);
> mpfr_set_emax (32766);
>
> during startup to work around a similar bug in MPC (IIRC it also
> was
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #9 from rguenther at suse dot de ---
On Wed, 1 Apr 2020, vincent-gcc at vinc17 dot net wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
>
> --- Comment #7 from Vincent Lefèvre ---
> (In reply to Richard Biener from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #8 from Vincent Lefèvre ---
The exponent range is important. With ltrace, I can see:
3472505 mpfr_set_emin(0x7f22, 0xbf92, 0xbf92, 46) = 0
3472505 mpfr_set_emax(0x8002, 0xbf92, 0x7fb7c2c9c420, 46) = 0
(BTW,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #7 from Vincent Lefèvre ---
(In reply to Richard Biener from comment #6)
> I guess there's only one limb, the rest looks garbage.
Yes, and 1125899906842624 with _mpfr_exp = 14 corresponds to 1 as
expected
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #6 from Richard Biener ---
mpc_tan (m, m, 0)
with
(gdb) p *m
$14 = {re = {{_mpfr_prec = 24, _mpfr_sign = 1, _mpfr_exp = 14,
_mpfr_d = 0x3713c48}}, im = {{_mpfr_prec = 24, _mpfr_sign = 1,
_mpfr_exp = 14, _mpfr_d =
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #5 from Vincent Lefèvre ---
I can reproduce the issue on my Debian machine. Do you know which values are
passed to MPC?
I've tried with
mpc_init2 (x, 24);
mpc_init2 (y, 24);
mpc_set_ui_ui (x, 1, 1, MPC_RNDNN);
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
Jakub Jelinek changed:
What|Removed |Added
Target Milestone|9.3 |9.4
--- Comment #4 from Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #3 from Jakub Jelinek ---
Reduced testcase:
_Complex float f = __builtin_ctanf (1.0f + 1.0if);
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #2 from Arseny Solokha ---
It's likely what I've been looking for, thanks. I'll see whether this new
testcase adds anything to the older discussion you've pointed out.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #1 from Richard Biener ---
PR88074? Probably should be reported to gmp/mpfr/mpc instead (or as well).
See PR88074 for a way to create a simpler testcase for them.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
Andrew Pinski changed:
What|Removed |Added
Component|tree-optimization |middle-end
Target Milestone|---
15 matches
Mail list logo
