Re: [Patch 3/4] Half to double precision conversions

2016-11-02 Thread James Greenhalgh
On Mon, Oct 24, 2016 at 10:24:27PM +, Joseph Myers wrote: > On Mon, 24 Oct 2016, James Greenhalgh wrote: > > > Conversions from double precision floats to the ARM __fp16 are required > > to round only once. > > I'd expect that when fixing this you need to update >

[Patch 3/4] Half to double precision conversions

2016-10-24 Thread James Greenhalgh
Hi, This patch adds the half-to-double conversions, both as library functions, or when supported in hardware, using the appropriate instructions. That means adding support for the __gnu_d2h_{ieee/alternative} library calls added in patch 2/4, and providing a more aggressive truncdfhf2 where we