Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-30 Thread Peter Maydell
On 9 May 2017 at 02:56, Richard Henderson wrote: > Another possibility is the code that's shared between the linux kernel > (include/math-emu) and glibc (soft-fp). The glibc version has support for > f16 while the kernel doesn't. But the glibc version is LGPL 2.1, which I'd >

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-11 Thread G 3
Hi, We've got a task coming up to implement half-precision floating point (FP16) for ARMv8.2. As you know pretty much all our floating point in QEMU is handled by our internal fork of John R. Hauser's BSD SoftFloat library. Our current implementation is based on version 2a which doesn't

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Richard Henderson
On 05/08/2017 07:58 AM, Alex Bennée wrote: Hi, We've got a task coming up to implement half-precision floating point (FP16) for ARMv8.2. As you know pretty much all our floating point in QEMU is handled by our internal fork of John R. Hauser's BSD SoftFloat library. Our current implementation

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Aurelien Jarno
On 2017-05-08 17:58, Thomas Huth wrote: > On 08.05.2017 17:36, Aurelien Jarno wrote: > > Hi, > > > > On 2017-05-08 15:58, Alex Bennée wrote: > >> Hi, > >> > >> We've got a task coming up to implement half-precision floating point > >> (FP16) for ARMv8.2. As you know pretty much all our floating

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Thomas Huth
On 08.05.2017 17:36, Aurelien Jarno wrote: > Hi, > > On 2017-05-08 15:58, Alex Bennée wrote: >> Hi, >> >> We've got a task coming up to implement half-precision floating point >> (FP16) for ARMv8.2. As you know pretty much all our floating point in >> QEMU is handled by our internal fork of John

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Daniel P. Berrange
On Mon, May 08, 2017 at 03:58:59PM +0100, Alex Bennée wrote: > Of course the softfloat in QEMU's tree hasn't been static either. We've > made numerous changes over the years to add and fix various features, > including features that have since been added to the upstream softfloat. Based on way

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Aurelien Jarno
Hi, On 2017-05-08 15:58, Alex Bennée wrote: > Hi, > > We've got a task coming up to implement half-precision floating point > (FP16) for ARMv8.2. As you know pretty much all our floating point in > QEMU is handled by our internal fork of John R. Hauser's BSD SoftFloat > library. Our current

Re: [Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Eric Blake
On 05/08/2017 09:58 AM, Alex Bennée wrote: > Hi, > > We've got a task coming up to implement half-precision floating point > (FP16) for ARMv8.2. As you know pretty much all our floating point in > QEMU is handled by our internal fork of John R. Hauser's BSD SoftFloat > library. Our current

[Qemu-devel] Future of SoftFloat use in QEMU

2017-05-08 Thread Alex Bennée
Hi, We've got a task coming up to implement half-precision floating point (FP16) for ARMv8.2. As you know pretty much all our floating point in QEMU is handled by our internal fork of John R. Hauser's BSD SoftFloat library. Our current implementation is based on version 2a which doesn't support