/ Hex Artifact Content
Login

Artifact 292d3ac90da4eab1e03ac8452f1add746bcafaa1:


0000: 2f 2a 0a 2a 2a 20 32 30 31 33 2d 31 31 2d 31 32  /*.** 2013-11-12
0010: 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 75 74 68 6f  .**.** The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 2a 2a 20 61 20 6c 65 67  lace of.** a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 2a  is a blessing:.*
0080: 2a 0a 2a 2a 20 20 20 20 4d 61 79 20 79 6f 75 20  *.**    May you 
0090: 64 6f 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20  do good and not 
00a0: 65 76 69 6c 2e 0a 2a 2a 20 20 20 20 4d 61 79 20  evil..**    May 
00b0: 79 6f 75 20 66 69 6e 64 20 66 6f 72 67 69 76 65  you find forgive
00c0: 6e 65 73 73 20 66 6f 72 20 79 6f 75 72 73 65 6c  ness for yoursel
00d0: 66 20 61 6e 64 20 66 6f 72 67 69 76 65 20 6f 74  f and forgive ot
00e0: 68 65 72 73 2e 0a 2a 2a 20 20 20 20 4d 61 79 20  hers..**    May 
00f0: 79 6f 75 20 73 68 61 72 65 20 66 72 65 65 6c 79  you share freely
0100: 2c 20 6e 65 76 65 72 20 74 61 6b 69 6e 67 20 6d  , never taking m
0110: 6f 72 65 20 74 68 61 6e 20 79 6f 75 20 67 69 76  ore than you giv
0120: 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  e..**.**********
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a  ***************.
0170: 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 20  **.** This file 
0180: 63 6f 6e 74 61 69 6e 73 20 73 74 72 75 63 74 75  contains structu
0190: 72 65 20 61 6e 64 20 6d 61 63 72 6f 20 64 65 66  re and macro def
01a0: 69 6e 69 74 69 6f 6e 73 20 66 6f 72 20 74 68 65  initions for the
01b0: 20 71 75 65 72 79 0a 2a 2a 20 70 6c 61 6e 6e 65   query.** planne
01c0: 72 20 6c 6f 67 69 63 20 69 6e 20 22 77 68 65 72  r logic in "wher
01d0: 65 2e 63 22 2e 20 20 54 68 65 73 65 20 64 65 66  e.c".  These def
01e0: 69 6e 69 74 69 6f 6e 73 20 61 72 65 20 62 72 6f  initions are bro
01f0: 6b 65 6e 20 6f 75 74 20 69 6e 74 6f 0a 2a 2a 20  ken out into.** 
0200: 61 20 73 65 70 61 72 61 74 65 20 73 6f 75 72 63  a separate sourc
0210: 65 20 66 69 6c 65 20 66 6f 72 20 65 61 73 69 65  e file for easie
0220: 72 20 65 64 69 74 69 6e 67 2e 0a 2a 2f 0a 0a 2f  r editing..*/../
0230: 2a 0a 2a 2a 20 54 72 61 63 65 20 6f 75 74 70 75  *.** Trace outpu
0240: 74 20 6d 61 63 72 6f 73 0a 2a 2f 0a 23 69 66 20  t macros.*/.#if 
0250: 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 54  defined(SQLITE_T
0260: 45 53 54 29 20 7c 7c 20 64 65 66 69 6e 65 64 28  EST) || defined(
0270: 53 51 4c 49 54 45 5f 44 45 42 55 47 29 0a 2f 2a  SQLITE_DEBUG)./*
0280: 2a 2a 2f 20 69 6e 74 20 73 71 6c 69 74 65 33 57  **/ int sqlite3W
0290: 68 65 72 65 54 72 61 63 65 3b 0a 23 65 6e 64 69  hereTrace;.#endi
02a0: 66 0a 23 69 66 20 64 65 66 69 6e 65 64 28 53 51  f.#if defined(SQ
02b0: 4c 49 54 45 5f 44 45 42 55 47 29 20 5c 0a 20 20  LITE_DEBUG) \.  
02c0: 20 20 26 26 20 28 64 65 66 69 6e 65 64 28 53 51    && (defined(SQ
02d0: 4c 49 54 45 5f 54 45 53 54 29 20 7c 7c 20 64 65  LITE_TEST) || de
02e0: 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 45 4e 41  fined(SQLITE_ENA
02f0: 42 4c 45 5f 57 48 45 52 45 54 52 41 43 45 29 29  BLE_WHERETRACE))
0300: 0a 23 20 64 65 66 69 6e 65 20 57 48 45 52 45 54  .# define WHERET
0310: 52 41 43 45 28 4b 2c 58 29 20 20 69 66 28 73 71  RACE(K,X)  if(sq
0320: 6c 69 74 65 33 57 68 65 72 65 54 72 61 63 65 26  lite3WhereTrace&
0330: 28 4b 29 29 20 73 71 6c 69 74 65 33 44 65 62 75  (K)) sqlite3Debu
0340: 67 50 72 69 6e 74 66 20 58 0a 23 20 64 65 66 69  gPrintf X.# defi
0350: 6e 65 20 57 48 45 52 45 54 52 41 43 45 5f 45 4e  ne WHERETRACE_EN
0360: 41 42 4c 45 44 20 31 0a 23 65 6c 73 65 0a 23 20  ABLED 1.#else.# 
0370: 64 65 66 69 6e 65 20 57 48 45 52 45 54 52 41 43  define WHERETRAC
0380: 45 28 4b 2c 58 29 0a 23 65 6e 64 69 66 0a 0a 2f  E(K,X).#endif../
0390: 2a 20 46 6f 72 77 61 72 64 20 72 65 66 65 72 65  * Forward refere
03a0: 6e 63 65 73 0a 2a 2f 0a 74 79 70 65 64 65 66 20  nces.*/.typedef 
03b0: 73 74 72 75 63 74 20 57 68 65 72 65 43 6c 61 75  struct WhereClau
03c0: 73 65 20 57 68 65 72 65 43 6c 61 75 73 65 3b 0a  se WhereClause;.
03d0: 74 79 70 65 64 65 66 20 73 74 72 75 63 74 20 57  typedef struct W
03e0: 68 65 72 65 4d 61 73 6b 53 65 74 20 57 68 65 72  hereMaskSet Wher
03f0: 65 4d 61 73 6b 53 65 74 3b 0a 74 79 70 65 64 65  eMaskSet;.typede
0400: 66 20 73 74 72 75 63 74 20 57 68 65 72 65 4f 72  f struct WhereOr
0410: 49 6e 66 6f 20 57 68 65 72 65 4f 72 49 6e 66 6f  Info WhereOrInfo
0420: 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75 63 74  ;.typedef struct
0430: 20 57 68 65 72 65 41 6e 64 49 6e 66 6f 20 57 68   WhereAndInfo Wh
0440: 65 72 65 41 6e 64 49 6e 66 6f 3b 0a 74 79 70 65  ereAndInfo;.type
0450: 64 65 66 20 73 74 72 75 63 74 20 57 68 65 72 65  def struct Where
0460: 4c 65 76 65 6c 20 57 68 65 72 65 4c 65 76 65 6c  Level WhereLevel
0470: 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75 63 74  ;.typedef struct
0480: 20 57 68 65 72 65 4c 6f 6f 70 20 57 68 65 72 65   WhereLoop Where
0490: 4c 6f 6f 70 3b 0a 74 79 70 65 64 65 66 20 73 74  Loop;.typedef st
04a0: 72 75 63 74 20 57 68 65 72 65 50 61 74 68 20 57  ruct WherePath W
04b0: 68 65 72 65 50 61 74 68 3b 0a 74 79 70 65 64 65  herePath;.typede
04c0: 66 20 73 74 72 75 63 74 20 57 68 65 72 65 54 65  f struct WhereTe
04d0: 72 6d 20 57 68 65 72 65 54 65 72 6d 3b 0a 74 79  rm WhereTerm;.ty
04e0: 70 65 64 65 66 20 73 74 72 75 63 74 20 57 68 65  pedef struct Whe
04f0: 72 65 4c 6f 6f 70 42 75 69 6c 64 65 72 20 57 68  reLoopBuilder Wh
0500: 65 72 65 4c 6f 6f 70 42 75 69 6c 64 65 72 3b 0a  ereLoopBuilder;.
0510: 74 79 70 65 64 65 66 20 73 74 72 75 63 74 20 57  typedef struct W
0520: 68 65 72 65 53 63 61 6e 20 57 68 65 72 65 53 63  hereScan WhereSc
0530: 61 6e 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75  an;.typedef stru
0540: 63 74 20 57 68 65 72 65 4f 72 43 6f 73 74 20 57  ct WhereOrCost W
0550: 68 65 72 65 4f 72 43 6f 73 74 3b 0a 74 79 70 65  hereOrCost;.type
0560: 64 65 66 20 73 74 72 75 63 74 20 57 68 65 72 65  def struct Where
0570: 4f 72 53 65 74 20 57 68 65 72 65 4f 72 53 65 74  OrSet WhereOrSet
0580: 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 6f 62  ;../*.** This ob
0590: 6a 65 63 74 20 63 6f 6e 74 61 69 6e 73 20 69 6e  ject contains in
05a0: 66 6f 72 6d 61 74 69 6f 6e 20 6e 65 65 64 65 64  formation needed
05b0: 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 20 61 20   to implement a 
05c0: 73 69 6e 67 6c 65 20 6e 65 73 74 65 64 0a 2a 2a  single nested.**
05d0: 20 6c 6f 6f 70 20 69 6e 20 57 48 45 52 45 20 63   loop in WHERE c
05e0: 6c 61 75 73 65 2e 0a 2a 2a 0a 2a 2a 20 43 6f 6e  lause..**.** Con
05f0: 74 72 61 73 74 20 74 68 69 73 20 6f 62 6a 65 63  trast this objec
0600: 74 20 77 69 74 68 20 57 68 65 72 65 4c 6f 6f 70  t with WhereLoop
0610: 2e 20 20 54 68 69 73 20 6f 62 6a 65 63 74 20 64  .  This object d
0620: 65 73 63 72 69 62 65 73 20 74 68 65 0a 2a 2a 20  escribes the.** 
0630: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 6f  implementation o
0640: 66 20 74 68 65 20 6c 6f 6f 70 2e 20 20 57 68 65  f the loop.  Whe
0650: 72 65 4c 6f 6f 70 20 64 65 73 63 72 69 62 65 73  reLoop describes
0660: 20 74 68 65 20 61 6c 67 6f 72 69 74 68 6d 2e 0a   the algorithm..
0670: 2a 2a 20 54 68 69 73 20 6f 62 6a 65 63 74 20 63  ** This object c
0680: 6f 6e 74 61 69 6e 73 20 61 20 70 6f 69 6e 74 65  ontains a pointe
0690: 72 20 74 6f 20 74 68 65 20 57 68 65 72 65 4c 6f  r to the WhereLo
06a0: 6f 70 20 61 6c 67 6f 72 69 74 68 6d 20 61 73 20  op algorithm as 
06b0: 6f 6e 65 20 6f 66 0a 2a 2a 20 69 74 73 20 65 6c  one of.** its el
06c0: 65 6d 65 6e 74 73 2e 0a 2a 2a 0a 2a 2a 20 54 68  ements..**.** Th
06d0: 65 20 57 68 65 72 65 49 6e 66 6f 20 6f 62 6a 65  e WhereInfo obje
06e0: 63 74 20 63 6f 6e 74 61 69 6e 73 20 61 20 73 69  ct contains a si
06f0: 6e 67 6c 65 20 69 6e 73 74 61 6e 63 65 20 6f 66  ngle instance of
0700: 20 74 68 69 73 20 6f 62 6a 65 63 74 20 66 6f 72   this object for
0710: 0a 2a 2a 20 65 61 63 68 20 74 65 72 6d 20 69 6e  .** each term in
0720: 20 74 68 65 20 46 52 4f 4d 20 63 6c 61 75 73 65   the FROM clause
0730: 20 28 77 68 69 63 68 20 69 73 20 74 6f 20 73 61   (which is to sa
0740: 79 2c 20 66 6f 72 20 65 61 63 68 20 6f 66 20 74  y, for each of t
0750: 68 65 0a 2a 2a 20 6e 65 73 74 65 64 20 6c 6f 6f  he.** nested loo
0760: 70 73 20 61 73 20 69 6d 70 6c 65 6d 65 6e 74 65  ps as implemente
0770: 64 29 2e 20 20 54 68 65 20 6f 72 64 65 72 20 6f  d).  The order o
0780: 66 20 57 68 65 72 65 4c 65 76 65 6c 20 6f 62 6a  f WhereLevel obj
0790: 65 63 74 73 20 64 65 74 65 72 6d 69 6e 65 73 0a  ects determines.
07a0: 2a 2a 20 74 68 65 20 6c 6f 6f 70 20 6e 65 73 74  ** the loop nest
07b0: 65 64 20 6f 72 64 65 72 2c 20 77 69 74 68 20 57  ed order, with W
07c0: 68 65 72 65 49 6e 66 6f 2e 61 5b 30 5d 20 62 65  hereInfo.a[0] be
07d0: 69 6e 67 20 74 68 65 20 6f 75 74 65 72 20 6c 6f  ing the outer lo
07e0: 6f 70 20 61 6e 64 0a 2a 2a 20 57 68 65 72 65 49  op and.** WhereI
07f0: 6e 66 6f 2e 61 5b 57 68 65 72 65 49 6e 66 6f 2e  nfo.a[WhereInfo.
0800: 6e 4c 65 76 65 6c 2d 31 5d 20 62 65 69 6e 67 20  nLevel-1] being 
0810: 74 68 65 20 69 6e 6e 65 72 20 6c 6f 6f 70 2e 0a  the inner loop..
0820: 2a 2f 0a 73 74 72 75 63 74 20 57 68 65 72 65 4c  */.struct WhereL
0830: 65 76 65 6c 20 7b 0a 20 20 69 6e 74 20 69 4c 65  evel {.  int iLe
0840: 66 74 4a 6f 69 6e 3b 20 20 20 20 20 20 20 20 2f  ftJoin;        /
0850: 2a 20 4d 65 6d 6f 72 79 20 63 65 6c 6c 20 75 73  * Memory cell us
0860: 65 64 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 20  ed to implement 
0870: 4c 45 46 54 20 4f 55 54 45 52 20 4a 4f 49 4e 20  LEFT OUTER JOIN 
0880: 2a 2f 0a 20 20 69 6e 74 20 69 54 61 62 43 75 72  */.  int iTabCur
0890: 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68  ;          /* Th
08a0: 65 20 56 44 42 45 20 63 75 72 73 6f 72 20 75 73  e VDBE cursor us
08b0: 65 64 20 74 6f 20 61 63 63 65 73 73 20 74 68 65  ed to access the
08c0: 20 74 61 62 6c 65 20 2a 2f 0a 20 20 69 6e 74 20   table */.  int 
08d0: 69 49 64 78 43 75 72 3b 20 20 20 20 20 20 20 20  iIdxCur;        
08e0: 20 20 2f 2a 20 54 68 65 20 56 44 42 45 20 63 75    /* The VDBE cu
08f0: 72 73 6f 72 20 75 73 65 64 20 74 6f 20 61 63 63  rsor used to acc
0900: 65 73 73 20 70 49 64 78 20 2a 2f 0a 20 20 69 6e  ess pIdx */.  in
0910: 74 20 61 64 64 72 42 72 6b 3b 20 20 20 20 20 20  t addrBrk;      
0920: 20 20 20 20 2f 2a 20 4a 75 6d 70 20 68 65 72 65      /* Jump here
0930: 20 74 6f 20 62 72 65 61 6b 20 6f 75 74 20 6f 66   to break out of
0940: 20 74 68 65 20 6c 6f 6f 70 20 2a 2f 0a 20 20 69   the loop */.  i
0950: 6e 74 20 61 64 64 72 4e 78 74 3b 20 20 20 20 20  nt addrNxt;     
0960: 20 20 20 20 20 2f 2a 20 4a 75 6d 70 20 68 65 72       /* Jump her
0970: 65 20 74 6f 20 73 74 61 72 74 20 74 68 65 20 6e  e to start the n
0980: 65 78 74 20 49 4e 20 63 6f 6d 62 69 6e 61 74 69  ext IN combinati
0990: 6f 6e 20 2a 2f 0a 20 20 69 6e 74 20 61 64 64 72  on */.  int addr
09a0: 53 6b 69 70 3b 20 20 20 20 20 20 20 20 20 2f 2a  Skip;         /*
09b0: 20 4a 75 6d 70 20 68 65 72 65 20 66 6f 72 20 6e   Jump here for n
09c0: 65 78 74 20 69 74 65 72 61 74 69 6f 6e 20 6f 66  ext iteration of
09d0: 20 73 6b 69 70 2d 73 63 61 6e 20 2a 2f 0a 20 20   skip-scan */.  
09e0: 69 6e 74 20 61 64 64 72 43 6f 6e 74 3b 20 20 20  int addrCont;   
09f0: 20 20 20 20 20 20 2f 2a 20 4a 75 6d 70 20 68 65        /* Jump he
0a00: 72 65 20 74 6f 20 63 6f 6e 74 69 6e 75 65 20 77  re to continue w
0a10: 69 74 68 20 74 68 65 20 6e 65 78 74 20 6c 6f 6f  ith the next loo
0a20: 70 20 63 79 63 6c 65 20 2a 2f 0a 20 20 69 6e 74  p cycle */.  int
0a30: 20 61 64 64 72 46 69 72 73 74 3b 20 20 20 20 20   addrFirst;     
0a40: 20 20 20 2f 2a 20 46 69 72 73 74 20 69 6e 73 74     /* First inst
0a50: 72 75 63 74 69 6f 6e 20 6f 66 20 69 6e 74 65 72  ruction of inter
0a60: 69 6f 72 20 6f 66 20 74 68 65 20 6c 6f 6f 70 20  ior of the loop 
0a70: 2a 2f 0a 20 20 69 6e 74 20 61 64 64 72 42 6f 64  */.  int addrBod
0a80: 79 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 42 65  y;         /* Be
0a90: 67 69 6e 6e 69 6e 67 20 6f 66 20 74 68 65 20 62  ginning of the b
0aa0: 6f 64 79 20 6f 66 20 74 68 69 73 20 6c 6f 6f 70  ody of this loop
0ab0: 20 2a 2f 0a 20 20 69 6e 74 20 69 4c 69 6b 65 52   */.  int iLikeR
0ac0: 65 70 43 6e 74 72 3b 20 20 20 20 20 2f 2a 20 4c  epCntr;     /* L
0ad0: 49 4b 45 20 72 61 6e 67 65 20 70 72 6f 63 65 73  IKE range proces
0ae0: 73 69 6e 67 20 63 6f 75 6e 74 65 72 20 72 65 67  sing counter reg
0af0: 69 73 74 65 72 20 2a 2f 0a 20 20 69 6e 74 20 61  ister */.  int a
0b00: 64 64 72 4c 69 6b 65 52 65 70 3b 20 20 20 20 20  ddrLikeRep;     
0b10: 20 2f 2a 20 4c 49 4b 45 20 72 61 6e 67 65 20 70   /* LIKE range p
0b20: 72 6f 63 65 73 73 69 6e 67 20 61 64 64 72 65 73  rocessing addres
0b30: 73 20 2a 2f 0a 20 20 75 38 20 69 46 72 6f 6d 3b  s */.  u8 iFrom;
0b40: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
0b50: 57 68 69 63 68 20 65 6e 74 72 79 20 69 6e 20 74  Which entry in t
0b60: 68 65 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 2a  he FROM clause *
0b70: 2f 0a 20 20 75 38 20 6f 70 2c 20 70 33 2c 20 70  /.  u8 op, p3, p
0b80: 35 3b 20 20 20 20 20 20 20 20 2f 2a 20 4f 70 63  5;        /* Opc
0b90: 6f 64 65 2c 20 50 33 20 26 20 50 35 20 6f 66 20  ode, P3 & P5 of 
0ba0: 74 68 65 20 6f 70 63 6f 64 65 20 74 68 61 74 20  the opcode that 
0bb0: 65 6e 64 73 20 74 68 65 20 6c 6f 6f 70 20 2a 2f  ends the loop */
0bc0: 0a 20 20 69 6e 74 20 70 31 2c 20 70 32 3b 20 20  .  int p1, p2;  
0bd0: 20 20 20 20 20 20 20 20 20 2f 2a 20 4f 70 65 72           /* Oper
0be0: 61 6e 64 73 20 6f 66 20 74 68 65 20 6f 70 63 6f  ands of the opco
0bf0: 64 65 20 75 73 65 64 20 74 6f 20 65 6e 64 73 20  de used to ends 
0c00: 74 68 65 20 6c 6f 6f 70 20 2a 2f 0a 20 20 75 6e  the loop */.  un
0c10: 69 6f 6e 20 7b 20 20 20 20 20 20 20 20 20 20 20  ion {           
0c20: 20 20 20 20 2f 2a 20 49 6e 66 6f 72 6d 61 74 69      /* Informati
0c30: 6f 6e 20 74 68 61 74 20 64 65 70 65 6e 64 73 20  on that depends 
0c40: 6f 6e 20 70 57 4c 6f 6f 70 2d 3e 77 73 46 6c 61  on pWLoop->wsFla
0c50: 67 73 20 2a 2f 0a 20 20 20 20 73 74 72 75 63 74  gs */.    struct
0c60: 20 7b 0a 20 20 20 20 20 20 69 6e 74 20 6e 49 6e   {.      int nIn
0c70: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  ;              /
0c80: 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65 6e 74 72  * Number of entr
0c90: 69 65 73 20 69 6e 20 61 49 6e 4c 6f 6f 70 5b 5d  ies in aInLoop[]
0ca0: 20 2a 2f 0a 20 20 20 20 20 20 73 74 72 75 63 74   */.      struct
0cb0: 20 49 6e 4c 6f 6f 70 20 7b 0a 20 20 20 20 20 20   InLoop {.      
0cc0: 20 20 69 6e 74 20 69 43 75 72 3b 20 20 20 20 20    int iCur;     
0cd0: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 65 20           /* The 
0ce0: 56 44 42 45 20 63 75 72 73 6f 72 20 75 73 65 64  VDBE cursor used
0cf0: 20 62 79 20 74 68 69 73 20 49 4e 20 6f 70 65 72   by this IN oper
0d00: 61 74 6f 72 20 2a 2f 0a 20 20 20 20 20 20 20 20  ator */.        
0d10: 69 6e 74 20 61 64 64 72 49 6e 54 6f 70 3b 20 20  int addrInTop;  
0d20: 20 20 20 20 20 20 20 2f 2a 20 54 6f 70 20 6f 66         /* Top of
0d30: 20 74 68 65 20 49 4e 20 6c 6f 6f 70 20 2a 2f 0a   the IN loop */.
0d40: 20 20 20 20 20 20 20 20 75 38 20 65 45 6e 64 4c          u8 eEndL
0d50: 6f 6f 70 4f 70 3b 20 20 20 20 20 20 20 20 20 2f  oopOp;         /
0d60: 2a 20 49 4e 20 4c 6f 6f 70 20 74 65 72 6d 69 6e  * IN Loop termin
0d70: 61 74 6f 72 2e 20 4f 50 5f 4e 65 78 74 20 6f 72  ator. OP_Next or
0d80: 20 4f 50 5f 50 72 65 76 20 2a 2f 0a 20 20 20 20   OP_Prev */.    
0d90: 20 20 7d 20 2a 61 49 6e 4c 6f 6f 70 3b 20 20 20    } *aInLoop;   
0da0: 20 20 20 20 20 20 20 20 2f 2a 20 49 6e 66 6f 72          /* Infor
0db0: 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 65 61 63  mation about eac
0dc0: 68 20 6e 65 73 74 65 64 20 49 4e 20 6f 70 65 72  h nested IN oper
0dd0: 61 74 6f 72 20 2a 2f 0a 20 20 20 20 7d 20 69 6e  ator */.    } in
0de0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0df0: 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20 70    /* Used when p
0e00: 57 4c 6f 6f 70 2d 3e 77 73 46 6c 61 67 73 26 57  WLoop->wsFlags&W
0e10: 48 45 52 45 5f 49 4e 5f 41 42 4c 45 20 2a 2f 0a  HERE_IN_ABLE */.
0e20: 20 20 20 20 49 6e 64 65 78 20 2a 70 43 6f 76 69      Index *pCovi
0e30: 64 78 3b 20 20 20 20 20 20 20 2f 2a 20 50 6f 73  dx;       /* Pos
0e40: 73 69 62 6c 65 20 63 6f 76 65 72 69 6e 67 20 69  sible covering i
0e50: 6e 64 65 78 20 66 6f 72 20 57 48 45 52 45 5f 4d  ndex for WHERE_M
0e60: 55 4c 54 49 5f 4f 52 20 2a 2f 0a 20 20 7d 20 75  ULTI_OR */.  } u
0e70: 3b 0a 20 20 73 74 72 75 63 74 20 57 68 65 72 65  ;.  struct Where
0e80: 4c 6f 6f 70 20 2a 70 57 4c 6f 6f 70 3b 20 20 2f  Loop *pWLoop;  /
0e90: 2a 20 54 68 65 20 73 65 6c 65 63 74 65 64 20 57  * The selected W
0ea0: 68 65 72 65 4c 6f 6f 70 20 6f 62 6a 65 63 74 20  hereLoop object 
0eb0: 2a 2f 0a 20 20 42 69 74 6d 61 73 6b 20 6e 6f 74  */.  Bitmask not
0ec0: 52 65 61 64 79 3b 20 20 20 20 20 20 20 20 20 20  Ready;          
0ed0: 2f 2a 20 46 52 4f 4d 20 65 6e 74 72 69 65 73 20  /* FROM entries 
0ee0: 6e 6f 74 20 75 73 61 62 6c 65 20 61 74 20 74 68  not usable at th
0ef0: 69 73 20 6c 65 76 65 6c 20 2a 2f 0a 23 69 66 64  is level */.#ifd
0f00: 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  ef SQLITE_ENABLE
0f10: 5f 53 54 4d 54 5f 53 43 41 4e 53 54 41 54 55 53  _STMT_SCANSTATUS
0f20: 0a 20 20 69 6e 74 20 61 64 64 72 56 69 73 69 74  .  int addrVisit
0f30: 3b 20 20 20 20 20 20 20 20 2f 2a 20 41 64 64 72  ;        /* Addr
0f40: 65 73 73 20 61 74 20 77 68 69 63 68 20 72 6f 77  ess at which row
0f50: 20 69 73 20 76 69 73 69 74 65 64 20 2a 2f 0a 23   is visited */.#
0f60: 65 6e 64 69 66 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20  endif.};../*.** 
0f70: 45 61 63 68 20 69 6e 73 74 61 6e 63 65 20 6f 66  Each instance of
0f80: 20 74 68 69 73 20 6f 62 6a 65 63 74 20 72 65 70   this object rep
0f90: 72 65 73 65 6e 74 73 20 61 6e 20 61 6c 67 6f 72  resents an algor
0fa0: 69 74 68 6d 20 66 6f 72 20 65 76 61 6c 75 61 74  ithm for evaluat
0fb0: 69 6e 67 20 6f 6e 65 0a 2a 2a 20 74 65 72 6d 20  ing one.** term 
0fc0: 6f 66 20 61 20 6a 6f 69 6e 2e 20 20 45 76 65 72  of a join.  Ever
0fd0: 79 20 74 65 72 6d 20 6f 66 20 74 68 65 20 46 52  y term of the FR
0fe0: 4f 4d 20 63 6c 61 75 73 65 20 77 69 6c 6c 20 68  OM clause will h
0ff0: 61 76 65 20 61 74 20 6c 65 61 73 74 0a 2a 2a 20  ave at least.** 
1000: 6f 6e 65 20 63 6f 72 72 65 73 70 6f 6e 64 69 6e  one correspondin
1010: 67 20 57 68 65 72 65 4c 6f 6f 70 20 6f 62 6a 65  g WhereLoop obje
1020: 63 74 20 28 75 6e 6c 65 73 73 20 49 4e 44 45 58  ct (unless INDEX
1030: 45 44 20 42 59 20 63 6f 6e 73 74 72 61 69 6e 74  ED BY constraint
1040: 73 0a 2a 2a 20 70 72 65 76 65 6e 74 20 61 20 71  s.** prevent a q
1050: 75 65 72 79 20 73 6f 6c 75 74 69 6f 6e 20 2d 20  uery solution - 
1060: 77 68 69 63 68 20 69 73 20 61 6e 20 65 72 72 6f  which is an erro
1070: 72 29 20 61 6e 64 20 6d 61 6e 79 20 74 65 72 6d  r) and many term
1080: 73 20 6f 66 20 74 68 65 0a 2a 2a 20 46 52 4f 4d  s of the.** FROM
1090: 20 63 6c 61 75 73 65 20 77 69 6c 6c 20 68 61 76   clause will hav
10a0: 65 20 6d 75 6c 74 69 70 6c 65 20 57 68 65 72 65  e multiple Where
10b0: 4c 6f 6f 70 20 6f 62 6a 65 63 74 73 2c 20 65 61  Loop objects, ea
10c0: 63 68 20 64 65 73 63 72 69 62 69 6e 67 20 61 0a  ch describing a.
10d0: 2a 2a 20 70 6f 74 65 6e 74 69 61 6c 20 77 61 79  ** potential way
10e0: 20 6f 66 20 69 6d 70 6c 65 6d 65 6e 74 69 6e 67   of implementing
10f0: 20 74 68 61 74 20 46 52 4f 4d 2d 63 6c 61 75 73   that FROM-claus
1100: 65 20 74 65 72 6d 2c 20 74 6f 67 65 74 68 65 72  e term, together
1110: 20 77 69 74 68 0a 2a 2a 20 64 65 70 65 6e 64 65   with.** depende
1120: 6e 63 69 65 73 20 61 6e 64 20 63 6f 73 74 20 65  ncies and cost e
1130: 73 74 69 6d 61 74 65 73 20 66 6f 72 20 75 73 69  stimates for usi
1140: 6e 67 20 74 68 65 20 63 68 6f 73 65 6e 20 61 6c  ng the chosen al
1150: 67 6f 72 69 74 68 6d 2e 0a 2a 2a 0a 2a 2a 20 51  gorithm..**.** Q
1160: 75 65 72 79 20 70 6c 61 6e 6e 69 6e 67 20 63 6f  uery planning co
1170: 6e 73 69 73 74 73 20 6f 66 20 62 75 69 6c 64 69  nsists of buildi
1180: 6e 67 20 75 70 20 61 20 63 6f 6c 6c 65 63 74 69  ng up a collecti
1190: 6f 6e 20 6f 66 20 74 68 65 73 65 20 57 68 65 72  on of these Wher
11a0: 65 4c 6f 6f 70 0a 2a 2a 20 6f 62 6a 65 63 74 73  eLoop.** objects
11b0: 2c 20 74 68 65 6e 20 63 6f 6d 70 75 74 69 6e 67  , then computing
11c0: 20 61 20 70 61 72 74 69 63 75 6c 61 72 20 73 65   a particular se
11d0: 71 75 65 6e 63 65 20 6f 66 20 57 68 65 72 65 4c  quence of WhereL
11e0: 6f 6f 70 20 6f 62 6a 65 63 74 73 2c 20 77 69 74  oop objects, wit
11f0: 68 0a 2a 2a 20 6f 6e 65 20 57 68 65 72 65 4c 6f  h.** one WhereLo
1200: 6f 70 20 6f 62 6a 65 63 74 20 70 65 72 20 46 52  op object per FR
1210: 4f 4d 20 63 6c 61 75 73 65 20 74 65 72 6d 2c 20  OM clause term, 
1220: 74 68 61 74 20 73 61 74 69 73 66 79 20 61 6c 6c  that satisfy all
1230: 20 64 65 70 65 6e 64 65 6e 63 69 65 73 0a 2a 2a   dependencies.**
1240: 20 61 6e 64 20 74 68 61 74 20 6d 69 6e 69 6d 69   and that minimi
1250: 7a 65 20 74 68 65 20 6f 76 65 72 61 6c 6c 20 63  ze the overall c
1260: 6f 73 74 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 57  ost..*/.struct W
1270: 68 65 72 65 4c 6f 6f 70 20 7b 0a 20 20 42 69 74  hereLoop {.  Bit
1280: 6d 61 73 6b 20 70 72 65 72 65 71 3b 20 20 20 20  mask prereq;    
1290: 20 20 20 2f 2a 20 42 69 74 6d 61 73 6b 20 6f 66     /* Bitmask of
12a0: 20 6f 74 68 65 72 20 6c 6f 6f 70 73 20 74 68 61   other loops tha
12b0: 74 20 6d 75 73 74 20 72 75 6e 20 66 69 72 73 74  t must run first
12c0: 20 2a 2f 0a 20 20 42 69 74 6d 61 73 6b 20 6d 61   */.  Bitmask ma
12d0: 73 6b 53 65 6c 66 3b 20 20 20 20 20 2f 2a 20 42  skSelf;     /* B
12e0: 69 74 6d 61 73 6b 20 69 64 65 6e 74 69 66 79 69  itmask identifyi
12f0: 6e 67 20 74 61 62 6c 65 20 69 54 61 62 20 2a 2f  ng table iTab */
1300: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
1310: 45 42 55 47 0a 20 20 63 68 61 72 20 63 49 64 3b  EBUG.  char cId;
1320: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
1330: 53 79 6d 62 6f 6c 69 63 20 49 44 20 6f 66 20 74  Symbolic ID of t
1340: 68 69 73 20 6c 6f 6f 70 20 66 6f 72 20 64 65 62  his loop for deb
1350: 75 67 67 69 6e 67 20 75 73 65 20 2a 2f 0a 23 65  ugging use */.#e
1360: 6e 64 69 66 0a 20 20 75 38 20 69 54 61 62 3b 20  ndif.  u8 iTab; 
1370: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
1380: 50 6f 73 69 74 69 6f 6e 20 69 6e 20 46 52 4f 4d  Position in FROM
1390: 20 63 6c 61 75 73 65 20 6f 66 20 74 61 62 6c 65   clause of table
13a0: 20 66 6f 72 20 74 68 69 73 20 6c 6f 6f 70 20 2a   for this loop *
13b0: 2f 0a 20 20 75 38 20 69 53 6f 72 74 49 64 78 3b  /.  u8 iSortIdx;
13c0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 53 6f 72            /* Sor
13d0: 74 69 6e 67 20 69 6e 64 65 78 20 6e 75 6d 62 65  ting index numbe
13e0: 72 2e 20 20 30 3d 3d 4e 6f 6e 65 20 2a 2f 0a 20  r.  0==None */. 
13f0: 20 4c 6f 67 45 73 74 20 72 53 65 74 75 70 3b 20   LogEst rSetup; 
1400: 20 20 20 20 20 20 20 2f 2a 20 4f 6e 65 2d 74 69         /* One-ti
1410: 6d 65 20 73 65 74 75 70 20 63 6f 73 74 20 28 65  me setup cost (e
1420: 78 3a 20 63 72 65 61 74 65 20 74 72 61 6e 73 69  x: create transi
1430: 65 6e 74 20 69 6e 64 65 78 29 20 2a 2f 0a 20 20  ent index) */.  
1440: 4c 6f 67 45 73 74 20 72 52 75 6e 3b 20 20 20 20  LogEst rRun;    
1450: 20 20 20 20 20 20 2f 2a 20 43 6f 73 74 20 6f 66        /* Cost of
1460: 20 72 75 6e 6e 69 6e 67 20 65 61 63 68 20 6c 6f   running each lo
1470: 6f 70 20 2a 2f 0a 20 20 4c 6f 67 45 73 74 20 6e  op */.  LogEst n
1480: 4f 75 74 3b 20 20 20 20 20 20 20 20 20 20 2f 2a  Out;          /*
1490: 20 45 73 74 69 6d 61 74 65 64 20 6e 75 6d 62 65   Estimated numbe
14a0: 72 20 6f 66 20 6f 75 74 70 75 74 20 72 6f 77 73  r of output rows
14b0: 20 2a 2f 0a 20 20 75 6e 69 6f 6e 20 7b 0a 20 20   */.  union {.  
14c0: 20 20 73 74 72 75 63 74 20 7b 20 20 20 20 20 20    struct {      
14d0: 20 20 20 20 20 20 20 20 20 2f 2a 20 49 6e 66 6f           /* Info
14e0: 72 6d 61 74 69 6f 6e 20 66 6f 72 20 69 6e 74 65  rmation for inte
14f0: 72 6e 61 6c 20 62 74 72 65 65 20 74 61 62 6c 65  rnal btree table
1500: 73 20 2a 2f 0a 20 20 20 20 20 20 75 31 36 20 6e  s */.      u16 n
1510: 45 71 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  Eq;             
1520: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65    /* Number of e
1530: 71 75 61 6c 69 74 79 20 63 6f 6e 73 74 72 61 69  quality constrai
1540: 6e 74 73 20 2a 2f 0a 20 20 20 20 20 20 49 6e 64  nts */.      Ind
1550: 65 78 20 2a 70 49 6e 64 65 78 3b 20 20 20 20 20  ex *pIndex;     
1560: 20 20 20 20 2f 2a 20 49 6e 64 65 78 20 75 73 65      /* Index use
1570: 64 2c 20 6f 72 20 4e 55 4c 4c 20 2a 2f 0a 20 20  d, or NULL */.  
1580: 20 20 7d 20 62 74 72 65 65 3b 0a 20 20 20 20 73    } btree;.    s
1590: 74 72 75 63 74 20 7b 20 20 20 20 20 20 20 20 20  truct {         
15a0: 20 20 20 20 20 20 2f 2a 20 49 6e 66 6f 72 6d 61        /* Informa
15b0: 74 69 6f 6e 20 66 6f 72 20 76 69 72 74 75 61 6c  tion for virtual
15c0: 20 74 61 62 6c 65 73 20 2a 2f 0a 20 20 20 20 20   tables */.     
15d0: 20 69 6e 74 20 69 64 78 4e 75 6d 3b 20 20 20 20   int idxNum;    
15e0: 20 20 20 20 20 20 20 20 2f 2a 20 49 6e 64 65 78          /* Index
15f0: 20 6e 75 6d 62 65 72 20 2a 2f 0a 20 20 20 20 20   number */.     
1600: 20 75 38 20 6e 65 65 64 46 72 65 65 3b 20 20 20   u8 needFree;   
1610: 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65 20          /* True 
1620: 69 66 20 73 71 6c 69 74 65 33 5f 66 72 65 65 28  if sqlite3_free(
1630: 69 64 78 53 74 72 29 20 69 73 20 6e 65 65 64 65  idxStr) is neede
1640: 64 20 2a 2f 0a 20 20 20 20 20 20 69 38 20 69 73  d */.      i8 is
1650: 4f 72 64 65 72 65 64 3b 20 20 20 20 20 20 20 20  Ordered;        
1660: 20 20 2f 2a 20 54 72 75 65 20 69 66 20 73 61 74    /* True if sat
1670: 69 73 66 69 65 73 20 4f 52 44 45 52 20 42 59 20  isfies ORDER BY 
1680: 2a 2f 0a 20 20 20 20 20 20 75 31 36 20 6f 6d 69  */.      u16 omi
1690: 74 4d 61 73 6b 3b 20 20 20 20 20 20 20 20 20 20  tMask;          
16a0: 2f 2a 20 54 65 72 6d 73 20 74 68 61 74 20 6d 61  /* Terms that ma
16b0: 79 20 62 65 20 6f 6d 69 74 74 65 64 20 2a 2f 0a  y be omitted */.
16c0: 20 20 20 20 20 20 63 68 61 72 20 2a 69 64 78 53        char *idxS
16d0: 74 72 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20  tr;          /* 
16e0: 49 6e 64 65 78 20 69 64 65 6e 74 69 66 69 65 72  Index identifier
16f0: 20 73 74 72 69 6e 67 20 2a 2f 0a 20 20 20 20 7d   string */.    }
1700: 20 76 74 61 62 3b 0a 20 20 7d 20 75 3b 0a 20 20   vtab;.  } u;.  
1710: 75 33 32 20 77 73 46 6c 61 67 73 3b 20 20 20 20  u32 wsFlags;    
1720: 20 20 20 20 20 20 2f 2a 20 57 48 45 52 45 5f 2a        /* WHERE_*
1730: 20 66 6c 61 67 73 20 64 65 73 63 72 69 62 69 6e   flags describin
1740: 67 20 74 68 65 20 70 6c 61 6e 20 2a 2f 0a 20 20  g the plan */.  
1750: 75 31 36 20 6e 4c 54 65 72 6d 3b 20 20 20 20 20  u16 nLTerm;     
1760: 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20        /* Number 
1770: 6f 66 20 65 6e 74 72 69 65 73 20 69 6e 20 61 4c  of entries in aL
1780: 54 65 72 6d 5b 5d 20 2a 2f 0a 20 20 75 31 36 20  Term[] */.  u16 
1790: 6e 53 6b 69 70 3b 20 20 20 20 20 20 20 20 20 20  nSkip;          
17a0: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 4e    /* Number of N
17b0: 55 4c 4c 20 61 4c 54 65 72 6d 5b 5d 20 65 6e 74  ULL aLTerm[] ent
17c0: 72 69 65 73 20 2a 2f 0a 20 20 2f 2a 2a 2a 2a 20  ries */.  /**** 
17d0: 77 68 65 72 65 4c 6f 6f 70 58 66 65 72 28 29 20  whereLoopXfer() 
17e0: 63 6f 70 69 65 73 20 66 69 65 6c 64 73 20 61 62  copies fields ab
17f0: 6f 76 65 20 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ove ************
1800: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2f 0a 23 20 64  ***********/.# d
1810: 65 66 69 6e 65 20 57 48 45 52 45 5f 4c 4f 4f 50  efine WHERE_LOOP
1820: 5f 58 46 45 52 5f 53 5a 20 6f 66 66 73 65 74 6f  _XFER_SZ offseto
1830: 66 28 57 68 65 72 65 4c 6f 6f 70 2c 6e 4c 53 6c  f(WhereLoop,nLSl
1840: 6f 74 29 0a 20 20 75 31 36 20 6e 4c 53 6c 6f 74  ot).  u16 nLSlot
1850: 3b 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e  ;           /* N
1860: 75 6d 62 65 72 20 6f 66 20 73 6c 6f 74 73 20 61  umber of slots a
1870: 6c 6c 6f 63 61 74 65 64 20 66 6f 72 20 61 4c 54  llocated for aLT
1880: 65 72 6d 5b 5d 20 2a 2f 0a 20 20 57 68 65 72 65  erm[] */.  Where
1890: 54 65 72 6d 20 2a 2a 61 4c 54 65 72 6d 3b 20 20  Term **aLTerm;  
18a0: 20 2f 2a 20 57 68 65 72 65 54 65 72 6d 73 20 75   /* WhereTerms u
18b0: 73 65 64 20 2a 2f 0a 20 20 57 68 65 72 65 4c 6f  sed */.  WhereLo
18c0: 6f 70 20 2a 70 4e 65 78 74 4c 6f 6f 70 3b 20 2f  op *pNextLoop; /
18d0: 2a 20 4e 65 78 74 20 57 68 65 72 65 4c 6f 6f 70  * Next WhereLoop
18e0: 20 6f 62 6a 65 63 74 20 69 6e 20 74 68 65 20 57   object in the W
18f0: 68 65 72 65 43 6c 61 75 73 65 20 2a 2f 0a 20 20  hereClause */.  
1900: 57 68 65 72 65 54 65 72 6d 20 2a 61 4c 54 65 72  WhereTerm *aLTer
1910: 6d 53 70 61 63 65 5b 33 5d 3b 20 20 2f 2a 20 49  mSpace[3];  /* I
1920: 6e 69 74 69 61 6c 20 61 4c 54 65 72 6d 5b 5d 20  nitial aLTerm[] 
1930: 73 70 61 63 65 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 20  space */.};../* 
1940: 54 68 69 73 20 6f 62 6a 65 63 74 20 68 6f 6c 64  This object hold
1950: 73 20 74 68 65 20 70 72 65 72 65 71 75 69 73 69  s the prerequisi
1960: 74 65 73 20 61 6e 64 20 74 68 65 20 63 6f 73 74  tes and the cost
1970: 20 6f 66 20 72 75 6e 6e 69 6e 67 20 61 0a 2a 2a   of running a.**
1980: 20 73 75 62 71 75 65 72 79 20 6f 6e 20 6f 6e 65   subquery on one
1990: 20 6f 70 65 72 61 6e 64 20 6f 66 20 61 6e 20 4f   operand of an O
19a0: 52 20 6f 70 65 72 61 74 6f 72 20 69 6e 20 74 68  R operator in th
19b0: 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 2e 0a  e WHERE clause..
19c0: 2a 2a 20 53 65 65 20 57 68 65 72 65 4f 72 53 65  ** See WhereOrSe
19d0: 74 20 66 6f 72 20 61 64 64 69 74 69 6f 6e 61 6c  t for additional
19e0: 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 0a 2a 2f   information .*/
19f0: 0a 73 74 72 75 63 74 20 57 68 65 72 65 4f 72 43  .struct WhereOrC
1a00: 6f 73 74 20 7b 0a 20 20 42 69 74 6d 61 73 6b 20  ost {.  Bitmask 
1a10: 70 72 65 72 65 71 3b 20 20 20 20 20 2f 2a 20 50  prereq;     /* P
1a20: 72 65 72 65 71 75 69 73 69 74 65 73 20 2a 2f 0a  rerequisites */.
1a30: 20 20 4c 6f 67 45 73 74 20 72 52 75 6e 3b 20 20    LogEst rRun;  
1a40: 20 20 20 20 20 20 2f 2a 20 43 6f 73 74 20 6f 66        /* Cost of
1a50: 20 72 75 6e 6e 69 6e 67 20 74 68 69 73 20 73 75   running this su
1a60: 62 71 75 65 72 79 20 2a 2f 0a 20 20 4c 6f 67 45  bquery */.  LogE
1a70: 73 74 20 6e 4f 75 74 3b 20 20 20 20 20 20 20 20  st nOut;        
1a80: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 6f 75 74  /* Number of out
1a90: 70 75 74 73 20 66 6f 72 20 74 68 69 73 20 73 75  puts for this su
1aa0: 62 71 75 65 72 79 20 2a 2f 0a 7d 3b 0a 0a 2f 2a  bquery */.};../*
1ab0: 20 54 68 65 20 57 68 65 72 65 4f 72 53 65 74 20   The WhereOrSet 
1ac0: 6f 62 6a 65 63 74 20 68 6f 6c 64 73 20 61 20 73  object holds a s
1ad0: 65 74 20 6f 66 20 70 6f 73 73 69 62 6c 65 20 57  et of possible W
1ae0: 68 65 72 65 4f 72 43 6f 73 74 73 20 74 68 61 74  hereOrCosts that
1af0: 0a 2a 2a 20 63 6f 72 72 65 73 70 6f 6e 64 20 74  .** correspond t
1b00: 6f 20 74 68 65 20 73 75 62 71 75 65 72 79 28 73  o the subquery(s
1b10: 29 20 6f 66 20 4f 52 2d 63 6c 61 75 73 65 20 70  ) of OR-clause p
1b20: 72 6f 63 65 73 73 69 6e 67 2e 20 20 4f 6e 6c 79  rocessing.  Only
1b30: 20 74 68 65 0a 2a 2a 20 62 65 73 74 20 4e 5f 4f   the.** best N_O
1b40: 52 5f 43 4f 53 54 20 65 6c 65 6d 65 6e 74 73 20  R_COST elements 
1b50: 61 72 65 20 72 65 74 61 69 6e 65 64 2e 0a 2a 2f  are retained..*/
1b60: 0a 23 64 65 66 69 6e 65 20 4e 5f 4f 52 5f 43 4f  .#define N_OR_CO
1b70: 53 54 20 33 0a 73 74 72 75 63 74 20 57 68 65 72  ST 3.struct Wher
1b80: 65 4f 72 53 65 74 20 7b 0a 20 20 75 31 36 20 6e  eOrSet {.  u16 n
1b90: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
1ba0: 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72         /* Number
1bb0: 20 6f 66 20 76 61 6c 69 64 20 61 5b 5d 20 65 6e   of valid a[] en
1bc0: 74 72 69 65 73 20 2a 2f 0a 20 20 57 68 65 72 65  tries */.  Where
1bd0: 4f 72 43 6f 73 74 20 61 5b 4e 5f 4f 52 5f 43 4f  OrCost a[N_OR_CO
1be0: 53 54 5d 3b 20 20 20 2f 2a 20 53 65 74 20 6f 66  ST];   /* Set of
1bf0: 20 62 65 73 74 20 63 6f 73 74 73 20 2a 2f 0a 7d   best costs */.}
1c00: 3b 0a 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 69 6e  ;../*.** Each in
1c10: 73 74 61 6e 63 65 20 6f 66 20 74 68 69 73 20 6f  stance of this o
1c20: 62 6a 65 63 74 20 68 6f 6c 64 73 20 61 20 73 65  bject holds a se
1c30: 71 75 65 6e 63 65 20 6f 66 20 57 68 65 72 65 4c  quence of WhereL
1c40: 6f 6f 70 20 6f 62 6a 65 63 74 73 0a 2a 2a 20 74  oop objects.** t
1c50: 68 61 74 20 69 6d 70 6c 65 6d 65 6e 74 20 73 6f  hat implement so
1c60: 6d 65 20 6f 72 20 61 6c 6c 20 6f 66 20 61 20 71  me or all of a q
1c70: 75 65 72 79 20 70 6c 61 6e 2e 0a 2a 2a 0a 2a 2a  uery plan..**.**
1c80: 20 54 68 69 6e 6b 20 6f 66 20 65 61 63 68 20 57   Think of each W
1c90: 68 65 72 65 4c 6f 6f 70 20 6f 62 6a 65 63 74 20  hereLoop object 
1ca0: 61 73 20 61 20 6e 6f 64 65 20 69 6e 20 61 20 67  as a node in a g
1cb0: 72 61 70 68 20 77 69 74 68 20 61 72 63 73 0a 2a  raph with arcs.*
1cc0: 2a 20 73 68 6f 77 69 6e 67 20 64 65 70 65 6e 64  * showing depend
1cd0: 65 6e 63 69 65 73 20 61 6e 64 20 63 6f 73 74 73  encies and costs
1ce0: 20 66 6f 72 20 74 72 61 76 65 6c 6c 69 6e 67 20   for travelling 
1cf0: 62 65 74 77 65 65 6e 20 6e 6f 64 65 73 2e 20 20  between nodes.  
1d00: 28 54 68 61 74 20 69 73 0a 2a 2a 20 6e 6f 74 20  (That is.** not 
1d10: 61 20 63 6f 6d 70 6c 65 74 65 6c 79 20 61 63 63  a completely acc
1d20: 75 72 61 74 65 20 64 65 73 63 72 69 70 74 69 6f  urate descriptio
1d30: 6e 20 62 65 63 61 75 73 65 20 57 68 65 72 65 4c  n because WhereL
1d40: 6f 6f 70 20 63 6f 73 74 73 20 61 72 65 20 61 0a  oop costs are a.
1d50: 2a 2a 20 76 65 63 74 6f 72 2c 20 6e 6f 74 20 61  ** vector, not a
1d60: 20 73 63 61 6c 61 72 2c 20 61 6e 64 20 62 65 63   scalar, and bec
1d70: 61 75 73 65 20 64 65 70 65 6e 64 65 6e 63 69 65  ause dependencie
1d80: 73 20 61 72 65 20 6d 61 6e 79 2d 74 6f 2d 6f 6e  s are many-to-on
1d90: 65 2c 20 6e 6f 74 0a 2a 2a 20 6f 6e 65 2d 74 6f  e, not.** one-to
1da0: 2d 6f 6e 65 20 61 73 20 61 72 65 20 67 72 61 70  -one as are grap
1db0: 68 20 6e 6f 64 65 73 2e 20 20 42 75 74 20 69 74  h nodes.  But it
1dc0: 20 69 73 20 61 20 75 73 65 66 75 6c 20 76 69 73   is a useful vis
1dd0: 75 61 6c 69 7a 61 74 69 6f 6e 20 61 69 64 2e 29  ualization aid.)
1de0: 0a 2a 2a 20 54 68 65 6e 20 61 20 57 68 65 72 65  .** Then a Where
1df0: 50 61 74 68 20 6f 62 6a 65 63 74 20 69 73 20 61  Path object is a
1e00: 20 70 61 74 68 20 74 68 72 6f 75 67 68 20 74 68   path through th
1e10: 65 20 67 72 61 70 68 20 74 68 61 74 20 76 69 73  e graph that vis
1e20: 69 74 73 20 73 6f 6d 65 0a 2a 2a 20 6f 72 20 61  its some.** or a
1e30: 6c 6c 20 6f 66 20 74 68 65 20 57 68 65 72 65 4c  ll of the WhereL
1e40: 6f 6f 70 20 6f 62 6a 65 63 74 73 20 6f 6e 63 65  oop objects once
1e50: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 22 73 6f 6c  ..**.** The "sol
1e60: 76 65 72 22 20 77 6f 72 6b 73 20 62 79 20 63 72  ver" works by cr
1e70: 65 61 74 69 6e 67 20 74 68 65 20 4e 20 62 65 73  eating the N bes
1e80: 74 20 57 68 65 72 65 50 61 74 68 20 6f 62 6a 65  t WherePath obje
1e90: 63 74 73 20 6f 66 20 6c 65 6e 67 74 68 0a 2a 2a  cts of length.**
1ea0: 20 31 2e 20 20 54 68 65 6e 20 75 73 69 6e 67 20   1.  Then using 
1eb0: 74 68 6f 73 65 20 61 73 20 61 20 62 61 73 69 73  those as a basis
1ec0: 20 74 6f 20 63 6f 6d 70 75 74 65 20 74 68 65 20   to compute the 
1ed0: 4e 20 62 65 73 74 20 57 68 65 72 65 50 61 74 68  N best WherePath
1ee0: 20 6f 62 6a 65 63 74 73 0a 2a 2a 20 6f 66 20 6c   objects.** of l
1ef0: 65 6e 67 74 68 20 32 2e 20 20 41 6e 64 20 73 6f  ength 2.  And so
1f00: 20 66 6f 72 74 68 20 75 6e 74 69 6c 20 74 68 65   forth until the
1f10: 20 6c 65 6e 67 74 68 20 6f 66 20 57 68 65 72 65   length of Where
1f20: 50 61 74 68 73 20 65 71 75 61 6c 73 20 74 68 65  Paths equals the
1f30: 0a 2a 2a 20 6e 75 6d 62 65 72 20 6f 66 20 6e 6f  .** number of no
1f40: 64 65 73 20 69 6e 20 74 68 65 20 46 52 4f 4d 20  des in the FROM 
1f50: 63 6c 61 75 73 65 2e 20 20 54 68 65 20 62 65 73  clause.  The bes
1f60: 74 20 28 6c 6f 77 65 73 74 20 63 6f 73 74 29 20  t (lowest cost) 
1f70: 57 68 65 72 65 50 61 74 68 0a 2a 2a 20 61 74 20  WherePath.** at 
1f80: 74 68 65 20 65 6e 64 20 69 73 20 74 68 65 20 63  the end is the c
1f90: 68 6f 73 65 6e 20 71 75 65 72 79 20 70 6c 61 6e  hosen query plan
1fa0: 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 57 68 65 72  ..*/.struct Wher
1fb0: 65 50 61 74 68 20 7b 0a 20 20 42 69 74 6d 61 73  ePath {.  Bitmas
1fc0: 6b 20 6d 61 73 6b 4c 6f 6f 70 3b 20 20 20 20 20  k maskLoop;     
1fd0: 2f 2a 20 42 69 74 6d 61 73 6b 20 6f 66 20 61 6c  /* Bitmask of al
1fe0: 6c 20 57 68 65 72 65 4c 6f 6f 70 20 6f 62 6a 65  l WhereLoop obje
1ff0: 63 74 73 20 69 6e 20 74 68 69 73 20 70 61 74 68  cts in this path
2000: 20 2a 2f 0a 20 20 42 69 74 6d 61 73 6b 20 72 65   */.  Bitmask re
2010: 76 4c 6f 6f 70 3b 20 20 20 20 20 20 2f 2a 20 61  vLoop;      /* a
2020: 4c 6f 6f 70 5b 5d 73 20 74 68 61 74 20 73 68 6f  Loop[]s that sho
2030: 75 6c 64 20 62 65 20 72 65 76 65 72 73 65 64 20  uld be reversed 
2040: 66 6f 72 20 4f 52 44 45 52 20 42 59 20 2a 2f 0a  for ORDER BY */.
2050: 20 20 4c 6f 67 45 73 74 20 6e 52 6f 77 3b 20 20    LogEst nRow;  
2060: 20 20 20 20 20 20 20 20 2f 2a 20 45 73 74 69 6d          /* Estim
2070: 61 74 65 64 20 6e 75 6d 62 65 72 20 6f 66 20 72  ated number of r
2080: 6f 77 73 20 67 65 6e 65 72 61 74 65 64 20 62 79  ows generated by
2090: 20 74 68 69 73 20 70 61 74 68 20 2a 2f 0a 20 20   this path */.  
20a0: 4c 6f 67 45 73 74 20 72 43 6f 73 74 3b 20 20 20  LogEst rCost;   
20b0: 20 20 20 20 20 20 2f 2a 20 54 6f 74 61 6c 20 63        /* Total c
20c0: 6f 73 74 20 6f 66 20 74 68 69 73 20 70 61 74 68  ost of this path
20d0: 20 2a 2f 0a 20 20 4c 6f 67 45 73 74 20 72 55 6e   */.  LogEst rUn
20e0: 73 6f 72 74 65 64 3b 20 20 20 20 20 2f 2a 20 54  sorted;     /* T
20f0: 6f 74 61 6c 20 63 6f 73 74 20 6f 66 20 74 68 69  otal cost of thi
2100: 73 20 70 61 74 68 20 69 67 6e 6f 72 69 6e 67 20  s path ignoring 
2110: 73 6f 72 74 69 6e 67 20 63 6f 73 74 73 20 2a 2f  sorting costs */
2120: 0a 20 20 69 38 20 69 73 4f 72 64 65 72 65 64 3b  .  i8 isOrdered;
2130: 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 6f 2e 20           /* No. 
2140: 6f 66 20 4f 52 44 45 52 20 42 59 20 74 65 72 6d  of ORDER BY term
2150: 73 20 73 61 74 69 73 66 69 65 64 2e 20 2d 31 20  s satisfied. -1 
2160: 66 6f 72 20 75 6e 6b 6e 6f 77 6e 20 2a 2f 0a 20  for unknown */. 
2170: 20 57 68 65 72 65 4c 6f 6f 70 20 2a 2a 61 4c 6f   WhereLoop **aLo
2180: 6f 70 3b 20 20 20 20 2f 2a 20 41 72 72 61 79 20  op;    /* Array 
2190: 6f 66 20 57 68 65 72 65 4c 6f 6f 70 20 6f 62 6a  of WhereLoop obj
21a0: 65 63 74 73 20 69 6d 70 6c 65 6d 65 6e 74 69 6e  ects implementin
21b0: 67 20 74 68 69 73 20 70 61 74 68 20 2a 2f 0a 7d  g this path */.}
21c0: 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 71 75 65  ;../*.** The que
21d0: 72 79 20 67 65 6e 65 72 61 74 6f 72 20 75 73 65  ry generator use
21e0: 73 20 61 6e 20 61 72 72 61 79 20 6f 66 20 69 6e  s an array of in
21f0: 73 74 61 6e 63 65 73 20 6f 66 20 74 68 69 73 20  stances of this 
2200: 73 74 72 75 63 74 75 72 65 20 74 6f 0a 2a 2a 20  structure to.** 
2210: 68 65 6c 70 20 69 74 20 61 6e 61 6c 79 7a 65 20  help it analyze 
2220: 74 68 65 20 73 75 62 65 78 70 72 65 73 73 69 6f  the subexpressio
2230: 6e 73 20 6f 66 20 74 68 65 20 57 48 45 52 45 20  ns of the WHERE 
2240: 63 6c 61 75 73 65 2e 20 20 45 61 63 68 20 57 48  clause.  Each WH
2250: 45 52 45 0a 2a 2a 20 63 6c 61 75 73 65 20 73 75  ERE.** clause su
2260: 62 65 78 70 72 65 73 73 69 6f 6e 20 69 73 20 73  bexpression is s
2270: 65 70 61 72 61 74 65 64 20 66 72 6f 6d 20 74 68  eparated from th
2280: 65 20 6f 74 68 65 72 73 20 62 79 20 41 4e 44 20  e others by AND 
2290: 6f 70 65 72 61 74 6f 72 73 2c 0a 2a 2a 20 75 73  operators,.** us
22a0: 75 61 6c 6c 79 2c 20 6f 72 20 73 6f 6d 65 74 69  ually, or someti
22b0: 6d 65 73 20 73 75 62 65 78 70 72 65 73 73 69 6f  mes subexpressio
22c0: 6e 73 20 73 65 70 61 72 61 74 65 64 20 62 79 20  ns separated by 
22d0: 4f 52 2e 0a 2a 2a 0a 2a 2a 20 41 6c 6c 20 57 68  OR..**.** All Wh
22e0: 65 72 65 54 65 72 6d 73 20 61 72 65 20 63 6f 6c  ereTerms are col
22f0: 6c 65 63 74 65 64 20 69 6e 74 6f 20 61 20 73 69  lected into a si
2300: 6e 67 6c 65 20 57 68 65 72 65 43 6c 61 75 73 65  ngle WhereClause
2310: 20 73 74 72 75 63 74 75 72 65 2e 20 20 0a 2a 2a   structure.  .**
2320: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 69   The following i
2330: 64 65 6e 74 69 74 79 20 68 6f 6c 64 73 3a 0a 2a  dentity holds:.*
2340: 2a 0a 2a 2a 20 20 20 20 20 20 20 20 57 68 65 72  *.**        Wher
2350: 65 54 65 72 6d 2e 70 57 43 2d 3e 61 5b 57 68 65  eTerm.pWC->a[Whe
2360: 72 65 54 65 72 6d 2e 69 64 78 5d 20 3d 3d 20 57  reTerm.idx] == W
2370: 68 65 72 65 54 65 72 6d 0a 2a 2a 0a 2a 2a 20 57  hereTerm.**.** W
2380: 68 65 6e 20 61 20 74 65 72 6d 20 69 73 20 6f 66  hen a term is of
2390: 20 74 68 65 20 66 6f 72 6d 3a 0a 2a 2a 0a 2a 2a   the form:.**.**
23a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 58 20                X 
23b0: 3c 6f 70 3e 20 3c 65 78 70 72 3e 0a 2a 2a 0a 2a  <op> <expr>.**.*
23c0: 2a 20 77 68 65 72 65 20 58 20 69 73 20 61 20 63  * where X is a c
23d0: 6f 6c 75 6d 6e 20 6e 61 6d 65 20 61 6e 64 20 3c  olumn name and <
23e0: 6f 70 3e 20 69 73 20 6f 6e 65 20 6f 66 20 63 65  op> is one of ce
23f0: 72 74 61 69 6e 20 6f 70 65 72 61 74 6f 72 73 2c  rtain operators,
2400: 0a 2a 2a 20 74 68 65 6e 20 57 68 65 72 65 54 65  .** then WhereTe
2410: 72 6d 2e 6c 65 66 74 43 75 72 73 6f 72 20 61 6e  rm.leftCursor an
2420: 64 20 57 68 65 72 65 54 65 72 6d 2e 75 2e 6c 65  d WhereTerm.u.le
2430: 66 74 43 6f 6c 75 6d 6e 20 72 65 63 6f 72 64 20  ftColumn record 
2440: 74 68 65 0a 2a 2a 20 63 75 72 73 6f 72 20 6e 75  the.** cursor nu
2450: 6d 62 65 72 20 61 6e 64 20 63 6f 6c 75 6d 6e 20  mber and column 
2460: 6e 75 6d 62 65 72 20 66 6f 72 20 58 2e 20 20 57  number for X.  W
2470: 68 65 72 65 54 65 72 6d 2e 65 4f 70 65 72 61 74  hereTerm.eOperat
2480: 6f 72 20 72 65 63 6f 72 64 73 0a 2a 2a 20 74 68  or records.** th
2490: 65 20 3c 6f 70 3e 20 75 73 69 6e 67 20 61 20 62  e <op> using a b
24a0: 69 74 6d 61 73 6b 20 65 6e 63 6f 64 69 6e 67 20  itmask encoding 
24b0: 64 65 66 69 6e 65 64 20 62 79 20 57 4f 5f 78 78  defined by WO_xx
24c0: 78 20 62 65 6c 6f 77 2e 20 20 54 68 65 0a 2a 2a  x below.  The.**
24d0: 20 75 73 65 20 6f 66 20 61 20 62 69 74 6d 61 73   use of a bitmas
24e0: 6b 20 65 6e 63 6f 64 69 6e 67 20 66 6f 72 20 74  k encoding for t
24f0: 68 65 20 6f 70 65 72 61 74 6f 72 20 61 6c 6c 6f  he operator allo
2500: 77 73 20 75 73 20 74 6f 20 73 65 61 72 63 68 0a  ws us to search.
2510: 2a 2a 20 71 75 69 63 6b 6c 79 20 66 6f 72 20 74  ** quickly for t
2520: 65 72 6d 73 20 74 68 61 74 20 6d 61 74 63 68 20  erms that match 
2530: 61 6e 79 20 6f 66 20 73 65 76 65 72 61 6c 20 64  any of several d
2540: 69 66 66 65 72 65 6e 74 20 6f 70 65 72 61 74 6f  ifferent operato
2550: 72 73 2e 0a 2a 2a 0a 2a 2a 20 41 20 57 68 65 72  rs..**.** A Wher
2560: 65 54 65 72 6d 20 6d 69 67 68 74 20 61 6c 73 6f  eTerm might also
2570: 20 62 65 20 74 77 6f 20 6f 72 20 6d 6f 72 65 20   be two or more 
2580: 73 75 62 74 65 72 6d 73 20 63 6f 6e 6e 65 63 74  subterms connect
2590: 65 64 20 62 79 20 4f 52 3a 0a 2a 2a 0a 2a 2a 20  ed by OR:.**.** 
25a0: 20 20 20 20 20 20 20 20 28 74 31 2e 58 20 3c 6f          (t1.X <o
25b0: 70 3e 20 3c 65 78 70 72 3e 29 20 4f 52 20 28 74  p> <expr>) OR (t
25c0: 31 2e 59 20 3c 6f 70 3e 20 3c 65 78 70 72 3e 29  1.Y <op> <expr>)
25d0: 20 4f 52 20 2e 2e 2e 2e 0a 2a 2a 0a 2a 2a 20 49   OR .....**.** I
25e0: 6e 20 74 68 69 73 20 73 65 63 6f 6e 64 20 63 61  n this second ca
25f0: 73 65 2c 20 77 74 46 6c 61 67 20 68 61 73 20 74  se, wtFlag has t
2600: 68 65 20 54 45 52 4d 5f 4f 52 49 4e 46 4f 20 62  he TERM_ORINFO b
2610: 69 74 20 73 65 74 20 61 6e 64 20 65 4f 70 65 72  it set and eOper
2620: 61 74 6f 72 3d 3d 57 4f 5f 4f 52 0a 2a 2a 20 61  ator==WO_OR.** a
2630: 6e 64 20 74 68 65 20 57 68 65 72 65 54 65 72 6d  nd the WhereTerm
2640: 2e 75 2e 70 4f 72 49 6e 66 6f 20 66 69 65 6c 64  .u.pOrInfo field
2650: 20 70 6f 69 6e 74 73 20 74 6f 20 61 75 78 69 6c   points to auxil
2660: 69 61 72 79 20 69 6e 66 6f 72 6d 61 74 69 6f 6e  iary information
2670: 20 74 68 61 74 0a 2a 2a 20 69 73 20 63 6f 6c 6c   that.** is coll
2680: 65 63 74 65 64 20 61 62 6f 75 74 20 74 68 65 20  ected about the 
2690: 4f 52 20 63 6c 61 75 73 65 2e 0a 2a 2a 0a 2a 2a  OR clause..**.**
26a0: 20 49 66 20 61 20 74 65 72 6d 20 69 6e 20 74 68   If a term in th
26b0: 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 64  e WHERE clause d
26c0: 6f 65 73 20 6e 6f 74 20 6d 61 74 63 68 20 65 69  oes not match ei
26d0: 74 68 65 72 20 6f 66 20 74 68 65 20 74 77 6f 20  ther of the two 
26e0: 70 72 65 76 69 6f 75 73 0a 2a 2a 20 63 61 74 65  previous.** cate
26f0: 67 6f 72 69 65 73 2c 20 74 68 65 6e 20 65 4f 70  gories, then eOp
2700: 65 72 61 74 6f 72 3d 3d 30 2e 20 20 54 68 65 20  erator==0.  The 
2710: 57 68 65 72 65 54 65 72 6d 2e 70 45 78 70 72 20  WhereTerm.pExpr 
2720: 66 69 65 6c 64 20 69 73 20 73 74 69 6c 6c 20 73  field is still s
2730: 65 74 0a 2a 2a 20 74 6f 20 74 68 65 20 6f 72 69  et.** to the ori
2740: 67 69 6e 61 6c 20 73 75 62 65 78 70 72 65 73 73  ginal subexpress
2750: 69 6f 6e 20 63 6f 6e 74 65 6e 74 20 61 6e 64 20  ion content and 
2760: 77 74 46 6c 61 67 73 20 69 73 20 73 65 74 20 75  wtFlags is set u
2770: 70 20 61 70 70 72 6f 70 72 69 61 74 65 6c 79 0a  p appropriately.
2780: 2a 2a 20 62 75 74 20 6e 6f 20 6f 74 68 65 72 20  ** but no other 
2790: 66 69 65 6c 64 73 20 69 6e 20 74 68 65 20 57 68  fields in the Wh
27a0: 65 72 65 54 65 72 6d 20 6f 62 6a 65 63 74 20 61  ereTerm object a
27b0: 72 65 20 6d 65 61 6e 69 6e 67 66 75 6c 2e 0a 2a  re meaningful..*
27c0: 2a 0a 2a 2a 20 57 68 65 6e 20 65 4f 70 65 72 61  *.** When eOpera
27d0: 74 6f 72 21 3d 30 2c 20 70 72 65 72 65 71 52 69  tor!=0, prereqRi
27e0: 67 68 74 20 61 6e 64 20 70 72 65 72 65 71 41 6c  ght and prereqAl
27f0: 6c 20 72 65 63 6f 72 64 20 73 65 74 73 20 6f 66  l record sets of
2800: 20 63 75 72 73 6f 72 20 6e 75 6d 62 65 72 73 2c   cursor numbers,
2810: 0a 2a 2a 20 62 75 74 20 74 68 65 79 20 64 6f 20  .** but they do 
2820: 73 6f 20 69 6e 64 69 72 65 63 74 6c 79 2e 20 20  so indirectly.  
2830: 41 20 73 69 6e 67 6c 65 20 57 68 65 72 65 4d 61  A single WhereMa
2840: 73 6b 53 65 74 20 73 74 72 75 63 74 75 72 65 20  skSet structure 
2850: 74 72 61 6e 73 6c 61 74 65 73 0a 2a 2a 20 63 75  translates.** cu
2860: 72 73 6f 72 20 6e 75 6d 62 65 72 20 69 6e 74 6f  rsor number into
2870: 20 62 69 74 73 20 61 6e 64 20 74 68 65 20 74 72   bits and the tr
2880: 61 6e 73 6c 61 74 65 64 20 62 69 74 20 69 73 20  anslated bit is 
2890: 73 74 6f 72 65 64 20 69 6e 20 74 68 65 20 70 72  stored in the pr
28a0: 65 72 65 71 0a 2a 2a 20 66 69 65 6c 64 73 2e 20  ereq.** fields. 
28b0: 20 54 68 65 20 74 72 61 6e 73 6c 61 74 69 6f 6e   The translation
28c0: 20 69 73 20 75 73 65 64 20 69 6e 20 6f 72 64 65   is used in orde
28d0: 72 20 74 6f 20 6d 61 78 69 6d 69 7a 65 20 74 68  r to maximize th
28e0: 65 20 6e 75 6d 62 65 72 20 6f 66 0a 2a 2a 20 62  e number of.** b
28f0: 69 74 73 20 74 68 61 74 20 77 69 6c 6c 20 66 69  its that will fi
2900: 74 20 69 6e 20 61 20 42 69 74 6d 61 73 6b 2e 20  t in a Bitmask. 
2910: 20 54 68 65 20 56 44 42 45 20 63 75 72 73 6f 72   The VDBE cursor
2920: 20 6e 75 6d 62 65 72 73 20 6d 69 67 68 74 20 62   numbers might b
2930: 65 0a 2a 2a 20 73 70 72 65 61 64 20 6f 75 74 20  e.** spread out 
2940: 6f 76 65 72 20 74 68 65 20 6e 6f 6e 2d 6e 65 67  over the non-neg
2950: 61 74 69 76 65 20 69 6e 74 65 67 65 72 73 2e 20  ative integers. 
2960: 20 46 6f 72 20 65 78 61 6d 70 6c 65 2c 20 74 68   For example, th
2970: 65 20 63 75 72 73 6f 72 0a 2a 2a 20 6e 75 6d 62  e cursor.** numb
2980: 65 72 73 20 6d 69 67 68 74 20 62 65 20 33 2c 20  ers might be 3, 
2990: 38 2c 20 39 2c 20 31 30 2c 20 32 30 2c 20 32 33  8, 9, 10, 20, 23
29a0: 2c 20 34 31 2c 20 61 6e 64 20 34 35 2e 20 20 54  , 41, and 45.  T
29b0: 68 65 20 57 68 65 72 65 4d 61 73 6b 53 65 74 0a  he WhereMaskSet.
29c0: 2a 2a 20 74 72 61 6e 73 6c 61 74 65 73 20 74 68  ** translates th
29d0: 65 73 65 20 73 70 61 72 73 65 20 63 75 72 73 6f  ese sparse curso
29e0: 72 20 6e 75 6d 62 65 72 73 20 69 6e 74 6f 20 63  r numbers into c
29f0: 6f 6e 73 65 63 75 74 69 76 65 20 69 6e 74 65 67  onsecutive integ
2a00: 65 72 73 0a 2a 2a 20 62 65 67 69 6e 6e 69 6e 67  ers.** beginning
2a10: 20 77 69 74 68 20 30 20 69 6e 20 6f 72 64 65 72   with 0 in order
2a20: 20 74 6f 20 6d 61 6b 65 20 74 68 65 20 62 65 73   to make the bes
2a30: 74 20 70 6f 73 73 69 62 6c 65 20 75 73 65 20 6f  t possible use o
2a40: 66 20 74 68 65 20 61 76 61 69 6c 61 62 6c 65 0a  f the available.
2a50: 2a 2a 20 62 69 74 73 20 69 6e 20 74 68 65 20 42  ** bits in the B
2a60: 69 74 6d 61 73 6b 2e 20 20 53 6f 2c 20 69 6e 20  itmask.  So, in 
2a70: 74 68 65 20 65 78 61 6d 70 6c 65 20 61 62 6f 76  the example abov
2a80: 65 2c 20 74 68 65 20 63 75 72 73 6f 72 20 6e 75  e, the cursor nu
2a90: 6d 62 65 72 73 0a 2a 2a 20 77 6f 75 6c 64 20 62  mbers.** would b
2aa0: 65 20 6d 61 70 70 65 64 20 69 6e 74 6f 20 69 6e  e mapped into in
2ab0: 74 65 67 65 72 73 20 30 20 74 68 72 6f 75 67 68  tegers 0 through
2ac0: 20 37 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6e 75   7..**.** The nu
2ad0: 6d 62 65 72 20 6f 66 20 74 65 72 6d 73 20 69 6e  mber of terms in
2ae0: 20 61 20 6a 6f 69 6e 20 69 73 20 6c 69 6d 69 74   a join is limit
2af0: 65 64 20 62 79 20 74 68 65 20 6e 75 6d 62 65 72  ed by the number
2b00: 20 6f 66 20 62 69 74 73 0a 2a 2a 20 69 6e 20 70   of bits.** in p
2b10: 72 65 72 65 71 52 69 67 68 74 20 61 6e 64 20 70  rereqRight and p
2b20: 72 65 72 65 71 41 6c 6c 2e 20 20 54 68 65 20 64  rereqAll.  The d
2b30: 65 66 61 75 6c 74 20 69 73 20 36 34 20 62 69 74  efault is 64 bit
2b40: 73 2c 20 68 65 6e 63 65 20 53 51 4c 69 74 65 0a  s, hence SQLite.
2b50: 2a 2a 20 69 73 20 6f 6e 6c 79 20 61 62 6c 65 20  ** is only able 
2b60: 74 6f 20 70 72 6f 63 65 73 73 20 6a 6f 69 6e 73  to process joins
2b70: 20 77 69 74 68 20 36 34 20 6f 72 20 66 65 77 65   with 64 or fewe
2b80: 72 20 74 61 62 6c 65 73 2e 0a 2a 2f 0a 73 74 72  r tables..*/.str
2b90: 75 63 74 20 57 68 65 72 65 54 65 72 6d 20 7b 0a  uct WhereTerm {.
2ba0: 20 20 45 78 70 72 20 2a 70 45 78 70 72 3b 20 20    Expr *pExpr;  
2bb0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 50 6f 69            /* Poi
2bc0: 6e 74 65 72 20 74 6f 20 74 68 65 20 73 75 62 65  nter to the sube
2bd0: 78 70 72 65 73 73 69 6f 6e 20 74 68 61 74 20 69  xpression that i
2be0: 73 20 74 68 69 73 20 74 65 72 6d 20 2a 2f 0a 20  s this term */. 
2bf0: 20 69 6e 74 20 69 50 61 72 65 6e 74 3b 20 20 20   int iParent;   
2c00: 20 20 20 20 20 20 20 20 20 2f 2a 20 44 69 73 61           /* Disa
2c10: 62 6c 65 20 70 57 43 2d 3e 61 5b 69 50 61 72 65  ble pWC->a[iPare
2c20: 6e 74 5d 20 77 68 65 6e 20 74 68 69 73 20 74 65  nt] when this te
2c30: 72 6d 20 64 69 73 61 62 6c 65 64 20 2a 2f 0a 20  rm disabled */. 
2c40: 20 69 6e 74 20 6c 65 66 74 43 75 72 73 6f 72 3b   int leftCursor;
2c50: 20 20 20 20 20 20 20 20 20 2f 2a 20 43 75 72 73           /* Curs
2c60: 6f 72 20 6e 75 6d 62 65 72 20 6f 66 20 58 20 69  or number of X i
2c70: 6e 20 22 58 20 3c 6f 70 3e 20 3c 65 78 70 72 3e  n "X <op> <expr>
2c80: 22 20 2a 2f 0a 20 20 75 6e 69 6f 6e 20 7b 0a 20  " */.  union {. 
2c90: 20 20 20 69 6e 74 20 6c 65 66 74 43 6f 6c 75 6d     int leftColum
2ca0: 6e 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 43 6f  n;         /* Co
2cb0: 6c 75 6d 6e 20 6e 75 6d 62 65 72 20 6f 66 20 58  lumn number of X
2cc0: 20 69 6e 20 22 58 20 3c 6f 70 3e 20 3c 65 78 70   in "X <op> <exp
2cd0: 72 3e 22 20 2a 2f 0a 20 20 20 20 57 68 65 72 65  r>" */.    Where
2ce0: 4f 72 49 6e 66 6f 20 2a 70 4f 72 49 6e 66 6f 3b  OrInfo *pOrInfo;
2cf0: 20 20 20 2f 2a 20 45 78 74 72 61 20 69 6e 66 6f     /* Extra info
2d00: 72 6d 61 74 69 6f 6e 20 69 66 20 28 65 4f 70 65  rmation if (eOpe
2d10: 72 61 74 6f 72 20 26 20 57 4f 5f 4f 52 29 21 3d  rator & WO_OR)!=
2d20: 30 20 2a 2f 0a 20 20 20 20 57 68 65 72 65 41 6e  0 */.    WhereAn
2d30: 64 49 6e 66 6f 20 2a 70 41 6e 64 49 6e 66 6f 3b  dInfo *pAndInfo;
2d40: 20 2f 2a 20 45 78 74 72 61 20 69 6e 66 6f 72 6d   /* Extra inform
2d50: 61 74 69 6f 6e 20 69 66 20 28 65 4f 70 65 72 61  ation if (eOpera
2d60: 74 6f 72 26 20 57 4f 5f 41 4e 44 29 21 3d 30 20  tor& WO_AND)!=0 
2d70: 2a 2f 0a 20 20 7d 20 75 3b 0a 20 20 4c 6f 67 45  */.  } u;.  LogE
2d80: 73 74 20 74 72 75 74 68 50 72 6f 62 3b 20 20 20  st truthProb;   
2d90: 20 20 20 20 2f 2a 20 50 72 6f 62 61 62 69 6c 69      /* Probabili
2da0: 74 79 20 6f 66 20 74 72 75 74 68 20 66 6f 72 20  ty of truth for 
2db0: 74 68 69 73 20 65 78 70 72 65 73 73 69 6f 6e 20  this expression 
2dc0: 2a 2f 0a 20 20 75 31 36 20 65 4f 70 65 72 61 74  */.  u16 eOperat
2dd0: 6f 72 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20  or;          /* 
2de0: 41 20 57 4f 5f 78 78 20 76 61 6c 75 65 20 64 65  A WO_xx value de
2df0: 73 63 72 69 62 69 6e 67 20 3c 6f 70 3e 20 2a 2f  scribing <op> */
2e00: 0a 20 20 75 31 36 20 77 74 46 6c 61 67 73 3b 20  .  u16 wtFlags; 
2e10: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 45             /* TE
2e20: 52 4d 5f 78 78 78 20 62 69 74 20 66 6c 61 67 73  RM_xxx bit flags
2e30: 2e 20 20 53 65 65 20 62 65 6c 6f 77 20 2a 2f 0a  .  See below */.
2e40: 20 20 75 38 20 6e 43 68 69 6c 64 3b 20 20 20 20    u8 nChild;    
2e50: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d            /* Num
2e60: 62 65 72 20 6f 66 20 63 68 69 6c 64 72 65 6e 20  ber of children 
2e70: 74 68 61 74 20 6d 75 73 74 20 64 69 73 61 62 6c  that must disabl
2e80: 65 20 75 73 20 2a 2f 0a 20 20 57 68 65 72 65 43  e us */.  WhereC
2e90: 6c 61 75 73 65 20 2a 70 57 43 3b 20 20 20 20 20  lause *pWC;     
2ea0: 20 20 2f 2a 20 54 68 65 20 63 6c 61 75 73 65 20    /* The clause 
2eb0: 74 68 69 73 20 74 65 72 6d 20 69 73 20 70 61 72  this term is par
2ec0: 74 20 6f 66 20 2a 2f 0a 20 20 42 69 74 6d 61 73  t of */.  Bitmas
2ed0: 6b 20 70 72 65 72 65 71 52 69 67 68 74 3b 20 20  k prereqRight;  
2ee0: 20 20 2f 2a 20 42 69 74 6d 61 73 6b 20 6f 66 20    /* Bitmask of 
2ef0: 74 61 62 6c 65 73 20 75 73 65 64 20 62 79 20 70  tables used by p
2f00: 45 78 70 72 2d 3e 70 52 69 67 68 74 20 2a 2f 0a  Expr->pRight */.
2f10: 20 20 42 69 74 6d 61 73 6b 20 70 72 65 72 65 71    Bitmask prereq
2f20: 41 6c 6c 3b 20 20 20 20 20 20 2f 2a 20 42 69 74  All;      /* Bit
2f30: 6d 61 73 6b 20 6f 66 20 74 61 62 6c 65 73 20 72  mask of tables r
2f40: 65 66 65 72 65 6e 63 65 64 20 62 79 20 70 45 78  eferenced by pEx
2f50: 70 72 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20  pr */.};../*.** 
2f60: 41 6c 6c 6f 77 65 64 20 76 61 6c 75 65 73 20 6f  Allowed values o
2f70: 66 20 57 68 65 72 65 54 65 72 6d 2e 77 74 46 6c  f WhereTerm.wtFl
2f80: 61 67 73 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 54  ags.*/.#define T
2f90: 45 52 4d 5f 44 59 4e 41 4d 49 43 20 20 20 20 30  ERM_DYNAMIC    0
2fa0: 78 30 31 20 20 20 2f 2a 20 4e 65 65 64 20 74 6f  x01   /* Need to
2fb0: 20 63 61 6c 6c 20 73 71 6c 69 74 65 33 45 78 70   call sqlite3Exp
2fc0: 72 44 65 6c 65 74 65 28 64 62 2c 20 70 45 78 70  rDelete(db, pExp
2fd0: 72 29 20 2a 2f 0a 23 64 65 66 69 6e 65 20 54 45  r) */.#define TE
2fe0: 52 4d 5f 56 49 52 54 55 41 4c 20 20 20 20 30 78  RM_VIRTUAL    0x
2ff0: 30 32 20 20 20 2f 2a 20 41 64 64 65 64 20 62 79  02   /* Added by
3000: 20 74 68 65 20 6f 70 74 69 6d 69 7a 65 72 2e 20   the optimizer. 
3010: 20 44 6f 20 6e 6f 74 20 63 6f 64 65 20 2a 2f 0a   Do not code */.
3020: 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 43 4f 44  #define TERM_COD
3030: 45 44 20 20 20 20 20 20 30 78 30 34 20 20 20 2f  ED      0x04   /
3040: 2a 20 54 68 69 73 20 74 65 72 6d 20 69 73 20 61  * This term is a
3050: 6c 72 65 61 64 79 20 63 6f 64 65 64 20 2a 2f 0a  lready coded */.
3060: 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 43 4f 50  #define TERM_COP
3070: 49 45 44 20 20 20 20 20 30 78 30 38 20 20 20 2f  IED     0x08   /
3080: 2a 20 48 61 73 20 61 20 63 68 69 6c 64 20 2a 2f  * Has a child */
3090: 0a 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 4f 52  .#define TERM_OR
30a0: 49 4e 46 4f 20 20 20 20 20 30 78 31 30 20 20 20  INFO     0x10   
30b0: 2f 2a 20 4e 65 65 64 20 74 6f 20 66 72 65 65 20  /* Need to free 
30c0: 74 68 65 20 57 68 65 72 65 54 65 72 6d 2e 75 2e  the WhereTerm.u.
30d0: 70 4f 72 49 6e 66 6f 20 6f 62 6a 65 63 74 20 2a  pOrInfo object *
30e0: 2f 0a 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 41  /.#define TERM_A
30f0: 4e 44 49 4e 46 4f 20 20 20 20 30 78 32 30 20 20  NDINFO    0x20  
3100: 20 2f 2a 20 4e 65 65 64 20 74 6f 20 66 72 65 65   /* Need to free
3110: 20 74 68 65 20 57 68 65 72 65 54 65 72 6d 2e 75   the WhereTerm.u
3120: 2e 70 41 6e 64 49 6e 66 6f 20 6f 62 6a 20 2a 2f  .pAndInfo obj */
3130: 0a 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 4f 52  .#define TERM_OR
3140: 5f 4f 4b 20 20 20 20 20 20 30 78 34 30 20 20 20  _OK      0x40   
3150: 2f 2a 20 55 73 65 64 20 64 75 72 69 6e 67 20 4f  /* Used during O
3160: 52 2d 63 6c 61 75 73 65 20 70 72 6f 63 65 73 73  R-clause process
3170: 69 6e 67 20 2a 2f 0a 23 69 66 64 65 66 20 53 51  ing */.#ifdef SQ
3180: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 53 54 41 54  LITE_ENABLE_STAT
3190: 33 5f 4f 52 5f 53 54 41 54 34 0a 23 20 20 64 65  3_OR_STAT4.#  de
31a0: 66 69 6e 65 20 54 45 52 4d 5f 56 4e 55 4c 4c 20  fine TERM_VNULL 
31b0: 20 20 20 30 78 38 30 20 20 20 2f 2a 20 4d 61 6e     0x80   /* Man
31c0: 75 66 61 63 74 75 72 65 64 20 78 3e 4e 55 4c 4c  ufactured x>NULL
31d0: 20 6f 72 20 78 3c 3d 4e 55 4c 4c 20 74 65 72 6d   or x<=NULL term
31e0: 20 2a 2f 0a 23 65 6c 73 65 0a 23 20 20 64 65 66   */.#else.#  def
31f0: 69 6e 65 20 54 45 52 4d 5f 56 4e 55 4c 4c 20 20  ine TERM_VNULL  
3200: 20 20 30 78 30 30 20 20 20 2f 2a 20 44 69 73 61    0x00   /* Disa
3210: 62 6c 65 64 20 69 66 20 6e 6f 74 20 75 73 69 6e  bled if not usin
3220: 67 20 73 74 61 74 33 20 2a 2f 0a 23 65 6e 64 69  g stat3 */.#endi
3230: 66 0a 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 4c  f.#define TERM_L
3240: 49 4b 45 4f 50 54 20 20 20 20 30 78 31 30 30 20  IKEOPT    0x100 
3250: 20 2f 2a 20 56 69 72 74 75 61 6c 20 74 65 72 6d   /* Virtual term
3260: 73 20 66 72 6f 6d 20 74 68 65 20 4c 49 4b 45 20  s from the LIKE 
3270: 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 20 2a 2f 0a  optimization */.
3280: 23 64 65 66 69 6e 65 20 54 45 52 4d 5f 4c 49 4b  #define TERM_LIK
3290: 45 43 4f 4e 44 20 20 20 30 78 32 30 30 20 20 2f  ECOND   0x200  /
32a0: 2a 20 43 6f 6e 64 69 74 69 6f 6e 61 6c 6c 79 20  * Conditionally 
32b0: 74 68 69 73 20 4c 49 4b 45 20 6f 70 65 72 61 74  this LIKE operat
32c0: 6f 72 20 74 65 72 6d 20 2a 2f 0a 23 64 65 66 69  or term */.#defi
32d0: 6e 65 20 54 45 52 4d 5f 4c 49 4b 45 20 20 20 20  ne TERM_LIKE    
32e0: 20 20 20 30 78 34 30 30 20 20 2f 2a 20 54 68 65     0x400  /* The
32f0: 20 6f 72 69 67 69 6e 61 6c 20 4c 49 4b 45 20 6f   original LIKE o
3300: 70 65 72 61 74 6f 72 20 2a 2f 0a 23 64 65 66 69  perator */.#defi
3310: 6e 65 20 54 45 52 4d 5f 49 53 20 20 20 20 20 20  ne TERM_IS      
3320: 20 20 20 30 78 38 30 30 20 20 2f 2a 20 54 65 72     0x800  /* Ter
3330: 6d 2e 70 45 78 70 72 20 69 73 20 61 6e 20 49 53  m.pExpr is an IS
3340: 20 6f 70 65 72 61 74 6f 72 20 2a 2f 0a 0a 2f 2a   operator */../*
3350: 0a 2a 2a 20 41 6e 20 69 6e 73 74 61 6e 63 65 20  .** An instance 
3360: 6f 66 20 74 68 65 20 57 68 65 72 65 53 63 61 6e  of the WhereScan
3370: 20 6f 62 6a 65 63 74 20 69 73 20 75 73 65 64 20   object is used 
3380: 61 73 20 61 6e 20 69 74 65 72 61 74 6f 72 20 66  as an iterator f
3390: 6f 72 20 6c 6f 63 61 74 69 6e 67 0a 2a 2a 20 74  or locating.** t
33a0: 65 72 6d 73 20 69 6e 20 74 68 65 20 57 48 45 52  erms in the WHER
33b0: 45 20 63 6c 61 75 73 65 20 74 68 61 74 20 61 72  E clause that ar
33c0: 65 20 75 73 65 66 75 6c 20 74 6f 20 74 68 65 20  e useful to the 
33d0: 71 75 65 72 79 20 70 6c 61 6e 6e 65 72 2e 0a 2a  query planner..*
33e0: 2f 0a 73 74 72 75 63 74 20 57 68 65 72 65 53 63  /.struct WhereSc
33f0: 61 6e 20 7b 0a 20 20 57 68 65 72 65 43 6c 61 75  an {.  WhereClau
3400: 73 65 20 2a 70 4f 72 69 67 57 43 3b 20 20 20 20  se *pOrigWC;    
3410: 20 20 2f 2a 20 4f 72 69 67 69 6e 61 6c 2c 20 69    /* Original, i
3420: 6e 6e 65 72 6d 6f 73 74 20 57 68 65 72 65 43 6c  nnermost WhereCl
3430: 61 75 73 65 20 2a 2f 0a 20 20 57 68 65 72 65 43  ause */.  WhereC
3440: 6c 61 75 73 65 20 2a 70 57 43 3b 20 20 20 20 20  lause *pWC;     
3450: 20 20 20 20 20 2f 2a 20 57 68 65 72 65 43 6c 61       /* WhereCla
3460: 75 73 65 20 63 75 72 72 65 6e 74 6c 79 20 62 65  use currently be
3470: 69 6e 67 20 73 63 61 6e 6e 65 64 20 2a 2f 0a 20  ing scanned */. 
3480: 20 63 68 61 72 20 2a 7a 43 6f 6c 6c 4e 61 6d 65   char *zCollName
3490: 3b 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 52  ;           /* R
34a0: 65 71 75 69 72 65 64 20 63 6f 6c 6c 61 74 69 6e  equired collatin
34b0: 67 20 73 65 71 75 65 6e 63 65 2c 20 69 66 20 6e  g sequence, if n
34c0: 6f 74 20 4e 55 4c 4c 20 2a 2f 0a 20 20 45 78 70  ot NULL */.  Exp
34d0: 72 20 2a 70 49 64 78 45 78 70 72 3b 20 20 20 20  r *pIdxExpr;    
34e0: 20 20 20 20 20 20 20 20 2f 2a 20 53 65 61 72 63          /* Searc
34f0: 68 20 66 6f 72 20 74 68 69 73 20 69 6e 64 65 78  h for this index
3500: 20 65 78 70 72 65 73 73 69 6f 6e 20 2a 2f 0a 20   expression */. 
3510: 20 63 68 61 72 20 69 64 78 61 66 66 3b 20 20 20   char idxaff;   
3520: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d              /* M
3530: 75 73 74 20 6d 61 74 63 68 20 74 68 69 73 20 61  ust match this a
3540: 66 66 69 6e 69 74 79 2c 20 69 66 20 7a 43 6f 6c  ffinity, if zCol
3550: 6c 4e 61 6d 65 21 3d 4e 55 4c 4c 20 2a 2f 0a 20  lName!=NULL */. 
3560: 20 75 6e 73 69 67 6e 65 64 20 63 68 61 72 20 6e   unsigned char n
3570: 45 71 75 69 76 3b 20 20 20 20 20 20 2f 2a 20 4e  Equiv;      /* N
3580: 75 6d 62 65 72 20 6f 66 20 65 6e 74 72 69 65 73  umber of entries
3590: 20 69 6e 20 61 45 71 75 69 76 5b 5d 20 2a 2f 0a   in aEquiv[] */.
35a0: 20 20 75 6e 73 69 67 6e 65 64 20 63 68 61 72 20    unsigned char 
35b0: 69 45 71 75 69 76 3b 20 20 20 20 20 20 2f 2a 20  iEquiv;      /* 
35c0: 4e 65 78 74 20 75 6e 75 73 65 64 20 73 6c 6f 74  Next unused slot
35d0: 20 69 6e 20 61 45 71 75 69 76 5b 5d 20 2a 2f 0a   in aEquiv[] */.
35e0: 20 20 75 33 32 20 6f 70 4d 61 73 6b 3b 20 20 20    u32 opMask;   
35f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
3600: 41 63 63 65 70 74 61 62 6c 65 20 6f 70 65 72 61  Acceptable opera
3610: 74 6f 72 73 20 2a 2f 0a 20 20 69 6e 74 20 6b 3b  tors */.  int k;
3620: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3630: 20 20 20 20 20 2f 2a 20 52 65 73 75 6d 65 20 73       /* Resume s
3640: 63 61 6e 6e 69 6e 67 20 61 74 20 74 68 69 73 2d  canning at this-
3650: 3e 70 57 43 2d 3e 61 5b 74 68 69 73 2d 3e 6b 5d  >pWC->a[this->k]
3660: 20 2a 2f 0a 20 20 69 6e 74 20 61 69 43 75 72 5b   */.  int aiCur[
3670: 31 31 5d 3b 20 20 20 20 20 20 20 20 20 20 20 20  11];            
3680: 20 2f 2a 20 43 75 72 73 6f 72 73 20 69 6e 20 74   /* Cursors in t
3690: 68 65 20 65 71 75 69 76 61 6c 65 6e 63 65 20 63  he equivalence c
36a0: 6c 61 73 73 20 2a 2f 0a 20 20 69 31 36 20 61 69  lass */.  i16 ai
36b0: 43 6f 6c 75 6d 6e 5b 31 31 5d 3b 20 20 20 20 20  Column[11];     
36c0: 20 20 20 20 20 2f 2a 20 43 6f 72 72 65 73 70 6f       /* Correspo
36d0: 6e 64 69 6e 67 20 63 6f 6c 75 6d 6e 20 6e 75 6d  nding column num
36e0: 62 65 72 20 69 6e 20 74 68 65 20 65 71 2d 63 6c  ber in the eq-cl
36f0: 61 73 73 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a  ass */.};../*.**
3700: 20 41 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20   An instance of 
3710: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74  the following st
3720: 72 75 63 74 75 72 65 20 68 6f 6c 64 73 20 61 6c  ructure holds al
3730: 6c 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62  l information ab
3740: 6f 75 74 20 61 0a 2a 2a 20 57 48 45 52 45 20 63  out a.** WHERE c
3750: 6c 61 75 73 65 2e 20 20 4d 6f 73 74 6c 79 20 74  lause.  Mostly t
3760: 68 69 73 20 69 73 20 61 20 63 6f 6e 74 61 69 6e  his is a contain
3770: 65 72 20 66 6f 72 20 6f 6e 65 20 6f 72 20 6d 6f  er for one or mo
3780: 72 65 20 57 68 65 72 65 54 65 72 6d 73 2e 0a 2a  re WhereTerms..*
3790: 2a 0a 2a 2a 20 45 78 70 6c 61 6e 61 74 69 6f 6e  *.** Explanation
37a0: 20 6f 66 20 70 4f 75 74 65 72 3a 20 20 46 6f 72   of pOuter:  For
37b0: 20 61 20 57 48 45 52 45 20 63 6c 61 75 73 65 20   a WHERE clause 
37c0: 6f 66 20 74 68 65 20 66 6f 72 6d 0a 2a 2a 0a 2a  of the form.**.*
37d0: 2a 20 20 20 20 20 20 20 20 20 20 20 61 20 41 4e  *           a AN
37e0: 44 20 28 28 62 20 41 4e 44 20 63 29 20 4f 52 20  D ((b AND c) OR 
37f0: 28 64 20 41 4e 44 20 65 29 29 20 41 4e 44 20 66  (d AND e)) AND f
3800: 0a 2a 2a 0a 2a 2a 20 54 68 65 72 65 20 61 72 65  .**.** There are
3810: 20 73 65 70 61 72 61 74 65 20 57 68 65 72 65 43   separate WhereC
3820: 6c 61 75 73 65 20 6f 62 6a 65 63 74 73 20 66 6f  lause objects fo
3830: 72 20 74 68 65 20 77 68 6f 6c 65 20 63 6c 61 75  r the whole clau
3840: 73 65 20 61 6e 64 20 66 6f 72 0a 2a 2a 20 74 68  se and for.** th
3850: 65 20 73 75 62 63 6c 61 75 73 65 73 20 22 28 62  e subclauses "(b
3860: 20 41 4e 44 20 63 29 22 20 61 6e 64 20 22 28 64   AND c)" and "(d
3870: 20 41 4e 44 20 65 29 22 2e 20 20 54 68 65 20 70   AND e)".  The p
3880: 4f 75 74 65 72 20 66 69 65 6c 64 20 6f 66 20 74  Outer field of t
3890: 68 65 0a 2a 2a 20 73 75 62 63 6c 61 75 73 65 73  he.** subclauses
38a0: 20 70 6f 69 6e 74 73 20 74 6f 20 74 68 65 20 57   points to the W
38b0: 68 65 72 65 43 6c 61 75 73 65 20 6f 62 6a 65 63  hereClause objec
38c0: 74 20 66 6f 72 20 74 68 65 20 77 68 6f 6c 65 20  t for the whole 
38d0: 63 6c 61 75 73 65 2e 0a 2a 2f 0a 73 74 72 75 63  clause..*/.struc
38e0: 74 20 57 68 65 72 65 43 6c 61 75 73 65 20 7b 0a  t WhereClause {.
38f0: 20 20 57 68 65 72 65 49 6e 66 6f 20 2a 70 57 49    WhereInfo *pWI
3900: 6e 66 6f 3b 20 20 20 20 20 20 20 2f 2a 20 57 48  nfo;       /* WH
3910: 45 52 45 20 63 6c 61 75 73 65 20 70 72 6f 63 65  ERE clause proce
3920: 73 73 69 6e 67 20 63 6f 6e 74 65 78 74 20 2a 2f  ssing context */
3930: 0a 20 20 57 68 65 72 65 43 6c 61 75 73 65 20 2a  .  WhereClause *
3940: 70 4f 75 74 65 72 3b 20 20 20 20 20 2f 2a 20 4f  pOuter;     /* O
3950: 75 74 65 72 20 63 6f 6e 6a 75 6e 63 74 69 6f 6e  uter conjunction
3960: 20 2a 2f 0a 20 20 75 38 20 6f 70 3b 20 20 20 20   */.  u8 op;    
3970: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
3980: 2a 20 53 70 6c 69 74 20 6f 70 65 72 61 74 6f 72  * Split operator
3990: 2e 20 20 54 4b 5f 41 4e 44 20 6f 72 20 54 4b 5f  .  TK_AND or TK_
39a0: 4f 52 20 2a 2f 0a 20 20 69 6e 74 20 6e 54 65 72  OR */.  int nTer
39b0: 6d 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  m;              
39c0: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 74 65   /* Number of te
39d0: 72 6d 73 20 2a 2f 0a 20 20 69 6e 74 20 6e 53 6c  rms */.  int nSl
39e0: 6f 74 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  ot;             
39f0: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65    /* Number of e
3a00: 6e 74 72 69 65 73 20 69 6e 20 61 5b 5d 20 2a 2f  ntries in a[] */
3a10: 0a 20 20 57 68 65 72 65 54 65 72 6d 20 2a 61 3b  .  WhereTerm *a;
3a20: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 45              /* E
3a30: 61 63 68 20 61 5b 5d 20 64 65 73 63 72 69 62 65  ach a[] describe
3a40: 73 20 61 20 74 65 72 6d 20 6f 66 20 74 68 65 20  s a term of the 
3a50: 57 48 45 52 45 20 63 6c 75 61 73 65 20 2a 2f 0a  WHERE cluase */.
3a60: 23 69 66 20 64 65 66 69 6e 65 64 28 53 51 4c 49  #if defined(SQLI
3a70: 54 45 5f 53 4d 41 4c 4c 5f 53 54 41 43 4b 29 0a  TE_SMALL_STACK).
3a80: 20 20 57 68 65 72 65 54 65 72 6d 20 61 53 74 61    WhereTerm aSta
3a90: 74 69 63 5b 31 5d 3b 20 20 20 20 2f 2a 20 49 6e  tic[1];    /* In
3aa0: 69 74 69 61 6c 20 73 74 61 74 69 63 20 73 70 61  itial static spa
3ab0: 63 65 20 66 6f 72 20 61 5b 5d 20 2a 2f 0a 23 65  ce for a[] */.#e
3ac0: 6c 73 65 0a 20 20 57 68 65 72 65 54 65 72 6d 20  lse.  WhereTerm 
3ad0: 61 53 74 61 74 69 63 5b 38 5d 3b 20 20 20 20 2f  aStatic[8];    /
3ae0: 2a 20 49 6e 69 74 69 61 6c 20 73 74 61 74 69 63  * Initial static
3af0: 20 73 70 61 63 65 20 66 6f 72 20 61 5b 5d 20 2a   space for a[] *
3b00: 2f 0a 23 65 6e 64 69 66 0a 7d 3b 0a 0a 2f 2a 0a  /.#endif.};../*.
3b10: 2a 2a 20 41 20 57 68 65 72 65 54 65 72 6d 20 77  ** A WhereTerm w
3b20: 69 74 68 20 65 4f 70 65 72 61 74 6f 72 3d 3d 57  ith eOperator==W
3b30: 4f 5f 4f 52 20 68 61 73 20 69 74 73 20 75 2e 70  O_OR has its u.p
3b40: 4f 72 49 6e 66 6f 20 70 6f 69 6e 74 65 72 20 73  OrInfo pointer s
3b50: 65 74 20 74 6f 0a 2a 2a 20 61 20 64 79 6e 61 6d  et to.** a dynam
3b60: 69 63 61 6c 6c 79 20 61 6c 6c 6f 63 61 74 65 64  ically allocated
3b70: 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 65   instance of the
3b80: 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63   following struc
3b90: 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 20  ture..*/.struct 
3ba0: 57 68 65 72 65 4f 72 49 6e 66 6f 20 7b 0a 20 20  WhereOrInfo {.  
3bb0: 57 68 65 72 65 43 6c 61 75 73 65 20 77 63 3b 20  WhereClause wc; 
3bc0: 20 20 20 20 20 20 20 20 20 2f 2a 20 44 65 63 6f           /* Deco
3bd0: 6d 70 6f 73 69 74 69 6f 6e 20 69 6e 74 6f 20 73  mposition into s
3be0: 75 62 74 65 72 6d 73 20 2a 2f 0a 20 20 42 69 74  ubterms */.  Bit
3bf0: 6d 61 73 6b 20 69 6e 64 65 78 61 62 6c 65 3b 20  mask indexable; 
3c00: 20 20 20 20 20 20 2f 2a 20 42 69 74 6d 61 73 6b        /* Bitmask
3c10: 20 6f 66 20 61 6c 6c 20 69 6e 64 65 78 61 62 6c   of all indexabl
3c20: 65 20 74 61 62 6c 65 73 20 69 6e 20 74 68 65 20  e tables in the 
3c30: 63 6c 61 75 73 65 20 2a 2f 0a 7d 3b 0a 0a 2f 2a  clause */.};../*
3c40: 0a 2a 2a 20 41 20 57 68 65 72 65 54 65 72 6d 20  .** A WhereTerm 
3c50: 77 69 74 68 20 65 4f 70 65 72 61 74 6f 72 3d 3d  with eOperator==
3c60: 57 4f 5f 41 4e 44 20 68 61 73 20 69 74 73 20 75  WO_AND has its u
3c70: 2e 70 41 6e 64 49 6e 66 6f 20 70 6f 69 6e 74 65  .pAndInfo pointe
3c80: 72 20 73 65 74 20 74 6f 0a 2a 2a 20 61 20 64 79  r set to.** a dy
3c90: 6e 61 6d 69 63 61 6c 6c 79 20 61 6c 6c 6f 63 61  namically alloca
3ca0: 74 65 64 20 69 6e 73 74 61 6e 63 65 20 6f 66 20  ted instance of 
3cb0: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74  the following st
3cc0: 72 75 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75  ructure..*/.stru
3cd0: 63 74 20 57 68 65 72 65 41 6e 64 49 6e 66 6f 20  ct WhereAndInfo 
3ce0: 7b 0a 20 20 57 68 65 72 65 43 6c 61 75 73 65 20  {.  WhereClause 
3cf0: 77 63 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20  wc;          /* 
3d00: 54 68 65 20 73 75 62 65 78 70 72 65 73 73 69 6f  The subexpressio
3d10: 6e 20 62 72 6f 6b 65 6e 20 6f 75 74 20 2a 2f 0a  n broken out */.
3d20: 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 41 6e 20 69 6e 73  };../*.** An ins
3d30: 74 61 6e 63 65 20 6f 66 20 74 68 65 20 66 6f 6c  tance of the fol
3d40: 6c 6f 77 69 6e 67 20 73 74 72 75 63 74 75 72 65  lowing structure
3d50: 20 6b 65 65 70 73 20 74 72 61 63 6b 20 6f 66 20   keeps track of 
3d60: 61 20 6d 61 70 70 69 6e 67 0a 2a 2a 20 62 65 74  a mapping.** bet
3d70: 77 65 65 6e 20 56 44 42 45 20 63 75 72 73 6f 72  ween VDBE cursor
3d80: 20 6e 75 6d 62 65 72 73 20 61 6e 64 20 62 69 74   numbers and bit
3d90: 73 20 6f 66 20 74 68 65 20 62 69 74 6d 61 73 6b  s of the bitmask
3da0: 73 20 69 6e 20 57 68 65 72 65 54 65 72 6d 2e 0a  s in WhereTerm..
3db0: 2a 2a 0a 2a 2a 20 54 68 65 20 56 44 42 45 20 63  **.** The VDBE c
3dc0: 75 72 73 6f 72 20 6e 75 6d 62 65 72 73 20 61 72  ursor numbers ar
3dd0: 65 20 73 6d 61 6c 6c 20 69 6e 74 65 67 65 72 73  e small integers
3de0: 20 63 6f 6e 74 61 69 6e 65 64 20 69 6e 20 0a 2a   contained in .*
3df0: 2a 20 53 72 63 4c 69 73 74 5f 69 74 65 6d 2e 69  * SrcList_item.i
3e00: 43 75 72 73 6f 72 20 61 6e 64 20 45 78 70 72 2e  Cursor and Expr.
3e10: 69 54 61 62 6c 65 20 66 69 65 6c 64 73 2e 20 20  iTable fields.  
3e20: 46 6f 72 20 61 6e 79 20 67 69 76 65 6e 20 57 48  For any given WH
3e30: 45 52 45 20 0a 2a 2a 20 63 6c 61 75 73 65 2c 20  ERE .** clause, 
3e40: 74 68 65 20 63 75 72 73 6f 72 20 6e 75 6d 62 65  the cursor numbe
3e50: 72 73 20 6d 69 67 68 74 20 6e 6f 74 20 62 65 67  rs might not beg
3e60: 69 6e 20 77 69 74 68 20 30 20 61 6e 64 20 74 68  in with 0 and th
3e70: 65 79 20 6d 69 67 68 74 0a 2a 2a 20 63 6f 6e 74  ey might.** cont
3e80: 61 69 6e 20 67 61 70 73 20 69 6e 20 74 68 65 20  ain gaps in the 
3e90: 6e 75 6d 62 65 72 69 6e 67 20 73 65 71 75 65 6e  numbering sequen
3ea0: 63 65 2e 20 20 42 75 74 20 77 65 20 77 61 6e 74  ce.  But we want
3eb0: 20 74 6f 20 6d 61 6b 65 20 6d 61 78 69 6d 75 6d   to make maximum
3ec0: 0a 2a 2a 20 75 73 65 20 6f 66 20 74 68 65 20 62  .** use of the b
3ed0: 69 74 73 20 69 6e 20 6f 75 72 20 62 69 74 6d 61  its in our bitma
3ee0: 73 6b 73 2e 20 20 54 68 69 73 20 73 74 72 75 63  sks.  This struc
3ef0: 74 75 72 65 20 70 72 6f 76 69 64 65 73 20 61 20  ture provides a 
3f00: 6d 61 70 70 69 6e 67 0a 2a 2a 20 66 72 6f 6d 20  mapping.** from 
3f10: 74 68 65 20 73 70 61 72 73 65 20 63 75 72 73 6f  the sparse curso
3f20: 72 20 6e 75 6d 62 65 72 73 20 69 6e 74 6f 20 63  r numbers into c
3f30: 6f 6e 73 65 63 75 74 69 76 65 20 69 6e 74 65 67  onsecutive integ
3f40: 65 72 73 20 62 65 67 69 6e 6e 69 6e 67 0a 2a 2a  ers beginning.**
3f50: 20 77 69 74 68 20 30 2e 0a 2a 2a 0a 2a 2a 20 49   with 0..**.** I
3f60: 66 20 57 68 65 72 65 4d 61 73 6b 53 65 74 2e 69  f WhereMaskSet.i
3f70: 78 5b 41 5d 3d 3d 42 20 69 74 20 6d 65 61 6e 73  x[A]==B it means
3f80: 20 74 68 61 74 20 54 68 65 20 41 2d 74 68 20 62   that The A-th b
3f90: 69 74 20 6f 66 20 61 20 42 69 74 6d 61 73 6b 0a  it of a Bitmask.
3fa0: 2a 2a 20 63 6f 72 72 65 73 70 6f 6e 64 73 20 56  ** corresponds V
3fb0: 44 42 45 20 63 75 72 73 6f 72 20 6e 75 6d 62 65  DBE cursor numbe
3fc0: 72 20 42 2e 20 20 54 68 65 20 41 2d 74 68 20 62  r B.  The A-th b
3fd0: 69 74 20 6f 66 20 61 20 62 69 74 6d 61 73 6b 20  it of a bitmask 
3fe0: 69 73 20 31 3c 3c 41 2e 0a 2a 2a 0a 2a 2a 20 46  is 1<<A..**.** F
3ff0: 6f 72 20 65 78 61 6d 70 6c 65 2c 20 69 66 20 74  or example, if t
4000: 68 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 20  he WHERE clause 
4010: 65 78 70 72 65 73 73 69 6f 6e 20 75 73 65 64 20  expression used 
4020: 74 68 65 73 65 20 56 44 42 45 0a 2a 2a 20 63 75  these VDBE.** cu
4030: 72 73 6f 72 73 3a 20 20 34 2c 20 35 2c 20 38 2c  rsors:  4, 5, 8,
4040: 20 32 39 2c 20 35 37 2c 20 37 33 2e 20 20 54 68   29, 57, 73.  Th
4050: 65 6e 20 74 68 65 20 20 57 68 65 72 65 4d 61 73  en the  WhereMas
4060: 6b 53 65 74 20 73 74 72 75 63 74 75 72 65 0a 2a  kSet structure.*
4070: 2a 20 77 6f 75 6c 64 20 6d 61 70 20 74 68 6f 73  * would map thos
4080: 65 20 63 75 72 73 6f 72 20 6e 75 6d 62 65 72 73  e cursor numbers
4090: 20 69 6e 74 6f 20 62 69 74 73 20 30 20 74 68 72   into bits 0 thr
40a0: 6f 75 67 68 20 35 2e 0a 2a 2a 0a 2a 2a 20 4e 6f  ough 5..**.** No
40b0: 74 65 20 74 68 61 74 20 74 68 65 20 6d 61 70 70  te that the mapp
40c0: 69 6e 67 20 69 73 20 6e 6f 74 20 6e 65 63 65 73  ing is not neces
40d0: 73 61 72 69 6c 79 20 6f 72 64 65 72 65 64 2e 20  sarily ordered. 
40e0: 20 49 6e 20 74 68 65 20 65 78 61 6d 70 6c 65 0a   In the example.
40f0: 2a 2a 20 61 62 6f 76 65 2c 20 74 68 65 20 6d 61  ** above, the ma
4100: 70 70 69 6e 67 20 6d 69 67 68 74 20 67 6f 20 6c  pping might go l
4110: 69 6b 65 20 74 68 69 73 3a 20 20 34 2d 3e 33 2c  ike this:  4->3,
4120: 20 35 2d 3e 31 2c 20 38 2d 3e 32 2c 20 32 39 2d   5->1, 8->2, 29-
4130: 3e 30 2c 0a 2a 2a 20 35 37 2d 3e 35 2c 20 37 33  >0,.** 57->5, 73
4140: 2d 3e 34 2e 20 20 4f 72 20 6f 6e 65 20 6f 66 20  ->4.  Or one of 
4150: 37 31 39 20 6f 74 68 65 72 20 63 6f 6d 62 69 6e  719 other combin
4160: 61 74 69 6f 6e 73 20 6d 69 67 68 74 20 62 65 20  ations might be 
4170: 75 73 65 64 2e 20 49 74 0a 2a 2a 20 64 6f 65 73  used. It.** does
4180: 20 6e 6f 74 20 72 65 61 6c 6c 79 20 6d 61 74 74   not really matt
4190: 65 72 2e 20 20 57 68 61 74 20 69 73 20 69 6d 70  er.  What is imp
41a0: 6f 72 74 61 6e 74 20 69 73 20 74 68 61 74 20 73  ortant is that s
41b0: 70 61 72 73 65 20 63 75 72 73 6f 72 0a 2a 2a 20  parse cursor.** 
41c0: 6e 75 6d 62 65 72 73 20 61 6c 6c 20 67 65 74 20  numbers all get 
41d0: 6d 61 70 70 65 64 20 69 6e 74 6f 20 62 69 74 20  mapped into bit 
41e0: 6e 75 6d 62 65 72 73 20 74 68 61 74 20 62 65 67  numbers that beg
41f0: 69 6e 20 77 69 74 68 20 30 20 61 6e 64 20 63 6f  in with 0 and co
4200: 6e 74 61 69 6e 0a 2a 2a 20 6e 6f 20 67 61 70 73  ntain.** no gaps
4210: 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 57 68 65 72  ..*/.struct Wher
4220: 65 4d 61 73 6b 53 65 74 20 7b 0a 20 20 69 6e 74  eMaskSet {.  int
4230: 20 6e 3b 20 20 20 20 20 20 20 20 20 20 20 20 20   n;             
4240: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75             /* Nu
4250: 6d 62 65 72 20 6f 66 20 61 73 73 69 67 6e 65 64  mber of assigned
4260: 20 63 75 72 73 6f 72 20 76 61 6c 75 65 73 20 2a   cursor values *
4270: 2f 0a 20 20 69 6e 74 20 69 78 5b 42 4d 53 5d 3b  /.  int ix[BMS];
4280: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4290: 20 20 2f 2a 20 43 75 72 73 6f 72 20 61 73 73 69    /* Cursor assi
42a0: 67 6e 65 64 20 74 6f 20 65 61 63 68 20 62 69 74  gned to each bit
42b0: 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 49 6e   */.};../*.** In
42c0: 69 74 69 61 6c 69 7a 65 20 61 20 57 68 65 72 65  itialize a Where
42d0: 4d 61 73 6b 53 65 74 20 6f 62 6a 65 63 74 0a 2a  MaskSet object.*
42e0: 2f 0a 23 64 65 66 69 6e 65 20 69 6e 69 74 4d 61  /.#define initMa
42f0: 73 6b 53 65 74 28 50 29 20 20 28 50 29 2d 3e 6e  skSet(P)  (P)->n
4300: 3d 30 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 6f  =0../*.** This o
4310: 62 6a 65 63 74 20 69 73 20 61 20 63 6f 6e 76 65  bject is a conve
4320: 6e 69 65 6e 63 65 20 77 72 61 70 70 65 72 20 68  nience wrapper h
4330: 6f 6c 64 69 6e 67 20 61 6c 6c 20 69 6e 66 6f 72  olding all infor
4340: 6d 61 74 69 6f 6e 20 6e 65 65 64 65 64 0a 2a 2a  mation needed.**
4350: 20 74 6f 20 63 6f 6e 73 74 72 75 63 74 20 57 68   to construct Wh
4360: 65 72 65 4c 6f 6f 70 20 6f 62 6a 65 63 74 73 20  ereLoop objects 
4370: 66 6f 72 20 61 20 70 61 72 74 69 63 75 6c 61 72  for a particular
4380: 20 71 75 65 72 79 2e 0a 2a 2f 0a 73 74 72 75 63   query..*/.struc
4390: 74 20 57 68 65 72 65 4c 6f 6f 70 42 75 69 6c 64  t WhereLoopBuild
43a0: 65 72 20 7b 0a 20 20 57 68 65 72 65 49 6e 66 6f  er {.  WhereInfo
43b0: 20 2a 70 57 49 6e 66 6f 3b 20 20 20 20 20 20 20   *pWInfo;       
43c0: 20 2f 2a 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20   /* Information 
43d0: 61 62 6f 75 74 20 74 68 69 73 20 57 48 45 52 45  about this WHERE
43e0: 20 2a 2f 0a 20 20 57 68 65 72 65 43 6c 61 75 73   */.  WhereClaus
43f0: 65 20 2a 70 57 43 3b 20 20 20 20 20 20 20 20 20  e *pWC;         
4400: 2f 2a 20 57 48 45 52 45 20 63 6c 61 75 73 65 20  /* WHERE clause 
4410: 74 65 72 6d 73 20 2a 2f 0a 20 20 45 78 70 72 4c  terms */.  ExprL
4420: 69 73 74 20 2a 70 4f 72 64 65 72 42 79 3b 20 20  ist *pOrderBy;  
4430: 20 20 20 20 20 2f 2a 20 4f 52 44 45 52 20 42 59       /* ORDER BY
4440: 20 63 6c 61 75 73 65 20 2a 2f 0a 20 20 57 68 65   clause */.  Whe
4450: 72 65 4c 6f 6f 70 20 2a 70 4e 65 77 3b 20 20 20  reLoop *pNew;   
4460: 20 20 20 20 20 20 20 2f 2a 20 54 65 6d 70 6c 61         /* Templa
4470: 74 65 20 57 68 65 72 65 4c 6f 6f 70 20 2a 2f 0a  te WhereLoop */.
4480: 20 20 57 68 65 72 65 4f 72 53 65 74 20 2a 70 4f    WhereOrSet *pO
4490: 72 53 65 74 3b 20 20 20 20 20 20 20 2f 2a 20 52  rSet;       /* R
44a0: 65 63 6f 72 64 20 62 65 73 74 20 6c 6f 6f 70 73  ecord best loops
44b0: 20 68 65 72 65 2c 20 69 66 20 6e 6f 74 20 4e 55   here, if not NU
44c0: 4c 4c 20 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c  LL */.#ifdef SQL
44d0: 49 54 45 5f 45 4e 41 42 4c 45 5f 53 54 41 54 33  ITE_ENABLE_STAT3
44e0: 5f 4f 52 5f 53 54 41 54 34 0a 20 20 55 6e 70 61  _OR_STAT4.  Unpa
44f0: 63 6b 65 64 52 65 63 6f 72 64 20 2a 70 52 65 63  ckedRecord *pRec
4500: 3b 20 20 20 20 20 2f 2a 20 50 72 6f 62 65 20 66  ;     /* Probe f
4510: 6f 72 20 73 74 61 74 34 20 28 69 66 20 72 65 71  or stat4 (if req
4520: 75 69 72 65 64 29 20 2a 2f 0a 20 20 69 6e 74 20  uired) */.  int 
4530: 6e 52 65 63 56 61 6c 69 64 3b 20 20 20 20 20 20  nRecValid;      
4540: 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20        /* Number 
4550: 6f 66 20 76 61 6c 69 64 20 66 69 65 6c 64 73 20  of valid fields 
4560: 63 75 72 72 65 6e 74 6c 79 20 69 6e 20 70 52 65  currently in pRe
4570: 63 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d 3b 0a 0a  c */.#endif.};..
4580: 2f 2a 0a 2a 2a 20 54 68 65 20 57 48 45 52 45 20  /*.** The WHERE 
4590: 63 6c 61 75 73 65 20 70 72 6f 63 65 73 73 69 6e  clause processin
45a0: 67 20 72 6f 75 74 69 6e 65 20 68 61 73 20 74 77  g routine has tw
45b0: 6f 20 68 61 6c 76 65 73 2e 20 20 54 68 65 0a 2a  o halves.  The.*
45c0: 2a 20 66 69 72 73 74 20 70 61 72 74 20 64 6f 65  * first part doe
45d0: 73 20 74 68 65 20 73 74 61 72 74 20 6f 66 20 74  s the start of t
45e0: 68 65 20 57 48 45 52 45 20 6c 6f 6f 70 20 61 6e  he WHERE loop an
45f0: 64 20 74 68 65 20 73 65 63 6f 6e 64 0a 2a 2a 20  d the second.** 
4600: 68 61 6c 66 20 64 6f 65 73 20 74 68 65 20 74 61  half does the ta
4610: 69 6c 20 6f 66 20 74 68 65 20 57 48 45 52 45 20  il of the WHERE 
4620: 6c 6f 6f 70 2e 20 20 41 6e 20 69 6e 73 74 61 6e  loop.  An instan
4630: 63 65 20 6f 66 0a 2a 2a 20 74 68 69 73 20 73 74  ce of.** this st
4640: 72 75 63 74 75 72 65 20 69 73 20 72 65 74 75 72  ructure is retur
4650: 6e 65 64 20 62 79 20 74 68 65 20 66 69 72 73 74  ned by the first
4660: 20 68 61 6c 66 20 61 6e 64 20 70 61 73 73 65 64   half and passed
4670: 0a 2a 2a 20 69 6e 74 6f 20 74 68 65 20 73 65 63  .** into the sec
4680: 6f 6e 64 20 68 61 6c 66 20 74 6f 20 67 69 76 65  ond half to give
4690: 20 73 6f 6d 65 20 63 6f 6e 74 69 6e 75 69 74 79   some continuity
46a0: 2e 0a 2a 2a 0a 2a 2a 20 41 6e 20 69 6e 73 74 61  ..**.** An insta
46b0: 6e 63 65 20 6f 66 20 74 68 69 73 20 6f 62 6a 65  nce of this obje
46c0: 63 74 20 68 6f 6c 64 73 20 74 68 65 20 63 6f 6d  ct holds the com
46d0: 70 6c 65 74 65 20 73 74 61 74 65 20 6f 66 20 74  plete state of t
46e0: 68 65 20 71 75 65 72 79 0a 2a 2a 20 70 6c 61 6e  he query.** plan
46f0: 6e 65 72 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 57  ner..*/.struct W
4700: 68 65 72 65 49 6e 66 6f 20 7b 0a 20 20 50 61 72  hereInfo {.  Par
4710: 73 65 20 2a 70 50 61 72 73 65 3b 20 20 20 20 20  se *pParse;     
4720: 20 20 20 20 20 20 20 2f 2a 20 50 61 72 73 69 6e         /* Parsin
4730: 67 20 61 6e 64 20 63 6f 64 65 20 67 65 6e 65 72  g and code gener
4740: 61 74 69 6e 67 20 63 6f 6e 74 65 78 74 20 2a 2f  ating context */
4750: 0a 20 20 53 72 63 4c 69 73 74 20 2a 70 54 61 62  .  SrcList *pTab
4760: 4c 69 73 74 3b 20 20 20 20 20 20 20 20 2f 2a 20  List;        /* 
4770: 4c 69 73 74 20 6f 66 20 74 61 62 6c 65 73 20 69  List of tables i
4780: 6e 20 74 68 65 20 6a 6f 69 6e 20 2a 2f 0a 20 20  n the join */.  
4790: 45 78 70 72 4c 69 73 74 20 2a 70 4f 72 64 65 72  ExprList *pOrder
47a0: 42 79 3b 20 20 20 20 20 20 20 2f 2a 20 54 68 65  By;       /* The
47b0: 20 4f 52 44 45 52 20 42 59 20 63 6c 61 75 73 65   ORDER BY clause
47c0: 20 6f 72 20 4e 55 4c 4c 20 2a 2f 0a 20 20 45 78   or NULL */.  Ex
47d0: 70 72 4c 69 73 74 20 2a 70 52 65 73 75 6c 74 53  prList *pResultS
47e0: 65 74 3b 20 20 20 20 20 2f 2a 20 52 65 73 75 6c  et;     /* Resul
47f0: 74 20 73 65 74 2e 20 44 49 53 54 49 4e 43 54 20  t set. DISTINCT 
4800: 6f 70 65 72 61 74 65 73 20 6f 6e 20 74 68 65 73  operates on thes
4810: 65 20 2a 2f 0a 20 20 57 68 65 72 65 4c 6f 6f 70  e */.  WhereLoop
4820: 20 2a 70 4c 6f 6f 70 73 3b 20 20 20 20 20 20 20   *pLoops;       
4830: 20 2f 2a 20 4c 69 73 74 20 6f 66 20 61 6c 6c 20   /* List of all 
4840: 57 68 65 72 65 4c 6f 6f 70 20 6f 62 6a 65 63 74  WhereLoop object
4850: 73 20 2a 2f 0a 20 20 42 69 74 6d 61 73 6b 20 72  s */.  Bitmask r
4860: 65 76 4d 61 73 6b 3b 20 20 20 20 20 20 20 20 20  evMask;         
4870: 20 2f 2a 20 4d 61 73 6b 20 6f 66 20 4f 52 44 45   /* Mask of ORDE
4880: 52 20 42 59 20 74 65 72 6d 73 20 74 68 61 74 20  R BY terms that 
4890: 6e 65 65 64 20 72 65 76 65 72 73 69 6e 67 20 2a  need reversing *
48a0: 2f 0a 20 20 4c 6f 67 45 73 74 20 6e 52 6f 77 4f  /.  LogEst nRowO
48b0: 75 74 3b 20 20 20 20 20 20 20 20 20 20 20 2f 2a  ut;           /*
48c0: 20 45 73 74 69 6d 61 74 65 64 20 6e 75 6d 62 65   Estimated numbe
48d0: 72 20 6f 66 20 6f 75 74 70 75 74 20 72 6f 77 73  r of output rows
48e0: 20 2a 2f 0a 20 20 75 31 36 20 77 63 74 72 6c 46   */.  u16 wctrlF
48f0: 6c 61 67 73 3b 20 20 20 20 20 20 20 20 20 20 20  lags;           
4900: 2f 2a 20 46 6c 61 67 73 20 6f 72 69 67 69 6e 61  /* Flags origina
4910: 6c 6c 79 20 70 61 73 73 65 64 20 74 6f 20 73 71  lly passed to sq
4920: 6c 69 74 65 33 57 68 65 72 65 42 65 67 69 6e 28  lite3WhereBegin(
4930: 29 20 2a 2f 0a 20 20 69 38 20 6e 4f 42 53 61 74  ) */.  i8 nOBSat
4940: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
4950: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 4f 52   /* Number of OR
4960: 44 45 52 20 42 59 20 74 65 72 6d 73 20 73 61 74  DER BY terms sat
4970: 69 73 66 69 65 64 20 62 79 20 69 6e 64 69 63 65  isfied by indice
4980: 73 20 2a 2f 0a 20 20 75 38 20 73 6f 72 74 65 64  s */.  u8 sorted
4990: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
49a0: 20 2f 2a 20 54 72 75 65 20 69 66 20 72 65 61 6c   /* True if real
49b0: 6c 79 20 73 6f 72 74 65 64 20 28 6e 6f 74 20 6a  ly sorted (not j
49c0: 75 73 74 20 67 72 6f 75 70 65 64 29 20 2a 2f 0a  ust grouped) */.
49d0: 20 20 75 38 20 6f 6b 4f 6e 65 50 61 73 73 3b 20    u8 okOnePass; 
49e0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4f              /* O
49f0: 6b 20 74 6f 20 75 73 65 20 6f 6e 65 2d 70 61 73  k to use one-pas
4a00: 73 20 61 6c 67 6f 72 69 74 68 6d 20 66 6f 72 20  s algorithm for 
4a10: 55 50 44 41 54 45 2f 44 45 4c 45 54 45 20 2a 2f  UPDATE/DELETE */
4a20: 0a 20 20 75 38 20 75 6e 74 65 73 74 65 64 54 65  .  u8 untestedTe
4a30: 72 6d 73 3b 20 20 20 20 20 20 20 20 20 2f 2a 20  rms;         /* 
4a40: 4e 6f 74 20 61 6c 6c 20 57 48 45 52 45 20 74 65  Not all WHERE te
4a50: 72 6d 73 20 72 65 73 6f 6c 76 65 64 20 62 79 20  rms resolved by 
4a60: 6f 75 74 65 72 20 6c 6f 6f 70 20 2a 2f 0a 20 20  outer loop */.  
4a70: 75 38 20 65 44 69 73 74 69 6e 63 74 3b 20 20 20  u8 eDistinct;   
4a80: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4f 6e 65            /* One
4a90: 20 6f 66 20 74 68 65 20 57 48 45 52 45 5f 44 49   of the WHERE_DI
4aa0: 53 54 49 4e 43 54 5f 2a 20 76 61 6c 75 65 73 20  STINCT_* values 
4ab0: 62 65 6c 6f 77 20 2a 2f 0a 20 20 75 38 20 6e 4c  below */.  u8 nL
4ac0: 65 76 65 6c 3b 20 20 20 20 20 20 20 20 20 20 20  evel;           
4ad0: 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f       /* Number o
4ae0: 66 20 6e 65 73 74 65 64 20 6c 6f 6f 70 20 2a 2f  f nested loop */
4af0: 0a 20 20 69 6e 74 20 69 54 6f 70 3b 20 20 20 20  .  int iTop;    
4b00: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
4b10: 54 68 65 20 76 65 72 79 20 62 65 67 69 6e 6e 69  The very beginni
4b20: 6e 67 20 6f 66 20 74 68 65 20 57 48 45 52 45 20  ng of the WHERE 
4b30: 6c 6f 6f 70 20 2a 2f 0a 20 20 69 6e 74 20 69 43  loop */.  int iC
4b40: 6f 6e 74 69 6e 75 65 3b 20 20 20 20 20 20 20 20  ontinue;        
4b50: 20 20 20 20 2f 2a 20 4a 75 6d 70 20 68 65 72 65      /* Jump here
4b60: 20 74 6f 20 63 6f 6e 74 69 6e 75 65 20 77 69 74   to continue wit
4b70: 68 20 6e 65 78 74 20 72 65 63 6f 72 64 20 2a 2f  h next record */
4b80: 0a 20 20 69 6e 74 20 69 42 72 65 61 6b 3b 20 20  .  int iBreak;  
4b90: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
4ba0: 4a 75 6d 70 20 68 65 72 65 20 74 6f 20 62 72 65  Jump here to bre
4bb0: 61 6b 20 6f 75 74 20 6f 66 20 74 68 65 20 6c 6f  ak out of the lo
4bc0: 6f 70 20 2a 2f 0a 20 20 69 6e 74 20 73 61 76 65  op */.  int save
4bd0: 64 4e 51 75 65 72 79 4c 6f 6f 70 3b 20 20 20 20  dNQueryLoop;    
4be0: 20 20 2f 2a 20 70 50 61 72 73 65 2d 3e 6e 51 75    /* pParse->nQu
4bf0: 65 72 79 4c 6f 6f 70 20 6f 75 74 73 69 64 65 20  eryLoop outside 
4c00: 74 68 65 20 57 48 45 52 45 20 6c 6f 6f 70 20 2a  the WHERE loop *
4c10: 2f 0a 20 20 69 6e 74 20 61 69 43 75 72 4f 6e 65  /.  int aiCurOne
4c20: 50 61 73 73 5b 32 5d 3b 20 20 20 20 20 20 2f 2a  Pass[2];      /*
4c30: 20 4f 50 5f 4f 70 65 6e 57 72 69 74 65 20 63 75   OP_OpenWrite cu
4c40: 72 73 6f 72 73 20 66 6f 72 20 74 68 65 20 4f 4e  rsors for the ON
4c50: 45 50 41 53 53 20 6f 70 74 20 2a 2f 0a 20 20 57  EPASS opt */.  W
4c60: 68 65 72 65 4d 61 73 6b 53 65 74 20 73 4d 61 73  hereMaskSet sMas
4c70: 6b 53 65 74 3b 20 20 20 20 2f 2a 20 4d 61 70 20  kSet;    /* Map 
4c80: 63 75 72 73 6f 72 20 6e 75 6d 62 65 72 73 20 74  cursor numbers t
4c90: 6f 20 62 69 74 6d 61 73 6b 73 20 2a 2f 0a 20 20  o bitmasks */.  
4ca0: 57 68 65 72 65 43 6c 61 75 73 65 20 73 57 43 3b  WhereClause sWC;
4cb0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 44 65 63            /* Dec
4cc0: 6f 6d 70 6f 73 69 74 69 6f 6e 20 6f 66 20 74 68  omposition of th
4cd0: 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 2a  e WHERE clause *
4ce0: 2f 0a 20 20 57 68 65 72 65 4c 65 76 65 6c 20 61  /.  WhereLevel a
4cf0: 5b 31 5d 3b 20 20 20 20 20 20 20 20 20 20 2f 2a  [1];          /*
4d00: 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f   Information abo
4d10: 75 74 20 65 61 63 68 20 6e 65 73 74 20 6c 6f 6f  ut each nest loo
4d20: 70 20 69 6e 20 57 48 45 52 45 20 2a 2f 0a 7d 3b  p in WHERE */.};
4d30: 0a 0a 2f 2a 0a 2a 2a 20 50 72 69 76 61 74 65 20  ../*.** Private 
4d40: 69 6e 74 65 72 66 61 63 65 73 20 2d 20 63 61 6c  interfaces - cal
4d50: 6c 61 62 6c 65 20 6f 6e 6c 79 20 62 79 20 6f 74  lable only by ot
4d60: 68 65 72 20 77 68 65 72 65 2e 63 20 72 6f 75 74  her where.c rout
4d70: 69 6e 65 73 2e 0a 2a 2a 0a 2a 2a 20 77 68 65 72  ines..**.** wher
4d80: 65 2e 63 3a 0a 2a 2f 0a 42 69 74 6d 61 73 6b 20  e.c:.*/.Bitmask 
4d90: 73 71 6c 69 74 65 33 57 68 65 72 65 47 65 74 4d  sqlite3WhereGetM
4da0: 61 73 6b 28 57 68 65 72 65 4d 61 73 6b 53 65 74  ask(WhereMaskSet
4db0: 2a 2c 69 6e 74 29 3b 0a 57 68 65 72 65 54 65 72  *,int);.WhereTer
4dc0: 6d 20 2a 73 71 6c 69 74 65 33 57 68 65 72 65 46  m *sqlite3WhereF
4dd0: 69 6e 64 54 65 72 6d 28 0a 20 20 57 68 65 72 65  indTerm(.  Where
4de0: 43 6c 61 75 73 65 20 2a 70 57 43 2c 20 20 20 20  Clause *pWC,    
4df0: 20 2f 2a 20 54 68 65 20 57 48 45 52 45 20 63 6c   /* The WHERE cl
4e00: 61 75 73 65 20 74 6f 20 62 65 20 73 65 61 72 63  ause to be searc
4e10: 68 65 64 20 2a 2f 0a 20 20 69 6e 74 20 69 43 75  hed */.  int iCu
4e20: 72 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  r,             /
4e30: 2a 20 43 75 72 73 6f 72 20 6e 75 6d 62 65 72 20  * Cursor number 
4e40: 6f 66 20 4c 48 53 20 2a 2f 0a 20 20 69 6e 74 20  of LHS */.  int 
4e50: 69 43 6f 6c 75 6d 6e 2c 20 20 20 20 20 20 20 20  iColumn,        
4e60: 20 20 2f 2a 20 43 6f 6c 75 6d 6e 20 6e 75 6d 62    /* Column numb
4e70: 65 72 20 6f 66 20 4c 48 53 20 2a 2f 0a 20 20 42  er of LHS */.  B
4e80: 69 74 6d 61 73 6b 20 6e 6f 74 52 65 61 64 79 2c  itmask notReady,
4e90: 20 20 20 20 20 2f 2a 20 52 48 53 20 6d 75 73 74       /* RHS must
4ea0: 20 6e 6f 74 20 6f 76 65 72 6c 61 70 20 77 69 74   not overlap wit
4eb0: 68 20 74 68 69 73 20 6d 61 73 6b 20 2a 2f 0a 20  h this mask */. 
4ec0: 20 75 33 32 20 6f 70 2c 20 20 20 20 20 20 20 20   u32 op,        
4ed0: 20 20 20 20 20 20 20 2f 2a 20 4d 61 73 6b 20 6f         /* Mask o
4ee0: 66 20 57 4f 5f 78 78 20 76 61 6c 75 65 73 20 64  f WO_xx values d
4ef0: 65 73 63 72 69 62 69 6e 67 20 6f 70 65 72 61 74  escribing operat
4f00: 6f 72 20 2a 2f 0a 20 20 49 6e 64 65 78 20 2a 70  or */.  Index *p
4f10: 49 64 78 20 20 20 20 20 20 20 20 20 20 20 2f 2a  Idx           /*
4f20: 20 4d 75 73 74 20 62 65 20 63 6f 6d 70 61 74 69   Must be compati
4f30: 62 6c 65 20 77 69 74 68 20 74 68 69 73 20 69 6e  ble with this in
4f40: 64 65 78 2c 20 69 66 20 6e 6f 74 20 4e 55 4c 4c  dex, if not NULL
4f50: 20 2a 2f 0a 29 3b 0a 0a 2f 2a 20 77 68 65 72 65   */.);../* where
4f60: 63 6f 64 65 2e 63 3a 20 2a 2f 0a 23 69 66 6e 64  code.c: */.#ifnd
4f70: 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 45  ef SQLITE_OMIT_E
4f80: 58 50 4c 41 49 4e 0a 69 6e 74 20 73 71 6c 69 74  XPLAIN.int sqlit
4f90: 65 33 57 68 65 72 65 45 78 70 6c 61 69 6e 4f 6e  e3WhereExplainOn
4fa0: 65 53 63 61 6e 28 0a 20 20 50 61 72 73 65 20 2a  eScan(.  Parse *
4fb0: 70 50 61 72 73 65 2c 20 20 20 20 20 20 20 20 20  pParse,         
4fc0: 20 20 20 20 20 20 20 20 20 2f 2a 20 50 61 72 73           /* Pars
4fd0: 65 20 63 6f 6e 74 65 78 74 20 2a 2f 0a 20 20 53  e context */.  S
4fe0: 72 63 4c 69 73 74 20 2a 70 54 61 62 4c 69 73 74  rcList *pTabList
4ff0: 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  ,              /
5000: 2a 20 54 61 62 6c 65 20 6c 69 73 74 20 74 68 69  * Table list thi
5010: 73 20 6c 6f 6f 70 20 72 65 66 65 72 73 20 74 6f  s loop refers to
5020: 20 2a 2f 0a 20 20 57 68 65 72 65 4c 65 76 65 6c   */.  WhereLevel
5030: 20 2a 70 4c 65 76 65 6c 2c 20 20 20 20 20 20 20   *pLevel,       
5040: 20 20 20 20 20 20 2f 2a 20 53 63 61 6e 20 74 6f        /* Scan to
5050: 20 77 72 69 74 65 20 4f 50 5f 45 78 70 6c 61 69   write OP_Explai
5060: 6e 20 6f 70 63 6f 64 65 20 66 6f 72 20 2a 2f 0a  n opcode for */.
5070: 20 20 69 6e 74 20 69 4c 65 76 65 6c 2c 20 20 20    int iLevel,   
5080: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5090: 20 20 2f 2a 20 56 61 6c 75 65 20 66 6f 72 20 22    /* Value for "
50a0: 6c 65 76 65 6c 22 20 63 6f 6c 75 6d 6e 20 6f 66  level" column of
50b0: 20 6f 75 74 70 75 74 20 2a 2f 0a 20 20 69 6e 74   output */.  int
50c0: 20 69 46 72 6f 6d 2c 20 20 20 20 20 20 20 20 20   iFrom,         
50d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
50e0: 56 61 6c 75 65 20 66 6f 72 20 22 66 72 6f 6d 22  Value for "from"
50f0: 20 63 6f 6c 75 6d 6e 20 6f 66 20 6f 75 74 70 75   column of outpu
5100: 74 20 2a 2f 0a 20 20 75 31 36 20 77 63 74 72 6c  t */.  u16 wctrl
5110: 46 6c 61 67 73 20 20 20 20 20 20 20 20 20 20 20  Flags           
5120: 20 20 20 20 20 20 20 2f 2a 20 46 6c 61 67 73 20         /* Flags 
5130: 70 61 73 73 65 64 20 74 6f 20 73 71 6c 69 74 65  passed to sqlite
5140: 33 57 68 65 72 65 42 65 67 69 6e 28 29 20 2a 2f  3WhereBegin() */
5150: 0a 29 3b 0a 23 65 6c 73 65 0a 23 20 64 65 66 69  .);.#else.# defi
5160: 6e 65 20 73 71 6c 69 74 65 33 57 68 65 72 65 45  ne sqlite3WhereE
5170: 78 70 6c 61 69 6e 4f 6e 65 53 63 61 6e 28 75 2c  xplainOneScan(u,
5180: 76 2c 77 2c 78 2c 79 2c 7a 29 20 30 0a 23 65 6e  v,w,x,y,z) 0.#en
5190: 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4f 4d  dif /* SQLITE_OM
51a0: 49 54 5f 45 58 50 4c 41 49 4e 20 2a 2f 0a 23 69  IT_EXPLAIN */.#i
51b0: 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42  fdef SQLITE_ENAB
51c0: 4c 45 5f 53 54 4d 54 5f 53 43 41 4e 53 54 41 54  LE_STMT_SCANSTAT
51d0: 55 53 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 57  US.void sqlite3W
51e0: 68 65 72 65 41 64 64 53 63 61 6e 53 74 61 74 75  hereAddScanStatu
51f0: 73 28 0a 20 20 56 64 62 65 20 2a 76 2c 20 20 20  s(.  Vdbe *v,   
5200: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5210: 20 20 20 20 20 2f 2a 20 56 64 62 65 20 74 6f 20       /* Vdbe to 
5220: 61 64 64 20 73 63 61 6e 73 74 61 74 75 73 20 65  add scanstatus e
5230: 6e 74 72 79 20 74 6f 20 2a 2f 0a 20 20 53 72 63  ntry to */.  Src
5240: 4c 69 73 74 20 2a 70 53 72 63 6c 69 73 74 2c 20  List *pSrclist, 
5250: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
5260: 46 52 4f 4d 20 63 6c 61 75 73 65 20 70 4c 76 6c  FROM clause pLvl
5270: 20 72 65 61 64 73 20 64 61 74 61 20 66 72 6f 6d   reads data from
5280: 20 2a 2f 0a 20 20 57 68 65 72 65 4c 65 76 65 6c   */.  WhereLevel
5290: 20 2a 70 4c 76 6c 2c 20 20 20 20 20 20 20 20 20   *pLvl,         
52a0: 20 20 20 20 20 20 2f 2a 20 4c 65 76 65 6c 20 74        /* Level t
52b0: 6f 20 61 64 64 20 73 63 61 6e 73 74 61 74 75 73  o add scanstatus
52c0: 28 29 20 65 6e 74 72 79 20 66 6f 72 20 2a 2f 0a  () entry for */.
52d0: 20 20 69 6e 74 20 61 64 64 72 45 78 70 6c 61 69    int addrExplai
52e0: 6e 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  n               
52f0: 20 20 2f 2a 20 41 64 64 72 65 73 73 20 6f 66 20    /* Address of 
5300: 4f 50 5f 45 78 70 6c 61 69 6e 20 28 6f 72 20 30  OP_Explain (or 0
5310: 29 20 2a 2f 0a 29 3b 0a 23 65 6c 73 65 0a 23 20  ) */.);.#else.# 
5320: 64 65 66 69 6e 65 20 73 71 6c 69 74 65 33 57 68  define sqlite3Wh
5330: 65 72 65 41 64 64 53 63 61 6e 53 74 61 74 75 73  ereAddScanStatus
5340: 28 61 2c 20 62 2c 20 63 2c 20 64 29 20 28 28 76  (a, b, c, d) ((v
5350: 6f 69 64 29 64 29 0a 23 65 6e 64 69 66 0a 42 69  oid)d).#endif.Bi
5360: 74 6d 61 73 6b 20 73 71 6c 69 74 65 33 57 68 65  tmask sqlite3Whe
5370: 72 65 43 6f 64 65 4f 6e 65 4c 6f 6f 70 53 74 61  reCodeOneLoopSta
5380: 72 74 28 0a 20 20 57 68 65 72 65 49 6e 66 6f 20  rt(.  WhereInfo 
5390: 2a 70 57 49 6e 66 6f 2c 20 20 20 2f 2a 20 43 6f  *pWInfo,   /* Co
53a0: 6d 70 6c 65 74 65 20 69 6e 66 6f 72 6d 61 74 69  mplete informati
53b0: 6f 6e 20 61 62 6f 75 74 20 74 68 65 20 57 48 45  on about the WHE
53c0: 52 45 20 63 6c 61 75 73 65 20 2a 2f 0a 20 20 69  RE clause */.  i
53d0: 6e 74 20 69 4c 65 76 65 6c 2c 20 20 20 20 20 20  nt iLevel,      
53e0: 20 20 20 20 2f 2a 20 57 68 69 63 68 20 6c 65 76      /* Which lev
53f0: 65 6c 20 6f 66 20 70 57 49 6e 66 6f 2d 3e 61 5b  el of pWInfo->a[
5400: 5d 20 73 68 6f 75 6c 64 20 62 65 20 63 6f 64 65  ] should be code
5410: 64 20 2a 2f 0a 20 20 42 69 74 6d 61 73 6b 20 6e  d */.  Bitmask n
5420: 6f 74 52 65 61 64 79 20 20 20 20 20 2f 2a 20 57  otReady     /* W
5430: 68 69 63 68 20 74 61 62 6c 65 73 20 61 72 65 20  hich tables are 
5440: 63 75 72 72 65 6e 74 6c 79 20 61 76 61 69 6c 61  currently availa
5450: 62 6c 65 20 2a 2f 0a 29 3b 0a 0a 2f 2a 20 77 68  ble */.);../* wh
5460: 65 72 65 65 78 70 72 2e 63 3a 20 2a 2f 0a 76 6f  ereexpr.c: */.vo
5470: 69 64 20 73 71 6c 69 74 65 33 57 68 65 72 65 43  id sqlite3WhereC
5480: 6c 61 75 73 65 49 6e 69 74 28 57 68 65 72 65 43  lauseInit(WhereC
5490: 6c 61 75 73 65 2a 2c 57 68 65 72 65 49 6e 66 6f  lause*,WhereInfo
54a0: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
54b0: 57 68 65 72 65 43 6c 61 75 73 65 43 6c 65 61 72  WhereClauseClear
54c0: 28 57 68 65 72 65 43 6c 61 75 73 65 2a 29 3b 0a  (WhereClause*);.
54d0: 76 6f 69 64 20 73 71 6c 69 74 65 33 57 68 65 72  void sqlite3Wher
54e0: 65 53 70 6c 69 74 28 57 68 65 72 65 43 6c 61 75  eSplit(WhereClau
54f0: 73 65 2a 2c 45 78 70 72 2a 2c 75 38 29 3b 0a 42  se*,Expr*,u8);.B
5500: 69 74 6d 61 73 6b 20 73 71 6c 69 74 65 33 57 68  itmask sqlite3Wh
5510: 65 72 65 45 78 70 72 55 73 61 67 65 28 57 68 65  ereExprUsage(Whe
5520: 72 65 4d 61 73 6b 53 65 74 2a 2c 20 45 78 70 72  reMaskSet*, Expr
5530: 2a 29 3b 0a 42 69 74 6d 61 73 6b 20 73 71 6c 69  *);.Bitmask sqli
5540: 74 65 33 57 68 65 72 65 45 78 70 72 4c 69 73 74  te3WhereExprList
5550: 55 73 61 67 65 28 57 68 65 72 65 4d 61 73 6b 53  Usage(WhereMaskS
5560: 65 74 2a 2c 20 45 78 70 72 4c 69 73 74 2a 29 3b  et*, ExprList*);
5570: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 57 68 65  .void sqlite3Whe
5580: 72 65 45 78 70 72 41 6e 61 6c 79 7a 65 28 53 72  reExprAnalyze(Sr
5590: 63 4c 69 73 74 2a 2c 20 57 68 65 72 65 43 6c 61  cList*, WhereCla
55a0: 75 73 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69  use*);.void sqli
55b0: 74 65 33 57 68 65 72 65 54 61 62 46 75 6e 63 41  te3WhereTabFuncA
55c0: 72 67 73 28 50 61 72 73 65 2a 2c 20 73 74 72 75  rgs(Parse*, stru
55d0: 63 74 20 53 72 63 4c 69 73 74 5f 69 74 65 6d 2a  ct SrcList_item*
55e0: 2c 20 57 68 65 72 65 43 6c 61 75 73 65 2a 29 3b  , WhereClause*);
55f0: 0a 0a 0a 0a 0a 0a 2f 2a 0a 2a 2a 20 42 69 74 6d  ....../*.** Bitm
5600: 61 73 6b 73 20 66 6f 72 20 74 68 65 20 6f 70 65  asks for the ope
5610: 72 61 74 6f 72 73 20 6f 6e 20 57 68 65 72 65 54  rators on WhereT
5620: 65 72 6d 20 6f 62 6a 65 63 74 73 2e 20 20 54 68  erm objects.  Th
5630: 65 73 65 20 61 72 65 20 61 6c 6c 0a 2a 2a 20 6f  ese are all.** o
5640: 70 65 72 61 74 6f 72 73 20 74 68 61 74 20 61 72  perators that ar
5650: 65 20 6f 66 20 69 6e 74 65 72 65 73 74 20 74 6f  e of interest to
5660: 20 74 68 65 20 71 75 65 72 79 20 70 6c 61 6e 6e   the query plann
5670: 65 72 2e 20 20 41 6e 0a 2a 2a 20 4f 52 2d 65 64  er.  An.** OR-ed
5680: 20 63 6f 6d 62 69 6e 61 74 69 6f 6e 20 6f 66 20   combination of 
5690: 74 68 65 73 65 20 76 61 6c 75 65 73 20 63 61 6e  these values can
56a0: 20 62 65 20 75 73 65 64 20 77 68 65 6e 20 73 65   be used when se
56b0: 61 72 63 68 69 6e 67 20 66 6f 72 0a 2a 2a 20 70  arching for.** p
56c0: 61 72 74 69 63 75 6c 61 72 20 57 68 65 72 65 54  articular WhereT
56d0: 65 72 6d 73 20 77 69 74 68 69 6e 20 61 20 57 68  erms within a Wh
56e0: 65 72 65 43 6c 61 75 73 65 2e 0a 2a 2f 0a 23 64  ereClause..*/.#d
56f0: 65 66 69 6e 65 20 57 4f 5f 49 4e 20 20 20 20 20  efine WO_IN     
5700: 30 78 30 30 30 31 0a 23 64 65 66 69 6e 65 20 57  0x0001.#define W
5710: 4f 5f 45 51 20 20 20 20 20 30 78 30 30 30 32 0a  O_EQ     0x0002.
5720: 23 64 65 66 69 6e 65 20 57 4f 5f 4c 54 20 20 20  #define WO_LT   
5730: 20 20 28 57 4f 5f 45 51 3c 3c 28 54 4b 5f 4c 54    (WO_EQ<<(TK_LT
5740: 2d 54 4b 5f 45 51 29 29 0a 23 64 65 66 69 6e 65  -TK_EQ)).#define
5750: 20 57 4f 5f 4c 45 20 20 20 20 20 28 57 4f 5f 45   WO_LE     (WO_E
5760: 51 3c 3c 28 54 4b 5f 4c 45 2d 54 4b 5f 45 51 29  Q<<(TK_LE-TK_EQ)
5770: 29 0a 23 64 65 66 69 6e 65 20 57 4f 5f 47 54 20  ).#define WO_GT 
5780: 20 20 20 20 28 57 4f 5f 45 51 3c 3c 28 54 4b 5f      (WO_EQ<<(TK_
5790: 47 54 2d 54 4b 5f 45 51 29 29 0a 23 64 65 66 69  GT-TK_EQ)).#defi
57a0: 6e 65 20 57 4f 5f 47 45 20 20 20 20 20 28 57 4f  ne WO_GE     (WO
57b0: 5f 45 51 3c 3c 28 54 4b 5f 47 45 2d 54 4b 5f 45  _EQ<<(TK_GE-TK_E
57c0: 51 29 29 0a 23 64 65 66 69 6e 65 20 57 4f 5f 4d  Q)).#define WO_M
57d0: 41 54 43 48 20 20 30 78 30 30 34 30 0a 23 64 65  ATCH  0x0040.#de
57e0: 66 69 6e 65 20 57 4f 5f 49 53 20 20 20 20 20 30  fine WO_IS     0
57f0: 78 30 30 38 30 0a 23 64 65 66 69 6e 65 20 57 4f  x0080.#define WO
5800: 5f 49 53 4e 55 4c 4c 20 30 78 30 31 30 30 0a 23  _ISNULL 0x0100.#
5810: 64 65 66 69 6e 65 20 57 4f 5f 4f 52 20 20 20 20  define WO_OR    
5820: 20 30 78 30 32 30 30 20 20 20 20 20 20 20 2f 2a   0x0200       /*
5830: 20 54 77 6f 20 6f 72 20 6d 6f 72 65 20 4f 52 2d   Two or more OR-
5840: 63 6f 6e 6e 65 63 74 65 64 20 74 65 72 6d 73 20  connected terms 
5850: 2a 2f 0a 23 64 65 66 69 6e 65 20 57 4f 5f 41 4e  */.#define WO_AN
5860: 44 20 20 20 20 30 78 30 34 30 30 20 20 20 20 20  D    0x0400     
5870: 20 20 2f 2a 20 54 77 6f 20 6f 72 20 6d 6f 72 65    /* Two or more
5880: 20 41 4e 44 2d 63 6f 6e 6e 65 63 74 65 64 20 74   AND-connected t
5890: 65 72 6d 73 20 2a 2f 0a 23 64 65 66 69 6e 65 20  erms */.#define 
58a0: 57 4f 5f 45 51 55 49 56 20 20 30 78 30 38 30 30  WO_EQUIV  0x0800
58b0: 20 20 20 20 20 20 20 2f 2a 20 4f 66 20 74 68 65         /* Of the
58c0: 20 66 6f 72 6d 20 41 3d 3d 42 2c 20 62 6f 74 68   form A==B, both
58d0: 20 63 6f 6c 75 6d 6e 73 20 2a 2f 0a 23 64 65 66   columns */.#def
58e0: 69 6e 65 20 57 4f 5f 4e 4f 4f 50 20 20 20 30 78  ine WO_NOOP   0x
58f0: 31 30 30 30 20 20 20 20 20 20 20 2f 2a 20 54 68  1000       /* Th
5900: 69 73 20 74 65 72 6d 20 64 6f 65 73 20 6e 6f 74  is term does not
5910: 20 72 65 73 74 72 69 63 74 20 73 65 61 72 63 68   restrict search
5920: 20 73 70 61 63 65 20 2a 2f 0a 0a 23 64 65 66 69   space */..#defi
5930: 6e 65 20 57 4f 5f 41 4c 4c 20 20 20 20 30 78 31  ne WO_ALL    0x1
5940: 66 66 66 20 20 20 20 20 20 20 2f 2a 20 4d 61 73  fff       /* Mas
5950: 6b 20 6f 66 20 61 6c 6c 20 70 6f 73 73 69 62 6c  k of all possibl
5960: 65 20 57 4f 5f 2a 20 76 61 6c 75 65 73 20 2a 2f  e WO_* values */
5970: 0a 23 64 65 66 69 6e 65 20 57 4f 5f 53 49 4e 47  .#define WO_SING
5980: 4c 45 20 30 78 30 31 66 66 20 20 20 20 20 20 20  LE 0x01ff       
5990: 2f 2a 20 4d 61 73 6b 20 6f 66 20 61 6c 6c 20 6e  /* Mask of all n
59a0: 6f 6e 2d 63 6f 6d 70 6f 75 6e 64 20 57 4f 5f 2a  on-compound WO_*
59b0: 20 76 61 6c 75 65 73 20 2a 2f 0a 0a 2f 2a 0a 2a   values */../*.*
59c0: 2a 20 54 68 65 73 65 20 61 72 65 20 64 65 66 69  * These are defi
59d0: 6e 69 74 69 6f 6e 73 20 6f 66 20 62 69 74 73 20  nitions of bits 
59e0: 69 6e 20 74 68 65 20 57 68 65 72 65 4c 6f 6f 70  in the WhereLoop
59f0: 2e 77 73 46 6c 61 67 73 20 66 69 65 6c 64 2e 0a  .wsFlags field..
5a00: 2a 2a 20 54 68 65 20 70 61 72 74 69 63 75 6c 61  ** The particula
5a10: 72 20 63 6f 6d 62 69 6e 61 74 69 6f 6e 20 6f 66  r combination of
5a20: 20 62 69 74 73 20 69 6e 20 65 61 63 68 20 57 68   bits in each Wh
5a30: 65 72 65 4c 6f 6f 70 20 68 65 6c 70 20 74 6f 0a  ereLoop help to.
5a40: 2a 2a 20 64 65 74 65 72 6d 69 6e 65 20 74 68 65  ** determine the
5a50: 20 61 6c 67 6f 72 69 74 68 6d 20 74 68 61 74 20   algorithm that 
5a60: 57 68 65 72 65 4c 6f 6f 70 20 72 65 70 72 65 73  WhereLoop repres
5a70: 65 6e 74 73 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65  ents..*/.#define
5a80: 20 57 48 45 52 45 5f 43 4f 4c 55 4d 4e 5f 45 51   WHERE_COLUMN_EQ
5a90: 20 20 20 20 30 78 30 30 30 30 30 30 30 31 20 20      0x00000001  
5aa0: 2f 2a 20 78 3d 45 58 50 52 20 2a 2f 0a 23 64 65  /* x=EXPR */.#de
5ab0: 66 69 6e 65 20 57 48 45 52 45 5f 43 4f 4c 55 4d  fine WHERE_COLUM
5ac0: 4e 5f 52 41 4e 47 45 20 30 78 30 30 30 30 30 30  N_RANGE 0x000000
5ad0: 30 32 20 20 2f 2a 20 78 3c 45 58 50 52 20 61 6e  02  /* x<EXPR an
5ae0: 64 2f 6f 72 20 78 3e 45 58 50 52 20 2a 2f 0a 23  d/or x>EXPR */.#
5af0: 64 65 66 69 6e 65 20 57 48 45 52 45 5f 43 4f 4c  define WHERE_COL
5b00: 55 4d 4e 5f 49 4e 20 20 20 20 30 78 30 30 30 30  UMN_IN    0x0000
5b10: 30 30 30 34 20 20 2f 2a 20 78 20 49 4e 20 28 2e  0004  /* x IN (.
5b20: 2e 2e 29 20 2a 2f 0a 23 64 65 66 69 6e 65 20 57  ..) */.#define W
5b30: 48 45 52 45 5f 43 4f 4c 55 4d 4e 5f 4e 55 4c 4c  HERE_COLUMN_NULL
5b40: 20 20 30 78 30 30 30 30 30 30 30 38 20 20 2f 2a    0x00000008  /*
5b50: 20 78 20 49 53 20 4e 55 4c 4c 20 2a 2f 0a 23 64   x IS NULL */.#d
5b60: 65 66 69 6e 65 20 57 48 45 52 45 5f 43 4f 4e 53  efine WHERE_CONS
5b70: 54 52 41 49 4e 54 20 20 20 30 78 30 30 30 30 30  TRAINT   0x00000
5b80: 30 30 66 20 20 2f 2a 20 41 6e 79 20 6f 66 20 74  00f  /* Any of t
5b90: 68 65 20 57 48 45 52 45 5f 43 4f 4c 55 4d 4e 5f  he WHERE_COLUMN_
5ba0: 78 78 78 20 76 61 6c 75 65 73 20 2a 2f 0a 23 64  xxx values */.#d
5bb0: 65 66 69 6e 65 20 57 48 45 52 45 5f 54 4f 50 5f  efine WHERE_TOP_
5bc0: 4c 49 4d 49 54 20 20 20 20 30 78 30 30 30 30 30  LIMIT    0x00000
5bd0: 30 31 30 20 20 2f 2a 20 78 3c 45 58 50 52 20 6f  010  /* x<EXPR o
5be0: 72 20 78 3c 3d 45 58 50 52 20 63 6f 6e 73 74 72  r x<=EXPR constr
5bf0: 61 69 6e 74 20 2a 2f 0a 23 64 65 66 69 6e 65 20  aint */.#define 
5c00: 57 48 45 52 45 5f 42 54 4d 5f 4c 49 4d 49 54 20  WHERE_BTM_LIMIT 
5c10: 20 20 20 30 78 30 30 30 30 30 30 32 30 20 20 2f     0x00000020  /
5c20: 2a 20 78 3e 45 58 50 52 20 6f 72 20 78 3e 3d 45  * x>EXPR or x>=E
5c30: 58 50 52 20 63 6f 6e 73 74 72 61 69 6e 74 20 2a  XPR constraint *
5c40: 2f 0a 23 64 65 66 69 6e 65 20 57 48 45 52 45 5f  /.#define WHERE_
5c50: 42 4f 54 48 5f 4c 49 4d 49 54 20 20 20 30 78 30  BOTH_LIMIT   0x0
5c60: 30 30 30 30 30 33 30 20 20 2f 2a 20 42 6f 74 68  0000030  /* Both
5c70: 20 78 3e 45 58 50 52 20 61 6e 64 20 78 3c 45 58   x>EXPR and x<EX
5c80: 50 52 20 2a 2f 0a 23 64 65 66 69 6e 65 20 57 48  PR */.#define WH
5c90: 45 52 45 5f 49 44 58 5f 4f 4e 4c 59 20 20 20 20  ERE_IDX_ONLY    
5ca0: 20 30 78 30 30 30 30 30 30 34 30 20 20 2f 2a 20   0x00000040  /* 
5cb0: 55 73 65 20 69 6e 64 65 78 20 6f 6e 6c 79 20 2d  Use index only -
5cc0: 20 6f 6d 69 74 20 74 61 62 6c 65 20 2a 2f 0a 23   omit table */.#
5cd0: 64 65 66 69 6e 65 20 57 48 45 52 45 5f 49 50 4b  define WHERE_IPK
5ce0: 20 20 20 20 20 20 20 20 20 20 30 78 30 30 30 30            0x0000
5cf0: 30 31 30 30 20 20 2f 2a 20 78 20 69 73 20 74 68  0100  /* x is th
5d00: 65 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52  e INTEGER PRIMAR
5d10: 59 20 4b 45 59 20 2a 2f 0a 23 64 65 66 69 6e 65  Y KEY */.#define
5d20: 20 57 48 45 52 45 5f 49 4e 44 45 58 45 44 20 20   WHERE_INDEXED  
5d30: 20 20 20 20 30 78 30 30 30 30 30 32 30 30 20 20      0x00000200  
5d40: 2f 2a 20 57 68 65 72 65 4c 6f 6f 70 2e 75 2e 62  /* WhereLoop.u.b
5d50: 74 72 65 65 2e 70 49 6e 64 65 78 20 69 73 20 76  tree.pIndex is v
5d60: 61 6c 69 64 20 2a 2f 0a 23 64 65 66 69 6e 65 20  alid */.#define 
5d70: 57 48 45 52 45 5f 56 49 52 54 55 41 4c 54 41 42  WHERE_VIRTUALTAB
5d80: 4c 45 20 30 78 30 30 30 30 30 34 30 30 20 20 2f  LE 0x00000400  /
5d90: 2a 20 57 68 65 72 65 4c 6f 6f 70 2e 75 2e 76 74  * WhereLoop.u.vt
5da0: 61 62 20 69 73 20 76 61 6c 69 64 20 2a 2f 0a 23  ab is valid */.#
5db0: 64 65 66 69 6e 65 20 57 48 45 52 45 5f 49 4e 5f  define WHERE_IN_
5dc0: 41 42 4c 45 20 20 20 20 20 20 30 78 30 30 30 30  ABLE      0x0000
5dd0: 30 38 30 30 20 20 2f 2a 20 41 62 6c 65 20 74 6f  0800  /* Able to
5de0: 20 73 75 70 70 6f 72 74 20 61 6e 20 49 4e 20 6f   support an IN o
5df0: 70 65 72 61 74 6f 72 20 2a 2f 0a 23 64 65 66 69  perator */.#defi
5e00: 6e 65 20 57 48 45 52 45 5f 4f 4e 45 52 4f 57 20  ne WHERE_ONEROW 
5e10: 20 20 20 20 20 20 30 78 30 30 30 30 31 30 30 30        0x00001000
5e20: 20 20 2f 2a 20 53 65 6c 65 63 74 73 20 6e 6f 20    /* Selects no 
5e30: 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 65 20 72 6f  more than one ro
5e40: 77 20 2a 2f 0a 23 64 65 66 69 6e 65 20 57 48 45  w */.#define WHE
5e50: 52 45 5f 4d 55 4c 54 49 5f 4f 52 20 20 20 20 20  RE_MULTI_OR     
5e60: 30 78 30 30 30 30 32 30 30 30 20 20 2f 2a 20 4f  0x00002000  /* O
5e70: 52 20 75 73 69 6e 67 20 6d 75 6c 74 69 70 6c 65  R using multiple
5e80: 20 69 6e 64 69 63 65 73 20 2a 2f 0a 23 64 65 66   indices */.#def
5e90: 69 6e 65 20 57 48 45 52 45 5f 41 55 54 4f 5f 49  ine WHERE_AUTO_I
5ea0: 4e 44 45 58 20 20 20 30 78 30 30 30 30 34 30 30  NDEX   0x0000400
5eb0: 30 20 20 2f 2a 20 55 73 65 73 20 61 6e 20 65 70  0  /* Uses an ep
5ec0: 68 65 6d 65 72 61 6c 20 69 6e 64 65 78 20 2a 2f  hemeral index */
5ed0: 0a 23 64 65 66 69 6e 65 20 57 48 45 52 45 5f 53  .#define WHERE_S
5ee0: 4b 49 50 53 43 41 4e 20 20 20 20 20 30 78 30 30  KIPSCAN     0x00
5ef0: 30 30 38 30 30 30 20 20 2f 2a 20 55 73 65 73 20  008000  /* Uses 
5f00: 74 68 65 20 73 6b 69 70 2d 73 63 61 6e 20 61 6c  the skip-scan al
5f10: 67 6f 72 69 74 68 6d 20 2a 2f 0a 23 64 65 66 69  gorithm */.#defi
5f20: 6e 65 20 57 48 45 52 45 5f 55 4e 51 5f 57 41 4e  ne WHERE_UNQ_WAN
5f30: 54 45 44 20 20 20 30 78 30 30 30 31 30 30 30 30  TED   0x00010000
5f40: 20 20 2f 2a 20 57 48 45 52 45 5f 4f 4e 45 52 4f    /* WHERE_ONERO
5f50: 57 20 77 6f 75 6c 64 20 68 61 76 65 20 62 65 65  W would have bee
5f60: 6e 20 68 65 6c 70 66 75 6c 2a 2f 0a 23 64 65 66  n helpful*/.#def
5f70: 69 6e 65 20 57 48 45 52 45 5f 50 41 52 54 49 41  ine WHERE_PARTIA
5f80: 4c 49 44 58 20 20 20 30 78 30 30 30 32 30 30 30  LIDX   0x0002000
5f90: 30 20 20 2f 2a 20 54 68 65 20 61 75 74 6f 6d 61  0  /* The automa
5fa0: 74 69 63 20 69 6e 64 65 78 20 69 73 20 70 61 72  tic index is par
5fb0: 74 69 61 6c 20 2a 2f 0a                          tial */.