AryaWu/sqlite
0
1# 2014 November 12#3# The author disclaims copyright to this source code. In place of4# a legal notice, here is a blessing:5#6# May you do good and not evil.7# May you find forgiveness for yourself and forgive others.8# May you share freely, never taking more than you give.9#10#***********************************************************************11#12 13set testdir [file dirname $argv0]14source $testdir/tester.tcl15set testprefix scanstatus16 17ifcapable !scanstatus {18 finish_test19 return20}21 22do_execsql_test 1.0 {23 CREATE TABLE t1(a, b);24 CREATE TABLE t2(x, y);25 INSERT INTO t1 VALUES(1, 2);26 INSERT INTO t1 VALUES(3, 4);27 INSERT INTO t2 VALUES('a', 'b');28 INSERT INTO t2 VALUES('c', 'd');29 INSERT INTO t2 VALUES('e', 'f');30}31 32proc do_scanstatus_test {tn res} {33 set stmt [db version -last-stmt-ptr]34 set idx 035 set ret [list]36 while {1} {37 set r [sqlite3_stmt_scanstatus $stmt $idx]38 if {[llength $r]==0} break39 foreach v {nLoop nVisit nEst zName zExplain} {40 lappend ret $v [dict get $r $v]41 }42 incr idx43 }44 45 uplevel [list do_test $tn [list set {} $ret] [list {*}$res]]46}47 48do_execsql_test 1.1a { SELECT count(*) FROM t1, t2; } 649do_scanstatus_test 1.1b { 50 nLoop 1 nVisit 2 nEst 1048576.0 zName t1 zExplain {SCAN t1}51 nLoop 2 nVisit 6 nEst 1048576.0 zName t2 zExplain {SCAN t2}52}53 54sqlite3_db_config db STMT_SCANSTATUS 055 56do_execsql_test 1.2a { SELECT count(*) FROM t1, t2; } 657do_scanstatus_test 1.2b { 58}59 60sqlite3_db_config db STMT_SCANSTATUS 161 62do_execsql_test 1.3 {63 ANALYZE;64 SELECT count(*) FROM t1, t2;65} 666do_scanstatus_test 1.4 {67 nLoop 1 nVisit 2 nEst 2.0 zName t1 zExplain {SCAN t1}68 nLoop 2 nVisit 6 nEst 3.0 zName t2 zExplain {SCAN t2}69}70 71do_execsql_test 1.5 { ANALYZE }72do_execsql_test 1.6 {73 SELECT count(*) FROM t1, t2 WHERE t2.rowid>1;74} 475do_scanstatus_test 1.7 {76 nLoop 1 nVisit 2 nEst 2.0 zName t2 zExplain 77 {SEARCH t2 USING INTEGER PRIMARY KEY (rowid>?)}78 nLoop 2 nVisit 4 nEst 2.0 zName t1 zExplain {SCAN t1}79}80 81do_execsql_test 1.8 {82 SELECT count(*) FROM t1, t2 WHERE t2.rowid>1;83} 484 85do_scanstatus_test 1.9 {86 nLoop 2 nVisit 4 nEst 2.0 zName t2 zExplain 87 {SEARCH t2 USING INTEGER PRIMARY KEY (rowid>?)}88 nLoop 4 nVisit 8 nEst 2.0 zName t1 zExplain {SCAN t1}89}90 91do_test 1.9 {92 sqlite3_stmt_scanstatus_reset [db version -last-stmt-ptr]93} {}94 95do_scanstatus_test 1.10 {96 nLoop 0 nVisit 0 nEst 2.0 zName t2 zExplain 97 {SEARCH t2 USING INTEGER PRIMARY KEY (rowid>?)}98 nLoop 0 nVisit 0 nEst 2.0 zName t1 zExplain {SCAN t1}99}100 101#-------------------------------------------------------------------------102# Try a few different types of scans.103#104reset_db105sqlite3_db_config db STMT_SCANSTATUS 1106do_execsql_test 2.1 {107 CREATE TABLE x1(i INTEGER PRIMARY KEY, j);108 INSERT INTO x1 VALUES(1, 'one');109 INSERT INTO x1 VALUES(2, 'two');110 INSERT INTO x1 VALUES(3, 'three');111 INSERT INTO x1 VALUES(4, 'four');112 CREATE INDEX x1j ON x1(j);113 114 SELECT * FROM x1 WHERE i=2;115} {2 two}116 117do_scanstatus_test 2.2 {118 nLoop 1 nVisit 1 nEst 1.0 zName x1 119 zExplain {SEARCH x1 USING INTEGER PRIMARY KEY (rowid=?)}120}121 122do_execsql_test 2.3.1 {123 SELECT * FROM x1 WHERE j='two'124} {2 two}125do_scanstatus_test 2.3.2 {126 nLoop 1 nVisit 1 nEst 10.0 zName x1j 127 zExplain {SEARCH x1 USING COVERING INDEX x1j (j=?)}128}129 130do_execsql_test 2.4.1 {131 SELECT * FROM x1 WHERE j<'two'132} {4 four 1 one 3 three}133do_scanstatus_test 2.4.2 {134 nLoop 1 nVisit 3 nEst 262144.0 zName x1j 135 zExplain {SEARCH x1 USING COVERING INDEX x1j (j<?)}136}137 138do_execsql_test 2.5.1 {139 SELECT * FROM x1 WHERE j>='two'140} {2 two}141do_scanstatus_test 2.5.2 {142 nLoop 1 nVisit 1 nEst 262144.0 zName x1j 143 zExplain {SEARCH x1 USING COVERING INDEX x1j (j>?)}144}145 146do_execsql_test 2.6.1 {147 SELECT * FROM x1 WHERE j BETWEEN 'three' AND 'two'148} {3 three 2 two}149do_scanstatus_test 2.6.2 {150 nLoop 1 nVisit 2 nEst 16384.0 zName x1j 151 zExplain {SEARCH x1 USING COVERING INDEX x1j (j>? AND j<?)}152}153 154do_execsql_test 2.7.1 {155 CREATE TABLE x2(i INTEGER, j, k);156 INSERT INTO x2 SELECT i, j, i || ' ' || j FROM x1;157 CREATE INDEX x2j ON x2(j);158 CREATE INDEX x2ij ON x2(i, j);159 SELECT * FROM x2 WHERE j BETWEEN 'three' AND 'two'160} {3 three {3 three} 2 two {2 two}}161 162do_scanstatus_test 2.7.2 {163 nLoop 1 nVisit 2 nEst 16384.0 zName x2j 164 zExplain {SEARCH x2 USING INDEX x2j (j>? AND j<?)}165}166 167do_execsql_test 2.8.1 {168 SELECT * FROM x2 WHERE i=1 AND j='two'169}170do_scanstatus_test 2.8.2 {171 nLoop 1 nVisit 0 nEst 8.0 zName x2ij 172 zExplain {SEARCH x2 USING INDEX x2ij (i=? AND j=?)}173}174 175do_execsql_test 2.9.1 {176 SELECT * FROM x2 WHERE i=5 AND j='two'177}178do_scanstatus_test 2.9.2 {179 nLoop 1 nVisit 0 nEst 8.0 zName x2ij 180 zExplain {SEARCH x2 USING INDEX x2ij (i=? AND j=?)}181}182 183do_execsql_test 2.10.1 {184 SELECT * FROM x2 WHERE i=3 AND j='three'185} {3 three {3 three}}186do_scanstatus_test 2.10.2 {187 nLoop 1 nVisit 1 nEst 8.0 zName x2ij 188 zExplain {SEARCH x2 USING INDEX x2ij (i=? AND j=?)}189}190 191#-------------------------------------------------------------------------192# Try with queries that use the OR optimization.193#194do_execsql_test 3.1 {195 CREATE TABLE a1(a, b, c, d);196 CREATE INDEX a1a ON a1(a);197 CREATE INDEX a1bc ON a1(b, c);198 199 WITH d(x) AS (SELECT 1 UNION ALL SELECT x+1 AS n FROM d WHERE n<=100)200 INSERT INTO a1 SELECT x, x, x, x FROM d;201}202 203do_execsql_test 3.2.1 {204 SELECT d FROM a1 WHERE (a=4 OR b=13)205} {4 13}206do_scanstatus_test 3.2.2 {207 nLoop 1 nVisit 1 nEst 10.0 zName a1a 208 zExplain {SEARCH a1 USING INDEX a1a (a=?)}209 nLoop 1 nVisit 1 nEst 10.0 zName a1bc 210 zExplain {SEARCH a1 USING INDEX a1bc (b=?)}211}212 213do_execsql_test 3.2.1 {214 SELECT count(*) FROM a1 WHERE (a BETWEEN 4 AND 12) OR (b BETWEEN 40 AND 60)215} {30}216do_scanstatus_test 3.2.2 {217 nLoop 1 nVisit 9 nEst 16384.0 zName a1a 218 zExplain {SEARCH a1 USING INDEX a1a (a>? AND a<?)}219 nLoop 1 nVisit 21 nEst 16384.0 zName a1bc220 zExplain {SEARCH a1 USING INDEX a1bc (b>? AND b<?)}221}222 223do_execsql_test 3.3.1 {224 SELECT count(*) FROM a1 AS x, a1 AS y 225 WHERE (x.a BETWEEN 4 AND 12) AND (y.b BETWEEN 1 AND 10)226} {90}227do_scanstatus_test 3.2.2 {228 nLoop 1 nVisit 10 nEst 16384.0 zName a1bc 229 zExplain {SEARCH y USING COVERING INDEX a1bc (b>? AND b<?)}230 nLoop 10 nVisit 90 nEst 16384.0 zName a1a231 zExplain {SEARCH x USING COVERING INDEX a1a (a>? AND a<?)}232}233 234do_execsql_test 3.4.1 {235 SELECT count(*) FROM a1 WHERE a IN (1, 5, 10, 15);236} {4}237do_scanstatus_test 3.4.2 {238 nLoop 1 nVisit 4 nEst 40.0 zName a1a 239 zExplain {SEARCH a1 USING COVERING INDEX a1a (a=?)}240}241 242do_execsql_test 3.4.1 {243 SELECT count(*) FROM a1 WHERE rowid IN (1, 5, 10, 15);244} {4}245do_scanstatus_test 3.4.2 {246 nLoop 1 nVisit 4 nEst 4.0 zName a1247 zExplain {SEARCH a1 USING INTEGER PRIMARY KEY (rowid=?)}248}249 250#-------------------------------------------------------------------------251# Test that scanstatus() data is not available for searches performed252# by triggers.253#254# It is available for searches performed as part of FK processing, but 255# not FK action processing.256#257do_execsql_test 4.0 {258 CREATE TABLE t1(a, b, c);259 CREATE TABLE t2(x PRIMARY KEY, y, z);260 CREATE TRIGGER tr1 AFTER INSERT ON t1 BEGIN261 SELECT * FROM t2 WHERE x BETWEEN 20 AND 40;262 END;263 WITH d(x) AS (SELECT 1 UNION ALL SELECT x+1 AS n FROM d WHERE n<=100)264 INSERT INTO t2 SELECT x, x*2, x*3 FROM d;265}266 267do_execsql_test 4.1.1 { INSERT INTO t1 VALUES(1, 2, 3); }268do_scanstatus_test 4.1.2 {}269 270do_execsql_test 4.2 {271 CREATE TABLE p1(x PRIMARY KEY);272 INSERT INTO p1 VALUES(1), (2), (3), (4);273 CREATE TABLE c1(y REFERENCES p1);274 INSERT INTO c1 VALUES(1), (2), (3);275 PRAGMA foreign_keys=on;276}277do_execsql_test 4.2.1 { DELETE FROM p1 WHERE x=4 }278do_scanstatus_test 4.2.2 { 279 nLoop 1 nVisit 1 nEst 1.0 zName sqlite_autoindex_p1_1 280 zExplain {SEARCH p1 USING INDEX sqlite_autoindex_p1_1 (x=?)}281 282 nLoop 1 nVisit 3 nEst 262144.0 zName c1 zExplain {SCAN c1}283}284 285#-------------------------------------------------------------------------286# Further tests of different scan types.287#288reset_db289sqlite3_db_config db STMT_SCANSTATUS 1290proc tochar {i} {291 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}292 return [lindex $alphabet [expr $i % [llength $alphabet]]]293}294db func tochar tochar295do_execsql_test 5.0 {296 CREATE TABLE t1(a PRIMARY KEY, b, c);297 INSERT INTO t1 VALUES(0, 1, 'a');298 INSERT INTO t1 VALUES(1, 0, 'b');299 INSERT INTO t1 VALUES(2, 1, 'c');300 INSERT INTO t1 VALUES(3, 0, 'd');301 INSERT INTO t1 VALUES(4, 1, 'e');302 INSERT INTO t1 VALUES(5, 0, 'a');303 INSERT INTO t1 VALUES(6, 1, 'b');304 INSERT INTO t1 VALUES(7, 0, 'c');305 INSERT INTO t1 VALUES(8, 1, 'd');306 INSERT INTO t1 VALUES(9, 0, 'e');307 CREATE INDEX t1bc ON t1(b, c);308 309 CREATE TABLE t2(x, y);310 CREATE INDEX t2xy ON t2(x, y);311 WITH data(i, x, y) AS (312 SELECT 0, 0, tochar(0) 313 UNION ALL314 SELECT i+1, (i+1)%2, tochar(i+1) FROM data WHERE i<500315 ) INSERT INTO t2 SELECT x, y FROM data;316 317 CREATE TABLE t3(x, y);318 INSERT INTO t3 SELECT * FROM t2;319 320 ANALYZE;321}322 323do_execsql_test 5.1.1 {324 SELECT count(*) FROM t1 WHERE a IN (SELECT b FROM t1 AS ii)325} {2}326ifcapable stat4 {327 do_scanstatus_test 5.1.2 { 328 nLoop 1 nVisit 10 nEst 10.0 zName t1329 zExplain {SCAN ii}330 nLoop 1 nVisit 2 nEst 8.0 zName sqlite_autoindex_t1_1331 zExplain {SEARCH t1 USING COVERING INDEX sqlite_autoindex_t1_1 (a=?)}332 }333}334 335do_execsql_test 5.2.1 {336 SELECT count(*) FROM t1 WHERE a IN (0, 1)337} {2}338do_scanstatus_test 5.2.2 { 339 nLoop 1 nVisit 2 nEst 2.0 zName sqlite_autoindex_t1_1340 zExplain {SEARCH t1 USING COVERING INDEX sqlite_autoindex_t1_1 (a=?)}341}342 343do_eqp_test 5.3.1 {344 SELECT count(*) FROM t2 WHERE y = 'j';345} {SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)}346do_execsql_test 5.3.2 {347 SELECT count(*) FROM t2 WHERE y = 'j';348} {19}349do_scanstatus_test 5.3.3 { 350 nLoop 1 nVisit 19 nEst 56.0 zName t2xy zExplain351 {SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)}352}353 354ifcapable stat4 {355 do_eqp_test 5.4.1 {356 SELECT count(*) FROM t1, t2 WHERE y = c;357 } {358 QUERY PLAN359 |--SCAN t1360 `--SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)361 }362 do_execsql_test 5.4.2 {363 SELECT count(*) FROM t1, t2 WHERE y = c;364 } {200}365 do_scanstatus_test 5.4.3 { 366 nLoop 1 nVisit 10 nEst 10.0 zName t1367 zExplain {SCAN t1}368 nLoop 10 nVisit 200 nEst 56.0 zName t2xy 369 zExplain {SEARCH t2 USING COVERING INDEX t2xy (ANY(x) AND y=?)}370 }371}372 373do_eqp_test 5.5.1 {374 SELECT count(*) FROM t1, t3 WHERE y = c;375} {376 QUERY PLAN377 |--SCAN t3378 |--BLOOM FILTER ON t1 (c=?)379 `--SEARCH t1 USING AUTOMATIC COVERING INDEX (c=?)380}381do_execsql_test 5.5.2 {382 SELECT count(*) FROM t1, t3 WHERE y = c;383} {200}384do_scanstatus_test 5.5.3 { 385 nLoop 1 nVisit 501 nEst 480.0 zName t3 zExplain {SCAN t3}386 nLoop 501 nVisit 200 nEst 20.0 zName auto-index zExplain387 {SEARCH t1 USING AUTOMATIC COVERING INDEX (c=?)}388}389 390#-------------------------------------------------------------------------391# Virtual table scans392#393ifcapable fts3 {394 do_execsql_test 6.0 {395 CREATE VIRTUAL TABLE ft1 USING fts4;396 INSERT INTO ft1 VALUES('a d c f g h e i f c');397 INSERT INTO ft1 VALUES('g c h b g b f f f g');398 INSERT INTO ft1 VALUES('h h c c h f a e d d');399 INSERT INTO ft1 VALUES('e j i j i e b c f g');400 INSERT INTO ft1 VALUES('g f b g j c h a d f');401 INSERT INTO ft1 VALUES('j i a e g f a i a c');402 INSERT INTO ft1 VALUES('f d g g j j c a h g');403 INSERT INTO ft1 VALUES('b d h a d j j j b i');404 INSERT INTO ft1 VALUES('j e a b j e c b c i');405 INSERT INTO ft1 VALUES('a d e f b j j c g d');406 }407 do_execsql_test 6.1.1 {408 SELECT count(*) FROM ft1 WHERE ft1 MATCH 'd'409 } {6}410 do_scanstatus_test 6.1.2 { 411 nLoop 1 nVisit 6 nEst 24.0 zName ft1 zExplain 412 {SCAN ft1 VIRTUAL TABLE INDEX 3:}413 }414}415 416 417finish_test418