Avoid unnecessary division in interval_cmp_value().
commite94c1a55dada49772622d2be2d17a2a9973b2661
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 26 Sep 2021 18:24:03 +0000 (26 14:24 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 26 Sep 2021 18:24:03 +0000 (26 14:24 -0400)
tree848acb7ba233c031c47057e7c61f3c700fd032f9
parent7c1d8a243f8bd46604c9b292f392aab170eed821
Avoid unnecessary division in interval_cmp_value().

Splitting the time field into days and microseconds is pretty
useless when we're just going to recombine those values.
It's unclear if anyone will notice the speedup in real-world
cases, but a cycle shaved is a cycle earned.

Discussion: https://postgr.es/m/2629129.1632675713@sss.pgh.pa.us
src/backend/utils/adt/timestamp.c