diff options
| author | Tom Lane | 2021-09-26 18:24:03 +0000 |
|---|---|---|
| committer | Tom Lane | 2021-09-26 18:24:03 +0000 |
| commit | e94c1a55dada49772622d2be2d17a2a9973b2661 (patch) | |
| tree | 848acb7ba233c031c47057e7c61f3c700fd032f9 /contrib | |
| parent | 7c1d8a243f8bd46604c9b292f392aab170eed821 (diff) | |
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
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions