int2.sql 2.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118
  1. --
  2. -- INT2
  3. --
  4. CREATE TABLE INT2_TBL(f1 int2);
  5. INSERT INTO INT2_TBL(f1) VALUES ('0 ');
  6. INSERT INTO INT2_TBL(f1) VALUES (' 1234 ');
  7. INSERT INTO INT2_TBL(f1) VALUES (' -1234');
  8. INSERT INTO INT2_TBL(f1) VALUES ('34.5');
  9. -- largest and smallest values
  10. INSERT INTO INT2_TBL(f1) VALUES ('32767');
  11. INSERT INTO INT2_TBL(f1) VALUES ('-32767');
  12. -- bad input values -- should give errors
  13. INSERT INTO INT2_TBL(f1) VALUES ('100000');
  14. INSERT INTO INT2_TBL(f1) VALUES ('asdf');
  15. INSERT INTO INT2_TBL(f1) VALUES (' ');
  16. INSERT INTO INT2_TBL(f1) VALUES ('- 1234');
  17. INSERT INTO INT2_TBL(f1) VALUES ('4 444');
  18. INSERT INTO INT2_TBL(f1) VALUES ('123 dt');
  19. INSERT INTO INT2_TBL(f1) VALUES ('');
  20. SELECT * FROM INT2_TBL;
  21. SELECT * FROM INT2_TBL AS f(a, b);
  22. SELECT * FROM (TABLE int2_tbl) AS s (a, b);
  23. SELECT i.* FROM INT2_TBL i WHERE i.f1 <> int2 '0';
  24. SELECT i.* FROM INT2_TBL i WHERE i.f1 <> int4 '0';
  25. SELECT i.* FROM INT2_TBL i WHERE i.f1 = int2 '0';
  26. SELECT i.* FROM INT2_TBL i WHERE i.f1 = int4 '0';
  27. SELECT i.* FROM INT2_TBL i WHERE i.f1 < int2 '0';
  28. SELECT i.* FROM INT2_TBL i WHERE i.f1 < int4 '0';
  29. SELECT i.* FROM INT2_TBL i WHERE i.f1 <= int2 '0';
  30. SELECT i.* FROM INT2_TBL i WHERE i.f1 <= int4 '0';
  31. SELECT i.* FROM INT2_TBL i WHERE i.f1 > int2 '0';
  32. SELECT i.* FROM INT2_TBL i WHERE i.f1 > int4 '0';
  33. SELECT i.* FROM INT2_TBL i WHERE i.f1 >= int2 '0';
  34. SELECT i.* FROM INT2_TBL i WHERE i.f1 >= int4 '0';
  35. -- positive odds
  36. SELECT i.* FROM INT2_TBL i WHERE (i.f1 % int2 '2') = int2 '1';
  37. -- any evens
  38. SELECT i.* FROM INT2_TBL i WHERE (i.f1 % int4 '2') = int2 '0';
  39. SELECT i.f1, i.f1 * int2 '2' AS x FROM INT2_TBL i;
  40. SELECT i.f1, i.f1 * int2 '2' AS x FROM INT2_TBL i
  41. WHERE abs(f1) < 16384;
  42. SELECT i.f1, i.f1 * int4 '2' AS x FROM INT2_TBL i;
  43. SELECT i.f1, i.f1 + int2 '2' AS x FROM INT2_TBL i;
  44. SELECT i.f1, i.f1 + int2 '2' AS x FROM INT2_TBL i
  45. WHERE f1 < 32766;
  46. SELECT i.f1, i.f1 + int4 '2' AS x FROM INT2_TBL i;
  47. SELECT i.f1, i.f1 - int2 '2' AS x FROM INT2_TBL i;
  48. SELECT i.f1, i.f1 - int2 '2' AS x FROM INT2_TBL i
  49. WHERE f1 > -32767;
  50. SELECT i.f1, i.f1 - int4 '2' AS x FROM INT2_TBL i;
  51. SELECT i.f1, i.f1 / int2 '2' AS x FROM INT2_TBL i;
  52. SELECT i.f1, i.f1 / int4 '2' AS x FROM INT2_TBL i;
  53. -- corner cases
  54. SELECT (-1::int2<<15)::text;
  55. SELECT ((-1::int2<<15)+1::int2)::text;
  56. -- check sane handling of INT16_MIN overflow cases
  57. SELECT (-32768)::int2 * (-1)::int2;
  58. SELECT (-32768)::int2 / (-1)::int2;
  59. SELECT (-32768)::int2 % (-1)::int2;
  60. -- check rounding when casting from float
  61. SELECT x, x::int2 AS int2_value
  62. FROM (VALUES (-2.5::float8),
  63. (-1.5::float8),
  64. (-0.5::float8),
  65. (0.0::float8),
  66. (0.5::float8),
  67. (1.5::float8),
  68. (2.5::float8)) t(x);
  69. -- check rounding when casting from numeric
  70. SELECT x, x::int2 AS int2_value
  71. FROM (VALUES (-2.5::numeric),
  72. (-1.5::numeric),
  73. (-0.5::numeric),
  74. (0.0::numeric),
  75. (0.5::numeric),
  76. (1.5::numeric),
  77. (2.5::numeric)) t(x);