[Bug libgcj/26483] Wrong parsing of doubles when interpreted on ia64

[wilson at tuliptree dot org]

------- Comment #13 from wilson at tuliptree dot org  2006-04-04 20:22 -------
Subject: Re:  Wrong parsing of doubles when interpreted
        on ia64

On Tue, 2006-04-04 at 12:07, tromey at gcc dot gnu dot org wrote:
> I tried to reduce this to a C test case suitable for inclusion
> in libffi.  I've attached this.  Unfortunately on the ia64 machine
> I tried, it does not fail.  I haven't looked to see what I
> might have done wrong.

I was able to write a testcase that showed the problem.  I based it on
float1.c, changed to accept and return a double, initialize input arg
with a denorm value, and using an exact check instead of a delta check
after the call.  The delta checks don't work for a denorm.  Since I am
not doing any arithmetic, we should get the same value back.  I see I
forgot to change the comment though, that will have to be fixed.  This
testcase reproduces the bug for me, and is fixed by my unfinished
patch.  I'll attach my testcase to the PR.

I think your testcase doesn't work because you aren't actually calling a
function that takes and return double arguments.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26483