to_ieee754_32: mismatch value between Presto/Velox

[peterenescu]

Description

to_ieee754_32 mismatch caught during fuzzer run

Reproduction

(Presto followed by Velox)

presto:di> SELECT to_ieee754_32(sign(mod(REAL '0.987520694732666', floor(((real '0.4021803140640259'+ real '0.8861451745033264')- real '0.4312475323677063')))));
    _col0             
-------------
 ff c0 00 00 
(1 row)
presto:di> select to_ieee754_32(sign(mod(REAL '0.987520694732666', floor(((c0 + c1) - c2))))) from (values (real '0.4021803140640259', real '0.8861451745033264', real '0.4312475323677063') ) t(c0,c1,c2);
    _col0             
-------------
 7f c0 00 00 
(1 row)

Relevant logs

Additional nested queries prove identical between the two systems.

presto:di> select sign(mod(REAL '0.987520694732666', floor(((real '0.4021803140640259'+ real '0.8861451745033264')- real '0.4312475323677063')))); 
 _col0                
-------
   NaN 
(1 row)
presto:di> select sign(mod(REAL '0.987520694732666', floor(((c0 + c1) - c2)))) from (values (real '0.4021803140640259', real '0.8861451745033264', real '0.4312475323677063') ) t(c0,c1,c2);
 _col0                
-------
   NaN 
(1 row)
presto:di> 

to_ieee754_32 mismatch propagates to spooky_hash_v2_32 during fuzzer run:

presto:di> SELECT spooky_hash_v2_32(to_ieee754_32(sign(mod(REAL '0.987520694732666', floor(((c0 + c1) - c2)))))) from (values (real '0.4021803140640259', real '0.8861451745033264', real '0.4312475323677063') ) t(c0,c1,c2);
    _col0             
-------------
 03 1c 0a 2e 
(1 row)
presto:di> SELECT spooky_hash_v2_32(to_ieee754_32(sign(mod(REAL '0.987520694732666', floor(((real '0.4021803140640259'+ real '0.8861451745033264')- real '0.4312475323677063'))))));
    _col0             
-------------
 89 0a 47 a0 
(1 row)