[webkit-reviews] review requested: [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]

Julien Brianceau <jbriance at cisco.com> has asked  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