# 2005 December 21 # # 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. The # focus of this script is descending indices. # # $Id: descidx1.test,v 1.9 2007/11/28 13:43:17 drh Exp $ # set testdir [file dirname $argv0] source $testdir/tester.tcl db eval {PRAGMA legacy_file_format=OFF} # This procedure sets the value of the file-format in file 'test.db' # to $newval. Also, the schema cookie is incremented. # proc set_file_format {newval} { set bt [btree_open test.db 10 0] btree_begin_transaction $bt set meta [btree_get_meta $bt] lset meta 2 $newval ;# File format lset meta 1 [expr [lindex $meta 1]+1] ;# Schema cookie eval "btree_update_meta $bt $meta" btree_commit $bt btree_close $bt } # This procedure returns the value of the file-format in file 'test.db'. # proc get_file_format {{fname test.db}} { set bt [btree_open $fname 10 0] set meta [btree_get_meta $bt] btree_close $bt lindex $meta 2 } # Verify that the file format starts as 4. # do_test descidx1-1.1 { execsql { CREATE TABLE t1(a,b); CREATE INDEX i1 ON t1(b ASC); } get_file_format } {4} do_test descidx1-1.2 { execsql { CREATE INDEX i2 ON t1(a DESC); } get_file_format } {4} # Put some information in the table and verify that the descending # index actually works. # do_test descidx1-2.1 { execsql { INSERT INTO t1 VALUES(1,1); INSERT INTO t1 VALUES(2,2); INSERT INTO t1 SELECT a+2, a+2 FROM t1; INSERT INTO t1 SELECT a+4, a+4 FROM t1; SELECT b FROM t1 WHERE a>3 AND a<7; } } {6 5 4} do_test descidx1-2.2 { execsql { SELECT a FROM t1 WHERE b>3 AND b<7; } } {4 5 6} do_test descidx1-2.3 { execsql { SELECT b FROM t1 WHERE a>=3 AND a<7; } } {6 5 4 3} do_test descidx1-2.4 { execsql { SELECT b FROM t1 WHERE a>3 AND a<=7; } } {7 6 5 4} do_test descidx1-2.5 { execsql { SELECT b FROM t1 WHERE a>=3 AND a<=7; } } {7 6 5 4 3} do_test descidx1-2.6 { execsql { SELECT a FROM t1 WHERE b>=3 AND b<=7; } } {3 4 5 6 7} # This procedure executes the SQL. Then it checks to see if the OP_Sort # opcode was executed. If an OP_Sort did occur, then "sort" is appended # to the result. If no OP_Sort happened, then "nosort" is appended. # # This procedure is used to check to make sure sorting is or is not # occurring as expected. # proc cksort {sql} { set ::sqlite_sort_count 0 set data [execsql $sql] if {$::sqlite_sort_count} {set x sort} {set x nosort} lappend data $x return $data } # Test sorting using a descending index. # do_test descidx1-3.1 { cksort {SELECT a FROM t1 ORDER BY a} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.2 { cksort {SELECT a FROM t1 ORDER BY a ASC} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.3 { cksort {SELECT a FROM t1 ORDER BY a DESC} } {8 7 6 5 4 3 2 1 nosort} do_test descidx1-3.4 { cksort {SELECT b FROM t1 ORDER BY a} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.5 { cksort {SELECT b FROM t1 ORDER BY a ASC} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.6 { cksort {SELECT b FROM t1 ORDER BY a DESC} } {8 7 6 5 4 3 2 1 nosort} do_test descidx1-3.7 { cksort {SELECT a FROM t1 ORDER BY b} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.8 { cksort {SELECT a FROM t1 ORDER BY b ASC} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.9 { cksort {SELECT a FROM t1 ORDER BY b DESC} } {8 7 6 5 4 3 2 1 nosort} do_test descidx1-3.10 { cksort {SELECT b FROM t1 ORDER BY b} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.11 { cksort {SELECT b FROM t1 ORDER BY b ASC} } {1 2 3 4 5 6 7 8 nosort} do_test descidx1-3.12 { cksort {SELECT b FROM t1 ORDER BY b DESC} } {8 7 6 5 4 3 2 1 nosort} do_test descidx1-3.21 { cksort {SELECT a FROM t1 WHERE a>3 AND a<8 ORDER BY a} } {4 5 6 7 nosort} do_test descidx1-3.22 { cksort {SELECT a FROM t1 WHERE a>3 AND a<8 ORDER BY a ASC} } {4 5 6 7 nosort} do_test descidx1-3.23 { cksort {SELECT a FROM t1 WHERE a>3 AND a<8 ORDER BY a DESC} } {7 6 5 4 nosort} do_test descidx1-3.24 { cksort {SELECT b FROM t1 WHERE a>3 AND a<8 ORDER BY a} } {4 5 6 7 nosort} do_test descidx1-3.25 { cksort {SELECT b FROM t1 WHERE a>3 AND a<8 ORDER BY a ASC} } {4 5 6 7 nosort} do_test descidx1-3.26 { cksort {SELECT b FROM t1 WHERE a>3 AND a<8 ORDER BY a DESC} } {7 6 5 4 nosort} # Create a table with indices that are descending on some terms and # ascending on others. # ifcapable bloblit { do_test descidx1-4.1 { execsql { CREATE TABLE t2(a INT, b TEXT, c BLOB, d REAL); CREATE INDEX i3 ON t2(a ASC, b DESC, c ASC); CREATE INDEX i4 ON t2(b DESC, a ASC, d DESC); INSERT INTO t2 VALUES(1,'one',x'31',1.0); INSERT INTO t2 VALUES(2,'two',x'3232',2.0); INSERT INTO t2 VALUES(3,'three',x'333333',3.0); INSERT INTO t2 VALUES(4,'four',x'34343434',4.0); INSERT INTO t2 VALUES(5,'five',x'3535353535',5.0); INSERT INTO t2 VALUES(6,'six',x'363636363636',6.0); INSERT INTO t2 VALUES(2,'two',x'323232',2.1); INSERT INTO t2 VALUES(2,'zwei',x'3232',2.2); INSERT INTO t2 VALUES(2,NULL,NULL,2.3); SELECT count(*) FROM t2; } } {9} do_test descidx1-4.2 { execsql { SELECT d FROM t2 ORDER BY a; } } {1.0 2.2 2.0 2.1 2.3 3.0 4.0 5.0 6.0} do_test descidx1-4.3 { execsql { SELECT d FROM t2 WHERE a>=2; } } {2.2 2.0 2.1 2.3 3.0 4.0 5.0 6.0} do_test descidx1-4.4 { execsql { SELECT d FROM t2 WHERE a>2; } } {3.0 4.0 5.0 6.0} do_test descidx1-4.5 { execsql { SELECT d FROM t2 WHERE a=2 AND b>'two'; } } {2.2} do_test descidx1-4.6 { execsql { SELECT d FROM t2 WHERE a=2 AND b>='two'; } } {2.2 2.0 2.1} do_test descidx1-4.7 { execsql { SELECT d FROM t2 WHERE a=2 AND b<'two'; } } {} do_test descidx1-4.8 { execsql { SELECT d FROM t2 WHERE a=2 AND b<='two'; } } {2.0 2.1} } do_test descidx1-5.1 { execsql { CREATE TABLE t3(a,b,c,d); CREATE INDEX t3i1 ON t3(a DESC, b ASC, c DESC, d ASC); INSERT INTO t3 VALUES(0,0,0,0); INSERT INTO t3 VALUES(0,0,0,1); INSERT INTO t3 VALUES(0,0,1,0); INSERT INTO t3 VALUES(0,0,1,1); INSERT INTO t3 VALUES(0,1,0,0); INSERT INTO t3 VALUES(0,1,0,1); INSERT INTO t3 VALUES(0,1,1,0); INSERT INTO t3 VALUES(0,1,1,1); INSERT INTO t3 VALUES(1,0,0,0); INSERT INTO t3 VALUES(1,0,0,1); INSERT INTO t3 VALUES(1,0,1,0); INSERT INTO t3 VALUES(1,0,1,1); INSERT INTO t3 VALUES(1,1,0,0); INSERT INTO t3 VALUES(1,1,0,1); INSERT INTO t3 VALUES(1,1,1,0); INSERT INTO t3 VALUES(1,1,1,1); SELECT count(*) FROM t3; } } {16} do_test descidx1-5.2 { cksort { SELECT a||b||c||d FROM t3 ORDER BY a,b,c,d; } } {0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111 sort} do_test descidx1-5.3 { cksort { SELECT a||b||c||d FROM t3 ORDER BY a DESC, b ASC, c DESC, d ASC; } } {1010 1011 1000 1001 1110 1111 1100 1101 0010 0011 0000 0001 0110 0111 0100 0101 nosort} do_test descidx1-5.4 { cksort { SELECT a||b||c||d FROM t3 ORDER BY a ASC, b DESC, c ASC, d DESC; } } {0101 0100 0111 0110 0001 0000 0011 0010 1101 1100 1111 1110 1001 1000 1011 1010 nosort} do_test descidx1-5.5 { cksort { SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a DESC, b ASC, c DESC } } {101 100 111 110 001 000 011 010 nosort} do_test descidx1-5.6 { cksort { SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a ASC, b DESC, c ASC } } {010 011 000 001 110 111 100 101 nosort} do_test descidx1-5.7 { cksort { SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a ASC, b DESC, c DESC } } {011 010 001 000 111 110 101 100 sort} do_test descidx1-5.8 { cksort { SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a ASC, b ASC, c ASC } } {000 001 010 011 100 101 110 111 sort} do_test descidx1-5.9 { cksort { SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a DESC, b DESC, c ASC } } {110 111 100 101 010 011 000 001 sort} # Test the legacy_file_format pragma here because we have access to # the get_file_format command. # ifcapable legacyformat { do_test descidx1-6.1 { db close file delete -force test.db test.db-journal sqlite3 db test.db execsql {PRAGMA legacy_file_format} } {1} } else { do_test descidx1-6.1 { db close file delete -force test.db test.db-journal sqlite3 db test.db execsql {PRAGMA legacy_file_format} } {0} } do_test descidx1-6.2 { execsql {PRAGMA legacy_file_format=YES} execsql {PRAGMA legacy_file_format} } {1} do_test descidx1-6.3 { execsql { CREATE TABLE t1(a,b,c); } get_file_format } {1} ifcapable vacuum { # Verify that the file format is preserved across a vacuum. do_test descidx1-6.3.1 { execsql {VACUUM} get_file_format } {1} } do_test descidx1-6.4 { db close file delete -force test.db test.db-journal sqlite3 db test.db execsql {PRAGMA legacy_file_format=NO} execsql {PRAGMA legacy_file_format} } {0} do_test descidx1-6.5 { execsql { CREATE TABLE t1(a,b,c); CREATE INDEX i1 ON t1(a ASC, b DESC, c ASC); INSERT INTO t1 VALUES(1,2,3); INSERT INTO t1 VALUES(1,1,0); INSERT INTO t1 VALUES(1,2,1); INSERT INTO t1 VALUES(1,3,4); } get_file_format } {4} ifcapable vacuum { # Verify that the file format is preserved across a vacuum. do_test descidx1-6.6 { execsql {VACUUM} get_file_format } {4} do_test descidx1-6.7 { execsql { PRAGMA legacy_file_format=ON; VACUUM; } get_file_format } {4} } finish_test