test/ieee754.test

   1 # 2015-11-06
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 #
  12 # Tests of the iee754 extension
  13 #
  14
  15 set testdir [file dirname $argv0]
  16 source $testdir/tester.tcl
  17
  18 load_static_extension db ieee754
  19
  20 foreach {id float rep} {
  21    1       1.0                            1,0
  22    2       2.0                            2,0
  23    3       0.5                            1,-1
  24    4       1.5                            3,-1
  25    5       0.0                            0,-1075
  26    6       4.9406564584124654e-324        1,-1074
  27    7       2.2250738585072009e-308        4503599627370495,-1074
  28    8       2.2250738585072014e-308        1,-1022
  29 } {
  30   do_test ieee754-100-$id-1 {
  31     db eval "SELECT ieee754($float);"
  32   } "ieee754($rep)"
  33   do_test ieee754-100-$id-2 {
  34     db eval "SELECT ieee754($rep)==$float;"
  35   } {1}
  36   if {$float!=0.0} {
  37     do_test ieee754-100-$id-3 {
  38       db eval "SELECT ieee754(-$float);"
  39     } "ieee754(-$rep)"
  40     do_test ieee754-100-$id-4 {
  41       db eval "SELECT ieee754(-$rep)==-$float;"
  42     } {1}
  43   }
  44 }
  45
  46 do_test ieee754-110 {
  47   string tolower [
  48     db eval {SELECT ieee754(1,1024), ieee754(4503599627370495,972);}
  49   ]
  50 } {inf 1.79769313486232e+308}
  51 do_test ieee754-111 {
  52   string tolower [
  53     db eval {SELECT ieee754(-1,1024), ieee754(-4503599627370495,972);}
  54   ]
  55 } {-inf -1.79769313486232e+308}
  56 do_execsql_test ieee754-112 {
  57   SELECT ieee754(4503599627370495,973) is null;
  58 } {1}
  59
  60 finish_test