mirror of
https://github.com/sqlite/sqlite.git
synced 2025-10-19 23:49:30 +03:00
611ffbc981
'ieee754(1,-3071)' as that makes the sign clearer. Both strings still convert back to -0.0. Note that negative zero and positive zero are distinct values in ieee754. [forum:/forumpost/1eab7e4a08|Forum post 1eab7e4a08]. FossilOrigin-Name: 136188c161a8a2d5166798fcbd341bd1d3f81da7291011f806d6b2153544832c
73 lines
2.0 KiB
Plaintext
73 lines
2.0 KiB
Plaintext
# 2015-11-06
|
|
#
|
|
# The author disclaims copyright to this source code. In place of
|
|
# a legal notice, here is a blessing:
|
|
#
|
|
# May you do good and not evil.
|
|
# May you find forgiveness for yourself and forgive others.
|
|
# May you share freely, never taking more than you give.
|
|
#
|
|
#***********************************************************************
|
|
#
|
|
# Tests of the iee754 extension
|
|
#
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
|
|
load_static_extension db ieee754
|
|
|
|
foreach {id float rep} {
|
|
1 1.0 1,0
|
|
2 2.0 2,0
|
|
3 0.5 1,-1
|
|
4 1.5 3,-1
|
|
5 0.0 0,-1075
|
|
6 4.9406564584124654e-324 1,-1074
|
|
7 2.2250738585072009e-308 4503599627370495,-1074
|
|
8 2.2250738585072014e-308 1,-1022
|
|
} {
|
|
do_test ieee754-100-$id-1 {
|
|
db eval "SELECT ieee754($float);"
|
|
} "ieee754($rep)"
|
|
do_test ieee754-100-$id-2 {
|
|
db eval "SELECT ieee754($rep)==$float;"
|
|
} {1}
|
|
if {$float!=0.0} {
|
|
do_test ieee754-100-$id-3 {
|
|
db eval "SELECT ieee754(-$float);"
|
|
} "ieee754(-$rep)"
|
|
do_test ieee754-100-$id-4 {
|
|
db eval "SELECT ieee754(-$rep)==-$float;"
|
|
} {1}
|
|
}
|
|
}
|
|
|
|
do_test ieee754-110 {
|
|
string tolower [
|
|
db eval {SELECT ieee754(1,1024), ieee754(4503599627370495,972);}
|
|
]
|
|
} {inf 1.79769313486232e+308}
|
|
do_test ieee754-111 {
|
|
string tolower [
|
|
db eval {SELECT ieee754(-1,1024), ieee754(-4503599627370495,972);}
|
|
]
|
|
} {-inf -1.79769313486232e+308}
|
|
do_execsql_test ieee754-112 {
|
|
SELECT ieee754(4503599627370495,973) is null;
|
|
} {1}
|
|
|
|
do_execsql_test ieee754-200 {
|
|
SELECT ieee754(0.0), hex(ieee754_to_blob(ieee754(0,-1075)));
|
|
} {ieee754(0,-1075) 0000000000000000}
|
|
|
|
# Special case. -0.0 is rendered as ieee754(-1,-3071).
|
|
#
|
|
do_execsql_test ieee754-201 {
|
|
SELECT ieee754(-0.0), hex(ieee754_to_blob(ieee754(-1,-3071)));
|
|
} {ieee754(-1,-3071) 8000000000000000}
|
|
|
|
|
|
|
|
finish_test
|