diff options
Diffstat (limited to 'test/scanstatus.test')
| -rw-r--r-- | test/scanstatus.test | 417 |
1 files changed, 417 insertions, 0 deletions
diff --git a/test/scanstatus.test b/test/scanstatus.test new file mode 100644 index 0000000..549e7fd --- /dev/null +++ b/test/scanstatus.test @@ -0,0 +1,417 @@ +# 2014 November 1 +# +# 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. +# +#*********************************************************************** +# + +set testdir [file dirname $argv0] +source $testdir/tester.tcl +set testprefix scanstatus + +ifcapable !scanstatus { + finish_test + return +} + +do_execsql_test 1.0 { + CREATE TABLE t1(a, b); + CREATE TABLE t2(x, y); + INSERT INTO t1 VALUES(1, 2); + INSERT INTO t1 VALUES(3, 4); + INSERT INTO t2 VALUES('a', 'b'); + INSERT INTO t2 VALUES('c', 'd'); + INSERT INTO t2 VALUES('e', 'f'); +} + +proc do_scanstatus_test {tn res} { + set stmt [db version -last-stmt-ptr] + set idx 0 + set ret [list] + while {1} { + set r [sqlite3_stmt_scanstatus $stmt $idx] + if {[llength $r]==0} break + foreach v {nLoop nVisit nEst zName zExplain} { + lappend ret $v [dict get $r $v] + } + incr idx + } + + uplevel [list do_test $tn [list set {} $ret] [list {*}$res]] +} + +do_execsql_test 1.1a { SELECT count(*) FROM t1, t2; } 6 +do_scanstatus_test 1.1b { + nLoop 1 nVisit 2 nEst 1048576.0 zName t1 zExplain {SCAN t1} + nLoop 2 nVisit 6 nEst 1048576.0 zName t2 zExplain {SCAN t2} +} + +sqlite3_db_config db STMT_SCANSTATUS 0 + +do_execsql_test 1.2a { SELECT count(*) FROM t1, t2; } 6 +do_scanstatus_test 1.2b { +} + +sqlite3_db_config db STMT_SCANSTATUS 1 + +do_execsql_test 1.3 { + ANALYZE; + SELECT count(*) FROM t1, t2; +} 6 +do_scanstatus_test 1.4 { + nLoop 1 nVisit 2 nEst 2.0 zName t1 zExplain {SCAN t1} + nLoop 2 nVisit 6 nEst 3.0 zName t2 zExplain {SCAN t2} +} + +do_execsql_test 1.5 { ANALYZE } +do_execsql_test 1.6 { + SELECT count(*) FROM t1, t2 WHERE t2.rowid>1; +} 4 +do_scanstatus_test 1.7 { + nLoop 1 nVisit 2 nEst 2.0 zName t2 zExplain + {SEARCH t2 USING INTEGER PRIMARY KEY (rowid>?)} + nLoop 2 nVisit 4 nEst 2.0 zName t1 zExplain {SCAN t1} +} + +do_execsql_test 1.8 { + SELECT count(*) FROM t1, t2 WHERE t2.rowid>1; +} 4 + +do_scanstatus_test 1.9 { + nLoop 2 nVisit 4 nEst 2.0 zName t2 zExplain + {SEARCH t2 USING INTEGER PRIMARY KEY (rowid>?)} + nLoop 4 nVisit 8 nEst 2.0 zName t1 zExplain {SCAN t1} +} + +do_test 1.9 { + sqlite3_stmt_scanstatus_reset [db version -last-stmt-ptr] +} {} + +do_scanstatus_test 1.10 { + nLoop 0 nVisit 0 nEst 2.0 zName t2 zExplain + {SEARCH t2 USING INTEGER PRIMARY KEY (rowid>?)} + nLoop 0 nVisit 0 nEst 2.0 zName t1 zExplain {SCAN t1} +} + +#------------------------------------------------------------------------- +# Try a few different types of scans. +# +reset_db +sqlite3_db_config db STMT_SCANSTATUS 1 +do_execsql_test 2.1 { + CREATE TABLE x1(i INTEGER PRIMARY KEY, j); + INSERT INTO x1 VALUES(1, 'one'); + INSERT INTO x1 VALUES(2, 'two'); + INSERT INTO x1 VALUES(3, 'three'); + INSERT INTO x1 VALUES(4, 'four'); + CREATE INDEX x1j ON x1(j); + + SELECT * FROM x1 WHERE i=2; +} {2 two} + +do_scanstatus_test 2.2 { + nLoop 1 nVisit 1 nEst 1.0 zName x1 + zExplain {SEARCH x1 USING INTEGER PRIMARY KEY (rowid=?)} +} + +do_execsql_test 2.3.1 { + SELECT * FROM x1 WHERE j='two' +} {2 two} +do_scanstatus_test 2.3.2 { + nLoop 1 nVisit 1 nEst 10.0 zName x1j + zExplain {SEARCH x1 USING COVERING INDEX x1j (j=?)} +} + +do_execsql_test 2.4.1 { + SELECT * FROM x1 WHERE j<'two' +} {4 four 1 one 3 three} +do_scanstatus_test 2.4.2 { + nLoop 1 nVisit 3 nEst 262144.0 zName x1j + zExplain {SEARCH x1 USING COVERING INDEX x1j (j<?)} +} + +do_execsql_test 2.5.1 { + SELECT * FROM x1 WHERE j>='two' +} {2 two} +do_scanstatus_test 2.5.2 { + nLoop 1 nVisit 1 nEst 262144.0 zName x1j + zExplain {SEARCH x1 USING COVERING INDEX x1j (j>?)} +} + +do_execsql_test 2.6.1 { + SELECT * FROM x1 WHERE j BETWEEN 'three' AND 'two' +} {3 three 2 two} +do_scanstatus_test 2.6.2 { + nLoop 1 nVisit 2 nEst 16384.0 zName x1j + zExplain {SEARCH x1 USING COVERING INDEX x1j (j>? AND j<?)} +} + +do_execsql_test 2.7.1 { + CREATE TABLE x2(i INTEGER, j, k); + INSERT INTO x2 SELECT i, j, i || ' ' || j FROM x1; + CREATE INDEX x2j ON x2(j); + CREATE INDEX x2ij ON x2(i, j); + SELECT * FROM x2 WHERE j BETWEEN 'three' AND 'two' +} {3 three {3 three} 2 two {2 two}} + +do_scanstatus_test 2.7.2 { + nLoop 1 nVisit 2 nEst 16384.0 zName x2j + zExplain {SEARCH x2 USING INDEX x2j (j>? AND j<?)} +} + +do_execsql_test 2.8.1 { + SELECT * FROM x2 WHERE i=1 AND j='two' +} +do_scanstatus_test 2.8.2 { + nLoop 1 nVisit 0 nEst 8.0 zName x2ij + zExplain {SEARCH x2 USING INDEX x2ij (i=? AND j=?)} +} + +do_execsql_test 2.9.1 { + SELECT * FROM x2 WHERE i=5 AND j='two' +} +do_scanstatus_test 2.9.2 { + nLoop 1 nVisit 0 nEst 8.0 zName x2ij + zExplain {SEARCH x2 USING INDEX x2ij (i=? AND j=?)} +} + +do_execsql_test 2.10.1 { + SELECT * FROM x2 WHERE i=3 AND j='three' +} {3 three {3 three}} +do_scanstatus_test 2.10.2 { + nLoop 1 nVisit 1 nEst 8.0 zName x2ij + zExplain {SEARCH x2 USING INDEX x2ij (i=? AND j=?)} +} + +#------------------------------------------------------------------------- +# Try with queries that use the OR optimization. +# +do_execsql_test 3.1 { + CREATE TABLE a1(a, b, c, d); + CREATE INDEX a1a ON a1(a); + CREATE INDEX a1bc ON a1(b, c); + + WITH d(x) AS (SELECT 1 UNION ALL SELECT x+1 AS n FROM d WHERE n<=100) + INSERT INTO a1 SELECT x, x, x, x FROM d; +} + +do_execsql_test 3.2.1 { + SELECT d FROM a1 WHERE (a=4 OR b=13) +} {4 13} +do_scanstatus_test 3.2.2 { + nLoop 1 nVisit 1 nEst 10.0 zName a1a + zExplain {SEARCH a1 USING INDEX a1a (a=?)} + nLoop 1 nVisit 1 nEst 10.0 zName a1bc + zExplain {SEARCH a1 USING INDEX a1bc (b=?)} +} + +do_execsql_test 3.2.1 { + SELECT count(*) FROM a1 WHERE (a BETWEEN 4 AND 12) OR (b BETWEEN 40 AND 60) +} {30} +do_scanstatus_test 3.2.2 { + nLoop 1 nVisit 9 nEst 16384.0 zName a1a + zExplain {SEARCH a1 USING INDEX a1a (a>? AND a<?)} + nLoop 1 nVisit 21 nEst 16384.0 zName a1bc + zExplain {SEARCH a1 USING INDEX a1bc (b>? AND b<?)} +} + +do_execsql_test 3.3.1 { + SELECT count(*) FROM a1 AS x, a1 AS y + WHERE (x.a BETWEEN 4 AND 12) AND (y.b BETWEEN 1 AND 10) +} {90} +do_scanstatus_test 3.2.2 { + nLoop 1 nVisit 10 nEst 16384.0 zName a1bc + zExplain {SEARCH y USING COVERING INDEX a1bc (b>? AND b<?)} + nLoop 10 nVisit 90 nEst 16384.0 zName a1a + zExplain {SEARCH x USING COVERING INDEX a1a (a>? AND a<?)} +} + +do_execsql_test 3.4.1 { + SELECT count(*) FROM a1 WHERE a IN (1, 5, 10, 15); +} {4} +do_scanstatus_test 3.4.2 { + nLoop 1 nVisit 4 nEst 40.0 zName a1a + zExplain {SEARCH a1 USING COVERING INDEX a1a (a=?)} +} + +do_execsql_test 3.4.1 { + SELECT count(*) FROM a1 WHERE rowid IN (1, 5, 10, 15); +} {4} +do_scanstatus_test 3.4.2 { + nLoop 1 nVisit 4 nEst 4.0 zName a1 + zExplain {SEARCH a1 USING INTEGER PRIMARY KEY (rowid=?)} +} + +#------------------------------------------------------------------------- +# Test that scanstatus() data is not available for searches performed +# by triggers. +# +# It is available for searches performed as part of FK processing, but +# not FK action processing. +# +do_execsql_test 4.0 { + CREATE TABLE t1(a, b, c); + CREATE TABLE t2(x PRIMARY KEY, y, z); + CREATE TRIGGER tr1 AFTER INSERT ON t1 BEGIN + SELECT * FROM t2 WHERE x BETWEEN 20 AND 40; + END; + WITH d(x) AS (SELECT 1 UNION ALL SELECT x+1 AS n FROM d WHERE n<=100) + INSERT INTO t2 SELECT x, x*2, x*3 FROM d; +} + +do_execsql_test 4.1.1 { INSERT INTO t1 VALUES(1, 2, 3); } +do_scanstatus_test 4.1.2 {} + +do_execsql_test 4.2 { + CREATE TABLE p1(x PRIMARY KEY); + INSERT INTO p1 VALUES(1), (2), (3), (4); + CREATE TABLE c1(y REFERENCES p1); + INSERT INTO c1 VALUES(1), (2), (3); + PRAGMA foreign_keys=on; +} +do_execsql_test 4.2.1 { DELETE FROM p1 WHERE x=4 } +do_scanstatus_test 4.2.2 { + nLoop 1 nVisit 1 nEst 1.0 zName sqlite_autoindex_p1_1 + zExplain {SEARCH p1 USING INDEX sqlite_autoindex_p1_1 (x=?)} + + nLoop 1 nVisit 3 nEst 262144.0 zName c1 zExplain {SCAN c1} +} + +#------------------------------------------------------------------------- +# Further tests of different scan types. +# +reset_db +sqlite3_db_config db STMT_SCANSTATUS 1 +proc tochar {i} { + set alphabet {a b c d e f g h i j k l m n o p q r s t u v w x y z} + return [lindex $alphabet [expr $i % [llength $alphabet]]] +} +db func tochar tochar +do_execsql_test 5.0 { + CREATE TABLE t1(a PRIMARY KEY, b, c); + INSERT INTO t1 VALUES(0, 1, 'a'); + INSERT INTO t1 VALUES(1, 0, 'b'); + INSERT INTO t1 VALUES(2, 1, 'c'); + INSERT INTO t1 VALUES(3, 0, 'd'); + INSERT INTO t1 VALUES(4, 1, 'e'); + INSERT INTO t1 VALUES(5, 0, 'a'); + INSERT INTO t1 VALUES(6, 1, 'b'); + INSERT INTO t1 VALUES(7, 0, 'c'); + INSERT INTO t1 VALUES(8, 1, 'd'); + INSERT INTO t1 VALUES(9, 0, 'e'); + CREATE INDEX t1bc ON t1(b, c); + + CREATE TABLE t2(x, y); + CREATE INDEX t2xy ON t2(x, y); + WITH data(i, x, y) AS ( + SELECT 0, 0, tochar(0) + UNION ALL + SELECT i+1, (i+1)%2, tochar(i+1) FROM data WHERE i<500 + ) INSERT INTO t2 SELECT x, y FROM data; + + CREATE TABLE t3(x, y); + INSERT INTO t3 SELECT * FROM t2; + + ANALYZE; +} + +do_execsql_test 5.1.1 { + SELECT count(*) FROM t1 WHERE a IN (SELECT b FROM t1 AS ii) +} {2} +ifcapable stat4 { + do_scanstatus_test 5.1.2 { + nLoop 1 nVisit 10 nEst 10.0 zName t1 + zExplain {SCAN ii} + nLoop 1 nVisit 2 nEst 8.0 zName sqlite_autoindex_t1_1 + zExplain {SEARCH t1 USING COVERING INDEX sqlite_autoindex_t1_1 (a=?)} + } +} + +do_execsql_test 5.2.1 { + SELECT count(*) FROM t1 WHERE a IN (0, 1) +} {2} +do_scanstatus_test 5.2.2 { + nLoop 1 nVisit 2 nEst 2.0 zName sqlite_autoindex_t1_1 + zExplain {SEARCH t1 USING COVERING INDEX sqlite_autoindex_t1_1 (a=?)} +} + +do_eqp_test 5.3.1 { + SELECT count(*) FROM t2 WHERE y = 'j'; +} {SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)} +do_execsql_test 5.3.2 { + SELECT count(*) FROM t2 WHERE y = 'j'; +} {19} +do_scanstatus_test 5.3.3 { + nLoop 1 nVisit 19 nEst 56.0 zName t2xy zExplain + {SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)} +} + +ifcapable stat4 { + do_eqp_test 5.4.1 { + SELECT count(*) FROM t1, t2 WHERE y = c; + } { + QUERY PLAN + |--SCAN t1 + `--SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?) + } + do_execsql_test 5.4.2 { + SELECT count(*) FROM t1, t2 WHERE y = c; + } {200} + do_scanstatus_test 5.4.3 { + nLoop 1 nVisit 10 nEst 10.0 zName t1 + zExplain {SCAN t1} + nLoop 10 nVisit 200 nEst 56.0 zName t2xy + zExplain {SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)} + } +} + +do_eqp_test 5.5.1 { + SELECT count(*) FROM t1, t3 WHERE y = c; +} { + QUERY PLAN + |--SCAN t3 + |--BLOOM FILTER ON t1 (c=?) + `--SEARCH t1 USING AUTOMATIC COVERING INDEX (c=?) +} +do_execsql_test 5.5.2 { + SELECT count(*) FROM t1, t3 WHERE y = c; +} {200} +do_scanstatus_test 5.5.3 { + nLoop 1 nVisit 501 nEst 480.0 zName t3 zExplain {SCAN t3} + nLoop 501 nVisit 200 nEst 20.0 zName auto-index zExplain + {SEARCH t1 USING AUTOMATIC COVERING INDEX (c=?)} +} + +#------------------------------------------------------------------------- +# Virtual table scans +# +ifcapable fts3 { + do_execsql_test 6.0 { + CREATE VIRTUAL TABLE ft1 USING fts4; + INSERT INTO ft1 VALUES('a d c f g h e i f c'); + INSERT INTO ft1 VALUES('g c h b g b f f f g'); + INSERT INTO ft1 VALUES('h h c c h f a e d d'); + INSERT INTO ft1 VALUES('e j i j i e b c f g'); + INSERT INTO ft1 VALUES('g f b g j c h a d f'); + INSERT INTO ft1 VALUES('j i a e g f a i a c'); + INSERT INTO ft1 VALUES('f d g g j j c a h g'); + INSERT INTO ft1 VALUES('b d h a d j j j b i'); + INSERT INTO ft1 VALUES('j e a b j e c b c i'); + INSERT INTO ft1 VALUES('a d e f b j j c g d'); + } + do_execsql_test 6.1.1 { + SELECT count(*) FROM ft1 WHERE ft1 MATCH 'd' + } {6} + do_scanstatus_test 6.1.2 { + nLoop 1 nVisit 6 nEst 24.0 zName ft1 zExplain + {SCAN ft1 VIRTUAL TABLE INDEX 3:} + } +} + + +finish_test |