to_ieee754_64: value mismatch propagates to sha512 fuzzer failure

[peterenescu]

Description

Value mismatch between Presto and Velox for to_ieee754_64

Reproduction

(Velox followed by Presto)

presto:di> SELECT to_ieee754_64(cosh(c0)) from (values (0.4605824660975486) ) t(c0);
          _col0          
-------------------------
 3f f1 ba 30 94 de b7 88 
(1 row)
presto:di> SELECT to_ieee754_64(cosh(0.4605824660975486));
          _col0          
-------------------------
 3f f1 ba 30 94 de b7 89 
(1 row)
presto:di> 

Error Reproduction

No response

Relevant logs

Mismatch propagated to sha512 during fuzzer run.

presto:di> SELECT sha512(to_ieee754_64(cosh(c0))) from (values (0.4605824660975486) ) t(c0);
                      _col0                      
-------------------------------------------------
 81 06 53 72 cd c8 3a 0d b9 02 fa 24 9e 89 77 97 
 ae 41 db 1a 37 2d 54 e6 c7 66 d7 79 70 e6 47 a3 
 b5 ea a5 56 d7 88 a4 b4 df 73 c4 8b ad 8e 1e db 
 9f 79 4f 9c e3 12 62 eb 4e 02 a1 58 81 91 82 cf 
(1 row)
presto:di> SELECT sha512(to_ieee754_64(cosh(0.4605824660975486)));
                      _col0                      
-------------------------------------------------
 40 f7 3e c1 e8 73 9a f1 95 ac 6b 21 01 77 b7 9f 
 75 f7 3c 5d 6c a9 09 86 b4 4f 77 d8 ce b8 64 08 
 f2 fe 27 ac 46 77 45 0b 4f 84 43 24 ae 07 b0 c9 
 aa a2 a2 4b 97 4f 47 f0 ba 64 48 c3 36 a4 41 40 
(1 row)

[kagamiori]

Hi @peterenescu, could you add comments in your examples to tell which result is from Velox and which is from Presto-Java? Thanks!