int_cast.sql 3.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253
  1. $date32_min = unwrap(cast(-53375809 as date32));
  2. $date32_max = unwrap(cast(53375807 as date32));
  3. $datetime64_min = unwrap(cast(-4611669897600 as datetime64));
  4. $datetime64_max = unwrap(cast(4611669811199 as datetime64));
  5. $timestamp64_min = unwrap(cast(-4611669897600000000 as timestamp64));
  6. $timestamp64_max = unwrap(cast(4611669811199999999 as timestamp64));
  7. $interval64_min = unwrap(cast(-9223339708799999999 as interval64));
  8. $interval64_max = unwrap(cast(9223339708799999999 as interval64));
  9. $date32_minus1 = unwrap(cast(-1 as date32));
  10. $datetime64_minus1 = unwrap(cast(-1 as datetime64));
  11. $timestamp64_minus1 = unwrap(cast(-1 as timestamp64));
  12. $interval64_minus1 = unwrap(cast(-1 as interval64));
  13. -- to signed
  14. select 1, $date32_minus1, cast($date32_minus1 as int8), cast($date32_minus1 as int16), cast($date32_minus1 as int32), cast($date32_minus1 as int64)
  15. , 2, $datetime64_minus1, cast($datetime64_minus1 as int8), cast($datetime64_minus1 as int16), cast($datetime64_minus1 as int32), cast($datetime64_minus1 as int64)
  16. , 3, $timestamp64_minus1, cast($timestamp64_minus1 as int8), cast($timestamp64_minus1 as int16), cast($timestamp64_minus1 as int32), cast($timestamp64_minus1 as int64)
  17. , 4, $interval64_minus1, cast($interval64_minus1 as int8), cast($interval64_minus1 as int16), cast($interval64_minus1 as int32), cast($interval64_minus1 as int64);
  18. -- to unsigned
  19. select 1, cast($date32_minus1 as uint32), cast($date32_minus1 as uint64)
  20. , 2, cast($datetime64_minus1 as uint32), cast($datetime64_minus1 as uint64)
  21. , 3, cast($timestamp64_minus1 as uint32), cast($timestamp64_minus1 as uint64)
  22. , 4, cast($interval64_minus1 as uint32), cast($interval64_minus1 as uint64);
  23. -- min/max values
  24. select 1, $date32_min, cast($date32_min as int32)
  25. , 2, $datetime64_min, cast($datetime64_min as int64)
  26. , 3, $timestamp64_min, cast($timestamp64_min as int64)
  27. , 4, $interval64_min, cast($interval64_min as int64)
  28. , 5, $date32_max, cast($date32_max as int32)
  29. , 6, $datetime64_max, cast($datetime64_max as int64)
  30. , 7, $timestamp64_max, cast($timestamp64_max as int64)
  31. , 8, $interval64_max, cast($interval64_max as int64);
  32. -- out of range
  33. select 1, cast(-53375810 as date32), cast(53375808 as date32)
  34. , 2, cast(-4611669897601 as datetime64), cast(4611669811200 as datetime64)
  35. , 3, cast(-4611669897600000001 as timestamp64), cast(4611669811200000000 as timestamp64)
  36. , 4, cast(-9223339708800000000 as interval64), cast(9223339708800000000 as interval64);
  37. -- insufficient int size
  38. select 1, cast(unwrap(cast(32768 as date32)) as int16), cast(unwrap(cast(65536 as date32)) as uint16)
  39. , 2, cast(unwrap(cast(32768 as datetime64)) as int16), cast(unwrap(cast(2147483648 as datetime64)) as int32)
  40. , 3, cast(unwrap(cast(65536 as datetime64)) as uint16), cast(unwrap(cast(4294967296 as datetime64)) as uint32)
  41. , 4, cast(unwrap(cast(32768 as timestamp64)) as int16), cast(unwrap(cast(2147483648 as timestamp64)) as int32)
  42. , 5, cast(unwrap(cast(65536 as timestamp64)) as uint16), cast(unwrap(cast(4294967296 as timestamp64)) as uint32)
  43. , 6, cast(unwrap(cast(32768 as interval64)) as int16), cast(unwrap(cast(2147483648 as interval64)) as int32)
  44. , 7, cast(unwrap(cast(65536 as interval64)) as uint16), cast(unwrap(cast(4294967296 as interval64)) as uint32);