sl@0: # 2001 September 15
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library.  The
sl@0: # focus of this file is testing the magic ROWID column that is
sl@0: # found on all tables.
sl@0: #
sl@0: # $Id: rowid.test,v 1.20 2008/01/19 20:11:26 drh Exp $
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: # Basic ROWID functionality tests.
sl@0: #
sl@0: do_test rowid-1.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t1(x int, y int);
sl@0:     INSERT INTO t1 VALUES(1,2);
sl@0:     INSERT INTO t1 VALUES(3,4);
sl@0:     SELECT x FROM t1 ORDER BY y;
sl@0:   }
sl@0: } {1 3}
sl@0: do_test rowid-1.2 {
sl@0:   set r [execsql {SELECT rowid FROM t1 ORDER BY x}]
sl@0:   global x2rowid rowid2x
sl@0:   set x2rowid(1) [lindex $r 0]
sl@0:   set x2rowid(3) [lindex $r 1]
sl@0:   set rowid2x($x2rowid(1)) 1
sl@0:   set rowid2x($x2rowid(3)) 3
sl@0:   llength $r
sl@0: } {2}
sl@0: do_test rowid-1.3 {
sl@0:   global x2rowid
sl@0:   set sql "SELECT x FROM t1 WHERE rowid==$x2rowid(1)"
sl@0:   execsql $sql
sl@0: } {1}
sl@0: do_test rowid-1.4 {
sl@0:   global x2rowid
sl@0:   set sql "SELECT x FROM t1 WHERE rowid==$x2rowid(3)"
sl@0:   execsql $sql
sl@0: } {3}
sl@0: do_test rowid-1.5 {
sl@0:   global x2rowid
sl@0:   set sql "SELECT x FROM t1 WHERE oid==$x2rowid(1)"
sl@0:   execsql $sql
sl@0: } {1}
sl@0: do_test rowid-1.6 {
sl@0:   global x2rowid
sl@0:   set sql "SELECT x FROM t1 WHERE OID==$x2rowid(3)"
sl@0:   execsql $sql
sl@0: } {3}
sl@0: do_test rowid-1.7 {
sl@0:   global x2rowid
sl@0:   set sql "SELECT x FROM t1 WHERE _rowid_==$x2rowid(1)"
sl@0:   execsql $sql
sl@0: } {1}
sl@0: do_test rowid-1.7.1 {
sl@0:   while 1 {
sl@0:     set norow [expr {int(rand()*1000000)}]
sl@0:     if {$norow!=$x2rowid(1) && $norow!=$x2rowid(3)} break
sl@0:   }
sl@0:   execsql "SELECT x FROM t1 WHERE rowid=$norow"
sl@0: } {}
sl@0: do_test rowid-1.8 {
sl@0:   global x2rowid
sl@0:   set v [execsql {SELECT x, oid FROM t1 order by x}]
sl@0:   set v2 [list 1 $x2rowid(1) 3 $x2rowid(3)]
sl@0:   expr {$v==$v2}
sl@0: } {1}
sl@0: do_test rowid-1.9 {
sl@0:   global x2rowid
sl@0:   set v [execsql {SELECT x, RowID FROM t1 order by x}]
sl@0:   set v2 [list 1 $x2rowid(1) 3 $x2rowid(3)]
sl@0:   expr {$v==$v2}
sl@0: } {1}
sl@0: do_test rowid-1.10 {
sl@0:   global x2rowid
sl@0:   set v [execsql {SELECT x, _rowid_ FROM t1 order by x}]
sl@0:   set v2 [list 1 $x2rowid(1) 3 $x2rowid(3)]
sl@0:   expr {$v==$v2}
sl@0: } {1}
sl@0: 
sl@0: # We can insert or update the ROWID column.
sl@0: #
sl@0: do_test rowid-2.1 {
sl@0:   catchsql {
sl@0:     INSERT INTO t1(rowid,x,y) VALUES(1234,5,6);
sl@0:     SELECT rowid, * FROM t1;
sl@0:   }
sl@0: } {0 {1 1 2 2 3 4 1234 5 6}}
sl@0: do_test rowid-2.2 {
sl@0:   catchsql {
sl@0:     UPDATE t1 SET rowid=12345 WHERE x==1;
sl@0:     SELECT rowid, * FROM t1
sl@0:   }
sl@0: } {0 {2 3 4 1234 5 6 12345 1 2}}
sl@0: do_test rowid-2.3 {
sl@0:   catchsql {
sl@0:     INSERT INTO t1(y,x,oid) VALUES(8,7,1235);
sl@0:     SELECT rowid, * FROM t1 WHERE rowid>1000;
sl@0:   }
sl@0: } {0 {1234 5 6 1235 7 8 12345 1 2}}
sl@0: do_test rowid-2.4 {
sl@0:   catchsql {
sl@0:     UPDATE t1 SET oid=12346 WHERE x==1;
sl@0:     SELECT rowid, * FROM t1;
sl@0:   }
sl@0: } {0 {2 3 4 1234 5 6 1235 7 8 12346 1 2}}
sl@0: do_test rowid-2.5 {
sl@0:   catchsql {
sl@0:     INSERT INTO t1(x,_rowid_,y) VALUES(9,1236,10);
sl@0:     SELECT rowid, * FROM t1 WHERE rowid>1000;
sl@0:   }
sl@0: } {0 {1234 5 6 1235 7 8 1236 9 10 12346 1 2}}
sl@0: do_test rowid-2.6 {
sl@0:   catchsql {
sl@0:     UPDATE t1 SET _rowid_=12347 WHERE x==1;
sl@0:     SELECT rowid, * FROM t1 WHERE rowid>1000;
sl@0:   }
sl@0: } {0 {1234 5 6 1235 7 8 1236 9 10 12347 1 2}}
sl@0: 
sl@0: # But we can use ROWID in the WHERE clause of an UPDATE that does not
sl@0: # change the ROWID.
sl@0: #
sl@0: do_test rowid-2.7 {
sl@0:   global x2rowid
sl@0:   set sql "UPDATE t1 SET x=2 WHERE OID==$x2rowid(3)"
sl@0:   execsql $sql
sl@0:   execsql {SELECT x FROM t1 ORDER BY x}
sl@0: } {1 2 5 7 9}
sl@0: do_test rowid-2.8 {
sl@0:   global x2rowid
sl@0:   set sql "UPDATE t1 SET x=3 WHERE _rowid_==$x2rowid(3)"
sl@0:   execsql $sql
sl@0:   execsql {SELECT x FROM t1 ORDER BY x}
sl@0: } {1 3 5 7 9}
sl@0: 
sl@0: # We cannot index by ROWID
sl@0: #
sl@0: do_test rowid-2.9 {
sl@0:   set v [catch {execsql {CREATE INDEX idxt1 ON t1(rowid)}} msg]
sl@0:   lappend v $msg
sl@0: } {1 {table t1 has no column named rowid}}
sl@0: do_test rowid-2.10 {
sl@0:   set v [catch {execsql {CREATE INDEX idxt1 ON t1(_rowid_)}} msg]
sl@0:   lappend v $msg
sl@0: } {1 {table t1 has no column named _rowid_}}
sl@0: do_test rowid-2.11 {
sl@0:   set v [catch {execsql {CREATE INDEX idxt1 ON t1(oid)}} msg]
sl@0:   lappend v $msg
sl@0: } {1 {table t1 has no column named oid}}
sl@0: do_test rowid-2.12 {
sl@0:   set v [catch {execsql {CREATE INDEX idxt1 ON t1(x, rowid)}} msg]
sl@0:   lappend v $msg
sl@0: } {1 {table t1 has no column named rowid}}
sl@0: 
sl@0: # Columns defined in the CREATE statement override the buildin ROWID
sl@0: # column names.
sl@0: #
sl@0: do_test rowid-3.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t2(rowid int, x int, y int);
sl@0:     INSERT INTO t2 VALUES(0,2,3);
sl@0:     INSERT INTO t2 VALUES(4,5,6);
sl@0:     INSERT INTO t2 VALUES(7,8,9);
sl@0:     SELECT * FROM t2 ORDER BY x;
sl@0:   }
sl@0: } {0 2 3 4 5 6 7 8 9}
sl@0: do_test rowid-3.2 {
sl@0:   execsql {SELECT * FROM t2 ORDER BY rowid}
sl@0: } {0 2 3 4 5 6 7 8 9}
sl@0: do_test rowid-3.3 {
sl@0:   execsql {SELECT rowid, x, y FROM t2 ORDER BY rowid}
sl@0: } {0 2 3 4 5 6 7 8 9}
sl@0: do_test rowid-3.4 {
sl@0:   set r1 [execsql {SELECT _rowid_, rowid FROM t2 ORDER BY rowid}]
sl@0:   foreach {a b c d e f} $r1 {}
sl@0:   set r2 [execsql {SELECT _rowid_, rowid FROM t2 ORDER BY x DESC}]
sl@0:   foreach {u v w x y z} $r2 {}
sl@0:   expr {$u==$e && $w==$c && $y==$a}
sl@0: } {1}
sl@0: # sqlite3 v3 - do_probtest doesn't exist anymore?
sl@0: if 0 {
sl@0: do_probtest rowid-3.5 {
sl@0:   set r1 [execsql {SELECT _rowid_, rowid FROM t2 ORDER BY rowid}]
sl@0:   foreach {a b c d e f} $r1 {}
sl@0:   expr {$a!=$b && $c!=$d && $e!=$f}
sl@0: } {1}
sl@0: }
sl@0: 
sl@0: # Let's try some more complex examples, including some joins.
sl@0: #
sl@0: do_test rowid-4.1 {
sl@0:   execsql {
sl@0:     DELETE FROM t1;
sl@0:     DELETE FROM t2;
sl@0:   }
sl@0:   for {set i 1} {$i<=50} {incr i} {
sl@0:     execsql "INSERT INTO t1(x,y) VALUES($i,[expr {$i*$i}])"
sl@0:   }
sl@0:   execsql {INSERT INTO t2 SELECT _rowid_, x*y, y*y FROM t1}
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t1.x==4 AND t1.rowid==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t1.x==4 AND t1.rowid==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2.1 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t1.x==4 AND t1.oid==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2.2 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t1.x==4 AND t1._rowid_==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2.3 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t1.x==4 AND t2.rowid==t1.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2.4 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t2.rowid==t1.oid AND t1.x==4}
sl@0: } {256}
sl@0: do_test rowid-4.2.5 {
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t1.x==4 AND t1._rowid_==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2.6 {
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t1.x==4 AND t2.rowid==t1.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.2.7 {
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t2.rowid==t1.oid AND t1.x==4}
sl@0: } {256}
sl@0: do_test rowid-4.3 {
sl@0:   execsql {CREATE INDEX idxt1 ON t1(x)}
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t1.x==4 AND t1.rowid==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.3.1 {
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t1.x==4 AND t1._rowid_==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.3.2 {
sl@0:   execsql {SELECT t2.y FROM t1, t2 WHERE t2.rowid==t1.oid AND 4==t1.x}
sl@0: } {256}
sl@0: do_test rowid-4.4 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t1.x==4 AND t1.rowid==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.4.1 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t1.x==4 AND t1._rowid_==t2.rowid}
sl@0: } {256}
sl@0: do_test rowid-4.4.2 {
sl@0:   execsql {SELECT t2.y FROM t2, t1 WHERE t2.rowid==t1.oid AND 4==t1.x}
sl@0: } {256}
sl@0: do_test rowid-4.5 {
sl@0:   execsql {CREATE INDEX idxt2 ON t2(y)}
sl@0:   set sqlite_search_count 0
sl@0:   concat [execsql {
sl@0:     SELECT t1.x FROM t2, t1 
sl@0:     WHERE t2.y==256 AND t1.rowid==t2.rowid
sl@0:   }] $sqlite_search_count
sl@0: } {4 3}
sl@0: do_test rowid-4.5.1 {
sl@0:   set sqlite_search_count 0
sl@0:   concat [execsql {
sl@0:     SELECT t1.x FROM t2, t1 
sl@0:     WHERE t1.OID==t2.rowid AND t2.y==81
sl@0:   }] $sqlite_search_count
sl@0: } {3 3}
sl@0: do_test rowid-4.6 {
sl@0:   execsql {
sl@0:     SELECT t1.x FROM t1, t2
sl@0:     WHERE t2.y==256 AND t1.rowid==t2.rowid
sl@0:   }
sl@0: } {4}
sl@0: 
sl@0: do_test rowid-5.1.1 {
sl@0:   ifcapable subquery {
sl@0:     execsql {DELETE FROM t1 WHERE _rowid_ IN (SELECT oid FROM t1 WHERE x>8)}
sl@0:   } else {
sl@0:     set oids [execsql {SELECT oid FROM t1 WHERE x>8}]
sl@0:     set where "_rowid_ = [join $oids { OR _rowid_ = }]"
sl@0:     execsql "DELETE FROM t1 WHERE $where"
sl@0:   }
sl@0: } {}
sl@0: do_test rowid-5.1.2 {
sl@0:   execsql {SELECT max(x) FROM t1}
sl@0: } {8}
sl@0: 
sl@0: # Make sure a "WHERE rowid=X" clause works when there is no ROWID of X.
sl@0: #
sl@0: do_test rowid-6.1 {
sl@0:   execsql {
sl@0:     SELECT x FROM t1
sl@0:   }
sl@0: } {1 2 3 4 5 6 7 8}
sl@0: do_test rowid-6.2 {
sl@0:   for {set ::norow 1} {1} {incr ::norow} {
sl@0:     if {[execsql "SELECT x FROM t1 WHERE rowid=$::norow"]==""}  break
sl@0:   }
sl@0:   execsql [subst {
sl@0:     DELETE FROM t1 WHERE rowid=$::norow
sl@0:   }]
sl@0: } {}
sl@0: do_test rowid-6.3 {
sl@0:   execsql {
sl@0:     SELECT x FROM t1
sl@0:   }
sl@0: } {1 2 3 4 5 6 7 8}
sl@0: 
sl@0: # Beginning with version 2.3.4, SQLite computes rowids of new rows by
sl@0: # finding the maximum current rowid and adding one.  It falls back to
sl@0: # the old random algorithm if the maximum rowid is the largest integer.
sl@0: # The following tests are for this new behavior.
sl@0: #
sl@0: do_test rowid-7.0 {
sl@0:   execsql {
sl@0:     DELETE FROM t1;
sl@0:     DROP TABLE t2;
sl@0:     DROP INDEX idxt1;
sl@0:     INSERT INTO t1 VALUES(1,2);
sl@0:     SELECT rowid, * FROM t1;
sl@0:   }
sl@0: } {1 1 2}
sl@0: do_test rowid-7.1 {
sl@0:   execsql {
sl@0:     INSERT INTO t1 VALUES(99,100);
sl@0:     SELECT rowid,* FROM t1
sl@0:   }
sl@0: } {1 1 2 2 99 100}
sl@0: do_test rowid-7.2 {
sl@0:   execsql {
sl@0:     CREATE TABLE t2(a INTEGER PRIMARY KEY, b);
sl@0:     INSERT INTO t2(b) VALUES(55);
sl@0:     SELECT * FROM t2;
sl@0:   }
sl@0: } {1 55}
sl@0: do_test rowid-7.3 {
sl@0:   execsql {
sl@0:     INSERT INTO t2(b) VALUES(66);
sl@0:     SELECT * FROM t2;
sl@0:   }
sl@0: } {1 55 2 66}
sl@0: do_test rowid-7.4 {
sl@0:   execsql {
sl@0:     INSERT INTO t2(a,b) VALUES(1000000,77);
sl@0:     INSERT INTO t2(b) VALUES(88);
sl@0:     SELECT * FROM t2;
sl@0:   }
sl@0: } {1 55 2 66 1000000 77 1000001 88}
sl@0: do_test rowid-7.5 {
sl@0:   execsql {
sl@0:     INSERT INTO t2(a,b) VALUES(2147483647,99);
sl@0:     INSERT INTO t2(b) VALUES(11);
sl@0:     SELECT b FROM t2 ORDER BY b;
sl@0:   }
sl@0: } {11 55 66 77 88 99}
sl@0: ifcapable subquery {
sl@0:   do_test rowid-7.6 {
sl@0:     execsql {
sl@0:       SELECT b FROM t2 WHERE a NOT IN(1,2,1000000,1000001,2147483647);
sl@0:     }
sl@0:   } {11}
sl@0:   do_test rowid-7.7 {
sl@0:     execsql {
sl@0:       INSERT INTO t2(b) VALUES(22);
sl@0:       INSERT INTO t2(b) VALUES(33);
sl@0:       INSERT INTO t2(b) VALUES(44);
sl@0:       INSERT INTO t2(b) VALUES(55);
sl@0:       SELECT b FROM t2 WHERE a NOT IN(1,2,1000000,1000001,2147483647) 
sl@0:           ORDER BY b;
sl@0:     }
sl@0:   } {11 22 33 44 55}
sl@0: }
sl@0: do_test rowid-7.8 {
sl@0:   execsql {
sl@0:     DELETE FROM t2 WHERE a!=2;
sl@0:     INSERT INTO t2(b) VALUES(111);
sl@0:     SELECT * FROM t2;
sl@0:   }
sl@0: } {2 66 3 111}
sl@0: 
sl@0: ifcapable {trigger} {
sl@0: # Make sure AFTER triggers that do INSERTs do not change the last_insert_rowid.
sl@0: # Ticket #290
sl@0: #
sl@0: do_test rowid-8.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t3(a integer primary key);
sl@0:     CREATE TABLE t4(x);
sl@0:     INSERT INTO t4 VALUES(1);
sl@0:     CREATE TRIGGER r3 AFTER INSERT on t3 FOR EACH ROW BEGIN
sl@0:       INSERT INTO t4 VALUES(NEW.a+10);
sl@0:     END;
sl@0:     SELECT * FROM t3;
sl@0:   }
sl@0: } {}
sl@0: do_test rowid-8.2 {
sl@0:   execsql {
sl@0:     SELECT rowid, * FROM t4;
sl@0:   }
sl@0: } {1 1}
sl@0: do_test rowid-8.3 {
sl@0:   execsql {
sl@0:     INSERT INTO t3 VALUES(123);
sl@0:     SELECT last_insert_rowid();
sl@0:   }
sl@0: } {123}
sl@0: do_test rowid-8.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3;
sl@0:   }
sl@0: } {123}
sl@0: do_test rowid-8.5 {
sl@0:   execsql {
sl@0:     SELECT rowid, * FROM t4;
sl@0:   }
sl@0: } {1 1 2 133}
sl@0: do_test rowid-8.6 {
sl@0:   execsql {
sl@0:     INSERT INTO t3 VALUES(NULL);
sl@0:     SELECT last_insert_rowid();
sl@0:   }
sl@0: } {124}
sl@0: do_test rowid-8.7 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3;
sl@0:   }
sl@0: } {123 124}
sl@0: do_test rowid-8.8 {
sl@0:   execsql {
sl@0:     SELECT rowid, * FROM t4;
sl@0:   }
sl@0: } {1 1 2 133 3 134}
sl@0: } ;# endif trigger
sl@0: 
sl@0: # If triggers are not enable, simulate their effect for the tests that
sl@0: # follow.
sl@0: ifcapable {!trigger} {
sl@0:   execsql {
sl@0:     CREATE TABLE t3(a integer primary key);
sl@0:     INSERT INTO t3 VALUES(123);
sl@0:     INSERT INTO t3 VALUES(124);
sl@0:   }
sl@0: }
sl@0: 
sl@0: # ticket #377: Comparison between integer primiary key and floating point
sl@0: # values.
sl@0: #
sl@0: do_test rowid-9.1 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a<123.5
sl@0:   }
sl@0: } {123}
sl@0: do_test rowid-9.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a<124.5
sl@0:   }
sl@0: } {123 124}
sl@0: do_test rowid-9.3 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a>123.5
sl@0:   }
sl@0: } {124}
sl@0: do_test rowid-9.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a>122.5
sl@0:   }
sl@0: } {123 124}
sl@0: do_test rowid-9.5 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a==123.5
sl@0:   }
sl@0: } {}
sl@0: do_test rowid-9.6 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a==123.000
sl@0:   }
sl@0: } {123}
sl@0: do_test rowid-9.7 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a>100.5 AND a<200.5
sl@0:   }
sl@0: } {123 124}
sl@0: do_test rowid-9.8 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a>'xyz';
sl@0:   }
sl@0: } {}
sl@0: do_test rowid-9.9 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a<'xyz';
sl@0:   }
sl@0: } {123 124}
sl@0: do_test rowid-9.10 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE a>=122.9 AND a<=123.1
sl@0:   }
sl@0: } {123}
sl@0: 
sl@0: # Ticket #567.  Comparisons of ROWID or integery primary key against
sl@0: # floating point numbers still do not always work.
sl@0: #
sl@0: do_test rowid-10.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t5(a);
sl@0:     INSERT INTO t5 VALUES(1);
sl@0:     INSERT INTO t5 VALUES(2);
sl@0:     INSERT INTO t5 SELECT a+2 FROM t5;
sl@0:     INSERT INTO t5 SELECT a+4 FROM t5;
sl@0:     SELECT rowid, * FROM t5;
sl@0:   }
sl@0: } {1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8}
sl@0: do_test rowid-10.2 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>=5.5}
sl@0: } {6 6 7 7 8 8}
sl@0: do_test rowid-10.3 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>=5.0}
sl@0: } {5 5 6 6 7 7 8 8}
sl@0: do_test rowid-10.4 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>5.5}
sl@0: } {6 6 7 7 8 8}
sl@0: do_test rowid-10.3.2 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>5.0}
sl@0: } {6 6 7 7 8 8}
sl@0: do_test rowid-10.5 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5<=rowid}
sl@0: } {6 6 7 7 8 8}
sl@0: do_test rowid-10.6 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5<rowid}
sl@0: } {6 6 7 7 8 8}
sl@0: do_test rowid-10.7 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid<=5.5}
sl@0: } {1 1 2 2 3 3 4 4 5 5}
sl@0: do_test rowid-10.8 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid<5.5}
sl@0: } {1 1 2 2 3 3 4 4 5 5}
sl@0: do_test rowid-10.9 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5>=rowid}
sl@0: } {1 1 2 2 3 3 4 4 5 5}
sl@0: do_test rowid-10.10 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5>rowid}
sl@0: } {1 1 2 2 3 3 4 4 5 5}
sl@0: do_test rowid-10.11 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>=5.5 ORDER BY rowid DESC}
sl@0: } {8 8 7 7 6 6}
sl@0: do_test rowid-10.11.2 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>=5.0 ORDER BY rowid DESC}
sl@0: } {8 8 7 7 6 6 5 5}
sl@0: do_test rowid-10.12 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>5.5 ORDER BY rowid DESC}
sl@0: } {8 8 7 7 6 6}
sl@0: do_test rowid-10.12.2 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>5.0 ORDER BY rowid DESC}
sl@0: } {8 8 7 7 6 6}
sl@0: do_test rowid-10.13 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5<=rowid ORDER BY rowid DESC}
sl@0: } {8 8 7 7 6 6}
sl@0: do_test rowid-10.14 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5<rowid ORDER BY rowid DESC}
sl@0: } {8 8 7 7 6 6}
sl@0: do_test rowid-10.15 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid<=5.5 ORDER BY rowid DESC}
sl@0: } {5 5 4 4 3 3 2 2 1 1}
sl@0: do_test rowid-10.16 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid<5.5 ORDER BY rowid DESC}
sl@0: } {5 5 4 4 3 3 2 2 1 1}
sl@0: do_test rowid-10.17 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5>=rowid ORDER BY rowid DESC}
sl@0: } {5 5 4 4 3 3 2 2 1 1}
sl@0: do_test rowid-10.18 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE 5.5>rowid ORDER BY rowid DESC}
sl@0: } {5 5 4 4 3 3 2 2 1 1}
sl@0: 
sl@0: do_test rowid-10.30 {
sl@0:   execsql {
sl@0:     CREATE TABLE t6(a);
sl@0:     INSERT INTO t6(rowid,a) SELECT -a,a FROM t5;
sl@0:     SELECT rowid, * FROM t6;
sl@0:   }
sl@0: } {-8 8 -7 7 -6 6 -5 5 -4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.31.1 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>=-5.5}
sl@0: } {-5 5 -4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.31.2 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>=-5.0}
sl@0: } {-5 5 -4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.32.1 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>=-5.5 ORDER BY rowid DESC}
sl@0: } {-1 1 -2 2 -3 3 -4 4 -5 5}
sl@0: do_test rowid-10.32.1 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>=-5.0 ORDER BY rowid DESC}
sl@0: } {-1 1 -2 2 -3 3 -4 4 -5 5}
sl@0: do_test rowid-10.33 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5<=rowid}
sl@0: } {-5 5 -4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.34 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5<=rowid ORDER BY rowid DESC}
sl@0: } {-1 1 -2 2 -3 3 -4 4 -5 5}
sl@0: do_test rowid-10.35.1 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>-5.5}
sl@0: } {-5 5 -4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.35.2 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>-5.0}
sl@0: } {-4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.36.1 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>-5.5 ORDER BY rowid DESC}
sl@0: } {-1 1 -2 2 -3 3 -4 4 -5 5}
sl@0: do_test rowid-10.36.2 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid>-5.0 ORDER BY rowid DESC}
sl@0: } {-1 1 -2 2 -3 3 -4 4}
sl@0: do_test rowid-10.37 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5<rowid}
sl@0: } {-5 5 -4 4 -3 3 -2 2 -1 1}
sl@0: do_test rowid-10.38 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5<rowid ORDER BY rowid DESC}
sl@0: } {-1 1 -2 2 -3 3 -4 4 -5 5}
sl@0: do_test rowid-10.39 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid<=-5.5}
sl@0: } {-8 8 -7 7 -6 6}
sl@0: do_test rowid-10.40 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid<=-5.5 ORDER BY rowid DESC}
sl@0: } {-6 6 -7 7 -8 8}
sl@0: do_test rowid-10.41 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5>=rowid}
sl@0: } {-8 8 -7 7 -6 6}
sl@0: do_test rowid-10.42 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5>=rowid ORDER BY rowid DESC}
sl@0: } {-6 6 -7 7 -8 8}
sl@0: do_test rowid-10.43 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid<-5.5}
sl@0: } {-8 8 -7 7 -6 6}
sl@0: do_test rowid-10.44 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE rowid<-5.5 ORDER BY rowid DESC}
sl@0: } {-6 6 -7 7 -8 8}
sl@0: do_test rowid-10.44 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5>rowid}
sl@0: } {-8 8 -7 7 -6 6}
sl@0: do_test rowid-10.46 {
sl@0:   execsql {SELECT rowid, a FROM t6 WHERE -5.5>rowid ORDER BY rowid DESC}
sl@0: } {-6 6 -7 7 -8 8}
sl@0: 
sl@0: # Comparison of rowid against string values.
sl@0: #
sl@0: do_test rowid-11.1 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>'abc'}
sl@0: } {}
sl@0: do_test rowid-11.2 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid>='abc'}
sl@0: } {}
sl@0: do_test rowid-11.3 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid<'abc'}
sl@0: } {1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8}
sl@0: do_test rowid-11.4 {
sl@0:   execsql {SELECT rowid, a FROM t5 WHERE rowid<='abc'}
sl@0: } {1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8}
sl@0: 
sl@0: # Test the automatic generation of rowids when the table already contains
sl@0: # a rowid with the maximum value.
sl@0: #
sl@0: # Once the the maximum rowid is taken, rowids are normally chosen at
sl@0: # random.  By by reseting the random number generator, we can cause
sl@0: # the rowid guessing loop to collide with prior rowids, and test the
sl@0: # loop out to its limit of 100 iterations.  After 100 collisions, the
sl@0: # rowid guesser gives up and reports SQLITE_FULL.
sl@0: #
sl@0: do_test rowid-12.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t7(x INTEGER PRIMARY KEY, y);
sl@0:     INSERT INTO t7 VALUES(9223372036854775807,'a');
sl@0:     SELECT y FROM t7;
sl@0:   }
sl@0: } {a}
sl@0: do_test rowid-12.2 {
sl@0:   db close
sl@0:   sqlite3 db test.db
sl@0:   save_prng_state
sl@0:   execsql {
sl@0:     INSERT INTO t7 VALUES(NULL,'b');
sl@0:     SELECT x, y FROM t7;
sl@0:   }
sl@0: } {1 b 9223372036854775807 a}
sl@0: execsql {INSERT INTO t7 VALUES(2,'y');}
sl@0: for {set i 1} {$i<=101} {incr i} {
sl@0:   do_test rowid-12.3.$i {
sl@0:     restore_prng_state
sl@0:     execsql {
sl@0:       INSERT INTO t7 VALUES(NULL,'x');
sl@0:       INSERT OR IGNORE INTO t7 VALUES(last_insert_rowid()+1,'y');
sl@0:       SELECT count(*) FROM t7 WHERE y=='x';
sl@0:     }
sl@0:   } $i
sl@0: }
sl@0: do_test rowid-12.4 {
sl@0:   restore_prng_state
sl@0:   catchsql {
sl@0:     INSERT INTO t7 VALUES(NULL,'x');
sl@0:   }
sl@0: } {1 {database or disk is full}}
sl@0: 
sl@0: 
sl@0: finish_test