blob: bf0676429b7b30794e8c56a7da9e69658d7b5cda [file] [log] [blame]
drhff621c62015-11-06 17:01:20 +00001# 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
15set testdir [file dirname $argv0]
16source $testdir/tester.tcl
17
18load_static_extension db ieee754
19
20foreach {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 4503599627370497,-1075
27 7 2.2250738585072009e-308 9007199254740991,-1075
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
drhbdfa1b92015-12-31 22:29:36 +000046do_test ieee754-110 {
47 string tolower [
48 db eval {SELECT ieee754(1,1024), ieee754(4503599627370495,972);}
49 ]
50} {inf 1.79769313486232e+308}
51do_test ieee754-111 {
52 string tolower [
53 db eval {SELECT ieee754(-1,1024), ieee754(-4503599627370495,972);}
54 ]
55} {-inf -1.79769313486232e+308}
drhff621c62015-11-06 17:01:20 +000056do_execsql_test ieee754-112 {
57 SELECT ieee754(4503599627370495,973) is null;
58} {1}
59
60finish_test