Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 30 Nov 2014 17:12:38 +0800
From:      Julian Elischer <julian@freebsd.org>
To:        Adrian Chadd <adrian@freebsd.org>, Steve Kargl <sgk@troutmask.apl.washington.edu>
Cc:        freebsd-current <freebsd-current@freebsd.org>, Bruce Evans <bde@zeta.org.au>
Subject:   Re: Possible bug in softfloat
Message-ID:  <547ADF86.8050806@freebsd.org>
In-Reply-To: <CAJ-Vmo=PmNH0FcA%2B25KS%2Bos2VMVNKrasgvTa3FK6WB=Ric7MEA@mail.gmail.com>
References:  <20141128183416.GA71749@troutmask.apl.washington.edu> <CAJ-Vmok8xHjK0Vjh5JRKbvSUv=3Rs=jhgCtboYbXPVc_yHii1A@mail.gmail.com> <20141128190721.GA71860@troutmask.apl.washington.edu> <CAJ-Vmo=PmNH0FcA%2B25KS%2Bos2VMVNKrasgvTa3FK6WB=Ric7MEA@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On 11/29/14, 4:59 AM, Adrian Chadd wrote:
> You can easily fire up a mips32 / mips64 emulator build - cross-build
> a world+kernel, build an image, then run qemu-devel to boot it.
>
> https://wiki.freebsd.org/FreeBSD/MipsEmulation
>
> You should be able to get a 32 bit soft-float mips environment inside
> there which you can use to trigger it.
> (And also run whatever other floating point validation suite you may hvae.)

I suspect this is one for bde to look at.

>
>
>
> -adrian
>
>
> On 28 November 2014 at 11:07, Steve Kargl
> <sgk@troutmask.apl.washington.edu> wrote:
>> On Fri, Nov 28, 2014 at 10:54:25AM -0800, Adrian Chadd wrote:
>>> On 28 November 2014 at 10:34, Steve Kargl
>>> <sgk@troutmask.apl.washington.edu> wrote:
>>>> In a thread on comp.lang.c, it was pointed out that softfloat
>>>> has a bug and in checking src/lib/libc/softfloat I confimed
>>>> the issue is present in FreeBSD.  What I hae not confirmed
>>>> is whether or not it is possible to hit this bug.  In fact,
>>>> it may only hit arm and mips.  Anyway, here's the patch
>>> So we should just commit this?
>>>
>> I suspect the answer is yes, but I have no idea on how
>> to trigger this code path.  I also have no access to
>> arm or mips hardware where the problem may manifest only.
>>
>> It may also be appropriate to have someone else confirm
>> that the patch is indeed correct.
>>
>> --
>> steve
> _______________________________________________
> freebsd-current@freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-current
> To unsubscribe, send any mail to "freebsd-current-unsubscribe@freebsd.org"
>
>




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?547ADF86.8050806>