/ Hex Artifact Content
Login

Artifact af78c55589cbc82d793449493adba0dc3d659f23:


0000: 23 20 32 30 30 35 20 4a 75 6c 79 20 32 38 0a 23  # 2005 July 28.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a  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 0a 23 20 54 68 69 73 20 66 69 6c 65  ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66    The.# focus of
01b0: 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74 65   this file is te
01c0: 73 74 69 6e 67 20 74 68 65 20 75 73 65 20 6f 66  sting the use of
01d0: 20 69 6e 64 69 63 65 73 20 69 6e 20 57 48 45 52   indices in WHER
01e0: 45 20 63 6c 61 75 73 65 73 0a 23 20 62 61 73 65  E clauses.# base
01f0: 64 20 6f 6e 20 72 65 63 65 6e 74 20 63 68 61 6e  d on recent chan
0200: 67 65 73 20 74 6f 20 74 68 65 20 6f 70 74 69 6d  ges to the optim
0210: 69 7a 65 72 2e 0a 23 0a 23 20 24 49 64 3a 20 77  izer..#.# $Id: w
0220: 68 65 72 65 32 2e 74 65 73 74 2c 76 20 31 2e 31  here2.test,v 1.1
0230: 35 20 32 30 30 39 2f 30 32 2f 30 32 20 30 31 3a  5 2009/02/02 01:
0240: 35 30 3a 34 30 20 64 72 68 20 45 78 70 20 24 0a  50:40 drh Exp $.
0250: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69  .set testdir [fi
0260: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76  le dirname $argv
0270: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64  0].source $testd
0280: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23  ir/tester.tcl..#
0290: 20 42 75 69 6c 64 20 73 6f 6d 65 20 74 65 73 74   Build some test
02a0: 20 64 61 74 61 0a 23 0a 64 6f 5f 74 65 73 74 20   data.#.do_test 
02b0: 77 68 65 72 65 32 2d 31 2e 30 20 7b 0a 20 20 65  where2-1.0 {.  e
02c0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47  xecsql {.    BEG
02d0: 49 4e 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  IN;.    CREATE T
02e0: 41 42 4c 45 20 74 31 28 77 20 69 6e 74 2c 20 78  ABLE t1(w int, x
02f0: 20 69 6e 74 2c 20 79 20 69 6e 74 2c 20 7a 20 69   int, y int, z i
0300: 6e 74 29 3b 0a 20 20 7d 0a 20 20 66 6f 72 20 7b  nt);.  }.  for {
0310: 73 65 74 20 69 20 31 7d 20 7b 24 69 3c 3d 31 30  set i 1} {$i<=10
0320: 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  0} {incr i} {.  
0330: 20 20 73 65 74 20 77 20 24 69 0a 20 20 20 20 73    set w $i.    s
0340: 65 74 20 78 20 5b 65 78 70 72 20 7b 69 6e 74 28  et x [expr {int(
0350: 6c 6f 67 28 24 69 29 2f 6c 6f 67 28 32 29 29 7d  log($i)/log(2))}
0360: 5d 0a 20 20 20 20 73 65 74 20 79 20 5b 65 78 70  ].    set y [exp
0370: 72 20 7b 24 69 2a 24 69 20 2b 20 32 2a 24 69 20  r {$i*$i + 2*$i 
0380: 2b 20 31 7d 5d 0a 20 20 20 20 73 65 74 20 7a 20  + 1}].    set z 
0390: 5b 65 78 70 72 20 7b 24 78 2b 24 79 7d 5d 0a 20  [expr {$x+$y}]. 
03a0: 20 20 20 69 66 63 61 70 61 62 6c 65 20 74 63 6c     ifcapable tcl
03b0: 76 61 72 20 7b 0a 20 20 20 20 20 20 65 78 65 63  var {.      exec
03c0: 73 71 6c 20 7b 49 4e 53 45 52 54 20 49 4e 54 4f  sql {INSERT INTO
03d0: 20 74 31 20 56 41 4c 55 45 53 28 24 3a 3a 77 2c   t1 VALUES($::w,
03e0: 24 3a 3a 78 2c 24 3a 3a 79 2c 24 3a 3a 7a 29 7d  $::x,$::y,$::z)}
03f0: 0a 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20  .    } else {.  
0400: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 49 4e 53      execsql {INS
0410: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0420: 45 53 28 3a 77 2c 3a 78 2c 3a 79 2c 3a 7a 29 7d  ES(:w,:x,:y,:z)}
0430: 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 65 78 65  .    }.  }.  exe
0440: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
0450: 45 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 69  E UNIQUE INDEX i
0460: 31 77 20 4f 4e 20 74 31 28 77 29 3b 0a 20 20 20  1w ON t1(w);.   
0470: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69 31   CREATE INDEX i1
0480: 78 79 20 4f 4e 20 74 31 28 78 2c 79 29 3b 0a 20  xy ON t1(x,y);. 
0490: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
04a0: 69 31 7a 79 78 20 4f 4e 20 74 31 28 7a 2c 79 2c  i1zyx ON t1(z,y,
04b0: 78 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a  x);.    COMMIT;.
04c0: 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 44 6f 20 61    }.} {}..# Do a
04d0: 6e 20 53 51 4c 20 73 74 61 74 65 6d 65 6e 74 2e  n SQL statement.
04e0: 20 20 41 70 70 65 6e 64 20 74 68 65 20 73 65 61    Append the sea
04f0: 72 63 68 20 63 6f 75 6e 74 20 74 6f 20 74 68 65  rch count to the
0500: 20 65 6e 64 20 6f 66 20 74 68 65 20 72 65 73 75   end of the resu
0510: 6c 74 2e 0a 23 0a 70 72 6f 63 20 63 6f 75 6e 74  lt..#.proc count
0520: 20 73 71 6c 20 7b 0a 20 20 73 65 74 20 3a 3a 73   sql {.  set ::s
0530: 71 6c 69 74 65 5f 73 65 61 72 63 68 5f 63 6f 75  qlite_search_cou
0540: 6e 74 20 30 0a 20 20 72 65 74 75 72 6e 20 5b 63  nt 0.  return [c
0550: 6f 6e 63 61 74 20 5b 65 78 65 63 73 71 6c 20 24  oncat [execsql $
0560: 73 71 6c 5d 20 24 3a 3a 73 71 6c 69 74 65 5f 73  sql] $::sqlite_s
0570: 65 61 72 63 68 5f 63 6f 75 6e 74 5d 0a 7d 0a 0a  earch_count].}..
0580: 23 20 54 68 69 73 20 70 72 6f 63 65 64 75 72 65  # This procedure
0590: 20 65 78 65 63 75 74 65 73 20 74 68 65 20 53 51   executes the SQ
05a0: 4c 2e 20 20 54 68 65 6e 20 69 74 20 63 68 65 63  L.  Then it chec
05b0: 6b 73 20 74 6f 20 73 65 65 20 69 66 20 74 68 65  ks to see if the
05c0: 20 4f 50 5f 53 6f 72 74 0a 23 20 6f 70 63 6f 64   OP_Sort.# opcod
05d0: 65 20 77 61 73 20 65 78 65 63 75 74 65 64 2e 20  e was executed. 
05e0: 20 49 66 20 61 6e 20 4f 50 5f 53 6f 72 74 20 64   If an OP_Sort d
05f0: 69 64 20 6f 63 63 75 72 2c 20 74 68 65 6e 20 22  id occur, then "
0600: 73 6f 72 74 22 20 69 73 20 61 70 70 65 6e 64 65  sort" is appende
0610: 64 0a 23 20 74 6f 20 74 68 65 20 72 65 73 75 6c  d.# to the resul
0620: 74 2e 20 20 49 66 20 6e 6f 20 4f 50 5f 53 6f 72  t.  If no OP_Sor
0630: 74 20 68 61 70 70 65 6e 65 64 2c 20 74 68 65 6e  t happened, then
0640: 20 22 6e 6f 73 6f 72 74 22 20 69 73 20 61 70 70   "nosort" is app
0650: 65 6e 64 65 64 2e 0a 23 0a 23 20 54 68 69 73 20  ended..#.# This 
0660: 70 72 6f 63 65 64 75 72 65 20 69 73 20 75 73 65  procedure is use
0670: 64 20 74 6f 20 63 68 65 63 6b 20 74 6f 20 6d 61  d to check to ma
0680: 6b 65 20 73 75 72 65 20 73 6f 72 74 69 6e 67 20  ke sure sorting 
0690: 69 73 20 6f 72 20 69 73 20 6e 6f 74 0a 23 20 6f  is or is not.# o
06a0: 63 63 75 72 72 69 6e 67 20 61 73 20 65 78 70 65  ccurring as expe
06b0: 63 74 65 64 2e 0a 23 0a 70 72 6f 63 20 63 6b 73  cted..#.proc cks
06c0: 6f 72 74 20 7b 73 71 6c 7d 20 7b 0a 20 20 73 65  ort {sql} {.  se
06d0: 74 20 64 61 74 61 20 5b 65 78 65 63 73 71 6c 20  t data [execsql 
06e0: 24 73 71 6c 5d 0a 20 20 69 66 20 7b 5b 64 62 20  $sql].  if {[db 
06f0: 73 74 61 74 75 73 20 73 6f 72 74 5d 7d 20 7b 73  status sort]} {s
0700: 65 74 20 78 20 73 6f 72 74 7d 20 7b 73 65 74 20  et x sort} {set 
0710: 78 20 6e 6f 73 6f 72 74 7d 0a 20 20 6c 61 70 70  x nosort}.  lapp
0720: 65 6e 64 20 64 61 74 61 20 24 78 0a 20 20 72 65  end data $x.  re
0730: 74 75 72 6e 20 24 64 61 74 61 0a 7d 0a 0a 23 20  turn $data.}..# 
0740: 54 68 69 73 20 70 72 6f 63 65 64 75 72 65 20 65  This procedure e
0750: 78 65 63 75 74 65 73 20 74 68 65 20 53 51 4c 2e  xecutes the SQL.
0760: 20 20 54 68 65 6e 20 69 74 20 61 70 70 65 6e 64    Then it append
0770: 73 20 74 6f 20 74 68 65 20 72 65 73 75 6c 74 20  s to the result 
0780: 74 68 65 0a 23 20 22 73 6f 72 74 22 20 6f 72 20  the.# "sort" or 
0790: 22 6e 6f 73 6f 72 74 22 20 6b 65 79 77 6f 72 64  "nosort" keyword
07a0: 20 28 61 73 20 69 6e 20 74 68 65 20 63 6b 73 6f   (as in the ckso
07b0: 72 74 20 70 72 6f 63 65 64 75 72 65 20 61 62 6f  rt procedure abo
07c0: 76 65 29 20 74 68 65 6e 0a 23 20 69 74 20 61 70  ve) then.# it ap
07d0: 70 65 6e 64 73 20 74 68 65 20 6e 61 6d 65 20 6f  pends the name o
07e0: 66 20 74 68 65 20 74 61 62 6c 65 20 61 6e 64 20  f the table and 
07f0: 69 6e 64 65 78 20 75 73 65 64 2e 0a 23 0a 70 72  index used..#.pr
0800: 6f 63 20 71 75 65 72 79 70 6c 61 6e 20 7b 73 71  oc queryplan {sq
0810: 6c 7d 20 7b 0a 20 20 73 65 74 20 3a 3a 73 71 6c  l} {.  set ::sql
0820: 69 74 65 5f 73 6f 72 74 5f 63 6f 75 6e 74 20 30  ite_sort_count 0
0830: 0a 20 20 73 65 74 20 64 61 74 61 20 5b 65 78 65  .  set data [exe
0840: 63 73 71 6c 20 24 73 71 6c 5d 0a 20 20 69 66 20  csql $sql].  if 
0850: 7b 24 3a 3a 73 71 6c 69 74 65 5f 73 6f 72 74 5f  {$::sqlite_sort_
0860: 63 6f 75 6e 74 7d 20 7b 73 65 74 20 78 20 73 6f  count} {set x so
0870: 72 74 7d 20 7b 73 65 74 20 78 20 6e 6f 73 6f 72  rt} {set x nosor
0880: 74 7d 0a 20 20 6c 61 70 70 65 6e 64 20 64 61 74  t}.  lappend dat
0890: 61 20 24 78 0a 20 20 73 65 74 20 65 71 70 20 5b  a $x.  set eqp [
08a0: 65 78 65 63 73 71 6c 20 22 45 58 50 4c 41 49 4e  execsql "EXPLAIN
08b0: 20 51 55 45 52 59 20 50 4c 41 4e 20 24 73 71 6c   QUERY PLAN $sql
08c0: 22 5d 0a 20 20 23 20 70 75 74 73 20 65 71 70 3d  "].  # puts eqp=
08d0: 24 65 71 70 0a 20 20 66 6f 72 65 61 63 68 20 7b  $eqp.  foreach {
08e0: 61 20 62 20 63 20 78 7d 20 24 65 71 70 20 7b 0a  a b c x} $eqp {.
08f0: 20 20 20 20 69 66 20 7b 5b 72 65 67 65 78 70 20      if {[regexp 
0900: 7b 20 54 41 42 4c 45 20 28 5c 77 2b 20 41 53 20  { TABLE (\w+ AS 
0910: 29 3f 28 5c 77 2b 29 20 55 53 49 4e 47 2e 2a 20  )?(\w+) USING.* 
0920: 49 4e 44 45 58 20 28 5c 77 2b 29 5c 79 7d 20 5c  INDEX (\w+)\y} \
0930: 0a 20 20 20 20 20 20 20 20 24 78 20 61 6c 6c 20  .        $x all 
0940: 61 73 20 74 61 62 20 69 64 78 5d 7d 20 7b 0a 20  as tab idx]} {. 
0950: 20 20 20 20 20 6c 61 70 70 65 6e 64 20 64 61 74       lappend dat
0960: 61 20 24 74 61 62 20 24 69 64 78 0a 20 20 20 20  a $tab $idx.    
0970: 7d 20 65 6c 73 65 69 66 20 7b 5b 72 65 67 65 78  } elseif {[regex
0980: 70 20 7b 20 54 41 42 4c 45 20 28 5c 77 2b 20 41  p { TABLE (\w+ A
0990: 53 20 29 3f 28 5c 77 2b 29 5c 79 7d 20 24 78 20  S )?(\w+)\y} $x 
09a0: 61 6c 6c 20 61 73 20 74 61 62 5d 7d 20 7b 0a 20  all as tab]} {. 
09b0: 20 20 20 20 20 6c 61 70 70 65 6e 64 20 64 61 74       lappend dat
09c0: 61 20 24 74 61 62 20 2a 0a 20 20 20 20 7d 0a 20  a $tab *.    }. 
09d0: 20 7d 0a 20 20 72 65 74 75 72 6e 20 24 64 61 74   }.  return $dat
09e0: 61 20 20 20 0a 7d 0a 0a 0a 23 20 50 72 65 66 65  a   .}...# Prefe
09f0: 72 20 61 20 55 4e 49 51 55 45 20 69 6e 64 65 78  r a UNIQUE index
0a00: 20 6f 76 65 72 20 61 6e 6f 74 68 65 72 20 69 6e   over another in
0a10: 64 65 78 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77  dex..#.do_test w
0a20: 68 65 72 65 32 2d 31 2e 31 20 7b 0a 20 20 71 75  here2-1.1 {.  qu
0a30: 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45  eryplan {.    SE
0a40: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
0a50: 48 45 52 45 20 77 3d 38 35 20 41 4e 44 20 78 3d  HERE w=85 AND x=
0a60: 36 20 41 4e 44 20 79 3d 37 33 39 36 0a 20 20 7d  6 AND y=7396.  }
0a70: 0a 7d 20 7b 38 35 20 36 20 37 33 39 36 20 37 34  .} {85 6 7396 74
0a80: 30 32 20 6e 6f 73 6f 72 74 20 74 31 20 69 31 77  02 nosort t1 i1w
0a90: 7d 0a 0a 23 20 41 6c 77 61 79 73 20 70 72 65 66  }..# Always pref
0aa0: 65 72 20 61 20 72 6f 77 69 64 3d 3d 20 63 6f 6e  er a rowid== con
0ab0: 73 74 72 61 69 6e 74 20 6f 76 65 72 20 61 6e 79  straint over any
0ac0: 20 6f 74 68 65 72 20 69 6e 64 65 78 2e 0a 23 0a   other index..#.
0ad0: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 31  do_test where2-1
0ae0: 2e 33 20 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e  .3 {.  queryplan
0af0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
0b00: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d  FROM t1 WHERE w=
0b10: 38 35 20 41 4e 44 20 78 3d 36 20 41 4e 44 20 79  85 AND x=6 AND y
0b20: 3d 37 33 39 36 20 41 4e 44 20 72 6f 77 69 64 3d  =7396 AND rowid=
0b30: 38 35 0a 20 20 7d 0a 7d 20 7b 38 35 20 36 20 37  85.  }.} {85 6 7
0b40: 33 39 36 20 37 34 30 32 20 6e 6f 73 6f 72 74 20  396 7402 nosort 
0b50: 74 31 20 2a 7d 0a 0a 23 20 57 68 65 6e 20 63 6f  t1 *}..# When co
0b60: 6e 73 74 72 61 69 6e 65 64 20 62 79 20 61 20 55  nstrained by a U
0b70: 4e 49 51 55 45 20 69 6e 64 65 78 2c 20 74 68 65  NIQUE index, the
0b80: 20 4f 52 44 45 52 20 42 59 20 63 6c 61 75 73 65   ORDER BY clause
0b90: 20 69 73 20 61 6c 77 61 79 73 20 69 67 6e 6f 72   is always ignor
0ba0: 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77 68  ed..#.do_test wh
0bb0: 65 72 65 32 2d 32 2e 31 20 7b 0a 20 20 71 75 65  ere2-2.1 {.  que
0bc0: 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c  ryplan {.    SEL
0bd0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48  ECT * FROM t1 WH
0be0: 45 52 45 20 77 3d 38 35 20 4f 52 44 45 52 20 42  ERE w=85 ORDER B
0bf0: 59 20 72 61 6e 64 6f 6d 28 29 3b 0a 20 20 7d 0a  Y random();.  }.
0c00: 7d 20 7b 38 35 20 36 20 37 33 39 36 20 37 34 30  } {85 6 7396 740
0c10: 32 20 6e 6f 73 6f 72 74 20 74 31 20 69 31 77 7d  2 nosort t1 i1w}
0c20: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d  .do_test where2-
0c30: 32 2e 32 20 7b 0a 20 20 71 75 65 72 79 70 6c 61  2.2 {.  querypla
0c40: 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  n {.    SELECT *
0c50: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 78   FROM t1 WHERE x
0c60: 3d 36 20 41 4e 44 20 79 3d 37 33 39 36 20 4f 52  =6 AND y=7396 OR
0c70: 44 45 52 20 42 59 20 72 61 6e 64 6f 6d 28 29 3b  DER BY random();
0c80: 0a 20 20 7d 0a 7d 20 7b 38 35 20 36 20 37 33 39  .  }.} {85 6 739
0c90: 36 20 37 34 30 32 20 73 6f 72 74 20 74 31 20 69  6 7402 sort t1 i
0ca0: 31 78 79 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65  1xy}.do_test whe
0cb0: 72 65 32 2d 32 2e 33 20 7b 0a 20 20 71 75 65 72  re2-2.3 {.  quer
0cc0: 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45  yplan {.    SELE
0cd0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
0ce0: 52 45 20 72 6f 77 69 64 3d 38 35 20 41 4e 44 20  RE rowid=85 AND 
0cf0: 78 3d 36 20 41 4e 44 20 79 3d 37 33 39 36 20 4f  x=6 AND y=7396 O
0d00: 52 44 45 52 20 42 59 20 72 61 6e 64 6f 6d 28 29  RDER BY random()
0d10: 3b 0a 20 20 7d 0a 7d 20 7b 38 35 20 36 20 37 33  ;.  }.} {85 6 73
0d20: 39 36 20 37 34 30 32 20 6e 6f 73 6f 72 74 20 74  96 7402 nosort t
0d30: 31 20 2a 7d 0a 0a 23 20 54 69 63 6b 65 74 20 5b  1 *}..# Ticket [
0d40: 36 35 62 64 65 62 39 37 33 39 36 30 35 63 63 32  65bdeb9739605cc2
0d50: 32 39 36 36 66 34 39 32 30 38 34 35 32 39 39 36  2966f49208452996
0d60: 66 66 32 39 61 36 34 30 5d 20 32 30 31 34 2d 30  ff29a640] 2014-0
0d70: 32 2d 32 36 0a 23 20 4d 61 6b 65 20 73 75 72 65  2-26.# Make sure
0d80: 20 22 4f 52 44 45 52 20 42 59 20 72 61 6e 64 6f   "ORDER BY rando
0d90: 6d 22 20 64 6f 65 73 20 6e 6f 74 20 67 65 74 73  m" does not gets
0da0: 20 6f 70 74 69 6d 69 7a 65 64 20 6f 75 74 2e 0a   optimized out..
0db0: 23 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32  #.do_test where2
0dc0: 2d 32 2e 34 20 7b 0a 20 20 64 62 20 65 76 61 6c  -2.4 {.  db eval
0dd0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
0de0: 42 4c 45 20 78 31 28 61 20 49 4e 54 45 47 45 52  BLE x1(a INTEGER
0df0: 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 20   PRIMARY KEY, b 
0e00: 44 45 46 41 55 4c 54 20 31 29 3b 0a 20 20 20 20  DEFAULT 1);.    
0e10: 57 49 54 48 20 52 45 43 55 52 53 49 56 45 0a 20  WITH RECURSIVE. 
0e20: 20 20 20 20 20 20 63 6e 74 28 78 29 20 41 53 20        cnt(x) AS 
0e30: 28 56 41 4c 55 45 53 28 31 29 20 55 4e 49 4f 4e  (VALUES(1) UNION
0e40: 20 41 4c 4c 20 53 45 4c 45 43 54 20 78 2b 31 20   ALL SELECT x+1 
0e50: 46 52 4f 4d 20 63 6e 74 20 57 48 45 52 45 20 78  FROM cnt WHERE x
0e60: 3c 35 30 29 0a 20 20 20 20 49 4e 53 45 52 54 20  <50).    INSERT 
0e70: 49 4e 54 4f 20 78 31 20 53 45 4c 45 43 54 20 78  INTO x1 SELECT x
0e80: 2c 20 31 20 46 52 4f 4d 20 63 6e 74 3b 0a 20 20  , 1 FROM cnt;.  
0e90: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78    CREATE TABLE x
0ea0: 32 28 78 20 49 4e 54 45 47 45 52 20 50 52 49 4d  2(x INTEGER PRIM
0eb0: 41 52 59 20 4b 45 59 29 3b 0a 20 20 20 20 49 4e  ARY KEY);.    IN
0ec0: 53 45 52 54 20 49 4e 54 4f 20 78 32 20 56 41 4c  SERT INTO x2 VAL
0ed0: 55 45 53 28 31 29 3b 0a 20 20 7d 0a 20 20 73 65  UES(1);.  }.  se
0ee0: 74 20 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20  t sql {SELECT * 
0ef0: 46 52 4f 4d 20 78 31 2c 20 78 32 20 57 48 45 52  FROM x1, x2 WHER
0f00: 45 20 78 3d 31 20 4f 52 44 45 52 20 42 59 20 72  E x=1 ORDER BY r
0f10: 61 6e 64 6f 6d 28 29 7d 0a 20 20 73 65 74 20 6f  andom()}.  set o
0f20: 75 74 31 20 5b 64 62 20 65 76 61 6c 20 24 73 71  ut1 [db eval $sq
0f30: 6c 5d 0a 20 20 73 65 74 20 6f 75 74 32 20 5b 64  l].  set out2 [d
0f40: 62 20 65 76 61 6c 20 24 73 71 6c 5d 0a 20 20 73  b eval $sql].  s
0f50: 65 74 20 6f 75 74 33 20 5b 64 62 20 65 76 61 6c  et out3 [db eval
0f60: 20 24 73 71 6c 5d 0a 20 20 65 78 70 72 20 7b 24   $sql].  expr {$
0f70: 6f 75 74 31 21 3d 24 6f 75 74 32 20 26 26 20 24  out1!=$out2 && $
0f80: 6f 75 74 32 21 3d 24 6f 75 74 33 7d 0a 7d 20 7b  out2!=$out3}.} {
0f90: 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  1}.do_execsql_te
0fa0: 73 74 20 77 68 65 72 65 32 2d 32 2e 35 20 7b 0a  st where2-2.5 {.
0fb0: 20 20 2d 2d 20 72 61 6e 64 6f 6d 28 29 20 69 73    -- random() is
0fc0: 20 6e 6f 74 20 6f 70 74 69 6d 69 7a 65 64 20 6f   not optimized o
0fd0: 75 74 0a 20 20 45 58 50 4c 41 49 4e 20 53 45 4c  ut.  EXPLAIN SEL
0fe0: 45 43 54 20 2a 20 46 52 4f 4d 20 78 31 2c 20 78  ECT * FROM x1, x
0ff0: 32 20 57 48 45 52 45 20 78 3d 31 20 4f 52 44 45  2 WHERE x=1 ORDE
1000: 52 20 42 59 20 72 61 6e 64 6f 6d 28 29 3b 0a 7d  R BY random();.}
1010: 20 7b 2f 20 72 61 6e 64 6f 6d 2f 7d 0a 64 6f 5f   {/ random/}.do_
1020: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 77 68 65  execsql_test whe
1030: 72 65 32 2d 32 2e 35 62 20 7b 0a 20 20 2d 2d 20  re2-2.5b {.  -- 
1040: 72 61 6e 64 6f 6d 28 29 20 69 73 20 6e 6f 74 20  random() is not 
1050: 6f 70 74 69 6d 69 7a 65 64 20 6f 75 74 0a 20 20  optimized out.  
1060: 45 58 50 4c 41 49 4e 20 53 45 4c 45 43 54 20 2a  EXPLAIN SELECT *
1070: 20 46 52 4f 4d 20 78 31 2c 20 78 32 20 57 48 45   FROM x1, x2 WHE
1080: 52 45 20 78 3d 31 20 4f 52 44 45 52 20 42 59 20  RE x=1 ORDER BY 
1090: 72 61 6e 64 6f 6d 28 29 3b 0a 7d 20 7b 2f 20 53  random();.} {/ S
10a0: 6f 72 74 65 72 4f 70 65 6e 20 2f 7d 0a 64 6f 5f  orterOpen /}.do_
10b0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 77 68 65  execsql_test whe
10c0: 72 65 32 2d 32 2e 36 20 7b 0a 20 20 2d 2d 20 6f  re2-2.6 {.  -- o
10d0: 74 68 65 72 20 63 6f 6e 73 74 61 6e 74 20 66 75  ther constant fu
10e0: 6e 63 74 69 6f 6e 73 20 61 72 65 20 6f 70 74 69  nctions are opti
10f0: 6d 69 7a 65 64 20 6f 75 74 0a 20 20 45 58 50 4c  mized out.  EXPL
1100: 41 49 4e 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  AIN SELECT * FRO
1110: 4d 20 78 31 2c 20 78 32 20 57 48 45 52 45 20 78  M x1, x2 WHERE x
1120: 3d 31 20 4f 52 44 45 52 20 42 59 20 61 62 73 28  =1 ORDER BY abs(
1130: 35 29 3b 0a 7d 20 7b 7e 2f 20 61 62 73 2f 7d 0a  5);.} {~/ abs/}.
1140: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1150: 77 68 65 72 65 32 2d 32 2e 36 62 20 7b 0a 20 20  where2-2.6b {.  
1160: 2d 2d 20 6f 74 68 65 72 20 63 6f 6e 73 74 61 6e  -- other constan
1170: 74 20 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20  t functions are 
1180: 6f 70 74 69 6d 69 7a 65 64 20 6f 75 74 0a 20 20  optimized out.  
1190: 45 58 50 4c 41 49 4e 20 53 45 4c 45 43 54 20 2a  EXPLAIN SELECT *
11a0: 20 46 52 4f 4d 20 78 31 2c 20 78 32 20 57 48 45   FROM x1, x2 WHE
11b0: 52 45 20 78 3d 31 20 4f 52 44 45 52 20 42 59 20  RE x=1 ORDER BY 
11c0: 61 62 73 28 35 29 3b 0a 7d 20 7b 7e 2f 20 53 6f  abs(5);.} {~/ So
11d0: 72 74 65 72 4f 70 65 6e 20 2f 7d 0a 0a 0a 0a 23  rterOpen /}....#
11e0: 20 45 66 66 69 63 69 65 6e 74 20 68 61 6e 64 6c   Efficient handl
11f0: 69 6e 67 20 6f 66 20 66 6f 72 77 61 72 64 20 61  ing of forward a
1200: 6e 64 20 72 65 76 65 72 73 65 20 74 61 62 6c 65  nd reverse table
1210: 20 73 63 61 6e 73 2e 0a 23 0a 64 6f 5f 74 65 73   scans..#.do_tes
1220: 74 20 77 68 65 72 65 32 2d 33 2e 31 20 7b 0a 20  t where2-3.1 {. 
1230: 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20   queryplan {.   
1240: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1250: 31 20 4f 52 44 45 52 20 42 59 20 72 6f 77 69 64  1 ORDER BY rowid
1260: 20 4c 49 4d 49 54 20 32 0a 20 20 7d 0a 7d 20 7b   LIMIT 2.  }.} {
1270: 31 20 30 20 34 20 34 20 32 20 31 20 39 20 31 30  1 0 4 4 2 1 9 10
1280: 20 6e 6f 73 6f 72 74 20 74 31 20 2a 7d 0a 64 6f   nosort t1 *}.do
1290: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 33 2e 32  _test where2-3.2
12a0: 20 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e 20 7b   {.  queryplan {
12b0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
12c0: 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 72  OM t1 ORDER BY r
12d0: 6f 77 69 64 20 44 45 53 43 20 4c 49 4d 49 54 20  owid DESC LIMIT 
12e0: 32 0a 20 20 7d 0a 7d 20 7b 31 30 30 20 36 20 31  2.  }.} {100 6 1
12f0: 30 32 30 31 20 31 30 32 30 37 20 39 39 20 36 20  0201 10207 99 6 
1300: 31 30 30 30 30 20 31 30 30 30 36 20 6e 6f 73 6f  10000 10006 noso
1310: 72 74 20 74 31 20 2a 7d 0a 0a 23 20 54 68 65 20  rt t1 *}..# The 
1320: 49 4e 20 6f 70 65 72 61 74 6f 72 20 63 61 6e 20  IN operator can 
1330: 62 65 20 75 73 65 64 20 62 79 20 69 6e 64 69 63  be used by indic
1340: 65 73 20 61 74 20 6d 75 6c 74 69 70 6c 65 20 6c  es at multiple l
1350: 61 79 65 72 73 0a 23 0a 69 66 63 61 70 61 62 6c  ayers.#.ifcapabl
1360: 65 20 73 75 62 71 75 65 72 79 20 7b 0a 20 20 64  e subquery {.  d
1370: 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 34 2e  o_test where2-4.
1380: 31 20 7b 0a 20 20 20 20 71 75 65 72 79 70 6c 61  1 {.    querypla
1390: 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  n {.      SELECT
13a0: 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   * FROM t1 WHERE
13b0: 20 7a 20 49 4e 20 28 31 30 32 30 37 2c 31 30 30   z IN (10207,100
13c0: 30 36 29 20 41 4e 44 20 79 20 49 4e 20 28 31 30  06) AND y IN (10
13d0: 30 30 30 2c 31 30 32 30 31 29 0a 20 20 20 20 20  000,10201).     
13e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
13f0: 20 20 41 4e 44 20 78 3e 30 20 41 4e 44 20 78 3c    AND x>0 AND x<
1400: 31 30 0a 20 20 20 20 20 20 4f 52 44 45 52 20 42  10.      ORDER B
1410: 59 20 77 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 39  Y w.    }.  } {9
1420: 39 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20  9 6 10000 10006 
1430: 31 30 30 20 36 20 31 30 32 30 31 20 31 30 32 30  100 6 10201 1020
1440: 37 20 73 6f 72 74 20 74 31 20 69 31 7a 79 78 7d  7 sort t1 i1zyx}
1450: 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65  .  do_test where
1460: 32 2d 34 2e 32 20 7b 0a 20 20 20 20 71 75 65 72  2-4.2 {.    quer
1470: 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20 20 53 45  yplan {.      SE
1480: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
1490: 48 45 52 45 20 7a 20 49 4e 20 28 31 30 32 30 37  HERE z IN (10207
14a0: 2c 31 30 30 30 36 29 20 41 4e 44 20 79 3d 31 30  ,10006) AND y=10
14b0: 30 30 30 0a 20 20 20 20 20 20 20 20 20 20 20 20  000.            
14c0: 20 20 20 20 20 20 20 20 20 20 20 41 4e 44 20 78             AND x
14d0: 3e 30 20 41 4e 44 20 78 3c 31 30 0a 20 20 20 20  >0 AND x<10.    
14e0: 20 20 4f 52 44 45 52 20 42 59 20 77 0a 20 20 20    ORDER BY w.   
14f0: 20 7d 0a 20 20 7d 20 7b 39 39 20 36 20 31 30 30   }.  } {99 6 100
1500: 30 30 20 31 30 30 30 36 20 73 6f 72 74 20 74 31  00 10006 sort t1
1510: 20 69 31 7a 79 78 7d 0a 20 20 64 6f 5f 74 65 73   i1zyx}.  do_tes
1520: 74 20 77 68 65 72 65 32 2d 34 2e 33 20 7b 0a 20  t where2-4.3 {. 
1530: 20 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20     queryplan {. 
1540: 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52       SELECT * FR
1550: 4f 4d 20 74 31 20 57 48 45 52 45 20 7a 3d 31 30  OM t1 WHERE z=10
1560: 30 30 36 20 41 4e 44 20 79 20 49 4e 20 28 31 30  006 AND y IN (10
1570: 30 30 30 2c 31 30 32 30 31 29 0a 20 20 20 20 20  000,10201).     
1580: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1590: 20 20 41 4e 44 20 78 3e 30 20 41 4e 44 20 78 3c    AND x>0 AND x<
15a0: 31 30 0a 20 20 20 20 20 20 4f 52 44 45 52 20 42  10.      ORDER B
15b0: 59 20 77 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 39  Y w.    }.  } {9
15c0: 39 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20  9 6 10000 10006 
15d0: 73 6f 72 74 20 74 31 20 69 31 7a 79 78 7d 0a 20  sort t1 i1zyx}. 
15e0: 20 69 66 63 61 70 61 62 6c 65 20 63 6f 6d 70 6f   ifcapable compo
15f0: 75 6e 64 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73  und {.    do_tes
1600: 74 20 77 68 65 72 65 32 2d 34 2e 34 20 7b 0a 20  t where2-4.4 {. 
1610: 20 20 20 20 20 71 75 65 72 79 70 6c 61 6e 20 7b       queryplan {
1620: 0a 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20  .        SELECT 
1630: 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  * FROM t1 WHERE 
1640: 7a 20 49 4e 20 28 53 45 4c 45 43 54 20 31 30 32  z IN (SELECT 102
1650: 30 37 20 55 4e 49 4f 4e 20 53 45 4c 45 43 54 20  07 UNION SELECT 
1660: 31 30 30 30 36 29 0a 20 20 20 20 20 20 20 20 20  10006).         
1670: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1680: 41 4e 44 20 79 20 49 4e 20 28 31 30 30 30 30 2c  AND y IN (10000,
1690: 31 30 32 30 31 29 0a 20 20 20 20 20 20 20 20 20  10201).         
16a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
16b0: 41 4e 44 20 78 3e 30 20 41 4e 44 20 78 3c 31 30  AND x>0 AND x<10
16c0: 0a 20 20 20 20 20 20 20 20 4f 52 44 45 52 20 42  .        ORDER B
16d0: 59 20 77 0a 20 20 20 20 20 20 7d 0a 20 20 20 20  Y w.      }.    
16e0: 7d 20 7b 39 39 20 36 20 31 30 30 30 30 20 31 30  } {99 6 10000 10
16f0: 30 30 36 20 31 30 30 20 36 20 31 30 32 30 31 20  006 100 6 10201 
1700: 31 30 32 30 37 20 73 6f 72 74 20 74 31 20 69 31  10207 sort t1 i1
1710: 7a 79 78 7d 0a 20 20 20 20 64 6f 5f 74 65 73 74  zyx}.    do_test
1720: 20 77 68 65 72 65 32 2d 34 2e 35 20 7b 0a 20 20   where2-4.5 {.  
1730: 20 20 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a      queryplan {.
1740: 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a          SELECT *
1750: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 7a   FROM t1 WHERE z
1760: 20 49 4e 20 28 53 45 4c 45 43 54 20 31 30 32 30   IN (SELECT 1020
1770: 37 20 55 4e 49 4f 4e 20 53 45 4c 45 43 54 20 31  7 UNION SELECT 1
1780: 30 30 30 36 29 0a 20 20 20 20 20 20 20 20 20 20  0006).          
1790: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 41                 A
17a0: 4e 44 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20  ND y IN (SELECT 
17b0: 31 30 30 30 30 20 55 4e 49 4f 4e 20 53 45 4c 45  10000 UNION SELE
17c0: 43 54 20 31 30 32 30 31 29 0a 20 20 20 20 20 20  CT 10201).      
17d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
17e0: 20 20 20 41 4e 44 20 78 3e 30 20 41 4e 44 20 78     AND x>0 AND x
17f0: 3c 31 30 0a 20 20 20 20 20 20 20 20 4f 52 44 45  <10.        ORDE
1800: 52 20 42 59 20 77 0a 20 20 20 20 20 20 7d 0a 20  R BY w.      }. 
1810: 20 20 20 7d 20 7b 39 39 20 36 20 31 30 30 30 30     } {99 6 10000
1820: 20 31 30 30 30 36 20 31 30 30 20 36 20 31 30 32   10006 100 6 102
1830: 30 31 20 31 30 32 30 37 20 73 6f 72 74 20 74 31  01 10207 sort t1
1840: 20 69 31 7a 79 78 7d 0a 20 20 7d 0a 20 20 64 6f   i1zyx}.  }.  do
1850: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 34 2e 36  _test where2-4.6
1860: 61 20 7b 0a 20 20 20 20 71 75 65 72 79 70 6c 61  a {.    querypla
1870: 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  n {.      SELECT
1880: 20 2a 20 46 52 4f 4d 20 74 31 0a 20 20 20 20 20   * FROM t1.     
1890: 20 20 57 48 45 52 45 20 78 20 49 4e 20 28 31 2c    WHERE x IN (1,
18a0: 32 2c 33 2c 34 2c 35 2c 36 2c 37 2c 38 29 0a 20  2,3,4,5,6,7,8). 
18b0: 20 20 20 20 20 20 20 20 41 4e 44 20 79 20 49 4e          AND y IN
18c0: 20 28 31 30 30 30 30 2c 31 30 30 30 31 2c 31 30   (10000,10001,10
18d0: 30 30 32 2c 31 30 30 30 33 2c 31 30 30 30 34 2c  002,10003,10004,
18e0: 31 30 30 30 35 29 0a 20 20 20 20 20 20 20 4f 52  10005).       OR
18f0: 44 45 52 20 42 59 20 78 0a 20 20 20 20 7d 0a 20  DER BY x.    }. 
1900: 20 7d 20 7b 39 39 20 36 20 31 30 30 30 30 20 31   } {99 6 10000 1
1910: 30 30 30 36 20 6e 6f 73 6f 72 74 20 74 31 20 69  0006 nosort t1 i
1920: 31 78 79 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77  1xy}.  do_test w
1930: 68 65 72 65 32 2d 34 2e 36 62 20 7b 0a 20 20 20  here2-4.6b {.   
1940: 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20   queryplan {.   
1950: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
1960: 20 74 31 0a 20 20 20 20 20 20 20 57 48 45 52 45   t1.       WHERE
1970: 20 78 20 49 4e 20 28 31 2c 32 2c 33 2c 34 2c 35   x IN (1,2,3,4,5
1980: 2c 36 2c 37 2c 38 29 0a 20 20 20 20 20 20 20 20  ,6,7,8).        
1990: 20 41 4e 44 20 79 20 49 4e 20 28 31 30 30 30 30   AND y IN (10000
19a0: 2c 31 30 30 30 31 2c 31 30 30 30 32 2c 31 30 30  ,10001,10002,100
19b0: 30 33 2c 31 30 30 30 34 2c 31 30 30 30 35 29 0a  03,10004,10005).
19c0: 20 20 20 20 20 20 20 4f 52 44 45 52 20 42 59 20         ORDER BY 
19d0: 78 20 44 45 53 43 0a 20 20 20 20 7d 0a 20 20 7d  x DESC.    }.  }
19e0: 20 7b 39 39 20 36 20 31 30 30 30 30 20 31 30 30   {99 6 10000 100
19f0: 30 36 20 6e 6f 73 6f 72 74 20 74 31 20 69 31 78  06 nosort t1 i1x
1a00: 79 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65  y}.  do_test whe
1a10: 72 65 32 2d 34 2e 36 63 20 7b 0a 20 20 20 20 71  re2-4.6c {.    q
1a20: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20  ueryplan {.     
1a30: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1a40: 31 0a 20 20 20 20 20 20 20 57 48 45 52 45 20 78  1.       WHERE x
1a50: 20 49 4e 20 28 31 2c 32 2c 33 2c 34 2c 35 2c 36   IN (1,2,3,4,5,6
1a60: 2c 37 2c 38 29 0a 20 20 20 20 20 20 20 20 20 41  ,7,8).         A
1a70: 4e 44 20 79 20 49 4e 20 28 31 30 30 30 30 2c 31  ND y IN (10000,1
1a80: 30 30 30 31 2c 31 30 30 30 32 2c 31 30 30 30 33  0001,10002,10003
1a90: 2c 31 30 30 30 34 2c 31 30 30 30 35 29 0a 20 20  ,10004,10005).  
1aa0: 20 20 20 20 20 4f 52 44 45 52 20 42 59 20 78 2c       ORDER BY x,
1ab0: 20 79 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 39 39   y.    }.  } {99
1ac0: 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20 6e   6 10000 10006 n
1ad0: 6f 73 6f 72 74 20 74 31 20 69 31 78 79 7d 0a 20  osort t1 i1xy}. 
1ae0: 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d   do_test where2-
1af0: 34 2e 36 64 20 7b 0a 20 20 20 20 71 75 65 72 79  4.6d {.    query
1b00: 70 6c 61 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c  plan {.      SEL
1b10: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 0a 20 20  ECT * FROM t1.  
1b20: 20 20 20 20 20 57 48 45 52 45 20 78 20 49 4e 20       WHERE x IN 
1b30: 28 31 2c 32 2c 33 2c 34 2c 35 2c 36 2c 37 2c 38  (1,2,3,4,5,6,7,8
1b40: 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20 79  ).         AND y
1b50: 20 49 4e 20 28 31 30 30 30 30 2c 31 30 30 30 31   IN (10000,10001
1b60: 2c 31 30 30 30 32 2c 31 30 30 30 33 2c 31 30 30  ,10002,10003,100
1b70: 30 34 2c 31 30 30 30 35 29 0a 20 20 20 20 20 20  04,10005).      
1b80: 20 4f 52 44 45 52 20 42 59 20 78 2c 20 79 20 44   ORDER BY x, y D
1b90: 45 53 43 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 39  ESC.    }.  } {9
1ba0: 39 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20  9 6 10000 10006 
1bb0: 73 6f 72 74 20 74 31 20 69 31 78 79 7d 0a 0a 20  sort t1 i1xy}.. 
1bc0: 20 23 20 44 75 70 6c 69 63 61 74 65 20 65 6e 74   # Duplicate ent
1bd0: 69 72 65 73 20 6f 6e 20 74 68 65 20 52 48 53 20  ires on the RHS 
1be0: 6f 66 20 61 6e 20 49 4e 20 6f 70 65 72 61 74 6f  of an IN operato
1bf0: 72 20 64 6f 20 6e 6f 74 20 63 61 75 73 65 20 64  r do not cause d
1c00: 75 70 6c 69 63 61 74 65 0a 20 20 23 20 6f 75 74  uplicate.  # out
1c10: 70 75 74 20 72 6f 77 73 2e 0a 20 20 23 0a 20 20  put rows..  #.  
1c20: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 34  do_test where2-4
1c30: 2e 36 78 20 7b 0a 20 20 20 20 71 75 65 72 79 70  .6x {.    queryp
1c40: 6c 61 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c 45  lan {.      SELE
1c50: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
1c60: 52 45 20 7a 20 49 4e 20 28 31 30 32 30 37 2c 31  RE z IN (10207,1
1c70: 30 30 30 36 2c 31 30 30 30 36 2c 31 30 32 30 37  0006,10006,10207
1c80: 29 0a 20 20 20 20 20 20 4f 52 44 45 52 20 42 59  ).      ORDER BY
1c90: 20 77 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 39 39   w.    }.  } {99
1ca0: 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20 31   6 10000 10006 1
1cb0: 30 30 20 36 20 31 30 32 30 31 20 31 30 32 30 37  00 6 10201 10207
1cc0: 20 73 6f 72 74 20 74 31 20 69 31 7a 79 78 7d 0a   sort t1 i1zyx}.
1cd0: 20 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32    do_test where2
1ce0: 2d 34 2e 36 79 20 7b 0a 20 20 20 20 71 75 65 72  -4.6y {.    quer
1cf0: 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20 20 53 45  yplan {.      SE
1d00: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
1d10: 48 45 52 45 20 7a 20 49 4e 20 28 31 30 32 30 37  HERE z IN (10207
1d20: 2c 31 30 30 30 36 2c 31 30 30 30 36 2c 31 30 32  ,10006,10006,102
1d30: 30 37 29 0a 20 20 20 20 20 20 4f 52 44 45 52 20  07).      ORDER 
1d40: 42 59 20 77 20 44 45 53 43 0a 20 20 20 20 7d 0a  BY w DESC.    }.
1d50: 20 20 7d 20 7b 31 30 30 20 36 20 31 30 32 30 31    } {100 6 10201
1d60: 20 31 30 32 30 37 20 39 39 20 36 20 31 30 30 30   10207 99 6 1000
1d70: 30 20 31 30 30 30 36 20 73 6f 72 74 20 74 31 20  0 10006 sort t1 
1d80: 69 31 7a 79 78 7d 0a 20 20 69 66 63 61 70 61 62  i1zyx}.  ifcapab
1d90: 6c 65 20 63 6f 6d 70 6f 75 6e 64 20 7b 0a 20 20  le compound {.  
1da0: 20 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32    do_test where2
1db0: 2d 34 2e 37 20 7b 0a 20 20 20 20 20 20 71 75 65  -4.7 {.      que
1dc0: 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20 20 20  ryplan {.       
1dd0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1de0: 31 20 57 48 45 52 45 20 7a 20 49 4e 20 28 0a 20  1 WHERE z IN (. 
1df0: 20 20 20 20 20 20 20 20 20 20 53 45 4c 45 43 54            SELECT
1e00: 20 31 30 32 30 37 20 55 4e 49 4f 4e 20 41 4c 4c   10207 UNION ALL
1e10: 20 53 45 4c 45 43 54 20 31 30 30 30 36 0a 20 20   SELECT 10006.  
1e20: 20 20 20 20 20 20 20 20 20 55 4e 49 4f 4e 20 41           UNION A
1e30: 4c 4c 20 53 45 4c 45 43 54 20 31 30 30 30 36 20  LL SELECT 10006 
1e40: 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54  UNION ALL SELECT
1e50: 20 31 30 32 30 37 29 0a 20 20 20 20 20 20 20 20   10207).        
1e60: 4f 52 44 45 52 20 42 59 20 77 0a 20 20 20 20 20  ORDER BY w.     
1e70: 20 7d 0a 20 20 20 20 7d 20 7b 39 39 20 36 20 31   }.    } {99 6 1
1e80: 30 30 30 30 20 31 30 30 30 36 20 31 30 30 20 36  0000 10006 100 6
1e90: 20 31 30 32 30 31 20 31 30 32 30 37 20 73 6f 72   10201 10207 sor
1ea0: 74 20 74 31 20 69 31 7a 79 78 7d 0a 20 20 7d 0a  t t1 i1zyx}.  }.
1eb0: 0a 7d 20 3b 23 20 69 66 63 61 70 61 62 6c 65 20  .} ;# ifcapable 
1ec0: 73 75 62 71 75 65 72 79 0a 0a 23 20 54 68 65 20  subquery..# The 
1ed0: 75 73 65 20 6f 66 20 61 6e 20 49 4e 20 6f 70 65  use of an IN ope
1ee0: 72 61 74 6f 72 20 64 69 73 61 62 6c 65 73 20 74  rator disables t
1ef0: 68 65 20 69 6e 64 65 78 20 61 73 20 61 20 73 6f  he index as a so
1f00: 72 74 65 72 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  rter..#.do_test 
1f10: 77 68 65 72 65 32 2d 35 2e 31 20 7b 0a 20 20 71  where2-5.1 {.  q
1f20: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53  ueryplan {.    S
1f30: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
1f40: 57 48 45 52 45 20 77 3d 39 39 20 4f 52 44 45 52  WHERE w=99 ORDER
1f50: 20 42 59 20 77 0a 20 20 7d 0a 7d 20 7b 39 39 20   BY w.  }.} {99 
1f60: 36 20 31 30 30 30 30 20 31 30 30 30 36 20 6e 6f  6 10000 10006 no
1f70: 73 6f 72 74 20 74 31 20 69 31 77 7d 0a 0a 69 66  sort t1 i1w}..if
1f80: 63 61 70 61 62 6c 65 20 73 75 62 71 75 65 72 79  capable subquery
1f90: 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65   {.  do_test whe
1fa0: 72 65 32 2d 35 2e 32 61 20 7b 0a 20 20 20 20 71  re2-5.2a {.    q
1fb0: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20  ueryplan {.     
1fc0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1fd0: 31 20 57 48 45 52 45 20 77 20 49 4e 20 28 39 39  1 WHERE w IN (99
1fe0: 29 20 4f 52 44 45 52 20 42 59 20 77 0a 20 20 20  ) ORDER BY w.   
1ff0: 20 7d 0a 20 20 7d 20 7b 39 39 20 36 20 31 30 30   }.  } {99 6 100
2000: 30 30 20 31 30 30 30 36 20 6e 6f 73 6f 72 74 20  00 10006 nosort 
2010: 74 31 20 69 31 77 7d 0a 20 20 64 6f 5f 74 65 73  t1 i1w}.  do_tes
2020: 74 20 77 68 65 72 65 32 2d 35 2e 32 62 20 7b 0a  t where2-5.2b {.
2030: 20 20 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a      queryplan {.
2040: 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46        SELECT * F
2050: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20 49  ROM t1 WHERE w I
2060: 4e 20 28 39 39 29 20 4f 52 44 45 52 20 42 59 20  N (99) ORDER BY 
2070: 77 20 44 45 53 43 0a 20 20 20 20 7d 0a 20 20 7d  w DESC.    }.  }
2080: 20 7b 39 39 20 36 20 31 30 30 30 30 20 31 30 30   {99 6 10000 100
2090: 30 36 20 6e 6f 73 6f 72 74 20 74 31 20 69 31 77  06 nosort t1 i1w
20a0: 7d 0a 7d 0a 0a 23 20 56 65 72 69 66 79 20 74 68  }.}..# Verify th
20b0: 61 74 20 4f 52 20 63 6c 61 75 73 65 73 20 67 65  at OR clauses ge
20c0: 74 20 74 72 61 6e 73 6c 61 74 65 64 20 69 6e 74  t translated int
20d0: 6f 20 49 4e 20 6f 70 65 72 61 74 6f 72 73 2e 0a  o IN operators..
20e0: 23 0a 73 65 74 20 3a 3a 69 64 78 20 7b 7d 0a 69  #.set ::idx {}.i
20f0: 66 63 61 70 61 62 6c 65 20 73 75 62 71 75 65 72  fcapable subquer
2100: 79 20 7b 73 65 74 20 3a 3a 69 64 78 20 69 31 77  y {set ::idx i1w
2110: 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32  }.do_test where2
2120: 2d 36 2e 31 2e 31 20 7b 0a 20 20 71 75 65 72 79  -6.1.1 {.  query
2130: 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43  plan {.    SELEC
2140: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
2150: 45 20 77 3d 39 39 20 4f 52 20 77 3d 31 30 30 20  E w=99 OR w=100 
2160: 4f 52 44 45 52 20 42 59 20 2b 77 0a 20 20 7d 0a  ORDER BY +w.  }.
2170: 7d 20 5b 6c 69 73 74 20 39 39 20 36 20 31 30 30  } [list 99 6 100
2180: 30 30 20 31 30 30 30 36 20 31 30 30 20 36 20 31  00 10006 100 6 1
2190: 30 32 30 31 20 31 30 32 30 37 20 73 6f 72 74 20  0201 10207 sort 
21a0: 74 31 20 24 3a 3a 69 64 78 5d 0a 64 6f 5f 74 65  t1 $::idx].do_te
21b0: 73 74 20 77 68 65 72 65 32 2d 36 2e 31 2e 32 20  st where2-6.1.2 
21c0: 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a  {.  queryplan {.
21d0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
21e0: 4d 20 74 31 20 57 48 45 52 45 20 39 39 3d 77 20  M t1 WHERE 99=w 
21f0: 4f 52 20 31 30 30 3d 77 20 4f 52 44 45 52 20 42  OR 100=w ORDER B
2200: 59 20 2b 77 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74  Y +w.  }.} [list
2210: 20 39 39 20 36 20 31 30 30 30 30 20 31 30 30 30   99 6 10000 1000
2220: 36 20 31 30 30 20 36 20 31 30 32 30 31 20 31 30  6 100 6 10201 10
2230: 32 30 37 20 73 6f 72 74 20 74 31 20 24 3a 3a 69  207 sort t1 $::i
2240: 64 78 5d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  dx].do_test wher
2250: 65 32 2d 36 2e 32 20 7b 0a 20 20 71 75 65 72 79  e2-6.2 {.  query
2260: 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43  plan {.    SELEC
2270: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
2280: 45 20 77 3d 39 39 20 4f 52 20 77 3d 31 30 30 20  E w=99 OR w=100 
2290: 4f 52 20 36 3d 77 20 4f 52 44 45 52 20 42 59 20  OR 6=w ORDER BY 
22a0: 2b 77 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 36  +w.  }.} [list 6
22b0: 20 32 20 34 39 20 35 31 20 39 39 20 36 20 31 30   2 49 51 99 6 10
22c0: 30 30 30 20 31 30 30 30 36 20 31 30 30 20 36 20  000 10006 100 6 
22d0: 31 30 32 30 31 20 31 30 32 30 37 20 73 6f 72 74  10201 10207 sort
22e0: 20 74 31 20 24 3a 3a 69 64 78 5d 0a 0a 64 6f 5f   t1 $::idx]..do_
22f0: 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 33 20  test where2-6.3 
2300: 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a  {.  queryplan {.
2310: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
2320: 4d 20 74 31 20 57 48 45 52 45 20 77 3d 39 39 20  M t1 WHERE w=99 
2330: 4f 52 20 77 3d 31 30 30 20 4f 52 20 36 3d 2b 77  OR w=100 OR 6=+w
2340: 20 4f 52 44 45 52 20 42 59 20 2b 77 0a 20 20 7d   ORDER BY +w.  }
2350: 0a 7d 20 7b 36 20 32 20 34 39 20 35 31 20 39 39  .} {6 2 49 51 99
2360: 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20 31   6 10000 10006 1
2370: 30 30 20 36 20 31 30 32 30 31 20 31 30 32 30 37  00 6 10201 10207
2380: 20 73 6f 72 74 20 74 31 20 2a 7d 0a 64 6f 5f 74   sort t1 *}.do_t
2390: 65 73 74 20 77 68 65 72 65 32 2d 36 2e 34 20 7b  est where2-6.4 {
23a0: 0a 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20  .  queryplan {. 
23b0: 20 20 20 53 45 4c 45 43 54 20 2a 2c 20 27 7c 27     SELECT *, '|'
23c0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77   FROM t1 WHERE w
23d0: 3d 39 39 20 4f 52 20 2b 77 3d 31 30 30 20 4f 52  =99 OR +w=100 OR
23e0: 20 36 3d 77 20 4f 52 44 45 52 20 42 59 20 2b 77   6=w ORDER BY +w
23f0: 0a 20 20 7d 0a 7d 20 7b 36 20 32 20 34 39 20 35  .  }.} {6 2 49 5
2400: 31 20 7c 20 39 39 20 36 20 31 30 30 30 30 20 31  1 | 99 6 10000 1
2410: 30 30 30 36 20 7c 20 31 30 30 20 36 20 31 30 32  0006 | 100 6 102
2420: 30 31 20 31 30 32 30 37 20 7c 20 73 6f 72 74 20  01 10207 | sort 
2430: 74 31 20 2a 7d 0a 64 6f 5f 74 65 73 74 20 77 68  t1 *}.do_test wh
2440: 65 72 65 32 2d 36 2e 35 20 7b 0a 20 20 71 75 65  ere2-6.5 {.  que
2450: 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c  ryplan {.    SEL
2460: 45 43 54 20 2a 2c 20 27 7c 27 20 46 52 4f 4d 20  ECT *, '|' FROM 
2470: 74 31 20 57 48 45 52 45 20 77 3d 39 39 20 4f 52  t1 WHERE w=99 OR
2480: 20 79 3d 31 30 32 30 31 20 4f 52 20 36 3d 77 20   y=10201 OR 6=w 
2490: 4f 52 44 45 52 20 42 59 20 2b 77 0a 20 20 7d 0a  ORDER BY +w.  }.
24a0: 7d 20 7b 36 20 32 20 34 39 20 35 31 20 7c 20 39  } {6 2 49 51 | 9
24b0: 39 20 36 20 31 30 30 30 30 20 31 30 30 30 36 20  9 6 10000 10006 
24c0: 7c 20 31 30 30 20 36 20 31 30 32 30 31 20 31 30  | 100 6 10201 10
24d0: 32 30 37 20 7c 20 73 6f 72 74 20 74 31 20 2a 7d  207 | sort t1 *}
24e0: 0a 0a 73 65 74 20 3a 3a 69 64 78 20 7b 7d 0a 69  ..set ::idx {}.i
24f0: 66 63 61 70 61 62 6c 65 20 73 75 62 71 75 65 72  fcapable subquer
2500: 79 20 7b 73 65 74 20 3a 3a 69 64 78 20 69 31 7a  y {set ::idx i1z
2510: 79 78 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  yx}.do_test wher
2520: 65 32 2d 36 2e 35 20 7b 0a 20 20 71 75 65 72 79  e2-6.5 {.  query
2530: 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43  plan {.    SELEC
2540: 54 20 62 2e 2a 20 46 52 4f 4d 20 74 31 20 61 2c  T b.* FROM t1 a,
2550: 20 74 31 20 62 0a 20 20 20 20 20 57 48 45 52 45   t1 b.     WHERE
2560: 20 61 2e 77 3d 31 20 41 4e 44 20 28 61 2e 79 3d   a.w=1 AND (a.y=
2570: 62 2e 7a 20 4f 52 20 62 2e 7a 3d 31 30 29 0a 20  b.z OR b.z=10). 
2580: 20 20 20 20 4f 52 44 45 52 20 42 59 20 2b 62 2e      ORDER BY +b.
2590: 77 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31 20  w.  }.} [list 1 
25a0: 30 20 34 20 34 20 32 20 31 20 39 20 31 30 20 73  0 4 4 2 1 9 10 s
25b0: 6f 72 74 20 61 20 69 31 77 20 62 20 24 3a 3a 69  ort a i1w b $::i
25c0: 64 78 5d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  dx].do_test wher
25d0: 65 32 2d 36 2e 36 20 7b 0a 20 20 71 75 65 72 79  e2-6.6 {.  query
25e0: 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43  plan {.    SELEC
25f0: 54 20 62 2e 2a 20 46 52 4f 4d 20 74 31 20 61 2c  T b.* FROM t1 a,
2600: 20 74 31 20 62 0a 20 20 20 20 20 57 48 45 52 45   t1 b.     WHERE
2610: 20 61 2e 77 3d 31 20 41 4e 44 20 28 62 2e 7a 3d   a.w=1 AND (b.z=
2620: 31 30 20 4f 52 20 61 2e 79 3d 62 2e 7a 20 4f 52  10 OR a.y=b.z OR
2630: 20 62 2e 7a 3d 31 30 29 0a 20 20 20 20 20 4f 52   b.z=10).     OR
2640: 44 45 52 20 42 59 20 2b 62 2e 77 0a 20 20 7d 0a  DER BY +b.w.  }.
2650: 7d 20 5b 6c 69 73 74 20 31 20 30 20 34 20 34 20  } [list 1 0 4 4 
2660: 32 20 31 20 39 20 31 30 20 73 6f 72 74 20 61 20  2 1 9 10 sort a 
2670: 69 31 77 20 62 20 24 3a 3a 69 64 78 5d 0a 0a 69  i1w b $::idx]..i
2680: 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f 6e 5d  f {[permutation]
2690: 20 21 3d 20 22 6e 6f 5f 6f 70 74 69 6d 69 7a 61   != "no_optimiza
26a0: 74 69 6f 6e 22 7d 20 7b 0a 0a 23 20 54 69 63 6b  tion"} {..# Tick
26b0: 65 74 20 23 32 32 34 39 2e 20 20 4d 61 6b 65 20  et #2249.  Make 
26c0: 73 75 72 65 20 74 68 65 20 4f 52 20 6f 70 74 69  sure the OR opti
26d0: 6d 69 7a 61 74 69 6f 6e 20 69 73 20 6e 6f 74 20  mization is not 
26e0: 61 74 74 65 6d 70 74 65 64 20 69 66 0a 23 20 63  attempted if.# c
26f0: 6f 6d 70 61 72 69 73 6f 6e 73 20 62 65 74 77 65  omparisons betwe
2700: 65 6e 20 63 6f 6c 75 6d 6e 73 20 6f 66 20 64 69  en columns of di
2710: 66 66 65 72 65 6e 74 20 61 66 66 69 6e 69 74 69  fferent affiniti
2720: 65 73 20 61 72 65 20 6e 65 65 64 65 64 2e 0a 23  es are needed..#
2730: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d  .do_test where2-
2740: 36 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  6.7 {.  execsql 
2750: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
2760: 4c 45 20 74 32 32 34 39 61 28 61 20 54 45 58 54  LE t2249a(a TEXT
2770: 20 55 4e 49 51 55 45 2c 20 78 20 43 48 41 52 28   UNIQUE, x CHAR(
2780: 31 30 30 29 29 3b 0a 20 20 20 20 43 52 45 41 54  100));.    CREAT
2790: 45 20 54 41 42 4c 45 20 74 32 32 34 39 62 28 62  E TABLE t2249b(b
27a0: 20 49 4e 54 45 47 45 52 29 3b 0a 20 20 20 20 49   INTEGER);.    I
27b0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 32 34 39  NSERT INTO t2249
27c0: 61 28 61 29 20 56 41 4c 55 45 53 28 27 30 31 32  a(a) VALUES('012
27d0: 33 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  3');.    INSERT 
27e0: 49 4e 54 4f 20 74 32 32 34 39 62 20 56 41 4c 55  INTO t2249b VALU
27f0: 45 53 28 31 32 33 29 3b 0a 20 20 7d 0a 20 20 71  ES(123);.  }.  q
2800: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 2d  ueryplan {.    -
2810: 2d 20 42 65 63 61 75 73 65 20 61 20 69 73 20 74  - Because a is t
2820: 79 70 65 20 54 45 58 54 20 61 6e 64 20 62 20 69  ype TEXT and b i
2830: 73 20 74 79 70 65 20 49 4e 54 45 47 45 52 2c 20  s type INTEGER, 
2840: 62 6f 74 68 20 61 20 61 6e 64 20 62 0a 20 20 20  both a and b.   
2850: 20 2d 2d 20 77 69 6c 6c 20 61 74 74 65 6d 70 74   -- will attempt
2860: 20 74 6f 20 63 6f 6e 76 65 72 74 20 74 6f 20 4e   to convert to N
2870: 55 4d 45 52 49 43 20 62 65 66 6f 72 65 20 74 68  UMERIC before th
2880: 65 20 63 6f 6d 70 61 72 69 73 6f 6e 2e 0a 20 20  e comparison..  
2890: 20 20 2d 2d 20 54 68 65 79 20 77 69 6c 6c 20 74    -- They will t
28a0: 68 75 73 20 63 6f 6d 70 61 72 65 20 65 71 75 61  hus compare equa
28b0: 6c 2e 0a 20 20 20 20 2d 2d 0a 20 20 20 20 53 45  l..    --.    SE
28c0: 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d 20 74 32  LECT b,a FROM t2
28d0: 32 34 39 62 20 43 52 4f 53 53 20 4a 4f 49 4e 20  249b CROSS JOIN 
28e0: 74 32 32 34 39 61 20 57 48 45 52 45 20 61 3d 62  t2249a WHERE a=b
28f0: 3b 0a 20 20 7d 0a 7d 20 7b 31 32 33 20 30 31 32  ;.  }.} {123 012
2900: 33 20 6e 6f 73 6f 72 74 20 74 32 32 34 39 62 20  3 nosort t2249b 
2910: 2a 20 74 32 32 34 39 61 20 73 71 6c 69 74 65 5f  * t2249a sqlite_
2920: 61 75 74 6f 69 6e 64 65 78 5f 74 32 32 34 39 61  autoindex_t2249a
2930: 5f 31 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  _1}.do_test wher
2940: 65 32 2d 36 2e 39 20 7b 0a 20 20 71 75 65 72 79  e2-6.9 {.  query
2950: 70 6c 61 6e 20 7b 0a 20 20 20 20 2d 2d 20 54 68  plan {.    -- Th
2960: 65 20 2b 20 6f 70 65 72 61 74 6f 72 20 72 65 6d  e + operator rem
2970: 6f 76 65 73 20 61 66 66 69 6e 69 74 79 20 66 72  oves affinity fr
2980: 6f 6d 20 74 68 65 20 72 68 73 2e 20 20 4e 6f 20  om the rhs.  No 
2990: 63 6f 6e 76 65 72 73 69 6f 6e 73 0a 20 20 20 20  conversions.    
29a0: 2d 2d 20 6f 63 63 75 72 20 61 6e 64 20 74 68 65  -- occur and the
29b0: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 66   comparison is f
29c0: 61 6c 73 65 2e 20 20 54 68 65 20 72 65 73 75 6c  alse.  The resul
29d0: 74 20 69 73 20 61 6e 20 65 6d 70 74 79 20 73 65  t is an empty se
29e0: 74 2e 0a 20 20 20 20 2d 2d 0a 20 20 20 20 53 45  t..    --.    SE
29f0: 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d 20 74 32  LECT b,a FROM t2
2a00: 32 34 39 62 20 43 52 4f 53 53 20 4a 4f 49 4e 20  249b CROSS JOIN 
2a10: 74 32 32 34 39 61 20 57 48 45 52 45 20 61 3d 2b  t2249a WHERE a=+
2a20: 62 3b 0a 20 20 7d 0a 7d 20 7b 6e 6f 73 6f 72 74  b;.  }.} {nosort
2a30: 20 74 32 32 34 39 62 20 2a 20 74 32 32 34 39 61   t2249b * t2249a
2a40: 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65   sqlite_autoinde
2a50: 78 5f 74 32 32 34 39 61 5f 31 7d 0a 64 6f 5f 74  x_t2249a_1}.do_t
2a60: 65 73 74 20 77 68 65 72 65 32 2d 36 2e 39 2e 32  est where2-6.9.2
2a70: 20 7b 0a 20 20 23 20 54 68 65 20 73 61 6d 65 20   {.  # The same 
2a80: 74 68 69 6e 67 20 62 75 74 20 77 69 74 68 20 74  thing but with t
2a90: 68 65 20 65 78 70 72 65 73 73 69 6f 6e 20 66 6c  he expression fl
2aa0: 69 70 70 65 64 20 61 72 6f 75 6e 64 2e 0a 20 20  ipped around..  
2ab0: 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20  queryplan {.    
2ac0: 53 45 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d 20  SELECT b,a FROM 
2ad0: 74 32 32 34 39 62 20 43 52 4f 53 53 20 4a 4f 49  t2249b CROSS JOI
2ae0: 4e 20 74 32 32 34 39 61 20 57 48 45 52 45 20 2b  N t2249a WHERE +
2af0: 62 3d 61 0a 20 20 7d 0a 7d 20 7b 6e 6f 73 6f 72  b=a.  }.} {nosor
2b00: 74 20 74 32 32 34 39 62 20 2a 20 74 32 32 34 39  t t2249b * t2249
2b10: 61 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64  a sqlite_autoind
2b20: 65 78 5f 74 32 32 34 39 61 5f 31 7d 0a 64 6f 5f  ex_t2249a_1}.do_
2b30: 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 31 30  test where2-6.10
2b40: 20 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e 20 7b   {.  queryplan {
2b50: 0a 20 20 20 20 2d 2d 20 55 73 65 20 2b 20 6f 6e  .    -- Use + on
2b60: 20 62 6f 74 68 20 73 69 64 65 73 20 6f 66 20 74   both sides of t
2b70: 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 74 6f  he comparison to
2b80: 20 64 69 73 61 62 6c 65 20 69 6e 64 69 63 65 73   disable indices
2b90: 0a 20 20 20 20 2d 2d 20 63 6f 6d 70 6c 65 74 65  .    -- complete
2ba0: 6c 79 2e 20 20 4d 61 6b 65 20 73 75 72 65 20 77  ly.  Make sure w
2bb0: 65 20 67 65 74 20 74 68 65 20 73 61 6d 65 20 72  e get the same r
2bc0: 65 73 75 6c 74 2e 0a 20 20 20 20 2d 2d 0a 20 20  esult..    --.  
2bd0: 20 20 53 45 4c 45 43 54 20 62 2c 61 20 46 52 4f    SELECT b,a FRO
2be0: 4d 20 74 32 32 34 39 62 20 43 52 4f 53 53 20 4a  M t2249b CROSS J
2bf0: 4f 49 4e 20 74 32 32 34 39 61 20 57 48 45 52 45  OIN t2249a WHERE
2c00: 20 2b 61 3d 2b 62 3b 0a 20 20 7d 0a 7d 20 7b 6e   +a=+b;.  }.} {n
2c10: 6f 73 6f 72 74 20 74 32 32 34 39 62 20 2a 20 74  osort t2249b * t
2c20: 32 32 34 39 61 20 73 71 6c 69 74 65 5f 61 75 74  2249a sqlite_aut
2c30: 6f 69 6e 64 65 78 5f 74 32 32 34 39 61 5f 31 7d  oindex_t2249a_1}
2c40: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d  .do_test where2-
2c50: 36 2e 31 31 20 7b 0a 20 20 23 20 54 68 69 73 20  6.11 {.  # This 
2c60: 77 69 6c 6c 20 6e 6f 74 20 61 74 74 65 6d 70 74  will not attempt
2c70: 20 74 68 65 20 4f 52 20 6f 70 74 69 6d 69 7a 61   the OR optimiza
2c80: 74 69 6f 6e 20 62 65 63 61 75 73 65 20 6f 66 20  tion because of 
2c90: 74 68 65 20 61 3d 62 0a 20 20 23 20 63 6f 6d 70  the a=b.  # comp
2ca0: 61 72 69 73 6f 6e 2e 0a 20 20 71 75 65 72 79 70  arison..  queryp
2cb0: 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  lan {.    SELECT
2cc0: 20 62 2c 61 20 46 52 4f 4d 20 74 32 32 34 39 62   b,a FROM t2249b
2cd0: 20 43 52 4f 53 53 20 4a 4f 49 4e 20 74 32 32 34   CROSS JOIN t224
2ce0: 39 61 20 57 48 45 52 45 20 61 3d 62 20 4f 52 20  9a WHERE a=b OR 
2cf0: 61 3d 27 68 65 6c 6c 6f 27 3b 0a 20 20 7d 0a 7d  a='hello';.  }.}
2d00: 20 7b 31 32 33 20 30 31 32 33 20 6e 6f 73 6f 72   {123 0123 nosor
2d10: 74 20 74 32 32 34 39 62 20 2a 20 74 32 32 34 39  t t2249b * t2249
2d20: 61 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64  a sqlite_autoind
2d30: 65 78 5f 74 32 32 34 39 61 5f 31 7d 0a 64 6f 5f  ex_t2249a_1}.do_
2d40: 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 31 31  test where2-6.11
2d50: 2e 32 20 7b 0a 20 20 23 20 50 65 72 6d 75 74 61  .2 {.  # Permuta
2d60: 74 69 6f 6e 73 20 6f 66 20 74 68 65 20 65 78 70  tions of the exp
2d70: 72 65 73 73 69 6f 6e 20 74 65 72 6d 73 2e 0a 20  ression terms.. 
2d80: 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20   queryplan {.   
2d90: 20 53 45 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d   SELECT b,a FROM
2da0: 20 74 32 32 34 39 62 20 43 52 4f 53 53 20 4a 4f   t2249b CROSS JO
2db0: 49 4e 20 74 32 32 34 39 61 20 57 48 45 52 45 20  IN t2249a WHERE 
2dc0: 62 3d 61 20 4f 52 20 61 3d 27 68 65 6c 6c 6f 27  b=a OR a='hello'
2dd0: 3b 0a 20 20 7d 0a 7d 20 7b 31 32 33 20 30 31 32  ;.  }.} {123 012
2de0: 33 20 6e 6f 73 6f 72 74 20 74 32 32 34 39 62 20  3 nosort t2249b 
2df0: 2a 20 74 32 32 34 39 61 20 73 71 6c 69 74 65 5f  * t2249a sqlite_
2e00: 61 75 74 6f 69 6e 64 65 78 5f 74 32 32 34 39 61  autoindex_t2249a
2e10: 5f 31 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  _1}.do_test wher
2e20: 65 32 2d 36 2e 31 31 2e 33 20 7b 0a 20 20 23 20  e2-6.11.3 {.  # 
2e30: 50 65 72 6d 75 74 61 74 69 6f 6e 73 20 6f 66 20  Permutations of 
2e40: 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e 20 74  the expression t
2e50: 65 72 6d 73 2e 0a 20 20 71 75 65 72 79 70 6c 61  erms..  querypla
2e60: 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 62  n {.    SELECT b
2e70: 2c 61 20 46 52 4f 4d 20 74 32 32 34 39 62 20 43  ,a FROM t2249b C
2e80: 52 4f 53 53 20 4a 4f 49 4e 20 74 32 32 34 39 61  ROSS JOIN t2249a
2e90: 20 57 48 45 52 45 20 27 68 65 6c 6c 6f 27 3d 61   WHERE 'hello'=a
2ea0: 20 4f 52 20 62 3d 61 3b 0a 20 20 7d 0a 7d 20 7b   OR b=a;.  }.} {
2eb0: 31 32 33 20 30 31 32 33 20 6e 6f 73 6f 72 74 20  123 0123 nosort 
2ec0: 74 32 32 34 39 62 20 2a 20 74 32 32 34 39 61 20  t2249b * t2249a 
2ed0: 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78  sqlite_autoindex
2ee0: 5f 74 32 32 34 39 61 5f 31 7d 0a 64 6f 5f 74 65  _t2249a_1}.do_te
2ef0: 73 74 20 77 68 65 72 65 32 2d 36 2e 31 31 2e 34  st where2-6.11.4
2f00: 20 7b 0a 20 20 23 20 50 65 72 6d 75 74 61 74 69   {.  # Permutati
2f10: 6f 6e 73 20 6f 66 20 74 68 65 20 65 78 70 72 65  ons of the expre
2f20: 73 73 69 6f 6e 20 74 65 72 6d 73 2e 0a 20 20 71  ssion terms..  q
2f30: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53  ueryplan {.    S
2f40: 45 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d 20 74  ELECT b,a FROM t
2f50: 32 32 34 39 62 20 43 52 4f 53 53 20 4a 4f 49 4e  2249b CROSS JOIN
2f60: 20 74 32 32 34 39 61 20 57 48 45 52 45 20 61 3d   t2249a WHERE a=
2f70: 27 68 65 6c 6c 6f 27 20 4f 52 20 62 3d 61 3b 0a  'hello' OR b=a;.
2f80: 20 20 7d 0a 7d 20 7b 31 32 33 20 30 31 32 33 20    }.} {123 0123 
2f90: 6e 6f 73 6f 72 74 20 74 32 32 34 39 62 20 2a 20  nosort t2249b * 
2fa0: 74 32 32 34 39 61 20 73 71 6c 69 74 65 5f 61 75  t2249a sqlite_au
2fb0: 74 6f 69 6e 64 65 78 5f 74 32 32 34 39 61 5f 31  toindex_t2249a_1
2fc0: 7d 0a 69 66 63 61 70 61 62 6c 65 20 65 78 70 6c  }.ifcapable expl
2fd0: 61 69 6e 26 26 73 75 62 71 75 65 72 79 20 7b 0a  ain&&subquery {.
2fe0: 20 20 23 20 54 68 65 73 65 20 74 65 73 74 73 20    # These tests 
2ff0: 61 72 65 20 6e 6f 74 20 72 75 6e 20 69 66 20 73  are not run if s
3000: 75 62 71 75 65 72 79 20 73 75 70 70 6f 72 74 20  ubquery support 
3010: 69 73 20 6e 6f 74 20 69 6e 63 6c 75 64 65 64 20  is not included 
3020: 69 6e 20 74 68 65 0a 20 20 23 20 62 75 69 6c 64  in the.  # build
3030: 2e 20 54 68 69 73 20 69 73 20 62 65 63 61 75 73  . This is becaus
3040: 65 20 74 68 65 73 65 20 74 65 73 74 73 20 74 65  e these tests te
3050: 73 74 20 74 68 65 20 22 61 20 3d 20 31 20 4f 52  st the "a = 1 OR
3060: 20 61 20 3d 20 32 22 20 74 6f 0a 20 20 23 20 22   a = 2" to.  # "
3070: 61 20 49 4e 20 28 31 2c 20 32 29 22 20 6f 70 74  a IN (1, 2)" opt
3080: 69 6d 69 73 61 74 69 6f 6e 20 74 72 61 6e 73 66  imisation transf
3090: 6f 72 6d 61 74 69 6f 6e 2c 20 77 68 69 63 68 20  ormation, which 
30a0: 69 73 20 6e 6f 74 20 65 6e 61 62 6c 65 64 20 69  is not enabled i
30b0: 66 0a 20 20 23 20 73 75 62 71 75 65 72 69 65 73  f.  # subqueries
30c0: 20 61 6e 64 20 74 68 65 20 49 4e 20 6f 70 65 72   and the IN oper
30d0: 61 74 6f 72 20 69 73 20 6e 6f 74 20 61 76 61 69  ator is not avai
30e0: 6c 61 62 6c 65 2e 0a 20 20 23 0a 20 20 64 6f 5f  lable..  #.  do_
30f0: 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 31 32  test where2-6.12
3100: 20 7b 0a 20 20 20 20 23 20 49 6e 20 74 68 69 73   {.    # In this
3110: 20 63 61 73 65 2c 20 74 68 65 20 2b 62 20 64 69   case, the +b di
3120: 73 61 62 6c 65 73 20 74 68 65 20 61 66 66 69 6e  sables the affin
3130: 69 74 79 20 63 6f 6e 66 6c 69 63 74 20 61 6e 64  ity conflict and
3140: 20 61 6c 6c 6f 77 73 0a 20 20 20 20 23 20 74 68   allows.    # th
3150: 65 20 4f 52 20 6f 70 74 69 6d 69 7a 61 74 69 6f  e OR optimizatio
3160: 6e 20 74 6f 20 62 65 20 75 73 65 64 20 61 67 61  n to be used aga
3170: 69 6e 2e 20 20 54 68 65 20 72 65 73 75 6c 74 20  in.  The result 
3180: 69 73 20 6e 6f 77 20 61 6e 20 65 6d 70 74 79 0a  is now an empty.
3190: 20 20 20 20 23 20 73 65 74 2c 20 74 68 65 20 73      # set, the s
31a0: 61 6d 65 20 61 73 20 69 6e 20 77 68 65 72 65 32  ame as in where2
31b0: 2d 36 2e 39 2e 0a 20 20 20 20 71 75 65 72 79 70  -6.9..    queryp
31c0: 6c 61 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c 45  lan {.      SELE
31d0: 43 54 20 62 2c 61 20 46 52 4f 4d 20 74 32 32 34  CT b,a FROM t224
31e0: 39 62 20 43 52 4f 53 53 20 4a 4f 49 4e 20 74 32  9b CROSS JOIN t2
31f0: 32 34 39 61 20 57 48 45 52 45 20 61 3d 2b 62 20  249a WHERE a=+b 
3200: 4f 52 20 61 3d 27 68 65 6c 6c 6f 27 3b 0a 20 20  OR a='hello';.  
3210: 20 20 7d 0a 20 20 7d 20 7b 6e 6f 73 6f 72 74 20    }.  } {nosort 
3220: 74 32 32 34 39 62 20 2a 20 74 32 32 34 39 61 20  t2249b * t2249a 
3230: 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78  sqlite_autoindex
3240: 5f 74 32 32 34 39 61 5f 31 7d 0a 20 20 64 6f 5f  _t2249a_1}.  do_
3250: 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 31 32  test where2-6.12
3260: 2e 32 20 7b 0a 20 20 20 20 23 20 49 6e 20 74 68  .2 {.    # In th
3270: 69 73 20 63 61 73 65 2c 20 74 68 65 20 2b 62 20  is case, the +b 
3280: 64 69 73 61 62 6c 65 73 20 74 68 65 20 61 66 66  disables the aff
3290: 69 6e 69 74 79 20 63 6f 6e 66 6c 69 63 74 20 61  inity conflict a
32a0: 6e 64 20 61 6c 6c 6f 77 73 0a 20 20 20 20 23 20  nd allows.    # 
32b0: 74 68 65 20 4f 52 20 6f 70 74 69 6d 69 7a 61 74  the OR optimizat
32c0: 69 6f 6e 20 74 6f 20 62 65 20 75 73 65 64 20 61  ion to be used a
32d0: 67 61 69 6e 2e 20 20 54 68 65 20 72 65 73 75 6c  gain.  The resul
32e0: 74 20 69 73 20 6e 6f 77 20 61 6e 20 65 6d 70 74  t is now an empt
32f0: 79 0a 20 20 20 20 23 20 73 65 74 2c 20 74 68 65  y.    # set, the
3300: 20 73 61 6d 65 20 61 73 20 69 6e 20 77 68 65 72   same as in wher
3310: 65 32 2d 36 2e 39 2e 0a 20 20 20 20 71 75 65 72  e2-6.9..    quer
3320: 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20 20 53 45  yplan {.      SE
3330: 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d 20 74 32  LECT b,a FROM t2
3340: 32 34 39 62 20 43 52 4f 53 53 20 4a 4f 49 4e 20  249b CROSS JOIN 
3350: 74 32 32 34 39 61 20 57 48 45 52 45 20 61 3d 27  t2249a WHERE a='
3360: 68 65 6c 6c 6f 27 20 4f 52 20 2b 62 3d 61 3b 0a  hello' OR +b=a;.
3370: 20 20 20 20 7d 0a 20 20 7d 20 7b 6e 6f 73 6f 72      }.  } {nosor
3380: 74 20 74 32 32 34 39 62 20 2a 20 74 32 32 34 39  t t2249b * t2249
3390: 61 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64  a sqlite_autoind
33a0: 65 78 5f 74 32 32 34 39 61 5f 31 7d 0a 20 20 64  ex_t2249a_1}.  d
33b0: 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e  o_test where2-6.
33c0: 31 32 2e 33 20 7b 0a 20 20 20 20 23 20 49 6e 20  12.3 {.    # In 
33d0: 74 68 69 73 20 63 61 73 65 2c 20 74 68 65 20 2b  this case, the +
33e0: 62 20 64 69 73 61 62 6c 65 73 20 74 68 65 20 61  b disables the a
33f0: 66 66 69 6e 69 74 79 20 63 6f 6e 66 6c 69 63 74  ffinity conflict
3400: 20 61 6e 64 20 61 6c 6c 6f 77 73 0a 20 20 20 20   and allows.    
3410: 23 20 74 68 65 20 4f 52 20 6f 70 74 69 6d 69 7a  # the OR optimiz
3420: 61 74 69 6f 6e 20 74 6f 20 62 65 20 75 73 65 64  ation to be used
3430: 20 61 67 61 69 6e 2e 20 20 54 68 65 20 72 65 73   again.  The res
3440: 75 6c 74 20 69 73 20 6e 6f 77 20 61 6e 20 65 6d  ult is now an em
3450: 70 74 79 0a 20 20 20 20 23 20 73 65 74 2c 20 74  pty.    # set, t
3460: 68 65 20 73 61 6d 65 20 61 73 20 69 6e 20 77 68  he same as in wh
3470: 65 72 65 32 2d 36 2e 39 2e 0a 20 20 20 20 71 75  ere2-6.9..    qu
3480: 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20 20  eryplan {.      
3490: 53 45 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d 20  SELECT b,a FROM 
34a0: 74 32 32 34 39 62 20 43 52 4f 53 53 20 4a 4f 49  t2249b CROSS JOI
34b0: 4e 20 74 32 32 34 39 61 20 57 48 45 52 45 20 2b  N t2249a WHERE +
34c0: 62 3d 61 20 4f 52 20 61 3d 27 68 65 6c 6c 6f 27  b=a OR a='hello'
34d0: 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 6e 6f 73  ;.    }.  } {nos
34e0: 6f 72 74 20 74 32 32 34 39 62 20 2a 20 74 32 32  ort t2249b * t22
34f0: 34 39 61 20 73 71 6c 69 74 65 5f 61 75 74 6f 69  49a sqlite_autoi
3500: 6e 64 65 78 5f 74 32 32 34 39 61 5f 31 7d 0a 20  ndex_t2249a_1}. 
3510: 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d   do_test where2-
3520: 36 2e 31 33 20 7b 0a 20 20 20 20 23 20 54 68 65  6.13 {.    # The
3530: 20 61 64 64 69 74 69 6f 6e 20 6f 66 20 2b 61 20   addition of +a 
3540: 6f 6e 20 74 68 65 20 73 65 63 6f 6e 64 20 74 65  on the second te
3550: 72 6d 20 64 69 73 61 62 6c 65 64 20 74 68 65 20  rm disabled the 
3560: 4f 52 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 2e  OR optimization.
3570: 0a 20 20 20 20 23 20 42 75 74 20 77 65 20 73 68  .    # But we sh
3580: 6f 75 6c 64 20 73 74 69 6c 6c 20 67 65 74 20 74  ould still get t
3590: 68 65 20 73 61 6d 65 20 65 6d 70 74 79 2d 73 65  he same empty-se
35a0: 74 20 72 65 73 75 6c 74 20 61 73 20 69 6e 20 77  t result as in w
35b0: 68 65 72 65 32 2d 36 2e 39 2e 0a 20 20 20 20 71  here2-6.9..    q
35c0: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 20  ueryplan {.     
35d0: 20 53 45 4c 45 43 54 20 62 2c 61 20 46 52 4f 4d   SELECT b,a FROM
35e0: 20 74 32 32 34 39 62 20 43 52 4f 53 53 20 4a 4f   t2249b CROSS JO
35f0: 49 4e 20 74 32 32 34 39 61 20 57 48 45 52 45 20  IN t2249a WHERE 
3600: 61 3d 2b 62 20 4f 52 20 2b 61 3d 27 68 65 6c 6c  a=+b OR +a='hell
3610: 6f 27 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 6e  o';.    }.  } {n
3620: 6f 73 6f 72 74 20 74 32 32 34 39 62 20 2a 20 74  osort t2249b * t
3630: 32 32 34 39 61 20 73 71 6c 69 74 65 5f 61 75 74  2249a sqlite_aut
3640: 6f 69 6e 64 65 78 5f 74 32 32 34 39 61 5f 31 7d  oindex_t2249a_1}
3650: 0a 7d 0a 0a 23 20 56 61 72 69 61 74 69 6f 6e 73  .}..# Variations
3660: 20 6f 6e 20 74 68 65 20 6f 72 64 65 72 20 6f 66   on the order of
3670: 20 74 65 72 6d 73 20 69 6e 20 61 20 57 48 45 52   terms in a WHER
3680: 45 20 63 6c 61 75 73 65 20 69 6e 20 6f 72 64 65  E clause in orde
3690: 72 0a 23 20 74 6f 20 6d 61 6b 65 20 73 75 72 65  r.# to make sure
36a0: 20 74 68 65 20 4f 52 20 6f 70 74 69 6d 69 7a 65   the OR optimize
36b0: 72 20 63 61 6e 20 72 65 63 6f 67 6e 69 7a 65 20  r can recognize 
36c0: 74 68 65 6d 20 61 6c 6c 2e 0a 64 6f 5f 74 65 73  them all..do_tes
36d0: 74 20 77 68 65 72 65 32 2d 36 2e 32 30 20 7b 0a  t where2-6.20 {.
36e0: 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20    queryplan {.  
36f0: 20 20 53 45 4c 45 43 54 20 78 2e 61 2c 20 79 2e    SELECT x.a, y.
3700: 61 20 46 52 4f 4d 20 74 32 32 34 39 61 20 78 20  a FROM t2249a x 
3710: 43 52 4f 53 53 20 4a 4f 49 4e 20 74 32 32 34 39  CROSS JOIN t2249
3720: 61 20 79 20 57 48 45 52 45 20 78 2e 61 3d 79 2e  a y WHERE x.a=y.
3730: 61 0a 20 20 7d 0a 7d 20 7b 30 31 32 33 20 30 31  a.  }.} {0123 01
3740: 32 33 20 6e 6f 73 6f 72 74 20 78 20 73 71 6c 69  23 nosort x sqli
3750: 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 32 32  te_autoindex_t22
3760: 34 39 61 5f 31 20 79 20 73 71 6c 69 74 65 5f 61  49a_1 y sqlite_a
3770: 75 74 6f 69 6e 64 65 78 5f 74 32 32 34 39 61 5f  utoindex_t2249a_
3780: 31 7d 0a 69 66 63 61 70 61 62 6c 65 20 65 78 70  1}.ifcapable exp
3790: 6c 61 69 6e 26 26 73 75 62 71 75 65 72 79 20 7b  lain&&subquery {
37a0: 0a 20 20 23 20 54 68 65 73 65 20 74 65 73 74 73  .  # These tests
37b0: 20 61 72 65 20 6e 6f 74 20 72 75 6e 20 69 66 20   are not run if 
37c0: 73 75 62 71 75 65 72 79 20 73 75 70 70 6f 72 74  subquery support
37d0: 20 69 73 20 6e 6f 74 20 69 6e 63 6c 75 64 65 64   is not included
37e0: 20 69 6e 20 74 68 65 0a 20 20 23 20 62 75 69 6c   in the.  # buil
37f0: 64 2e 20 54 68 69 73 20 69 73 20 62 65 63 61 75  d. This is becau
3800: 73 65 20 74 68 65 73 65 20 74 65 73 74 73 20 74  se these tests t
3810: 65 73 74 20 74 68 65 20 22 61 20 3d 20 31 20 4f  est the "a = 1 O
3820: 52 20 61 20 3d 20 32 22 20 74 6f 0a 20 20 23 20  R a = 2" to.  # 
3830: 22 61 20 49 4e 20 28 31 2c 20 32 29 22 20 6f 70  "a IN (1, 2)" op
3840: 74 69 6d 69 73 61 74 69 6f 6e 20 74 72 61 6e 73  timisation trans
3850: 66 6f 72 6d 61 74 69 6f 6e 2c 20 77 68 69 63 68  formation, which
3860: 20 69 73 20 6e 6f 74 20 65 6e 61 62 6c 65 64 20   is not enabled 
3870: 69 66 0a 20 20 23 20 73 75 62 71 75 65 72 69 65  if.  # subquerie
3880: 73 20 61 6e 64 20 74 68 65 20 49 4e 20 6f 70 65  s and the IN ope
3890: 72 61 74 6f 72 20 69 73 20 6e 6f 74 20 61 76 61  rator is not ava
38a0: 69 6c 61 62 6c 65 2e 0a 20 20 23 0a 20 20 64 6f  ilable..  #.  do
38b0: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 32  _test where2-6.2
38c0: 31 20 7b 0a 20 20 20 20 71 75 65 72 79 70 6c 61  1 {.    querypla
38d0: 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  n {.      SELECT
38e0: 20 78 2e 61 2c 79 2e 61 20 46 52 4f 4d 20 74 32   x.a,y.a FROM t2
38f0: 32 34 39 61 20 78 20 43 52 4f 53 53 20 4a 4f 49  249a x CROSS JOI
3900: 4e 20 74 32 32 34 39 61 20 79 0a 20 20 20 20 20  N t2249a y.     
3910: 20 20 57 48 45 52 45 20 78 2e 61 3d 79 2e 61 20    WHERE x.a=y.a 
3920: 4f 52 20 79 2e 61 3d 27 68 65 6c 6c 6f 27 0a 20  OR y.a='hello'. 
3930: 20 20 20 7d 0a 20 20 7d 20 7b 30 31 32 33 20 30     }.  } {0123 0
3940: 31 32 33 20 6e 6f 73 6f 72 74 20 78 20 73 71 6c  123 nosort x sql
3950: 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 32  ite_autoindex_t2
3960: 32 34 39 61 5f 31 20 79 20 73 71 6c 69 74 65 5f  249a_1 y sqlite_
3970: 61 75 74 6f 69 6e 64 65 78 5f 74 32 32 34 39 61  autoindex_t2249a
3980: 5f 31 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68  _1}.  do_test wh
3990: 65 72 65 32 2d 36 2e 32 32 20 7b 0a 20 20 20 20  ere2-6.22 {.    
39a0: 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20  queryplan {.    
39b0: 20 20 53 45 4c 45 43 54 20 78 2e 61 2c 79 2e 61    SELECT x.a,y.a
39c0: 20 46 52 4f 4d 20 74 32 32 34 39 61 20 78 20 43   FROM t2249a x C
39d0: 52 4f 53 53 20 4a 4f 49 4e 20 74 32 32 34 39 61  ROSS JOIN t2249a
39e0: 20 79 0a 20 20 20 20 20 20 20 57 48 45 52 45 20   y.       WHERE 
39f0: 79 2e 61 3d 78 2e 61 20 4f 52 20 79 2e 61 3d 27  y.a=x.a OR y.a='
3a00: 68 65 6c 6c 6f 27 0a 20 20 20 20 7d 0a 20 20 7d  hello'.    }.  }
3a10: 20 7b 30 31 32 33 20 30 31 32 33 20 6e 6f 73 6f   {0123 0123 noso
3a20: 72 74 20 78 20 73 71 6c 69 74 65 5f 61 75 74 6f  rt x sqlite_auto
3a30: 69 6e 64 65 78 5f 74 32 32 34 39 61 5f 31 20 79  index_t2249a_1 y
3a40: 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65   sqlite_autoinde
3a50: 78 5f 74 32 32 34 39 61 5f 31 7d 0a 20 20 64 6f  x_t2249a_1}.  do
3a60: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 36 2e 32  _test where2-6.2
3a70: 33 20 7b 0a 20 20 20 20 71 75 65 72 79 70 6c 61  3 {.    querypla
3a80: 6e 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  n {.      SELECT
3a90: 20 78 2e 61 2c 79 2e 61 20 46 52 4f 4d 20 74 32   x.a,y.a FROM t2
3aa0: 32 34 39 61 20 78 20 43 52 4f 53 53 20 4a 4f 49  249a x CROSS JOI
3ab0: 4e 20 74 32 32 34 39 61 20 79 0a 20 20 20 20 20  N t2249a y.     
3ac0: 20 20 57 48 45 52 45 20 79 2e 61 3d 27 68 65 6c    WHERE y.a='hel
3ad0: 6c 6f 27 20 4f 52 20 78 2e 61 3d 79 2e 61 0a 20  lo' OR x.a=y.a. 
3ae0: 20 20 20 7d 0a 20 20 7d 20 7b 30 31 32 33 20 30     }.  } {0123 0
3af0: 31 32 33 20 6e 6f 73 6f 72 74 20 78 20 73 71 6c  123 nosort x sql
3b00: 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 32  ite_autoindex_t2
3b10: 32 34 39 61 5f 31 20 79 20 73 71 6c 69 74 65 5f  249a_1 y sqlite_
3b20: 61 75 74 6f 69 6e 64 65 78 5f 74 32 32 34 39 61  autoindex_t2249a
3b30: 5f 31 7d 0a 7d 0a 0a 23 20 55 6e 69 71 75 65 20  _1}.}..# Unique 
3b40: 71 75 65 72 69 65 73 20 28 71 75 65 72 69 65 73  queries (queries
3b50: 20 74 68 61 74 20 61 72 65 20 67 75 61 72 61 6e   that are guaran
3b60: 74 65 65 64 20 74 6f 20 72 65 74 75 72 6e 20 6f  teed to return o
3b70: 6e 6c 79 20 61 20 73 69 6e 67 6c 65 0a 23 20 72  nly a single.# r
3b80: 6f 77 20 6f 66 20 72 65 73 75 6c 74 29 20 64 6f  ow of result) do
3b90: 20 6e 6f 74 20 63 61 6c 6c 20 74 68 65 20 73 6f   not call the so
3ba0: 72 74 65 72 2e 20 20 42 75 74 20 61 6c 6c 20 74  rter.  But all t
3bb0: 61 62 6c 65 73 20 6d 75 73 74 20 67 69 76 65 0a  ables must give.
3bc0: 23 20 61 20 75 6e 69 71 75 65 20 72 65 73 75 6c  # a unique resul
3bd0: 74 2e 20 20 49 66 20 61 6e 79 20 6f 6e 65 20 74  t.  If any one t
3be0: 61 62 6c 65 20 69 6e 20 74 68 65 20 6a 6f 69 6e  able in the join
3bf0: 20 64 6f 65 73 20 6e 6f 74 20 67 69 76 65 20 61   does not give a
3c00: 20 75 6e 69 71 75 65 0a 23 20 72 65 73 75 6c 74   unique.# result
3c10: 20 74 68 65 6e 20 73 6f 72 74 69 6e 67 20 69 73   then sorting is
3c20: 20 6e 65 63 65 73 73 61 72 79 2e 0a 23 0a 64 6f   necessary..#.do
3c30: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 37 2e 31  _test where2-7.1
3c40: 20 7b 0a 20 20 63 6b 73 6f 72 74 20 7b 0a 20 20   {.  cksort {.  
3c50: 20 20 63 72 65 61 74 65 20 74 61 62 6c 65 20 74    create table t
3c60: 38 28 61 20 75 6e 69 71 75 65 2c 20 62 2c 20 63  8(a unique, b, c
3c70: 29 3b 0a 20 20 20 20 69 6e 73 65 72 74 20 69 6e  );.    insert in
3c80: 74 6f 20 74 38 20 76 61 6c 75 65 73 28 31 2c 32  to t8 values(1,2
3c90: 2c 33 29 3b 0a 20 20 20 20 69 6e 73 65 72 74 20  ,3);.    insert 
3ca0: 69 6e 74 6f 20 74 38 20 76 61 6c 75 65 73 28 32  into t8 values(2
3cb0: 2c 33 2c 34 29 3b 0a 20 20 20 20 63 72 65 61 74  ,3,4);.    creat
3cc0: 65 20 74 61 62 6c 65 20 74 39 28 78 2c 79 29 3b  e table t9(x,y);
3cd0: 0a 20 20 20 20 69 6e 73 65 72 74 20 69 6e 74 6f  .    insert into
3ce0: 20 74 39 20 76 61 6c 75 65 73 28 32 2c 34 29 3b   t9 values(2,4);
3cf0: 0a 20 20 20 20 69 6e 73 65 72 74 20 69 6e 74 6f  .    insert into
3d00: 20 74 39 20 76 61 6c 75 65 73 28 32 2c 33 29 3b   t9 values(2,3);
3d10: 0a 20 20 20 20 73 65 6c 65 63 74 20 79 20 66 72  .    select y fr
3d20: 6f 6d 20 74 38 2c 20 74 39 20 77 68 65 72 65 20  om t8, t9 where 
3d30: 61 3d 31 20 6f 72 64 65 72 20 62 79 20 61 2c 20  a=1 order by a, 
3d40: 79 3b 0a 20 20 7d 0a 7d 20 7b 33 20 34 20 73 6f  y;.  }.} {3 4 so
3d50: 72 74 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  rt}.do_test wher
3d60: 65 32 2d 37 2e 32 20 7b 0a 20 20 63 6b 73 6f 72  e2-7.2 {.  cksor
3d70: 74 20 7b 0a 20 20 20 20 73 65 6c 65 63 74 20 2a  t {.    select *
3d80: 20 66 72 6f 6d 20 74 38 20 77 68 65 72 65 20 61   from t8 where a
3d90: 3d 31 20 6f 72 64 65 72 20 62 79 20 62 2c 20 63  =1 order by b, c
3da0: 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 6e 6f  .  }.} {1 2 3 no
3db0: 73 6f 72 74 7d 0a 64 6f 5f 74 65 73 74 20 77 68  sort}.do_test wh
3dc0: 65 72 65 32 2d 37 2e 33 20 7b 0a 20 20 63 6b 73  ere2-7.3 {.  cks
3dd0: 6f 72 74 20 7b 0a 20 20 20 20 73 65 6c 65 63 74  ort {.    select
3de0: 20 2a 20 66 72 6f 6d 20 74 38 2c 20 74 39 20 77   * from t8, t9 w
3df0: 68 65 72 65 20 61 3d 31 20 61 6e 64 20 79 3d 33  here a=1 and y=3
3e00: 20 6f 72 64 65 72 20 62 79 20 62 2c 20 78 0a 20   order by b, x. 
3e10: 20 7d 0a 7d 20 7b 31 20 32 20 33 20 32 20 33 20   }.} {1 2 3 2 3 
3e20: 73 6f 72 74 7d 0a 64 6f 5f 74 65 73 74 20 77 68  sort}.do_test wh
3e30: 65 72 65 32 2d 37 2e 34 20 7b 0a 20 20 63 6b 73  ere2-7.4 {.  cks
3e40: 6f 72 74 20 7b 0a 20 20 20 20 63 72 65 61 74 65  ort {.    create
3e50: 20 75 6e 69 71 75 65 20 69 6e 64 65 78 20 69 39   unique index i9
3e60: 79 20 6f 6e 20 74 39 28 79 29 3b 0a 20 20 20 20  y on t9(y);.    
3e70: 73 65 6c 65 63 74 20 2a 20 66 72 6f 6d 20 74 38  select * from t8
3e80: 2c 20 74 39 20 77 68 65 72 65 20 61 3d 31 20 61  , t9 where a=1 a
3e90: 6e 64 20 79 3d 33 20 6f 72 64 65 72 20 62 79 20  nd y=3 order by 
3ea0: 62 2c 20 78 0a 20 20 7d 0a 7d 20 7b 31 20 32 20  b, x.  }.} {1 2 
3eb0: 33 20 32 20 33 20 6e 6f 73 6f 72 74 7d 0a 0a 7d  3 2 3 nosort}..}
3ec0: 20 3b 23 20 69 66 20 7b 5b 70 65 72 6d 75 74 61   ;# if {[permuta
3ed0: 74 69 6f 6e 5d 20 21 3d 20 22 6e 6f 5f 6f 70 74  tion] != "no_opt
3ee0: 69 6d 69 7a 61 74 69 6f 6e 22 7d 0a 0a 23 20 54  imization"}..# T
3ef0: 69 63 6b 65 74 20 23 31 38 30 37 2e 20 20 55 73  icket #1807.  Us
3f00: 69 6e 67 20 49 4e 20 63 6f 6e 73 74 72 61 69 6e  ing IN constrain
3f10: 73 20 6f 6e 20 6d 75 6c 74 69 70 6c 65 20 63 6f  s on multiple co
3f20: 6c 75 6d 6e 73 20 6f 66 0a 23 20 61 20 6d 75 6c  lumns of.# a mul
3f30: 74 69 2d 63 6f 6c 75 6d 6e 20 69 6e 64 65 78 2e  ti-column index.
3f40: 0a 23 0a 69 66 63 61 70 61 62 6c 65 20 73 75 62  .#.ifcapable sub
3f50: 71 75 65 72 79 20 7b 0a 20 20 64 6f 5f 74 65 73  query {.  do_tes
3f60: 74 20 77 68 65 72 65 32 2d 38 2e 31 20 7b 0a 20  t where2-8.1 {. 
3f70: 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20     execsql {.   
3f80: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
3f90: 20 74 31 20 57 48 45 52 45 20 78 20 49 4e 20 28   t1 WHERE x IN (
3fa0: 32 30 2c 32 31 29 20 41 4e 44 20 79 20 49 4e 20  20,21) AND y IN 
3fb0: 28 31 2c 32 29 0a 20 20 20 20 7d 0a 20 20 7d 20  (1,2).    }.  } 
3fc0: 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65  {}.  do_test whe
3fd0: 72 65 32 2d 38 2e 32 20 7b 0a 20 20 20 20 65 78  re2-8.2 {.    ex
3fe0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 53 45  ecsql {.      SE
3ff0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
4000: 48 45 52 45 20 78 20 49 4e 20 28 31 2c 32 29 20  HERE x IN (1,2) 
4010: 41 4e 44 20 79 20 49 4e 20 28 2d 35 2c 2d 36 29  AND y IN (-5,-6)
4020: 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20  .    }.  } {}.  
4030: 65 78 65 63 73 71 6c 20 7b 43 52 45 41 54 45 20  execsql {CREATE 
4040: 54 41 42 4c 45 20 74 78 20 41 53 20 53 45 4c 45  TABLE tx AS SELE
4050: 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20 20  CT * FROM t1}.  
4060: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 38  do_test where2-8
4070: 2e 33 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  .3 {.    execsql
4080: 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20   {.      SELECT 
4090: 77 20 46 52 4f 4d 20 74 31 0a 20 20 20 20 20 20  w FROM t1.      
40a0: 20 57 48 45 52 45 20 78 20 49 4e 20 28 53 45 4c   WHERE x IN (SEL
40b0: 45 43 54 20 78 20 46 52 4f 4d 20 74 78 20 57 48  ECT x FROM tx WH
40c0: 45 52 45 20 72 6f 77 69 64 3c 30 29 0a 20 20 20  ERE rowid<0).   
40d0: 20 20 20 20 20 20 41 4e 44 20 2b 79 20 49 4e 20        AND +y IN 
40e0: 28 53 45 4c 45 43 54 20 79 20 46 52 4f 4d 20 74  (SELECT y FROM t
40f0: 78 20 57 48 45 52 45 20 72 6f 77 69 64 3d 31 29  x WHERE rowid=1)
4100: 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20  .    }.  } {}.  
4110: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 38  do_test where2-8
4120: 2e 34 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  .4 {.    execsql
4130: 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20   {.      SELECT 
4140: 77 20 46 52 4f 4d 20 74 31 0a 20 20 20 20 20 20  w FROM t1.      
4150: 20 57 48 45 52 45 20 78 20 49 4e 20 28 53 45 4c   WHERE x IN (SEL
4160: 45 43 54 20 78 20 46 52 4f 4d 20 74 78 20 57 48  ECT x FROM tx WH
4170: 45 52 45 20 72 6f 77 69 64 3d 31 29 0a 20 20 20  ERE rowid=1).   
4180: 20 20 20 20 20 20 41 4e 44 20 79 20 49 4e 20 28        AND y IN (
4190: 53 45 4c 45 43 54 20 79 20 46 52 4f 4d 20 74 78  SELECT y FROM tx
41a0: 20 57 48 45 52 45 20 72 6f 77 69 64 3c 30 29 0a   WHERE rowid<0).
41b0: 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 23      }.  } {}.  #
41c0: 73 65 74 20 73 71 6c 69 74 65 5f 77 68 65 72 65  set sqlite_where
41d0: 5f 74 72 61 63 65 20 31 0a 20 20 64 6f 5f 74 65  _trace 1.  do_te
41e0: 73 74 20 77 68 65 72 65 32 2d 38 2e 35 20 7b 0a  st where2-8.5 {.
41f0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
4200: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
4210: 20 74 78 5f 78 79 7a 20 4f 4e 20 74 78 28 78 2c   tx_xyz ON tx(x,
4220: 20 79 2c 20 7a 2c 20 77 29 3b 0a 20 20 20 20 20   y, z, w);.     
4230: 20 53 45 4c 45 43 54 20 77 20 46 52 4f 4d 20 74   SELECT w FROM t
4240: 78 0a 20 20 20 20 20 20 20 57 48 45 52 45 20 78  x.       WHERE x
4250: 20 49 4e 20 28 53 45 4c 45 43 54 20 78 20 46 52   IN (SELECT x FR
4260: 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45  OM t1 WHERE w BE
4270: 54 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29  TWEEN 10 AND 20)
4280: 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20 79 20  .         AND y 
4290: 49 4e 20 28 53 45 4c 45 43 54 20 79 20 46 52 4f  IN (SELECT y FRO
42a0: 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54  M t1 WHERE w BET
42b0: 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a  WEEN 10 AND 20).
42c0: 20 20 20 20 20 20 20 20 20 41 4e 44 20 7a 20 49           AND z I
42d0: 4e 20 28 53 45 4c 45 43 54 20 7a 20 46 52 4f 4d  N (SELECT z FROM
42e0: 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57   t1 WHERE w BETW
42f0: 45 45 4e 20 31 32 20 41 4e 44 20 31 34 29 0a 20  EEN 12 AND 14). 
4300: 20 20 20 7d 0a 20 20 7d 20 7b 31 32 20 31 33 20     }.  } {12 13 
4310: 31 34 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68  14}.  do_test wh
4320: 65 72 65 32 2d 38 2e 36 20 7b 0a 20 20 20 20 65  ere2-8.6 {.    e
4330: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 53  xecsql {.      S
4340: 45 4c 45 43 54 20 77 20 46 52 4f 4d 20 74 78 0a  ELECT w FROM tx.
4350: 20 20 20 20 20 20 20 57 48 45 52 45 20 78 20 49         WHERE x I
4360: 4e 20 28 53 45 4c 45 43 54 20 78 20 46 52 4f 4d  N (SELECT x FROM
4370: 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57   t1 WHERE w BETW
4380: 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a 20  EEN 10 AND 20). 
4390: 20 20 20 20 20 20 20 20 41 4e 44 20 79 20 49 4e          AND y IN
43a0: 20 28 53 45 4c 45 43 54 20 79 20 46 52 4f 4d 20   (SELECT y FROM 
43b0: 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45  t1 WHERE w BETWE
43c0: 45 4e 20 31 32 20 41 4e 44 20 31 34 29 0a 20 20  EN 12 AND 14).  
43d0: 20 20 20 20 20 20 20 41 4e 44 20 7a 20 49 4e 20         AND z IN 
43e0: 28 53 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20 74  (SELECT z FROM t
43f0: 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45 45  1 WHERE w BETWEE
4400: 4e 20 31 30 20 41 4e 44 20 32 30 29 0a 20 20 20  N 10 AND 20).   
4410: 20 7d 0a 20 20 7d 20 7b 31 32 20 31 33 20 31 34   }.  } {12 13 14
4420: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65 72  }.  do_test wher
4430: 65 32 2d 38 2e 37 20 7b 0a 20 20 20 20 65 78 65  e2-8.7 {.    exe
4440: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c  csql {.      SEL
4450: 45 43 54 20 77 20 46 52 4f 4d 20 74 78 0a 20 20  ECT w FROM tx.  
4460: 20 20 20 20 20 57 48 45 52 45 20 78 20 49 4e 20       WHERE x IN 
4470: 28 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 74  (SELECT x FROM t
4480: 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45 45  1 WHERE w BETWEE
4490: 4e 20 31 32 20 41 4e 44 20 31 34 29 0a 20 20 20  N 12 AND 14).   
44a0: 20 20 20 20 20 20 41 4e 44 20 79 20 49 4e 20 28        AND y IN (
44b0: 53 45 4c 45 43 54 20 79 20 46 52 4f 4d 20 74 31  SELECT y FROM t1
44c0: 20 57 48 45 52 45 20 77 20 42 45 54 57 45 45 4e   WHERE w BETWEEN
44d0: 20 31 30 20 41 4e 44 20 32 30 29 0a 20 20 20 20   10 AND 20).    
44e0: 20 20 20 20 20 41 4e 44 20 7a 20 49 4e 20 28 53       AND z IN (S
44f0: 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20 74 31 20  ELECT z FROM t1 
4500: 57 48 45 52 45 20 77 20 42 45 54 57 45 45 4e 20  WHERE w BETWEEN 
4510: 31 30 20 41 4e 44 20 32 30 29 0a 20 20 20 20 7d  10 AND 20).    }
4520: 0a 20 20 7d 20 7b 31 30 20 31 31 20 31 32 20 31  .  } {10 11 12 1
4530: 33 20 31 34 20 31 35 7d 0a 20 20 64 6f 5f 74 65  3 14 15}.  do_te
4540: 73 74 20 77 68 65 72 65 32 2d 38 2e 38 20 7b 0a  st where2-8.8 {.
4550: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
4560: 20 20 20 20 53 45 4c 45 43 54 20 77 20 46 52 4f      SELECT w FRO
4570: 4d 20 74 78 0a 20 20 20 20 20 20 20 57 48 45 52  M tx.       WHER
4580: 45 20 78 20 49 4e 20 28 53 45 4c 45 43 54 20 78  E x IN (SELECT x
4590: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77   FROM t1 WHERE w
45a0: 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44 20   BETWEEN 10 AND 
45b0: 32 30 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44  20).         AND
45c0: 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20 79 20   y IN (SELECT y 
45d0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20  FROM t1 WHERE w 
45e0: 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44 20 32  BETWEEN 10 AND 2
45f0: 30 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20  0).         AND 
4600: 7a 20 49 4e 20 28 53 45 4c 45 43 54 20 7a 20 46  z IN (SELECT z F
4610: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20 42  ROM t1 WHERE w B
4620: 45 54 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30  ETWEEN 10 AND 20
4630: 29 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 30 20  ).    }.  } {10 
4640: 31 31 20 31 32 20 31 33 20 31 34 20 31 35 20 31  11 12 13 14 15 1
4650: 36 20 31 37 20 31 38 20 31 39 20 32 30 7d 0a 20  6 17 18 19 20}. 
4660: 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d   do_test where2-
4670: 38 2e 39 20 7b 0a 20 20 20 20 65 78 65 63 73 71  8.9 {.    execsq
4680: 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  l {.      SELECT
4690: 20 77 20 46 52 4f 4d 20 74 78 0a 20 20 20 20 20   w FROM tx.     
46a0: 20 20 57 48 45 52 45 20 78 20 49 4e 20 28 53 45    WHERE x IN (SE
46b0: 4c 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57  LECT x FROM t1 W
46c0: 48 45 52 45 20 77 20 42 45 54 57 45 45 4e 20 31  HERE w BETWEEN 1
46d0: 30 20 41 4e 44 20 32 30 29 0a 20 20 20 20 20 20  0 AND 20).      
46e0: 20 20 20 41 4e 44 20 79 20 49 4e 20 28 53 45 4c     AND y IN (SEL
46f0: 45 43 54 20 79 20 46 52 4f 4d 20 74 31 20 57 48  ECT y FROM t1 WH
4700: 45 52 45 20 77 20 42 45 54 57 45 45 4e 20 31 30  ERE w BETWEEN 10
4710: 20 41 4e 44 20 32 30 29 0a 20 20 20 20 20 20 20   AND 20).       
4720: 20 20 41 4e 44 20 7a 20 49 4e 20 28 53 45 4c 45    AND z IN (SELE
4730: 43 54 20 7a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT z FROM t1 WHE
4740: 52 45 20 77 20 42 45 54 57 45 45 4e 20 32 20 41  RE w BETWEEN 2 A
4750: 4e 44 20 34 29 0a 20 20 20 20 7d 0a 20 20 7d 20  ND 4).    }.  } 
4760: 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65  {}.  do_test whe
4770: 72 65 32 2d 38 2e 31 30 20 7b 0a 20 20 20 20 65  re2-8.10 {.    e
4780: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 53  xecsql {.      S
4790: 45 4c 45 43 54 20 77 20 46 52 4f 4d 20 74 78 0a  ELECT w FROM tx.
47a0: 20 20 20 20 20 20 20 57 48 45 52 45 20 78 20 49         WHERE x I
47b0: 4e 20 28 53 45 4c 45 43 54 20 78 20 46 52 4f 4d  N (SELECT x FROM
47c0: 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57   t1 WHERE w BETW
47d0: 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a 20  EEN 10 AND 20). 
47e0: 20 20 20 20 20 20 20 20 41 4e 44 20 79 20 49 4e          AND y IN
47f0: 20 28 53 45 4c 45 43 54 20 79 20 46 52 4f 4d 20   (SELECT y FROM 
4800: 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45  t1 WHERE w BETWE
4810: 45 4e 20 32 20 41 4e 44 20 34 29 0a 20 20 20 20  EN 2 AND 4).    
4820: 20 20 20 20 20 41 4e 44 20 7a 20 49 4e 20 28 53       AND z IN (S
4830: 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20 74 31 20  ELECT z FROM t1 
4840: 57 48 45 52 45 20 77 20 42 45 54 57 45 45 4e 20  WHERE w BETWEEN 
4850: 31 30 20 41 4e 44 20 32 30 29 0a 20 20 20 20 7d  10 AND 20).    }
4860: 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73  .  } {}.  do_tes
4870: 74 20 77 68 65 72 65 32 2d 38 2e 31 31 20 7b 0a  t where2-8.11 {.
4880: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
4890: 20 20 20 20 53 45 4c 45 43 54 20 77 20 46 52 4f      SELECT w FRO
48a0: 4d 20 74 78 0a 20 20 20 20 20 20 20 57 48 45 52  M tx.       WHER
48b0: 45 20 78 20 49 4e 20 28 53 45 4c 45 43 54 20 78  E x IN (SELECT x
48c0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77   FROM t1 WHERE w
48d0: 20 42 45 54 57 45 45 4e 20 32 20 41 4e 44 20 34   BETWEEN 2 AND 4
48e0: 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20 79  ).         AND y
48f0: 20 49 4e 20 28 53 45 4c 45 43 54 20 79 20 46 52   IN (SELECT y FR
4900: 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45  OM t1 WHERE w BE
4910: 54 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29  TWEEN 10 AND 20)
4920: 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20 7a 20  .         AND z 
4930: 49 4e 20 28 53 45 4c 45 43 54 20 7a 20 46 52 4f  IN (SELECT z FRO
4940: 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54  M t1 WHERE w BET
4950: 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a  WEEN 10 AND 20).
4960: 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64      }.  } {}.  d
4970: 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 38 2e  o_test where2-8.
4980: 31 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  12 {.    execsql
4990: 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20   {.      SELECT 
49a0: 77 20 46 52 4f 4d 20 74 78 0a 20 20 20 20 20 20  w FROM tx.      
49b0: 20 57 48 45 52 45 20 78 20 49 4e 20 28 53 45 4c   WHERE x IN (SEL
49c0: 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48  ECT x FROM t1 WH
49d0: 45 52 45 20 77 20 42 45 54 57 45 45 4e 20 31 30  ERE w BETWEEN 10
49e0: 20 41 4e 44 20 32 30 29 0a 20 20 20 20 20 20 20   AND 20).       
49f0: 20 20 41 4e 44 20 79 20 49 4e 20 28 53 45 4c 45    AND y IN (SELE
4a00: 43 54 20 79 20 46 52 4f 4d 20 74 31 20 57 48 45  CT y FROM t1 WHE
4a10: 52 45 20 77 20 42 45 54 57 45 45 4e 20 31 30 20  RE w BETWEEN 10 
4a20: 41 4e 44 20 32 30 29 0a 20 20 20 20 20 20 20 20  AND 20).        
4a30: 20 41 4e 44 20 7a 20 49 4e 20 28 53 45 4c 45 43   AND z IN (SELEC
4a40: 54 20 7a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T z FROM t1 WHER
4a50: 45 20 77 20 42 45 54 57 45 45 4e 20 2d 34 20 41  E w BETWEEN -4 A
4a60: 4e 44 20 2d 32 29 0a 20 20 20 20 7d 0a 20 20 7d  ND -2).    }.  }
4a70: 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68   {}.  do_test wh
4a80: 65 72 65 32 2d 38 2e 31 33 20 7b 0a 20 20 20 20  ere2-8.13 {.    
4a90: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20  execsql {.      
4aa0: 53 45 4c 45 43 54 20 77 20 46 52 4f 4d 20 74 78  SELECT w FROM tx
4ab0: 0a 20 20 20 20 20 20 20 57 48 45 52 45 20 78 20  .       WHERE x 
4ac0: 49 4e 20 28 53 45 4c 45 43 54 20 78 20 46 52 4f  IN (SELECT x FRO
4ad0: 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54  M t1 WHERE w BET
4ae0: 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a  WEEN 10 AND 20).
4af0: 20 20 20 20 20 20 20 20 20 41 4e 44 20 79 20 49           AND y I
4b00: 4e 20 28 53 45 4c 45 43 54 20 79 20 46 52 4f 4d  N (SELECT y FROM
4b10: 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57   t1 WHERE w BETW
4b20: 45 45 4e 20 2d 34 20 41 4e 44 20 2d 32 29 0a 20  EEN -4 AND -2). 
4b30: 20 20 20 20 20 20 20 20 41 4e 44 20 7a 20 49 4e          AND z IN
4b40: 20 28 53 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20   (SELECT z FROM 
4b50: 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45  t1 WHERE w BETWE
4b60: 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a 20 20  EN 10 AND 20).  
4b70: 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f    }.  } {}.  do_
4b80: 74 65 73 74 20 77 68 65 72 65 32 2d 38 2e 31 34  test where2-8.14
4b90: 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b   {.    execsql {
4ba0: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 77 20  .      SELECT w 
4bb0: 46 52 4f 4d 20 74 78 0a 20 20 20 20 20 20 20 57  FROM tx.       W
4bc0: 48 45 52 45 20 78 20 49 4e 20 28 53 45 4c 45 43  HERE x IN (SELEC
4bd0: 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T x FROM t1 WHER
4be0: 45 20 77 20 42 45 54 57 45 45 4e 20 2d 34 20 41  E w BETWEEN -4 A
4bf0: 4e 44 20 2d 32 29 0a 20 20 20 20 20 20 20 20 20  ND -2).         
4c00: 41 4e 44 20 79 20 49 4e 20 28 53 45 4c 45 43 54  AND y IN (SELECT
4c10: 20 79 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   y FROM t1 WHERE
4c20: 20 77 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e   w BETWEEN 10 AN
4c30: 44 20 32 30 29 0a 20 20 20 20 20 20 20 20 20 41  D 20).         A
4c40: 4e 44 20 7a 20 49 4e 20 28 53 45 4c 45 43 54 20  ND z IN (SELECT 
4c50: 7a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  z FROM t1 WHERE 
4c60: 77 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44  w BETWEEN 10 AND
4c70: 20 32 30 29 0a 20 20 20 20 7d 0a 20 20 7d 20 7b   20).    }.  } {
4c80: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68 65 72  }.  do_test wher
4c90: 65 32 2d 38 2e 31 35 20 7b 0a 20 20 20 20 65 78  e2-8.15 {.    ex
4ca0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 53 45  ecsql {.      SE
4cb0: 4c 45 43 54 20 77 20 46 52 4f 4d 20 74 78 0a 20  LECT w FROM tx. 
4cc0: 20 20 20 20 20 20 57 48 45 52 45 20 78 20 49 4e        WHERE x IN
4cd0: 20 28 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20   (SELECT x FROM 
4ce0: 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45  t1 WHERE w BETWE
4cf0: 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a 20 20  EN 10 AND 20).  
4d00: 20 20 20 20 20 20 20 41 4e 44 20 79 20 49 4e 20         AND y IN 
4d10: 28 53 45 4c 45 43 54 20 79 20 46 52 4f 4d 20 74  (SELECT y FROM t
4d20: 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45 45  1 WHERE w BETWEE
4d30: 4e 20 31 30 20 41 4e 44 20 32 30 29 0a 20 20 20  N 10 AND 20).   
4d40: 20 20 20 20 20 20 41 4e 44 20 7a 20 49 4e 20 28        AND z IN (
4d50: 53 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20 74 31  SELECT z FROM t1
4d60: 20 57 48 45 52 45 20 77 20 42 45 54 57 45 45 4e   WHERE w BETWEEN
4d70: 20 32 30 30 20 41 4e 44 20 33 30 30 29 0a 20 20   200 AND 300).  
4d80: 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f    }.  } {}.  do_
4d90: 74 65 73 74 20 77 68 65 72 65 32 2d 38 2e 31 36  test where2-8.16
4da0: 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b   {.    execsql {
4db0: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 77 20  .      SELECT w 
4dc0: 46 52 4f 4d 20 74 78 0a 20 20 20 20 20 20 20 57  FROM tx.       W
4dd0: 48 45 52 45 20 78 20 49 4e 20 28 53 45 4c 45 43  HERE x IN (SELEC
4de0: 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T x FROM t1 WHER
4df0: 45 20 77 20 42 45 54 57 45 45 4e 20 31 30 20 41  E w BETWEEN 10 A
4e00: 4e 44 20 32 30 29 0a 20 20 20 20 20 20 20 20 20  ND 20).         
4e10: 41 4e 44 20 79 20 49 4e 20 28 53 45 4c 45 43 54  AND y IN (SELECT
4e20: 20 79 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   y FROM t1 WHERE
4e30: 20 77 20 42 45 54 57 45 45 4e 20 32 30 30 20 41   w BETWEEN 200 A
4e40: 4e 44 20 33 30 30 29 0a 20 20 20 20 20 20 20 20  ND 300).        
4e50: 20 41 4e 44 20 7a 20 49 4e 20 28 53 45 4c 45 43   AND z IN (SELEC
4e60: 54 20 7a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T z FROM t1 WHER
4e70: 45 20 77 20 42 45 54 57 45 45 4e 20 31 30 20 41  E w BETWEEN 10 A
4e80: 4e 44 20 32 30 29 0a 20 20 20 20 7d 0a 20 20 7d  ND 20).    }.  }
4e90: 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 68   {}.  do_test wh
4ea0: 65 72 65 32 2d 38 2e 31 37 20 7b 0a 20 20 20 20  ere2-8.17 {.    
4eb0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20  execsql {.      
4ec0: 53 45 4c 45 43 54 20 77 20 46 52 4f 4d 20 74 78  SELECT w FROM tx
4ed0: 0a 20 20 20 20 20 20 20 57 48 45 52 45 20 78 20  .       WHERE x 
4ee0: 49 4e 20 28 53 45 4c 45 43 54 20 78 20 46 52 4f  IN (SELECT x FRO
4ef0: 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54  M t1 WHERE w BET
4f00: 57 45 45 4e 20 32 30 30 20 41 4e 44 20 33 30 30  WEEN 200 AND 300
4f10: 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20 79  ).         AND y
4f20: 20 49 4e 20 28 53 45 4c 45 43 54 20 79 20 46 52   IN (SELECT y FR
4f30: 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45  OM t1 WHERE w BE
4f40: 54 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29  TWEEN 10 AND 20)
4f50: 0a 20 20 20 20 20 20 20 20 20 41 4e 44 20 7a 20  .         AND z 
4f60: 49 4e 20 28 53 45 4c 45 43 54 20 7a 20 46 52 4f  IN (SELECT z FRO
4f70: 4d 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54  M t1 WHERE w BET
4f80: 57 45 45 4e 20 31 30 20 41 4e 44 20 32 30 29 0a  WEEN 10 AND 20).
4f90: 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64      }.  } {}.  d
4fa0: 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d 38 2e  o_test where2-8.
4fb0: 31 38 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  18 {.    execsql
4fc0: 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20   {.      SELECT 
4fd0: 77 20 46 52 4f 4d 20 74 78 0a 20 20 20 20 20 20  w FROM tx.      
4fe0: 20 57 48 45 52 45 20 78 20 49 4e 20 28 53 45 4c   WHERE x IN (SEL
4ff0: 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48  ECT x FROM t1 WH
5000: 45 52 45 20 2b 77 20 42 45 54 57 45 45 4e 20 31  ERE +w BETWEEN 1
5010: 30 20 41 4e 44 20 32 30 29 0a 20 20 20 20 20 20  0 AND 20).      
5020: 20 20 20 41 4e 44 20 79 20 49 4e 20 28 53 45 4c     AND y IN (SEL
5030: 45 43 54 20 79 20 46 52 4f 4d 20 74 31 20 57 48  ECT y FROM t1 WH
5040: 45 52 45 20 2b 77 20 42 45 54 57 45 45 4e 20 31  ERE +w BETWEEN 1
5050: 30 20 41 4e 44 20 32 30 29 0a 20 20 20 20 20 20  0 AND 20).      
5060: 20 20 20 41 4e 44 20 7a 20 49 4e 20 28 53 45 4c     AND z IN (SEL
5070: 45 43 54 20 7a 20 46 52 4f 4d 20 74 31 20 57 48  ECT z FROM t1 WH
5080: 45 52 45 20 2b 77 20 42 45 54 57 45 45 4e 20 32  ERE +w BETWEEN 2
5090: 30 30 20 41 4e 44 20 33 30 30 29 0a 20 20 20 20  00 AND 300).    
50a0: 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65  }.  } {}.  do_te
50b0: 73 74 20 77 68 65 72 65 32 2d 38 2e 31 39 20 7b  st where2-8.19 {
50c0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
50d0: 20 20 20 20 20 53 45 4c 45 43 54 20 77 20 46 52       SELECT w FR
50e0: 4f 4d 20 74 78 0a 20 20 20 20 20 20 20 57 48 45  OM tx.       WHE
50f0: 52 45 20 78 20 49 4e 20 28 53 45 4c 45 43 54 20  RE x IN (SELECT 
5100: 78 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  x FROM t1 WHERE 
5110: 2b 77 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e  +w BETWEEN 10 AN
5120: 44 20 32 30 29 0a 20 20 20 20 20 20 20 20 20 41  D 20).         A
5130: 4e 44 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20  ND y IN (SELECT 
5140: 79 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  y FROM t1 WHERE 
5150: 2b 77 20 42 45 54 57 45 45 4e 20 32 30 30 20 41  +w BETWEEN 200 A
5160: 4e 44 20 33 30 30 29 0a 20 20 20 20 20 20 20 20  ND 300).        
5170: 20 41 4e 44 20 7a 20 49 4e 20 28 53 45 4c 45 43   AND z IN (SELEC
5180: 54 20 7a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T z FROM t1 WHER
5190: 45 20 2b 77 20 42 45 54 57 45 45 4e 20 31 30 20  E +w BETWEEN 10 
51a0: 41 4e 44 20 32 30 29 0a 20 20 20 20 7d 0a 20 20  AND 20).    }.  
51b0: 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77  } {}.  do_test w
51c0: 68 65 72 65 32 2d 38 2e 32 30 20 7b 0a 20 20 20  here2-8.20 {.   
51d0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20   execsql {.     
51e0: 20 53 45 4c 45 43 54 20 77 20 46 52 4f 4d 20 74   SELECT w FROM t
51f0: 78 0a 20 20 20 20 20 20 20 57 48 45 52 45 20 78  x.       WHERE x
5200: 20 49 4e 20 28 53 45 4c 45 43 54 20 78 20 46 52   IN (SELECT x FR
5210: 4f 4d 20 74 31 20 57 48 45 52 45 20 2b 77 20 42  OM t1 WHERE +w B
5220: 45 54 57 45 45 4e 20 32 30 30 20 41 4e 44 20 33  ETWEEN 200 AND 3
5230: 30 30 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44  00).         AND
5240: 20 79 20 49 4e 20 28 53 45 4c 45 43 54 20 79 20   y IN (SELECT y 
5250: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 2b 77  FROM t1 WHERE +w
5260: 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44 20   BETWEEN 10 AND 
5270: 32 30 29 0a 20 20 20 20 20 20 20 20 20 41 4e 44  20).         AND
5280: 20 7a 20 49 4e 20 28 53 45 4c 45 43 54 20 7a 20   z IN (SELECT z 
5290: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 2b 77  FROM t1 WHERE +w
52a0: 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44 20   BETWEEN 10 AND 
52b0: 32 30 29 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d  20).    }.  } {}
52c0: 0a 7d 20 20 0a 0a 23 20 4d 61 6b 65 20 73 75 72  .}  ..# Make sur
52d0: 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 73 20  e WHERE clauses 
52e0: 6f 66 20 74 68 65 20 66 6f 72 6d 20 41 3d 31 20  of the form A=1 
52f0: 41 4e 44 20 28 42 3d 32 20 4f 52 20 42 3d 33 29  AND (B=2 OR B=3)
5300: 20 61 72 65 20 6f 70 74 69 6d 69 7a 65 64 0a 23   are optimized.#
5310: 20 77 68 65 6e 20 77 65 20 68 61 76 65 20 61 6e   when we have an
5320: 20 69 6e 64 65 78 20 6f 6e 20 41 20 61 6e 64 20   index on A and 
5330: 42 2e 0a 23 0a 69 66 63 61 70 61 62 6c 65 20 6f  B..#.ifcapable o
5340: 72 5f 6f 70 74 26 26 74 63 6c 76 61 72 20 7b 0a  r_opt&&tclvar {.
5350: 20 20 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32    do_test where2
5360: 2d 39 2e 31 20 7b 0a 20 20 20 20 65 78 65 63 73  -9.1 {.    execs
5370: 71 6c 20 7b 0a 20 20 20 20 20 20 42 45 47 49 4e  ql {.      BEGIN
5380: 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54  ;.      CREATE T
5390: 41 42 4c 45 20 74 31 30 28 61 2c 62 2c 63 29 3b  ABLE t10(a,b,c);
53a0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
53b0: 54 4f 20 74 31 30 20 56 41 4c 55 45 53 28 31 2c  TO t10 VALUES(1,
53c0: 31 2c 31 29 3b 0a 20 20 20 20 20 20 49 4e 53 45  1,1);.      INSE
53d0: 52 54 20 49 4e 54 4f 20 74 31 30 20 56 41 4c 55  RT INTO t10 VALU
53e0: 45 53 28 31 2c 32 2c 32 29 3b 0a 20 20 20 20 20  ES(1,2,2);.     
53f0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 30   INSERT INTO t10
5400: 20 56 41 4c 55 45 53 28 31 2c 33 2c 33 29 3b 0a   VALUES(1,3,3);.
5410: 20 20 20 20 7d 0a 20 20 20 20 66 6f 72 20 7b 73      }.    for {s
5420: 65 74 20 69 20 34 7d 20 7b 24 69 3c 3d 31 30 30  et i 4} {$i<=100
5430: 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  0} {incr i} {.  
5440: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 49 4e 53      execsql {INS
5450: 45 52 54 20 49 4e 54 4f 20 74 31 30 20 56 41 4c  ERT INTO t10 VAL
5460: 55 45 53 28 31 2c 24 69 2c 24 69 29 7d 0a 20 20  UES(1,$i,$i)}.  
5470: 20 20 7d 0a 20 20 20 20 65 78 65 63 73 71 6c 20    }.    execsql 
5480: 7b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 49  {.      CREATE I
5490: 4e 44 45 58 20 69 31 30 20 4f 4e 20 74 31 30 28  NDEX i10 ON t10(
54a0: 61 2c 62 29 3b 0a 20 20 20 20 20 20 43 4f 4d 4d  a,b);.      COMM
54b0: 49 54 3b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  IT;.      SELECT
54c0: 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74   count(*) FROM t
54d0: 31 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 31 30  10;.    }.  } 10
54e0: 30 30 0a 20 20 69 66 63 61 70 61 62 6c 65 20 73  00.  ifcapable s
54f0: 75 62 71 75 65 72 79 20 7b 0a 20 20 20 20 64 6f  ubquery {.    do
5500: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 39 2e 32  _test where2-9.2
5510: 20 7b 0a 20 20 20 20 20 20 63 6f 75 6e 74 20 7b   {.      count {
5520: 0a 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20  .        SELECT 
5530: 2a 20 46 52 4f 4d 20 74 31 30 20 57 48 45 52 45  * FROM t10 WHERE
5540: 20 61 3d 31 20 41 4e 44 20 28 62 3d 32 20 4f 52   a=1 AND (b=2 OR
5550: 20 62 3d 33 29 0a 20 20 20 20 20 20 7d 0a 20 20   b=3).      }.  
5560: 20 20 7d 20 7b 31 20 32 20 32 20 31 20 33 20 33    } {1 2 2 1 3 3
5570: 20 37 7d 0a 20 20 7d 0a 7d 0a 0a 23 20 49 6e 64   7}.  }.}..# Ind
5580: 69 63 65 73 20 77 69 74 68 20 72 65 64 75 6e 64  ices with redund
5590: 61 6e 74 20 63 6f 6c 75 6d 6e 73 0a 23 0a 64 6f  ant columns.#.do
55a0: 5f 74 65 73 74 20 77 68 65 72 65 32 2d 31 31 2e  _test where2-11.
55b0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
55c0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
55d0: 20 74 31 31 28 61 2c 62 2c 63 2c 64 29 3b 0a 20   t11(a,b,c,d);. 
55e0: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
55f0: 69 31 31 61 62 61 20 4f 4e 20 74 31 31 28 61 2c  i11aba ON t11(a,
5600: 62 2c 61 2c 63 29 3b 20 2d 2d 20 63 6f 6c 75 6d  b,a,c); -- colum
5610: 6e 20 41 20 6f 63 63 75 72 73 20 74 77 69 63 65  n A occurs twice
5620: 2e 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ..    INSERT INT
5630: 4f 20 74 31 31 20 56 41 4c 55 45 53 28 31 2c 32  O t11 VALUES(1,2
5640: 2c 33 2c 34 29 3b 0a 20 20 20 20 49 4e 53 45 52  ,3,4);.    INSER
5650: 54 20 49 4e 54 4f 20 74 31 31 20 56 41 4c 55 45  T INTO t11 VALUE
5660: 53 28 35 2c 36 2c 37 2c 38 29 3b 0a 20 20 20 20  S(5,6,7,8);.    
5670: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 31 20  INSERT INTO t11 
5680: 56 41 4c 55 45 53 28 31 2c 32 2c 39 2c 31 30 29  VALUES(1,2,9,10)
5690: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
56a0: 4f 20 74 31 31 20 56 41 4c 55 45 53 28 35 2c 31  O t11 VALUES(5,1
56b0: 31 2c 31 32 2c 31 33 29 3b 0a 20 20 20 20 53 45  1,12,13);.    SE
56c0: 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 31 31 20  LECT c FROM t11 
56d0: 57 48 45 52 45 20 61 3d 31 20 41 4e 44 20 62 3d  WHERE a=1 AND b=
56e0: 32 20 4f 52 44 45 52 20 42 59 20 63 3b 0a 20 20  2 ORDER BY c;.  
56f0: 7d 0a 7d 20 7b 33 20 39 7d 0a 64 6f 5f 74 65 73  }.} {3 9}.do_tes
5700: 74 20 77 68 65 72 65 32 2d 31 31 2e 32 20 7b 0a  t where2-11.2 {.
5710: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
5720: 43 52 45 41 54 45 20 49 4e 44 45 58 20 69 31 31  CREATE INDEX i11
5730: 63 63 63 63 63 63 63 63 20 4f 4e 20 74 31 31 28  cccccccc ON t11(
5740: 63 2c 63 2c 63 2c 63 2c 63 2c 63 2c 63 2c 63 29  c,c,c,c,c,c,c,c)
5750: 3b 20 2d 2d 20 72 65 70 65 61 74 65 64 20 63 6f  ; -- repeated co
5760: 6c 75 6d 6e 0a 20 20 20 20 53 45 4c 45 43 54 20  lumn.    SELECT 
5770: 64 20 46 52 4f 4d 20 74 31 31 20 57 48 45 52 45  d FROM t11 WHERE
5780: 20 63 3d 39 3b 0a 20 20 7d 0a 7d 20 7b 31 30 7d   c=9;.  }.} {10}
5790: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 32 2d  .do_test where2-
57a0: 31 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  11.3 {.  execsql
57b0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 64 20   {.    SELECT d 
57c0: 46 52 4f 4d 20 74 31 31 20 57 48 45 52 45 20 63  FROM t11 WHERE c
57d0: 20 49 4e 20 28 31 2c 32 2c 33 2c 34 2c 35 29 3b   IN (1,2,3,4,5);
57e0: 0a 20 20 7d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65  .  }.} {4}.do_te
57f0: 73 74 20 77 68 65 72 65 32 2d 31 31 2e 34 20 7b  st where2-11.4 {
5800: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
5810: 20 53 45 4c 45 43 54 20 64 20 46 52 4f 4d 20 74   SELECT d FROM t
5820: 31 31 20 57 48 45 52 45 20 63 3d 37 20 4f 52 20  11 WHERE c=7 OR 
5830: 28 61 3d 31 20 41 4e 44 20 62 3d 32 29 20 4f 52  (a=1 AND b=2) OR
5840: 44 45 52 20 42 59 20 64 3b 0a 20 20 7d 0a 7d 20  DER BY d;.  }.} 
5850: 7b 34 20 38 20 31 30 7d 0a 0a 23 20 56 65 72 69  {4 8 10}..# Veri
5860: 66 79 20 74 68 61 74 20 74 68 65 20 4f 52 20 63  fy that the OR c
5870: 6c 61 75 73 65 20 69 73 20 75 73 65 64 20 69 6e  lause is used in
5880: 20 61 6e 20 6f 75 74 65 72 20 6c 6f 6f 70 20 65   an outer loop e
5890: 76 65 6e 20 77 68 65 6e 0a 23 20 74 68 65 20 4f  ven when.# the O
58a0: 52 20 63 6c 61 75 73 65 20 73 63 6f 72 65 73 20  R clause scores 
58b0: 73 6c 69 67 68 74 6c 79 20 62 65 74 74 65 72 20  slightly better 
58c0: 6f 6e 20 61 6e 20 69 6e 6e 65 72 20 6c 6f 6f 70  on an inner loop
58d0: 2e 0a 69 66 20 7b 5b 70 65 72 6d 75 74 61 74 69  ..if {[permutati
58e0: 6f 6e 5d 20 21 3d 20 22 6e 6f 5f 6f 70 74 69 6d  on] != "no_optim
58f0: 69 7a 61 74 69 6f 6e 22 7d 20 7b 0a 64 6f 5f 65  ization"} {.do_e
5900: 78 65 63 73 71 6c 5f 74 65 73 74 20 77 68 65 72  xecsql_test wher
5910: 65 32 2d 31 32 2e 31 20 7b 0a 20 20 43 52 45 41  e2-12.1 {.  CREA
5920: 54 45 20 54 41 42 4c 45 20 74 31 32 28 78 20 49  TE TABLE t12(x I
5930: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
5940: 45 59 2c 20 79 20 49 4e 54 2c 20 7a 20 43 48 41  EY, y INT, z CHA
5950: 52 28 31 30 30 29 29 3b 0a 20 20 43 52 45 41 54  R(100));.  CREAT
5960: 45 20 49 4e 44 45 58 20 74 31 32 79 20 4f 4e 20  E INDEX t12y ON 
5970: 74 31 32 28 79 29 3b 0a 20 20 45 58 50 4c 41 49  t12(y);.  EXPLAI
5980: 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 20  N QUERY PLAN.   
5990: 20 53 45 4c 45 43 54 20 61 2e 78 2c 20 62 2e 78   SELECT a.x, b.x
59a0: 0a 20 20 20 20 20 20 46 52 4f 4d 20 74 31 32 20  .      FROM t12 
59b0: 41 53 20 61 20 4a 4f 49 4e 20 74 31 32 20 41 53  AS a JOIN t12 AS
59c0: 20 62 20 4f 4e 20 61 2e 79 3d 62 2e 78 0a 20 20   b ON a.y=b.x.  
59d0: 20 20 20 57 48 45 52 45 20 28 62 2e 78 3d 24 61     WHERE (b.x=$a
59e0: 62 63 20 4f 52 20 62 2e 79 3d 24 61 62 63 29 3b  bc OR b.y=$abc);
59f0: 0a 7d 20 7b 2f 2e 2a 53 45 41 52 43 48 20 54 41  .} {/.*SEARCH TA
5a00: 42 4c 45 20 74 31 32 20 41 53 20 62 20 2e 2a 53  BLE t12 AS b .*S
5a10: 45 41 52 43 48 20 54 41 42 4c 45 20 74 31 32 20  EARCH TABLE t12 
5a20: 41 53 20 62 20 2e 2a 2f 7d 0a 7d 0a 0a 23 20 56  AS b .*/}.}..# V
5a30: 65 72 69 66 79 20 74 68 61 74 20 61 6c 6c 20 6e  erify that all n
5a40: 65 63 65 73 73 61 72 79 20 4f 50 5f 4f 70 65 6e  ecessary OP_Open
5a50: 52 65 61 64 20 6f 70 63 6f 64 65 73 20 6f 63 63  Read opcodes occ
5a60: 75 72 20 69 6e 20 74 68 65 20 4f 52 20 6f 70 74  ur in the OR opt
5a70: 69 6d 69 7a 61 74 69 6f 6e 2e 0a 23 0a 64 6f 5f  imization..#.do_
5a80: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 77 68 65  execsql_test whe
5a90: 72 65 32 2d 31 33 2e 31 20 7b 0a 20 20 43 52 45  re2-13.1 {.  CRE
5aa0: 41 54 45 20 54 41 42 4c 45 20 74 31 33 28 61 2c  ATE TABLE t13(a,
5ab0: 62 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44  b);.  CREATE IND
5ac0: 45 58 20 74 31 33 61 20 4f 4e 20 74 31 33 28 61  EX t13a ON t13(a
5ad0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
5ae0: 20 74 31 33 20 56 41 4c 55 45 53 28 34 2c 35 29   t13 VALUES(4,5)
5af0: 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  ;.  SELECT * FRO
5b00: 4d 20 74 31 33 20 57 48 45 52 45 20 28 31 3d 32  M t13 WHERE (1=2
5b10: 20 41 4e 44 20 61 3d 33 29 20 4f 52 20 61 3d 34   AND a=3) OR a=4
5b20: 3b 0a 7d 20 7b 34 20 35 7d 0a 0a 66 69 6e 69 73  ;.} {4 5}..finis
5b30: 68 5f 74 65 73 74 0a                             h_test.