summaryrefslogtreecommitdiff
path: root/test/boundary2.tcl
diff options
context:
space:
mode:
Diffstat (limited to 'test/boundary2.tcl')
-rw-r--r--test/boundary2.tcl445
1 files changed, 445 insertions, 0 deletions
diff --git a/test/boundary2.tcl b/test/boundary2.tcl
new file mode 100644
index 0000000..b141166
--- /dev/null
+++ b/test/boundary2.tcl
@@ -0,0 +1,445 @@
+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}
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-08 21:23:11 +0000