bitwise_right_shift: mismatch values Presto/Velox

[peterenescu]

Description

bitwise_right_shift produces mismatching value between Velox/Presto.

Reproduction

(Velox followed by Presto)

presto:di> SELECT bitwise_right_shift(c0, (c1 - c2)) from (values (3310924350904134818, 468965400, 1464061230)) t(c0, c1, c2);
 _col0                
-------
     0 
(1 row)
presto:di> SELECT bitwise_right_shift(3310924350904134818, (468965400 - 1464061230));
 _col0                
--------
 752817 
(1 row)