[webkit-reviews] review granted: [Bug 124936] moveDoubleToInts should be used in SpecializedThunkJIT::returnDouble : [Attachment 218068] Use moveDoubleToInts in SpecializedThunkJIT::returnDouble for non-X86 JSVALUE32_64 ports.

[bugzilla-daemon at webkit.org]

Zoltan Herczeg <zherczeg at webkit.org> has granted Julien Brianceau
<jbriance at cisco.com>'s request for review:
Bug 124936: moveDoubleToInts should be used in
SpecializedThunkJIT::returnDouble
https://bugs.webkit.org/show_bug.cgi?id=124936

Attachment 218068: Use moveDoubleToInts in SpecializedThunkJIT::returnDouble
for non-X86 JSVALUE32_64 ports.
https://bugs.webkit.org/attachment.cgi?id=218068&action=review

------- Additional Comments from Zoltan Herczeg <zherczeg at webkit.org>
nice patch. r=me