1-- 2-- INT4 3-- 4 5CREATE TABLE INT4_TBL(f1 int4); 6 7INSERT INTO INT4_TBL(f1) VALUES (' 0 '); 8 9INSERT INTO INT4_TBL(f1) VALUES ('123456 '); 10 11INSERT INTO INT4_TBL(f1) VALUES (' -123456'); 12 13INSERT INTO INT4_TBL(f1) VALUES ('34.5'); 14 15-- largest and smallest values 16INSERT INTO INT4_TBL(f1) VALUES ('2147483647'); 17 18INSERT INTO INT4_TBL(f1) VALUES ('-2147483647'); 19 20-- bad input values -- should give errors 21INSERT INTO INT4_TBL(f1) VALUES ('1000000000000'); 22INSERT INTO INT4_TBL(f1) VALUES ('asdf'); 23INSERT INTO INT4_TBL(f1) VALUES (' '); 24INSERT INTO INT4_TBL(f1) VALUES (' asdf '); 25INSERT INTO INT4_TBL(f1) VALUES ('- 1234'); 26INSERT INTO INT4_TBL(f1) VALUES ('123 5'); 27INSERT INTO INT4_TBL(f1) VALUES (''); 28 29 30SELECT '' AS five, * FROM INT4_TBL; 31 32SELECT '' AS four, i.* FROM INT4_TBL i WHERE i.f1 <> int2 '0'; 33 34SELECT '' AS four, i.* FROM INT4_TBL i WHERE i.f1 <> int4 '0'; 35 36SELECT '' AS one, i.* FROM INT4_TBL i WHERE i.f1 = int2 '0'; 37 38SELECT '' AS one, i.* FROM INT4_TBL i WHERE i.f1 = int4 '0'; 39 40SELECT '' AS two, i.* FROM INT4_TBL i WHERE i.f1 < int2 '0'; 41 42SELECT '' AS two, i.* FROM INT4_TBL i WHERE i.f1 < int4 '0'; 43 44SELECT '' AS three, i.* FROM INT4_TBL i WHERE i.f1 <= int2 '0'; 45 46SELECT '' AS three, i.* FROM INT4_TBL i WHERE i.f1 <= int4 '0'; 47 48SELECT '' AS two, i.* FROM INT4_TBL i WHERE i.f1 > int2 '0'; 49 50SELECT '' AS two, i.* FROM INT4_TBL i WHERE i.f1 > int4 '0'; 51 52SELECT '' AS three, i.* FROM INT4_TBL i WHERE i.f1 >= int2 '0'; 53 54SELECT '' AS three, i.* FROM INT4_TBL i WHERE i.f1 >= int4 '0'; 55 56-- positive odds 57SELECT '' AS one, i.* FROM INT4_TBL i WHERE (i.f1 % int2 '2') = int2 '1'; 58 59-- any evens 60SELECT '' AS three, i.* FROM INT4_TBL i WHERE (i.f1 % int4 '2') = int2 '0'; 61 62SELECT '' AS five, i.f1, i.f1 * int2 '2' AS x FROM INT4_TBL i; 63 64SELECT '' AS five, i.f1, i.f1 * int2 '2' AS x FROM INT4_TBL i 65WHERE abs(f1) < 1073741824; 66 67SELECT '' AS five, i.f1, i.f1 * int4 '2' AS x FROM INT4_TBL i; 68 69SELECT '' AS five, i.f1, i.f1 * int4 '2' AS x FROM INT4_TBL i 70WHERE abs(f1) < 1073741824; 71 72SELECT '' AS five, i.f1, i.f1 + int2 '2' AS x FROM INT4_TBL i; 73 74SELECT '' AS five, i.f1, i.f1 + int2 '2' AS x FROM INT4_TBL i 75WHERE f1 < 2147483646; 76 77SELECT '' AS five, i.f1, i.f1 + int4 '2' AS x FROM INT4_TBL i; 78 79SELECT '' AS five, i.f1, i.f1 + int4 '2' AS x FROM INT4_TBL i 80WHERE f1 < 2147483646; 81 82SELECT '' AS five, i.f1, i.f1 - int2 '2' AS x FROM INT4_TBL i; 83 84SELECT '' AS five, i.f1, i.f1 - int2 '2' AS x FROM INT4_TBL i 85WHERE f1 > -2147483647; 86 87SELECT '' AS five, i.f1, i.f1 - int4 '2' AS x FROM INT4_TBL i; 88 89SELECT '' AS five, i.f1, i.f1 - int4 '2' AS x FROM INT4_TBL i 90WHERE f1 > -2147483647; 91 92SELECT '' AS five, i.f1, i.f1 / int2 '2' AS x FROM INT4_TBL i; 93 94SELECT '' AS five, i.f1, i.f1 / int4 '2' AS x FROM INT4_TBL i; 95 96-- 97-- more complex expressions 98-- 99 100-- variations on unary minus parsing 101SELECT -2+3 AS one; 102 103SELECT 4-2 AS two; 104 105SELECT 2- -1 AS three; 106 107SELECT 2 - -2 AS four; 108 109SELECT int2 '2' * int2 '2' = int2 '16' / int2 '4' AS true; 110 111SELECT int4 '2' * int2 '2' = int2 '16' / int4 '4' AS true; 112 113SELECT int2 '2' * int4 '2' = int4 '16' / int2 '4' AS true; 114 115SELECT int4 '1000' < int4 '999' AS false; 116 117SELECT 4! AS twenty_four; 118 119SELECT !!3 AS six; 120 121SELECT 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 AS ten; 122 123SELECT 2 + 2 / 2 AS three; 124 125SELECT (2 + 2) / 2 AS two; 126 127-- corner case 128SELECT (-1::int4<<31)::text; 129SELECT ((-1::int4<<31)+1)::text; 130 131-- check sane handling of INT_MIN overflow cases 132SELECT (-2147483648)::int4 * (-1)::int4; 133SELECT (-2147483648)::int4 / (-1)::int4; 134SELECT (-2147483648)::int4 % (-1)::int4; 135SELECT (-2147483648)::int4 * (-1)::int2; 136SELECT (-2147483648)::int4 / (-1)::int2; 137SELECT (-2147483648)::int4 % (-1)::int2; 138 139-- check rounding when casting from float 140SELECT x, x::int4 AS int4_value 141FROM (VALUES (-2.5::float8), 142 (-1.5::float8), 143 (-0.5::float8), 144 (0.0::float8), 145 (0.5::float8), 146 (1.5::float8), 147 (2.5::float8)) t(x); 148 149-- check rounding when casting from numeric 150SELECT x, x::int4 AS int4_value 151FROM (VALUES (-2.5::numeric), 152 (-1.5::numeric), 153 (-0.5::numeric), 154 (0.0::numeric), 155 (0.5::numeric), 156 (1.5::numeric), 157 (2.5::numeric)) t(x); 158 159-- test gcd() 160SELECT a, b, gcd(a, b), gcd(a, -b), gcd(b, a), gcd(-b, a) 161FROM (VALUES (0::int4, 0::int4), 162 (0::int4, 6410818::int4), 163 (61866666::int4, 6410818::int4), 164 (-61866666::int4, 6410818::int4), 165 ((-2147483648)::int4, 1::int4), 166 ((-2147483648)::int4, 2147483647::int4), 167 ((-2147483648)::int4, 1073741824::int4)) AS v(a, b); 168 169SELECT gcd((-2147483648)::int4, 0::int4); -- overflow 170SELECT gcd((-2147483648)::int4, (-2147483648)::int4); -- overflow 171 172-- test lcm() 173SELECT a, b, lcm(a, b), lcm(a, -b), lcm(b, a), lcm(-b, a) 174FROM (VALUES (0::int4, 0::int4), 175 (0::int4, 42::int4), 176 (42::int4, 42::int4), 177 (330::int4, 462::int4), 178 (-330::int4, 462::int4), 179 ((-2147483648)::int4, 0::int4)) AS v(a, b); 180 181SELECT lcm((-2147483648)::int4, 1::int4); -- overflow 182SELECT lcm(2147483647::int4, 2147483646::int4); -- overflow 183