Line data Source code
1 : /*-------------------------------------------------------------------------
2 : *
3 : * timestamp.c
4 : * Functions for the built-in SQL types "timestamp" and "interval".
5 : *
6 : * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
7 : * Portions Copyright (c) 1994, Regents of the University of California
8 : *
9 : *
10 : * IDENTIFICATION
11 : * src/backend/utils/adt/timestamp.c
12 : *
13 : *-------------------------------------------------------------------------
14 : */
15 :
16 : #include "postgres.h"
17 :
18 : #include <ctype.h>
19 : #include <math.h>
20 : #include <limits.h>
21 : #include <sys/time.h>
22 :
23 : #include "access/xact.h"
24 : #include "catalog/pg_type.h"
25 : #include "common/int.h"
26 : #include "common/int128.h"
27 : #include "funcapi.h"
28 : #include "libpq/pqformat.h"
29 : #include "miscadmin.h"
30 : #include "nodes/nodeFuncs.h"
31 : #include "nodes/supportnodes.h"
32 : #include "optimizer/optimizer.h"
33 : #include "parser/scansup.h"
34 : #include "utils/array.h"
35 : #include "utils/builtins.h"
36 : #include "utils/date.h"
37 : #include "utils/datetime.h"
38 : #include "utils/float.h"
39 : #include "utils/numeric.h"
40 : #include "utils/sortsupport.h"
41 :
42 : /*
43 : * gcc's -ffast-math switch breaks routines that expect exact results from
44 : * expressions like timeval / SECS_PER_HOUR, where timeval is double.
45 : */
46 : #ifdef __FAST_MATH__
47 : #error -ffast-math is known to break this code
48 : #endif
49 :
50 : #define SAMESIGN(a,b) (((a) < 0) == ((b) < 0))
51 :
52 : /* Set at postmaster start */
53 : TimestampTz PgStartTime;
54 :
55 : /* Set at configuration reload */
56 : TimestampTz PgReloadTime;
57 :
58 : typedef struct
59 : {
60 : Timestamp current;
61 : Timestamp finish;
62 : Interval step;
63 : int step_sign;
64 : } generate_series_timestamp_fctx;
65 :
66 : typedef struct
67 : {
68 : TimestampTz current;
69 : TimestampTz finish;
70 : Interval step;
71 : int step_sign;
72 : pg_tz *attimezone;
73 : } generate_series_timestamptz_fctx;
74 :
75 : /*
76 : * The transition datatype for interval aggregates is declared as internal.
77 : * It's a pointer to an IntervalAggState allocated in the aggregate context.
78 : */
79 : typedef struct IntervalAggState
80 : {
81 : int64 N; /* count of finite intervals processed */
82 : Interval sumX; /* sum of finite intervals processed */
83 : /* These counts are *not* included in N! Use IA_TOTAL_COUNT() as needed */
84 : int64 pInfcount; /* count of +infinity intervals */
85 : int64 nInfcount; /* count of -infinity intervals */
86 : } IntervalAggState;
87 :
88 : #define IA_TOTAL_COUNT(ia) \
89 : ((ia)->N + (ia)->pInfcount + (ia)->nInfcount)
90 :
91 : static TimeOffset time2t(const int hour, const int min, const int sec, const fsec_t fsec);
92 : static Timestamp dt2local(Timestamp dt, int timezone);
93 : static bool AdjustIntervalForTypmod(Interval *interval, int32 typmod,
94 : Node *escontext);
95 : static TimestampTz timestamp2timestamptz(Timestamp timestamp);
96 : static Timestamp timestamptz2timestamp(TimestampTz timestamp);
97 :
98 : static void EncodeSpecialInterval(const Interval *interval, char *str);
99 : static void interval_um_internal(const Interval *interval, Interval *result);
100 :
101 : /* common code for timestamptypmodin and timestamptztypmodin */
102 : static int32
103 144 : anytimestamp_typmodin(bool istz, ArrayType *ta)
104 : {
105 : int32 *tl;
106 : int n;
107 :
108 144 : tl = ArrayGetIntegerTypmods(ta, &n);
109 :
110 : /*
111 : * we're not too tense about good error message here because grammar
112 : * shouldn't allow wrong number of modifiers for TIMESTAMP
113 : */
114 144 : if (n != 1)
115 0 : ereport(ERROR,
116 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
117 : errmsg("invalid type modifier")));
118 :
119 144 : return anytimestamp_typmod_check(istz, tl[0]);
120 : }
121 :
122 : /* exported so parse_expr.c can use it */
123 : int32
124 704 : anytimestamp_typmod_check(bool istz, int32 typmod)
125 : {
126 704 : if (typmod < 0)
127 0 : ereport(ERROR,
128 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
129 : errmsg("TIMESTAMP(%d)%s precision must not be negative",
130 : typmod, (istz ? " WITH TIME ZONE" : ""))));
131 704 : if (typmod > MAX_TIMESTAMP_PRECISION)
132 : {
133 36 : ereport(WARNING,
134 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
135 : errmsg("TIMESTAMP(%d)%s precision reduced to maximum allowed, %d",
136 : typmod, (istz ? " WITH TIME ZONE" : ""),
137 : MAX_TIMESTAMP_PRECISION)));
138 36 : typmod = MAX_TIMESTAMP_PRECISION;
139 : }
140 :
141 704 : return typmod;
142 : }
143 :
144 : /* common code for timestamptypmodout and timestamptztypmodout */
145 : static char *
146 20 : anytimestamp_typmodout(bool istz, int32 typmod)
147 : {
148 20 : const char *tz = istz ? " with time zone" : " without time zone";
149 :
150 20 : if (typmod >= 0)
151 20 : return psprintf("(%d)%s", (int) typmod, tz);
152 : else
153 0 : return pstrdup(tz);
154 : }
155 :
156 :
157 : /*****************************************************************************
158 : * USER I/O ROUTINES *
159 : *****************************************************************************/
160 :
161 : /* timestamp_in()
162 : * Convert a string to internal form.
163 : */
164 : Datum
165 17420 : timestamp_in(PG_FUNCTION_ARGS)
166 : {
167 17420 : char *str = PG_GETARG_CSTRING(0);
168 : #ifdef NOT_USED
169 : Oid typelem = PG_GETARG_OID(1);
170 : #endif
171 17420 : int32 typmod = PG_GETARG_INT32(2);
172 17420 : Node *escontext = fcinfo->context;
173 : Timestamp result;
174 : fsec_t fsec;
175 : struct pg_tm tt,
176 17420 : *tm = &tt;
177 : int tz;
178 : int dtype;
179 : int nf;
180 : int dterr;
181 : char *field[MAXDATEFIELDS];
182 : int ftype[MAXDATEFIELDS];
183 : char workbuf[MAXDATELEN + MAXDATEFIELDS];
184 : DateTimeErrorExtra extra;
185 :
186 17420 : dterr = ParseDateTime(str, workbuf, sizeof(workbuf),
187 : field, ftype, MAXDATEFIELDS, &nf);
188 17420 : if (dterr == 0)
189 17420 : dterr = DecodeDateTime(field, ftype, nf,
190 : &dtype, tm, &fsec, &tz, &extra);
191 17420 : if (dterr != 0)
192 : {
193 114 : DateTimeParseError(dterr, &extra, str, "timestamp", escontext);
194 24 : PG_RETURN_NULL();
195 : }
196 :
197 17306 : switch (dtype)
198 : {
199 16964 : case DTK_DATE:
200 16964 : if (tm2timestamp(tm, fsec, NULL, &result) != 0)
201 18 : ereturn(escontext, (Datum) 0,
202 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
203 : errmsg("timestamp out of range: \"%s\"", str)));
204 16946 : break;
205 :
206 24 : case DTK_EPOCH:
207 24 : result = SetEpochTimestamp();
208 24 : break;
209 :
210 182 : case DTK_LATE:
211 182 : TIMESTAMP_NOEND(result);
212 182 : break;
213 :
214 136 : case DTK_EARLY:
215 136 : TIMESTAMP_NOBEGIN(result);
216 136 : break;
217 :
218 0 : default:
219 0 : elog(ERROR, "unexpected dtype %d while parsing timestamp \"%s\"",
220 : dtype, str);
221 : TIMESTAMP_NOEND(result);
222 : }
223 :
224 17288 : AdjustTimestampForTypmod(&result, typmod, escontext);
225 :
226 17288 : PG_RETURN_TIMESTAMP(result);
227 : }
228 :
229 : /* timestamp_out()
230 : * Convert a timestamp to external form.
231 : */
232 : Datum
233 42104 : timestamp_out(PG_FUNCTION_ARGS)
234 : {
235 42104 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
236 : char *result;
237 : struct pg_tm tt,
238 42104 : *tm = &tt;
239 : fsec_t fsec;
240 : char buf[MAXDATELEN + 1];
241 :
242 42104 : if (TIMESTAMP_NOT_FINITE(timestamp))
243 472 : EncodeSpecialTimestamp(timestamp, buf);
244 41632 : else if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) == 0)
245 41632 : EncodeDateTime(tm, fsec, false, 0, NULL, DateStyle, buf);
246 : else
247 0 : ereport(ERROR,
248 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
249 : errmsg("timestamp out of range")));
250 :
251 42104 : result = pstrdup(buf);
252 42104 : PG_RETURN_CSTRING(result);
253 : }
254 :
255 : /*
256 : * timestamp_recv - converts external binary format to timestamp
257 : */
258 : Datum
259 0 : timestamp_recv(PG_FUNCTION_ARGS)
260 : {
261 0 : StringInfo buf = (StringInfo) PG_GETARG_POINTER(0);
262 :
263 : #ifdef NOT_USED
264 : Oid typelem = PG_GETARG_OID(1);
265 : #endif
266 0 : int32 typmod = PG_GETARG_INT32(2);
267 : Timestamp timestamp;
268 : struct pg_tm tt,
269 0 : *tm = &tt;
270 : fsec_t fsec;
271 :
272 0 : timestamp = (Timestamp) pq_getmsgint64(buf);
273 :
274 : /* range check: see if timestamp_out would like it */
275 0 : if (TIMESTAMP_NOT_FINITE(timestamp))
276 : /* ok */ ;
277 0 : else if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0 ||
278 0 : !IS_VALID_TIMESTAMP(timestamp))
279 0 : ereport(ERROR,
280 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
281 : errmsg("timestamp out of range")));
282 :
283 0 : AdjustTimestampForTypmod(×tamp, typmod, NULL);
284 :
285 0 : PG_RETURN_TIMESTAMP(timestamp);
286 : }
287 :
288 : /*
289 : * timestamp_send - converts timestamp to binary format
290 : */
291 : Datum
292 0 : timestamp_send(PG_FUNCTION_ARGS)
293 : {
294 0 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
295 : StringInfoData buf;
296 :
297 0 : pq_begintypsend(&buf);
298 0 : pq_sendint64(&buf, timestamp);
299 0 : PG_RETURN_BYTEA_P(pq_endtypsend(&buf));
300 : }
301 :
302 : Datum
303 36 : timestamptypmodin(PG_FUNCTION_ARGS)
304 : {
305 36 : ArrayType *ta = PG_GETARG_ARRAYTYPE_P(0);
306 :
307 36 : PG_RETURN_INT32(anytimestamp_typmodin(false, ta));
308 : }
309 :
310 : Datum
311 10 : timestamptypmodout(PG_FUNCTION_ARGS)
312 : {
313 10 : int32 typmod = PG_GETARG_INT32(0);
314 :
315 10 : PG_RETURN_CSTRING(anytimestamp_typmodout(false, typmod));
316 : }
317 :
318 :
319 : /*
320 : * timestamp_support()
321 : *
322 : * Planner support function for the timestamp_scale() and timestamptz_scale()
323 : * length coercion functions (we need not distinguish them here).
324 : */
325 : Datum
326 24 : timestamp_support(PG_FUNCTION_ARGS)
327 : {
328 24 : Node *rawreq = (Node *) PG_GETARG_POINTER(0);
329 24 : Node *ret = NULL;
330 :
331 24 : if (IsA(rawreq, SupportRequestSimplify))
332 : {
333 12 : SupportRequestSimplify *req = (SupportRequestSimplify *) rawreq;
334 :
335 12 : ret = TemporalSimplify(MAX_TIMESTAMP_PRECISION, (Node *) req->fcall);
336 : }
337 :
338 24 : PG_RETURN_POINTER(ret);
339 : }
340 :
341 : /* timestamp_scale()
342 : * Adjust time type for specified scale factor.
343 : * Used by PostgreSQL type system to stuff columns.
344 : */
345 : Datum
346 62172 : timestamp_scale(PG_FUNCTION_ARGS)
347 : {
348 62172 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
349 62172 : int32 typmod = PG_GETARG_INT32(1);
350 : Timestamp result;
351 :
352 62172 : result = timestamp;
353 :
354 62172 : AdjustTimestampForTypmod(&result, typmod, NULL);
355 :
356 62172 : PG_RETURN_TIMESTAMP(result);
357 : }
358 :
359 : /*
360 : * AdjustTimestampForTypmod --- round off a timestamp to suit given typmod
361 : * Works for either timestamp or timestamptz.
362 : *
363 : * Returns true on success, false on failure (if escontext points to an
364 : * ErrorSaveContext; otherwise errors are thrown).
365 : */
366 : bool
367 125346 : AdjustTimestampForTypmod(Timestamp *time, int32 typmod, Node *escontext)
368 : {
369 : static const int64 TimestampScales[MAX_TIMESTAMP_PRECISION + 1] = {
370 : INT64CONST(1000000),
371 : INT64CONST(100000),
372 : INT64CONST(10000),
373 : INT64CONST(1000),
374 : INT64CONST(100),
375 : INT64CONST(10),
376 : INT64CONST(1)
377 : };
378 :
379 : static const int64 TimestampOffsets[MAX_TIMESTAMP_PRECISION + 1] = {
380 : INT64CONST(500000),
381 : INT64CONST(50000),
382 : INT64CONST(5000),
383 : INT64CONST(500),
384 : INT64CONST(50),
385 : INT64CONST(5),
386 : INT64CONST(0)
387 : };
388 :
389 125346 : if (!TIMESTAMP_NOT_FINITE(*time)
390 124658 : && (typmod != -1) && (typmod != MAX_TIMESTAMP_PRECISION))
391 : {
392 63230 : if (typmod < 0 || typmod > MAX_TIMESTAMP_PRECISION)
393 0 : ereturn(escontext, false,
394 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
395 : errmsg("timestamp(%d) precision must be between %d and %d",
396 : typmod, 0, MAX_TIMESTAMP_PRECISION)));
397 :
398 63230 : if (*time >= INT64CONST(0))
399 : {
400 62588 : *time = ((*time + TimestampOffsets[typmod]) / TimestampScales[typmod]) *
401 62588 : TimestampScales[typmod];
402 : }
403 : else
404 : {
405 642 : *time = -((((-*time) + TimestampOffsets[typmod]) / TimestampScales[typmod])
406 642 : * TimestampScales[typmod]);
407 : }
408 : }
409 :
410 125346 : return true;
411 : }
412 :
413 : /* timestamptz_in()
414 : * Convert a string to internal form.
415 : */
416 : Datum
417 41110 : timestamptz_in(PG_FUNCTION_ARGS)
418 : {
419 41110 : char *str = PG_GETARG_CSTRING(0);
420 : #ifdef NOT_USED
421 : Oid typelem = PG_GETARG_OID(1);
422 : #endif
423 41110 : int32 typmod = PG_GETARG_INT32(2);
424 41110 : Node *escontext = fcinfo->context;
425 : TimestampTz result;
426 : fsec_t fsec;
427 : struct pg_tm tt,
428 41110 : *tm = &tt;
429 : int tz;
430 : int dtype;
431 : int nf;
432 : int dterr;
433 : char *field[MAXDATEFIELDS];
434 : int ftype[MAXDATEFIELDS];
435 : char workbuf[MAXDATELEN + MAXDATEFIELDS];
436 : DateTimeErrorExtra extra;
437 :
438 41110 : dterr = ParseDateTime(str, workbuf, sizeof(workbuf),
439 : field, ftype, MAXDATEFIELDS, &nf);
440 41110 : if (dterr == 0)
441 41110 : dterr = DecodeDateTime(field, ftype, nf,
442 : &dtype, tm, &fsec, &tz, &extra);
443 41110 : if (dterr != 0)
444 : {
445 114 : DateTimeParseError(dterr, &extra, str, "timestamp with time zone",
446 : escontext);
447 24 : PG_RETURN_NULL();
448 : }
449 :
450 40996 : switch (dtype)
451 : {
452 40638 : case DTK_DATE:
453 40638 : if (tm2timestamp(tm, fsec, &tz, &result) != 0)
454 24 : ereturn(escontext, (Datum) 0,
455 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
456 : errmsg("timestamp out of range: \"%s\"", str)));
457 40614 : break;
458 :
459 12 : case DTK_EPOCH:
460 12 : result = SetEpochTimestamp();
461 12 : break;
462 :
463 204 : case DTK_LATE:
464 204 : TIMESTAMP_NOEND(result);
465 204 : break;
466 :
467 142 : case DTK_EARLY:
468 142 : TIMESTAMP_NOBEGIN(result);
469 142 : break;
470 :
471 0 : default:
472 0 : elog(ERROR, "unexpected dtype %d while parsing timestamptz \"%s\"",
473 : dtype, str);
474 : TIMESTAMP_NOEND(result);
475 : }
476 :
477 40972 : AdjustTimestampForTypmod(&result, typmod, escontext);
478 :
479 40972 : PG_RETURN_TIMESTAMPTZ(result);
480 : }
481 :
482 : /*
483 : * Try to parse a timezone specification, and return its timezone offset value
484 : * if it's acceptable. Otherwise, an error is thrown.
485 : *
486 : * Note: some code paths update tm->tm_isdst, and some don't; current callers
487 : * don't care, so we don't bother being consistent.
488 : */
489 : static int
490 198 : parse_sane_timezone(struct pg_tm *tm, text *zone)
491 : {
492 : char tzname[TZ_STRLEN_MAX + 1];
493 : int dterr;
494 : int tz;
495 :
496 198 : text_to_cstring_buffer(zone, tzname, sizeof(tzname));
497 :
498 : /*
499 : * Look up the requested timezone. First we try to interpret it as a
500 : * numeric timezone specification; if DecodeTimezone decides it doesn't
501 : * like the format, we try timezone abbreviations and names.
502 : *
503 : * Note pg_tzset happily parses numeric input that DecodeTimezone would
504 : * reject. To avoid having it accept input that would otherwise be seen
505 : * as invalid, it's enough to disallow having a digit in the first
506 : * position of our input string.
507 : */
508 198 : if (isdigit((unsigned char) *tzname))
509 6 : ereport(ERROR,
510 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
511 : errmsg("invalid input syntax for type %s: \"%s\"",
512 : "numeric time zone", tzname),
513 : errhint("Numeric time zones must have \"-\" or \"+\" as first character.")));
514 :
515 192 : dterr = DecodeTimezone(tzname, &tz);
516 192 : if (dterr != 0)
517 : {
518 : int type,
519 : val;
520 : pg_tz *tzp;
521 :
522 84 : if (dterr == DTERR_TZDISP_OVERFLOW)
523 12 : ereport(ERROR,
524 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
525 : errmsg("numeric time zone \"%s\" out of range", tzname)));
526 72 : else if (dterr != DTERR_BAD_FORMAT)
527 0 : ereport(ERROR,
528 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
529 : errmsg("time zone \"%s\" not recognized", tzname)));
530 :
531 72 : type = DecodeTimezoneName(tzname, &val, &tzp);
532 :
533 66 : if (type == TZNAME_FIXED_OFFSET)
534 : {
535 : /* fixed-offset abbreviation */
536 12 : tz = -val;
537 : }
538 54 : else if (type == TZNAME_DYNTZ)
539 : {
540 : /* dynamic-offset abbreviation, resolve using specified time */
541 12 : tz = DetermineTimeZoneAbbrevOffset(tm, tzname, tzp);
542 : }
543 : else
544 : {
545 : /* full zone name */
546 42 : tz = DetermineTimeZoneOffset(tm, tzp);
547 : }
548 : }
549 :
550 174 : return tz;
551 : }
552 :
553 : /*
554 : * Look up the requested timezone, returning a pg_tz struct.
555 : *
556 : * This is the same as DecodeTimezoneNameToTz, but starting with a text Datum.
557 : */
558 : static pg_tz *
559 84 : lookup_timezone(text *zone)
560 : {
561 : char tzname[TZ_STRLEN_MAX + 1];
562 :
563 84 : text_to_cstring_buffer(zone, tzname, sizeof(tzname));
564 :
565 84 : return DecodeTimezoneNameToTz(tzname);
566 : }
567 :
568 : /*
569 : * make_timestamp_internal
570 : * workhorse for make_timestamp and make_timestamptz
571 : */
572 : static Timestamp
573 234 : make_timestamp_internal(int year, int month, int day,
574 : int hour, int min, double sec)
575 : {
576 : struct pg_tm tm;
577 : TimeOffset date;
578 : TimeOffset time;
579 : int dterr;
580 234 : bool bc = false;
581 : Timestamp result;
582 :
583 234 : tm.tm_year = year;
584 234 : tm.tm_mon = month;
585 234 : tm.tm_mday = day;
586 :
587 : /* Handle negative years as BC */
588 234 : if (tm.tm_year < 0)
589 : {
590 6 : bc = true;
591 6 : tm.tm_year = -tm.tm_year;
592 : }
593 :
594 234 : dterr = ValidateDate(DTK_DATE_M, false, false, bc, &tm);
595 :
596 234 : if (dterr != 0)
597 6 : ereport(ERROR,
598 : (errcode(ERRCODE_DATETIME_FIELD_OVERFLOW),
599 : errmsg("date field value out of range: %d-%02d-%02d",
600 : year, month, day)));
601 :
602 228 : if (!IS_VALID_JULIAN(tm.tm_year, tm.tm_mon, tm.tm_mday))
603 0 : ereport(ERROR,
604 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
605 : errmsg("date out of range: %d-%02d-%02d",
606 : year, month, day)));
607 :
608 228 : date = date2j(tm.tm_year, tm.tm_mon, tm.tm_mday) - POSTGRES_EPOCH_JDATE;
609 :
610 : /* Check for time overflow */
611 228 : if (float_time_overflows(hour, min, sec))
612 0 : ereport(ERROR,
613 : (errcode(ERRCODE_DATETIME_FIELD_OVERFLOW),
614 : errmsg("time field value out of range: %d:%02d:%02g",
615 : hour, min, sec)));
616 :
617 : /* This should match tm2time */
618 228 : time = (((hour * MINS_PER_HOUR + min) * SECS_PER_MINUTE)
619 228 : * USECS_PER_SEC) + (int64) rint(sec * USECS_PER_SEC);
620 :
621 228 : if (unlikely(pg_mul_s64_overflow(date, USECS_PER_DAY, &result) ||
622 : pg_add_s64_overflow(result, time, &result)))
623 0 : ereport(ERROR,
624 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
625 : errmsg("timestamp out of range: %d-%02d-%02d %d:%02d:%02g",
626 : year, month, day,
627 : hour, min, sec)));
628 :
629 : /* final range check catches just-out-of-range timestamps */
630 228 : if (!IS_VALID_TIMESTAMP(result))
631 0 : ereport(ERROR,
632 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
633 : errmsg("timestamp out of range: %d-%02d-%02d %d:%02d:%02g",
634 : year, month, day,
635 : hour, min, sec)));
636 :
637 228 : return result;
638 : }
639 :
640 : /*
641 : * make_timestamp() - timestamp constructor
642 : */
643 : Datum
644 24 : make_timestamp(PG_FUNCTION_ARGS)
645 : {
646 24 : int32 year = PG_GETARG_INT32(0);
647 24 : int32 month = PG_GETARG_INT32(1);
648 24 : int32 mday = PG_GETARG_INT32(2);
649 24 : int32 hour = PG_GETARG_INT32(3);
650 24 : int32 min = PG_GETARG_INT32(4);
651 24 : float8 sec = PG_GETARG_FLOAT8(5);
652 : Timestamp result;
653 :
654 24 : result = make_timestamp_internal(year, month, mday,
655 : hour, min, sec);
656 :
657 18 : PG_RETURN_TIMESTAMP(result);
658 : }
659 :
660 : /*
661 : * make_timestamptz() - timestamp with time zone constructor
662 : */
663 : Datum
664 12 : make_timestamptz(PG_FUNCTION_ARGS)
665 : {
666 12 : int32 year = PG_GETARG_INT32(0);
667 12 : int32 month = PG_GETARG_INT32(1);
668 12 : int32 mday = PG_GETARG_INT32(2);
669 12 : int32 hour = PG_GETARG_INT32(3);
670 12 : int32 min = PG_GETARG_INT32(4);
671 12 : float8 sec = PG_GETARG_FLOAT8(5);
672 : Timestamp result;
673 :
674 12 : result = make_timestamp_internal(year, month, mday,
675 : hour, min, sec);
676 :
677 12 : PG_RETURN_TIMESTAMPTZ(timestamp2timestamptz(result));
678 : }
679 :
680 : /*
681 : * Construct a timestamp with time zone.
682 : * As above, but the time zone is specified as seventh argument.
683 : */
684 : Datum
685 198 : make_timestamptz_at_timezone(PG_FUNCTION_ARGS)
686 : {
687 198 : int32 year = PG_GETARG_INT32(0);
688 198 : int32 month = PG_GETARG_INT32(1);
689 198 : int32 mday = PG_GETARG_INT32(2);
690 198 : int32 hour = PG_GETARG_INT32(3);
691 198 : int32 min = PG_GETARG_INT32(4);
692 198 : float8 sec = PG_GETARG_FLOAT8(5);
693 198 : text *zone = PG_GETARG_TEXT_PP(6);
694 : TimestampTz result;
695 : Timestamp timestamp;
696 : struct pg_tm tt;
697 : int tz;
698 : fsec_t fsec;
699 :
700 198 : timestamp = make_timestamp_internal(year, month, mday,
701 : hour, min, sec);
702 :
703 198 : if (timestamp2tm(timestamp, NULL, &tt, &fsec, NULL, NULL) != 0)
704 0 : ereport(ERROR,
705 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
706 : errmsg("timestamp out of range")));
707 :
708 198 : tz = parse_sane_timezone(&tt, zone);
709 :
710 174 : result = dt2local(timestamp, -tz);
711 :
712 174 : if (!IS_VALID_TIMESTAMP(result))
713 0 : ereport(ERROR,
714 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
715 : errmsg("timestamp out of range")));
716 :
717 174 : PG_RETURN_TIMESTAMPTZ(result);
718 : }
719 :
720 : /*
721 : * to_timestamp(double precision)
722 : * Convert UNIX epoch to timestamptz.
723 : */
724 : Datum
725 54 : float8_timestamptz(PG_FUNCTION_ARGS)
726 : {
727 54 : float8 seconds = PG_GETARG_FLOAT8(0);
728 : TimestampTz result;
729 :
730 : /* Deal with NaN and infinite inputs ... */
731 54 : if (isnan(seconds))
732 6 : ereport(ERROR,
733 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
734 : errmsg("timestamp cannot be NaN")));
735 :
736 48 : if (isinf(seconds))
737 : {
738 12 : if (seconds < 0)
739 6 : TIMESTAMP_NOBEGIN(result);
740 : else
741 6 : TIMESTAMP_NOEND(result);
742 : }
743 : else
744 : {
745 : /* Out of range? */
746 36 : if (seconds <
747 : (float8) SECS_PER_DAY * (DATETIME_MIN_JULIAN - UNIX_EPOCH_JDATE)
748 36 : || seconds >=
749 : (float8) SECS_PER_DAY * (TIMESTAMP_END_JULIAN - UNIX_EPOCH_JDATE))
750 0 : ereport(ERROR,
751 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
752 : errmsg("timestamp out of range: \"%g\"", seconds)));
753 :
754 : /* Convert UNIX epoch to Postgres epoch */
755 36 : seconds -= ((POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY);
756 :
757 36 : seconds = rint(seconds * USECS_PER_SEC);
758 36 : result = (int64) seconds;
759 :
760 : /* Recheck in case roundoff produces something just out of range */
761 36 : if (!IS_VALID_TIMESTAMP(result))
762 0 : ereport(ERROR,
763 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
764 : errmsg("timestamp out of range: \"%g\"",
765 : PG_GETARG_FLOAT8(0))));
766 : }
767 :
768 48 : PG_RETURN_TIMESTAMP(result);
769 : }
770 :
771 : /* timestamptz_out()
772 : * Convert a timestamp to external form.
773 : */
774 : Datum
775 69700 : timestamptz_out(PG_FUNCTION_ARGS)
776 : {
777 69700 : TimestampTz dt = PG_GETARG_TIMESTAMPTZ(0);
778 : char *result;
779 : int tz;
780 : struct pg_tm tt,
781 69700 : *tm = &tt;
782 : fsec_t fsec;
783 : const char *tzn;
784 : char buf[MAXDATELEN + 1];
785 :
786 69700 : if (TIMESTAMP_NOT_FINITE(dt))
787 728 : EncodeSpecialTimestamp(dt, buf);
788 68972 : else if (timestamp2tm(dt, &tz, tm, &fsec, &tzn, NULL) == 0)
789 68972 : EncodeDateTime(tm, fsec, true, tz, tzn, DateStyle, buf);
790 : else
791 0 : ereport(ERROR,
792 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
793 : errmsg("timestamp out of range")));
794 :
795 69700 : result = pstrdup(buf);
796 69700 : PG_RETURN_CSTRING(result);
797 : }
798 :
799 : /*
800 : * timestamptz_recv - converts external binary format to timestamptz
801 : */
802 : Datum
803 0 : timestamptz_recv(PG_FUNCTION_ARGS)
804 : {
805 0 : StringInfo buf = (StringInfo) PG_GETARG_POINTER(0);
806 :
807 : #ifdef NOT_USED
808 : Oid typelem = PG_GETARG_OID(1);
809 : #endif
810 0 : int32 typmod = PG_GETARG_INT32(2);
811 : TimestampTz timestamp;
812 : int tz;
813 : struct pg_tm tt,
814 0 : *tm = &tt;
815 : fsec_t fsec;
816 :
817 0 : timestamp = (TimestampTz) pq_getmsgint64(buf);
818 :
819 : /* range check: see if timestamptz_out would like it */
820 0 : if (TIMESTAMP_NOT_FINITE(timestamp))
821 : /* ok */ ;
822 0 : else if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, NULL) != 0 ||
823 0 : !IS_VALID_TIMESTAMP(timestamp))
824 0 : ereport(ERROR,
825 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
826 : errmsg("timestamp out of range")));
827 :
828 0 : AdjustTimestampForTypmod(×tamp, typmod, NULL);
829 :
830 0 : PG_RETURN_TIMESTAMPTZ(timestamp);
831 : }
832 :
833 : /*
834 : * timestamptz_send - converts timestamptz to binary format
835 : */
836 : Datum
837 0 : timestamptz_send(PG_FUNCTION_ARGS)
838 : {
839 0 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
840 : StringInfoData buf;
841 :
842 0 : pq_begintypsend(&buf);
843 0 : pq_sendint64(&buf, timestamp);
844 0 : PG_RETURN_BYTEA_P(pq_endtypsend(&buf));
845 : }
846 :
847 : Datum
848 108 : timestamptztypmodin(PG_FUNCTION_ARGS)
849 : {
850 108 : ArrayType *ta = PG_GETARG_ARRAYTYPE_P(0);
851 :
852 108 : PG_RETURN_INT32(anytimestamp_typmodin(true, ta));
853 : }
854 :
855 : Datum
856 10 : timestamptztypmodout(PG_FUNCTION_ARGS)
857 : {
858 10 : int32 typmod = PG_GETARG_INT32(0);
859 :
860 10 : PG_RETURN_CSTRING(anytimestamp_typmodout(true, typmod));
861 : }
862 :
863 :
864 : /* timestamptz_scale()
865 : * Adjust time type for specified scale factor.
866 : * Used by PostgreSQL type system to stuff columns.
867 : */
868 : Datum
869 456 : timestamptz_scale(PG_FUNCTION_ARGS)
870 : {
871 456 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
872 456 : int32 typmod = PG_GETARG_INT32(1);
873 : TimestampTz result;
874 :
875 456 : result = timestamp;
876 :
877 456 : AdjustTimestampForTypmod(&result, typmod, NULL);
878 :
879 456 : PG_RETURN_TIMESTAMPTZ(result);
880 : }
881 :
882 :
883 : /* interval_in()
884 : * Convert a string to internal form.
885 : *
886 : * External format(s):
887 : * Uses the generic date/time parsing and decoding routines.
888 : */
889 : Datum
890 65342 : interval_in(PG_FUNCTION_ARGS)
891 : {
892 65342 : char *str = PG_GETARG_CSTRING(0);
893 : #ifdef NOT_USED
894 : Oid typelem = PG_GETARG_OID(1);
895 : #endif
896 65342 : int32 typmod = PG_GETARG_INT32(2);
897 65342 : Node *escontext = fcinfo->context;
898 : Interval *result;
899 : struct pg_itm_in tt,
900 65342 : *itm_in = &tt;
901 : int dtype;
902 : int nf;
903 : int range;
904 : int dterr;
905 : char *field[MAXDATEFIELDS];
906 : int ftype[MAXDATEFIELDS];
907 : char workbuf[256];
908 : DateTimeErrorExtra extra;
909 :
910 65342 : itm_in->tm_year = 0;
911 65342 : itm_in->tm_mon = 0;
912 65342 : itm_in->tm_mday = 0;
913 65342 : itm_in->tm_usec = 0;
914 :
915 65342 : if (typmod >= 0)
916 336 : range = INTERVAL_RANGE(typmod);
917 : else
918 65006 : range = INTERVAL_FULL_RANGE;
919 :
920 65342 : dterr = ParseDateTime(str, workbuf, sizeof(workbuf), field,
921 : ftype, MAXDATEFIELDS, &nf);
922 65342 : if (dterr == 0)
923 65342 : dterr = DecodeInterval(field, ftype, nf, range,
924 : &dtype, itm_in);
925 :
926 : /* if those functions think it's a bad format, try ISO8601 style */
927 65342 : if (dterr == DTERR_BAD_FORMAT)
928 612 : dterr = DecodeISO8601Interval(str,
929 : &dtype, itm_in);
930 :
931 65342 : if (dterr != 0)
932 : {
933 954 : if (dterr == DTERR_FIELD_OVERFLOW)
934 720 : dterr = DTERR_INTERVAL_OVERFLOW;
935 954 : DateTimeParseError(dterr, &extra, str, "interval", escontext);
936 24 : PG_RETURN_NULL();
937 : }
938 :
939 64388 : result = (Interval *) palloc(sizeof(Interval));
940 :
941 64388 : switch (dtype)
942 : {
943 63416 : case DTK_DELTA:
944 63416 : if (itmin2interval(itm_in, result) != 0)
945 18 : ereturn(escontext, (Datum) 0,
946 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
947 : errmsg("interval out of range")));
948 63398 : break;
949 :
950 570 : case DTK_LATE:
951 570 : INTERVAL_NOEND(result);
952 570 : break;
953 :
954 402 : case DTK_EARLY:
955 402 : INTERVAL_NOBEGIN(result);
956 402 : break;
957 :
958 0 : default:
959 0 : elog(ERROR, "unexpected dtype %d while parsing interval \"%s\"",
960 : dtype, str);
961 : }
962 :
963 64370 : AdjustIntervalForTypmod(result, typmod, escontext);
964 :
965 64358 : PG_RETURN_INTERVAL_P(result);
966 : }
967 :
968 : /* interval_out()
969 : * Convert a time span to external form.
970 : */
971 : Datum
972 15514 : interval_out(PG_FUNCTION_ARGS)
973 : {
974 15514 : Interval *span = PG_GETARG_INTERVAL_P(0);
975 : char *result;
976 : struct pg_itm tt,
977 15514 : *itm = &tt;
978 : char buf[MAXDATELEN + 1];
979 :
980 15514 : if (INTERVAL_NOT_FINITE(span))
981 2024 : EncodeSpecialInterval(span, buf);
982 : else
983 : {
984 13490 : interval2itm(*span, itm);
985 13490 : EncodeInterval(itm, IntervalStyle, buf);
986 : }
987 :
988 15514 : result = pstrdup(buf);
989 15514 : PG_RETURN_CSTRING(result);
990 : }
991 :
992 : /*
993 : * interval_recv - converts external binary format to interval
994 : */
995 : Datum
996 0 : interval_recv(PG_FUNCTION_ARGS)
997 : {
998 0 : StringInfo buf = (StringInfo) PG_GETARG_POINTER(0);
999 :
1000 : #ifdef NOT_USED
1001 : Oid typelem = PG_GETARG_OID(1);
1002 : #endif
1003 0 : int32 typmod = PG_GETARG_INT32(2);
1004 : Interval *interval;
1005 :
1006 0 : interval = (Interval *) palloc(sizeof(Interval));
1007 :
1008 0 : interval->time = pq_getmsgint64(buf);
1009 0 : interval->day = pq_getmsgint(buf, sizeof(interval->day));
1010 0 : interval->month = pq_getmsgint(buf, sizeof(interval->month));
1011 :
1012 0 : AdjustIntervalForTypmod(interval, typmod, NULL);
1013 :
1014 0 : PG_RETURN_INTERVAL_P(interval);
1015 : }
1016 :
1017 : /*
1018 : * interval_send - converts interval to binary format
1019 : */
1020 : Datum
1021 0 : interval_send(PG_FUNCTION_ARGS)
1022 : {
1023 0 : Interval *interval = PG_GETARG_INTERVAL_P(0);
1024 : StringInfoData buf;
1025 :
1026 0 : pq_begintypsend(&buf);
1027 0 : pq_sendint64(&buf, interval->time);
1028 0 : pq_sendint32(&buf, interval->day);
1029 0 : pq_sendint32(&buf, interval->month);
1030 0 : PG_RETURN_BYTEA_P(pq_endtypsend(&buf));
1031 : }
1032 :
1033 : /*
1034 : * The interval typmod stores a "range" in its high 16 bits and a "precision"
1035 : * in its low 16 bits. Both contribute to defining the resolution of the
1036 : * type. Range addresses resolution granules larger than one second, and
1037 : * precision specifies resolution below one second. This representation can
1038 : * express all SQL standard resolutions, but we implement them all in terms of
1039 : * truncating rightward from some position. Range is a bitmap of permitted
1040 : * fields, but only the temporally-smallest such field is significant to our
1041 : * calculations. Precision is a count of sub-second decimal places to retain.
1042 : * Setting all bits (INTERVAL_FULL_PRECISION) gives the same truncation
1043 : * semantics as choosing MAX_INTERVAL_PRECISION.
1044 : */
1045 : Datum
1046 354 : intervaltypmodin(PG_FUNCTION_ARGS)
1047 : {
1048 354 : ArrayType *ta = PG_GETARG_ARRAYTYPE_P(0);
1049 : int32 *tl;
1050 : int n;
1051 : int32 typmod;
1052 :
1053 354 : tl = ArrayGetIntegerTypmods(ta, &n);
1054 :
1055 : /*
1056 : * tl[0] - interval range (fields bitmask) tl[1] - precision (optional)
1057 : *
1058 : * Note we must validate tl[0] even though it's normally guaranteed
1059 : * correct by the grammar --- consider SELECT 'foo'::"interval"(1000).
1060 : */
1061 354 : if (n > 0)
1062 : {
1063 354 : switch (tl[0])
1064 : {
1065 354 : case INTERVAL_MASK(YEAR):
1066 : case INTERVAL_MASK(MONTH):
1067 : case INTERVAL_MASK(DAY):
1068 : case INTERVAL_MASK(HOUR):
1069 : case INTERVAL_MASK(MINUTE):
1070 : case INTERVAL_MASK(SECOND):
1071 : case INTERVAL_MASK(YEAR) | INTERVAL_MASK(MONTH):
1072 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR):
1073 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
1074 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1075 : case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
1076 : case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1077 : case INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1078 : case INTERVAL_FULL_RANGE:
1079 : /* all OK */
1080 354 : break;
1081 0 : default:
1082 0 : ereport(ERROR,
1083 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1084 : errmsg("invalid INTERVAL type modifier")));
1085 : }
1086 : }
1087 :
1088 354 : if (n == 1)
1089 : {
1090 258 : if (tl[0] != INTERVAL_FULL_RANGE)
1091 258 : typmod = INTERVAL_TYPMOD(INTERVAL_FULL_PRECISION, tl[0]);
1092 : else
1093 0 : typmod = -1;
1094 : }
1095 96 : else if (n == 2)
1096 : {
1097 96 : if (tl[1] < 0)
1098 0 : ereport(ERROR,
1099 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1100 : errmsg("INTERVAL(%d) precision must not be negative",
1101 : tl[1])));
1102 96 : if (tl[1] > MAX_INTERVAL_PRECISION)
1103 : {
1104 0 : ereport(WARNING,
1105 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1106 : errmsg("INTERVAL(%d) precision reduced to maximum allowed, %d",
1107 : tl[1], MAX_INTERVAL_PRECISION)));
1108 0 : typmod = INTERVAL_TYPMOD(MAX_INTERVAL_PRECISION, tl[0]);
1109 : }
1110 : else
1111 96 : typmod = INTERVAL_TYPMOD(tl[1], tl[0]);
1112 : }
1113 : else
1114 : {
1115 0 : ereport(ERROR,
1116 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1117 : errmsg("invalid INTERVAL type modifier")));
1118 : typmod = 0; /* keep compiler quiet */
1119 : }
1120 :
1121 354 : PG_RETURN_INT32(typmod);
1122 : }
1123 :
1124 : Datum
1125 0 : intervaltypmodout(PG_FUNCTION_ARGS)
1126 : {
1127 0 : int32 typmod = PG_GETARG_INT32(0);
1128 0 : char *res = (char *) palloc(64);
1129 : int fields;
1130 : int precision;
1131 : const char *fieldstr;
1132 :
1133 0 : if (typmod < 0)
1134 : {
1135 0 : *res = '\0';
1136 0 : PG_RETURN_CSTRING(res);
1137 : }
1138 :
1139 0 : fields = INTERVAL_RANGE(typmod);
1140 0 : precision = INTERVAL_PRECISION(typmod);
1141 :
1142 0 : switch (fields)
1143 : {
1144 0 : case INTERVAL_MASK(YEAR):
1145 0 : fieldstr = " year";
1146 0 : break;
1147 0 : case INTERVAL_MASK(MONTH):
1148 0 : fieldstr = " month";
1149 0 : break;
1150 0 : case INTERVAL_MASK(DAY):
1151 0 : fieldstr = " day";
1152 0 : break;
1153 0 : case INTERVAL_MASK(HOUR):
1154 0 : fieldstr = " hour";
1155 0 : break;
1156 0 : case INTERVAL_MASK(MINUTE):
1157 0 : fieldstr = " minute";
1158 0 : break;
1159 0 : case INTERVAL_MASK(SECOND):
1160 0 : fieldstr = " second";
1161 0 : break;
1162 0 : case INTERVAL_MASK(YEAR) | INTERVAL_MASK(MONTH):
1163 0 : fieldstr = " year to month";
1164 0 : break;
1165 0 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR):
1166 0 : fieldstr = " day to hour";
1167 0 : break;
1168 0 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
1169 0 : fieldstr = " day to minute";
1170 0 : break;
1171 0 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1172 0 : fieldstr = " day to second";
1173 0 : break;
1174 0 : case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
1175 0 : fieldstr = " hour to minute";
1176 0 : break;
1177 0 : case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1178 0 : fieldstr = " hour to second";
1179 0 : break;
1180 0 : case INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1181 0 : fieldstr = " minute to second";
1182 0 : break;
1183 0 : case INTERVAL_FULL_RANGE:
1184 0 : fieldstr = "";
1185 0 : break;
1186 0 : default:
1187 0 : elog(ERROR, "invalid INTERVAL typmod: 0x%x", typmod);
1188 : fieldstr = "";
1189 : break;
1190 : }
1191 :
1192 0 : if (precision != INTERVAL_FULL_PRECISION)
1193 0 : snprintf(res, 64, "%s(%d)", fieldstr, precision);
1194 : else
1195 0 : snprintf(res, 64, "%s", fieldstr);
1196 :
1197 0 : PG_RETURN_CSTRING(res);
1198 : }
1199 :
1200 : /*
1201 : * Given an interval typmod value, return a code for the least-significant
1202 : * field that the typmod allows to be nonzero, for instance given
1203 : * INTERVAL DAY TO HOUR we want to identify "hour".
1204 : *
1205 : * The results should be ordered by field significance, which means
1206 : * we can't use the dt.h macros YEAR etc, because for some odd reason
1207 : * they aren't ordered that way. Instead, arbitrarily represent
1208 : * SECOND = 0, MINUTE = 1, HOUR = 2, DAY = 3, MONTH = 4, YEAR = 5.
1209 : */
1210 : static int
1211 36 : intervaltypmodleastfield(int32 typmod)
1212 : {
1213 36 : if (typmod < 0)
1214 12 : return 0; /* SECOND */
1215 :
1216 24 : switch (INTERVAL_RANGE(typmod))
1217 : {
1218 6 : case INTERVAL_MASK(YEAR):
1219 6 : return 5; /* YEAR */
1220 12 : case INTERVAL_MASK(MONTH):
1221 12 : return 4; /* MONTH */
1222 0 : case INTERVAL_MASK(DAY):
1223 0 : return 3; /* DAY */
1224 0 : case INTERVAL_MASK(HOUR):
1225 0 : return 2; /* HOUR */
1226 0 : case INTERVAL_MASK(MINUTE):
1227 0 : return 1; /* MINUTE */
1228 0 : case INTERVAL_MASK(SECOND):
1229 0 : return 0; /* SECOND */
1230 0 : case INTERVAL_MASK(YEAR) | INTERVAL_MASK(MONTH):
1231 0 : return 4; /* MONTH */
1232 0 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR):
1233 0 : return 2; /* HOUR */
1234 6 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
1235 6 : return 1; /* MINUTE */
1236 0 : case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1237 0 : return 0; /* SECOND */
1238 0 : case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
1239 0 : return 1; /* MINUTE */
1240 0 : case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1241 0 : return 0; /* SECOND */
1242 0 : case INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
1243 0 : return 0; /* SECOND */
1244 0 : case INTERVAL_FULL_RANGE:
1245 0 : return 0; /* SECOND */
1246 0 : default:
1247 0 : elog(ERROR, "invalid INTERVAL typmod: 0x%x", typmod);
1248 : break;
1249 : }
1250 : return 0; /* can't get here, but keep compiler quiet */
1251 : }
1252 :
1253 :
1254 : /*
1255 : * interval_support()
1256 : *
1257 : * Planner support function for interval_scale().
1258 : *
1259 : * Flatten superfluous calls to interval_scale(). The interval typmod is
1260 : * complex to permit accepting and regurgitating all SQL standard variations.
1261 : * For truncation purposes, it boils down to a single, simple granularity.
1262 : */
1263 : Datum
1264 36 : interval_support(PG_FUNCTION_ARGS)
1265 : {
1266 36 : Node *rawreq = (Node *) PG_GETARG_POINTER(0);
1267 36 : Node *ret = NULL;
1268 :
1269 36 : if (IsA(rawreq, SupportRequestSimplify))
1270 : {
1271 18 : SupportRequestSimplify *req = (SupportRequestSimplify *) rawreq;
1272 18 : FuncExpr *expr = req->fcall;
1273 : Node *typmod;
1274 :
1275 : Assert(list_length(expr->args) >= 2);
1276 :
1277 18 : typmod = (Node *) lsecond(expr->args);
1278 :
1279 18 : if (IsA(typmod, Const) && !((Const *) typmod)->constisnull)
1280 : {
1281 18 : Node *source = (Node *) linitial(expr->args);
1282 18 : int32 new_typmod = DatumGetInt32(((Const *) typmod)->constvalue);
1283 : bool noop;
1284 :
1285 18 : if (new_typmod < 0)
1286 0 : noop = true;
1287 : else
1288 : {
1289 18 : int32 old_typmod = exprTypmod(source);
1290 : int old_least_field;
1291 : int new_least_field;
1292 : int old_precis;
1293 : int new_precis;
1294 :
1295 18 : old_least_field = intervaltypmodleastfield(old_typmod);
1296 18 : new_least_field = intervaltypmodleastfield(new_typmod);
1297 18 : if (old_typmod < 0)
1298 12 : old_precis = INTERVAL_FULL_PRECISION;
1299 : else
1300 6 : old_precis = INTERVAL_PRECISION(old_typmod);
1301 18 : new_precis = INTERVAL_PRECISION(new_typmod);
1302 :
1303 : /*
1304 : * Cast is a no-op if least field stays the same or decreases
1305 : * while precision stays the same or increases. But
1306 : * precision, which is to say, sub-second precision, only
1307 : * affects ranges that include SECOND.
1308 : */
1309 18 : noop = (new_least_field <= old_least_field) &&
1310 0 : (old_least_field > 0 /* SECOND */ ||
1311 0 : new_precis >= MAX_INTERVAL_PRECISION ||
1312 : new_precis >= old_precis);
1313 : }
1314 18 : if (noop)
1315 0 : ret = relabel_to_typmod(source, new_typmod);
1316 : }
1317 : }
1318 :
1319 36 : PG_RETURN_POINTER(ret);
1320 : }
1321 :
1322 : /* interval_scale()
1323 : * Adjust interval type for specified fields.
1324 : * Used by PostgreSQL type system to stuff columns.
1325 : */
1326 : Datum
1327 216 : interval_scale(PG_FUNCTION_ARGS)
1328 : {
1329 216 : Interval *interval = PG_GETARG_INTERVAL_P(0);
1330 216 : int32 typmod = PG_GETARG_INT32(1);
1331 : Interval *result;
1332 :
1333 216 : result = palloc(sizeof(Interval));
1334 216 : *result = *interval;
1335 :
1336 216 : AdjustIntervalForTypmod(result, typmod, NULL);
1337 :
1338 216 : PG_RETURN_INTERVAL_P(result);
1339 : }
1340 :
1341 : /*
1342 : * Adjust interval for specified precision, in both YEAR to SECOND
1343 : * range and sub-second precision.
1344 : *
1345 : * Returns true on success, false on failure (if escontext points to an
1346 : * ErrorSaveContext; otherwise errors are thrown).
1347 : */
1348 : static bool
1349 64586 : AdjustIntervalForTypmod(Interval *interval, int32 typmod,
1350 : Node *escontext)
1351 : {
1352 : static const int64 IntervalScales[MAX_INTERVAL_PRECISION + 1] = {
1353 : INT64CONST(1000000),
1354 : INT64CONST(100000),
1355 : INT64CONST(10000),
1356 : INT64CONST(1000),
1357 : INT64CONST(100),
1358 : INT64CONST(10),
1359 : INT64CONST(1)
1360 : };
1361 :
1362 : static const int64 IntervalOffsets[MAX_INTERVAL_PRECISION + 1] = {
1363 : INT64CONST(500000),
1364 : INT64CONST(50000),
1365 : INT64CONST(5000),
1366 : INT64CONST(500),
1367 : INT64CONST(50),
1368 : INT64CONST(5),
1369 : INT64CONST(0)
1370 : };
1371 :
1372 : /* Typmod has no effect on infinite intervals */
1373 64586 : if (INTERVAL_NOT_FINITE(interval))
1374 1020 : return true;
1375 :
1376 : /*
1377 : * Unspecified range and precision? Then not necessary to adjust. Setting
1378 : * typmod to -1 is the convention for all data types.
1379 : */
1380 63566 : if (typmod >= 0)
1381 : {
1382 462 : int range = INTERVAL_RANGE(typmod);
1383 462 : int precision = INTERVAL_PRECISION(typmod);
1384 :
1385 : /*
1386 : * Our interpretation of intervals with a limited set of fields is
1387 : * that fields to the right of the last one specified are zeroed out,
1388 : * but those to the left of it remain valid. Thus for example there
1389 : * is no operational difference between INTERVAL YEAR TO MONTH and
1390 : * INTERVAL MONTH. In some cases we could meaningfully enforce that
1391 : * higher-order fields are zero; for example INTERVAL DAY could reject
1392 : * nonzero "month" field. However that seems a bit pointless when we
1393 : * can't do it consistently. (We cannot enforce a range limit on the
1394 : * highest expected field, since we do not have any equivalent of
1395 : * SQL's <interval leading field precision>.) If we ever decide to
1396 : * revisit this, interval_support will likely require adjusting.
1397 : *
1398 : * Note: before PG 8.4 we interpreted a limited set of fields as
1399 : * actually causing a "modulo" operation on a given value, potentially
1400 : * losing high-order as well as low-order information. But there is
1401 : * no support for such behavior in the standard, and it seems fairly
1402 : * undesirable on data consistency grounds anyway. Now we only
1403 : * perform truncation or rounding of low-order fields.
1404 : */
1405 462 : if (range == INTERVAL_FULL_RANGE)
1406 : {
1407 : /* Do nothing... */
1408 : }
1409 450 : else if (range == INTERVAL_MASK(YEAR))
1410 : {
1411 66 : interval->month = (interval->month / MONTHS_PER_YEAR) * MONTHS_PER_YEAR;
1412 66 : interval->day = 0;
1413 66 : interval->time = 0;
1414 : }
1415 384 : else if (range == INTERVAL_MASK(MONTH))
1416 : {
1417 72 : interval->day = 0;
1418 72 : interval->time = 0;
1419 : }
1420 : /* YEAR TO MONTH */
1421 312 : else if (range == (INTERVAL_MASK(YEAR) | INTERVAL_MASK(MONTH)))
1422 : {
1423 18 : interval->day = 0;
1424 18 : interval->time = 0;
1425 : }
1426 294 : else if (range == INTERVAL_MASK(DAY))
1427 : {
1428 12 : interval->time = 0;
1429 : }
1430 282 : else if (range == INTERVAL_MASK(HOUR))
1431 : {
1432 12 : interval->time = (interval->time / USECS_PER_HOUR) *
1433 : USECS_PER_HOUR;
1434 : }
1435 270 : else if (range == INTERVAL_MASK(MINUTE))
1436 : {
1437 12 : interval->time = (interval->time / USECS_PER_MINUTE) *
1438 : USECS_PER_MINUTE;
1439 : }
1440 258 : else if (range == INTERVAL_MASK(SECOND))
1441 : {
1442 : /* fractional-second rounding will be dealt with below */
1443 : }
1444 : /* DAY TO HOUR */
1445 222 : else if (range == (INTERVAL_MASK(DAY) |
1446 : INTERVAL_MASK(HOUR)))
1447 : {
1448 24 : interval->time = (interval->time / USECS_PER_HOUR) *
1449 : USECS_PER_HOUR;
1450 : }
1451 : /* DAY TO MINUTE */
1452 198 : else if (range == (INTERVAL_MASK(DAY) |
1453 : INTERVAL_MASK(HOUR) |
1454 : INTERVAL_MASK(MINUTE)))
1455 : {
1456 72 : interval->time = (interval->time / USECS_PER_MINUTE) *
1457 : USECS_PER_MINUTE;
1458 : }
1459 : /* DAY TO SECOND */
1460 126 : else if (range == (INTERVAL_MASK(DAY) |
1461 : INTERVAL_MASK(HOUR) |
1462 : INTERVAL_MASK(MINUTE) |
1463 : INTERVAL_MASK(SECOND)))
1464 : {
1465 : /* fractional-second rounding will be dealt with below */
1466 : }
1467 : /* HOUR TO MINUTE */
1468 90 : else if (range == (INTERVAL_MASK(HOUR) |
1469 : INTERVAL_MASK(MINUTE)))
1470 : {
1471 12 : interval->time = (interval->time / USECS_PER_MINUTE) *
1472 : USECS_PER_MINUTE;
1473 : }
1474 : /* HOUR TO SECOND */
1475 78 : else if (range == (INTERVAL_MASK(HOUR) |
1476 : INTERVAL_MASK(MINUTE) |
1477 : INTERVAL_MASK(SECOND)))
1478 : {
1479 : /* fractional-second rounding will be dealt with below */
1480 : }
1481 : /* MINUTE TO SECOND */
1482 54 : else if (range == (INTERVAL_MASK(MINUTE) |
1483 : INTERVAL_MASK(SECOND)))
1484 : {
1485 : /* fractional-second rounding will be dealt with below */
1486 : }
1487 : else
1488 0 : elog(ERROR, "unrecognized interval typmod: %d", typmod);
1489 :
1490 : /* Need to adjust sub-second precision? */
1491 462 : if (precision != INTERVAL_FULL_PRECISION)
1492 : {
1493 78 : if (precision < 0 || precision > MAX_INTERVAL_PRECISION)
1494 0 : ereturn(escontext, false,
1495 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1496 : errmsg("interval(%d) precision must be between %d and %d",
1497 : precision, 0, MAX_INTERVAL_PRECISION)));
1498 :
1499 78 : if (interval->time >= INT64CONST(0))
1500 : {
1501 72 : if (pg_add_s64_overflow(interval->time,
1502 : IntervalOffsets[precision],
1503 72 : &interval->time))
1504 6 : ereturn(escontext, false,
1505 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1506 : errmsg("interval out of range")));
1507 66 : interval->time -= interval->time % IntervalScales[precision];
1508 : }
1509 : else
1510 : {
1511 6 : if (pg_sub_s64_overflow(interval->time,
1512 : IntervalOffsets[precision],
1513 6 : &interval->time))
1514 6 : ereturn(escontext, false,
1515 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1516 : errmsg("interval out of range")));
1517 0 : interval->time -= interval->time % IntervalScales[precision];
1518 : }
1519 : }
1520 : }
1521 :
1522 63554 : return true;
1523 : }
1524 :
1525 : /*
1526 : * make_interval - numeric Interval constructor
1527 : */
1528 : Datum
1529 132 : make_interval(PG_FUNCTION_ARGS)
1530 : {
1531 132 : int32 years = PG_GETARG_INT32(0);
1532 132 : int32 months = PG_GETARG_INT32(1);
1533 132 : int32 weeks = PG_GETARG_INT32(2);
1534 132 : int32 days = PG_GETARG_INT32(3);
1535 132 : int32 hours = PG_GETARG_INT32(4);
1536 132 : int32 mins = PG_GETARG_INT32(5);
1537 132 : double secs = PG_GETARG_FLOAT8(6);
1538 : Interval *result;
1539 :
1540 : /*
1541 : * Reject out-of-range inputs. We reject any input values that cause
1542 : * integer overflow of the corresponding interval fields.
1543 : */
1544 132 : if (isinf(secs) || isnan(secs))
1545 12 : goto out_of_range;
1546 :
1547 120 : result = (Interval *) palloc(sizeof(Interval));
1548 :
1549 : /* years and months -> months */
1550 228 : if (pg_mul_s32_overflow(years, MONTHS_PER_YEAR, &result->month) ||
1551 108 : pg_add_s32_overflow(result->month, months, &result->month))
1552 24 : goto out_of_range;
1553 :
1554 : /* weeks and days -> days */
1555 180 : if (pg_mul_s32_overflow(weeks, DAYS_PER_WEEK, &result->day) ||
1556 84 : pg_add_s32_overflow(result->day, days, &result->day))
1557 24 : goto out_of_range;
1558 :
1559 : /* hours and mins -> usecs (cannot overflow 64-bit) */
1560 72 : result->time = hours * USECS_PER_HOUR + mins * USECS_PER_MINUTE;
1561 :
1562 : /* secs -> usecs */
1563 72 : secs = rint(float8_mul(secs, USECS_PER_SEC));
1564 120 : if (!FLOAT8_FITS_IN_INT64(secs) ||
1565 54 : pg_add_s64_overflow(result->time, (int64) secs, &result->time))
1566 24 : goto out_of_range;
1567 :
1568 : /* make sure that the result is finite */
1569 42 : if (INTERVAL_NOT_FINITE(result))
1570 0 : goto out_of_range;
1571 :
1572 42 : PG_RETURN_INTERVAL_P(result);
1573 :
1574 84 : out_of_range:
1575 84 : ereport(ERROR,
1576 : errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1577 : errmsg("interval out of range"));
1578 :
1579 : PG_RETURN_NULL(); /* keep compiler quiet */
1580 : }
1581 :
1582 : /* EncodeSpecialTimestamp()
1583 : * Convert reserved timestamp data type to string.
1584 : */
1585 : void
1586 1248 : EncodeSpecialTimestamp(Timestamp dt, char *str)
1587 : {
1588 1248 : if (TIMESTAMP_IS_NOBEGIN(dt))
1589 616 : strcpy(str, EARLY);
1590 632 : else if (TIMESTAMP_IS_NOEND(dt))
1591 632 : strcpy(str, LATE);
1592 : else /* shouldn't happen */
1593 0 : elog(ERROR, "invalid argument for EncodeSpecialTimestamp");
1594 1248 : }
1595 :
1596 : static void
1597 2024 : EncodeSpecialInterval(const Interval *interval, char *str)
1598 : {
1599 2024 : if (INTERVAL_IS_NOBEGIN(interval))
1600 994 : strcpy(str, EARLY);
1601 1030 : else if (INTERVAL_IS_NOEND(interval))
1602 1030 : strcpy(str, LATE);
1603 : else /* shouldn't happen */
1604 0 : elog(ERROR, "invalid argument for EncodeSpecialInterval");
1605 2024 : }
1606 :
1607 : Datum
1608 70572 : now(PG_FUNCTION_ARGS)
1609 : {
1610 70572 : PG_RETURN_TIMESTAMPTZ(GetCurrentTransactionStartTimestamp());
1611 : }
1612 :
1613 : Datum
1614 6 : statement_timestamp(PG_FUNCTION_ARGS)
1615 : {
1616 6 : PG_RETURN_TIMESTAMPTZ(GetCurrentStatementStartTimestamp());
1617 : }
1618 :
1619 : Datum
1620 28 : clock_timestamp(PG_FUNCTION_ARGS)
1621 : {
1622 28 : PG_RETURN_TIMESTAMPTZ(GetCurrentTimestamp());
1623 : }
1624 :
1625 : Datum
1626 0 : pg_postmaster_start_time(PG_FUNCTION_ARGS)
1627 : {
1628 0 : PG_RETURN_TIMESTAMPTZ(PgStartTime);
1629 : }
1630 :
1631 : Datum
1632 0 : pg_conf_load_time(PG_FUNCTION_ARGS)
1633 : {
1634 0 : PG_RETURN_TIMESTAMPTZ(PgReloadTime);
1635 : }
1636 :
1637 : /*
1638 : * GetCurrentTimestamp -- get the current operating system time
1639 : *
1640 : * Result is in the form of a TimestampTz value, and is expressed to the
1641 : * full precision of the gettimeofday() syscall
1642 : */
1643 : TimestampTz
1644 8938320 : GetCurrentTimestamp(void)
1645 : {
1646 : TimestampTz result;
1647 : struct timeval tp;
1648 :
1649 8938320 : gettimeofday(&tp, NULL);
1650 :
1651 8938320 : result = (TimestampTz) tp.tv_sec -
1652 : ((POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY);
1653 8938320 : result = (result * USECS_PER_SEC) + tp.tv_usec;
1654 :
1655 8938320 : return result;
1656 : }
1657 :
1658 : /*
1659 : * GetSQLCurrentTimestamp -- implements CURRENT_TIMESTAMP, CURRENT_TIMESTAMP(n)
1660 : */
1661 : TimestampTz
1662 348 : GetSQLCurrentTimestamp(int32 typmod)
1663 : {
1664 : TimestampTz ts;
1665 :
1666 348 : ts = GetCurrentTransactionStartTimestamp();
1667 348 : if (typmod >= 0)
1668 72 : AdjustTimestampForTypmod(&ts, typmod, NULL);
1669 348 : return ts;
1670 : }
1671 :
1672 : /*
1673 : * GetSQLLocalTimestamp -- implements LOCALTIMESTAMP, LOCALTIMESTAMP(n)
1674 : */
1675 : Timestamp
1676 66 : GetSQLLocalTimestamp(int32 typmod)
1677 : {
1678 : Timestamp ts;
1679 :
1680 66 : ts = timestamptz2timestamp(GetCurrentTransactionStartTimestamp());
1681 66 : if (typmod >= 0)
1682 6 : AdjustTimestampForTypmod(&ts, typmod, NULL);
1683 66 : return ts;
1684 : }
1685 :
1686 : /*
1687 : * timeofday(*) -- returns the current time as a text.
1688 : */
1689 : Datum
1690 1600 : timeofday(PG_FUNCTION_ARGS)
1691 : {
1692 : struct timeval tp;
1693 : char templ[128];
1694 : char buf[128];
1695 : pg_time_t tt;
1696 :
1697 1600 : gettimeofday(&tp, NULL);
1698 1600 : tt = (pg_time_t) tp.tv_sec;
1699 1600 : pg_strftime(templ, sizeof(templ), "%a %b %d %H:%M:%S.%%06d %Y %Z",
1700 1600 : pg_localtime(&tt, session_timezone));
1701 1600 : snprintf(buf, sizeof(buf), templ, tp.tv_usec);
1702 :
1703 1600 : PG_RETURN_TEXT_P(cstring_to_text(buf));
1704 : }
1705 :
1706 : /*
1707 : * TimestampDifference -- convert the difference between two timestamps
1708 : * into integer seconds and microseconds
1709 : *
1710 : * This is typically used to calculate a wait timeout for select(2),
1711 : * which explains the otherwise-odd choice of output format.
1712 : *
1713 : * Both inputs must be ordinary finite timestamps (in current usage,
1714 : * they'll be results from GetCurrentTimestamp()).
1715 : *
1716 : * We expect start_time <= stop_time. If not, we return zeros,
1717 : * since then we're already past the previously determined stop_time.
1718 : */
1719 : void
1720 1135258 : TimestampDifference(TimestampTz start_time, TimestampTz stop_time,
1721 : long *secs, int *microsecs)
1722 : {
1723 1135258 : TimestampTz diff = stop_time - start_time;
1724 :
1725 1135258 : if (diff <= 0)
1726 : {
1727 290 : *secs = 0;
1728 290 : *microsecs = 0;
1729 : }
1730 : else
1731 : {
1732 1134968 : *secs = (long) (diff / USECS_PER_SEC);
1733 1134968 : *microsecs = (int) (diff % USECS_PER_SEC);
1734 : }
1735 1135258 : }
1736 :
1737 : /*
1738 : * TimestampDifferenceMilliseconds -- convert the difference between two
1739 : * timestamps into integer milliseconds
1740 : *
1741 : * This is typically used to calculate a wait timeout for WaitLatch()
1742 : * or a related function. The choice of "long" as the result type
1743 : * is to harmonize with that; furthermore, we clamp the result to at most
1744 : * INT_MAX milliseconds, because that's all that WaitLatch() allows.
1745 : *
1746 : * We expect start_time <= stop_time. If not, we return zero,
1747 : * since then we're already past the previously determined stop_time.
1748 : *
1749 : * Subtracting finite and infinite timestamps works correctly, returning
1750 : * zero or INT_MAX as appropriate.
1751 : *
1752 : * Note we round up any fractional millisecond, since waiting for just
1753 : * less than the intended timeout is undesirable.
1754 : */
1755 : long
1756 378414 : TimestampDifferenceMilliseconds(TimestampTz start_time, TimestampTz stop_time)
1757 : {
1758 : TimestampTz diff;
1759 :
1760 : /* Deal with zero or negative elapsed time quickly. */
1761 378414 : if (start_time >= stop_time)
1762 0 : return 0;
1763 : /* To not fail with timestamp infinities, we must detect overflow. */
1764 378414 : if (pg_sub_s64_overflow(stop_time, start_time, &diff))
1765 0 : return (long) INT_MAX;
1766 378414 : if (diff >= (INT_MAX * INT64CONST(1000) - 999))
1767 0 : return (long) INT_MAX;
1768 : else
1769 378414 : return (long) ((diff + 999) / 1000);
1770 : }
1771 :
1772 : /*
1773 : * TimestampDifferenceExceeds -- report whether the difference between two
1774 : * timestamps is >= a threshold (expressed in milliseconds)
1775 : *
1776 : * Both inputs must be ordinary finite timestamps (in current usage,
1777 : * they'll be results from GetCurrentTimestamp()).
1778 : */
1779 : bool
1780 1045582 : TimestampDifferenceExceeds(TimestampTz start_time,
1781 : TimestampTz stop_time,
1782 : int msec)
1783 : {
1784 1045582 : TimestampTz diff = stop_time - start_time;
1785 :
1786 1045582 : return (diff >= msec * INT64CONST(1000));
1787 : }
1788 :
1789 : /*
1790 : * Check if the difference between two timestamps is >= a given
1791 : * threshold (expressed in seconds).
1792 : */
1793 : bool
1794 0 : TimestampDifferenceExceedsSeconds(TimestampTz start_time,
1795 : TimestampTz stop_time,
1796 : int threshold_sec)
1797 : {
1798 : long secs;
1799 : int usecs;
1800 :
1801 : /* Calculate the difference in seconds */
1802 0 : TimestampDifference(start_time, stop_time, &secs, &usecs);
1803 :
1804 0 : return (secs >= threshold_sec);
1805 : }
1806 :
1807 : /*
1808 : * Convert a time_t to TimestampTz.
1809 : *
1810 : * We do not use time_t internally in Postgres, but this is provided for use
1811 : * by functions that need to interpret, say, a stat(2) result.
1812 : *
1813 : * To avoid having the function's ABI vary depending on the width of time_t,
1814 : * we declare the argument as pg_time_t, which is cast-compatible with
1815 : * time_t but always 64 bits wide (unless the platform has no 64-bit type).
1816 : * This detail should be invisible to callers, at least at source code level.
1817 : */
1818 : TimestampTz
1819 43438 : time_t_to_timestamptz(pg_time_t tm)
1820 : {
1821 : TimestampTz result;
1822 :
1823 43438 : result = (TimestampTz) tm -
1824 : ((POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY);
1825 43438 : result *= USECS_PER_SEC;
1826 :
1827 43438 : return result;
1828 : }
1829 :
1830 : /*
1831 : * Convert a TimestampTz to time_t.
1832 : *
1833 : * This too is just marginally useful, but some places need it.
1834 : *
1835 : * To avoid having the function's ABI vary depending on the width of time_t,
1836 : * we declare the result as pg_time_t, which is cast-compatible with
1837 : * time_t but always 64 bits wide (unless the platform has no 64-bit type).
1838 : * This detail should be invisible to callers, at least at source code level.
1839 : */
1840 : pg_time_t
1841 46286 : timestamptz_to_time_t(TimestampTz t)
1842 : {
1843 : pg_time_t result;
1844 :
1845 46286 : result = (pg_time_t) (t / USECS_PER_SEC +
1846 : ((POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY));
1847 :
1848 46286 : return result;
1849 : }
1850 :
1851 : /*
1852 : * Produce a C-string representation of a TimestampTz.
1853 : *
1854 : * This is mostly for use in emitting messages. The primary difference
1855 : * from timestamptz_out is that we force the output format to ISO. Note
1856 : * also that the result is in a static buffer, not pstrdup'd.
1857 : *
1858 : * See also pg_strftime.
1859 : */
1860 : const char *
1861 2666 : timestamptz_to_str(TimestampTz t)
1862 : {
1863 : static char buf[MAXDATELEN + 1];
1864 : int tz;
1865 : struct pg_tm tt,
1866 2666 : *tm = &tt;
1867 : fsec_t fsec;
1868 : const char *tzn;
1869 :
1870 2666 : if (TIMESTAMP_NOT_FINITE(t))
1871 0 : EncodeSpecialTimestamp(t, buf);
1872 2666 : else if (timestamp2tm(t, &tz, tm, &fsec, &tzn, NULL) == 0)
1873 2666 : EncodeDateTime(tm, fsec, true, tz, tzn, USE_ISO_DATES, buf);
1874 : else
1875 0 : strlcpy(buf, "(timestamp out of range)", sizeof(buf));
1876 :
1877 2666 : return buf;
1878 : }
1879 :
1880 :
1881 : void
1882 308796 : dt2time(Timestamp jd, int *hour, int *min, int *sec, fsec_t *fsec)
1883 : {
1884 : TimeOffset time;
1885 :
1886 308796 : time = jd;
1887 :
1888 308796 : *hour = time / USECS_PER_HOUR;
1889 308796 : time -= (*hour) * USECS_PER_HOUR;
1890 308796 : *min = time / USECS_PER_MINUTE;
1891 308796 : time -= (*min) * USECS_PER_MINUTE;
1892 308796 : *sec = time / USECS_PER_SEC;
1893 308796 : *fsec = time - (*sec * USECS_PER_SEC);
1894 308796 : } /* dt2time() */
1895 :
1896 :
1897 : /*
1898 : * timestamp2tm() - Convert timestamp data type to POSIX time structure.
1899 : *
1900 : * Note that year is _not_ 1900-based, but is an explicit full value.
1901 : * Also, month is one-based, _not_ zero-based.
1902 : * Returns:
1903 : * 0 on success
1904 : * -1 on out of range
1905 : *
1906 : * If attimezone is NULL, the global timezone setting will be used.
1907 : */
1908 : int
1909 308784 : timestamp2tm(Timestamp dt, int *tzp, struct pg_tm *tm, fsec_t *fsec, const char **tzn, pg_tz *attimezone)
1910 : {
1911 : Timestamp date;
1912 : Timestamp time;
1913 : pg_time_t utime;
1914 :
1915 : /* Use session timezone if caller asks for default */
1916 308784 : if (attimezone == NULL)
1917 235964 : attimezone = session_timezone;
1918 :
1919 308784 : time = dt;
1920 308784 : TMODULO(time, date, USECS_PER_DAY);
1921 :
1922 308784 : if (time < INT64CONST(0))
1923 : {
1924 100262 : time += USECS_PER_DAY;
1925 100262 : date -= 1;
1926 : }
1927 :
1928 : /* add offset to go from J2000 back to standard Julian date */
1929 308784 : date += POSTGRES_EPOCH_JDATE;
1930 :
1931 : /* Julian day routine does not work for negative Julian days */
1932 308784 : if (date < 0 || date > (Timestamp) INT_MAX)
1933 0 : return -1;
1934 :
1935 308784 : j2date((int) date, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
1936 308784 : dt2time(time, &tm->tm_hour, &tm->tm_min, &tm->tm_sec, fsec);
1937 :
1938 : /* Done if no TZ conversion wanted */
1939 308784 : if (tzp == NULL)
1940 : {
1941 83966 : tm->tm_isdst = -1;
1942 83966 : tm->tm_gmtoff = 0;
1943 83966 : tm->tm_zone = NULL;
1944 83966 : if (tzn != NULL)
1945 0 : *tzn = NULL;
1946 83966 : return 0;
1947 : }
1948 :
1949 : /*
1950 : * If the time falls within the range of pg_time_t, use pg_localtime() to
1951 : * rotate to the local time zone.
1952 : *
1953 : * First, convert to an integral timestamp, avoiding possibly
1954 : * platform-specific roundoff-in-wrong-direction errors, and adjust to
1955 : * Unix epoch. Then see if we can convert to pg_time_t without loss. This
1956 : * coding avoids hardwiring any assumptions about the width of pg_time_t,
1957 : * so it should behave sanely on machines without int64.
1958 : */
1959 224818 : dt = (dt - *fsec) / USECS_PER_SEC +
1960 : (POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY;
1961 224818 : utime = (pg_time_t) dt;
1962 224818 : if ((Timestamp) utime == dt)
1963 : {
1964 224818 : struct pg_tm *tx = pg_localtime(&utime, attimezone);
1965 :
1966 224818 : tm->tm_year = tx->tm_year + 1900;
1967 224818 : tm->tm_mon = tx->tm_mon + 1;
1968 224818 : tm->tm_mday = tx->tm_mday;
1969 224818 : tm->tm_hour = tx->tm_hour;
1970 224818 : tm->tm_min = tx->tm_min;
1971 224818 : tm->tm_sec = tx->tm_sec;
1972 224818 : tm->tm_isdst = tx->tm_isdst;
1973 224818 : tm->tm_gmtoff = tx->tm_gmtoff;
1974 224818 : tm->tm_zone = tx->tm_zone;
1975 224818 : *tzp = -tm->tm_gmtoff;
1976 224818 : if (tzn != NULL)
1977 85826 : *tzn = tm->tm_zone;
1978 : }
1979 : else
1980 : {
1981 : /*
1982 : * When out of range of pg_time_t, treat as GMT
1983 : */
1984 0 : *tzp = 0;
1985 : /* Mark this as *no* time zone available */
1986 0 : tm->tm_isdst = -1;
1987 0 : tm->tm_gmtoff = 0;
1988 0 : tm->tm_zone = NULL;
1989 0 : if (tzn != NULL)
1990 0 : *tzn = NULL;
1991 : }
1992 :
1993 224818 : return 0;
1994 : }
1995 :
1996 :
1997 : /* tm2timestamp()
1998 : * Convert a tm structure to a timestamp data type.
1999 : * Note that year is _not_ 1900-based, but is an explicit full value.
2000 : * Also, month is one-based, _not_ zero-based.
2001 : *
2002 : * Returns -1 on failure (value out of range).
2003 : */
2004 : int
2005 220724 : tm2timestamp(struct pg_tm *tm, fsec_t fsec, int *tzp, Timestamp *result)
2006 : {
2007 : TimeOffset date;
2008 : TimeOffset time;
2009 :
2010 : /* Prevent overflow in Julian-day routines */
2011 220724 : if (!IS_VALID_JULIAN(tm->tm_year, tm->tm_mon, tm->tm_mday))
2012 : {
2013 12 : *result = 0; /* keep compiler quiet */
2014 12 : return -1;
2015 : }
2016 :
2017 220712 : date = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday) - POSTGRES_EPOCH_JDATE;
2018 220712 : time = time2t(tm->tm_hour, tm->tm_min, tm->tm_sec, fsec);
2019 :
2020 220712 : if (unlikely(pg_mul_s64_overflow(date, USECS_PER_DAY, result) ||
2021 : pg_add_s64_overflow(*result, time, result)))
2022 : {
2023 6 : *result = 0; /* keep compiler quiet */
2024 6 : return -1;
2025 : }
2026 220706 : if (tzp != NULL)
2027 104430 : *result = dt2local(*result, -(*tzp));
2028 :
2029 : /* final range check catches just-out-of-range timestamps */
2030 220706 : if (!IS_VALID_TIMESTAMP(*result))
2031 : {
2032 24 : *result = 0; /* keep compiler quiet */
2033 24 : return -1;
2034 : }
2035 :
2036 220682 : return 0;
2037 : }
2038 :
2039 :
2040 : /* interval2itm()
2041 : * Convert an Interval to a pg_itm structure.
2042 : * Note: overflow is not possible, because the pg_itm fields are
2043 : * wide enough for all possible conversion results.
2044 : */
2045 : void
2046 15610 : interval2itm(Interval span, struct pg_itm *itm)
2047 : {
2048 : TimeOffset time;
2049 : TimeOffset tfrac;
2050 :
2051 15610 : itm->tm_year = span.month / MONTHS_PER_YEAR;
2052 15610 : itm->tm_mon = span.month % MONTHS_PER_YEAR;
2053 15610 : itm->tm_mday = span.day;
2054 15610 : time = span.time;
2055 :
2056 15610 : tfrac = time / USECS_PER_HOUR;
2057 15610 : time -= tfrac * USECS_PER_HOUR;
2058 15610 : itm->tm_hour = tfrac;
2059 15610 : tfrac = time / USECS_PER_MINUTE;
2060 15610 : time -= tfrac * USECS_PER_MINUTE;
2061 15610 : itm->tm_min = (int) tfrac;
2062 15610 : tfrac = time / USECS_PER_SEC;
2063 15610 : time -= tfrac * USECS_PER_SEC;
2064 15610 : itm->tm_sec = (int) tfrac;
2065 15610 : itm->tm_usec = (int) time;
2066 15610 : }
2067 :
2068 : /* itm2interval()
2069 : * Convert a pg_itm structure to an Interval.
2070 : * Returns 0 if OK, -1 on overflow.
2071 : *
2072 : * This is for use in computations expected to produce finite results. Any
2073 : * inputs that lead to infinite results are treated as overflows.
2074 : */
2075 : int
2076 0 : itm2interval(struct pg_itm *itm, Interval *span)
2077 : {
2078 0 : int64 total_months = (int64) itm->tm_year * MONTHS_PER_YEAR + itm->tm_mon;
2079 :
2080 0 : if (total_months > INT_MAX || total_months < INT_MIN)
2081 0 : return -1;
2082 0 : span->month = (int32) total_months;
2083 0 : span->day = itm->tm_mday;
2084 0 : if (pg_mul_s64_overflow(itm->tm_hour, USECS_PER_HOUR,
2085 0 : &span->time))
2086 0 : return -1;
2087 : /* tm_min, tm_sec are 32 bits, so intermediate products can't overflow */
2088 0 : if (pg_add_s64_overflow(span->time, itm->tm_min * USECS_PER_MINUTE,
2089 0 : &span->time))
2090 0 : return -1;
2091 0 : if (pg_add_s64_overflow(span->time, itm->tm_sec * USECS_PER_SEC,
2092 0 : &span->time))
2093 0 : return -1;
2094 0 : if (pg_add_s64_overflow(span->time, itm->tm_usec,
2095 0 : &span->time))
2096 0 : return -1;
2097 0 : if (INTERVAL_NOT_FINITE(span))
2098 0 : return -1;
2099 0 : return 0;
2100 : }
2101 :
2102 : /* itmin2interval()
2103 : * Convert a pg_itm_in structure to an Interval.
2104 : * Returns 0 if OK, -1 on overflow.
2105 : *
2106 : * Note: if the result is infinite, it is not treated as an overflow. This
2107 : * avoids any dump/reload hazards from pre-17 databases that do not support
2108 : * infinite intervals, but do allow finite intervals with all fields set to
2109 : * INT_MIN/INT_MAX (outside the documented range). Such intervals will be
2110 : * silently converted to +/-infinity. This may not be ideal, but seems
2111 : * preferable to failure, and ought to be pretty unlikely in practice.
2112 : */
2113 : int
2114 77870 : itmin2interval(struct pg_itm_in *itm_in, Interval *span)
2115 : {
2116 77870 : int64 total_months = (int64) itm_in->tm_year * MONTHS_PER_YEAR + itm_in->tm_mon;
2117 :
2118 77870 : if (total_months > INT_MAX || total_months < INT_MIN)
2119 18 : return -1;
2120 77852 : span->month = (int32) total_months;
2121 77852 : span->day = itm_in->tm_mday;
2122 77852 : span->time = itm_in->tm_usec;
2123 77852 : return 0;
2124 : }
2125 :
2126 : static TimeOffset
2127 220712 : time2t(const int hour, const int min, const int sec, const fsec_t fsec)
2128 : {
2129 220712 : return (((((hour * MINS_PER_HOUR) + min) * SECS_PER_MINUTE) + sec) * USECS_PER_SEC) + fsec;
2130 : }
2131 :
2132 : static Timestamp
2133 120948 : dt2local(Timestamp dt, int timezone)
2134 : {
2135 120948 : dt -= (timezone * USECS_PER_SEC);
2136 120948 : return dt;
2137 : }
2138 :
2139 :
2140 : /*****************************************************************************
2141 : * PUBLIC ROUTINES *
2142 : *****************************************************************************/
2143 :
2144 :
2145 : Datum
2146 0 : timestamp_finite(PG_FUNCTION_ARGS)
2147 : {
2148 0 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
2149 :
2150 0 : PG_RETURN_BOOL(!TIMESTAMP_NOT_FINITE(timestamp));
2151 : }
2152 :
2153 : Datum
2154 318 : interval_finite(PG_FUNCTION_ARGS)
2155 : {
2156 318 : Interval *interval = PG_GETARG_INTERVAL_P(0);
2157 :
2158 318 : PG_RETURN_BOOL(!INTERVAL_NOT_FINITE(interval));
2159 : }
2160 :
2161 :
2162 : /*----------------------------------------------------------
2163 : * Relational operators for timestamp.
2164 : *---------------------------------------------------------*/
2165 :
2166 : void
2167 28376 : GetEpochTime(struct pg_tm *tm)
2168 : {
2169 : struct pg_tm *t0;
2170 28376 : pg_time_t epoch = 0;
2171 :
2172 28376 : t0 = pg_gmtime(&epoch);
2173 :
2174 28376 : if (t0 == NULL)
2175 0 : elog(ERROR, "could not convert epoch to timestamp: %m");
2176 :
2177 28376 : tm->tm_year = t0->tm_year;
2178 28376 : tm->tm_mon = t0->tm_mon;
2179 28376 : tm->tm_mday = t0->tm_mday;
2180 28376 : tm->tm_hour = t0->tm_hour;
2181 28376 : tm->tm_min = t0->tm_min;
2182 28376 : tm->tm_sec = t0->tm_sec;
2183 :
2184 28376 : tm->tm_year += 1900;
2185 28376 : tm->tm_mon++;
2186 28376 : }
2187 :
2188 : Timestamp
2189 28370 : SetEpochTimestamp(void)
2190 : {
2191 : Timestamp dt;
2192 : struct pg_tm tt,
2193 28370 : *tm = &tt;
2194 :
2195 28370 : GetEpochTime(tm);
2196 : /* we don't bother to test for failure ... */
2197 28370 : tm2timestamp(tm, 0, NULL, &dt);
2198 :
2199 28370 : return dt;
2200 : } /* SetEpochTimestamp() */
2201 :
2202 : /*
2203 : * We are currently sharing some code between timestamp and timestamptz.
2204 : * The comparison functions are among them. - thomas 2001-09-25
2205 : *
2206 : * timestamp_relop - is timestamp1 relop timestamp2
2207 : */
2208 : int
2209 459830 : timestamp_cmp_internal(Timestamp dt1, Timestamp dt2)
2210 : {
2211 459830 : return (dt1 < dt2) ? -1 : ((dt1 > dt2) ? 1 : 0);
2212 : }
2213 :
2214 : Datum
2215 30476 : timestamp_eq(PG_FUNCTION_ARGS)
2216 : {
2217 30476 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2218 30476 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2219 :
2220 30476 : PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) == 0);
2221 : }
2222 :
2223 : Datum
2224 786 : timestamp_ne(PG_FUNCTION_ARGS)
2225 : {
2226 786 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2227 786 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2228 :
2229 786 : PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) != 0);
2230 : }
2231 :
2232 : Datum
2233 177720 : timestamp_lt(PG_FUNCTION_ARGS)
2234 : {
2235 177720 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2236 177720 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2237 :
2238 177720 : PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) < 0);
2239 : }
2240 :
2241 : Datum
2242 98516 : timestamp_gt(PG_FUNCTION_ARGS)
2243 : {
2244 98516 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2245 98516 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2246 :
2247 98516 : PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) > 0);
2248 : }
2249 :
2250 : Datum
2251 18844 : timestamp_le(PG_FUNCTION_ARGS)
2252 : {
2253 18844 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2254 18844 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2255 :
2256 18844 : PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) <= 0);
2257 : }
2258 :
2259 : Datum
2260 18566 : timestamp_ge(PG_FUNCTION_ARGS)
2261 : {
2262 18566 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2263 18566 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2264 :
2265 18566 : PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) >= 0);
2266 : }
2267 :
2268 : Datum
2269 35296 : timestamp_cmp(PG_FUNCTION_ARGS)
2270 : {
2271 35296 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2272 35296 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2273 :
2274 35296 : PG_RETURN_INT32(timestamp_cmp_internal(dt1, dt2));
2275 : }
2276 :
2277 : #if SIZEOF_DATUM < 8
2278 : /* note: this is used for timestamptz also */
2279 : static int
2280 : timestamp_fastcmp(Datum x, Datum y, SortSupport ssup)
2281 : {
2282 : Timestamp a = DatumGetTimestamp(x);
2283 : Timestamp b = DatumGetTimestamp(y);
2284 :
2285 : return timestamp_cmp_internal(a, b);
2286 : }
2287 : #endif
2288 :
2289 : Datum
2290 490 : timestamp_sortsupport(PG_FUNCTION_ARGS)
2291 : {
2292 490 : SortSupport ssup = (SortSupport) PG_GETARG_POINTER(0);
2293 :
2294 : #if SIZEOF_DATUM >= 8
2295 :
2296 : /*
2297 : * If this build has pass-by-value timestamps, then we can use a standard
2298 : * comparator function.
2299 : */
2300 490 : ssup->comparator = ssup_datum_signed_cmp;
2301 : #else
2302 : ssup->comparator = timestamp_fastcmp;
2303 : #endif
2304 490 : PG_RETURN_VOID();
2305 : }
2306 :
2307 : Datum
2308 6494 : timestamp_hash(PG_FUNCTION_ARGS)
2309 : {
2310 6494 : return hashint8(fcinfo);
2311 : }
2312 :
2313 : Datum
2314 60 : timestamp_hash_extended(PG_FUNCTION_ARGS)
2315 : {
2316 60 : return hashint8extended(fcinfo);
2317 : }
2318 :
2319 : Datum
2320 0 : timestamptz_hash(PG_FUNCTION_ARGS)
2321 : {
2322 0 : return hashint8(fcinfo);
2323 : }
2324 :
2325 : Datum
2326 0 : timestamptz_hash_extended(PG_FUNCTION_ARGS)
2327 : {
2328 0 : return hashint8extended(fcinfo);
2329 : }
2330 :
2331 : /*
2332 : * Cross-type comparison functions for timestamp vs timestamptz
2333 : */
2334 :
2335 : int32
2336 15906 : timestamp_cmp_timestamptz_internal(Timestamp timestampVal, TimestampTz dt2)
2337 : {
2338 : TimestampTz dt1;
2339 : int overflow;
2340 :
2341 15906 : dt1 = timestamp2timestamptz_opt_overflow(timestampVal, &overflow);
2342 15906 : if (overflow > 0)
2343 : {
2344 : /* dt1 is larger than any finite timestamp, but less than infinity */
2345 0 : return TIMESTAMP_IS_NOEND(dt2) ? -1 : +1;
2346 : }
2347 15906 : if (overflow < 0)
2348 : {
2349 : /* dt1 is less than any finite timestamp, but more than -infinity */
2350 12 : return TIMESTAMP_IS_NOBEGIN(dt2) ? +1 : -1;
2351 : }
2352 :
2353 15894 : return timestamptz_cmp_internal(dt1, dt2);
2354 : }
2355 :
2356 : Datum
2357 1812 : timestamp_eq_timestamptz(PG_FUNCTION_ARGS)
2358 : {
2359 1812 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2360 1812 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2361 :
2362 1812 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) == 0);
2363 : }
2364 :
2365 : Datum
2366 0 : timestamp_ne_timestamptz(PG_FUNCTION_ARGS)
2367 : {
2368 0 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2369 0 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2370 :
2371 0 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) != 0);
2372 : }
2373 :
2374 : Datum
2375 3204 : timestamp_lt_timestamptz(PG_FUNCTION_ARGS)
2376 : {
2377 3204 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2378 3204 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2379 :
2380 3204 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) < 0);
2381 : }
2382 :
2383 : Datum
2384 3198 : timestamp_gt_timestamptz(PG_FUNCTION_ARGS)
2385 : {
2386 3198 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2387 3198 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2388 :
2389 3198 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) > 0);
2390 : }
2391 :
2392 : Datum
2393 3798 : timestamp_le_timestamptz(PG_FUNCTION_ARGS)
2394 : {
2395 3798 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2396 3798 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2397 :
2398 3798 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) <= 0);
2399 : }
2400 :
2401 : Datum
2402 3504 : timestamp_ge_timestamptz(PG_FUNCTION_ARGS)
2403 : {
2404 3504 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2405 3504 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2406 :
2407 3504 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) >= 0);
2408 : }
2409 :
2410 : Datum
2411 72 : timestamp_cmp_timestamptz(PG_FUNCTION_ARGS)
2412 : {
2413 72 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2414 72 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
2415 :
2416 72 : PG_RETURN_INT32(timestamp_cmp_timestamptz_internal(timestampVal, dt2));
2417 : }
2418 :
2419 : Datum
2420 0 : timestamptz_eq_timestamp(PG_FUNCTION_ARGS)
2421 : {
2422 0 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2423 0 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2424 :
2425 0 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) == 0);
2426 : }
2427 :
2428 : Datum
2429 96 : timestamptz_ne_timestamp(PG_FUNCTION_ARGS)
2430 : {
2431 96 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2432 96 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2433 :
2434 96 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) != 0);
2435 : }
2436 :
2437 : Datum
2438 0 : timestamptz_lt_timestamp(PG_FUNCTION_ARGS)
2439 : {
2440 0 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2441 0 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2442 :
2443 0 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) > 0);
2444 : }
2445 :
2446 : Datum
2447 0 : timestamptz_gt_timestamp(PG_FUNCTION_ARGS)
2448 : {
2449 0 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2450 0 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2451 :
2452 0 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) < 0);
2453 : }
2454 :
2455 : Datum
2456 0 : timestamptz_le_timestamp(PG_FUNCTION_ARGS)
2457 : {
2458 0 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2459 0 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2460 :
2461 0 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) >= 0);
2462 : }
2463 :
2464 : Datum
2465 6 : timestamptz_ge_timestamp(PG_FUNCTION_ARGS)
2466 : {
2467 6 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2468 6 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2469 :
2470 6 : PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) <= 0);
2471 : }
2472 :
2473 : Datum
2474 0 : timestamptz_cmp_timestamp(PG_FUNCTION_ARGS)
2475 : {
2476 0 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
2477 0 : Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2478 :
2479 0 : PG_RETURN_INT32(-timestamp_cmp_timestamptz_internal(timestampVal, dt1));
2480 : }
2481 :
2482 :
2483 : /*
2484 : * interval_relop - is interval1 relop interval2
2485 : *
2486 : * Interval comparison is based on converting interval values to a linear
2487 : * representation expressed in the units of the time field (microseconds,
2488 : * in the case of integer timestamps) with days assumed to be always 24 hours
2489 : * and months assumed to be always 30 days. To avoid overflow, we need a
2490 : * wider-than-int64 datatype for the linear representation, so use INT128.
2491 : */
2492 :
2493 : static inline INT128
2494 260984 : interval_cmp_value(const Interval *interval)
2495 : {
2496 : INT128 span;
2497 : int64 days;
2498 :
2499 : /*
2500 : * Combine the month and day fields into an integral number of days.
2501 : * Because the inputs are int32, int64 arithmetic suffices here.
2502 : */
2503 260984 : days = interval->month * INT64CONST(30);
2504 260984 : days += interval->day;
2505 :
2506 : /* Widen time field to 128 bits */
2507 260984 : span = int64_to_int128(interval->time);
2508 :
2509 : /* Scale up days to microseconds, forming a 128-bit product */
2510 260984 : int128_add_int64_mul_int64(&span, days, USECS_PER_DAY);
2511 :
2512 260984 : return span;
2513 : }
2514 :
2515 : static int
2516 126880 : interval_cmp_internal(const Interval *interval1, const Interval *interval2)
2517 : {
2518 126880 : INT128 span1 = interval_cmp_value(interval1);
2519 126880 : INT128 span2 = interval_cmp_value(interval2);
2520 :
2521 126880 : return int128_compare(span1, span2);
2522 : }
2523 :
2524 : static int
2525 4886 : interval_sign(const Interval *interval)
2526 : {
2527 4886 : INT128 span = interval_cmp_value(interval);
2528 4886 : INT128 zero = int64_to_int128(0);
2529 :
2530 4886 : return int128_compare(span, zero);
2531 : }
2532 :
2533 : Datum
2534 15998 : interval_eq(PG_FUNCTION_ARGS)
2535 : {
2536 15998 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2537 15998 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2538 :
2539 15998 : PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) == 0);
2540 : }
2541 :
2542 : Datum
2543 108 : interval_ne(PG_FUNCTION_ARGS)
2544 : {
2545 108 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2546 108 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2547 :
2548 108 : PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) != 0);
2549 : }
2550 :
2551 : Datum
2552 29538 : interval_lt(PG_FUNCTION_ARGS)
2553 : {
2554 29538 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2555 29538 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2556 :
2557 29538 : PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) < 0);
2558 : }
2559 :
2560 : Datum
2561 9948 : interval_gt(PG_FUNCTION_ARGS)
2562 : {
2563 9948 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2564 9948 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2565 :
2566 9948 : PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) > 0);
2567 : }
2568 :
2569 : Datum
2570 6358 : interval_le(PG_FUNCTION_ARGS)
2571 : {
2572 6358 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2573 6358 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2574 :
2575 6358 : PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) <= 0);
2576 : }
2577 :
2578 : Datum
2579 5884 : interval_ge(PG_FUNCTION_ARGS)
2580 : {
2581 5884 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2582 5884 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2583 :
2584 5884 : PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) >= 0);
2585 : }
2586 :
2587 : Datum
2588 58158 : interval_cmp(PG_FUNCTION_ARGS)
2589 : {
2590 58158 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2591 58158 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2592 :
2593 58158 : PG_RETURN_INT32(interval_cmp_internal(interval1, interval2));
2594 : }
2595 :
2596 : /*
2597 : * Hashing for intervals
2598 : *
2599 : * We must produce equal hashvals for values that interval_cmp_internal()
2600 : * considers equal. So, compute the net span the same way it does,
2601 : * and then hash that.
2602 : */
2603 : Datum
2604 2278 : interval_hash(PG_FUNCTION_ARGS)
2605 : {
2606 2278 : Interval *interval = PG_GETARG_INTERVAL_P(0);
2607 2278 : INT128 span = interval_cmp_value(interval);
2608 : int64 span64;
2609 :
2610 : /*
2611 : * Use only the least significant 64 bits for hashing. The upper 64 bits
2612 : * seldom add any useful information, and besides we must do it like this
2613 : * for compatibility with hashes calculated before use of INT128 was
2614 : * introduced.
2615 : */
2616 2278 : span64 = int128_to_int64(span);
2617 :
2618 2278 : return DirectFunctionCall1(hashint8, Int64GetDatumFast(span64));
2619 : }
2620 :
2621 : Datum
2622 60 : interval_hash_extended(PG_FUNCTION_ARGS)
2623 : {
2624 60 : Interval *interval = PG_GETARG_INTERVAL_P(0);
2625 60 : INT128 span = interval_cmp_value(interval);
2626 : int64 span64;
2627 :
2628 : /* Same approach as interval_hash */
2629 60 : span64 = int128_to_int64(span);
2630 :
2631 60 : return DirectFunctionCall2(hashint8extended, Int64GetDatumFast(span64),
2632 : PG_GETARG_DATUM(1));
2633 : }
2634 :
2635 : /* overlaps_timestamp() --- implements the SQL OVERLAPS operator.
2636 : *
2637 : * Algorithm is per SQL spec. This is much harder than you'd think
2638 : * because the spec requires us to deliver a non-null answer in some cases
2639 : * where some of the inputs are null.
2640 : */
2641 : Datum
2642 72 : overlaps_timestamp(PG_FUNCTION_ARGS)
2643 : {
2644 : /*
2645 : * The arguments are Timestamps, but we leave them as generic Datums to
2646 : * avoid unnecessary conversions between value and reference forms --- not
2647 : * to mention possible dereferences of null pointers.
2648 : */
2649 72 : Datum ts1 = PG_GETARG_DATUM(0);
2650 72 : Datum te1 = PG_GETARG_DATUM(1);
2651 72 : Datum ts2 = PG_GETARG_DATUM(2);
2652 72 : Datum te2 = PG_GETARG_DATUM(3);
2653 72 : bool ts1IsNull = PG_ARGISNULL(0);
2654 72 : bool te1IsNull = PG_ARGISNULL(1);
2655 72 : bool ts2IsNull = PG_ARGISNULL(2);
2656 72 : bool te2IsNull = PG_ARGISNULL(3);
2657 :
2658 : #define TIMESTAMP_GT(t1,t2) \
2659 : DatumGetBool(DirectFunctionCall2(timestamp_gt,t1,t2))
2660 : #define TIMESTAMP_LT(t1,t2) \
2661 : DatumGetBool(DirectFunctionCall2(timestamp_lt,t1,t2))
2662 :
2663 : /*
2664 : * If both endpoints of interval 1 are null, the result is null (unknown).
2665 : * If just one endpoint is null, take ts1 as the non-null one. Otherwise,
2666 : * take ts1 as the lesser endpoint.
2667 : */
2668 72 : if (ts1IsNull)
2669 : {
2670 0 : if (te1IsNull)
2671 0 : PG_RETURN_NULL();
2672 : /* swap null for non-null */
2673 0 : ts1 = te1;
2674 0 : te1IsNull = true;
2675 : }
2676 72 : else if (!te1IsNull)
2677 : {
2678 72 : if (TIMESTAMP_GT(ts1, te1))
2679 : {
2680 0 : Datum tt = ts1;
2681 :
2682 0 : ts1 = te1;
2683 0 : te1 = tt;
2684 : }
2685 : }
2686 :
2687 : /* Likewise for interval 2. */
2688 72 : if (ts2IsNull)
2689 : {
2690 0 : if (te2IsNull)
2691 0 : PG_RETURN_NULL();
2692 : /* swap null for non-null */
2693 0 : ts2 = te2;
2694 0 : te2IsNull = true;
2695 : }
2696 72 : else if (!te2IsNull)
2697 : {
2698 72 : if (TIMESTAMP_GT(ts2, te2))
2699 : {
2700 0 : Datum tt = ts2;
2701 :
2702 0 : ts2 = te2;
2703 0 : te2 = tt;
2704 : }
2705 : }
2706 :
2707 : /*
2708 : * At this point neither ts1 nor ts2 is null, so we can consider three
2709 : * cases: ts1 > ts2, ts1 < ts2, ts1 = ts2
2710 : */
2711 72 : if (TIMESTAMP_GT(ts1, ts2))
2712 : {
2713 : /*
2714 : * This case is ts1 < te2 OR te1 < te2, which may look redundant but
2715 : * in the presence of nulls it's not quite completely so.
2716 : */
2717 0 : if (te2IsNull)
2718 0 : PG_RETURN_NULL();
2719 0 : if (TIMESTAMP_LT(ts1, te2))
2720 0 : PG_RETURN_BOOL(true);
2721 0 : if (te1IsNull)
2722 0 : PG_RETURN_NULL();
2723 :
2724 : /*
2725 : * If te1 is not null then we had ts1 <= te1 above, and we just found
2726 : * ts1 >= te2, hence te1 >= te2.
2727 : */
2728 0 : PG_RETURN_BOOL(false);
2729 : }
2730 72 : else if (TIMESTAMP_LT(ts1, ts2))
2731 : {
2732 : /* This case is ts2 < te1 OR te2 < te1 */
2733 60 : if (te1IsNull)
2734 0 : PG_RETURN_NULL();
2735 60 : if (TIMESTAMP_LT(ts2, te1))
2736 24 : PG_RETURN_BOOL(true);
2737 36 : if (te2IsNull)
2738 0 : PG_RETURN_NULL();
2739 :
2740 : /*
2741 : * If te2 is not null then we had ts2 <= te2 above, and we just found
2742 : * ts2 >= te1, hence te2 >= te1.
2743 : */
2744 36 : PG_RETURN_BOOL(false);
2745 : }
2746 : else
2747 : {
2748 : /*
2749 : * For ts1 = ts2 the spec says te1 <> te2 OR te1 = te2, which is a
2750 : * rather silly way of saying "true if both are non-null, else null".
2751 : */
2752 12 : if (te1IsNull || te2IsNull)
2753 0 : PG_RETURN_NULL();
2754 12 : PG_RETURN_BOOL(true);
2755 : }
2756 :
2757 : #undef TIMESTAMP_GT
2758 : #undef TIMESTAMP_LT
2759 : }
2760 :
2761 :
2762 : /*----------------------------------------------------------
2763 : * "Arithmetic" operators on date/times.
2764 : *---------------------------------------------------------*/
2765 :
2766 : Datum
2767 0 : timestamp_smaller(PG_FUNCTION_ARGS)
2768 : {
2769 0 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2770 0 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2771 : Timestamp result;
2772 :
2773 : /* use timestamp_cmp_internal to be sure this agrees with comparisons */
2774 0 : if (timestamp_cmp_internal(dt1, dt2) < 0)
2775 0 : result = dt1;
2776 : else
2777 0 : result = dt2;
2778 0 : PG_RETURN_TIMESTAMP(result);
2779 : }
2780 :
2781 : Datum
2782 84 : timestamp_larger(PG_FUNCTION_ARGS)
2783 : {
2784 84 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2785 84 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2786 : Timestamp result;
2787 :
2788 84 : if (timestamp_cmp_internal(dt1, dt2) > 0)
2789 0 : result = dt1;
2790 : else
2791 84 : result = dt2;
2792 84 : PG_RETURN_TIMESTAMP(result);
2793 : }
2794 :
2795 :
2796 : Datum
2797 6346 : timestamp_mi(PG_FUNCTION_ARGS)
2798 : {
2799 6346 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2800 6346 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2801 : Interval *result;
2802 :
2803 6346 : result = (Interval *) palloc(sizeof(Interval));
2804 :
2805 : /*
2806 : * Handle infinities.
2807 : *
2808 : * We treat anything that amounts to "infinity - infinity" as an error,
2809 : * since the interval type has nothing equivalent to NaN.
2810 : */
2811 6346 : if (TIMESTAMP_NOT_FINITE(dt1) || TIMESTAMP_NOT_FINITE(dt2))
2812 : {
2813 84 : if (TIMESTAMP_IS_NOBEGIN(dt1))
2814 : {
2815 36 : if (TIMESTAMP_IS_NOBEGIN(dt2))
2816 12 : ereport(ERROR,
2817 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2818 : errmsg("interval out of range")));
2819 : else
2820 24 : INTERVAL_NOBEGIN(result);
2821 : }
2822 48 : else if (TIMESTAMP_IS_NOEND(dt1))
2823 : {
2824 48 : if (TIMESTAMP_IS_NOEND(dt2))
2825 12 : ereport(ERROR,
2826 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2827 : errmsg("interval out of range")));
2828 : else
2829 36 : INTERVAL_NOEND(result);
2830 : }
2831 0 : else if (TIMESTAMP_IS_NOBEGIN(dt2))
2832 0 : INTERVAL_NOEND(result);
2833 : else /* TIMESTAMP_IS_NOEND(dt2) */
2834 0 : INTERVAL_NOBEGIN(result);
2835 :
2836 60 : PG_RETURN_INTERVAL_P(result);
2837 : }
2838 :
2839 6262 : if (unlikely(pg_sub_s64_overflow(dt1, dt2, &result->time)))
2840 12 : ereport(ERROR,
2841 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2842 : errmsg("interval out of range")));
2843 :
2844 6250 : result->month = 0;
2845 6250 : result->day = 0;
2846 :
2847 : /*----------
2848 : * This is wrong, but removing it breaks a lot of regression tests.
2849 : * For example:
2850 : *
2851 : * test=> SET timezone = 'EST5EDT';
2852 : * test=> SELECT
2853 : * test-> ('2005-10-30 13:22:00-05'::timestamptz -
2854 : * test(> '2005-10-29 13:22:00-04'::timestamptz);
2855 : * ?column?
2856 : * ----------------
2857 : * 1 day 01:00:00
2858 : * (1 row)
2859 : *
2860 : * so adding that to the first timestamp gets:
2861 : *
2862 : * test=> SELECT
2863 : * test-> ('2005-10-29 13:22:00-04'::timestamptz +
2864 : * test(> ('2005-10-30 13:22:00-05'::timestamptz -
2865 : * test(> '2005-10-29 13:22:00-04'::timestamptz)) at time zone 'EST';
2866 : * timezone
2867 : * --------------------
2868 : * 2005-10-30 14:22:00
2869 : * (1 row)
2870 : *----------
2871 : */
2872 6250 : result = DatumGetIntervalP(DirectFunctionCall1(interval_justify_hours,
2873 : IntervalPGetDatum(result)));
2874 :
2875 6250 : PG_RETURN_INTERVAL_P(result);
2876 : }
2877 :
2878 : /*
2879 : * interval_justify_interval()
2880 : *
2881 : * Adjust interval so 'month', 'day', and 'time' portions are within
2882 : * customary bounds. Specifically:
2883 : *
2884 : * 0 <= abs(time) < 24 hours
2885 : * 0 <= abs(day) < 30 days
2886 : *
2887 : * Also, the sign bit on all three fields is made equal, so either
2888 : * all three fields are negative or all are positive.
2889 : */
2890 : Datum
2891 66 : interval_justify_interval(PG_FUNCTION_ARGS)
2892 : {
2893 66 : Interval *span = PG_GETARG_INTERVAL_P(0);
2894 : Interval *result;
2895 : TimeOffset wholeday;
2896 : int32 wholemonth;
2897 :
2898 66 : result = (Interval *) palloc(sizeof(Interval));
2899 66 : result->month = span->month;
2900 66 : result->day = span->day;
2901 66 : result->time = span->time;
2902 :
2903 : /* do nothing for infinite intervals */
2904 66 : if (INTERVAL_NOT_FINITE(result))
2905 12 : PG_RETURN_INTERVAL_P(result);
2906 :
2907 : /* pre-justify days if it might prevent overflow */
2908 54 : if ((result->day > 0 && result->time > 0) ||
2909 48 : (result->day < 0 && result->time < 0))
2910 : {
2911 12 : wholemonth = result->day / DAYS_PER_MONTH;
2912 12 : result->day -= wholemonth * DAYS_PER_MONTH;
2913 12 : if (pg_add_s32_overflow(result->month, wholemonth, &result->month))
2914 0 : ereport(ERROR,
2915 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2916 : errmsg("interval out of range")));
2917 : }
2918 :
2919 : /*
2920 : * Since TimeOffset is int64, abs(wholeday) can't exceed about 1.07e8. If
2921 : * we pre-justified then abs(result->day) is less than DAYS_PER_MONTH, so
2922 : * this addition can't overflow. If we didn't pre-justify, then day and
2923 : * time are of different signs, so it still can't overflow.
2924 : */
2925 54 : TMODULO(result->time, wholeday, USECS_PER_DAY);
2926 54 : result->day += wholeday;
2927 :
2928 54 : wholemonth = result->day / DAYS_PER_MONTH;
2929 54 : result->day -= wholemonth * DAYS_PER_MONTH;
2930 54 : if (pg_add_s32_overflow(result->month, wholemonth, &result->month))
2931 24 : ereport(ERROR,
2932 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2933 : errmsg("interval out of range")));
2934 :
2935 30 : if (result->month > 0 &&
2936 18 : (result->day < 0 || (result->day == 0 && result->time < 0)))
2937 : {
2938 6 : result->day += DAYS_PER_MONTH;
2939 6 : result->month--;
2940 : }
2941 24 : else if (result->month < 0 &&
2942 12 : (result->day > 0 || (result->day == 0 && result->time > 0)))
2943 : {
2944 0 : result->day -= DAYS_PER_MONTH;
2945 0 : result->month++;
2946 : }
2947 :
2948 30 : if (result->day > 0 && result->time < 0)
2949 : {
2950 6 : result->time += USECS_PER_DAY;
2951 6 : result->day--;
2952 : }
2953 24 : else if (result->day < 0 && result->time > 0)
2954 : {
2955 0 : result->time -= USECS_PER_DAY;
2956 0 : result->day++;
2957 : }
2958 :
2959 30 : PG_RETURN_INTERVAL_P(result);
2960 : }
2961 :
2962 : /*
2963 : * interval_justify_hours()
2964 : *
2965 : * Adjust interval so 'time' contains less than a whole day, adding
2966 : * the excess to 'day'. This is useful for
2967 : * situations (such as non-TZ) where '1 day' = '24 hours' is valid,
2968 : * e.g. interval subtraction and division.
2969 : */
2970 : Datum
2971 8254 : interval_justify_hours(PG_FUNCTION_ARGS)
2972 : {
2973 8254 : Interval *span = PG_GETARG_INTERVAL_P(0);
2974 : Interval *result;
2975 : TimeOffset wholeday;
2976 :
2977 8254 : result = (Interval *) palloc(sizeof(Interval));
2978 8254 : result->month = span->month;
2979 8254 : result->day = span->day;
2980 8254 : result->time = span->time;
2981 :
2982 : /* do nothing for infinite intervals */
2983 8254 : if (INTERVAL_NOT_FINITE(result))
2984 12 : PG_RETURN_INTERVAL_P(result);
2985 :
2986 8242 : TMODULO(result->time, wholeday, USECS_PER_DAY);
2987 8242 : if (pg_add_s32_overflow(result->day, wholeday, &result->day))
2988 6 : ereport(ERROR,
2989 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2990 : errmsg("interval out of range")));
2991 :
2992 8236 : if (result->day > 0 && result->time < 0)
2993 : {
2994 0 : result->time += USECS_PER_DAY;
2995 0 : result->day--;
2996 : }
2997 8236 : else if (result->day < 0 && result->time > 0)
2998 : {
2999 0 : result->time -= USECS_PER_DAY;
3000 0 : result->day++;
3001 : }
3002 :
3003 8236 : PG_RETURN_INTERVAL_P(result);
3004 : }
3005 :
3006 : /*
3007 : * interval_justify_days()
3008 : *
3009 : * Adjust interval so 'day' contains less than 30 days, adding
3010 : * the excess to 'month'.
3011 : */
3012 : Datum
3013 2004 : interval_justify_days(PG_FUNCTION_ARGS)
3014 : {
3015 2004 : Interval *span = PG_GETARG_INTERVAL_P(0);
3016 : Interval *result;
3017 : int32 wholemonth;
3018 :
3019 2004 : result = (Interval *) palloc(sizeof(Interval));
3020 2004 : result->month = span->month;
3021 2004 : result->day = span->day;
3022 2004 : result->time = span->time;
3023 :
3024 : /* do nothing for infinite intervals */
3025 2004 : if (INTERVAL_NOT_FINITE(result))
3026 12 : PG_RETURN_INTERVAL_P(result);
3027 :
3028 1992 : wholemonth = result->day / DAYS_PER_MONTH;
3029 1992 : result->day -= wholemonth * DAYS_PER_MONTH;
3030 1992 : if (pg_add_s32_overflow(result->month, wholemonth, &result->month))
3031 6 : ereport(ERROR,
3032 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3033 : errmsg("interval out of range")));
3034 :
3035 1986 : if (result->month > 0 && result->day < 0)
3036 : {
3037 0 : result->day += DAYS_PER_MONTH;
3038 0 : result->month--;
3039 : }
3040 1986 : else if (result->month < 0 && result->day > 0)
3041 : {
3042 0 : result->day -= DAYS_PER_MONTH;
3043 0 : result->month++;
3044 : }
3045 :
3046 1986 : PG_RETURN_INTERVAL_P(result);
3047 : }
3048 :
3049 : /* timestamp_pl_interval()
3050 : * Add an interval to a timestamp data type.
3051 : * Note that interval has provisions for qualitative year/month and day
3052 : * units, so try to do the right thing with them.
3053 : * To add a month, increment the month, and use the same day of month.
3054 : * Then, if the next month has fewer days, set the day of month
3055 : * to the last day of month.
3056 : * To add a day, increment the mday, and use the same time of day.
3057 : * Lastly, add in the "quantitative time".
3058 : */
3059 : Datum
3060 9782 : timestamp_pl_interval(PG_FUNCTION_ARGS)
3061 : {
3062 9782 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
3063 9782 : Interval *span = PG_GETARG_INTERVAL_P(1);
3064 : Timestamp result;
3065 :
3066 : /*
3067 : * Handle infinities.
3068 : *
3069 : * We treat anything that amounts to "infinity - infinity" as an error,
3070 : * since the timestamp type has nothing equivalent to NaN.
3071 : */
3072 9782 : if (INTERVAL_IS_NOBEGIN(span))
3073 : {
3074 276 : if (TIMESTAMP_IS_NOEND(timestamp))
3075 24 : ereport(ERROR,
3076 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3077 : errmsg("timestamp out of range")));
3078 : else
3079 252 : TIMESTAMP_NOBEGIN(result);
3080 : }
3081 9506 : else if (INTERVAL_IS_NOEND(span))
3082 : {
3083 204 : if (TIMESTAMP_IS_NOBEGIN(timestamp))
3084 24 : ereport(ERROR,
3085 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3086 : errmsg("timestamp out of range")));
3087 : else
3088 180 : TIMESTAMP_NOEND(result);
3089 : }
3090 9302 : else if (TIMESTAMP_NOT_FINITE(timestamp))
3091 114 : result = timestamp;
3092 : else
3093 : {
3094 9188 : if (span->month != 0)
3095 : {
3096 : struct pg_tm tt,
3097 2628 : *tm = &tt;
3098 : fsec_t fsec;
3099 :
3100 2628 : if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
3101 0 : ereport(ERROR,
3102 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3103 : errmsg("timestamp out of range")));
3104 :
3105 2628 : if (pg_add_s32_overflow(tm->tm_mon, span->month, &tm->tm_mon))
3106 0 : ereport(ERROR,
3107 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3108 : errmsg("timestamp out of range")));
3109 2628 : if (tm->tm_mon > MONTHS_PER_YEAR)
3110 : {
3111 1398 : tm->tm_year += (tm->tm_mon - 1) / MONTHS_PER_YEAR;
3112 1398 : tm->tm_mon = ((tm->tm_mon - 1) % MONTHS_PER_YEAR) + 1;
3113 : }
3114 1230 : else if (tm->tm_mon < 1)
3115 : {
3116 1170 : tm->tm_year += tm->tm_mon / MONTHS_PER_YEAR - 1;
3117 1170 : tm->tm_mon = tm->tm_mon % MONTHS_PER_YEAR + MONTHS_PER_YEAR;
3118 : }
3119 :
3120 : /* adjust for end of month boundary problems... */
3121 2628 : if (tm->tm_mday > day_tab[isleap(tm->tm_year)][tm->tm_mon - 1])
3122 12 : tm->tm_mday = (day_tab[isleap(tm->tm_year)][tm->tm_mon - 1]);
3123 :
3124 2628 : if (tm2timestamp(tm, fsec, NULL, ×tamp) != 0)
3125 0 : ereport(ERROR,
3126 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3127 : errmsg("timestamp out of range")));
3128 : }
3129 :
3130 9188 : if (span->day != 0)
3131 : {
3132 : struct pg_tm tt,
3133 3084 : *tm = &tt;
3134 : fsec_t fsec;
3135 : int julian;
3136 :
3137 3084 : if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
3138 0 : ereport(ERROR,
3139 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3140 : errmsg("timestamp out of range")));
3141 :
3142 : /*
3143 : * Add days by converting to and from Julian. We need an overflow
3144 : * check here since j2date expects a non-negative integer input.
3145 : */
3146 3084 : julian = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday);
3147 3084 : if (pg_add_s32_overflow(julian, span->day, &julian) ||
3148 3084 : julian < 0)
3149 6 : ereport(ERROR,
3150 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3151 : errmsg("timestamp out of range")));
3152 3078 : j2date(julian, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
3153 :
3154 3078 : if (tm2timestamp(tm, fsec, NULL, ×tamp) != 0)
3155 0 : ereport(ERROR,
3156 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3157 : errmsg("timestamp out of range")));
3158 : }
3159 :
3160 9182 : if (pg_add_s64_overflow(timestamp, span->time, ×tamp))
3161 6 : ereport(ERROR,
3162 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3163 : errmsg("timestamp out of range")));
3164 :
3165 9176 : if (!IS_VALID_TIMESTAMP(timestamp))
3166 0 : ereport(ERROR,
3167 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3168 : errmsg("timestamp out of range")));
3169 :
3170 9176 : result = timestamp;
3171 : }
3172 :
3173 9722 : PG_RETURN_TIMESTAMP(result);
3174 : }
3175 :
3176 : Datum
3177 2172 : timestamp_mi_interval(PG_FUNCTION_ARGS)
3178 : {
3179 2172 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
3180 2172 : Interval *span = PG_GETARG_INTERVAL_P(1);
3181 : Interval tspan;
3182 :
3183 2172 : interval_um_internal(span, &tspan);
3184 :
3185 2172 : return DirectFunctionCall2(timestamp_pl_interval,
3186 : TimestampGetDatum(timestamp),
3187 : PointerGetDatum(&tspan));
3188 : }
3189 :
3190 :
3191 : /* timestamptz_pl_interval_internal()
3192 : * Add an interval to a timestamptz, in the given (or session) timezone.
3193 : *
3194 : * Note that interval has provisions for qualitative year/month and day
3195 : * units, so try to do the right thing with them.
3196 : * To add a month, increment the month, and use the same day of month.
3197 : * Then, if the next month has fewer days, set the day of month
3198 : * to the last day of month.
3199 : * To add a day, increment the mday, and use the same time of day.
3200 : * Lastly, add in the "quantitative time".
3201 : */
3202 : static TimestampTz
3203 151992 : timestamptz_pl_interval_internal(TimestampTz timestamp,
3204 : Interval *span,
3205 : pg_tz *attimezone)
3206 : {
3207 : TimestampTz result;
3208 : int tz;
3209 :
3210 : /*
3211 : * Handle infinities.
3212 : *
3213 : * We treat anything that amounts to "infinity - infinity" as an error,
3214 : * since the timestamptz type has nothing equivalent to NaN.
3215 : */
3216 151992 : if (INTERVAL_IS_NOBEGIN(span))
3217 : {
3218 432 : if (TIMESTAMP_IS_NOEND(timestamp))
3219 12 : ereport(ERROR,
3220 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3221 : errmsg("timestamp out of range")));
3222 : else
3223 420 : TIMESTAMP_NOBEGIN(result);
3224 : }
3225 151560 : else if (INTERVAL_IS_NOEND(span))
3226 : {
3227 360 : if (TIMESTAMP_IS_NOBEGIN(timestamp))
3228 12 : ereport(ERROR,
3229 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3230 : errmsg("timestamp out of range")));
3231 : else
3232 348 : TIMESTAMP_NOEND(result);
3233 : }
3234 151200 : else if (TIMESTAMP_NOT_FINITE(timestamp))
3235 120 : result = timestamp;
3236 : else
3237 : {
3238 : /* Use session timezone if caller asks for default */
3239 151080 : if (attimezone == NULL)
3240 88472 : attimezone = session_timezone;
3241 :
3242 151080 : if (span->month != 0)
3243 : {
3244 : struct pg_tm tt,
3245 55848 : *tm = &tt;
3246 : fsec_t fsec;
3247 :
3248 55848 : if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, attimezone) != 0)
3249 0 : ereport(ERROR,
3250 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3251 : errmsg("timestamp out of range")));
3252 :
3253 55848 : if (pg_add_s32_overflow(tm->tm_mon, span->month, &tm->tm_mon))
3254 0 : ereport(ERROR,
3255 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3256 : errmsg("timestamp out of range")));
3257 55848 : if (tm->tm_mon > MONTHS_PER_YEAR)
3258 : {
3259 54072 : tm->tm_year += (tm->tm_mon - 1) / MONTHS_PER_YEAR;
3260 54072 : tm->tm_mon = ((tm->tm_mon - 1) % MONTHS_PER_YEAR) + 1;
3261 : }
3262 1776 : else if (tm->tm_mon < 1)
3263 : {
3264 1350 : tm->tm_year += tm->tm_mon / MONTHS_PER_YEAR - 1;
3265 1350 : tm->tm_mon = tm->tm_mon % MONTHS_PER_YEAR + MONTHS_PER_YEAR;
3266 : }
3267 :
3268 : /* adjust for end of month boundary problems... */
3269 55848 : if (tm->tm_mday > day_tab[isleap(tm->tm_year)][tm->tm_mon - 1])
3270 54 : tm->tm_mday = (day_tab[isleap(tm->tm_year)][tm->tm_mon - 1]);
3271 :
3272 55848 : tz = DetermineTimeZoneOffset(tm, attimezone);
3273 :
3274 55848 : if (tm2timestamp(tm, fsec, &tz, ×tamp) != 0)
3275 0 : ereport(ERROR,
3276 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3277 : errmsg("timestamp out of range")));
3278 : }
3279 :
3280 151080 : if (span->day != 0)
3281 : {
3282 : struct pg_tm tt,
3283 3654 : *tm = &tt;
3284 : fsec_t fsec;
3285 : int julian;
3286 :
3287 3654 : if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, attimezone) != 0)
3288 0 : ereport(ERROR,
3289 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3290 : errmsg("timestamp out of range")));
3291 :
3292 : /*
3293 : * Add days by converting to and from Julian. We need an overflow
3294 : * check here since j2date expects a non-negative integer input.
3295 : * In practice though, it will give correct answers for small
3296 : * negative Julian dates; we should allow -1 to avoid
3297 : * timezone-dependent failures, as discussed in timestamp.h.
3298 : */
3299 3654 : julian = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday);
3300 3654 : if (pg_add_s32_overflow(julian, span->day, &julian) ||
3301 3654 : julian < -1)
3302 6 : ereport(ERROR,
3303 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3304 : errmsg("timestamp out of range")));
3305 3648 : j2date(julian, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
3306 :
3307 3648 : tz = DetermineTimeZoneOffset(tm, attimezone);
3308 :
3309 3648 : if (tm2timestamp(tm, fsec, &tz, ×tamp) != 0)
3310 0 : ereport(ERROR,
3311 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3312 : errmsg("timestamp out of range")));
3313 : }
3314 :
3315 151074 : if (pg_add_s64_overflow(timestamp, span->time, ×tamp))
3316 6 : ereport(ERROR,
3317 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3318 : errmsg("timestamp out of range")));
3319 :
3320 151068 : if (!IS_VALID_TIMESTAMP(timestamp))
3321 0 : ereport(ERROR,
3322 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3323 : errmsg("timestamp out of range")));
3324 :
3325 151068 : result = timestamp;
3326 : }
3327 :
3328 151956 : return result;
3329 : }
3330 :
3331 : /* timestamptz_mi_interval_internal()
3332 : * As above, but subtract the interval.
3333 : */
3334 : static TimestampTz
3335 2118 : timestamptz_mi_interval_internal(TimestampTz timestamp,
3336 : Interval *span,
3337 : pg_tz *attimezone)
3338 : {
3339 : Interval tspan;
3340 :
3341 2118 : interval_um_internal(span, &tspan);
3342 :
3343 2118 : return timestamptz_pl_interval_internal(timestamp, &tspan, attimezone);
3344 : }
3345 :
3346 : /* timestamptz_pl_interval()
3347 : * Add an interval to a timestamptz, in the session timezone.
3348 : */
3349 : Datum
3350 86858 : timestamptz_pl_interval(PG_FUNCTION_ARGS)
3351 : {
3352 86858 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
3353 86858 : Interval *span = PG_GETARG_INTERVAL_P(1);
3354 :
3355 86858 : PG_RETURN_TIMESTAMP(timestamptz_pl_interval_internal(timestamp, span, NULL));
3356 : }
3357 :
3358 : Datum
3359 1632 : timestamptz_mi_interval(PG_FUNCTION_ARGS)
3360 : {
3361 1632 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
3362 1632 : Interval *span = PG_GETARG_INTERVAL_P(1);
3363 :
3364 1632 : PG_RETURN_TIMESTAMP(timestamptz_mi_interval_internal(timestamp, span, NULL));
3365 : }
3366 :
3367 : /* timestamptz_pl_interval_at_zone()
3368 : * Add an interval to a timestamptz, in the specified timezone.
3369 : */
3370 : Datum
3371 6 : timestamptz_pl_interval_at_zone(PG_FUNCTION_ARGS)
3372 : {
3373 6 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
3374 6 : Interval *span = PG_GETARG_INTERVAL_P(1);
3375 6 : text *zone = PG_GETARG_TEXT_PP(2);
3376 6 : pg_tz *attimezone = lookup_timezone(zone);
3377 :
3378 6 : PG_RETURN_TIMESTAMP(timestamptz_pl_interval_internal(timestamp, span, attimezone));
3379 : }
3380 :
3381 : Datum
3382 6 : timestamptz_mi_interval_at_zone(PG_FUNCTION_ARGS)
3383 : {
3384 6 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
3385 6 : Interval *span = PG_GETARG_INTERVAL_P(1);
3386 6 : text *zone = PG_GETARG_TEXT_PP(2);
3387 6 : pg_tz *attimezone = lookup_timezone(zone);
3388 :
3389 6 : PG_RETURN_TIMESTAMP(timestamptz_mi_interval_internal(timestamp, span, attimezone));
3390 : }
3391 :
3392 : /* interval_um_internal()
3393 : * Negate an interval.
3394 : */
3395 : static void
3396 8040 : interval_um_internal(const Interval *interval, Interval *result)
3397 : {
3398 8040 : if (INTERVAL_IS_NOBEGIN(interval))
3399 270 : INTERVAL_NOEND(result);
3400 7770 : else if (INTERVAL_IS_NOEND(interval))
3401 678 : INTERVAL_NOBEGIN(result);
3402 : else
3403 : {
3404 : /* Negate each field, guarding against overflow */
3405 14178 : if (pg_sub_s64_overflow(INT64CONST(0), interval->time, &result->time) ||
3406 14166 : pg_sub_s32_overflow(0, interval->day, &result->day) ||
3407 7080 : pg_sub_s32_overflow(0, interval->month, &result->month) ||
3408 7074 : INTERVAL_NOT_FINITE(result))
3409 30 : ereport(ERROR,
3410 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3411 : errmsg("interval out of range")));
3412 : }
3413 8010 : }
3414 :
3415 : Datum
3416 3714 : interval_um(PG_FUNCTION_ARGS)
3417 : {
3418 3714 : Interval *interval = PG_GETARG_INTERVAL_P(0);
3419 : Interval *result;
3420 :
3421 3714 : result = (Interval *) palloc(sizeof(Interval));
3422 3714 : interval_um_internal(interval, result);
3423 :
3424 3684 : PG_RETURN_INTERVAL_P(result);
3425 : }
3426 :
3427 :
3428 : Datum
3429 0 : interval_smaller(PG_FUNCTION_ARGS)
3430 : {
3431 0 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
3432 0 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
3433 : Interval *result;
3434 :
3435 : /* use interval_cmp_internal to be sure this agrees with comparisons */
3436 0 : if (interval_cmp_internal(interval1, interval2) < 0)
3437 0 : result = interval1;
3438 : else
3439 0 : result = interval2;
3440 0 : PG_RETURN_INTERVAL_P(result);
3441 : }
3442 :
3443 : Datum
3444 0 : interval_larger(PG_FUNCTION_ARGS)
3445 : {
3446 0 : Interval *interval1 = PG_GETARG_INTERVAL_P(0);
3447 0 : Interval *interval2 = PG_GETARG_INTERVAL_P(1);
3448 : Interval *result;
3449 :
3450 0 : if (interval_cmp_internal(interval1, interval2) > 0)
3451 0 : result = interval1;
3452 : else
3453 0 : result = interval2;
3454 0 : PG_RETURN_INTERVAL_P(result);
3455 : }
3456 :
3457 : static void
3458 528 : finite_interval_pl(const Interval *span1, const Interval *span2, Interval *result)
3459 : {
3460 : Assert(!INTERVAL_NOT_FINITE(span1));
3461 : Assert(!INTERVAL_NOT_FINITE(span2));
3462 :
3463 1056 : if (pg_add_s32_overflow(span1->month, span2->month, &result->month) ||
3464 1056 : pg_add_s32_overflow(span1->day, span2->day, &result->day) ||
3465 528 : pg_add_s64_overflow(span1->time, span2->time, &result->time) ||
3466 528 : INTERVAL_NOT_FINITE(result))
3467 12 : ereport(ERROR,
3468 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3469 : errmsg("interval out of range")));
3470 516 : }
3471 :
3472 : Datum
3473 558 : interval_pl(PG_FUNCTION_ARGS)
3474 : {
3475 558 : Interval *span1 = PG_GETARG_INTERVAL_P(0);
3476 558 : Interval *span2 = PG_GETARG_INTERVAL_P(1);
3477 : Interval *result;
3478 :
3479 558 : result = (Interval *) palloc(sizeof(Interval));
3480 :
3481 : /*
3482 : * Handle infinities.
3483 : *
3484 : * We treat anything that amounts to "infinity - infinity" as an error,
3485 : * since the interval type has nothing equivalent to NaN.
3486 : */
3487 558 : if (INTERVAL_IS_NOBEGIN(span1))
3488 : {
3489 54 : if (INTERVAL_IS_NOEND(span2))
3490 6 : ereport(ERROR,
3491 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3492 : errmsg("interval out of range")));
3493 : else
3494 48 : INTERVAL_NOBEGIN(result);
3495 : }
3496 504 : else if (INTERVAL_IS_NOEND(span1))
3497 : {
3498 42 : if (INTERVAL_IS_NOBEGIN(span2))
3499 6 : ereport(ERROR,
3500 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3501 : errmsg("interval out of range")));
3502 : else
3503 36 : INTERVAL_NOEND(result);
3504 : }
3505 462 : else if (INTERVAL_NOT_FINITE(span2))
3506 138 : memcpy(result, span2, sizeof(Interval));
3507 : else
3508 324 : finite_interval_pl(span1, span2, result);
3509 :
3510 534 : PG_RETURN_INTERVAL_P(result);
3511 : }
3512 :
3513 : static void
3514 1548 : finite_interval_mi(const Interval *span1, const Interval *span2, Interval *result)
3515 : {
3516 : Assert(!INTERVAL_NOT_FINITE(span1));
3517 : Assert(!INTERVAL_NOT_FINITE(span2));
3518 :
3519 3096 : if (pg_sub_s32_overflow(span1->month, span2->month, &result->month) ||
3520 3096 : pg_sub_s32_overflow(span1->day, span2->day, &result->day) ||
3521 1548 : pg_sub_s64_overflow(span1->time, span2->time, &result->time) ||
3522 1548 : INTERVAL_NOT_FINITE(result))
3523 12 : ereport(ERROR,
3524 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3525 : errmsg("interval out of range")));
3526 1536 : }
3527 :
3528 : Datum
3529 1794 : interval_mi(PG_FUNCTION_ARGS)
3530 : {
3531 1794 : Interval *span1 = PG_GETARG_INTERVAL_P(0);
3532 1794 : Interval *span2 = PG_GETARG_INTERVAL_P(1);
3533 : Interval *result;
3534 :
3535 1794 : result = (Interval *) palloc(sizeof(Interval));
3536 :
3537 : /*
3538 : * Handle infinities.
3539 : *
3540 : * We treat anything that amounts to "infinity - infinity" as an error,
3541 : * since the interval type has nothing equivalent to NaN.
3542 : */
3543 1794 : if (INTERVAL_IS_NOBEGIN(span1))
3544 : {
3545 54 : if (INTERVAL_IS_NOBEGIN(span2))
3546 6 : ereport(ERROR,
3547 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3548 : errmsg("interval out of range")));
3549 : else
3550 48 : INTERVAL_NOBEGIN(result);
3551 : }
3552 1740 : else if (INTERVAL_IS_NOEND(span1))
3553 : {
3554 48 : if (INTERVAL_IS_NOEND(span2))
3555 6 : ereport(ERROR,
3556 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3557 : errmsg("interval out of range")));
3558 : else
3559 42 : INTERVAL_NOEND(result);
3560 : }
3561 1692 : else if (INTERVAL_IS_NOBEGIN(span2))
3562 6 : INTERVAL_NOEND(result);
3563 1686 : else if (INTERVAL_IS_NOEND(span2))
3564 186 : INTERVAL_NOBEGIN(result);
3565 : else
3566 1500 : finite_interval_mi(span1, span2, result);
3567 :
3568 1770 : PG_RETURN_INTERVAL_P(result);
3569 : }
3570 :
3571 : /*
3572 : * There is no interval_abs(): it is unclear what value to return:
3573 : * http://archives.postgresql.org/pgsql-general/2009-10/msg01031.php
3574 : * http://archives.postgresql.org/pgsql-general/2009-11/msg00041.php
3575 : */
3576 :
3577 : Datum
3578 11652 : interval_mul(PG_FUNCTION_ARGS)
3579 : {
3580 11652 : Interval *span = PG_GETARG_INTERVAL_P(0);
3581 11652 : float8 factor = PG_GETARG_FLOAT8(1);
3582 : double month_remainder_days,
3583 : sec_remainder,
3584 : result_double;
3585 11652 : int32 orig_month = span->month,
3586 11652 : orig_day = span->day;
3587 : Interval *result;
3588 :
3589 11652 : result = (Interval *) palloc(sizeof(Interval));
3590 :
3591 : /*
3592 : * Handle NaN and infinities.
3593 : *
3594 : * We treat "0 * infinity" and "infinity * 0" as errors, since the
3595 : * interval type has nothing equivalent to NaN.
3596 : */
3597 11652 : if (isnan(factor))
3598 12 : goto out_of_range;
3599 :
3600 11640 : if (INTERVAL_NOT_FINITE(span))
3601 : {
3602 60 : if (factor == 0.0)
3603 12 : goto out_of_range;
3604 :
3605 48 : if (factor < 0.0)
3606 24 : interval_um_internal(span, result);
3607 : else
3608 24 : memcpy(result, span, sizeof(Interval));
3609 :
3610 48 : PG_RETURN_INTERVAL_P(result);
3611 : }
3612 11580 : if (isinf(factor))
3613 : {
3614 24 : int isign = interval_sign(span);
3615 :
3616 24 : if (isign == 0)
3617 12 : goto out_of_range;
3618 :
3619 12 : if (factor * isign < 0)
3620 6 : INTERVAL_NOBEGIN(result);
3621 : else
3622 6 : INTERVAL_NOEND(result);
3623 :
3624 12 : PG_RETURN_INTERVAL_P(result);
3625 : }
3626 :
3627 11556 : result_double = span->month * factor;
3628 11556 : if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3629 6 : goto out_of_range;
3630 11550 : result->month = (int32) result_double;
3631 :
3632 11550 : result_double = span->day * factor;
3633 11550 : if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3634 6 : goto out_of_range;
3635 11544 : result->day = (int32) result_double;
3636 :
3637 : /*
3638 : * The above correctly handles the whole-number part of the month and day
3639 : * products, but we have to do something with any fractional part
3640 : * resulting when the factor is non-integral. We cascade the fractions
3641 : * down to lower units using the conversion factors DAYS_PER_MONTH and
3642 : * SECS_PER_DAY. Note we do NOT cascade up, since we are not forced to do
3643 : * so by the representation. The user can choose to cascade up later,
3644 : * using justify_hours and/or justify_days.
3645 : */
3646 :
3647 : /*
3648 : * Fractional months full days into days.
3649 : *
3650 : * Floating point calculation are inherently imprecise, so these
3651 : * calculations are crafted to produce the most reliable result possible.
3652 : * TSROUND() is needed to more accurately produce whole numbers where
3653 : * appropriate.
3654 : */
3655 11544 : month_remainder_days = (orig_month * factor - result->month) * DAYS_PER_MONTH;
3656 11544 : month_remainder_days = TSROUND(month_remainder_days);
3657 11544 : sec_remainder = (orig_day * factor - result->day +
3658 11544 : month_remainder_days - (int) month_remainder_days) * SECS_PER_DAY;
3659 11544 : sec_remainder = TSROUND(sec_remainder);
3660 :
3661 : /*
3662 : * Might have 24:00:00 hours due to rounding, or >24 hours because of time
3663 : * cascade from months and days. It might still be >24 if the combination
3664 : * of cascade and the seconds factor operation itself.
3665 : */
3666 11544 : if (fabs(sec_remainder) >= SECS_PER_DAY)
3667 : {
3668 0 : if (pg_add_s32_overflow(result->day,
3669 0 : (int) (sec_remainder / SECS_PER_DAY),
3670 : &result->day))
3671 0 : goto out_of_range;
3672 0 : sec_remainder -= (int) (sec_remainder / SECS_PER_DAY) * SECS_PER_DAY;
3673 : }
3674 :
3675 : /* cascade units down */
3676 11544 : if (pg_add_s32_overflow(result->day, (int32) month_remainder_days,
3677 : &result->day))
3678 6 : goto out_of_range;
3679 11538 : result_double = rint(span->time * factor + sec_remainder * USECS_PER_SEC);
3680 11538 : if (isnan(result_double) || !FLOAT8_FITS_IN_INT64(result_double))
3681 6 : goto out_of_range;
3682 11532 : result->time = (int64) result_double;
3683 :
3684 11532 : if (INTERVAL_NOT_FINITE(result))
3685 6 : goto out_of_range;
3686 :
3687 11526 : PG_RETURN_INTERVAL_P(result);
3688 :
3689 66 : out_of_range:
3690 66 : ereport(ERROR,
3691 : errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3692 : errmsg("interval out of range"));
3693 :
3694 : PG_RETURN_NULL(); /* keep compiler quiet */
3695 : }
3696 :
3697 : Datum
3698 11430 : mul_d_interval(PG_FUNCTION_ARGS)
3699 : {
3700 : /* Args are float8 and Interval *, but leave them as generic Datum */
3701 11430 : Datum factor = PG_GETARG_DATUM(0);
3702 11430 : Datum span = PG_GETARG_DATUM(1);
3703 :
3704 11430 : return DirectFunctionCall2(interval_mul, span, factor);
3705 : }
3706 :
3707 : Datum
3708 222 : interval_div(PG_FUNCTION_ARGS)
3709 : {
3710 222 : Interval *span = PG_GETARG_INTERVAL_P(0);
3711 222 : float8 factor = PG_GETARG_FLOAT8(1);
3712 : double month_remainder_days,
3713 : sec_remainder,
3714 : result_double;
3715 222 : int32 orig_month = span->month,
3716 222 : orig_day = span->day;
3717 : Interval *result;
3718 :
3719 222 : result = (Interval *) palloc(sizeof(Interval));
3720 :
3721 222 : if (factor == 0.0)
3722 0 : ereport(ERROR,
3723 : (errcode(ERRCODE_DIVISION_BY_ZERO),
3724 : errmsg("division by zero")));
3725 :
3726 : /*
3727 : * Handle NaN and infinities.
3728 : *
3729 : * We treat "infinity / infinity" as an error, since the interval type has
3730 : * nothing equivalent to NaN. Otherwise, dividing by infinity is handled
3731 : * by the regular division code, causing all fields to be set to zero.
3732 : */
3733 222 : if (isnan(factor))
3734 12 : goto out_of_range;
3735 :
3736 210 : if (INTERVAL_NOT_FINITE(span))
3737 : {
3738 48 : if (isinf(factor))
3739 24 : goto out_of_range;
3740 :
3741 24 : if (factor < 0.0)
3742 12 : interval_um_internal(span, result);
3743 : else
3744 12 : memcpy(result, span, sizeof(Interval));
3745 :
3746 24 : PG_RETURN_INTERVAL_P(result);
3747 : }
3748 :
3749 162 : result_double = span->month / factor;
3750 162 : if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3751 6 : goto out_of_range;
3752 156 : result->month = (int32) result_double;
3753 :
3754 156 : result_double = span->day / factor;
3755 156 : if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3756 6 : goto out_of_range;
3757 150 : result->day = (int32) result_double;
3758 :
3759 : /*
3760 : * Fractional months full days into days. See comment in interval_mul().
3761 : */
3762 150 : month_remainder_days = (orig_month / factor - result->month) * DAYS_PER_MONTH;
3763 150 : month_remainder_days = TSROUND(month_remainder_days);
3764 150 : sec_remainder = (orig_day / factor - result->day +
3765 150 : month_remainder_days - (int) month_remainder_days) * SECS_PER_DAY;
3766 150 : sec_remainder = TSROUND(sec_remainder);
3767 150 : if (fabs(sec_remainder) >= SECS_PER_DAY)
3768 : {
3769 6 : if (pg_add_s32_overflow(result->day,
3770 6 : (int) (sec_remainder / SECS_PER_DAY),
3771 : &result->day))
3772 0 : goto out_of_range;
3773 6 : sec_remainder -= (int) (sec_remainder / SECS_PER_DAY) * SECS_PER_DAY;
3774 : }
3775 :
3776 : /* cascade units down */
3777 150 : if (pg_add_s32_overflow(result->day, (int32) month_remainder_days,
3778 : &result->day))
3779 0 : goto out_of_range;
3780 150 : result_double = rint(span->time / factor + sec_remainder * USECS_PER_SEC);
3781 150 : if (isnan(result_double) || !FLOAT8_FITS_IN_INT64(result_double))
3782 6 : goto out_of_range;
3783 144 : result->time = (int64) result_double;
3784 :
3785 144 : if (INTERVAL_NOT_FINITE(result))
3786 6 : goto out_of_range;
3787 :
3788 138 : PG_RETURN_INTERVAL_P(result);
3789 :
3790 60 : out_of_range:
3791 60 : ereport(ERROR,
3792 : errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3793 : errmsg("interval out of range"));
3794 :
3795 : PG_RETURN_NULL(); /* keep compiler quiet */
3796 : }
3797 :
3798 :
3799 : /*
3800 : * in_range support functions for timestamps and intervals.
3801 : *
3802 : * Per SQL spec, we support these with interval as the offset type.
3803 : * The spec's restriction that the offset not be negative is a bit hard to
3804 : * decipher for intervals, but we choose to interpret it the same as our
3805 : * interval comparison operators would.
3806 : */
3807 :
3808 : Datum
3809 1134 : in_range_timestamptz_interval(PG_FUNCTION_ARGS)
3810 : {
3811 1134 : TimestampTz val = PG_GETARG_TIMESTAMPTZ(0);
3812 1134 : TimestampTz base = PG_GETARG_TIMESTAMPTZ(1);
3813 1134 : Interval *offset = PG_GETARG_INTERVAL_P(2);
3814 1134 : bool sub = PG_GETARG_BOOL(3);
3815 1134 : bool less = PG_GETARG_BOOL(4);
3816 : TimestampTz sum;
3817 :
3818 1134 : if (interval_sign(offset) < 0)
3819 12 : ereport(ERROR,
3820 : (errcode(ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE),
3821 : errmsg("invalid preceding or following size in window function")));
3822 :
3823 : /*
3824 : * Deal with cases where both base and offset are infinite, and computing
3825 : * base +/- offset would cause an error. As for float and numeric types,
3826 : * we assume that all values infinitely precede +infinity and infinitely
3827 : * follow -infinity. See in_range_float8_float8() for reasoning.
3828 : */
3829 1122 : if (INTERVAL_IS_NOEND(offset) &&
3830 : (sub ? TIMESTAMP_IS_NOEND(base) : TIMESTAMP_IS_NOBEGIN(base)))
3831 228 : PG_RETURN_BOOL(true);
3832 :
3833 : /* We don't currently bother to avoid overflow hazards here */
3834 894 : if (sub)
3835 480 : sum = timestamptz_mi_interval_internal(base, offset, NULL);
3836 : else
3837 414 : sum = timestamptz_pl_interval_internal(base, offset, NULL);
3838 :
3839 894 : if (less)
3840 354 : PG_RETURN_BOOL(val <= sum);
3841 : else
3842 540 : PG_RETURN_BOOL(val >= sum);
3843 : }
3844 :
3845 : Datum
3846 2466 : in_range_timestamp_interval(PG_FUNCTION_ARGS)
3847 : {
3848 2466 : Timestamp val = PG_GETARG_TIMESTAMP(0);
3849 2466 : Timestamp base = PG_GETARG_TIMESTAMP(1);
3850 2466 : Interval *offset = PG_GETARG_INTERVAL_P(2);
3851 2466 : bool sub = PG_GETARG_BOOL(3);
3852 2466 : bool less = PG_GETARG_BOOL(4);
3853 : Timestamp sum;
3854 :
3855 2466 : if (interval_sign(offset) < 0)
3856 18 : ereport(ERROR,
3857 : (errcode(ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE),
3858 : errmsg("invalid preceding or following size in window function")));
3859 :
3860 : /*
3861 : * Deal with cases where both base and offset are infinite, and computing
3862 : * base +/- offset would cause an error. As for float and numeric types,
3863 : * we assume that all values infinitely precede +infinity and infinitely
3864 : * follow -infinity. See in_range_float8_float8() for reasoning.
3865 : */
3866 2448 : if (INTERVAL_IS_NOEND(offset) &&
3867 : (sub ? TIMESTAMP_IS_NOEND(base) : TIMESTAMP_IS_NOBEGIN(base)))
3868 228 : PG_RETURN_BOOL(true);
3869 :
3870 : /* We don't currently bother to avoid overflow hazards here */
3871 2220 : if (sub)
3872 1032 : sum = DatumGetTimestamp(DirectFunctionCall2(timestamp_mi_interval,
3873 : TimestampGetDatum(base),
3874 : IntervalPGetDatum(offset)));
3875 : else
3876 1188 : sum = DatumGetTimestamp(DirectFunctionCall2(timestamp_pl_interval,
3877 : TimestampGetDatum(base),
3878 : IntervalPGetDatum(offset)));
3879 :
3880 2220 : if (less)
3881 1206 : PG_RETURN_BOOL(val <= sum);
3882 : else
3883 1014 : PG_RETURN_BOOL(val >= sum);
3884 : }
3885 :
3886 : Datum
3887 1128 : in_range_interval_interval(PG_FUNCTION_ARGS)
3888 : {
3889 1128 : Interval *val = PG_GETARG_INTERVAL_P(0);
3890 1128 : Interval *base = PG_GETARG_INTERVAL_P(1);
3891 1128 : Interval *offset = PG_GETARG_INTERVAL_P(2);
3892 1128 : bool sub = PG_GETARG_BOOL(3);
3893 1128 : bool less = PG_GETARG_BOOL(4);
3894 : Interval *sum;
3895 :
3896 1128 : if (interval_sign(offset) < 0)
3897 12 : ereport(ERROR,
3898 : (errcode(ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE),
3899 : errmsg("invalid preceding or following size in window function")));
3900 :
3901 : /*
3902 : * Deal with cases where both base and offset are infinite, and computing
3903 : * base +/- offset would cause an error. As for float and numeric types,
3904 : * we assume that all values infinitely precede +infinity and infinitely
3905 : * follow -infinity. See in_range_float8_float8() for reasoning.
3906 : */
3907 1680 : if (INTERVAL_IS_NOEND(offset) &&
3908 564 : (sub ? INTERVAL_IS_NOEND(base) : INTERVAL_IS_NOBEGIN(base)))
3909 228 : PG_RETURN_BOOL(true);
3910 :
3911 : /* We don't currently bother to avoid overflow hazards here */
3912 888 : if (sub)
3913 480 : sum = DatumGetIntervalP(DirectFunctionCall2(interval_mi,
3914 : IntervalPGetDatum(base),
3915 : IntervalPGetDatum(offset)));
3916 : else
3917 408 : sum = DatumGetIntervalP(DirectFunctionCall2(interval_pl,
3918 : IntervalPGetDatum(base),
3919 : IntervalPGetDatum(offset)));
3920 :
3921 888 : if (less)
3922 348 : PG_RETURN_BOOL(interval_cmp_internal(val, sum) <= 0);
3923 : else
3924 540 : PG_RETURN_BOOL(interval_cmp_internal(val, sum) >= 0);
3925 : }
3926 :
3927 :
3928 : /*
3929 : * Prepare state data for an interval aggregate function, that needs to compute
3930 : * sum and count, in the aggregate's memory context.
3931 : *
3932 : * The function is used when the state data needs to be allocated in aggregate's
3933 : * context. When the state data needs to be allocated in the current memory
3934 : * context, we use palloc0 directly e.g. interval_avg_deserialize().
3935 : */
3936 : static IntervalAggState *
3937 54 : makeIntervalAggState(FunctionCallInfo fcinfo)
3938 : {
3939 : IntervalAggState *state;
3940 : MemoryContext agg_context;
3941 : MemoryContext old_context;
3942 :
3943 54 : if (!AggCheckCallContext(fcinfo, &agg_context))
3944 0 : elog(ERROR, "aggregate function called in non-aggregate context");
3945 :
3946 54 : old_context = MemoryContextSwitchTo(agg_context);
3947 :
3948 54 : state = (IntervalAggState *) palloc0(sizeof(IntervalAggState));
3949 :
3950 54 : MemoryContextSwitchTo(old_context);
3951 :
3952 54 : return state;
3953 : }
3954 :
3955 : /*
3956 : * Accumulate a new input value for interval aggregate functions.
3957 : */
3958 : static void
3959 324 : do_interval_accum(IntervalAggState *state, Interval *newval)
3960 : {
3961 : /* Infinite inputs are counted separately, and do not affect "N" */
3962 324 : if (INTERVAL_IS_NOBEGIN(newval))
3963 : {
3964 60 : state->nInfcount++;
3965 60 : return;
3966 : }
3967 :
3968 264 : if (INTERVAL_IS_NOEND(newval))
3969 : {
3970 60 : state->pInfcount++;
3971 60 : return;
3972 : }
3973 :
3974 204 : finite_interval_pl(&state->sumX, newval, &state->sumX);
3975 204 : state->N++;
3976 : }
3977 :
3978 : /*
3979 : * Remove the given interval value from the aggregated state.
3980 : */
3981 : static void
3982 204 : do_interval_discard(IntervalAggState *state, Interval *newval)
3983 : {
3984 : /* Infinite inputs are counted separately, and do not affect "N" */
3985 204 : if (INTERVAL_IS_NOBEGIN(newval))
3986 : {
3987 24 : state->nInfcount--;
3988 24 : return;
3989 : }
3990 :
3991 180 : if (INTERVAL_IS_NOEND(newval))
3992 : {
3993 48 : state->pInfcount--;
3994 48 : return;
3995 : }
3996 :
3997 : /* Handle the to-be-discarded finite value. */
3998 132 : state->N--;
3999 132 : if (state->N > 0)
4000 48 : finite_interval_mi(&state->sumX, newval, &state->sumX);
4001 : else
4002 : {
4003 : /* All values discarded, reset the state */
4004 : Assert(state->N == 0);
4005 84 : memset(&state->sumX, 0, sizeof(state->sumX));
4006 : }
4007 : }
4008 :
4009 : /*
4010 : * Transition function for sum() and avg() interval aggregates.
4011 : */
4012 : Datum
4013 408 : interval_avg_accum(PG_FUNCTION_ARGS)
4014 : {
4015 : IntervalAggState *state;
4016 :
4017 408 : state = PG_ARGISNULL(0) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(0);
4018 :
4019 : /* Create the state data on the first call */
4020 408 : if (state == NULL)
4021 54 : state = makeIntervalAggState(fcinfo);
4022 :
4023 408 : if (!PG_ARGISNULL(1))
4024 324 : do_interval_accum(state, PG_GETARG_INTERVAL_P(1));
4025 :
4026 408 : PG_RETURN_POINTER(state);
4027 : }
4028 :
4029 : /*
4030 : * Combine function for sum() and avg() interval aggregates.
4031 : *
4032 : * Combine the given internal aggregate states and place the combination in
4033 : * the first argument.
4034 : */
4035 : Datum
4036 0 : interval_avg_combine(PG_FUNCTION_ARGS)
4037 : {
4038 : IntervalAggState *state1;
4039 : IntervalAggState *state2;
4040 :
4041 0 : state1 = PG_ARGISNULL(0) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(0);
4042 0 : state2 = PG_ARGISNULL(1) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(1);
4043 :
4044 0 : if (state2 == NULL)
4045 0 : PG_RETURN_POINTER(state1);
4046 :
4047 0 : if (state1 == NULL)
4048 : {
4049 : /* manually copy all fields from state2 to state1 */
4050 0 : state1 = makeIntervalAggState(fcinfo);
4051 :
4052 0 : state1->N = state2->N;
4053 0 : state1->pInfcount = state2->pInfcount;
4054 0 : state1->nInfcount = state2->nInfcount;
4055 :
4056 0 : state1->sumX.day = state2->sumX.day;
4057 0 : state1->sumX.month = state2->sumX.month;
4058 0 : state1->sumX.time = state2->sumX.time;
4059 :
4060 0 : PG_RETURN_POINTER(state1);
4061 : }
4062 :
4063 0 : state1->N += state2->N;
4064 0 : state1->pInfcount += state2->pInfcount;
4065 0 : state1->nInfcount += state2->nInfcount;
4066 :
4067 : /* Accumulate finite interval values, if any. */
4068 0 : if (state2->N > 0)
4069 0 : finite_interval_pl(&state1->sumX, &state2->sumX, &state1->sumX);
4070 :
4071 0 : PG_RETURN_POINTER(state1);
4072 : }
4073 :
4074 : /*
4075 : * interval_avg_serialize
4076 : * Serialize IntervalAggState for interval aggregates.
4077 : */
4078 : Datum
4079 0 : interval_avg_serialize(PG_FUNCTION_ARGS)
4080 : {
4081 : IntervalAggState *state;
4082 : StringInfoData buf;
4083 : bytea *result;
4084 :
4085 : /* Ensure we disallow calling when not in aggregate context */
4086 0 : if (!AggCheckCallContext(fcinfo, NULL))
4087 0 : elog(ERROR, "aggregate function called in non-aggregate context");
4088 :
4089 0 : state = (IntervalAggState *) PG_GETARG_POINTER(0);
4090 :
4091 0 : pq_begintypsend(&buf);
4092 :
4093 : /* N */
4094 0 : pq_sendint64(&buf, state->N);
4095 :
4096 : /* sumX */
4097 0 : pq_sendint64(&buf, state->sumX.time);
4098 0 : pq_sendint32(&buf, state->sumX.day);
4099 0 : pq_sendint32(&buf, state->sumX.month);
4100 :
4101 : /* pInfcount */
4102 0 : pq_sendint64(&buf, state->pInfcount);
4103 :
4104 : /* nInfcount */
4105 0 : pq_sendint64(&buf, state->nInfcount);
4106 :
4107 0 : result = pq_endtypsend(&buf);
4108 :
4109 0 : PG_RETURN_BYTEA_P(result);
4110 : }
4111 :
4112 : /*
4113 : * interval_avg_deserialize
4114 : * Deserialize bytea into IntervalAggState for interval aggregates.
4115 : */
4116 : Datum
4117 0 : interval_avg_deserialize(PG_FUNCTION_ARGS)
4118 : {
4119 : bytea *sstate;
4120 : IntervalAggState *result;
4121 : StringInfoData buf;
4122 :
4123 0 : if (!AggCheckCallContext(fcinfo, NULL))
4124 0 : elog(ERROR, "aggregate function called in non-aggregate context");
4125 :
4126 0 : sstate = PG_GETARG_BYTEA_PP(0);
4127 :
4128 : /*
4129 : * Initialize a StringInfo so that we can "receive" it using the standard
4130 : * recv-function infrastructure.
4131 : */
4132 0 : initReadOnlyStringInfo(&buf, VARDATA_ANY(sstate),
4133 0 : VARSIZE_ANY_EXHDR(sstate));
4134 :
4135 0 : result = (IntervalAggState *) palloc0(sizeof(IntervalAggState));
4136 :
4137 : /* N */
4138 0 : result->N = pq_getmsgint64(&buf);
4139 :
4140 : /* sumX */
4141 0 : result->sumX.time = pq_getmsgint64(&buf);
4142 0 : result->sumX.day = pq_getmsgint(&buf, 4);
4143 0 : result->sumX.month = pq_getmsgint(&buf, 4);
4144 :
4145 : /* pInfcount */
4146 0 : result->pInfcount = pq_getmsgint64(&buf);
4147 :
4148 : /* nInfcount */
4149 0 : result->nInfcount = pq_getmsgint64(&buf);
4150 :
4151 0 : pq_getmsgend(&buf);
4152 :
4153 0 : PG_RETURN_POINTER(result);
4154 : }
4155 :
4156 : /*
4157 : * Inverse transition function for sum() and avg() interval aggregates.
4158 : */
4159 : Datum
4160 264 : interval_avg_accum_inv(PG_FUNCTION_ARGS)
4161 : {
4162 : IntervalAggState *state;
4163 :
4164 264 : state = PG_ARGISNULL(0) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(0);
4165 :
4166 : /* Should not get here with no state */
4167 264 : if (state == NULL)
4168 0 : elog(ERROR, "interval_avg_accum_inv called with NULL state");
4169 :
4170 264 : if (!PG_ARGISNULL(1))
4171 204 : do_interval_discard(state, PG_GETARG_INTERVAL_P(1));
4172 :
4173 264 : PG_RETURN_POINTER(state);
4174 : }
4175 :
4176 : /* avg(interval) aggregate final function */
4177 : Datum
4178 168 : interval_avg(PG_FUNCTION_ARGS)
4179 : {
4180 : IntervalAggState *state;
4181 :
4182 168 : state = PG_ARGISNULL(0) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(0);
4183 :
4184 : /* If there were no non-null inputs, return NULL */
4185 168 : if (state == NULL || IA_TOTAL_COUNT(state) == 0)
4186 18 : PG_RETURN_NULL();
4187 :
4188 : /*
4189 : * Aggregating infinities that all have the same sign produces infinity
4190 : * with that sign. Aggregating infinities with different signs results in
4191 : * an error.
4192 : */
4193 150 : if (state->pInfcount > 0 || state->nInfcount > 0)
4194 : {
4195 : Interval *result;
4196 :
4197 108 : if (state->pInfcount > 0 && state->nInfcount > 0)
4198 6 : ereport(ERROR,
4199 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4200 : errmsg("interval out of range")));
4201 :
4202 102 : result = (Interval *) palloc(sizeof(Interval));
4203 102 : if (state->pInfcount > 0)
4204 60 : INTERVAL_NOEND(result);
4205 : else
4206 42 : INTERVAL_NOBEGIN(result);
4207 :
4208 102 : PG_RETURN_INTERVAL_P(result);
4209 : }
4210 :
4211 42 : return DirectFunctionCall2(interval_div,
4212 : IntervalPGetDatum(&state->sumX),
4213 : Float8GetDatum((double) state->N));
4214 : }
4215 :
4216 : /* sum(interval) aggregate final function */
4217 : Datum
4218 162 : interval_sum(PG_FUNCTION_ARGS)
4219 : {
4220 : IntervalAggState *state;
4221 : Interval *result;
4222 :
4223 162 : state = PG_ARGISNULL(0) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(0);
4224 :
4225 : /* If there were no non-null inputs, return NULL */
4226 162 : if (state == NULL || IA_TOTAL_COUNT(state) == 0)
4227 18 : PG_RETURN_NULL();
4228 :
4229 : /*
4230 : * Aggregating infinities that all have the same sign produces infinity
4231 : * with that sign. Aggregating infinities with different signs results in
4232 : * an error.
4233 : */
4234 144 : if (state->pInfcount > 0 && state->nInfcount > 0)
4235 6 : ereport(ERROR,
4236 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4237 : errmsg("interval out of range")));
4238 :
4239 138 : result = (Interval *) palloc(sizeof(Interval));
4240 :
4241 138 : if (state->pInfcount > 0)
4242 60 : INTERVAL_NOEND(result);
4243 78 : else if (state->nInfcount > 0)
4244 42 : INTERVAL_NOBEGIN(result);
4245 : else
4246 36 : memcpy(result, &state->sumX, sizeof(Interval));
4247 :
4248 138 : PG_RETURN_INTERVAL_P(result);
4249 : }
4250 :
4251 : /* timestamp_age()
4252 : * Calculate time difference while retaining year/month fields.
4253 : * Note that this does not result in an accurate absolute time span
4254 : * since year and month are out of context once the arithmetic
4255 : * is done.
4256 : */
4257 : Datum
4258 36 : timestamp_age(PG_FUNCTION_ARGS)
4259 : {
4260 36 : Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
4261 36 : Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
4262 : Interval *result;
4263 : fsec_t fsec1,
4264 : fsec2;
4265 : struct pg_itm tt,
4266 36 : *tm = &tt;
4267 : struct pg_tm tt1,
4268 36 : *tm1 = &tt1;
4269 : struct pg_tm tt2,
4270 36 : *tm2 = &tt2;
4271 :
4272 36 : result = (Interval *) palloc(sizeof(Interval));
4273 :
4274 : /*
4275 : * Handle infinities.
4276 : *
4277 : * We treat anything that amounts to "infinity - infinity" as an error,
4278 : * since the interval type has nothing equivalent to NaN.
4279 : */
4280 36 : if (TIMESTAMP_IS_NOBEGIN(dt1))
4281 : {
4282 12 : if (TIMESTAMP_IS_NOBEGIN(dt2))
4283 6 : ereport(ERROR,
4284 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4285 : errmsg("interval out of range")));
4286 : else
4287 6 : INTERVAL_NOBEGIN(result);
4288 : }
4289 24 : else if (TIMESTAMP_IS_NOEND(dt1))
4290 : {
4291 12 : if (TIMESTAMP_IS_NOEND(dt2))
4292 6 : ereport(ERROR,
4293 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4294 : errmsg("interval out of range")));
4295 : else
4296 6 : INTERVAL_NOEND(result);
4297 : }
4298 12 : else if (TIMESTAMP_IS_NOBEGIN(dt2))
4299 6 : INTERVAL_NOEND(result);
4300 6 : else if (TIMESTAMP_IS_NOEND(dt2))
4301 6 : INTERVAL_NOBEGIN(result);
4302 0 : else if (timestamp2tm(dt1, NULL, tm1, &fsec1, NULL, NULL) == 0 &&
4303 0 : timestamp2tm(dt2, NULL, tm2, &fsec2, NULL, NULL) == 0)
4304 : {
4305 : /* form the symbolic difference */
4306 0 : tm->tm_usec = fsec1 - fsec2;
4307 0 : tm->tm_sec = tm1->tm_sec - tm2->tm_sec;
4308 0 : tm->tm_min = tm1->tm_min - tm2->tm_min;
4309 0 : tm->tm_hour = tm1->tm_hour - tm2->tm_hour;
4310 0 : tm->tm_mday = tm1->tm_mday - tm2->tm_mday;
4311 0 : tm->tm_mon = tm1->tm_mon - tm2->tm_mon;
4312 0 : tm->tm_year = tm1->tm_year - tm2->tm_year;
4313 :
4314 : /* flip sign if necessary... */
4315 0 : if (dt1 < dt2)
4316 : {
4317 0 : tm->tm_usec = -tm->tm_usec;
4318 0 : tm->tm_sec = -tm->tm_sec;
4319 0 : tm->tm_min = -tm->tm_min;
4320 0 : tm->tm_hour = -tm->tm_hour;
4321 0 : tm->tm_mday = -tm->tm_mday;
4322 0 : tm->tm_mon = -tm->tm_mon;
4323 0 : tm->tm_year = -tm->tm_year;
4324 : }
4325 :
4326 : /* propagate any negative fields into the next higher field */
4327 0 : while (tm->tm_usec < 0)
4328 : {
4329 0 : tm->tm_usec += USECS_PER_SEC;
4330 0 : tm->tm_sec--;
4331 : }
4332 :
4333 0 : while (tm->tm_sec < 0)
4334 : {
4335 0 : tm->tm_sec += SECS_PER_MINUTE;
4336 0 : tm->tm_min--;
4337 : }
4338 :
4339 0 : while (tm->tm_min < 0)
4340 : {
4341 0 : tm->tm_min += MINS_PER_HOUR;
4342 0 : tm->tm_hour--;
4343 : }
4344 :
4345 0 : while (tm->tm_hour < 0)
4346 : {
4347 0 : tm->tm_hour += HOURS_PER_DAY;
4348 0 : tm->tm_mday--;
4349 : }
4350 :
4351 0 : while (tm->tm_mday < 0)
4352 : {
4353 0 : if (dt1 < dt2)
4354 : {
4355 0 : tm->tm_mday += day_tab[isleap(tm1->tm_year)][tm1->tm_mon - 1];
4356 0 : tm->tm_mon--;
4357 : }
4358 : else
4359 : {
4360 0 : tm->tm_mday += day_tab[isleap(tm2->tm_year)][tm2->tm_mon - 1];
4361 0 : tm->tm_mon--;
4362 : }
4363 : }
4364 :
4365 0 : while (tm->tm_mon < 0)
4366 : {
4367 0 : tm->tm_mon += MONTHS_PER_YEAR;
4368 0 : tm->tm_year--;
4369 : }
4370 :
4371 : /* recover sign if necessary... */
4372 0 : if (dt1 < dt2)
4373 : {
4374 0 : tm->tm_usec = -tm->tm_usec;
4375 0 : tm->tm_sec = -tm->tm_sec;
4376 0 : tm->tm_min = -tm->tm_min;
4377 0 : tm->tm_hour = -tm->tm_hour;
4378 0 : tm->tm_mday = -tm->tm_mday;
4379 0 : tm->tm_mon = -tm->tm_mon;
4380 0 : tm->tm_year = -tm->tm_year;
4381 : }
4382 :
4383 0 : if (itm2interval(tm, result) != 0)
4384 0 : ereport(ERROR,
4385 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4386 : errmsg("interval out of range")));
4387 : }
4388 : else
4389 0 : ereport(ERROR,
4390 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4391 : errmsg("timestamp out of range")));
4392 :
4393 24 : PG_RETURN_INTERVAL_P(result);
4394 : }
4395 :
4396 :
4397 : /* timestamptz_age()
4398 : * Calculate time difference while retaining year/month fields.
4399 : * Note that this does not result in an accurate absolute time span
4400 : * since year and month are out of context once the arithmetic
4401 : * is done.
4402 : */
4403 : Datum
4404 36 : timestamptz_age(PG_FUNCTION_ARGS)
4405 : {
4406 36 : TimestampTz dt1 = PG_GETARG_TIMESTAMPTZ(0);
4407 36 : TimestampTz dt2 = PG_GETARG_TIMESTAMPTZ(1);
4408 : Interval *result;
4409 : fsec_t fsec1,
4410 : fsec2;
4411 : struct pg_itm tt,
4412 36 : *tm = &tt;
4413 : struct pg_tm tt1,
4414 36 : *tm1 = &tt1;
4415 : struct pg_tm tt2,
4416 36 : *tm2 = &tt2;
4417 : int tz1;
4418 : int tz2;
4419 :
4420 36 : result = (Interval *) palloc(sizeof(Interval));
4421 :
4422 : /*
4423 : * Handle infinities.
4424 : *
4425 : * We treat anything that amounts to "infinity - infinity" as an error,
4426 : * since the interval type has nothing equivalent to NaN.
4427 : */
4428 36 : if (TIMESTAMP_IS_NOBEGIN(dt1))
4429 : {
4430 12 : if (TIMESTAMP_IS_NOBEGIN(dt2))
4431 6 : ereport(ERROR,
4432 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4433 : errmsg("interval out of range")));
4434 : else
4435 6 : INTERVAL_NOBEGIN(result);
4436 : }
4437 24 : else if (TIMESTAMP_IS_NOEND(dt1))
4438 : {
4439 12 : if (TIMESTAMP_IS_NOEND(dt2))
4440 6 : ereport(ERROR,
4441 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4442 : errmsg("interval out of range")));
4443 : else
4444 6 : INTERVAL_NOEND(result);
4445 : }
4446 12 : else if (TIMESTAMP_IS_NOBEGIN(dt2))
4447 6 : INTERVAL_NOEND(result);
4448 6 : else if (TIMESTAMP_IS_NOEND(dt2))
4449 6 : INTERVAL_NOBEGIN(result);
4450 0 : else if (timestamp2tm(dt1, &tz1, tm1, &fsec1, NULL, NULL) == 0 &&
4451 0 : timestamp2tm(dt2, &tz2, tm2, &fsec2, NULL, NULL) == 0)
4452 : {
4453 : /* form the symbolic difference */
4454 0 : tm->tm_usec = fsec1 - fsec2;
4455 0 : tm->tm_sec = tm1->tm_sec - tm2->tm_sec;
4456 0 : tm->tm_min = tm1->tm_min - tm2->tm_min;
4457 0 : tm->tm_hour = tm1->tm_hour - tm2->tm_hour;
4458 0 : tm->tm_mday = tm1->tm_mday - tm2->tm_mday;
4459 0 : tm->tm_mon = tm1->tm_mon - tm2->tm_mon;
4460 0 : tm->tm_year = tm1->tm_year - tm2->tm_year;
4461 :
4462 : /* flip sign if necessary... */
4463 0 : if (dt1 < dt2)
4464 : {
4465 0 : tm->tm_usec = -tm->tm_usec;
4466 0 : tm->tm_sec = -tm->tm_sec;
4467 0 : tm->tm_min = -tm->tm_min;
4468 0 : tm->tm_hour = -tm->tm_hour;
4469 0 : tm->tm_mday = -tm->tm_mday;
4470 0 : tm->tm_mon = -tm->tm_mon;
4471 0 : tm->tm_year = -tm->tm_year;
4472 : }
4473 :
4474 : /* propagate any negative fields into the next higher field */
4475 0 : while (tm->tm_usec < 0)
4476 : {
4477 0 : tm->tm_usec += USECS_PER_SEC;
4478 0 : tm->tm_sec--;
4479 : }
4480 :
4481 0 : while (tm->tm_sec < 0)
4482 : {
4483 0 : tm->tm_sec += SECS_PER_MINUTE;
4484 0 : tm->tm_min--;
4485 : }
4486 :
4487 0 : while (tm->tm_min < 0)
4488 : {
4489 0 : tm->tm_min += MINS_PER_HOUR;
4490 0 : tm->tm_hour--;
4491 : }
4492 :
4493 0 : while (tm->tm_hour < 0)
4494 : {
4495 0 : tm->tm_hour += HOURS_PER_DAY;
4496 0 : tm->tm_mday--;
4497 : }
4498 :
4499 0 : while (tm->tm_mday < 0)
4500 : {
4501 0 : if (dt1 < dt2)
4502 : {
4503 0 : tm->tm_mday += day_tab[isleap(tm1->tm_year)][tm1->tm_mon - 1];
4504 0 : tm->tm_mon--;
4505 : }
4506 : else
4507 : {
4508 0 : tm->tm_mday += day_tab[isleap(tm2->tm_year)][tm2->tm_mon - 1];
4509 0 : tm->tm_mon--;
4510 : }
4511 : }
4512 :
4513 0 : while (tm->tm_mon < 0)
4514 : {
4515 0 : tm->tm_mon += MONTHS_PER_YEAR;
4516 0 : tm->tm_year--;
4517 : }
4518 :
4519 : /*
4520 : * Note: we deliberately ignore any difference between tz1 and tz2.
4521 : */
4522 :
4523 : /* recover sign if necessary... */
4524 0 : if (dt1 < dt2)
4525 : {
4526 0 : tm->tm_usec = -tm->tm_usec;
4527 0 : tm->tm_sec = -tm->tm_sec;
4528 0 : tm->tm_min = -tm->tm_min;
4529 0 : tm->tm_hour = -tm->tm_hour;
4530 0 : tm->tm_mday = -tm->tm_mday;
4531 0 : tm->tm_mon = -tm->tm_mon;
4532 0 : tm->tm_year = -tm->tm_year;
4533 : }
4534 :
4535 0 : if (itm2interval(tm, result) != 0)
4536 0 : ereport(ERROR,
4537 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4538 : errmsg("interval out of range")));
4539 : }
4540 : else
4541 0 : ereport(ERROR,
4542 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4543 : errmsg("timestamp out of range")));
4544 :
4545 24 : PG_RETURN_INTERVAL_P(result);
4546 : }
4547 :
4548 :
4549 : /*----------------------------------------------------------
4550 : * Conversion operators.
4551 : *---------------------------------------------------------*/
4552 :
4553 :
4554 : /* timestamp_bin()
4555 : * Bin timestamp into specified interval.
4556 : */
4557 : Datum
4558 276 : timestamp_bin(PG_FUNCTION_ARGS)
4559 : {
4560 276 : Interval *stride = PG_GETARG_INTERVAL_P(0);
4561 276 : Timestamp timestamp = PG_GETARG_TIMESTAMP(1);
4562 276 : Timestamp origin = PG_GETARG_TIMESTAMP(2);
4563 : Timestamp result,
4564 : stride_usecs,
4565 : tm_diff,
4566 : tm_modulo,
4567 : tm_delta;
4568 :
4569 276 : if (TIMESTAMP_NOT_FINITE(timestamp))
4570 0 : PG_RETURN_TIMESTAMP(timestamp);
4571 :
4572 276 : if (TIMESTAMP_NOT_FINITE(origin))
4573 0 : ereport(ERROR,
4574 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4575 : errmsg("origin out of range")));
4576 :
4577 276 : if (INTERVAL_NOT_FINITE(stride))
4578 12 : ereport(ERROR,
4579 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4580 : errmsg("timestamps cannot be binned into infinite intervals")));
4581 :
4582 264 : if (stride->month != 0)
4583 12 : ereport(ERROR,
4584 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4585 : errmsg("timestamps cannot be binned into intervals containing months or years")));
4586 :
4587 252 : if (unlikely(pg_mul_s64_overflow(stride->day, USECS_PER_DAY, &stride_usecs)) ||
4588 246 : unlikely(pg_add_s64_overflow(stride_usecs, stride->time, &stride_usecs)))
4589 6 : ereport(ERROR,
4590 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4591 : errmsg("interval out of range")));
4592 :
4593 246 : if (stride_usecs <= 0)
4594 12 : ereport(ERROR,
4595 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4596 : errmsg("stride must be greater than zero")));
4597 :
4598 234 : if (unlikely(pg_sub_s64_overflow(timestamp, origin, &tm_diff)))
4599 6 : ereport(ERROR,
4600 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4601 : errmsg("interval out of range")));
4602 :
4603 : /* These calculations cannot overflow */
4604 228 : tm_modulo = tm_diff % stride_usecs;
4605 228 : tm_delta = tm_diff - tm_modulo;
4606 228 : result = origin + tm_delta;
4607 :
4608 : /*
4609 : * We want to round towards -infinity, not 0, when tm_diff is negative and
4610 : * not a multiple of stride_usecs. This adjustment *can* cause overflow,
4611 : * since the result might now be out of the range origin .. timestamp.
4612 : */
4613 228 : if (tm_modulo < 0)
4614 : {
4615 78 : if (unlikely(pg_sub_s64_overflow(result, stride_usecs, &result)) ||
4616 78 : !IS_VALID_TIMESTAMP(result))
4617 6 : ereport(ERROR,
4618 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4619 : errmsg("timestamp out of range")));
4620 : }
4621 :
4622 222 : PG_RETURN_TIMESTAMP(result);
4623 : }
4624 :
4625 : /* timestamp_trunc()
4626 : * Truncate timestamp to specified units.
4627 : */
4628 : Datum
4629 1392 : timestamp_trunc(PG_FUNCTION_ARGS)
4630 : {
4631 1392 : text *units = PG_GETARG_TEXT_PP(0);
4632 1392 : Timestamp timestamp = PG_GETARG_TIMESTAMP(1);
4633 : Timestamp result;
4634 : int type,
4635 : val;
4636 : char *lowunits;
4637 : fsec_t fsec;
4638 : struct pg_tm tt,
4639 1392 : *tm = &tt;
4640 :
4641 1392 : lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
4642 1392 : VARSIZE_ANY_EXHDR(units),
4643 : false);
4644 :
4645 1392 : type = DecodeUnits(0, lowunits, &val);
4646 :
4647 1392 : if (type == UNITS)
4648 : {
4649 1386 : if (TIMESTAMP_NOT_FINITE(timestamp))
4650 : {
4651 : /*
4652 : * Errors thrown here for invalid units should exactly match those
4653 : * below, else there will be unexpected discrepancies between
4654 : * finite- and infinite-input cases.
4655 : */
4656 0 : switch (val)
4657 : {
4658 0 : case DTK_WEEK:
4659 : case DTK_MILLENNIUM:
4660 : case DTK_CENTURY:
4661 : case DTK_DECADE:
4662 : case DTK_YEAR:
4663 : case DTK_QUARTER:
4664 : case DTK_MONTH:
4665 : case DTK_DAY:
4666 : case DTK_HOUR:
4667 : case DTK_MINUTE:
4668 : case DTK_SECOND:
4669 : case DTK_MILLISEC:
4670 : case DTK_MICROSEC:
4671 0 : PG_RETURN_TIMESTAMP(timestamp);
4672 : break;
4673 0 : default:
4674 0 : ereport(ERROR,
4675 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4676 : errmsg("unit \"%s\" not supported for type %s",
4677 : lowunits, format_type_be(TIMESTAMPOID))));
4678 : result = 0;
4679 : }
4680 : }
4681 :
4682 1386 : if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
4683 0 : ereport(ERROR,
4684 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4685 : errmsg("timestamp out of range")));
4686 :
4687 1386 : switch (val)
4688 : {
4689 30 : case DTK_WEEK:
4690 : {
4691 : int woy;
4692 :
4693 30 : woy = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
4694 :
4695 : /*
4696 : * If it is week 52/53 and the month is January, then the
4697 : * week must belong to the previous year. Also, some
4698 : * December dates belong to the next year.
4699 : */
4700 30 : if (woy >= 52 && tm->tm_mon == 1)
4701 0 : --tm->tm_year;
4702 30 : if (woy <= 1 && tm->tm_mon == MONTHS_PER_YEAR)
4703 0 : ++tm->tm_year;
4704 30 : isoweek2date(woy, &(tm->tm_year), &(tm->tm_mon), &(tm->tm_mday));
4705 30 : tm->tm_hour = 0;
4706 30 : tm->tm_min = 0;
4707 30 : tm->tm_sec = 0;
4708 30 : fsec = 0;
4709 30 : break;
4710 : }
4711 6 : case DTK_MILLENNIUM:
4712 : /* see comments in timestamptz_trunc */
4713 6 : if (tm->tm_year > 0)
4714 6 : tm->tm_year = ((tm->tm_year + 999) / 1000) * 1000 - 999;
4715 : else
4716 0 : tm->tm_year = -((999 - (tm->tm_year - 1)) / 1000) * 1000 + 1;
4717 : /* FALL THRU */
4718 : case DTK_CENTURY:
4719 : /* see comments in timestamptz_trunc */
4720 12 : if (tm->tm_year > 0)
4721 12 : tm->tm_year = ((tm->tm_year + 99) / 100) * 100 - 99;
4722 : else
4723 0 : tm->tm_year = -((99 - (tm->tm_year - 1)) / 100) * 100 + 1;
4724 : /* FALL THRU */
4725 : case DTK_DECADE:
4726 : /* see comments in timestamptz_trunc */
4727 12 : if (val != DTK_MILLENNIUM && val != DTK_CENTURY)
4728 : {
4729 0 : if (tm->tm_year > 0)
4730 0 : tm->tm_year = (tm->tm_year / 10) * 10;
4731 : else
4732 0 : tm->tm_year = -((8 - (tm->tm_year - 1)) / 10) * 10;
4733 : }
4734 : /* FALL THRU */
4735 : case DTK_YEAR:
4736 12 : tm->tm_mon = 1;
4737 : /* FALL THRU */
4738 12 : case DTK_QUARTER:
4739 12 : tm->tm_mon = (3 * ((tm->tm_mon - 1) / 3)) + 1;
4740 : /* FALL THRU */
4741 12 : case DTK_MONTH:
4742 12 : tm->tm_mday = 1;
4743 : /* FALL THRU */
4744 1236 : case DTK_DAY:
4745 1236 : tm->tm_hour = 0;
4746 : /* FALL THRU */
4747 1260 : case DTK_HOUR:
4748 1260 : tm->tm_min = 0;
4749 : /* FALL THRU */
4750 1284 : case DTK_MINUTE:
4751 1284 : tm->tm_sec = 0;
4752 : /* FALL THRU */
4753 1308 : case DTK_SECOND:
4754 1308 : fsec = 0;
4755 1308 : break;
4756 :
4757 24 : case DTK_MILLISEC:
4758 24 : fsec = (fsec / 1000) * 1000;
4759 24 : break;
4760 :
4761 24 : case DTK_MICROSEC:
4762 24 : break;
4763 :
4764 0 : default:
4765 0 : ereport(ERROR,
4766 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4767 : errmsg("unit \"%s\" not supported for type %s",
4768 : lowunits, format_type_be(TIMESTAMPOID))));
4769 : result = 0;
4770 : }
4771 :
4772 1386 : if (tm2timestamp(tm, fsec, NULL, &result) != 0)
4773 0 : ereport(ERROR,
4774 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4775 : errmsg("timestamp out of range")));
4776 : }
4777 : else
4778 : {
4779 6 : ereport(ERROR,
4780 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4781 : errmsg("unit \"%s\" not recognized for type %s",
4782 : lowunits, format_type_be(TIMESTAMPOID))));
4783 : result = 0;
4784 : }
4785 :
4786 1386 : PG_RETURN_TIMESTAMP(result);
4787 : }
4788 :
4789 : /* timestamptz_bin()
4790 : * Bin timestamptz into specified interval using specified origin.
4791 : */
4792 : Datum
4793 132 : timestamptz_bin(PG_FUNCTION_ARGS)
4794 : {
4795 132 : Interval *stride = PG_GETARG_INTERVAL_P(0);
4796 132 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(1);
4797 132 : TimestampTz origin = PG_GETARG_TIMESTAMPTZ(2);
4798 : TimestampTz result,
4799 : stride_usecs,
4800 : tm_diff,
4801 : tm_modulo,
4802 : tm_delta;
4803 :
4804 132 : if (TIMESTAMP_NOT_FINITE(timestamp))
4805 0 : PG_RETURN_TIMESTAMPTZ(timestamp);
4806 :
4807 132 : if (TIMESTAMP_NOT_FINITE(origin))
4808 0 : ereport(ERROR,
4809 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4810 : errmsg("origin out of range")));
4811 :
4812 132 : if (INTERVAL_NOT_FINITE(stride))
4813 0 : ereport(ERROR,
4814 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4815 : errmsg("timestamps cannot be binned into infinite intervals")));
4816 :
4817 132 : if (stride->month != 0)
4818 12 : ereport(ERROR,
4819 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4820 : errmsg("timestamps cannot be binned into intervals containing months or years")));
4821 :
4822 120 : if (unlikely(pg_mul_s64_overflow(stride->day, USECS_PER_DAY, &stride_usecs)) ||
4823 114 : unlikely(pg_add_s64_overflow(stride_usecs, stride->time, &stride_usecs)))
4824 6 : ereport(ERROR,
4825 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4826 : errmsg("interval out of range")));
4827 :
4828 114 : if (stride_usecs <= 0)
4829 12 : ereport(ERROR,
4830 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4831 : errmsg("stride must be greater than zero")));
4832 :
4833 102 : if (unlikely(pg_sub_s64_overflow(timestamp, origin, &tm_diff)))
4834 6 : ereport(ERROR,
4835 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4836 : errmsg("interval out of range")));
4837 :
4838 : /* These calculations cannot overflow */
4839 96 : tm_modulo = tm_diff % stride_usecs;
4840 96 : tm_delta = tm_diff - tm_modulo;
4841 96 : result = origin + tm_delta;
4842 :
4843 : /*
4844 : * We want to round towards -infinity, not 0, when tm_diff is negative and
4845 : * not a multiple of stride_usecs. This adjustment *can* cause overflow,
4846 : * since the result might now be out of the range origin .. timestamp.
4847 : */
4848 96 : if (tm_modulo < 0)
4849 : {
4850 6 : if (unlikely(pg_sub_s64_overflow(result, stride_usecs, &result)) ||
4851 6 : !IS_VALID_TIMESTAMP(result))
4852 6 : ereport(ERROR,
4853 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4854 : errmsg("timestamp out of range")));
4855 : }
4856 :
4857 90 : PG_RETURN_TIMESTAMPTZ(result);
4858 : }
4859 :
4860 : /*
4861 : * Common code for timestamptz_trunc() and timestamptz_trunc_zone().
4862 : *
4863 : * tzp identifies the zone to truncate with respect to. We assume
4864 : * infinite timestamps have already been rejected.
4865 : */
4866 : static TimestampTz
4867 1320 : timestamptz_trunc_internal(text *units, TimestampTz timestamp, pg_tz *tzp)
4868 : {
4869 : TimestampTz result;
4870 : int tz;
4871 : int type,
4872 : val;
4873 1320 : bool redotz = false;
4874 : char *lowunits;
4875 : fsec_t fsec;
4876 : struct pg_tm tt,
4877 1320 : *tm = &tt;
4878 :
4879 1320 : lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
4880 1320 : VARSIZE_ANY_EXHDR(units),
4881 : false);
4882 :
4883 1320 : type = DecodeUnits(0, lowunits, &val);
4884 :
4885 1320 : if (type == UNITS)
4886 : {
4887 1308 : if (TIMESTAMP_NOT_FINITE(timestamp))
4888 : {
4889 : /*
4890 : * Errors thrown here for invalid units should exactly match those
4891 : * below, else there will be unexpected discrepancies between
4892 : * finite- and infinite-input cases.
4893 : */
4894 0 : switch (val)
4895 : {
4896 0 : case DTK_WEEK:
4897 : case DTK_MILLENNIUM:
4898 : case DTK_CENTURY:
4899 : case DTK_DECADE:
4900 : case DTK_YEAR:
4901 : case DTK_QUARTER:
4902 : case DTK_MONTH:
4903 : case DTK_DAY:
4904 : case DTK_HOUR:
4905 : case DTK_MINUTE:
4906 : case DTK_SECOND:
4907 : case DTK_MILLISEC:
4908 : case DTK_MICROSEC:
4909 0 : PG_RETURN_TIMESTAMPTZ(timestamp);
4910 : break;
4911 :
4912 0 : default:
4913 0 : ereport(ERROR,
4914 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4915 : errmsg("unit \"%s\" not supported for type %s",
4916 : lowunits, format_type_be(TIMESTAMPTZOID))));
4917 : result = 0;
4918 : }
4919 : }
4920 :
4921 1308 : if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, tzp) != 0)
4922 0 : ereport(ERROR,
4923 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4924 : errmsg("timestamp out of range")));
4925 :
4926 1308 : switch (val)
4927 : {
4928 6 : case DTK_WEEK:
4929 : {
4930 : int woy;
4931 :
4932 6 : woy = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
4933 :
4934 : /*
4935 : * If it is week 52/53 and the month is January, then the
4936 : * week must belong to the previous year. Also, some
4937 : * December dates belong to the next year.
4938 : */
4939 6 : if (woy >= 52 && tm->tm_mon == 1)
4940 0 : --tm->tm_year;
4941 6 : if (woy <= 1 && tm->tm_mon == MONTHS_PER_YEAR)
4942 0 : ++tm->tm_year;
4943 6 : isoweek2date(woy, &(tm->tm_year), &(tm->tm_mon), &(tm->tm_mday));
4944 6 : tm->tm_hour = 0;
4945 6 : tm->tm_min = 0;
4946 6 : tm->tm_sec = 0;
4947 6 : fsec = 0;
4948 6 : redotz = true;
4949 6 : break;
4950 : }
4951 : /* one may consider DTK_THOUSAND and DTK_HUNDRED... */
4952 6 : case DTK_MILLENNIUM:
4953 :
4954 : /*
4955 : * truncating to the millennium? what is this supposed to
4956 : * mean? let us put the first year of the millennium... i.e.
4957 : * -1000, 1, 1001, 2001...
4958 : */
4959 6 : if (tm->tm_year > 0)
4960 6 : tm->tm_year = ((tm->tm_year + 999) / 1000) * 1000 - 999;
4961 : else
4962 0 : tm->tm_year = -((999 - (tm->tm_year - 1)) / 1000) * 1000 + 1;
4963 : /* FALL THRU */
4964 : case DTK_CENTURY:
4965 : /* truncating to the century? as above: -100, 1, 101... */
4966 30 : if (tm->tm_year > 0)
4967 24 : tm->tm_year = ((tm->tm_year + 99) / 100) * 100 - 99;
4968 : else
4969 6 : tm->tm_year = -((99 - (tm->tm_year - 1)) / 100) * 100 + 1;
4970 : /* FALL THRU */
4971 : case DTK_DECADE:
4972 :
4973 : /*
4974 : * truncating to the decade? first year of the decade. must
4975 : * not be applied if year was truncated before!
4976 : */
4977 48 : if (val != DTK_MILLENNIUM && val != DTK_CENTURY)
4978 : {
4979 18 : if (tm->tm_year > 0)
4980 12 : tm->tm_year = (tm->tm_year / 10) * 10;
4981 : else
4982 6 : tm->tm_year = -((8 - (tm->tm_year - 1)) / 10) * 10;
4983 : }
4984 : /* FALL THRU */
4985 : case DTK_YEAR:
4986 48 : tm->tm_mon = 1;
4987 : /* FALL THRU */
4988 48 : case DTK_QUARTER:
4989 48 : tm->tm_mon = (3 * ((tm->tm_mon - 1) / 3)) + 1;
4990 : /* FALL THRU */
4991 48 : case DTK_MONTH:
4992 48 : tm->tm_mday = 1;
4993 : /* FALL THRU */
4994 1272 : case DTK_DAY:
4995 1272 : tm->tm_hour = 0;
4996 1272 : redotz = true; /* for all cases >= DAY */
4997 : /* FALL THRU */
4998 1278 : case DTK_HOUR:
4999 1278 : tm->tm_min = 0;
5000 : /* FALL THRU */
5001 1284 : case DTK_MINUTE:
5002 1284 : tm->tm_sec = 0;
5003 : /* FALL THRU */
5004 1290 : case DTK_SECOND:
5005 1290 : fsec = 0;
5006 1290 : break;
5007 6 : case DTK_MILLISEC:
5008 6 : fsec = (fsec / 1000) * 1000;
5009 6 : break;
5010 6 : case DTK_MICROSEC:
5011 6 : break;
5012 :
5013 0 : default:
5014 0 : ereport(ERROR,
5015 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5016 : errmsg("unit \"%s\" not supported for type %s",
5017 : lowunits, format_type_be(TIMESTAMPTZOID))));
5018 : result = 0;
5019 : }
5020 :
5021 1308 : if (redotz)
5022 1278 : tz = DetermineTimeZoneOffset(tm, tzp);
5023 :
5024 1308 : if (tm2timestamp(tm, fsec, &tz, &result) != 0)
5025 0 : ereport(ERROR,
5026 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5027 : errmsg("timestamp out of range")));
5028 : }
5029 : else
5030 : {
5031 12 : ereport(ERROR,
5032 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5033 : errmsg("unit \"%s\" not recognized for type %s",
5034 : lowunits, format_type_be(TIMESTAMPTZOID))));
5035 : result = 0;
5036 : }
5037 :
5038 1308 : return result;
5039 : }
5040 :
5041 : /* timestamptz_trunc()
5042 : * Truncate timestamptz to specified units in session timezone.
5043 : */
5044 : Datum
5045 1260 : timestamptz_trunc(PG_FUNCTION_ARGS)
5046 : {
5047 1260 : text *units = PG_GETARG_TEXT_PP(0);
5048 1260 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(1);
5049 : TimestampTz result;
5050 :
5051 1260 : result = timestamptz_trunc_internal(units, timestamp, session_timezone);
5052 :
5053 1254 : PG_RETURN_TIMESTAMPTZ(result);
5054 : }
5055 :
5056 : /* timestamptz_trunc_zone()
5057 : * Truncate timestamptz to specified units in specified timezone.
5058 : */
5059 : Datum
5060 60 : timestamptz_trunc_zone(PG_FUNCTION_ARGS)
5061 : {
5062 60 : text *units = PG_GETARG_TEXT_PP(0);
5063 60 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(1);
5064 60 : text *zone = PG_GETARG_TEXT_PP(2);
5065 : TimestampTz result;
5066 : pg_tz *tzp;
5067 :
5068 : /*
5069 : * Look up the requested timezone.
5070 : */
5071 60 : tzp = lookup_timezone(zone);
5072 :
5073 60 : result = timestamptz_trunc_internal(units, timestamp, tzp);
5074 :
5075 54 : PG_RETURN_TIMESTAMPTZ(result);
5076 : }
5077 :
5078 : /* interval_trunc()
5079 : * Extract specified field from interval.
5080 : */
5081 : Datum
5082 24 : interval_trunc(PG_FUNCTION_ARGS)
5083 : {
5084 24 : text *units = PG_GETARG_TEXT_PP(0);
5085 24 : Interval *interval = PG_GETARG_INTERVAL_P(1);
5086 : Interval *result;
5087 : int type,
5088 : val;
5089 : char *lowunits;
5090 : struct pg_itm tt,
5091 24 : *tm = &tt;
5092 :
5093 24 : result = (Interval *) palloc(sizeof(Interval));
5094 :
5095 24 : lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5096 24 : VARSIZE_ANY_EXHDR(units),
5097 : false);
5098 :
5099 24 : type = DecodeUnits(0, lowunits, &val);
5100 :
5101 24 : if (type == UNITS)
5102 : {
5103 18 : if (INTERVAL_NOT_FINITE(interval))
5104 : {
5105 : /*
5106 : * Errors thrown here for invalid units should exactly match those
5107 : * below, else there will be unexpected discrepancies between
5108 : * finite- and infinite-input cases.
5109 : */
5110 18 : switch (val)
5111 : {
5112 12 : case DTK_MILLENNIUM:
5113 : case DTK_CENTURY:
5114 : case DTK_DECADE:
5115 : case DTK_YEAR:
5116 : case DTK_QUARTER:
5117 : case DTK_MONTH:
5118 : case DTK_DAY:
5119 : case DTK_HOUR:
5120 : case DTK_MINUTE:
5121 : case DTK_SECOND:
5122 : case DTK_MILLISEC:
5123 : case DTK_MICROSEC:
5124 12 : memcpy(result, interval, sizeof(Interval));
5125 12 : PG_RETURN_INTERVAL_P(result);
5126 : break;
5127 :
5128 6 : default:
5129 6 : ereport(ERROR,
5130 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5131 : errmsg("unit \"%s\" not supported for type %s",
5132 : lowunits, format_type_be(INTERVALOID)),
5133 : (val == DTK_WEEK) ? errdetail("Months usually have fractional weeks.") : 0));
5134 : result = 0;
5135 : }
5136 : }
5137 :
5138 0 : interval2itm(*interval, tm);
5139 0 : switch (val)
5140 : {
5141 0 : case DTK_MILLENNIUM:
5142 : /* caution: C division may have negative remainder */
5143 0 : tm->tm_year = (tm->tm_year / 1000) * 1000;
5144 : /* FALL THRU */
5145 0 : case DTK_CENTURY:
5146 : /* caution: C division may have negative remainder */
5147 0 : tm->tm_year = (tm->tm_year / 100) * 100;
5148 : /* FALL THRU */
5149 0 : case DTK_DECADE:
5150 : /* caution: C division may have negative remainder */
5151 0 : tm->tm_year = (tm->tm_year / 10) * 10;
5152 : /* FALL THRU */
5153 0 : case DTK_YEAR:
5154 0 : tm->tm_mon = 0;
5155 : /* FALL THRU */
5156 0 : case DTK_QUARTER:
5157 0 : tm->tm_mon = 3 * (tm->tm_mon / 3);
5158 : /* FALL THRU */
5159 0 : case DTK_MONTH:
5160 0 : tm->tm_mday = 0;
5161 : /* FALL THRU */
5162 0 : case DTK_DAY:
5163 0 : tm->tm_hour = 0;
5164 : /* FALL THRU */
5165 0 : case DTK_HOUR:
5166 0 : tm->tm_min = 0;
5167 : /* FALL THRU */
5168 0 : case DTK_MINUTE:
5169 0 : tm->tm_sec = 0;
5170 : /* FALL THRU */
5171 0 : case DTK_SECOND:
5172 0 : tm->tm_usec = 0;
5173 0 : break;
5174 0 : case DTK_MILLISEC:
5175 0 : tm->tm_usec = (tm->tm_usec / 1000) * 1000;
5176 0 : break;
5177 0 : case DTK_MICROSEC:
5178 0 : break;
5179 :
5180 0 : default:
5181 0 : ereport(ERROR,
5182 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5183 : errmsg("unit \"%s\" not supported for type %s",
5184 : lowunits, format_type_be(INTERVALOID)),
5185 : (val == DTK_WEEK) ? errdetail("Months usually have fractional weeks.") : 0));
5186 : }
5187 :
5188 0 : if (itm2interval(tm, result) != 0)
5189 0 : ereport(ERROR,
5190 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5191 : errmsg("interval out of range")));
5192 : }
5193 : else
5194 : {
5195 6 : ereport(ERROR,
5196 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5197 : errmsg("unit \"%s\" not recognized for type %s",
5198 : lowunits, format_type_be(INTERVALOID))));
5199 : }
5200 :
5201 0 : PG_RETURN_INTERVAL_P(result);
5202 : }
5203 :
5204 : /* isoweek2j()
5205 : *
5206 : * Return the Julian day which corresponds to the first day (Monday) of the given ISO 8601 year and week.
5207 : * Julian days are used to convert between ISO week dates and Gregorian dates.
5208 : *
5209 : * XXX: This function has integer overflow hazards, but restructuring it to
5210 : * work with the soft-error handling that its callers do is likely more
5211 : * trouble than it's worth.
5212 : */
5213 : int
5214 1590 : isoweek2j(int year, int week)
5215 : {
5216 : int day0,
5217 : day4;
5218 :
5219 : /* fourth day of current year */
5220 1590 : day4 = date2j(year, 1, 4);
5221 :
5222 : /* day0 == offset to first day of week (Monday) */
5223 1590 : day0 = j2day(day4 - 1);
5224 :
5225 1590 : return ((week - 1) * 7) + (day4 - day0);
5226 : }
5227 :
5228 : /* isoweek2date()
5229 : * Convert ISO week of year number to date.
5230 : * The year field must be specified with the ISO year!
5231 : * karel 2000/08/07
5232 : */
5233 : void
5234 36 : isoweek2date(int woy, int *year, int *mon, int *mday)
5235 : {
5236 36 : j2date(isoweek2j(*year, woy), year, mon, mday);
5237 36 : }
5238 :
5239 : /* isoweekdate2date()
5240 : *
5241 : * Convert an ISO 8601 week date (ISO year, ISO week) into a Gregorian date.
5242 : * Gregorian day of week sent so weekday strings can be supplied.
5243 : * Populates year, mon, and mday with the correct Gregorian values.
5244 : * year must be passed in as the ISO year.
5245 : */
5246 : void
5247 24 : isoweekdate2date(int isoweek, int wday, int *year, int *mon, int *mday)
5248 : {
5249 : int jday;
5250 :
5251 24 : jday = isoweek2j(*year, isoweek);
5252 : /* convert Gregorian week start (Sunday=1) to ISO week start (Monday=1) */
5253 24 : if (wday > 1)
5254 0 : jday += wday - 2;
5255 : else
5256 24 : jday += 6;
5257 24 : j2date(jday, year, mon, mday);
5258 24 : }
5259 :
5260 : /* date2isoweek()
5261 : *
5262 : * Returns ISO week number of year.
5263 : */
5264 : int
5265 2424 : date2isoweek(int year, int mon, int mday)
5266 : {
5267 : float8 result;
5268 : int day0,
5269 : day4,
5270 : dayn;
5271 :
5272 : /* current day */
5273 2424 : dayn = date2j(year, mon, mday);
5274 :
5275 : /* fourth day of current year */
5276 2424 : day4 = date2j(year, 1, 4);
5277 :
5278 : /* day0 == offset to first day of week (Monday) */
5279 2424 : day0 = j2day(day4 - 1);
5280 :
5281 : /*
5282 : * We need the first week containing a Thursday, otherwise this day falls
5283 : * into the previous year for purposes of counting weeks
5284 : */
5285 2424 : if (dayn < day4 - day0)
5286 : {
5287 36 : day4 = date2j(year - 1, 1, 4);
5288 :
5289 : /* day0 == offset to first day of week (Monday) */
5290 36 : day0 = j2day(day4 - 1);
5291 : }
5292 :
5293 2424 : result = (dayn - (day4 - day0)) / 7 + 1;
5294 :
5295 : /*
5296 : * Sometimes the last few days in a year will fall into the first week of
5297 : * the next year, so check for this.
5298 : */
5299 2424 : if (result >= 52)
5300 : {
5301 270 : day4 = date2j(year + 1, 1, 4);
5302 :
5303 : /* day0 == offset to first day of week (Monday) */
5304 270 : day0 = j2day(day4 - 1);
5305 :
5306 270 : if (dayn >= day4 - day0)
5307 162 : result = (dayn - (day4 - day0)) / 7 + 1;
5308 : }
5309 :
5310 2424 : return (int) result;
5311 : }
5312 :
5313 :
5314 : /* date2isoyear()
5315 : *
5316 : * Returns ISO 8601 year number.
5317 : * Note: zero or negative results follow the year-zero-exists convention.
5318 : */
5319 : int
5320 14586 : date2isoyear(int year, int mon, int mday)
5321 : {
5322 : float8 result;
5323 : int day0,
5324 : day4,
5325 : dayn;
5326 :
5327 : /* current day */
5328 14586 : dayn = date2j(year, mon, mday);
5329 :
5330 : /* fourth day of current year */
5331 14586 : day4 = date2j(year, 1, 4);
5332 :
5333 : /* day0 == offset to first day of week (Monday) */
5334 14586 : day0 = j2day(day4 - 1);
5335 :
5336 : /*
5337 : * We need the first week containing a Thursday, otherwise this day falls
5338 : * into the previous year for purposes of counting weeks
5339 : */
5340 14586 : if (dayn < day4 - day0)
5341 : {
5342 228 : day4 = date2j(year - 1, 1, 4);
5343 :
5344 : /* day0 == offset to first day of week (Monday) */
5345 228 : day0 = j2day(day4 - 1);
5346 :
5347 228 : year--;
5348 : }
5349 :
5350 14586 : result = (dayn - (day4 - day0)) / 7 + 1;
5351 :
5352 : /*
5353 : * Sometimes the last few days in a year will fall into the first week of
5354 : * the next year, so check for this.
5355 : */
5356 14586 : if (result >= 52)
5357 : {
5358 1710 : day4 = date2j(year + 1, 1, 4);
5359 :
5360 : /* day0 == offset to first day of week (Monday) */
5361 1710 : day0 = j2day(day4 - 1);
5362 :
5363 1710 : if (dayn >= day4 - day0)
5364 1026 : year++;
5365 : }
5366 :
5367 14586 : return year;
5368 : }
5369 :
5370 :
5371 : /* date2isoyearday()
5372 : *
5373 : * Returns the ISO 8601 day-of-year, given a Gregorian year, month and day.
5374 : * Possible return values are 1 through 371 (364 in non-leap years).
5375 : */
5376 : int
5377 1524 : date2isoyearday(int year, int mon, int mday)
5378 : {
5379 1524 : return date2j(year, mon, mday) - isoweek2j(date2isoyear(year, mon, mday), 1) + 1;
5380 : }
5381 :
5382 : /*
5383 : * NonFiniteTimestampTzPart
5384 : *
5385 : * Used by timestamp_part and timestamptz_part when extracting from infinite
5386 : * timestamp[tz]. Returns +/-Infinity if that is the appropriate result,
5387 : * otherwise returns zero (which should be taken as meaning to return NULL).
5388 : *
5389 : * Errors thrown here for invalid units should exactly match those that
5390 : * would be thrown in the calling functions, else there will be unexpected
5391 : * discrepancies between finite- and infinite-input cases.
5392 : */
5393 : static float8
5394 612 : NonFiniteTimestampTzPart(int type, int unit, char *lowunits,
5395 : bool isNegative, bool isTz)
5396 : {
5397 612 : if ((type != UNITS) && (type != RESERV))
5398 0 : ereport(ERROR,
5399 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5400 : errmsg("unit \"%s\" not recognized for type %s",
5401 : lowunits,
5402 : format_type_be(isTz ? TIMESTAMPTZOID : TIMESTAMPOID))));
5403 :
5404 612 : switch (unit)
5405 : {
5406 : /* Oscillating units */
5407 396 : case DTK_MICROSEC:
5408 : case DTK_MILLISEC:
5409 : case DTK_SECOND:
5410 : case DTK_MINUTE:
5411 : case DTK_HOUR:
5412 : case DTK_DAY:
5413 : case DTK_MONTH:
5414 : case DTK_QUARTER:
5415 : case DTK_WEEK:
5416 : case DTK_DOW:
5417 : case DTK_ISODOW:
5418 : case DTK_DOY:
5419 : case DTK_TZ:
5420 : case DTK_TZ_MINUTE:
5421 : case DTK_TZ_HOUR:
5422 396 : return 0.0;
5423 :
5424 : /* Monotonically-increasing units */
5425 216 : case DTK_YEAR:
5426 : case DTK_DECADE:
5427 : case DTK_CENTURY:
5428 : case DTK_MILLENNIUM:
5429 : case DTK_JULIAN:
5430 : case DTK_ISOYEAR:
5431 : case DTK_EPOCH:
5432 216 : if (isNegative)
5433 108 : return -get_float8_infinity();
5434 : else
5435 108 : return get_float8_infinity();
5436 :
5437 0 : default:
5438 0 : ereport(ERROR,
5439 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5440 : errmsg("unit \"%s\" not supported for type %s",
5441 : lowunits,
5442 : format_type_be(isTz ? TIMESTAMPTZOID : TIMESTAMPOID))));
5443 : return 0.0; /* keep compiler quiet */
5444 : }
5445 : }
5446 :
5447 : /* timestamp_part() and extract_timestamp()
5448 : * Extract specified field from timestamp.
5449 : */
5450 : static Datum
5451 10722 : timestamp_part_common(PG_FUNCTION_ARGS, bool retnumeric)
5452 : {
5453 10722 : text *units = PG_GETARG_TEXT_PP(0);
5454 10722 : Timestamp timestamp = PG_GETARG_TIMESTAMP(1);
5455 : int64 intresult;
5456 : Timestamp epoch;
5457 : int type,
5458 : val;
5459 : char *lowunits;
5460 : fsec_t fsec;
5461 : struct pg_tm tt,
5462 10722 : *tm = &tt;
5463 :
5464 10722 : lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5465 10722 : VARSIZE_ANY_EXHDR(units),
5466 : false);
5467 :
5468 10722 : type = DecodeUnits(0, lowunits, &val);
5469 10722 : if (type == UNKNOWN_FIELD)
5470 3714 : type = DecodeSpecial(0, lowunits, &val);
5471 :
5472 10722 : if (TIMESTAMP_NOT_FINITE(timestamp))
5473 : {
5474 288 : double r = NonFiniteTimestampTzPart(type, val, lowunits,
5475 : TIMESTAMP_IS_NOBEGIN(timestamp),
5476 : false);
5477 :
5478 288 : if (r != 0.0)
5479 : {
5480 108 : if (retnumeric)
5481 : {
5482 24 : if (r < 0)
5483 12 : return DirectFunctionCall3(numeric_in,
5484 : CStringGetDatum("-Infinity"),
5485 : ObjectIdGetDatum(InvalidOid),
5486 : Int32GetDatum(-1));
5487 12 : else if (r > 0)
5488 12 : return DirectFunctionCall3(numeric_in,
5489 : CStringGetDatum("Infinity"),
5490 : ObjectIdGetDatum(InvalidOid),
5491 : Int32GetDatum(-1));
5492 : }
5493 : else
5494 84 : PG_RETURN_FLOAT8(r);
5495 : }
5496 : else
5497 180 : PG_RETURN_NULL();
5498 : }
5499 :
5500 10434 : if (type == UNITS)
5501 : {
5502 9564 : if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
5503 0 : ereport(ERROR,
5504 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5505 : errmsg("timestamp out of range")));
5506 :
5507 9564 : switch (val)
5508 : {
5509 756 : case DTK_MICROSEC:
5510 756 : intresult = tm->tm_sec * INT64CONST(1000000) + fsec;
5511 756 : break;
5512 :
5513 756 : case DTK_MILLISEC:
5514 756 : if (retnumeric)
5515 : /*---
5516 : * tm->tm_sec * 1000 + fsec / 1000
5517 : * = (tm->tm_sec * 1'000'000 + fsec) / 1000
5518 : */
5519 378 : PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 3));
5520 : else
5521 378 : PG_RETURN_FLOAT8(tm->tm_sec * 1000.0 + fsec / 1000.0);
5522 : break;
5523 :
5524 756 : case DTK_SECOND:
5525 756 : if (retnumeric)
5526 : /*---
5527 : * tm->tm_sec + fsec / 1'000'000
5528 : * = (tm->tm_sec * 1'000'000 + fsec) / 1'000'000
5529 : */
5530 378 : PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 6));
5531 : else
5532 378 : PG_RETURN_FLOAT8(tm->tm_sec + fsec / 1000000.0);
5533 : break;
5534 :
5535 378 : case DTK_MINUTE:
5536 378 : intresult = tm->tm_min;
5537 378 : break;
5538 :
5539 378 : case DTK_HOUR:
5540 378 : intresult = tm->tm_hour;
5541 378 : break;
5542 :
5543 474 : case DTK_DAY:
5544 474 : intresult = tm->tm_mday;
5545 474 : break;
5546 :
5547 474 : case DTK_MONTH:
5548 474 : intresult = tm->tm_mon;
5549 474 : break;
5550 :
5551 474 : case DTK_QUARTER:
5552 474 : intresult = (tm->tm_mon - 1) / 3 + 1;
5553 474 : break;
5554 :
5555 474 : case DTK_WEEK:
5556 474 : intresult = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
5557 474 : break;
5558 :
5559 474 : case DTK_YEAR:
5560 474 : if (tm->tm_year > 0)
5561 462 : intresult = tm->tm_year;
5562 : else
5563 : /* there is no year 0, just 1 BC and 1 AD */
5564 12 : intresult = tm->tm_year - 1;
5565 474 : break;
5566 :
5567 474 : case DTK_DECADE:
5568 :
5569 : /*
5570 : * what is a decade wrt dates? let us assume that decade 199
5571 : * is 1990 thru 1999... decade 0 starts on year 1 BC, and -1
5572 : * is 11 BC thru 2 BC...
5573 : */
5574 474 : if (tm->tm_year >= 0)
5575 462 : intresult = tm->tm_year / 10;
5576 : else
5577 12 : intresult = -((8 - (tm->tm_year - 1)) / 10);
5578 474 : break;
5579 :
5580 474 : case DTK_CENTURY:
5581 :
5582 : /* ----
5583 : * centuries AD, c>0: year in [ (c-1)* 100 + 1 : c*100 ]
5584 : * centuries BC, c<0: year in [ c*100 : (c+1) * 100 - 1]
5585 : * there is no number 0 century.
5586 : * ----
5587 : */
5588 474 : if (tm->tm_year > 0)
5589 462 : intresult = (tm->tm_year + 99) / 100;
5590 : else
5591 : /* caution: C division may have negative remainder */
5592 12 : intresult = -((99 - (tm->tm_year - 1)) / 100);
5593 474 : break;
5594 :
5595 474 : case DTK_MILLENNIUM:
5596 : /* see comments above. */
5597 474 : if (tm->tm_year > 0)
5598 462 : intresult = (tm->tm_year + 999) / 1000;
5599 : else
5600 12 : intresult = -((999 - (tm->tm_year - 1)) / 1000);
5601 474 : break;
5602 :
5603 852 : case DTK_JULIAN:
5604 852 : if (retnumeric)
5605 378 : PG_RETURN_NUMERIC(numeric_add_opt_error(int64_to_numeric(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday)),
5606 : numeric_div_opt_error(int64_to_numeric(((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) + tm->tm_sec) * INT64CONST(1000000) + fsec),
5607 : int64_to_numeric(SECS_PER_DAY * INT64CONST(1000000)),
5608 : NULL),
5609 : NULL));
5610 : else
5611 474 : PG_RETURN_FLOAT8(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday) +
5612 : ((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) +
5613 : tm->tm_sec + (fsec / 1000000.0)) / (double) SECS_PER_DAY);
5614 : break;
5615 :
5616 474 : case DTK_ISOYEAR:
5617 474 : intresult = date2isoyear(tm->tm_year, tm->tm_mon, tm->tm_mday);
5618 : /* Adjust BC years */
5619 474 : if (intresult <= 0)
5620 12 : intresult -= 1;
5621 474 : break;
5622 :
5623 948 : case DTK_DOW:
5624 : case DTK_ISODOW:
5625 948 : intresult = j2day(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday));
5626 948 : if (val == DTK_ISODOW && intresult == 0)
5627 30 : intresult = 7;
5628 948 : break;
5629 :
5630 474 : case DTK_DOY:
5631 474 : intresult = (date2j(tm->tm_year, tm->tm_mon, tm->tm_mday)
5632 474 : - date2j(tm->tm_year, 1, 1) + 1);
5633 474 : break;
5634 :
5635 0 : case DTK_TZ:
5636 : case DTK_TZ_MINUTE:
5637 : case DTK_TZ_HOUR:
5638 : default:
5639 0 : ereport(ERROR,
5640 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5641 : errmsg("unit \"%s\" not supported for type %s",
5642 : lowunits, format_type_be(TIMESTAMPOID))));
5643 : intresult = 0;
5644 : }
5645 : }
5646 870 : else if (type == RESERV)
5647 : {
5648 870 : switch (val)
5649 : {
5650 870 : case DTK_EPOCH:
5651 870 : epoch = SetEpochTimestamp();
5652 : /* (timestamp - epoch) / 1000000 */
5653 870 : if (retnumeric)
5654 : {
5655 : Numeric result;
5656 :
5657 390 : if (timestamp < (PG_INT64_MAX + epoch))
5658 384 : result = int64_div_fast_to_numeric(timestamp - epoch, 6);
5659 : else
5660 : {
5661 6 : result = numeric_div_opt_error(numeric_sub_opt_error(int64_to_numeric(timestamp),
5662 : int64_to_numeric(epoch),
5663 : NULL),
5664 : int64_to_numeric(1000000),
5665 : NULL);
5666 6 : result = DatumGetNumeric(DirectFunctionCall2(numeric_round,
5667 : NumericGetDatum(result),
5668 : Int32GetDatum(6)));
5669 : }
5670 390 : PG_RETURN_NUMERIC(result);
5671 : }
5672 : else
5673 : {
5674 : float8 result;
5675 :
5676 : /* try to avoid precision loss in subtraction */
5677 480 : if (timestamp < (PG_INT64_MAX + epoch))
5678 474 : result = (timestamp - epoch) / 1000000.0;
5679 : else
5680 6 : result = ((float8) timestamp - epoch) / 1000000.0;
5681 480 : PG_RETURN_FLOAT8(result);
5682 : }
5683 : break;
5684 :
5685 0 : default:
5686 0 : ereport(ERROR,
5687 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5688 : errmsg("unit \"%s\" not supported for type %s",
5689 : lowunits, format_type_be(TIMESTAMPOID))));
5690 : intresult = 0;
5691 : }
5692 : }
5693 : else
5694 : {
5695 0 : ereport(ERROR,
5696 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5697 : errmsg("unit \"%s\" not recognized for type %s",
5698 : lowunits, format_type_be(TIMESTAMPOID))));
5699 : intresult = 0;
5700 : }
5701 :
5702 7200 : if (retnumeric)
5703 378 : PG_RETURN_NUMERIC(int64_to_numeric(intresult));
5704 : else
5705 6822 : PG_RETURN_FLOAT8(intresult);
5706 : }
5707 :
5708 : Datum
5709 8760 : timestamp_part(PG_FUNCTION_ARGS)
5710 : {
5711 8760 : return timestamp_part_common(fcinfo, false);
5712 : }
5713 :
5714 : Datum
5715 1962 : extract_timestamp(PG_FUNCTION_ARGS)
5716 : {
5717 1962 : return timestamp_part_common(fcinfo, true);
5718 : }
5719 :
5720 : /* timestamptz_part() and extract_timestamptz()
5721 : * Extract specified field from timestamp with time zone.
5722 : */
5723 : static Datum
5724 37472 : timestamptz_part_common(PG_FUNCTION_ARGS, bool retnumeric)
5725 : {
5726 37472 : text *units = PG_GETARG_TEXT_PP(0);
5727 37472 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(1);
5728 : int64 intresult;
5729 : Timestamp epoch;
5730 : int tz;
5731 : int type,
5732 : val;
5733 : char *lowunits;
5734 : fsec_t fsec;
5735 : struct pg_tm tt,
5736 37472 : *tm = &tt;
5737 :
5738 37472 : lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5739 37472 : VARSIZE_ANY_EXHDR(units),
5740 : false);
5741 :
5742 37472 : type = DecodeUnits(0, lowunits, &val);
5743 37472 : if (type == UNKNOWN_FIELD)
5744 29924 : type = DecodeSpecial(0, lowunits, &val);
5745 :
5746 37472 : if (TIMESTAMP_NOT_FINITE(timestamp))
5747 : {
5748 324 : double r = NonFiniteTimestampTzPart(type, val, lowunits,
5749 : TIMESTAMP_IS_NOBEGIN(timestamp),
5750 : true);
5751 :
5752 324 : if (r != 0.0)
5753 : {
5754 108 : if (retnumeric)
5755 : {
5756 24 : if (r < 0)
5757 12 : return DirectFunctionCall3(numeric_in,
5758 : CStringGetDatum("-Infinity"),
5759 : ObjectIdGetDatum(InvalidOid),
5760 : Int32GetDatum(-1));
5761 12 : else if (r > 0)
5762 12 : return DirectFunctionCall3(numeric_in,
5763 : CStringGetDatum("Infinity"),
5764 : ObjectIdGetDatum(InvalidOid),
5765 : Int32GetDatum(-1));
5766 : }
5767 : else
5768 84 : PG_RETURN_FLOAT8(r);
5769 : }
5770 : else
5771 216 : PG_RETURN_NULL();
5772 : }
5773 :
5774 37148 : if (type == UNITS)
5775 : {
5776 9684 : if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, NULL) != 0)
5777 0 : ereport(ERROR,
5778 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5779 : errmsg("timestamp out of range")));
5780 :
5781 9684 : switch (val)
5782 : {
5783 384 : case DTK_TZ:
5784 384 : intresult = -tz;
5785 384 : break;
5786 :
5787 384 : case DTK_TZ_MINUTE:
5788 384 : intresult = (-tz / SECS_PER_MINUTE) % MINS_PER_HOUR;
5789 384 : break;
5790 :
5791 384 : case DTK_TZ_HOUR:
5792 384 : intresult = -tz / SECS_PER_HOUR;
5793 384 : break;
5794 :
5795 768 : case DTK_MICROSEC:
5796 768 : intresult = tm->tm_sec * INT64CONST(1000000) + fsec;
5797 768 : break;
5798 :
5799 768 : case DTK_MILLISEC:
5800 768 : if (retnumeric)
5801 : /*---
5802 : * tm->tm_sec * 1000 + fsec / 1000
5803 : * = (tm->tm_sec * 1'000'000 + fsec) / 1000
5804 : */
5805 384 : PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 3));
5806 : else
5807 384 : PG_RETURN_FLOAT8(tm->tm_sec * 1000.0 + fsec / 1000.0);
5808 : break;
5809 :
5810 768 : case DTK_SECOND:
5811 768 : if (retnumeric)
5812 : /*---
5813 : * tm->tm_sec + fsec / 1'000'000
5814 : * = (tm->tm_sec * 1'000'000 + fsec) / 1'000'000
5815 : */
5816 384 : PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 6));
5817 : else
5818 384 : PG_RETURN_FLOAT8(tm->tm_sec + fsec / 1000000.0);
5819 : break;
5820 :
5821 384 : case DTK_MINUTE:
5822 384 : intresult = tm->tm_min;
5823 384 : break;
5824 :
5825 384 : case DTK_HOUR:
5826 384 : intresult = tm->tm_hour;
5827 384 : break;
5828 :
5829 384 : case DTK_DAY:
5830 384 : intresult = tm->tm_mday;
5831 384 : break;
5832 :
5833 384 : case DTK_MONTH:
5834 384 : intresult = tm->tm_mon;
5835 384 : break;
5836 :
5837 384 : case DTK_QUARTER:
5838 384 : intresult = (tm->tm_mon - 1) / 3 + 1;
5839 384 : break;
5840 :
5841 384 : case DTK_WEEK:
5842 384 : intresult = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
5843 384 : break;
5844 :
5845 408 : case DTK_YEAR:
5846 408 : if (tm->tm_year > 0)
5847 402 : intresult = tm->tm_year;
5848 : else
5849 : /* there is no year 0, just 1 BC and 1 AD */
5850 6 : intresult = tm->tm_year - 1;
5851 408 : break;
5852 :
5853 384 : case DTK_DECADE:
5854 : /* see comments in timestamp_part */
5855 384 : if (tm->tm_year > 0)
5856 378 : intresult = tm->tm_year / 10;
5857 : else
5858 6 : intresult = -((8 - (tm->tm_year - 1)) / 10);
5859 384 : break;
5860 :
5861 384 : case DTK_CENTURY:
5862 : /* see comments in timestamp_part */
5863 384 : if (tm->tm_year > 0)
5864 378 : intresult = (tm->tm_year + 99) / 100;
5865 : else
5866 6 : intresult = -((99 - (tm->tm_year - 1)) / 100);
5867 384 : break;
5868 :
5869 384 : case DTK_MILLENNIUM:
5870 : /* see comments in timestamp_part */
5871 384 : if (tm->tm_year > 0)
5872 378 : intresult = (tm->tm_year + 999) / 1000;
5873 : else
5874 6 : intresult = -((999 - (tm->tm_year - 1)) / 1000);
5875 384 : break;
5876 :
5877 768 : case DTK_JULIAN:
5878 768 : if (retnumeric)
5879 384 : PG_RETURN_NUMERIC(numeric_add_opt_error(int64_to_numeric(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday)),
5880 : numeric_div_opt_error(int64_to_numeric(((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) + tm->tm_sec) * INT64CONST(1000000) + fsec),
5881 : int64_to_numeric(SECS_PER_DAY * INT64CONST(1000000)),
5882 : NULL),
5883 : NULL));
5884 : else
5885 384 : PG_RETURN_FLOAT8(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday) +
5886 : ((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) +
5887 : tm->tm_sec + (fsec / 1000000.0)) / (double) SECS_PER_DAY);
5888 : break;
5889 :
5890 384 : case DTK_ISOYEAR:
5891 384 : intresult = date2isoyear(tm->tm_year, tm->tm_mon, tm->tm_mday);
5892 : /* Adjust BC years */
5893 384 : if (intresult <= 0)
5894 6 : intresult -= 1;
5895 384 : break;
5896 :
5897 828 : case DTK_DOW:
5898 : case DTK_ISODOW:
5899 828 : intresult = j2day(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday));
5900 828 : if (val == DTK_ISODOW && intresult == 0)
5901 18 : intresult = 7;
5902 828 : break;
5903 :
5904 384 : case DTK_DOY:
5905 384 : intresult = (date2j(tm->tm_year, tm->tm_mon, tm->tm_mday)
5906 384 : - date2j(tm->tm_year, 1, 1) + 1);
5907 384 : break;
5908 :
5909 0 : default:
5910 0 : ereport(ERROR,
5911 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5912 : errmsg("unit \"%s\" not supported for type %s",
5913 : lowunits, format_type_be(TIMESTAMPTZOID))));
5914 : intresult = 0;
5915 : }
5916 : }
5917 27464 : else if (type == RESERV)
5918 : {
5919 27464 : switch (val)
5920 : {
5921 27464 : case DTK_EPOCH:
5922 27464 : epoch = SetEpochTimestamp();
5923 : /* (timestamp - epoch) / 1000000 */
5924 27464 : if (retnumeric)
5925 : {
5926 : Numeric result;
5927 :
5928 27074 : if (timestamp < (PG_INT64_MAX + epoch))
5929 27068 : result = int64_div_fast_to_numeric(timestamp - epoch, 6);
5930 : else
5931 : {
5932 6 : result = numeric_div_opt_error(numeric_sub_opt_error(int64_to_numeric(timestamp),
5933 : int64_to_numeric(epoch),
5934 : NULL),
5935 : int64_to_numeric(1000000),
5936 : NULL);
5937 6 : result = DatumGetNumeric(DirectFunctionCall2(numeric_round,
5938 : NumericGetDatum(result),
5939 : Int32GetDatum(6)));
5940 : }
5941 27074 : PG_RETURN_NUMERIC(result);
5942 : }
5943 : else
5944 : {
5945 : float8 result;
5946 :
5947 : /* try to avoid precision loss in subtraction */
5948 390 : if (timestamp < (PG_INT64_MAX + epoch))
5949 384 : result = (timestamp - epoch) / 1000000.0;
5950 : else
5951 6 : result = ((float8) timestamp - epoch) / 1000000.0;
5952 390 : PG_RETURN_FLOAT8(result);
5953 : }
5954 : break;
5955 :
5956 0 : default:
5957 0 : ereport(ERROR,
5958 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5959 : errmsg("unit \"%s\" not supported for type %s",
5960 : lowunits, format_type_be(TIMESTAMPTZOID))));
5961 : intresult = 0;
5962 : }
5963 : }
5964 : else
5965 : {
5966 0 : ereport(ERROR,
5967 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5968 : errmsg("unit \"%s\" not recognized for type %s",
5969 : lowunits, format_type_be(TIMESTAMPTZOID))));
5970 :
5971 : intresult = 0;
5972 : }
5973 :
5974 7380 : if (retnumeric)
5975 468 : PG_RETURN_NUMERIC(int64_to_numeric(intresult));
5976 : else
5977 6912 : PG_RETURN_FLOAT8(intresult);
5978 : }
5979 :
5980 : Datum
5981 8718 : timestamptz_part(PG_FUNCTION_ARGS)
5982 : {
5983 8718 : return timestamptz_part_common(fcinfo, false);
5984 : }
5985 :
5986 : Datum
5987 28754 : extract_timestamptz(PG_FUNCTION_ARGS)
5988 : {
5989 28754 : return timestamptz_part_common(fcinfo, true);
5990 : }
5991 :
5992 : /*
5993 : * NonFiniteIntervalPart
5994 : *
5995 : * Used by interval_part when extracting from infinite interval. Returns
5996 : * +/-Infinity if that is the appropriate result, otherwise returns zero
5997 : * (which should be taken as meaning to return NULL).
5998 : *
5999 : * Errors thrown here for invalid units should exactly match those that
6000 : * would be thrown in the calling functions, else there will be unexpected
6001 : * discrepancies between finite- and infinite-input cases.
6002 : */
6003 : static float8
6004 384 : NonFiniteIntervalPart(int type, int unit, char *lowunits, bool isNegative)
6005 : {
6006 384 : if ((type != UNITS) && (type != RESERV))
6007 0 : ereport(ERROR,
6008 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6009 : errmsg("unit \"%s\" not recognized for type %s",
6010 : lowunits, format_type_be(INTERVALOID))));
6011 :
6012 384 : switch (unit)
6013 : {
6014 : /* Oscillating units */
6015 204 : case DTK_MICROSEC:
6016 : case DTK_MILLISEC:
6017 : case DTK_SECOND:
6018 : case DTK_MINUTE:
6019 : case DTK_WEEK:
6020 : case DTK_MONTH:
6021 : case DTK_QUARTER:
6022 204 : return 0.0;
6023 :
6024 : /* Monotonically-increasing units */
6025 180 : case DTK_HOUR:
6026 : case DTK_DAY:
6027 : case DTK_YEAR:
6028 : case DTK_DECADE:
6029 : case DTK_CENTURY:
6030 : case DTK_MILLENNIUM:
6031 : case DTK_EPOCH:
6032 180 : if (isNegative)
6033 90 : return -get_float8_infinity();
6034 : else
6035 90 : return get_float8_infinity();
6036 :
6037 0 : default:
6038 0 : ereport(ERROR,
6039 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
6040 : errmsg("unit \"%s\" not supported for type %s",
6041 : lowunits, format_type_be(INTERVALOID))));
6042 : return 0.0; /* keep compiler quiet */
6043 : }
6044 : }
6045 :
6046 : /* interval_part() and extract_interval()
6047 : * Extract specified field from interval.
6048 : */
6049 : static Datum
6050 2376 : interval_part_common(PG_FUNCTION_ARGS, bool retnumeric)
6051 : {
6052 2376 : text *units = PG_GETARG_TEXT_PP(0);
6053 2376 : Interval *interval = PG_GETARG_INTERVAL_P(1);
6054 : int64 intresult;
6055 : int type,
6056 : val;
6057 : char *lowunits;
6058 : struct pg_itm tt,
6059 2376 : *tm = &tt;
6060 :
6061 2376 : lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
6062 2376 : VARSIZE_ANY_EXHDR(units),
6063 : false);
6064 :
6065 2376 : type = DecodeUnits(0, lowunits, &val);
6066 2376 : if (type == UNKNOWN_FIELD)
6067 234 : type = DecodeSpecial(0, lowunits, &val);
6068 :
6069 2376 : if (INTERVAL_NOT_FINITE(interval))
6070 : {
6071 384 : double r = NonFiniteIntervalPart(type, val, lowunits,
6072 384 : INTERVAL_IS_NOBEGIN(interval));
6073 :
6074 384 : if (r != 0.0)
6075 : {
6076 180 : if (retnumeric)
6077 : {
6078 168 : if (r < 0)
6079 84 : return DirectFunctionCall3(numeric_in,
6080 : CStringGetDatum("-Infinity"),
6081 : ObjectIdGetDatum(InvalidOid),
6082 : Int32GetDatum(-1));
6083 84 : else if (r > 0)
6084 84 : return DirectFunctionCall3(numeric_in,
6085 : CStringGetDatum("Infinity"),
6086 : ObjectIdGetDatum(InvalidOid),
6087 : Int32GetDatum(-1));
6088 : }
6089 : else
6090 12 : PG_RETURN_FLOAT8(r);
6091 : }
6092 : else
6093 204 : PG_RETURN_NULL();
6094 : }
6095 :
6096 1992 : if (type == UNITS)
6097 : {
6098 1794 : interval2itm(*interval, tm);
6099 1794 : switch (val)
6100 : {
6101 180 : case DTK_MICROSEC:
6102 180 : intresult = tm->tm_sec * INT64CONST(1000000) + tm->tm_usec;
6103 180 : break;
6104 :
6105 180 : case DTK_MILLISEC:
6106 180 : if (retnumeric)
6107 : /*---
6108 : * tm->tm_sec * 1000 + fsec / 1000
6109 : * = (tm->tm_sec * 1'000'000 + fsec) / 1000
6110 : */
6111 120 : PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + tm->tm_usec, 3));
6112 : else
6113 60 : PG_RETURN_FLOAT8(tm->tm_sec * 1000.0 + tm->tm_usec / 1000.0);
6114 : break;
6115 :
6116 180 : case DTK_SECOND:
6117 180 : if (retnumeric)
6118 : /*---
6119 : * tm->tm_sec + fsec / 1'000'000
6120 : * = (tm->tm_sec * 1'000'000 + fsec) / 1'000'000
6121 : */
6122 120 : PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + tm->tm_usec, 6));
6123 : else
6124 60 : PG_RETURN_FLOAT8(tm->tm_sec + tm->tm_usec / 1000000.0);
6125 : break;
6126 :
6127 120 : case DTK_MINUTE:
6128 120 : intresult = tm->tm_min;
6129 120 : break;
6130 :
6131 120 : case DTK_HOUR:
6132 120 : intresult = tm->tm_hour;
6133 120 : break;
6134 :
6135 120 : case DTK_DAY:
6136 120 : intresult = tm->tm_mday;
6137 120 : break;
6138 :
6139 120 : case DTK_WEEK:
6140 120 : intresult = tm->tm_mday / 7;
6141 120 : break;
6142 :
6143 120 : case DTK_MONTH:
6144 120 : intresult = tm->tm_mon;
6145 120 : break;
6146 :
6147 120 : case DTK_QUARTER:
6148 :
6149 : /*
6150 : * We want to maintain the rule that a field extracted from a
6151 : * negative interval is the negative of the field's value for
6152 : * the sign-reversed interval. The broken-down tm_year and
6153 : * tm_mon aren't very helpful for that, so work from
6154 : * interval->month.
6155 : */
6156 120 : if (interval->month >= 0)
6157 90 : intresult = (tm->tm_mon / 3) + 1;
6158 : else
6159 30 : intresult = -(((-interval->month % MONTHS_PER_YEAR) / 3) + 1);
6160 120 : break;
6161 :
6162 120 : case DTK_YEAR:
6163 120 : intresult = tm->tm_year;
6164 120 : break;
6165 :
6166 144 : case DTK_DECADE:
6167 : /* caution: C division may have negative remainder */
6168 144 : intresult = tm->tm_year / 10;
6169 144 : break;
6170 :
6171 144 : case DTK_CENTURY:
6172 : /* caution: C division may have negative remainder */
6173 144 : intresult = tm->tm_year / 100;
6174 144 : break;
6175 :
6176 120 : case DTK_MILLENNIUM:
6177 : /* caution: C division may have negative remainder */
6178 120 : intresult = tm->tm_year / 1000;
6179 120 : break;
6180 :
6181 6 : default:
6182 6 : ereport(ERROR,
6183 : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
6184 : errmsg("unit \"%s\" not supported for type %s",
6185 : lowunits, format_type_be(INTERVALOID))));
6186 : intresult = 0;
6187 : }
6188 : }
6189 198 : else if (type == RESERV && val == DTK_EPOCH)
6190 : {
6191 192 : if (retnumeric)
6192 : {
6193 : Numeric result;
6194 : int64 secs_from_day_month;
6195 : int64 val;
6196 :
6197 : /*
6198 : * To do this calculation in integer arithmetic even though
6199 : * DAYS_PER_YEAR is fractional, multiply everything by 4 and then
6200 : * divide by 4 again at the end. This relies on DAYS_PER_YEAR
6201 : * being a multiple of 0.25 and on SECS_PER_DAY being a multiple
6202 : * of 4.
6203 : */
6204 132 : secs_from_day_month = ((int64) (4 * DAYS_PER_YEAR) * (interval->month / MONTHS_PER_YEAR) +
6205 132 : (int64) (4 * DAYS_PER_MONTH) * (interval->month % MONTHS_PER_YEAR) +
6206 132 : (int64) 4 * interval->day) * (SECS_PER_DAY / 4);
6207 :
6208 : /*---
6209 : * result = secs_from_day_month + interval->time / 1'000'000
6210 : * = (secs_from_day_month * 1'000'000 + interval->time) / 1'000'000
6211 : */
6212 :
6213 : /*
6214 : * Try the computation inside int64; if it overflows, do it in
6215 : * numeric (slower). This overflow happens around 10^9 days, so
6216 : * not common in practice.
6217 : */
6218 132 : if (!pg_mul_s64_overflow(secs_from_day_month, 1000000, &val) &&
6219 126 : !pg_add_s64_overflow(val, interval->time, &val))
6220 126 : result = int64_div_fast_to_numeric(val, 6);
6221 : else
6222 : result =
6223 6 : numeric_add_opt_error(int64_div_fast_to_numeric(interval->time, 6),
6224 : int64_to_numeric(secs_from_day_month),
6225 : NULL);
6226 :
6227 132 : PG_RETURN_NUMERIC(result);
6228 : }
6229 : else
6230 : {
6231 : float8 result;
6232 :
6233 60 : result = interval->time / 1000000.0;
6234 60 : result += ((double) DAYS_PER_YEAR * SECS_PER_DAY) * (interval->month / MONTHS_PER_YEAR);
6235 60 : result += ((double) DAYS_PER_MONTH * SECS_PER_DAY) * (interval->month % MONTHS_PER_YEAR);
6236 60 : result += ((double) SECS_PER_DAY) * interval->day;
6237 :
6238 60 : PG_RETURN_FLOAT8(result);
6239 : }
6240 : }
6241 : else
6242 : {
6243 6 : ereport(ERROR,
6244 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6245 : errmsg("unit \"%s\" not recognized for type %s",
6246 : lowunits, format_type_be(INTERVALOID))));
6247 : intresult = 0;
6248 : }
6249 :
6250 1428 : if (retnumeric)
6251 1368 : PG_RETURN_NUMERIC(int64_to_numeric(intresult));
6252 : else
6253 60 : PG_RETURN_FLOAT8(intresult);
6254 : }
6255 :
6256 : Datum
6257 288 : interval_part(PG_FUNCTION_ARGS)
6258 : {
6259 288 : return interval_part_common(fcinfo, false);
6260 : }
6261 :
6262 : Datum
6263 2088 : extract_interval(PG_FUNCTION_ARGS)
6264 : {
6265 2088 : return interval_part_common(fcinfo, true);
6266 : }
6267 :
6268 :
6269 : /* timestamp_zone()
6270 : * Encode timestamp type with specified time zone.
6271 : * This function is just timestamp2timestamptz() except instead of
6272 : * shifting to the global timezone, we shift to the specified timezone.
6273 : * This is different from the other AT TIME ZONE cases because instead
6274 : * of shifting _to_ a new time zone, it sets the time to _be_ the
6275 : * specified timezone.
6276 : */
6277 : Datum
6278 168 : timestamp_zone(PG_FUNCTION_ARGS)
6279 : {
6280 168 : text *zone = PG_GETARG_TEXT_PP(0);
6281 168 : Timestamp timestamp = PG_GETARG_TIMESTAMP(1);
6282 : TimestampTz result;
6283 : int tz;
6284 : char tzname[TZ_STRLEN_MAX + 1];
6285 : int type,
6286 : val;
6287 : pg_tz *tzp;
6288 : struct pg_tm tm;
6289 : fsec_t fsec;
6290 :
6291 168 : if (TIMESTAMP_NOT_FINITE(timestamp))
6292 0 : PG_RETURN_TIMESTAMPTZ(timestamp);
6293 :
6294 : /*
6295 : * Look up the requested timezone.
6296 : */
6297 168 : text_to_cstring_buffer(zone, tzname, sizeof(tzname));
6298 :
6299 168 : type = DecodeTimezoneName(tzname, &val, &tzp);
6300 :
6301 168 : if (type == TZNAME_FIXED_OFFSET)
6302 : {
6303 : /* fixed-offset abbreviation */
6304 0 : tz = val;
6305 0 : result = dt2local(timestamp, tz);
6306 : }
6307 168 : else if (type == TZNAME_DYNTZ)
6308 : {
6309 : /* dynamic-offset abbreviation, resolve using specified time */
6310 84 : if (timestamp2tm(timestamp, NULL, &tm, &fsec, NULL, tzp) != 0)
6311 0 : ereport(ERROR,
6312 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6313 : errmsg("timestamp out of range")));
6314 84 : tz = -DetermineTimeZoneAbbrevOffset(&tm, tzname, tzp);
6315 84 : result = dt2local(timestamp, tz);
6316 : }
6317 : else
6318 : {
6319 : /* full zone name, rotate to that zone */
6320 84 : if (timestamp2tm(timestamp, NULL, &tm, &fsec, NULL, tzp) != 0)
6321 0 : ereport(ERROR,
6322 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6323 : errmsg("timestamp out of range")));
6324 84 : tz = DetermineTimeZoneOffset(&tm, tzp);
6325 84 : if (tm2timestamp(&tm, fsec, &tz, &result) != 0)
6326 0 : ereport(ERROR,
6327 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6328 : errmsg("timestamp out of range")));
6329 : }
6330 :
6331 168 : if (!IS_VALID_TIMESTAMP(result))
6332 0 : ereport(ERROR,
6333 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6334 : errmsg("timestamp out of range")));
6335 :
6336 168 : PG_RETURN_TIMESTAMPTZ(result);
6337 : }
6338 :
6339 : /* timestamp_izone()
6340 : * Encode timestamp type with specified time interval as time zone.
6341 : */
6342 : Datum
6343 12 : timestamp_izone(PG_FUNCTION_ARGS)
6344 : {
6345 12 : Interval *zone = PG_GETARG_INTERVAL_P(0);
6346 12 : Timestamp timestamp = PG_GETARG_TIMESTAMP(1);
6347 : TimestampTz result;
6348 : int tz;
6349 :
6350 12 : if (TIMESTAMP_NOT_FINITE(timestamp))
6351 0 : PG_RETURN_TIMESTAMPTZ(timestamp);
6352 :
6353 12 : if (INTERVAL_NOT_FINITE(zone))
6354 12 : ereport(ERROR,
6355 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6356 : errmsg("interval time zone \"%s\" must be finite",
6357 : DatumGetCString(DirectFunctionCall1(interval_out,
6358 : PointerGetDatum(zone))))));
6359 :
6360 0 : if (zone->month != 0 || zone->day != 0)
6361 0 : ereport(ERROR,
6362 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6363 : errmsg("interval time zone \"%s\" must not include months or days",
6364 : DatumGetCString(DirectFunctionCall1(interval_out,
6365 : PointerGetDatum(zone))))));
6366 :
6367 0 : tz = zone->time / USECS_PER_SEC;
6368 :
6369 0 : result = dt2local(timestamp, tz);
6370 :
6371 0 : if (!IS_VALID_TIMESTAMP(result))
6372 0 : ereport(ERROR,
6373 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6374 : errmsg("timestamp out of range")));
6375 :
6376 0 : PG_RETURN_TIMESTAMPTZ(result);
6377 : } /* timestamp_izone() */
6378 :
6379 : /* TimestampTimestampTzRequiresRewrite()
6380 : *
6381 : * Returns false if the TimeZone GUC setting causes timestamp_timestamptz and
6382 : * timestamptz_timestamp to be no-ops, where the return value has the same
6383 : * bits as the argument. Since project convention is to assume a GUC changes
6384 : * no more often than STABLE functions change, the answer is valid that long.
6385 : */
6386 : bool
6387 18 : TimestampTimestampTzRequiresRewrite(void)
6388 : {
6389 : long offset;
6390 :
6391 18 : if (pg_get_timezone_offset(session_timezone, &offset) && offset == 0)
6392 12 : return false;
6393 6 : return true;
6394 : }
6395 :
6396 : /* timestamp_timestamptz()
6397 : * Convert local timestamp to timestamp at GMT
6398 : */
6399 : Datum
6400 222 : timestamp_timestamptz(PG_FUNCTION_ARGS)
6401 : {
6402 222 : Timestamp timestamp = PG_GETARG_TIMESTAMP(0);
6403 :
6404 222 : PG_RETURN_TIMESTAMPTZ(timestamp2timestamptz(timestamp));
6405 : }
6406 :
6407 : /*
6408 : * Convert timestamp to timestamp with time zone.
6409 : *
6410 : * On successful conversion, *overflow is set to zero if it's not NULL.
6411 : *
6412 : * If the timestamp is finite but out of the valid range for timestamptz, then:
6413 : * if overflow is NULL, we throw an out-of-range error.
6414 : * if overflow is not NULL, we store +1 or -1 there to indicate the sign
6415 : * of the overflow, and return the appropriate timestamptz infinity.
6416 : */
6417 : TimestampTz
6418 16140 : timestamp2timestamptz_opt_overflow(Timestamp timestamp, int *overflow)
6419 : {
6420 : TimestampTz result;
6421 : struct pg_tm tt,
6422 16140 : *tm = &tt;
6423 : fsec_t fsec;
6424 : int tz;
6425 :
6426 16140 : if (overflow)
6427 15906 : *overflow = 0;
6428 :
6429 16140 : if (TIMESTAMP_NOT_FINITE(timestamp))
6430 0 : return timestamp;
6431 :
6432 : /* We don't expect this to fail, but check it pro forma */
6433 16140 : if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) == 0)
6434 : {
6435 16140 : tz = DetermineTimeZoneOffset(tm, session_timezone);
6436 :
6437 16140 : result = dt2local(timestamp, -tz);
6438 :
6439 16140 : if (IS_VALID_TIMESTAMP(result))
6440 : {
6441 16128 : return result;
6442 : }
6443 12 : else if (overflow)
6444 : {
6445 12 : if (result < MIN_TIMESTAMP)
6446 : {
6447 12 : *overflow = -1;
6448 12 : TIMESTAMP_NOBEGIN(result);
6449 : }
6450 : else
6451 : {
6452 0 : *overflow = 1;
6453 0 : TIMESTAMP_NOEND(result);
6454 : }
6455 12 : return result;
6456 : }
6457 : }
6458 :
6459 0 : ereport(ERROR,
6460 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6461 : errmsg("timestamp out of range")));
6462 :
6463 : return 0;
6464 : }
6465 :
6466 : /*
6467 : * Promote timestamp to timestamptz, throwing error for overflow.
6468 : */
6469 : static TimestampTz
6470 234 : timestamp2timestamptz(Timestamp timestamp)
6471 : {
6472 234 : return timestamp2timestamptz_opt_overflow(timestamp, NULL);
6473 : }
6474 :
6475 : /* timestamptz_timestamp()
6476 : * Convert timestamp at GMT to local timestamp
6477 : */
6478 : Datum
6479 62104 : timestamptz_timestamp(PG_FUNCTION_ARGS)
6480 : {
6481 62104 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(0);
6482 :
6483 62104 : PG_RETURN_TIMESTAMP(timestamptz2timestamp(timestamp));
6484 : }
6485 :
6486 : static Timestamp
6487 62170 : timestamptz2timestamp(TimestampTz timestamp)
6488 : {
6489 : Timestamp result;
6490 : struct pg_tm tt,
6491 62170 : *tm = &tt;
6492 : fsec_t fsec;
6493 : int tz;
6494 :
6495 62170 : if (TIMESTAMP_NOT_FINITE(timestamp))
6496 0 : result = timestamp;
6497 : else
6498 : {
6499 62170 : if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, NULL) != 0)
6500 0 : ereport(ERROR,
6501 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6502 : errmsg("timestamp out of range")));
6503 62170 : if (tm2timestamp(tm, fsec, NULL, &result) != 0)
6504 0 : ereport(ERROR,
6505 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6506 : errmsg("timestamp out of range")));
6507 : }
6508 62170 : return result;
6509 : }
6510 :
6511 : /* timestamptz_zone()
6512 : * Evaluate timestamp with time zone type at the specified time zone.
6513 : * Returns a timestamp without time zone.
6514 : */
6515 : Datum
6516 234 : timestamptz_zone(PG_FUNCTION_ARGS)
6517 : {
6518 234 : text *zone = PG_GETARG_TEXT_PP(0);
6519 234 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(1);
6520 : Timestamp result;
6521 : int tz;
6522 : char tzname[TZ_STRLEN_MAX + 1];
6523 : int type,
6524 : val;
6525 : pg_tz *tzp;
6526 :
6527 234 : if (TIMESTAMP_NOT_FINITE(timestamp))
6528 24 : PG_RETURN_TIMESTAMP(timestamp);
6529 :
6530 : /*
6531 : * Look up the requested timezone.
6532 : */
6533 210 : text_to_cstring_buffer(zone, tzname, sizeof(tzname));
6534 :
6535 210 : type = DecodeTimezoneName(tzname, &val, &tzp);
6536 :
6537 204 : if (type == TZNAME_FIXED_OFFSET)
6538 : {
6539 : /* fixed-offset abbreviation */
6540 48 : tz = -val;
6541 48 : result = dt2local(timestamp, tz);
6542 : }
6543 156 : else if (type == TZNAME_DYNTZ)
6544 : {
6545 : /* dynamic-offset abbreviation, resolve using specified time */
6546 : int isdst;
6547 :
6548 72 : tz = DetermineTimeZoneAbbrevOffsetTS(timestamp, tzname, tzp, &isdst);
6549 72 : result = dt2local(timestamp, tz);
6550 : }
6551 : else
6552 : {
6553 : /* full zone name, rotate from that zone */
6554 : struct pg_tm tm;
6555 : fsec_t fsec;
6556 :
6557 84 : if (timestamp2tm(timestamp, &tz, &tm, &fsec, NULL, tzp) != 0)
6558 0 : ereport(ERROR,
6559 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6560 : errmsg("timestamp out of range")));
6561 84 : if (tm2timestamp(&tm, fsec, NULL, &result) != 0)
6562 0 : ereport(ERROR,
6563 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6564 : errmsg("timestamp out of range")));
6565 : }
6566 :
6567 204 : if (!IS_VALID_TIMESTAMP(result))
6568 0 : ereport(ERROR,
6569 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6570 : errmsg("timestamp out of range")));
6571 :
6572 204 : PG_RETURN_TIMESTAMP(result);
6573 : }
6574 :
6575 : /* timestamptz_izone()
6576 : * Encode timestamp with time zone type with specified time interval as time zone.
6577 : * Returns a timestamp without time zone.
6578 : */
6579 : Datum
6580 12 : timestamptz_izone(PG_FUNCTION_ARGS)
6581 : {
6582 12 : Interval *zone = PG_GETARG_INTERVAL_P(0);
6583 12 : TimestampTz timestamp = PG_GETARG_TIMESTAMPTZ(1);
6584 : Timestamp result;
6585 : int tz;
6586 :
6587 12 : if (TIMESTAMP_NOT_FINITE(timestamp))
6588 0 : PG_RETURN_TIMESTAMP(timestamp);
6589 :
6590 12 : if (INTERVAL_NOT_FINITE(zone))
6591 12 : ereport(ERROR,
6592 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6593 : errmsg("interval time zone \"%s\" must be finite",
6594 : DatumGetCString(DirectFunctionCall1(interval_out,
6595 : PointerGetDatum(zone))))));
6596 :
6597 0 : if (zone->month != 0 || zone->day != 0)
6598 0 : ereport(ERROR,
6599 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6600 : errmsg("interval time zone \"%s\" must not include months or days",
6601 : DatumGetCString(DirectFunctionCall1(interval_out,
6602 : PointerGetDatum(zone))))));
6603 :
6604 0 : tz = -(zone->time / USECS_PER_SEC);
6605 :
6606 0 : result = dt2local(timestamp, tz);
6607 :
6608 0 : if (!IS_VALID_TIMESTAMP(result))
6609 0 : ereport(ERROR,
6610 : (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6611 : errmsg("timestamp out of range")));
6612 :
6613 0 : PG_RETURN_TIMESTAMP(result);
6614 : }
6615 :
6616 : /* generate_series_timestamp()
6617 : * Generate the set of timestamps from start to finish by step
6618 : */
6619 : Datum
6620 684 : generate_series_timestamp(PG_FUNCTION_ARGS)
6621 : {
6622 : FuncCallContext *funcctx;
6623 : generate_series_timestamp_fctx *fctx;
6624 : Timestamp result;
6625 :
6626 : /* stuff done only on the first call of the function */
6627 684 : if (SRF_IS_FIRSTCALL())
6628 : {
6629 42 : Timestamp start = PG_GETARG_TIMESTAMP(0);
6630 42 : Timestamp finish = PG_GETARG_TIMESTAMP(1);
6631 42 : Interval *step = PG_GETARG_INTERVAL_P(2);
6632 : MemoryContext oldcontext;
6633 :
6634 : /* create a function context for cross-call persistence */
6635 42 : funcctx = SRF_FIRSTCALL_INIT();
6636 :
6637 : /*
6638 : * switch to memory context appropriate for multiple function calls
6639 : */
6640 42 : oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
6641 :
6642 : /* allocate memory for user context */
6643 : fctx = (generate_series_timestamp_fctx *)
6644 42 : palloc(sizeof(generate_series_timestamp_fctx));
6645 :
6646 : /*
6647 : * Use fctx to keep state from call to call. Seed current with the
6648 : * original start value
6649 : */
6650 42 : fctx->current = start;
6651 42 : fctx->finish = finish;
6652 42 : fctx->step = *step;
6653 :
6654 : /* Determine sign of the interval */
6655 42 : fctx->step_sign = interval_sign(&fctx->step);
6656 :
6657 42 : if (fctx->step_sign == 0)
6658 6 : ereport(ERROR,
6659 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6660 : errmsg("step size cannot equal zero")));
6661 :
6662 36 : if (INTERVAL_NOT_FINITE((&fctx->step)))
6663 12 : ereport(ERROR,
6664 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6665 : errmsg("step size cannot be infinite")));
6666 :
6667 24 : funcctx->user_fctx = fctx;
6668 24 : MemoryContextSwitchTo(oldcontext);
6669 : }
6670 :
6671 : /* stuff done on every call of the function */
6672 666 : funcctx = SRF_PERCALL_SETUP();
6673 :
6674 : /*
6675 : * get the saved state and use current as the result for this iteration
6676 : */
6677 666 : fctx = funcctx->user_fctx;
6678 666 : result = fctx->current;
6679 :
6680 1332 : if (fctx->step_sign > 0 ?
6681 666 : timestamp_cmp_internal(result, fctx->finish) <= 0 :
6682 0 : timestamp_cmp_internal(result, fctx->finish) >= 0)
6683 : {
6684 : /* increment current in preparation for next iteration */
6685 648 : fctx->current = DatumGetTimestamp(DirectFunctionCall2(timestamp_pl_interval,
6686 : TimestampGetDatum(fctx->current),
6687 : PointerGetDatum(&fctx->step)));
6688 :
6689 : /* do when there is more left to send */
6690 648 : SRF_RETURN_NEXT(funcctx, TimestampGetDatum(result));
6691 : }
6692 : else
6693 : {
6694 : /* do when there is no more left */
6695 18 : SRF_RETURN_DONE(funcctx);
6696 : }
6697 : }
6698 :
6699 : /* generate_series_timestamptz()
6700 : * Generate the set of timestamps from start to finish by step,
6701 : * doing arithmetic in the specified or session timezone.
6702 : */
6703 : static Datum
6704 62682 : generate_series_timestamptz_internal(FunctionCallInfo fcinfo)
6705 : {
6706 : FuncCallContext *funcctx;
6707 : generate_series_timestamptz_fctx *fctx;
6708 : TimestampTz result;
6709 :
6710 : /* stuff done only on the first call of the function */
6711 62682 : if (SRF_IS_FIRSTCALL())
6712 : {
6713 92 : TimestampTz start = PG_GETARG_TIMESTAMPTZ(0);
6714 92 : TimestampTz finish = PG_GETARG_TIMESTAMPTZ(1);
6715 92 : Interval *step = PG_GETARG_INTERVAL_P(2);
6716 92 : text *zone = (PG_NARGS() == 4) ? PG_GETARG_TEXT_PP(3) : NULL;
6717 : MemoryContext oldcontext;
6718 :
6719 : /* create a function context for cross-call persistence */
6720 92 : funcctx = SRF_FIRSTCALL_INIT();
6721 :
6722 : /*
6723 : * switch to memory context appropriate for multiple function calls
6724 : */
6725 92 : oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
6726 :
6727 : /* allocate memory for user context */
6728 : fctx = (generate_series_timestamptz_fctx *)
6729 92 : palloc(sizeof(generate_series_timestamptz_fctx));
6730 :
6731 : /*
6732 : * Use fctx to keep state from call to call. Seed current with the
6733 : * original start value
6734 : */
6735 92 : fctx->current = start;
6736 92 : fctx->finish = finish;
6737 92 : fctx->step = *step;
6738 92 : fctx->attimezone = zone ? lookup_timezone(zone) : session_timezone;
6739 :
6740 : /* Determine sign of the interval */
6741 92 : fctx->step_sign = interval_sign(&fctx->step);
6742 :
6743 92 : if (fctx->step_sign == 0)
6744 12 : ereport(ERROR,
6745 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6746 : errmsg("step size cannot equal zero")));
6747 :
6748 80 : if (INTERVAL_NOT_FINITE((&fctx->step)))
6749 12 : ereport(ERROR,
6750 : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6751 : errmsg("step size cannot be infinite")));
6752 :
6753 68 : funcctx->user_fctx = fctx;
6754 68 : MemoryContextSwitchTo(oldcontext);
6755 : }
6756 :
6757 : /* stuff done on every call of the function */
6758 62658 : funcctx = SRF_PERCALL_SETUP();
6759 :
6760 : /*
6761 : * get the saved state and use current as the result for this iteration
6762 : */
6763 62658 : fctx = funcctx->user_fctx;
6764 62658 : result = fctx->current;
6765 :
6766 125316 : if (fctx->step_sign > 0 ?
6767 62388 : timestamp_cmp_internal(result, fctx->finish) <= 0 :
6768 270 : timestamp_cmp_internal(result, fctx->finish) >= 0)
6769 : {
6770 : /* increment current in preparation for next iteration */
6771 62596 : fctx->current = timestamptz_pl_interval_internal(fctx->current,
6772 : &fctx->step,
6773 : fctx->attimezone);
6774 :
6775 : /* do when there is more left to send */
6776 62596 : SRF_RETURN_NEXT(funcctx, TimestampTzGetDatum(result));
6777 : }
6778 : else
6779 : {
6780 : /* do when there is no more left */
6781 62 : SRF_RETURN_DONE(funcctx);
6782 : }
6783 : }
6784 :
6785 : Datum
6786 62412 : generate_series_timestamptz(PG_FUNCTION_ARGS)
6787 : {
6788 62412 : return generate_series_timestamptz_internal(fcinfo);
6789 : }
6790 :
6791 : Datum
6792 270 : generate_series_timestamptz_at_zone(PG_FUNCTION_ARGS)
6793 : {
6794 270 : return generate_series_timestamptz_internal(fcinfo);
6795 : }
6796 :
6797 : /*
6798 : * Planner support function for generate_series(timestamp, timestamp, interval)
6799 : */
6800 : Datum
6801 396 : generate_series_timestamp_support(PG_FUNCTION_ARGS)
6802 : {
6803 396 : Node *rawreq = (Node *) PG_GETARG_POINTER(0);
6804 396 : Node *ret = NULL;
6805 :
6806 396 : if (IsA(rawreq, SupportRequestRows))
6807 : {
6808 : /* Try to estimate the number of rows returned */
6809 132 : SupportRequestRows *req = (SupportRequestRows *) rawreq;
6810 :
6811 132 : if (is_funcclause(req->node)) /* be paranoid */
6812 : {
6813 132 : List *args = ((FuncExpr *) req->node)->args;
6814 : Node *arg1,
6815 : *arg2,
6816 : *arg3;
6817 :
6818 : /* We can use estimated argument values here */
6819 132 : arg1 = estimate_expression_value(req->root, linitial(args));
6820 132 : arg2 = estimate_expression_value(req->root, lsecond(args));
6821 132 : arg3 = estimate_expression_value(req->root, lthird(args));
6822 :
6823 : /*
6824 : * If any argument is constant NULL, we can safely assume that
6825 : * zero rows are returned. Otherwise, if they're all non-NULL
6826 : * constants, we can calculate the number of rows that will be
6827 : * returned.
6828 : */
6829 132 : if ((IsA(arg1, Const) && ((Const *) arg1)->constisnull) ||
6830 132 : (IsA(arg2, Const) && ((Const *) arg2)->constisnull) ||
6831 132 : (IsA(arg3, Const) && ((Const *) arg3)->constisnull))
6832 : {
6833 0 : req->rows = 0;
6834 0 : ret = (Node *) req;
6835 : }
6836 132 : else if (IsA(arg1, Const) && IsA(arg2, Const) && IsA(arg3, Const))
6837 : {
6838 : Timestamp start,
6839 : finish;
6840 : Interval *step;
6841 : Datum diff;
6842 : double dstep;
6843 : int64 dummy;
6844 :
6845 130 : start = DatumGetTimestamp(((Const *) arg1)->constvalue);
6846 130 : finish = DatumGetTimestamp(((Const *) arg2)->constvalue);
6847 130 : step = DatumGetIntervalP(((Const *) arg3)->constvalue);
6848 :
6849 : /*
6850 : * Perform some prechecks which could cause timestamp_mi to
6851 : * raise an ERROR. It's much better to just return some
6852 : * default estimate than error out in a support function.
6853 : */
6854 130 : if (!TIMESTAMP_NOT_FINITE(start) && !TIMESTAMP_NOT_FINITE(finish) &&
6855 112 : !pg_sub_s64_overflow(finish, start, &dummy))
6856 : {
6857 112 : diff = DirectFunctionCall2(timestamp_mi,
6858 : TimestampGetDatum(finish),
6859 : TimestampGetDatum(start));
6860 :
6861 : #define INTERVAL_TO_MICROSECONDS(i) ((((double) (i)->month * DAYS_PER_MONTH + (i)->day)) * USECS_PER_DAY + (i)->time)
6862 :
6863 112 : dstep = INTERVAL_TO_MICROSECONDS(step);
6864 :
6865 : /* This equation works for either sign of step */
6866 112 : if (dstep != 0.0)
6867 : {
6868 94 : Interval *idiff = DatumGetIntervalP(diff);
6869 94 : double ddiff = INTERVAL_TO_MICROSECONDS(idiff);
6870 :
6871 94 : req->rows = floor(ddiff / dstep + 1.0);
6872 94 : ret = (Node *) req;
6873 : }
6874 : #undef INTERVAL_TO_MICROSECONDS
6875 : }
6876 : }
6877 : }
6878 : }
6879 :
6880 396 : PG_RETURN_POINTER(ret);
6881 : }
6882 :
6883 :
6884 : /* timestamp_at_local()
6885 : * timestamptz_at_local()
6886 : *
6887 : * The regression tests do not like two functions with the same proargs and
6888 : * prosrc but different proname, but the grammar for AT LOCAL needs an
6889 : * overloaded name to handle both types of timestamp, so we make simple
6890 : * wrappers for it.
6891 : */
6892 : Datum
6893 24 : timestamp_at_local(PG_FUNCTION_ARGS)
6894 : {
6895 24 : return timestamp_timestamptz(fcinfo);
6896 : }
6897 :
6898 : Datum
6899 24 : timestamptz_at_local(PG_FUNCTION_ARGS)
6900 : {
6901 24 : return timestamptz_timestamp(fcinfo);
6902 : }
|
