mirror of
https://github.com/postgres/postgres.git
synced 2026-03-14 14:42:30 -04:00
06bf0dd6e3
The POSIX spec says that rint() rounds halfway cases to nearest even. Our substitute implementation failed to do that, rather rounding halfway cases away from zero; and it also got some other cases (such as minus zero) wrong. This led to observable cross-platform differences, as reported in bug #12885 from Rich Schaaf; in particular, casting from float to int didn't honor round-to-nearest-even on builds using rint.c. Implement something that attempts to cover all cases per spec, and add some simple regression tests so that we'll notice if any platforms still get this wrong. Although this is a bug fix, no back-patch, as a behavioral change in the back branches was agreed not to be a good idea. Pedro Gimeno Fortea, reviewed by Michael Paquier and myself
217 lines
8.4 KiB
SQL
217 lines
8.4 KiB
SQL
--
|
|
-- INT8
|
|
-- Test int8 64-bit integers.
|
|
--
|
|
CREATE TABLE INT8_TBL(q1 int8, q2 int8);
|
|
|
|
INSERT INTO INT8_TBL VALUES(' 123 ',' 456');
|
|
INSERT INTO INT8_TBL VALUES('123 ','4567890123456789');
|
|
INSERT INTO INT8_TBL VALUES('4567890123456789','123');
|
|
INSERT INTO INT8_TBL VALUES(+4567890123456789,'4567890123456789');
|
|
INSERT INTO INT8_TBL VALUES('+4567890123456789','-4567890123456789');
|
|
|
|
-- bad inputs
|
|
INSERT INTO INT8_TBL(q1) VALUES (' ');
|
|
INSERT INTO INT8_TBL(q1) VALUES ('xxx');
|
|
INSERT INTO INT8_TBL(q1) VALUES ('3908203590239580293850293850329485');
|
|
INSERT INTO INT8_TBL(q1) VALUES ('-1204982019841029840928340329840934');
|
|
INSERT INTO INT8_TBL(q1) VALUES ('- 123');
|
|
INSERT INTO INT8_TBL(q1) VALUES (' 345 5');
|
|
INSERT INTO INT8_TBL(q1) VALUES ('');
|
|
|
|
SELECT * FROM INT8_TBL;
|
|
|
|
-- int8/int8 cmp
|
|
SELECT * FROM INT8_TBL WHERE q2 = 4567890123456789;
|
|
SELECT * FROM INT8_TBL WHERE q2 <> 4567890123456789;
|
|
SELECT * FROM INT8_TBL WHERE q2 < 4567890123456789;
|
|
SELECT * FROM INT8_TBL WHERE q2 > 4567890123456789;
|
|
SELECT * FROM INT8_TBL WHERE q2 <= 4567890123456789;
|
|
SELECT * FROM INT8_TBL WHERE q2 >= 4567890123456789;
|
|
|
|
-- int8/int4 cmp
|
|
SELECT * FROM INT8_TBL WHERE q2 = 456;
|
|
SELECT * FROM INT8_TBL WHERE q2 <> 456;
|
|
SELECT * FROM INT8_TBL WHERE q2 < 456;
|
|
SELECT * FROM INT8_TBL WHERE q2 > 456;
|
|
SELECT * FROM INT8_TBL WHERE q2 <= 456;
|
|
SELECT * FROM INT8_TBL WHERE q2 >= 456;
|
|
|
|
-- int4/int8 cmp
|
|
SELECT * FROM INT8_TBL WHERE 123 = q1;
|
|
SELECT * FROM INT8_TBL WHERE 123 <> q1;
|
|
SELECT * FROM INT8_TBL WHERE 123 < q1;
|
|
SELECT * FROM INT8_TBL WHERE 123 > q1;
|
|
SELECT * FROM INT8_TBL WHERE 123 <= q1;
|
|
SELECT * FROM INT8_TBL WHERE 123 >= q1;
|
|
|
|
-- int8/int2 cmp
|
|
SELECT * FROM INT8_TBL WHERE q2 = '456'::int2;
|
|
SELECT * FROM INT8_TBL WHERE q2 <> '456'::int2;
|
|
SELECT * FROM INT8_TBL WHERE q2 < '456'::int2;
|
|
SELECT * FROM INT8_TBL WHERE q2 > '456'::int2;
|
|
SELECT * FROM INT8_TBL WHERE q2 <= '456'::int2;
|
|
SELECT * FROM INT8_TBL WHERE q2 >= '456'::int2;
|
|
|
|
-- int2/int8 cmp
|
|
SELECT * FROM INT8_TBL WHERE '123'::int2 = q1;
|
|
SELECT * FROM INT8_TBL WHERE '123'::int2 <> q1;
|
|
SELECT * FROM INT8_TBL WHERE '123'::int2 < q1;
|
|
SELECT * FROM INT8_TBL WHERE '123'::int2 > q1;
|
|
SELECT * FROM INT8_TBL WHERE '123'::int2 <= q1;
|
|
SELECT * FROM INT8_TBL WHERE '123'::int2 >= q1;
|
|
|
|
|
|
SELECT '' AS five, q1 AS plus, -q1 AS minus FROM INT8_TBL;
|
|
|
|
SELECT '' AS five, q1, q2, q1 + q2 AS plus FROM INT8_TBL;
|
|
SELECT '' AS five, q1, q2, q1 - q2 AS minus FROM INT8_TBL;
|
|
SELECT '' AS three, q1, q2, q1 * q2 AS multiply FROM INT8_TBL;
|
|
SELECT '' AS three, q1, q2, q1 * q2 AS multiply FROM INT8_TBL
|
|
WHERE q1 < 1000 or (q2 > 0 and q2 < 1000);
|
|
SELECT '' AS five, q1, q2, q1 / q2 AS divide, q1 % q2 AS mod FROM INT8_TBL;
|
|
|
|
SELECT '' AS five, q1, float8(q1) FROM INT8_TBL;
|
|
SELECT '' AS five, q2, float8(q2) FROM INT8_TBL;
|
|
|
|
SELECT 37 + q1 AS plus4 FROM INT8_TBL;
|
|
SELECT 37 - q1 AS minus4 FROM INT8_TBL;
|
|
SELECT '' AS five, 2 * q1 AS "twice int4" FROM INT8_TBL;
|
|
SELECT '' AS five, q1 * 2 AS "twice int4" FROM INT8_TBL;
|
|
|
|
-- int8 op int4
|
|
SELECT q1 + 42::int4 AS "8plus4", q1 - 42::int4 AS "8minus4", q1 * 42::int4 AS "8mul4", q1 / 42::int4 AS "8div4" FROM INT8_TBL;
|
|
-- int4 op int8
|
|
SELECT 246::int4 + q1 AS "4plus8", 246::int4 - q1 AS "4minus8", 246::int4 * q1 AS "4mul8", 246::int4 / q1 AS "4div8" FROM INT8_TBL;
|
|
|
|
-- int8 op int2
|
|
SELECT q1 + 42::int2 AS "8plus2", q1 - 42::int2 AS "8minus2", q1 * 42::int2 AS "8mul2", q1 / 42::int2 AS "8div2" FROM INT8_TBL;
|
|
-- int2 op int8
|
|
SELECT 246::int2 + q1 AS "2plus8", 246::int2 - q1 AS "2minus8", 246::int2 * q1 AS "2mul8", 246::int2 / q1 AS "2div8" FROM INT8_TBL;
|
|
|
|
SELECT q2, abs(q2) FROM INT8_TBL;
|
|
SELECT min(q1), min(q2) FROM INT8_TBL;
|
|
SELECT max(q1), max(q2) FROM INT8_TBL;
|
|
|
|
|
|
-- TO_CHAR()
|
|
--
|
|
SELECT '' AS to_char_1, to_char(q1, '9G999G999G999G999G999'), to_char(q2, '9,999,999,999,999,999')
|
|
FROM INT8_TBL;
|
|
|
|
SELECT '' AS to_char_2, to_char(q1, '9G999G999G999G999G999D999G999'), to_char(q2, '9,999,999,999,999,999.999,999')
|
|
FROM INT8_TBL;
|
|
|
|
SELECT '' AS to_char_3, to_char( (q1 * -1), '9999999999999999PR'), to_char( (q2 * -1), '9999999999999999.999PR')
|
|
FROM INT8_TBL;
|
|
|
|
SELECT '' AS to_char_4, to_char( (q1 * -1), '9999999999999999S'), to_char( (q2 * -1), 'S9999999999999999')
|
|
FROM INT8_TBL;
|
|
|
|
SELECT '' AS to_char_5, to_char(q2, 'MI9999999999999999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_6, to_char(q2, 'FMS9999999999999999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_7, to_char(q2, 'FM9999999999999999THPR') FROM INT8_TBL;
|
|
SELECT '' AS to_char_8, to_char(q2, 'SG9999999999999999th') FROM INT8_TBL;
|
|
SELECT '' AS to_char_9, to_char(q2, '0999999999999999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_10, to_char(q2, 'S0999999999999999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_11, to_char(q2, 'FM0999999999999999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_12, to_char(q2, 'FM9999999999999999.000') FROM INT8_TBL;
|
|
SELECT '' AS to_char_13, to_char(q2, 'L9999999999999999.000') FROM INT8_TBL;
|
|
SELECT '' AS to_char_14, to_char(q2, 'FM9999999999999999.999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_15, to_char(q2, 'S 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 . 9 9 9') FROM INT8_TBL;
|
|
SELECT '' AS to_char_16, to_char(q2, E'99999 "text" 9999 "9999" 999 "\\"text between quote marks\\"" 9999') FROM INT8_TBL;
|
|
SELECT '' AS to_char_17, to_char(q2, '999999SG9999999999') FROM INT8_TBL;
|
|
|
|
-- check min/max values and overflow behavior
|
|
|
|
select '-9223372036854775808'::int8;
|
|
select '-9223372036854775809'::int8;
|
|
select '9223372036854775807'::int8;
|
|
select '9223372036854775808'::int8;
|
|
|
|
select -('-9223372036854775807'::int8);
|
|
select -('-9223372036854775808'::int8);
|
|
|
|
select '9223372036854775800'::int8 + '9223372036854775800'::int8;
|
|
select '-9223372036854775800'::int8 + '-9223372036854775800'::int8;
|
|
|
|
select '9223372036854775800'::int8 - '-9223372036854775800'::int8;
|
|
select '-9223372036854775800'::int8 - '9223372036854775800'::int8;
|
|
|
|
select '9223372036854775800'::int8 * '9223372036854775800'::int8;
|
|
|
|
select '9223372036854775800'::int8 / '0'::int8;
|
|
select '9223372036854775800'::int8 % '0'::int8;
|
|
|
|
select abs('-9223372036854775808'::int8);
|
|
|
|
select '9223372036854775800'::int8 + '100'::int4;
|
|
select '-9223372036854775800'::int8 - '100'::int4;
|
|
select '9223372036854775800'::int8 * '100'::int4;
|
|
|
|
select '100'::int4 + '9223372036854775800'::int8;
|
|
select '-100'::int4 - '9223372036854775800'::int8;
|
|
select '100'::int4 * '9223372036854775800'::int8;
|
|
|
|
select '9223372036854775800'::int8 + '100'::int2;
|
|
select '-9223372036854775800'::int8 - '100'::int2;
|
|
select '9223372036854775800'::int8 * '100'::int2;
|
|
select '-9223372036854775808'::int8 / '0'::int2;
|
|
|
|
select '100'::int2 + '9223372036854775800'::int8;
|
|
select '-100'::int2 - '9223372036854775800'::int8;
|
|
select '100'::int2 * '9223372036854775800'::int8;
|
|
select '100'::int2 / '0'::int8;
|
|
|
|
SELECT CAST(q1 AS int4) FROM int8_tbl WHERE q2 = 456;
|
|
SELECT CAST(q1 AS int4) FROM int8_tbl WHERE q2 <> 456;
|
|
|
|
SELECT CAST(q1 AS int2) FROM int8_tbl WHERE q2 = 456;
|
|
SELECT CAST(q1 AS int2) FROM int8_tbl WHERE q2 <> 456;
|
|
|
|
SELECT CAST('42'::int2 AS int8), CAST('-37'::int2 AS int8);
|
|
|
|
SELECT CAST(q1 AS float4), CAST(q2 AS float8) FROM INT8_TBL;
|
|
SELECT CAST('36854775807.0'::float4 AS int8);
|
|
SELECT CAST('922337203685477580700.0'::float8 AS int8);
|
|
|
|
SELECT CAST(q1 AS oid) FROM INT8_TBL;
|
|
SELECT oid::int8 FROM pg_class WHERE relname = 'pg_class';
|
|
|
|
|
|
-- bit operations
|
|
|
|
SELECT q1, q2, q1 & q2 AS "and", q1 | q2 AS "or", q1 # q2 AS "xor", ~q1 AS "not" FROM INT8_TBL;
|
|
SELECT q1, q1 << 2 AS "shl", q1 >> 3 AS "shr" FROM INT8_TBL;
|
|
|
|
|
|
-- generate_series
|
|
|
|
SELECT * FROM generate_series('+4567890123456789'::int8, '+4567890123456799'::int8);
|
|
SELECT * FROM generate_series('+4567890123456789'::int8, '+4567890123456799'::int8, 0);
|
|
SELECT * FROM generate_series('+4567890123456789'::int8, '+4567890123456799'::int8, 2);
|
|
|
|
-- corner case
|
|
SELECT (-1::int8<<63)::text;
|
|
SELECT ((-1::int8<<63)+1)::text;
|
|
|
|
-- check sane handling of INT64_MIN overflow cases
|
|
SELECT (-9223372036854775808)::int8 * (-1)::int8;
|
|
SELECT (-9223372036854775808)::int8 / (-1)::int8;
|
|
SELECT (-9223372036854775808)::int8 % (-1)::int8;
|
|
SELECT (-9223372036854775808)::int8 * (-1)::int4;
|
|
SELECT (-9223372036854775808)::int8 / (-1)::int4;
|
|
SELECT (-9223372036854775808)::int8 % (-1)::int4;
|
|
SELECT (-9223372036854775808)::int8 * (-1)::int2;
|
|
SELECT (-9223372036854775808)::int8 / (-1)::int2;
|
|
SELECT (-9223372036854775808)::int8 % (-1)::int2;
|
|
|
|
-- check rounding when casting from float
|
|
SELECT x, x::int8 AS int8_value
|
|
FROM (VALUES (-2.5::float8),
|
|
(-1.5::float8),
|
|
(-0.5::float8),
|
|
(0.0::float8),
|
|
(0.5::float8),
|
|
(1.5::float8),
|
|
(2.5::float8)) t(x);
|