explicit_cast.sql 3.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  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. $date32_minus1 = unwrap(cast(-1 as date32));
  8. $datetime64_minus1 = unwrap(cast(-1 as datetime64));
  9. $timestamp64_minus1 = unwrap(cast(-1 as timestamp64));
  10. -- scale up
  11. select 1, cast($date32_minus1 as datetime64), cast($date32_min as datetime64), cast($date32_max as datetime64)
  12. , 2, cast($date32_minus1 as timestamp64), cast($date32_min as timestamp64), cast($date32_max as timestamp64)
  13. , 3, cast($datetime64_minus1 as timestamp64), cast($datetime64_min as timestamp64), cast($datetime64_max as timestamp64);
  14. -- scale down
  15. select 1, cast($timestamp64_minus1 as datetime64), cast($timestamp64_min as datetime64), cast($timestamp64_max as datetime64)
  16. , 2, cast($timestamp64_minus1 as date32), cast($timestamp64_min as date32), cast($timestamp64_max as date32)
  17. , 3, cast($datetime64_minus1 as date32), cast($datetime64_min as date32), cast($datetime64_max as date32);
  18. $date_max_value = 49673l;
  19. $date_max = unwrap(cast($date_max_value - 1 as date));
  20. $datetime_max = unwrap(cast($date_max_value*86400 - 1 as datetime));
  21. $timestamp_max = unwrap(cast($date_max_value*86400*1000000 - 1 as timestamp));
  22. $interval_min = unwrap(cast(-$date_max_value*86400*1000000 + 1 as interval));
  23. $interval_max = unwrap(cast($date_max_value*86400*1000000 - 1 as interval));
  24. -- narrow to bigdate
  25. select 1, cast($date_max as date32), cast($date_max as datetime64), cast($date_max as timestamp64)
  26. , 2 , cast($datetime_max as date32), cast($datetime_max as datetime64), cast($datetime_max as timestamp64)
  27. , 3, cast($timestamp_max as date32), cast($timestamp_max as datetime64), cast($timestamp_max as timestamp64)
  28. , 4, cast($interval_min as interval64), cast($interval_max as interval64);
  29. $date32_val = unwrap(cast($date_max_value - 1 as date32));
  30. $datetime64_val = unwrap(cast($date_max_value*86400 - 1 as datetime64));
  31. $timestamp64_val = unwrap(cast($date_max_value*86400*1000000 - 1 as timestamp64));
  32. $interval64_val_min = unwrap(cast(-$date_max_value*86400*1000000 + 1 as interval64));
  33. $interval64_val_max = unwrap(cast($date_max_value*86400*1000000 - 1 as interval64));
  34. -- bigdate to narrow
  35. select 1, cast($date32_val as date), cast($date32_val as datetime), cast($date32_val as timestamp)
  36. , 2, cast($datetime64_val as date), cast($datetime64_val as datetime), cast($datetime64_val as timestamp)
  37. , 3, cast($timestamp64_val as date), cast($timestamp64_val as datetime), cast($timestamp64_val as timestamp)
  38. , 4, cast($interval64_val_min as interval), cast($interval64_val_max as interval);
  39. select 1, cast($date32_minus1 as date), cast($date32_minus1 as datetime), cast($date32_minus1 as timestamp)
  40. , 2, cast($datetime64_minus1 as date), cast($datetime64_minus1 as datetime), cast($datetime64_minus1 as timestamp)
  41. , 3, cast($timestamp64_minus1 as date), cast($timestamp64_minus1 as datetime), cast($timestamp64_minus1 as timestamp);
  42. -- bigdate to narrow out of range
  43. $date32_big_val = unwrap(cast($date_max_value as date32));
  44. $datetime64_big_val = unwrap(cast($date_max_value*86400 as datetime64));
  45. $timestamp64_big_val = unwrap(cast($date_max_value*86400*1000000 as timestamp64));
  46. $interval64_big_val_min = unwrap(cast(-$date_max_value*86400*1000000 as interval64));
  47. $interval64_big_val_max = unwrap(cast($date_max_value*86400*1000000 as interval64));
  48. select 1, cast($date32_big_val as date), cast($date32_big_val as datetime), cast($date32_big_val as timestamp)
  49. , 2, cast($datetime64_big_val as date), cast($datetime64_big_val as datetime), cast($datetime64_big_val as timestamp)
  50. , 3, cast($timestamp64_big_val as date), cast($timestamp64_big_val as datetime), cast($timestamp64_big_val as timestamp)
  51. , 4, cast($interval64_big_val_min as interval), cast($interval64_big_val_max as interval);