1# 2017-02-17
2#
3# The author disclaims copyright to this source code.  In place of
4# 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# This file implements tests for the logic used to estimate when
13# running ANALYZE would be beneficial.
14#
15# Note that this test uses some hard-coded bitmask values from sqliteInt.h.
16# If any of the following constants changes:
17#
18#    define TF_HasStat1   0x0010
19#    define TF_StatsUsed  0x0100
20#
21# then some of the magic numbers in test results below might need to be
22# adjusted.
23#
24
25set testdir [file dirname $argv0]
26source $testdir/tester.tcl
27
28# There is nothing to test if ANALYZE is disable for this build.
29# These tests also use "PRAGMA stats" which are only enabled for
30# debugging builds.
31#
32ifcapable {!debug || !analyze || !vtab} {
33  finish_test
34  return
35}
36
37do_execsql_test autoanalyze1-100 {
38  -- Build up a test table with some indexes
39  CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c, d);
40  CREATE UNIQUE INDEX t1bc ON t1(b,c);
41  CREATE INDEX t1d ON t1(d);
42  WITH RECURSIVE c(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM c WHERE x<100)
43    INSERT INTO t1(a,b,c,d) SELECT x, x, x, x FROM c;
44  -- Verify that the hasStat1 flag is clear on on indexes
45  SELECT idx, flgs FROM pragma_stats
46   WHERE idx IS NOT NULL
47   ORDER BY idx;
48  -- Verify that the TF_HasStat1 flag is clear on the table
49  SELECT tbl, (flgs & 0x10)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
50} {t1bc 0 t1d 0 t1 0}
51
52# No use of stat1 recorded so far
53do_execsql_test autoanalyze1-110 {
54  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
55} {0}
56
57# Access using a unique index does not set the TF_StatsUsed flag.
58#
59do_execsql_test autoanalyze1-200 {
60  SELECT * FROM t1 WHERE a=55;
61} {55 55 55 55}
62do_execsql_test autoanalyze1-201 {
63  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
64} {0}
65
66do_execsql_test autoanalyze1-210 {
67  SELECT * FROM t1 WHERE a IN (55,199,299);
68} {55 55 55 55}
69do_execsql_test autoanalyze1-211 {
70  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
71} {0}
72
73do_execsql_test autoanalyze1-220 {
74  SELECT * FROM t1 WHERE (b,c)=(45,45);
75} {45 45 45 45}
76do_execsql_test autoanalyze1-221 {
77  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
78} {0}
79
80# Any use of the non-unique t1d index triggers the use of stats.
81#
82sqlite3 db test.db
83do_execsql_test autoanalyze1-300 {
84  SELECT * FROM t1 WHERE d=45;
85} {45 45 45 45}
86do_execsql_test autoanalyze1-301 {
87  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
88} {1}
89
90sqlite3 db test.db
91do_execsql_test autoanalyze1-310 {
92  SELECT * FROM t1 WHERE d=45 AND a=45;
93} {45 45 45 45}
94do_execsql_test autoanalyze1-311 {
95  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
96} {0}  ;# The ROWID lookup short-circuits the d=45 constraint
97
98sqlite3 db test.db
99do_execsql_test autoanalyze1-320 {
100  SELECT * FROM t1 WHERE d=45 AND a IN (45,46);
101} {45 45 45 45}
102do_execsql_test autoanalyze1-321 {
103  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
104} {1}
105
106# Any use of prefix of a unique index triggers the use of stats
107#
108sqlite3 db test.db
109do_execsql_test autoanalyze1-400 {
110  SELECT * FROM t1 WHERE b=45;
111} {45 45 45 45}
112do_execsql_test autoanalyze1-401 {
113  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
114} {1}
115
116# The TF_StatsUsed flag is reset when the database is reopened
117#
118sqlite3 db test.db
119do_execsql_test autoanalyze1-500 {
120  SELECT (flgs & 0x0100)!=0 FROM pragma_stats WHERE tbl='t1' AND idx IS NULL;
121} {0}
122
123finish_test
124