[PATCH] 4511638: Double.toString(double) sometimes produces incorrect results

[Brian Burkhalter]

> On Mar 7, 2019, at 10:04 AM, Andrew Haley <aph at redhat.com> wrote:
> 
> On 3/6/19 7:31 PM, raffaello.giulietti at gmail.com <mailto:raffaello.giulietti at gmail.com> wrote:
>> the latest version of the patch, replacing the one found at [1].
>> In the next days, my sponsor Brian Burkhalter will publish it as a webrev.
> 
> I still believe you'd be better off defining an unsigned multiplyHigh than
> all that messing about with shifts and masks in rop().

There is in fact an open issue for unsigned multiplyHigh:

https://bugs.openjdk.java.net/browse/JDK-8188044

Brian