[webkit-reviews] review requested: [Bug 124936] moveDoubleToInts should be used in SpecializedThunkJIT::returnDouble : [Attachment 217946] Use moveDoubleToInts in SpecializedThunkJIT::returnDouble for 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 217946: Use moveDoubleToInts in SpecializedThunkJIT::returnDouble
for JSVALUE32_64 ports.
https://bugs.webkit.org/attachment.cgi?id=217946&action=review