mirror of
https://github.com/tursodatabase/libsql.git
synced 2024-12-15 03:59:46 +00:00
446 lines
11 KiB
Tcl
446 lines
11 KiB
Tcl
puts {# 2008 December 11
|
|
#
|
|
# 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.
|
|
#
|
|
#***********************************************************************
|
|
# This file implements regression tests for SQLite library.
|
|
#
|
|
# This file is automatically generated from a separate TCL script.
|
|
# This file seeks to exercise integer boundary values.
|
|
#
|
|
# $Id: boundary2.tcl,v 1.3 2009/01/02 15:45:48 shane Exp $
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
|
|
# Many of the boundary tests depend on a working 64-bit implementation.
|
|
if {![working_64bit_int]} { finish_test; return }
|
|
}
|
|
|
|
expr srand(0)
|
|
|
|
# Generate interesting boundary numbers
|
|
#
|
|
foreach x {
|
|
0
|
|
1
|
|
0x7f
|
|
0x7fff
|
|
0x7fffff
|
|
0x7fffffff
|
|
0x7fffffffff
|
|
0x7fffffffffff
|
|
0x7fffffffffffff
|
|
0x7fffffffffffffff
|
|
} {
|
|
set x [expr {wide($x)}]
|
|
set boundarynum($x) 1
|
|
set boundarynum([expr {$x+1}]) 1
|
|
set boundarynum([expr {-($x+1)}]) 1
|
|
set boundarynum([expr {-($x+2)}]) 1
|
|
set boundarynum([expr {$x+$x+1}]) 1
|
|
set boundarynum([expr {$x+$x+2}]) 1
|
|
}
|
|
set x [expr {wide(127)}]
|
|
for {set i 1} {$i<=9} {incr i} {
|
|
set boundarynum($x) 1
|
|
set boundarynum([expr {$x+1}]) 1
|
|
set x [expr {wide($x*128 + 127)}]
|
|
}
|
|
|
|
# Scramble the $inlist into a random order.
|
|
#
|
|
proc scramble {inlist} {
|
|
set y {}
|
|
foreach x $inlist {
|
|
lappend y [list [expr {rand()}] $x]
|
|
}
|
|
set y [lsort $y]
|
|
set outlist {}
|
|
foreach x $y {
|
|
lappend outlist [lindex $x 1]
|
|
}
|
|
return $outlist
|
|
}
|
|
|
|
# A simple selection sort. Not trying to be efficient.
|
|
#
|
|
proc sort {inlist} {
|
|
set outlist {}
|
|
set mn [lindex $inlist 0]
|
|
foreach x $inlist {
|
|
if {$x<$mn} {set mn $x}
|
|
}
|
|
set outlist $mn
|
|
set mx $mn
|
|
while {1} {
|
|
set valid 0
|
|
foreach x $inlist {
|
|
if {$x>$mx && (!$valid || $mn>$x)} {
|
|
set mn $x
|
|
set valid 1
|
|
}
|
|
}
|
|
if {!$valid} break
|
|
lappend outlist $mn
|
|
set mx $mn
|
|
}
|
|
return $outlist
|
|
}
|
|
|
|
# Reverse the order of a list
|
|
#
|
|
proc reverse {inlist} {
|
|
set i [llength $inlist]
|
|
set outlist {}
|
|
for {incr i -1} {$i>=0} {incr i -1} {
|
|
lappend outlist [lindex $inlist $i]
|
|
}
|
|
return $outlist
|
|
}
|
|
|
|
set nums1 [scramble [array names boundarynum]]
|
|
set nums2 [scramble [array names boundarynum]]
|
|
|
|
set tname boundary2
|
|
puts "do_test $tname-1.1 \173"
|
|
puts " db eval \173"
|
|
puts " CREATE TABLE t1(r INTEGER, a INTEGER, x TEXT);"
|
|
set a 0
|
|
foreach r $nums1 {
|
|
incr a
|
|
set t1ra($r) $a
|
|
set t1ar($a) $r
|
|
set x [format %08x%08x [expr {wide($r)>>32}] $r]
|
|
set t1rx($r) $x
|
|
set t1xr($x) $r
|
|
puts " INSERT INTO t1 VALUES($r,$a,'$x');"
|
|
}
|
|
puts " CREATE INDEX t1i1 ON t1(r);"
|
|
puts " CREATE INDEX t1i2 ON t1(a);"
|
|
puts " CREATE INDEX t1i3 ON t1(x);"
|
|
puts " \175"
|
|
puts "\175 {}"
|
|
|
|
puts "do_test $tname-1.2 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT count(*) FROM t1"
|
|
puts " \175"
|
|
puts "\175 {64}"
|
|
|
|
set nums3 $nums2
|
|
lappend nums3 9.22337303685477580800e+18
|
|
lappend nums3 -9.22337303685477580800e+18
|
|
|
|
set i 0
|
|
foreach r $nums3 {
|
|
incr i
|
|
|
|
if {abs($r)<9.22337203685477580800e+18} {
|
|
set x $t1rx($r)
|
|
set a $t1ra($r)
|
|
set r5 $r.5
|
|
set r0 $r.0
|
|
puts "do_test $tname-2.$i.1 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT * FROM t1 WHERE r=$r"
|
|
puts " \175"
|
|
puts "\175 {$r $a $x}"
|
|
puts "do_test $tname-2.$i.2 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT r, a FROM t1 WHERE x='$x'"
|
|
puts " \175"
|
|
puts "\175 {$r $a}"
|
|
puts "do_test $tname-2.$i.3 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT r, x FROM t1 WHERE a=$a"
|
|
puts " \175"
|
|
puts "\175 {$r $x}"
|
|
}
|
|
|
|
foreach op {> >= < <=} subno {gt ge lt le} {
|
|
|
|
################################################################ 2.x.y.1
|
|
set rset {}
|
|
set aset {}
|
|
foreach rx $nums2 {
|
|
if "\$rx $op \$r" {
|
|
lappend rset $rx
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.1 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY a"
|
|
puts " \175"
|
|
puts "\175 {[sort $aset]}"
|
|
|
|
################################################################ 2.x.y.2
|
|
puts "do_test $tname-2.$i.$subno.2 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY a DESC"
|
|
puts " \175"
|
|
puts "\175 {[reverse [sort $aset]]}"
|
|
|
|
################################################################ 2.x.y.3
|
|
set aset {}
|
|
foreach rx [sort $rset] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.3 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY r"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.4
|
|
set aset {}
|
|
foreach rx [reverse [sort $rset]] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.4 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY r DESC"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.5
|
|
set aset {}
|
|
set xset {}
|
|
foreach rx $rset {
|
|
lappend xset $t1rx($rx)
|
|
}
|
|
foreach x [sort $xset] {
|
|
set rx $t1xr($x)
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.5 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY x"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.10
|
|
if {abs($r)>9223372036854775808 || [string length $r5]>15} continue
|
|
set rset {}
|
|
set aset {}
|
|
foreach rx $nums2 {
|
|
if "\$rx $op \$r0" {
|
|
lappend rset $rx
|
|
}
|
|
}
|
|
foreach rx [sort $rset] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.10 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r0 ORDER BY r"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.11
|
|
set aset {}
|
|
foreach rx [reverse [sort $rset]] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.11 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r0 ORDER BY r DESC"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
|
|
################################################################ 2.x.y.12
|
|
set rset {}
|
|
set aset {}
|
|
foreach rx $nums2 {
|
|
if "\$rx $op \$r5" {
|
|
lappend rset $rx
|
|
}
|
|
}
|
|
foreach rx [sort $rset] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.12 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r5 ORDER BY r"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.13
|
|
set aset {}
|
|
foreach rx [reverse [sort $rset]] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-2.$i.$subno.13 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r5 ORDER BY r DESC"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
}
|
|
}
|
|
|
|
puts "do_test $tname-3.1 \173"
|
|
puts " db eval \173"
|
|
puts " DROP INDEX t1i1;"
|
|
puts " DROP INDEX t1i2;"
|
|
puts " DROP INDEX t1i3;"
|
|
puts " \175"
|
|
puts "\175 {}"
|
|
|
|
set i 0
|
|
foreach r $nums3 {
|
|
incr i
|
|
|
|
if {abs($r)<9.22337203685477580800e+18} {
|
|
set x $t1rx($r)
|
|
set a $t1ra($r)
|
|
set r5 $r.5
|
|
set r0 $r.0
|
|
puts "do_test $tname-4.$i.1 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT * FROM t1 WHERE r=$r"
|
|
puts " \175"
|
|
puts "\175 {$r $a $x}"
|
|
puts "do_test $tname-4.$i.2 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT r, a FROM t1 WHERE x='$x'"
|
|
puts " \175"
|
|
puts "\175 {$r $a}"
|
|
puts "do_test $tname-4.$i.3 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT r, x FROM t1 WHERE a=$a"
|
|
puts " \175"
|
|
puts "\175 {$r $x}"
|
|
}
|
|
|
|
foreach op {> >= < <=} subno {gt ge lt le} {
|
|
|
|
################################################################ 2.x.y.1
|
|
set rset {}
|
|
set aset {}
|
|
foreach rx $nums2 {
|
|
if "\$rx $op \$r" {
|
|
lappend rset $rx
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.1 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY a"
|
|
puts " \175"
|
|
puts "\175 {[sort $aset]}"
|
|
|
|
################################################################ 2.x.y.2
|
|
puts "do_test $tname-4.$i.$subno.2 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY a DESC"
|
|
puts " \175"
|
|
puts "\175 {[reverse [sort $aset]]}"
|
|
|
|
################################################################ 2.x.y.3
|
|
set aset {}
|
|
foreach rx [sort $rset] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.3 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY r"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.4
|
|
set aset {}
|
|
foreach rx [reverse [sort $rset]] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.4 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY r DESC"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.5
|
|
set aset {}
|
|
set xset {}
|
|
foreach rx $rset {
|
|
lappend xset $t1rx($rx)
|
|
}
|
|
foreach x [sort $xset] {
|
|
set rx $t1xr($x)
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.5 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r ORDER BY x"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.10
|
|
if {abs($r)>9223372036854775808 || [string length $r5]>15} continue
|
|
set rset {}
|
|
set aset {}
|
|
foreach rx $nums2 {
|
|
if "\$rx $op \$r0" {
|
|
lappend rset $rx
|
|
}
|
|
}
|
|
foreach rx [sort $rset] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.10 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r0 ORDER BY r"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.11
|
|
set aset {}
|
|
foreach rx [reverse [sort $rset]] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.11 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r0 ORDER BY r DESC"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
|
|
################################################################ 2.x.y.12
|
|
set rset {}
|
|
set aset {}
|
|
foreach rx $nums2 {
|
|
if "\$rx $op \$r5" {
|
|
lappend rset $rx
|
|
}
|
|
}
|
|
foreach rx [sort $rset] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.12 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r5 ORDER BY r"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
|
|
################################################################ 2.x.y.13
|
|
set aset {}
|
|
foreach rx [reverse [sort $rset]] {
|
|
lappend aset $t1ra($rx)
|
|
}
|
|
puts "do_test $tname-4.$i.$subno.13 \173"
|
|
puts " db eval \173"
|
|
puts " SELECT a FROM t1 WHERE r $op $r5 ORDER BY r DESC"
|
|
puts " \175"
|
|
puts "\175 {$aset}"
|
|
}
|
|
}
|
|
|
|
|
|
puts {finish_test}
|