/test/boundary2.tcl
TCL | 445 lines | 363 code | 40 blank | 42 comment | 21 complexity | dcef8abe195a2cd34d19ac499adb76a8 MD5 | raw file
- 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:$
- 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}