/ Hex Artifact Content
Login

Artifact 713354664c5ff1853ab2cbcb740f0cf5cb7c802e:


0000: 23 20 32 30 31 31 20 4a 61 6e 75 61 72 79 20 31  # 2011 January 1
0010: 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  9.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an you give..#.#
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 0a 23 0a 23 20 54 68 69 73  *******.#.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 74 65 73 74 73 20 66 6f 72 20 53 51 4c 69 74   tests for SQLit
0190: 65 20 6c 69 62 72 61 72 79 2e 20 20 54 68 65 20  e library.  The 
01a0: 66 6f 63 75 73 20 6f 66 20 74 68 65 20 74 65 73  focus of the tes
01b0: 74 73 0a 23 20 69 6e 20 74 68 69 73 20 66 69 6c  ts.# in this fil
01c0: 65 20 69 73 20 74 68 65 20 75 73 65 20 6f 66 20  e is the use of 
01d0: 74 68 65 20 73 71 6c 69 74 65 5f 73 74 61 74 33  the sqlite_stat3
01e0: 20 68 69 73 74 6f 67 72 61 6d 20 64 61 74 61 20   histogram data 
01f0: 6f 6e 20 74 61 62 6c 65 73 0a 23 20 77 69 74 68  on tables.# with
0200: 20 6d 61 6e 79 20 72 65 70 65 61 74 65 64 20 76   many repeated v
0210: 61 6c 75 65 73 20 61 6e 64 20 6f 6e 6c 79 20 61  alues and only a
0220: 20 66 65 77 20 64 69 73 74 69 6e 63 74 20 76 61   few distinct va
0230: 6c 75 65 73 2e 0a 23 0a 0a 73 65 74 20 74 65 73  lues..#..set tes
0240: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0250: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0260: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
0270: 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c 65  r.tcl..ifcapable
0280: 20 21 73 74 61 74 33 20 7b 0a 20 20 66 69 6e 69   !stat3 {.  fini
0290: 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e  sh_test.  return
02a0: 0a 7d 0a 0a 73 65 74 20 74 65 73 74 70 72 65 66  .}..set testpref
02b0: 69 78 20 61 6e 61 6c 79 7a 65 35 0a 0a 70 72 6f  ix analyze5..pro
02c0: 63 20 65 71 70 20 7b 73 71 6c 20 7b 64 62 20 64  c eqp {sql {db d
02d0: 62 7d 7d 20 7b 0a 20 20 75 70 6c 65 76 65 6c 20  b}} {.  uplevel 
02e0: 65 78 65 63 73 71 6c 20 5b 6c 69 73 74 20 22 45  execsql [list "E
02f0: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
0300: 4e 20 24 73 71 6c 22 5d 20 24 64 62 0a 7d 0a 0a  N $sql"] $db.}..
0310: 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69  unset -nocomplai
0320: 6e 20 69 20 74 20 75 20 76 20 77 20 78 20 79 20  n i t u v w x y 
0330: 7a 0a 64 6f 5f 74 65 73 74 20 61 6e 61 6c 79 7a  z.do_test analyz
0340: 65 35 2d 31 2e 30 20 7b 0a 20 20 64 62 20 65 76  e5-1.0 {.  db ev
0350: 61 6c 20 7b 43 52 45 41 54 45 20 54 41 42 4c 45  al {CREATE TABLE
0360: 20 74 31 28 74 2c 75 2c 76 20 54 45 58 54 20 43   t1(t,u,v TEXT C
0370: 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 2c 77 2c  OLLATE nocase,w,
0380: 78 2c 79 2c 7a 29 7d 0a 20 20 66 6f 72 20 7b 73  x,y,z)}.  for {s
0390: 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 31 30  et i 0} {$i < 10
03a0: 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20  00} {incr i} {. 
03b0: 20 20 20 73 65 74 20 79 20 5b 65 78 70 72 20 7b     set y [expr {
03c0: 24 69 3e 3d 32 35 20 26 26 20 24 69 3c 3d 35 30  $i>=25 && $i<=50
03d0: 7d 5d 0a 20 20 20 20 73 65 74 20 7a 20 5b 65 78  }].    set z [ex
03e0: 70 72 20 7b 28 24 69 3e 3d 34 30 30 29 20 2b 20  pr {($i>=400) + 
03f0: 28 24 69 3e 3d 37 30 30 29 20 2b 20 28 24 69 3e  ($i>=700) + ($i>
0400: 3d 38 37 35 29 7d 5d 0a 20 20 20 20 73 65 74 20  =875)}].    set 
0410: 78 20 24 7a 0a 20 20 20 20 73 65 74 20 77 20 24  x $z.    set w $
0420: 7a 0a 20 20 20 20 73 65 74 20 74 20 5b 65 78 70  z.    set t [exp
0430: 72 20 7b 24 7a 2b 30 2e 35 7d 5d 0a 20 20 20 20  r {$z+0.5}].    
0440: 73 77 69 74 63 68 20 24 7a 20 7b 0a 20 20 20 20  switch $z {.    
0450: 20 20 30 20 7b 73 65 74 20 75 20 22 61 6c 70 68    0 {set u "alph
0460: 61 22 3b 20 75 6e 73 65 74 20 78 7d 0a 20 20 20  a"; unset x}.   
0470: 20 20 20 31 20 7b 73 65 74 20 75 20 22 62 72 61     1 {set u "bra
0480: 76 6f 22 7d 0a 20 20 20 20 20 20 32 20 7b 73 65  vo"}.      2 {se
0490: 74 20 75 20 22 63 68 61 72 6c 69 65 22 7d 0a 20  t u "charlie"}. 
04a0: 20 20 20 20 20 33 20 7b 73 65 74 20 75 20 22 64       3 {set u "d
04b0: 65 6c 74 61 22 3b 20 75 6e 73 65 74 20 77 7d 0a  elta"; unset w}.
04c0: 20 20 20 20 7d 0a 20 20 20 20 69 66 20 7b 24 69      }.    if {$i
04d0: 25 32 7d 20 7b 73 65 74 20 76 20 24 75 7d 20 7b  %2} {set v $u} {
04e0: 73 65 74 20 76 20 5b 73 74 72 69 6e 67 20 74 6f  set v [string to
04f0: 75 70 70 65 72 20 24 75 5d 7d 0a 20 20 20 20 64  upper $u]}.    d
0500: 62 20 65 76 61 6c 20 7b 49 4e 53 45 52 54 20 49  b eval {INSERT I
0510: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 24 74  NTO t1 VALUES($t
0520: 2c 24 75 2c 24 76 2c 24 77 2c 24 78 2c 24 79 2c  ,$u,$v,$w,$x,$y,
0530: 24 7a 29 7d 0a 20 20 7d 0a 20 20 64 62 20 65 76  $z)}.  }.  db ev
0540: 61 6c 20 7b 20 0a 20 20 20 20 43 52 45 41 54 45  al { .    CREATE
0550: 20 49 4e 44 45 58 20 74 31 74 20 4f 4e 20 74 31   INDEX t1t ON t1
0560: 28 74 29 3b 20 20 2d 2d 20 30 2e 35 2c 20 31 2e  (t);  -- 0.5, 1.
0570: 35 2c 20 32 2e 35 2c 20 61 6e 64 20 33 2e 35 0a  5, 2.5, and 3.5.
0580: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
0590: 20 74 31 75 20 4f 4e 20 74 31 28 75 29 3b 20 20   t1u ON t1(u);  
05a0: 2d 2d 20 74 65 78 74 0a 20 20 20 20 43 52 45 41  -- text.    CREA
05b0: 54 45 20 49 4e 44 45 58 20 74 31 76 20 4f 4e 20  TE INDEX t1v ON 
05c0: 74 31 28 76 29 3b 20 20 2d 2d 20 6d 69 78 65 64  t1(v);  -- mixed
05d0: 20 63 61 73 65 20 74 65 78 74 0a 20 20 20 20 43   case text.    C
05e0: 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 77 20  REATE INDEX t1w 
05f0: 4f 4e 20 74 31 28 77 29 3b 20 20 2d 2d 20 69 6e  ON t1(w);  -- in
0600: 74 65 67 65 72 73 20 30 2c 20 31 2c 20 32 20 61  tegers 0, 1, 2 a
0610: 6e 64 20 61 20 66 65 77 20 4e 55 4c 4c 73 0a 20  nd a few NULLs. 
0620: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
0630: 74 31 78 20 4f 4e 20 74 31 28 78 29 3b 20 20 2d  t1x ON t1(x);  -
0640: 2d 20 69 6e 74 65 67 65 72 73 20 31 2c 20 32 2c  - integers 1, 2,
0650: 20 33 20 61 6e 64 20 6d 61 6e 79 20 4e 55 4c 4c   3 and many NULL
0660: 73 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44  s.    CREATE IND
0670: 45 58 20 74 31 79 20 4f 4e 20 74 31 28 79 29 3b  EX t1y ON t1(y);
0680: 20 20 2d 2d 20 69 6e 74 65 67 65 72 73 20 30 20    -- integers 0 
0690: 61 6e 64 20 76 65 72 79 20 66 65 77 20 31 73 0a  and very few 1s.
06a0: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
06b0: 20 74 31 7a 20 4f 4e 20 74 31 28 7a 29 3b 20 20   t1z ON t1(z);  
06c0: 2d 2d 20 69 6e 74 65 67 65 72 73 20 30 2c 20 31  -- integers 0, 1
06d0: 2c 20 32 2c 20 61 6e 64 20 33 0a 20 20 20 20 41  , 2, and 3.    A
06e0: 4e 41 4c 59 5a 45 3b 0a 20 20 20 20 53 45 4c 45  NALYZE;.    SELE
06f0: 43 54 20 73 61 6d 70 6c 65 20 46 52 4f 4d 20 73  CT sample FROM s
0700: 71 6c 69 74 65 5f 73 74 61 74 33 20 57 48 45 52  qlite_stat3 WHER
0710: 45 20 69 64 78 3d 27 74 31 75 27 20 4f 52 44 45  E idx='t1u' ORDE
0720: 52 20 42 59 20 6e 6c 74 3b 0a 20 20 7d 0a 7d 20  R BY nlt;.  }.} 
0730: 7b 61 6c 70 68 61 20 62 72 61 76 6f 20 63 68 61  {alpha bravo cha
0740: 72 6c 69 65 20 64 65 6c 74 61 7d 0a 0a 64 6f 5f  rlie delta}..do_
0750: 74 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e  test analyze5-1.
0760: 31 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 53  1 {.  db eval {S
0770: 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 6c  ELECT DISTINCT l
0780: 6f 77 65 72 28 73 61 6d 70 6c 65 29 20 46 52 4f  ower(sample) FRO
0790: 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 33 20 57  M sqlite_stat3 W
07a0: 48 45 52 45 20 69 64 78 3d 27 74 31 76 27 0a 20  HERE idx='t1v'. 
07b0: 20 20 20 20 20 20 20 20 20 20 20 20 4f 52 44 45              ORDE
07c0: 52 20 42 59 20 31 7d 0a 7d 20 7b 61 6c 70 68 61  R BY 1}.} {alpha
07d0: 20 62 72 61 76 6f 20 63 68 61 72 6c 69 65 20 64   bravo charlie d
07e0: 65 6c 74 61 7d 0a 64 6f 5f 74 65 73 74 20 61 6e  elta}.do_test an
07f0: 61 6c 79 7a 65 35 2d 31 2e 32 20 7b 0a 20 20 64  alyze5-1.2 {.  d
0800: 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 69  b eval {SELECT i
0810: 64 78 2c 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  dx, count(*) FRO
0820: 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 33 20 47  M sqlite_stat3 G
0830: 52 4f 55 50 20 42 59 20 31 20 4f 52 44 45 52 20  ROUP BY 1 ORDER 
0840: 42 59 20 31 7d 0a 7d 20 7b 74 31 74 20 34 20 74  BY 1}.} {t1t 4 t
0850: 31 75 20 34 20 74 31 76 20 34 20 74 31 77 20 34  1u 4 t1v 4 t1w 4
0860: 20 74 31 78 20 34 20 74 31 79 20 32 20 74 31 7a   t1x 4 t1y 2 t1z
0870: 20 34 7d 0a 0a 23 20 56 65 72 69 66 79 20 74 68   4}..# Verify th
0880: 61 74 20 72 61 6e 67 65 20 71 75 65 72 69 65 73  at range queries
0890: 20 67 65 6e 65 72 61 74 65 20 74 68 65 20 63 6f   generate the co
08a0: 72 72 65 63 74 20 72 6f 77 20 63 6f 75 6e 74 20  rrect row count 
08b0: 65 73 74 69 6d 61 74 65 73 0a 23 0a 66 6f 72 65  estimates.#.fore
08c0: 61 63 68 20 7b 74 65 73 74 69 64 20 77 68 65 72  ach {testid wher
08d0: 65 20 69 6e 64 65 78 20 72 6f 77 73 7d 20 7b 0a  e index rows} {.
08e0: 20 20 20 20 31 20 20 7b 7a 3e 3d 30 20 41 4e 44      1  {z>=0 AND
08f0: 20 7a 3c 3d 30 7d 20 20 20 20 20 20 20 74 31 7a   z<=0}       t1z
0900: 20 20 34 30 30 0a 20 20 20 20 32 20 20 7b 7a 3e    400.    2  {z>
0910: 3d 31 20 41 4e 44 20 7a 3c 3d 31 7d 20 20 20 20  =1 AND z<=1}    
0920: 20 20 20 74 31 7a 20 20 33 30 30 0a 20 20 20 20     t1z  300.    
0930: 33 20 20 7b 7a 3e 3d 32 20 41 4e 44 20 7a 3c 3d  3  {z>=2 AND z<=
0940: 32 7d 20 20 20 20 20 20 20 74 31 7a 20 20 31 37  2}       t1z  17
0950: 35 0a 20 20 20 20 34 20 20 7b 7a 3e 3d 33 20 41  5.    4  {z>=3 A
0960: 4e 44 20 7a 3c 3d 33 7d 20 20 20 20 20 20 20 74  ND z<=3}       t
0970: 31 7a 20 20 31 32 35 0a 20 20 20 20 35 20 20 7b  1z  125.    5  {
0980: 7a 3e 3d 34 20 41 4e 44 20 7a 3c 3d 34 7d 20 20  z>=4 AND z<=4}  
0990: 20 20 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20       t1z    1.  
09a0: 20 20 36 20 20 7b 7a 3e 3d 2d 31 20 41 4e 44 20    6  {z>=-1 AND 
09b0: 7a 3c 3d 2d 31 7d 20 20 20 20 20 74 31 7a 20 20  z<=-1}     t1z  
09c0: 20 20 31 0a 20 20 20 20 37 20 20 7b 7a 3e 31 20    1.    7  {z>1 
09d0: 41 4e 44 20 7a 3c 33 7d 20 20 20 20 20 20 20 20  AND z<3}        
09e0: 20 74 31 7a 20 20 31 37 35 0a 20 20 20 20 38 20   t1z  175.    8 
09f0: 20 7b 7a 3e 30 20 41 4e 44 20 7a 3c 31 30 30 7d   {z>0 AND z<100}
0a00: 20 20 20 20 20 20 20 74 31 7a 20 20 36 30 30 0a         t1z  600.
0a10: 20 20 20 20 39 20 20 7b 7a 3e 3d 31 20 41 4e 44      9  {z>=1 AND
0a20: 20 7a 3c 31 30 30 7d 20 20 20 20 20 20 74 31 7a   z<100}      t1z
0a30: 20 20 36 30 30 0a 20 20 20 31 30 20 20 7b 7a 3e    600.   10  {z>
0a40: 31 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20  1 AND z<100}    
0a50: 20 20 20 74 31 7a 20 20 33 30 30 0a 20 20 20 31     t1z  300.   1
0a60: 31 20 20 7b 7a 3e 3d 32 20 41 4e 44 20 7a 3c 31  1  {z>=2 AND z<1
0a70: 30 30 7d 20 20 20 20 20 20 74 31 7a 20 20 33 30  00}      t1z  30
0a80: 30 0a 20 20 20 31 32 20 20 7b 7a 3e 32 20 41 4e  0.   12  {z>2 AN
0a90: 44 20 7a 3c 31 30 30 7d 20 20 20 20 20 20 20 74  D z<100}       t
0aa0: 31 7a 20 20 31 32 35 0a 20 20 20 31 33 20 20 7b  1z  125.   13  {
0ab0: 7a 3e 3d 33 20 41 4e 44 20 7a 3c 31 30 30 7d 20  z>=3 AND z<100} 
0ac0: 20 20 20 20 20 74 31 7a 20 20 31 32 35 0a 20 20       t1z  125.  
0ad0: 20 31 34 20 20 7b 7a 3e 33 20 41 4e 44 20 7a 3c   14  {z>3 AND z<
0ae0: 31 30 30 7d 20 20 20 20 20 20 20 74 31 7a 20 20  100}       t1z  
0af0: 20 20 31 0a 20 20 20 31 35 20 20 7b 7a 3e 3d 34    1.   15  {z>=4
0b00: 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20 20   AND z<100}     
0b10: 20 74 31 7a 20 20 20 20 31 0a 20 20 20 31 36 20   t1z    1.   16 
0b20: 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c   {z>=-100 AND z<
0b30: 3d 2d 31 7d 20 20 20 74 31 7a 20 20 20 20 31 0a  =-1}   t1z    1.
0b40: 20 20 20 31 37 20 20 7b 7a 3e 3d 2d 31 30 30 20     17  {z>=-100 
0b50: 41 4e 44 20 7a 3c 3d 30 7d 20 20 20 20 74 31 7a  AND z<=0}    t1z
0b60: 20 20 34 30 30 0a 20 20 20 31 38 20 20 7b 7a 3e    400.   18  {z>
0b70: 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 30 7d 20 20  =-100 AND z<0}  
0b80: 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20 20 31     t1z    1.   1
0b90: 39 20 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44 20  9  {z>=-100 AND 
0ba0: 7a 3c 3d 31 7d 20 20 20 20 74 31 7a 20 20 37 30  z<=1}    t1z  70
0bb0: 30 0a 20 20 20 32 30 20 20 7b 7a 3e 3d 2d 31 30  0.   20  {z>=-10
0bc0: 30 20 41 4e 44 20 7a 3c 32 7d 20 20 20 20 20 74  0 AND z<2}     t
0bd0: 31 7a 20 20 37 30 30 0a 20 20 20 32 31 20 20 7b  1z  700.   21  {
0be0: 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 3d 32  z>=-100 AND z<=2
0bf0: 7d 20 20 20 20 74 31 7a 20 20 38 37 35 0a 20 20  }    t1z  875.  
0c00: 20 32 32 20 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e   22  {z>=-100 AN
0c10: 44 20 7a 3c 33 7d 20 20 20 20 20 74 31 7a 20 20  D z<3}     t1z  
0c20: 38 37 35 0a 20 20 0a 20 20 20 33 31 20 20 7b 7a  875.  .   31  {z
0c30: 3e 3d 30 2e 30 20 41 4e 44 20 7a 3c 3d 30 2e 30  >=0.0 AND z<=0.0
0c40: 7d 20 20 20 74 31 7a 20 20 34 30 30 0a 20 20 20  }   t1z  400.   
0c50: 33 32 20 20 7b 7a 3e 3d 31 2e 30 20 41 4e 44 20  32  {z>=1.0 AND 
0c60: 7a 3c 3d 31 2e 30 7d 20 20 20 74 31 7a 20 20 33  z<=1.0}   t1z  3
0c70: 30 30 0a 20 20 20 33 33 20 20 7b 7a 3e 3d 32 2e  00.   33  {z>=2.
0c80: 30 20 41 4e 44 20 7a 3c 3d 32 2e 30 7d 20 20 20  0 AND z<=2.0}   
0c90: 74 31 7a 20 20 31 37 35 0a 20 20 20 33 34 20 20  t1z  175.   34  
0ca0: 7b 7a 3e 3d 33 2e 30 20 41 4e 44 20 7a 3c 3d 33  {z>=3.0 AND z<=3
0cb0: 2e 30 7d 20 20 20 74 31 7a 20 20 31 32 35 0a 20  .0}   t1z  125. 
0cc0: 20 20 33 35 20 20 7b 7a 3e 3d 34 2e 30 20 41 4e    35  {z>=4.0 AN
0cd0: 44 20 7a 3c 3d 34 2e 30 7d 20 20 20 74 31 7a 20  D z<=4.0}   t1z 
0ce0: 20 20 20 31 0a 20 20 20 33 36 20 20 7b 7a 3e 3d     1.   36  {z>=
0cf0: 2d 31 2e 30 20 41 4e 44 20 7a 3c 3d 2d 31 2e 30  -1.0 AND z<=-1.0
0d00: 7d 20 74 31 7a 20 20 20 20 31 0a 20 20 20 33 37  } t1z    1.   37
0d10: 20 20 7b 7a 3e 31 2e 35 20 41 4e 44 20 7a 3c 33    {z>1.5 AND z<3
0d20: 2e 30 7d 20 20 20 20 20 74 31 7a 20 20 31 37 34  .0}     t1z  174
0d30: 0a 20 20 20 33 38 20 20 7b 7a 3e 30 2e 35 20 41  .   38  {z>0.5 A
0d40: 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20 20 74 31  ND z<100}     t1
0d50: 7a 20 20 35 39 39 0a 20 20 20 33 39 20 20 7b 7a  z  599.   39  {z
0d60: 3e 3d 31 2e 30 20 41 4e 44 20 7a 3c 31 30 30 7d  >=1.0 AND z<100}
0d70: 20 20 20 20 74 31 7a 20 20 36 30 30 0a 20 20 20      t1z  600.   
0d80: 34 30 20 20 7b 7a 3e 31 2e 35 20 41 4e 44 20 7a  40  {z>1.5 AND z
0d90: 3c 31 30 30 7d 20 20 20 20 20 74 31 7a 20 20 32  <100}     t1z  2
0da0: 39 39 0a 20 20 20 34 31 20 20 7b 7a 3e 3d 32 2e  99.   41  {z>=2.
0db0: 30 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20 20  0 AND z<100}    
0dc0: 74 31 7a 20 20 33 30 30 0a 20 20 20 34 32 20 20  t1z  300.   42  
0dd0: 7b 7a 3e 32 2e 31 20 41 4e 44 20 7a 3c 31 30 30  {z>2.1 AND z<100
0de0: 7d 20 20 20 20 20 74 31 7a 20 20 31 32 34 0a 20  }     t1z  124. 
0df0: 20 20 34 33 20 20 7b 7a 3e 3d 33 2e 30 20 41 4e    43  {z>=3.0 AN
0e00: 44 20 7a 3c 31 30 30 7d 20 20 20 20 74 31 7a 20  D z<100}    t1z 
0e10: 20 31 32 35 0a 20 20 20 34 34 20 20 7b 7a 3e 33   125.   44  {z>3
0e20: 2e 32 20 41 4e 44 20 7a 3c 31 30 30 7d 20 20 20  .2 AND z<100}   
0e30: 20 20 74 31 7a 20 20 20 20 31 0a 20 20 20 34 35    t1z    1.   45
0e40: 20 20 7b 7a 3e 3d 34 2e 30 20 41 4e 44 20 7a 3c    {z>=4.0 AND z<
0e50: 31 30 30 7d 20 20 20 20 74 31 7a 20 20 20 20 31  100}    t1z    1
0e60: 0a 20 20 20 34 36 20 20 7b 7a 3e 3d 2d 31 30 30  .   46  {z>=-100
0e70: 20 41 4e 44 20 7a 3c 3d 2d 31 2e 30 7d 20 74 31   AND z<=-1.0} t1
0e80: 7a 20 20 20 20 31 0a 20 20 20 34 37 20 20 7b 7a  z    1.   47  {z
0e90: 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 3d 30 2e  >=-100 AND z<=0.
0ea0: 30 7d 20 20 74 31 7a 20 20 34 30 30 0a 20 20 20  0}  t1z  400.   
0eb0: 34 38 20 20 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44  48  {z>=-100 AND
0ec0: 20 7a 3c 30 2e 30 7d 20 20 20 74 31 7a 20 20 20   z<0.0}   t1z   
0ed0: 20 31 0a 20 20 20 34 39 20 20 7b 7a 3e 3d 2d 31   1.   49  {z>=-1
0ee0: 30 30 20 41 4e 44 20 7a 3c 3d 31 2e 30 7d 20 20  00 AND z<=1.0}  
0ef0: 74 31 7a 20 20 37 30 30 0a 20 20 20 35 30 20 20  t1z  700.   50  
0f00: 7b 7a 3e 3d 2d 31 30 30 20 41 4e 44 20 7a 3c 32  {z>=-100 AND z<2
0f10: 2e 30 7d 20 20 20 74 31 7a 20 20 37 30 30 0a 20  .0}   t1z  700. 
0f20: 20 20 35 31 20 20 7b 7a 3e 3d 2d 31 30 30 20 41    51  {z>=-100 A
0f30: 4e 44 20 7a 3c 3d 32 2e 30 7d 20 20 74 31 7a 20  ND z<=2.0}  t1z 
0f40: 20 38 37 35 0a 20 20 20 35 32 20 20 7b 7a 3e 3d   875.   52  {z>=
0f50: 2d 31 30 30 20 41 4e 44 20 7a 3c 33 2e 30 7d 20  -100 AND z<3.0} 
0f60: 20 20 74 31 7a 20 20 38 37 35 0a 20 20 0a 20 20    t1z  875.  .  
0f70: 31 30 31 20 20 7b 7a 3d 2d 31 7d 20 20 20 20 20  101  {z=-1}     
0f80: 20 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20             t1z  
0f90: 20 20 31 0a 20 20 31 30 32 20 20 7b 7a 3d 30 7d    1.  102  {z=0}
0fa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0fb0: 20 74 31 7a 20 20 34 30 30 0a 20 20 31 30 33 20   t1z  400.  103 
0fc0: 20 7b 7a 3d 31 7d 20 20 20 20 20 20 20 20 20 20   {z=1}          
0fd0: 20 20 20 20 20 20 20 74 31 7a 20 20 33 30 30 0a         t1z  300.
0fe0: 20 20 31 30 34 20 20 7b 7a 3d 32 7d 20 20 20 20    104  {z=2}    
0ff0: 20 20 20 20 20 20 20 20 20 20 20 20 20 74 31 7a               t1z
1000: 20 20 31 37 35 0a 20 20 31 30 35 20 20 7b 7a 3d    175.  105  {z=
1010: 33 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  3}              
1020: 20 20 20 74 31 7a 20 20 31 32 35 0a 20 20 31 30     t1z  125.  10
1030: 36 20 20 7b 7a 3d 34 7d 20 20 20 20 20 20 20 20  6  {z=4}        
1040: 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 20 20           t1z    
1050: 31 0a 20 20 31 30 37 20 20 7b 7a 3d 2d 31 30 2e  1.  107  {z=-10.
1060: 30 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 74  0}             t
1070: 31 7a 20 20 20 20 31 0a 20 20 31 30 38 20 20 7b  1z    1.  108  {
1080: 7a 3d 30 2e 30 7d 20 20 20 20 20 20 20 20 20 20  z=0.0}          
1090: 20 20 20 20 20 74 31 7a 20 20 34 30 30 0a 20 20       t1z  400.  
10a0: 31 30 39 20 20 7b 7a 3d 31 2e 30 7d 20 20 20 20  109  {z=1.0}    
10b0: 20 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20             t1z  
10c0: 33 30 30 0a 20 20 31 31 30 20 20 7b 7a 3d 32 2e  300.  110  {z=2.
10d0: 30 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  0}              
10e0: 20 74 31 7a 20 20 31 37 35 0a 20 20 31 31 31 20   t1z  175.  111 
10f0: 20 7b 7a 3d 33 2e 30 7d 20 20 20 20 20 20 20 20   {z=3.0}        
1100: 20 20 20 20 20 20 20 74 31 7a 20 20 31 32 35 0a         t1z  125.
1110: 20 20 31 31 32 20 20 7b 7a 3d 34 2e 30 7d 20 20    112  {z=4.0}  
1120: 20 20 20 20 20 20 20 20 20 20 20 20 20 74 31 7a               t1z
1130: 20 20 20 20 31 0a 20 20 31 31 33 20 20 7b 7a 3d      1.  113  {z=
1140: 31 2e 35 7d 20 20 20 20 20 20 20 20 20 20 20 20  1.5}            
1150: 20 20 20 74 31 7a 20 20 20 20 31 0a 20 20 31 31     t1z    1.  11
1160: 34 20 20 7b 7a 3d 32 2e 35 7d 20 20 20 20 20 20  4  {z=2.5}      
1170: 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 20 20           t1z    
1180: 31 0a 20 20 0a 20 20 32 30 31 20 20 7b 7a 20 49  1.  .  201  {z I
1190: 4e 20 28 2d 31 29 7d 20 20 20 20 20 20 20 20 20  N (-1)}         
11a0: 20 20 74 31 7a 20 20 20 20 31 0a 20 20 32 30 32    t1z    1.  202
11b0: 20 20 7b 7a 20 49 4e 20 28 30 29 7d 20 20 20 20    {z IN (0)}    
11c0: 20 20 20 20 20 20 20 20 74 31 7a 20 20 34 30 30          t1z  400
11d0: 0a 20 20 32 30 33 20 20 7b 7a 20 49 4e 20 28 31  .  203  {z IN (1
11e0: 29 7d 20 20 20 20 20 20 20 20 20 20 20 20 74 31  )}            t1
11f0: 7a 20 20 33 30 30 0a 20 20 32 30 34 20 20 7b 7a  z  300.  204  {z
1200: 20 49 4e 20 28 32 29 7d 20 20 20 20 20 20 20 20   IN (2)}        
1210: 20 20 20 20 74 31 7a 20 20 31 37 35 0a 20 20 32      t1z  175.  2
1220: 30 35 20 20 7b 7a 20 49 4e 20 28 33 29 7d 20 20  05  {z IN (3)}  
1230: 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 31            t1z  1
1240: 32 35 0a 20 20 32 30 36 20 20 7b 7a 20 49 4e 20  25.  206  {z IN 
1250: 28 34 29 7d 20 20 20 20 20 20 20 20 20 20 20 20  (4)}            
1260: 74 31 7a 20 20 20 20 31 0a 20 20 32 30 37 20 20  t1z    1.  207  
1270: 7b 7a 20 49 4e 20 28 30 2e 35 29 7d 20 20 20 20  {z IN (0.5)}    
1280: 20 20 20 20 20 20 74 31 7a 20 20 20 20 31 0a 20        t1z    1. 
1290: 20 32 30 38 20 20 7b 7a 20 49 4e 20 28 30 2c 31   208  {z IN (0,1
12a0: 29 7d 20 20 20 20 20 20 20 20 20 20 74 31 7a 20  )}          t1z 
12b0: 20 37 30 30 0a 20 20 32 30 39 20 20 7b 7a 20 49   700.  209  {z I
12c0: 4e 20 28 30 2c 31 2c 32 29 7d 20 20 20 20 20 20  N (0,1,2)}      
12d0: 20 20 74 31 7a 20 20 38 37 35 0a 20 20 32 31 30    t1z  875.  210
12e0: 20 20 7b 7a 20 49 4e 20 28 30 2c 31 2c 32 2c 33    {z IN (0,1,2,3
12f0: 29 7d 20 20 20 20 20 20 7b 7d 20 20 20 31 30 30  )}      {}   100
1300: 0a 20 20 32 31 31 20 20 7b 7a 20 49 4e 20 28 30  .  211  {z IN (0
1310: 2c 31 2c 32 2c 33 2c 34 2c 35 29 7d 20 20 7b 7d  ,1,2,3,4,5)}  {}
1320: 20 20 20 31 30 30 0a 20 20 32 31 32 20 20 7b 7a     100.  212  {z
1330: 20 49 4e 20 28 31 2c 32 29 7d 20 20 20 20 20 20   IN (1,2)}      
1340: 20 20 20 20 74 31 7a 20 20 34 37 35 0a 20 20 32      t1z  475.  2
1350: 31 33 20 20 7b 7a 20 49 4e 20 28 32 2c 33 29 7d  13  {z IN (2,3)}
1360: 20 20 20 20 20 20 20 20 20 20 74 31 7a 20 20 33            t1z  3
1370: 30 30 0a 20 20 32 31 34 20 20 7b 7a 3d 33 20 4f  00.  214  {z=3 O
1380: 52 20 7a 3d 32 7d 20 20 20 20 20 20 20 20 20 20  R z=2}          
1390: 74 31 7a 20 20 33 30 30 0a 20 20 32 31 35 20 20  t1z  300.  215  
13a0: 7b 7a 20 49 4e 20 28 2d 31 2c 33 29 7d 20 20 20  {z IN (-1,3)}   
13b0: 20 20 20 20 20 20 74 31 7a 20 20 31 32 36 0a 20        t1z  126. 
13c0: 20 32 31 36 20 20 7b 7a 3d 2d 31 20 4f 52 20 7a   216  {z=-1 OR z
13d0: 3d 33 7d 20 20 20 20 20 20 20 20 20 74 31 7a 20  =3}         t1z 
13e0: 20 31 32 36 0a 0a 20 20 33 30 30 20 20 7b 79 3d   126..  300  {y=
13f0: 30 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  0}              
1400: 20 20 20 74 31 79 20 20 39 37 34 0a 20 20 33 30     t1y  974.  30
1410: 31 20 20 7b 79 3d 31 7d 20 20 20 20 20 20 20 20  1  {y=1}        
1420: 20 20 20 20 20 20 20 20 20 74 31 79 20 20 20 32           t1y   2
1430: 36 0a 20 20 33 30 32 20 20 7b 79 3d 30 2e 31 7d  6.  302  {y=0.1}
1440: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74                 t
1450: 31 79 20 20 20 20 31 0a 0a 20 20 34 30 30 20 20  1y    1..  400  
1460: 7b 78 20 49 53 20 4e 55 4c 4c 7d 20 20 20 20 20  {x IS NULL}     
1470: 20 20 20 20 20 20 74 31 78 20 20 34 30 30 0a 0a        t1x  400..
1480: 7d 20 7b 0a 20 20 23 20 56 65 72 69 66 79 20 74  } {.  # Verify t
1490: 68 61 74 20 74 68 65 20 65 78 70 65 63 74 65 64  hat the expected
14a0: 20 69 6e 64 65 78 20 69 73 20 75 73 65 64 20 77   index is used w
14b0: 69 74 68 20 74 68 65 20 65 78 70 65 63 74 65 64  ith the expected
14c0: 20 72 6f 77 20 63 6f 75 6e 74 0a 20 20 64 6f 5f   row count.  do_
14d0: 74 65 73 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e  test analyze5-1.
14e0: 24 7b 74 65 73 74 69 64 7d 61 20 7b 0a 20 20 20  ${testid}a {.   
14f0: 20 73 65 74 20 78 20 5b 6c 69 6e 64 65 78 20 5b   set x [lindex [
1500: 65 71 70 20 22 53 45 4c 45 43 54 20 2a 20 46 52  eqp "SELECT * FR
1510: 4f 4d 20 74 31 20 57 48 45 52 45 20 24 77 68 65  OM t1 WHERE $whe
1520: 72 65 22 5d 20 33 5d 0a 20 20 20 20 73 65 74 20  re"] 3].    set 
1530: 69 64 78 20 7b 7d 0a 20 20 20 20 72 65 67 65 78  idx {}.    regex
1540: 70 20 7b 49 4e 44 45 58 20 28 74 31 2e 29 20 7d  p {INDEX (t1.) }
1550: 20 24 78 20 61 6c 6c 20 69 64 78 0a 20 20 20 20   $x all idx.    
1560: 72 65 67 65 78 70 20 7b 7e 28 5b 30 2d 39 5d 2b  regexp {~([0-9]+
1570: 29 20 72 6f 77 73 7d 20 24 78 20 61 6c 6c 20 6e  ) rows} $x all n
1580: 72 6f 77 0a 20 20 20 20 6c 69 73 74 20 24 69 64  row.    list $id
1590: 78 20 24 6e 72 6f 77 0a 20 20 7d 20 5b 6c 69 73  x $nrow.  } [lis
15a0: 74 20 24 69 6e 64 65 78 20 24 72 6f 77 73 5d 0a  t $index $rows].
15b0: 0a 20 20 23 20 56 65 72 69 66 79 20 74 68 61 74  .  # Verify that
15c0: 20 74 68 65 20 73 61 6d 65 20 72 65 73 75 6c 74   the same result
15d0: 20 69 73 20 61 63 68 69 65 76 65 64 20 72 65 67   is achieved reg
15e0: 61 72 64 6c 65 73 73 20 6f 66 20 77 68 65 74 68  ardless of wheth
15f0: 65 72 20 6f 72 20 6e 6f 74 0a 20 20 23 20 74 68  er or not.  # th
1600: 65 20 69 6e 64 65 78 20 69 73 20 75 73 65 64 0a  e index is used.
1610: 20 20 64 6f 5f 74 65 73 74 20 61 6e 61 6c 79 7a    do_test analyz
1620: 65 35 2d 31 2e 24 7b 74 65 73 74 69 64 7d 62 20  e5-1.${testid}b 
1630: 7b 0a 20 20 20 20 73 65 74 20 77 32 20 5b 73 74  {.    set w2 [st
1640: 72 69 6e 67 20 6d 61 70 20 7b 79 20 2b 79 20 7a  ring map {y +y z
1650: 20 2b 7a 7d 20 24 77 68 65 72 65 5d 0a 20 20 20   +z} $where].   
1660: 20 73 65 74 20 61 31 20 5b 64 62 20 65 76 61 6c   set a1 [db eval
1670: 20 22 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46   "SELECT rowid F
1680: 52 4f 4d 20 74 31 20 4e 4f 54 20 49 4e 44 45 58  ROM t1 NOT INDEX
1690: 45 44 20 57 48 45 52 45 20 24 77 32 5c 0a 20 20  ED WHERE $w2\.  
16a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
16b0: 20 20 20 4f 52 44 45 52 20 42 59 20 2b 72 6f 77     ORDER BY +row
16c0: 69 64 22 5d 0a 20 20 20 20 73 65 74 20 61 32 20  id"].    set a2 
16d0: 5b 64 62 20 65 76 61 6c 20 22 53 45 4c 45 43 54  [db eval "SELECT
16e0: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
16f0: 48 45 52 45 20 24 77 68 65 72 65 20 4f 52 44 45  HERE $where ORDE
1700: 52 20 42 59 20 2b 72 6f 77 69 64 22 5d 0a 20 20  R BY +rowid"].  
1710: 20 20 69 66 20 7b 24 61 31 3d 3d 24 61 32 7d 20    if {$a1==$a2} 
1720: 7b 0a 20 20 20 20 20 20 73 65 74 20 72 65 73 20  {.      set res 
1730: 6f 6b 0a 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a  ok.    } else {.
1740: 20 20 20 20 20 20 73 65 74 20 72 65 73 20 22 61        set res "a
1750: 31 3d 5c 5b 24 61 31 5c 5d 20 61 32 3d 5c 5b 24  1=\[$a1\] a2=\[$
1760: 61 32 5c 5d 22 0a 20 20 20 20 7d 0a 20 20 20 20  a2\]".    }.    
1770: 73 65 74 20 72 65 73 0a 20 20 7d 20 7b 6f 6b 7d  set res.  } {ok}
1780: 0a 7d 0a 0a 23 20 49 6e 63 72 65 61 73 65 20 74  .}..# Increase t
1790: 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 4e 55 4c  he number of NUL
17a0: 4c 73 20 69 6e 20 63 6f 6c 75 6d 6e 20 78 0a 23  Ls in column x.#
17b0: 0a 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 55 50  .db eval {.   UP
17c0: 44 41 54 45 20 74 31 20 53 45 54 20 78 3d 4e 55  DATE t1 SET x=NU
17d0: 4c 4c 3b 0a 20 20 20 55 50 44 41 54 45 20 74 31  LL;.   UPDATE t1
17e0: 20 53 45 54 20 78 3d 72 6f 77 69 64 0a 20 20 20   SET x=rowid.   
17f0: 20 57 48 45 52 45 20 72 6f 77 69 64 20 49 4e 20   WHERE rowid IN 
1800: 28 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  (SELECT rowid FR
1810: 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 72  OM t1 ORDER BY r
1820: 61 6e 64 6f 6d 28 29 20 4c 49 4d 49 54 20 35 29  andom() LIMIT 5)
1830: 3b 0a 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 7d 0a  ;.   ANALYZE;.}.
1840: 0a 23 20 56 65 72 69 66 79 20 74 68 61 74 20 72  .# Verify that r
1850: 61 6e 67 65 20 71 75 65 72 69 65 73 20 67 65 6e  ange queries gen
1860: 65 72 61 74 65 20 74 68 65 20 63 6f 72 72 65 63  erate the correc
1870: 74 20 72 6f 77 20 63 6f 75 6e 74 20 65 73 74 69  t row count esti
1880: 6d 61 74 65 73 0a 23 0a 66 6f 72 65 61 63 68 20  mates.#.foreach 
1890: 7b 74 65 73 74 69 64 20 77 68 65 72 65 20 69 6e  {testid where in
18a0: 64 65 78 20 72 6f 77 73 7d 20 7b 0a 20 20 35 30  dex rows} {.  50
18b0: 30 20 20 7b 78 20 49 53 20 4e 55 4c 4c 20 41 4e  0  {x IS NULL AN
18c0: 44 20 75 3d 27 63 68 61 72 6c 69 65 27 7d 20 20  D u='charlie'}  
18d0: 20 20 20 20 20 20 20 74 31 75 20 20 31 37 0a 20         t1u  17. 
18e0: 20 35 30 31 20 20 7b 78 3d 31 20 41 4e 44 20 75   501  {x=1 AND u
18f0: 3d 27 63 68 61 72 6c 69 65 27 7d 20 20 20 20 20  ='charlie'}     
1900: 20 20 20 20 20 20 20 20 20 20 74 31 78 20 20 20            t1x   
1910: 31 0a 20 20 35 30 32 20 20 7b 78 20 49 53 20 4e  1.  502  {x IS N
1920: 55 4c 4c 7d 20 20 20 20 20 20 20 20 20 20 20 20  ULL}            
1930: 20 20 20 20 20 20 20 20 20 20 20 20 20 74 31 78               t1x
1940: 20 39 39 35 0a 20 20 35 30 33 20 20 7b 78 3d 31   995.  503  {x=1
1950: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  }               
1960: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1970: 74 31 78 20 20 20 31 0a 20 20 35 30 34 20 20 7b  t1x   1.  504  {
1980: 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 7d 20 20  x IS NOT NULL}  
1990: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
19a0: 20 20 20 74 31 78 20 20 20 32 0a 20 20 35 30 35     t1x   2.  505
19b0: 20 20 7b 2b 78 20 49 53 20 4e 4f 54 20 4e 55 4c    {+x IS NOT NUL
19c0: 4c 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  L}              
19d0: 20 20 20 20 20 20 20 7b 7d 20 35 30 30 0a 20 20         {} 500.  
19e0: 35 30 36 20 20 7b 75 70 70 65 72 28 78 29 20 49  506  {upper(x) I
19f0: 53 20 4e 4f 54 20 4e 55 4c 4c 7d 20 20 20 20 20  S NOT NULL}     
1a00: 20 20 20 20 20 20 20 20 20 20 7b 7d 20 35 30 30            {} 500
1a10: 0a 0a 7d 20 7b 0a 20 20 23 20 56 65 72 69 66 79  ..} {.  # Verify
1a20: 20 74 68 61 74 20 74 68 65 20 65 78 70 65 63 74   that the expect
1a30: 65 64 20 69 6e 64 65 78 20 69 73 20 75 73 65 64  ed index is used
1a40: 20 77 69 74 68 20 74 68 65 20 65 78 70 65 63 74   with the expect
1a50: 65 64 20 72 6f 77 20 63 6f 75 6e 74 0a 69 66 20  ed row count.if 
1a60: 7b 24 74 65 73 74 69 64 3d 3d 35 30 32 39 39 7d  {$testid==50299}
1a70: 20 7b 62 72 65 61 6b 70 6f 69 6e 74 3b 20 73 65   {breakpoint; se
1a80: 74 20 73 71 6c 69 74 65 5f 77 68 65 72 65 5f 74  t sqlite_where_t
1a90: 72 61 63 65 20 31 7d 0a 20 20 64 6f 5f 74 65 73  race 1}.  do_tes
1aa0: 74 20 61 6e 61 6c 79 7a 65 35 2d 31 2e 24 7b 74  t analyze5-1.${t
1ab0: 65 73 74 69 64 7d 61 20 7b 0a 20 20 20 20 73 65  estid}a {.    se
1ac0: 74 20 78 20 5b 6c 69 6e 64 65 78 20 5b 65 71 70  t x [lindex [eqp
1ad0: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   "SELECT * FROM 
1ae0: 74 31 20 57 48 45 52 45 20 24 77 68 65 72 65 22  t1 WHERE $where"
1af0: 5d 20 33 5d 0a 20 20 20 20 73 65 74 20 69 64 78  ] 3].    set idx
1b00: 20 7b 7d 0a 20 20 20 20 72 65 67 65 78 70 20 7b   {}.    regexp {
1b10: 49 4e 44 45 58 20 28 74 31 2e 29 20 7d 20 24 78  INDEX (t1.) } $x
1b20: 20 61 6c 6c 20 69 64 78 0a 20 20 20 20 72 65 67   all idx.    reg
1b30: 65 78 70 20 7b 7e 28 5b 30 2d 39 5d 2b 29 20 72  exp {~([0-9]+) r
1b40: 6f 77 73 7d 20 24 78 20 61 6c 6c 20 6e 72 6f 77  ows} $x all nrow
1b50: 0a 20 20 20 20 6c 69 73 74 20 24 69 64 78 20 24  .    list $idx $
1b60: 6e 72 6f 77 0a 20 20 7d 20 5b 6c 69 73 74 20 24  nrow.  } [list $
1b70: 69 6e 64 65 78 20 24 72 6f 77 73 5d 0a 69 66 20  index $rows].if 
1b80: 7b 24 74 65 73 74 69 64 3d 3d 35 30 32 39 39 7d  {$testid==50299}
1b90: 20 65 78 69 74 0a 0a 20 20 23 20 56 65 72 69 66   exit..  # Verif
1ba0: 79 20 74 68 61 74 20 74 68 65 20 73 61 6d 65 20  y that the same 
1bb0: 72 65 73 75 6c 74 20 69 73 20 61 63 68 69 65 76  result is achiev
1bc0: 65 64 20 72 65 67 61 72 64 6c 65 73 73 20 6f 66  ed regardless of
1bd0: 20 77 68 65 74 68 65 72 20 6f 72 20 6e 6f 74 0a   whether or not.
1be0: 20 20 23 20 74 68 65 20 69 6e 64 65 78 20 69 73    # the index is
1bf0: 20 75 73 65 64 0a 20 20 64 6f 5f 74 65 73 74 20   used.  do_test 
1c00: 61 6e 61 6c 79 7a 65 35 2d 31 2e 24 7b 74 65 73  analyze5-1.${tes
1c10: 74 69 64 7d 62 20 7b 0a 20 20 20 20 73 65 74 20  tid}b {.    set 
1c20: 77 32 20 5b 73 74 72 69 6e 67 20 6d 61 70 20 7b  w2 [string map {
1c30: 79 20 2b 79 20 7a 20 2b 7a 7d 20 24 77 68 65 72  y +y z +z} $wher
1c40: 65 5d 0a 20 20 20 20 73 65 74 20 61 31 20 5b 64  e].    set a1 [d
1c50: 62 20 65 76 61 6c 20 22 53 45 4c 45 43 54 20 72  b eval "SELECT r
1c60: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 4e 4f 54  owid FROM t1 NOT
1c70: 20 49 4e 44 45 58 45 44 20 57 48 45 52 45 20 24   INDEXED WHERE $
1c80: 77 32 5c 0a 20 20 20 20 20 20 20 20 20 20 20 20  w2\.            
1c90: 20 20 20 20 20 20 20 20 20 4f 52 44 45 52 20 42           ORDER B
1ca0: 59 20 2b 72 6f 77 69 64 22 5d 0a 20 20 20 20 73  Y +rowid"].    s
1cb0: 65 74 20 61 32 20 5b 64 62 20 65 76 61 6c 20 22  et a2 [db eval "
1cc0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
1cd0: 4d 20 74 31 20 57 48 45 52 45 20 24 77 68 65 72  M t1 WHERE $wher
1ce0: 65 20 4f 52 44 45 52 20 42 59 20 2b 72 6f 77 69  e ORDER BY +rowi
1cf0: 64 22 5d 0a 20 20 20 20 69 66 20 7b 24 61 31 3d  d"].    if {$a1=
1d00: 3d 24 61 32 7d 20 7b 0a 20 20 20 20 20 20 73 65  =$a2} {.      se
1d10: 74 20 72 65 73 20 6f 6b 0a 20 20 20 20 7d 20 65  t res ok.    } e
1d20: 6c 73 65 20 7b 0a 20 20 20 20 20 20 73 65 74 20  lse {.      set 
1d30: 72 65 73 20 22 61 31 3d 5c 5b 24 61 31 5c 5d 20  res "a1=\[$a1\] 
1d40: 61 32 3d 5c 5b 24 61 32 5c 5d 22 0a 20 20 20 20  a2=\[$a2\]".    
1d50: 7d 0a 20 20 20 20 73 65 74 20 72 65 73 0a 20 20  }.    set res.  
1d60: 7d 20 7b 6f 6b 7d 0a 7d 0a 0a 66 69 6e 69 73 68  } {ok}.}..finish
1d70: 5f 74 65 73 74 0a                                _test.