/ Hex Artifact Content
Login

Artifact 95c86bd18d8fedf0533f5af196192546e10a7e7d:


0000: 2f 2a 0a 2a 2a 20 32 30 30 38 20 46 65 62 72 75  /*.** 2008 Febru
0010: 61 72 79 20 31 36 0a 2a 2a 0a 2a 2a 20 54 68 65  ary 16.**.** The
0020: 20 61 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d   author disclaim
0030: 73 20 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74  s copyright to t
0040: 68 69 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e  his source code.
0050: 20 20 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a    In place of.**
0060: 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c   a legal notice,
0070: 20 68 65 72 65 20 69 73 20 61 20 62 6c 65 73 73   here is a bless
0080: 69 6e 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61  ing:.**.**    Ma
0090: 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e  y you do good an
00a0: 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20  d not evil..**  
00b0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00c0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00d0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00e0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20  ive others..**  
00f0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
0100: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0110: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0120: 6f 75 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a  ou give..**.****
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 2a  ****************
0170: 2a 2a 2a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69  *****.** This fi
0180: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 61 6e  le implements an
0190: 20 6f 62 6a 65 63 74 20 74 68 61 74 20 72 65 70   object that rep
01a0: 72 65 73 65 6e 74 73 20 61 20 66 69 78 65 64 2d  resents a fixed-
01b0: 6c 65 6e 67 74 68 0a 2a 2a 20 62 69 74 6d 61 70  length.** bitmap
01c0: 2e 20 20 42 69 74 73 20 61 72 65 20 6e 75 6d 62  .  Bits are numb
01d0: 65 72 65 64 20 73 74 61 72 74 69 6e 67 20 77 69  ered starting wi
01e0: 74 68 20 31 2e 0a 2a 2a 0a 2a 2a 20 41 20 62 69  th 1..**.** A bi
01f0: 74 6d 61 70 20 69 73 20 75 73 65 64 20 74 6f 20  tmap is used to 
0200: 72 65 63 6f 72 64 20 77 68 61 74 20 70 61 67 65  record what page
0210: 73 20 61 20 64 61 74 61 62 61 73 65 20 66 69 6c  s a database fil
0220: 65 20 68 61 76 65 20 62 65 65 6e 0a 2a 2a 20 6a  e have been.** j
0230: 6f 75 72 6e 61 6c 6c 65 64 20 64 75 72 69 6e 67  ournalled during
0240: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20   a transaction. 
0250: 20 55 73 75 61 6c 6c 79 20 6f 6e 6c 79 20 61 20   Usually only a 
0260: 66 65 77 20 70 61 67 65 73 20 61 72 65 0a 2a 2a  few pages are.**
0270: 20 6a 6f 75 72 6e 61 6c 6c 65 64 2e 20 20 53 6f   journalled.  So
0280: 20 74 68 65 20 62 69 74 6d 61 70 20 69 73 20 75   the bitmap is u
0290: 73 75 61 6c 6c 79 20 73 70 61 72 73 65 20 61 6e  sually sparse an
02a0: 64 20 68 61 73 20 6c 6f 77 20 63 61 72 64 69 6e  d has low cardin
02b0: 61 6c 69 74 79 2e 0a 2a 2a 20 42 75 74 20 73 6f  ality..** But so
02c0: 6d 65 74 69 6d 65 73 20 28 66 6f 72 20 65 78 61  metimes (for exa
02d0: 6d 70 6c 65 20 77 68 65 6e 20 64 75 72 69 6e 67  mple when during
02e0: 20 61 20 44 52 4f 50 20 6f 66 20 61 20 6c 61 72   a DROP of a lar
02f0: 67 65 20 74 61 62 6c 65 29 20 6d 6f 73 74 0a 2a  ge table) most.*
0300: 2a 20 6f 72 20 61 6c 6c 20 6f 66 20 74 68 65 20  * or all of the 
0310: 70 61 67 65 73 20 67 65 74 20 6a 6f 75 72 6e 61  pages get journa
0320: 6c 6c 65 64 2e 20 20 49 6e 20 74 68 6f 73 65 20  lled.  In those 
0330: 63 61 73 65 73 2c 20 74 68 65 20 62 69 74 6d 61  cases, the bitma
0340: 70 20 62 65 63 6f 6d 65 73 0a 2a 2a 20 64 65 6e  p becomes.** den
0350: 73 65 2e 20 20 54 68 65 20 61 6c 67 6f 72 69 74  se.  The algorit
0360: 68 6d 20 6e 65 65 64 73 20 74 6f 20 68 61 6e 64  hm needs to hand
0370: 6c 65 20 62 6f 74 68 20 63 61 73 65 73 20 77 65  le both cases we
0380: 6c 6c 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 73 69  ll..**.** The si
0390: 7a 65 20 6f 66 20 74 68 65 20 62 69 74 6d 61 70  ze of the bitmap
03a0: 20 69 73 20 66 69 78 65 64 20 77 68 65 6e 20 74   is fixed when t
03b0: 68 65 20 6f 62 6a 65 63 74 20 69 73 20 63 72 65  he object is cre
03c0: 61 74 65 64 2e 0a 2a 2a 0a 2a 2a 20 41 6c 6c 20  ated..**.** All 
03d0: 62 69 74 73 20 61 72 65 20 63 6c 65 61 72 20 77  bits are clear w
03e0: 68 65 6e 20 74 68 65 20 62 69 74 6d 61 70 20 69  hen the bitmap i
03f0: 73 20 63 72 65 61 74 65 64 2e 20 20 49 6e 64 69  s created.  Indi
0400: 76 69 64 75 61 6c 20 62 69 74 73 0a 2a 2a 20 6d  vidual bits.** m
0410: 61 79 20 62 65 20 73 65 74 20 6f 72 20 63 6c 65  ay be set or cle
0420: 61 72 65 64 20 6f 6e 65 20 61 74 20 61 20 74 69  ared one at a ti
0430: 6d 65 2e 0a 2a 2a 0a 2a 2a 20 54 65 73 74 20 6f  me..**.** Test o
0440: 70 65 72 61 74 69 6f 6e 73 20 61 72 65 20 61 62  perations are ab
0450: 6f 75 74 20 31 30 30 20 74 69 6d 65 73 20 6d 6f  out 100 times mo
0460: 72 65 20 63 6f 6d 6d 6f 6e 20 74 68 61 74 20 73  re common that s
0470: 65 74 20 6f 70 65 72 61 74 69 6f 6e 73 2e 0a 2a  et operations..*
0480: 2a 20 43 6c 65 61 72 20 6f 70 65 72 61 74 69 6f  * Clear operatio
0490: 6e 73 20 61 72 65 20 65 78 63 65 65 64 69 6e 67  ns are exceeding
04a0: 6c 79 20 72 61 72 65 2e 20 20 54 68 65 72 65 20  ly rare.  There 
04b0: 61 72 65 20 75 73 75 61 6c 6c 79 20 62 65 74 77  are usually betw
04c0: 65 65 6e 0a 2a 2a 20 35 20 61 6e 64 20 35 30 30  een.** 5 and 500
04d0: 20 73 65 74 20 6f 70 65 72 61 74 69 6f 6e 73 20   set operations 
04e0: 70 65 72 20 42 69 74 76 65 63 20 6f 62 6a 65 63  per Bitvec objec
04f0: 74 2c 20 74 68 6f 75 67 68 20 74 68 65 20 6e 75  t, though the nu
0500: 6d 62 65 72 20 6f 66 20 73 65 74 73 20 63 61 6e  mber of sets can
0510: 0a 2a 2a 20 73 6f 6d 65 74 69 6d 65 73 20 67 72  .** sometimes gr
0520: 6f 77 20 69 6e 74 6f 20 74 65 6e 73 20 6f 66 20  ow into tens of 
0530: 74 68 6f 75 73 61 6e 64 73 20 6f 72 20 6c 61 72  thousands or lar
0540: 67 65 72 2e 20 20 54 68 65 20 73 69 7a 65 20 6f  ger.  The size o
0550: 66 20 74 68 65 0a 2a 2a 20 42 69 74 76 65 63 20  f the.** Bitvec 
0560: 6f 62 6a 65 63 74 20 69 73 20 74 68 65 20 6e 75  object is the nu
0570: 6d 62 65 72 20 6f 66 20 70 61 67 65 73 20 69 6e  mber of pages in
0580: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66 69   the database fi
0590: 6c 65 20 61 74 20 74 68 65 0a 2a 2a 20 73 74 61  le at the.** sta
05a0: 72 74 20 6f 66 20 61 20 74 72 61 6e 73 61 63 74  rt of a transact
05b0: 69 6f 6e 2c 20 61 6e 64 20 69 73 20 74 68 75 73  ion, and is thus
05c0: 20 75 73 75 61 6c 6c 79 20 6c 65 73 73 20 74 68   usually less th
05d0: 61 6e 20 61 20 66 65 77 20 74 68 6f 75 73 61 6e  an a few thousan
05e0: 64 2c 0a 2a 2a 20 62 75 74 20 63 61 6e 20 62 65  d,.** but can be
05f0: 20 61 73 20 6c 61 72 67 65 20 61 73 20 32 20 62   as large as 2 b
0600: 69 6c 6c 69 6f 6e 20 66 6f 72 20 61 20 72 65 61  illion for a rea
0610: 6c 6c 79 20 62 69 67 20 64 61 74 61 62 61 73 65  lly big database
0620: 2e 0a 2a 2a 0a 2a 2a 20 40 28 23 29 20 24 49 64  ..**.** @(#) $Id
0630: 3a 20 62 69 74 76 65 63 2e 63 2c 76 20 31 2e 36  : bitvec.c,v 1.6
0640: 20 32 30 30 38 2f 30 36 2f 32 30 20 31 34 3a 35   2008/06/20 14:5
0650: 39 3a 35 31 20 64 61 6e 69 65 6c 6b 31 39 37 37  9:51 danielk1977
0660: 20 45 78 70 20 24 0a 2a 2f 0a 23 69 6e 63 6c 75   Exp $.*/.#inclu
0670: 64 65 20 22 73 71 6c 69 74 65 49 6e 74 2e 68 22  de "sqliteInt.h"
0680: 0a 0a 23 64 65 66 69 6e 65 20 42 49 54 56 45 43  ..#define BITVEC
0690: 5f 53 5a 20 20 20 20 20 20 20 20 35 31 32 0a 2f  _SZ        512./
06a0: 2a 20 52 6f 75 6e 64 20 74 68 65 20 75 6e 69 6f  * Round the unio
06b0: 6e 20 73 69 7a 65 20 64 6f 77 6e 20 74 6f 20 74  n size down to t
06c0: 68 65 20 6e 65 61 72 65 73 74 20 70 6f 69 6e 74  he nearest point
06d0: 65 72 20 62 6f 75 6e 64 61 72 79 2c 20 73 69 6e  er boundary, sin
06e0: 63 65 20 74 68 61 74 27 73 20 68 6f 77 20 0a 2a  ce that's how .*
06f0: 2a 20 69 74 20 77 69 6c 6c 20 62 65 20 61 6c 69  * it will be ali
0700: 67 6e 65 64 20 77 69 74 68 69 6e 20 74 68 65 20  gned within the 
0710: 42 69 74 76 65 63 20 73 74 72 75 63 74 2e 20 2a  Bitvec struct. *
0720: 2f 0a 23 64 65 66 69 6e 65 20 42 49 54 56 45 43  /.#define BITVEC
0730: 5f 55 53 49 5a 45 20 20 20 20 20 28 28 28 42 49  _USIZE     (((BI
0740: 54 56 45 43 5f 53 5a 2d 31 32 29 2f 73 69 7a 65  TVEC_SZ-12)/size
0750: 6f 66 28 42 69 74 76 65 63 2a 29 29 2a 73 69 7a  of(Bitvec*))*siz
0760: 65 6f 66 28 42 69 74 76 65 63 2a 29 29 0a 23 64  eof(Bitvec*)).#d
0770: 65 66 69 6e 65 20 42 49 54 56 45 43 5f 4e 43 48  efine BITVEC_NCH
0780: 41 52 20 20 20 20 20 42 49 54 56 45 43 5f 55 53  AR     BITVEC_US
0790: 49 5a 45 0a 23 64 65 66 69 6e 65 20 42 49 54 56  IZE.#define BITV
07a0: 45 43 5f 4e 42 49 54 20 20 20 20 20 20 28 42 49  EC_NBIT      (BI
07b0: 54 56 45 43 5f 4e 43 48 41 52 2a 38 29 0a 23 64  TVEC_NCHAR*8).#d
07c0: 65 66 69 6e 65 20 42 49 54 56 45 43 5f 4e 49 4e  efine BITVEC_NIN
07d0: 54 20 20 20 20 20 20 28 42 49 54 56 45 43 5f 55  T      (BITVEC_U
07e0: 53 49 5a 45 2f 34 29 0a 23 64 65 66 69 6e 65 20  SIZE/4).#define 
07f0: 42 49 54 56 45 43 5f 4d 58 48 41 53 48 20 20 20  BITVEC_MXHASH   
0800: 20 28 42 49 54 56 45 43 5f 4e 49 4e 54 2f 32 29   (BITVEC_NINT/2)
0810: 0a 23 64 65 66 69 6e 65 20 42 49 54 56 45 43 5f  .#define BITVEC_
0820: 4e 50 54 52 20 20 20 20 20 20 28 42 49 54 56 45  NPTR      (BITVE
0830: 43 5f 55 53 49 5a 45 2f 73 69 7a 65 6f 66 28 42  C_USIZE/sizeof(B
0840: 69 74 76 65 63 20 2a 29 29 0a 0a 23 64 65 66 69  itvec *))..#defi
0850: 6e 65 20 42 49 54 56 45 43 5f 48 41 53 48 28 58  ne BITVEC_HASH(X
0860: 29 20 20 20 28 28 28 58 29 2a 33 37 29 25 42 49  )   (((X)*37)%BI
0870: 54 56 45 43 5f 4e 49 4e 54 29 0a 0a 2f 2a 0a 2a  TVEC_NINT)../*.*
0880: 2a 20 41 20 62 69 74 6d 61 70 20 69 73 20 61 6e  * A bitmap is an
0890: 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 65   instance of the
08a0: 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63   following struc
08b0: 74 75 72 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73  ture..**.** This
08c0: 20 62 69 74 6d 61 70 20 72 65 63 6f 72 64 73 20   bitmap records 
08d0: 74 68 65 20 65 78 69 73 74 61 6e 63 65 20 6f 66  the existance of
08e0: 20 7a 65 72 6f 20 6f 72 20 6d 6f 72 65 20 62 69   zero or more bi
08f0: 74 73 0a 2a 2a 20 77 69 74 68 20 76 61 6c 75 65  ts.** with value
0900: 73 20 62 65 74 77 65 65 6e 20 31 20 61 6e 64 20  s between 1 and 
0910: 69 53 69 7a 65 2c 20 69 6e 63 6c 75 73 69 76 65  iSize, inclusive
0920: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 72 65 20 61 72  ..**.** There ar
0930: 65 20 74 68 72 65 65 20 70 6f 73 73 69 62 6c 65  e three possible
0940: 20 72 65 70 72 65 73 65 6e 74 61 74 69 6f 6e 73   representations
0950: 20 6f 66 20 74 68 65 20 62 69 74 6d 61 70 2e 0a   of the bitmap..
0960: 2a 2a 20 49 66 20 69 53 69 7a 65 3c 3d 42 49 54  ** If iSize<=BIT
0970: 56 45 43 5f 4e 42 49 54 2c 20 74 68 65 6e 20 42  VEC_NBIT, then B
0980: 69 74 76 65 63 2e 75 2e 61 42 69 74 6d 61 70 5b  itvec.u.aBitmap[
0990: 5d 20 69 73 20 61 20 73 74 72 61 69 67 68 74 0a  ] is a straight.
09a0: 2a 2a 20 62 69 74 6d 61 70 2e 20 20 54 68 65 20  ** bitmap.  The 
09b0: 6c 65 61 73 74 20 73 69 67 6e 69 66 69 63 61 6e  least significan
09c0: 74 20 62 69 74 20 69 73 20 62 69 74 20 31 2e 0a  t bit is bit 1..
09d0: 2a 2a 0a 2a 2a 20 49 66 20 69 53 69 7a 65 3e 42  **.** If iSize>B
09e0: 49 54 56 45 43 5f 4e 42 49 54 20 61 6e 64 20 69  ITVEC_NBIT and i
09f0: 44 69 76 69 73 6f 72 3d 3d 30 20 74 68 65 6e 20  Divisor==0 then 
0a00: 42 69 74 76 65 63 2e 75 2e 61 48 61 73 68 5b 5d  Bitvec.u.aHash[]
0a10: 20 69 73 0a 2a 2a 20 61 20 68 61 73 68 20 74 61   is.** a hash ta
0a20: 62 6c 65 20 74 68 61 74 20 77 69 6c 6c 20 68 6f  ble that will ho
0a30: 6c 64 20 75 70 20 74 6f 20 42 49 54 56 45 43 5f  ld up to BITVEC_
0a40: 4d 58 48 41 53 48 20 64 69 73 74 69 6e 63 74 20  MXHASH distinct 
0a50: 76 61 6c 75 65 73 2e 0a 2a 2a 0a 2a 2a 20 4f 74  values..**.** Ot
0a60: 68 65 72 77 69 73 65 2c 20 74 68 65 20 76 61 6c  herwise, the val
0a70: 75 65 20 69 20 69 73 20 72 65 64 69 72 65 63 74  ue i is redirect
0a80: 65 64 20 69 6e 74 6f 20 6f 6e 65 20 6f 66 20 42  ed into one of B
0a90: 49 54 56 45 43 5f 4e 50 54 52 0a 2a 2a 20 73 75  ITVEC_NPTR.** su
0aa0: 62 2d 62 69 74 6d 61 70 73 20 70 6f 69 6e 74 65  b-bitmaps pointe
0ab0: 64 20 74 6f 20 62 79 20 42 69 74 76 65 63 2e 75  d to by Bitvec.u
0ac0: 2e 61 70 53 75 62 5b 5d 2e 20 20 45 61 63 68 20  .apSub[].  Each 
0ad0: 73 75 62 62 69 74 6d 61 70 0a 2a 2a 20 68 61 6e  subbitmap.** han
0ae0: 64 6c 65 73 20 75 70 20 74 6f 20 69 44 69 76 69  dles up to iDivi
0af0: 73 6f 72 20 73 65 70 61 72 61 74 65 20 76 61 6c  sor separate val
0b00: 75 65 73 20 6f 66 20 69 2e 20 20 61 70 53 75 62  ues of i.  apSub
0b10: 5b 30 5d 20 68 6f 6c 64 73 0a 2a 2a 20 76 61 6c  [0] holds.** val
0b20: 75 65 73 20 62 65 74 77 65 65 6e 20 31 20 61 6e  ues between 1 an
0b30: 64 20 69 44 69 76 69 73 6f 72 2e 20 20 61 70 53  d iDivisor.  apS
0b40: 75 62 5b 31 5d 20 68 6f 6c 64 73 20 76 61 6c 75  ub[1] holds valu
0b50: 65 73 20 62 65 74 77 65 65 6e 0a 2a 2a 20 69 44  es between.** iD
0b60: 69 76 69 73 6f 72 2b 31 20 61 6e 64 20 32 2a 69  ivisor+1 and 2*i
0b70: 44 69 76 69 73 6f 72 2e 20 20 61 70 53 75 62 5b  Divisor.  apSub[
0b80: 4e 5d 20 68 6f 6c 64 73 20 76 61 6c 75 65 73 20  N] holds values 
0b90: 62 65 74 77 65 65 6e 0a 2a 2a 20 4e 2a 69 44 69  between.** N*iDi
0ba0: 76 69 73 6f 72 2b 31 20 61 6e 64 20 28 4e 2b 31  visor+1 and (N+1
0bb0: 29 2a 69 44 69 76 69 73 6f 72 2e 20 20 45 61 63  )*iDivisor.  Eac
0bc0: 68 20 73 75 62 62 69 74 6d 61 70 20 69 73 20 6e  h subbitmap is n
0bd0: 6f 72 6d 61 6c 69 7a 65 64 0a 2a 2a 20 74 6f 20  ormalized.** to 
0be0: 68 6f 6c 64 20 64 65 61 6c 20 77 69 74 68 20 76  hold deal with v
0bf0: 61 6c 75 65 73 20 62 65 74 77 65 65 6e 20 31 20  alues between 1 
0c00: 61 6e 64 20 69 44 69 76 69 73 6f 72 2e 0a 2a 2f  and iDivisor..*/
0c10: 0a 73 74 72 75 63 74 20 42 69 74 76 65 63 20 7b  .struct Bitvec {
0c20: 0a 20 20 75 33 32 20 69 53 69 7a 65 3b 20 20 20  .  u32 iSize;   
0c30: 20 20 20 2f 2a 20 4d 61 78 69 6d 75 6d 20 62 69     /* Maximum bi
0c40: 74 20 69 6e 64 65 78 20 2a 2f 0a 20 20 75 33 32  t index */.  u32
0c50: 20 6e 53 65 74 3b 20 20 20 20 20 20 20 2f 2a 20   nSet;       /* 
0c60: 4e 75 6d 62 65 72 20 6f 66 20 62 69 74 73 20 74  Number of bits t
0c70: 68 61 74 20 61 72 65 20 73 65 74 20 2a 2f 0a 20  hat are set */. 
0c80: 20 75 33 32 20 69 44 69 76 69 73 6f 72 3b 20 20   u32 iDivisor;  
0c90: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 62 69   /* Number of bi
0ca0: 74 73 20 68 61 6e 64 6c 65 64 20 62 79 20 65 61  ts handled by ea
0cb0: 63 68 20 61 70 53 75 62 5b 5d 20 65 6e 74 72 79  ch apSub[] entry
0cc0: 20 2a 2f 0a 20 20 75 6e 69 6f 6e 20 7b 0a 20 20   */.  union {.  
0cd0: 20 20 75 38 20 61 42 69 74 6d 61 70 5b 42 49 54    u8 aBitmap[BIT
0ce0: 56 45 43 5f 4e 43 48 41 52 5d 3b 20 20 20 20 2f  VEC_NCHAR];    /
0cf0: 2a 20 42 69 74 6d 61 70 20 72 65 70 72 65 73 65  * Bitmap represe
0d00: 6e 74 61 74 69 6f 6e 20 2a 2f 0a 20 20 20 20 75  ntation */.    u
0d10: 33 32 20 61 48 61 73 68 5b 42 49 54 56 45 43 5f  32 aHash[BITVEC_
0d20: 4e 49 4e 54 5d 3b 20 20 20 20 20 20 2f 2a 20 48  NINT];      /* H
0d30: 61 73 68 20 74 61 62 6c 65 20 72 65 70 72 65 73  ash table repres
0d40: 65 6e 74 61 74 69 6f 6e 20 2a 2f 0a 20 20 20 20  entation */.    
0d50: 42 69 74 76 65 63 20 2a 61 70 53 75 62 5b 42 49  Bitvec *apSub[BI
0d60: 54 56 45 43 5f 4e 50 54 52 5d 3b 20 20 2f 2a 20  TVEC_NPTR];  /* 
0d70: 52 65 63 75 72 73 69 76 65 20 72 65 70 72 65 73  Recursive repres
0d80: 65 6e 74 61 74 69 6f 6e 20 2a 2f 0a 20 20 7d 20  entation */.  } 
0d90: 75 3b 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 43 72 65  u;.};../*.** Cre
0da0: 61 74 65 20 61 20 6e 65 77 20 62 69 74 6d 61 70  ate a new bitmap
0db0: 20 6f 62 6a 65 63 74 20 61 62 6c 65 20 74 6f 20   object able to 
0dc0: 68 61 6e 64 6c 65 20 62 69 74 73 20 62 65 74 77  handle bits betw
0dd0: 65 65 6e 20 30 20 61 6e 64 20 69 53 69 7a 65 2c  een 0 and iSize,
0de0: 0a 2a 2a 20 69 6e 63 6c 75 73 69 76 65 2e 20 20  .** inclusive.  
0df0: 52 65 74 75 72 6e 20 61 20 70 6f 69 6e 74 65 72  Return a pointer
0e00: 20 74 6f 20 74 68 65 20 6e 65 77 20 6f 62 6a 65   to the new obje
0e10: 63 74 2e 20 20 52 65 74 75 72 6e 20 4e 55 4c 4c  ct.  Return NULL
0e20: 20 69 66 20 0a 2a 2a 20 6d 61 6c 6c 6f 63 20 66   if .** malloc f
0e30: 61 69 6c 73 2e 0a 2a 2f 0a 42 69 74 76 65 63 20  ails..*/.Bitvec 
0e40: 2a 73 71 6c 69 74 65 33 42 69 74 76 65 63 43 72  *sqlite3BitvecCr
0e50: 65 61 74 65 28 75 33 32 20 69 53 69 7a 65 29 7b  eate(u32 iSize){
0e60: 0a 20 20 42 69 74 76 65 63 20 2a 70 3b 0a 20 20  .  Bitvec *p;.  
0e70: 61 73 73 65 72 74 28 20 73 69 7a 65 6f 66 28 2a  assert( sizeof(*
0e80: 70 29 3d 3d 42 49 54 56 45 43 5f 53 5a 20 29 3b  p)==BITVEC_SZ );
0e90: 0a 20 20 70 20 3d 20 73 71 6c 69 74 65 33 4d 61  .  p = sqlite3Ma
0ea0: 6c 6c 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f 66  llocZero( sizeof
0eb0: 28 2a 70 29 20 29 3b 0a 20 20 69 66 28 20 70 20  (*p) );.  if( p 
0ec0: 29 7b 0a 20 20 20 20 70 2d 3e 69 53 69 7a 65 20  ){.    p->iSize 
0ed0: 3d 20 69 53 69 7a 65 3b 0a 20 20 7d 0a 20 20 72  = iSize;.  }.  r
0ee0: 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a 2f 2a 0a 2a  eturn p;.}../*.*
0ef0: 2a 20 43 68 65 63 6b 20 74 6f 20 73 65 65 20 69  * Check to see i
0f00: 66 20 74 68 65 20 69 2d 74 68 20 62 69 74 20 69  f the i-th bit i
0f10: 73 20 73 65 74 2e 20 20 52 65 74 75 72 6e 20 74  s set.  Return t
0f20: 72 75 65 20 6f 72 20 66 61 6c 73 65 2e 0a 2a 2a  rue or false..**
0f30: 20 49 66 20 70 20 69 73 20 4e 55 4c 4c 20 28 69   If p is NULL (i
0f40: 66 20 74 68 65 20 62 69 74 6d 61 70 20 68 61 73  f the bitmap has
0f50: 20 6e 6f 74 20 62 65 65 6e 20 63 72 65 61 74 65   not been create
0f60: 64 29 20 6f 72 20 69 66 0a 2a 2a 20 69 20 69 73  d) or if.** i is
0f70: 20 6f 75 74 20 6f 66 20 72 61 6e 67 65 2c 20 74   out of range, t
0f80: 68 65 6e 20 72 65 74 75 72 6e 20 66 61 6c 73 65  hen return false
0f90: 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33  ..*/.int sqlite3
0fa0: 42 69 74 76 65 63 54 65 73 74 28 42 69 74 76 65  BitvecTest(Bitve
0fb0: 63 20 2a 70 2c 20 75 33 32 20 69 29 7b 0a 20 20  c *p, u32 i){.  
0fc0: 69 66 28 20 70 3d 3d 30 20 29 20 72 65 74 75 72  if( p==0 ) retur
0fd0: 6e 20 30 3b 0a 20 20 69 66 28 20 69 3e 70 2d 3e  n 0;.  if( i>p->
0fe0: 69 53 69 7a 65 20 7c 7c 20 69 3d 3d 30 20 29 20  iSize || i==0 ) 
0ff0: 72 65 74 75 72 6e 20 30 3b 0a 20 20 69 66 28 20  return 0;.  if( 
1000: 70 2d 3e 69 53 69 7a 65 3c 3d 42 49 54 56 45 43  p->iSize<=BITVEC
1010: 5f 4e 42 49 54 20 29 7b 0a 20 20 20 20 69 2d 2d  _NBIT ){.    i--
1020: 3b 0a 20 20 20 20 72 65 74 75 72 6e 20 28 70 2d  ;.    return (p-
1030: 3e 75 2e 61 42 69 74 6d 61 70 5b 69 2f 38 5d 20  >u.aBitmap[i/8] 
1040: 26 20 28 31 3c 3c 28 69 26 37 29 29 29 21 3d 30  & (1<<(i&7)))!=0
1050: 3b 0a 20 20 7d 0a 20 20 69 66 28 20 70 2d 3e 69  ;.  }.  if( p->i
1060: 44 69 76 69 73 6f 72 3e 30 20 29 7b 0a 20 20 20  Divisor>0 ){.   
1070: 20 75 33 32 20 62 69 6e 20 3d 20 28 69 2d 31 29   u32 bin = (i-1)
1080: 2f 70 2d 3e 69 44 69 76 69 73 6f 72 3b 0a 20 20  /p->iDivisor;.  
1090: 20 20 69 20 3d 20 28 69 2d 31 29 25 70 2d 3e 69    i = (i-1)%p->i
10a0: 44 69 76 69 73 6f 72 20 2b 20 31 3b 0a 20 20 20  Divisor + 1;.   
10b0: 20 72 65 74 75 72 6e 20 73 71 6c 69 74 65 33 42   return sqlite3B
10c0: 69 74 76 65 63 54 65 73 74 28 70 2d 3e 75 2e 61  itvecTest(p->u.a
10d0: 70 53 75 62 5b 62 69 6e 5d 2c 20 69 29 3b 0a 20  pSub[bin], i);. 
10e0: 20 7d 65 6c 73 65 7b 0a 20 20 20 20 75 33 32 20   }else{.    u32 
10f0: 68 20 3d 20 42 49 54 56 45 43 5f 48 41 53 48 28  h = BITVEC_HASH(
1100: 69 29 3b 0a 20 20 20 20 77 68 69 6c 65 28 20 70  i);.    while( p
1110: 2d 3e 75 2e 61 48 61 73 68 5b 68 5d 20 29 7b 0a  ->u.aHash[h] ){.
1120: 20 20 20 20 20 20 69 66 28 20 70 2d 3e 75 2e 61        if( p->u.a
1130: 48 61 73 68 5b 68 5d 3d 3d 69 20 29 20 72 65 74  Hash[h]==i ) ret
1140: 75 72 6e 20 31 3b 0a 20 20 20 20 20 20 68 2b 2b  urn 1;.      h++
1150: 3b 0a 20 20 20 20 20 20 69 66 28 20 68 3e 3d 42  ;.      if( h>=B
1160: 49 54 56 45 43 5f 4e 49 4e 54 20 29 20 68 20 3d  ITVEC_NINT ) h =
1170: 20 30 3b 0a 20 20 20 20 7d 0a 20 20 20 20 72 65   0;.    }.    re
1180: 74 75 72 6e 20 30 3b 0a 20 20 7d 0a 7d 0a 0a 2f  turn 0;.  }.}../
1190: 2a 0a 2a 2a 20 53 65 74 20 74 68 65 20 69 2d 74  *.** Set the i-t
11a0: 68 20 62 69 74 2e 20 20 52 65 74 75 72 6e 20 30  h bit.  Return 0
11b0: 20 6f 6e 20 73 75 63 63 65 73 73 20 61 6e 64 20   on success and 
11c0: 61 6e 20 65 72 72 6f 72 20 63 6f 64 65 20 69 66  an error code if
11d0: 0a 2a 2a 20 61 6e 79 74 68 69 6e 67 20 67 6f 65  .** anything goe
11e0: 73 20 77 72 6f 6e 67 2e 0a 2a 2f 0a 69 6e 74 20  s wrong..*/.int 
11f0: 73 71 6c 69 74 65 33 42 69 74 76 65 63 53 65 74  sqlite3BitvecSet
1200: 28 42 69 74 76 65 63 20 2a 70 2c 20 75 33 32 20  (Bitvec *p, u32 
1210: 69 29 7b 0a 20 20 75 33 32 20 68 3b 0a 20 20 61  i){.  u32 h;.  a
1220: 73 73 65 72 74 28 20 70 21 3d 30 20 29 3b 0a 20  ssert( p!=0 );. 
1230: 20 61 73 73 65 72 74 28 20 69 3e 30 20 29 3b 0a   assert( i>0 );.
1240: 20 20 61 73 73 65 72 74 28 20 69 3c 3d 70 2d 3e    assert( i<=p->
1250: 69 53 69 7a 65 20 29 3b 0a 20 20 69 66 28 20 70  iSize );.  if( p
1260: 2d 3e 69 53 69 7a 65 3c 3d 42 49 54 56 45 43 5f  ->iSize<=BITVEC_
1270: 4e 42 49 54 20 29 7b 0a 20 20 20 20 69 2d 2d 3b  NBIT ){.    i--;
1280: 0a 20 20 20 20 70 2d 3e 75 2e 61 42 69 74 6d 61  .    p->u.aBitma
1290: 70 5b 69 2f 38 5d 20 7c 3d 20 31 20 3c 3c 20 28  p[i/8] |= 1 << (
12a0: 69 26 37 29 3b 0a 20 20 20 20 72 65 74 75 72 6e  i&7);.    return
12b0: 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 0a   SQLITE_OK;.  }.
12c0: 20 20 69 66 28 20 70 2d 3e 69 44 69 76 69 73 6f    if( p->iDiviso
12d0: 72 20 29 7b 0a 20 20 20 20 75 33 32 20 62 69 6e  r ){.    u32 bin
12e0: 20 3d 20 28 69 2d 31 29 2f 70 2d 3e 69 44 69 76   = (i-1)/p->iDiv
12f0: 69 73 6f 72 3b 0a 20 20 20 20 69 20 3d 20 28 69  isor;.    i = (i
1300: 2d 31 29 25 70 2d 3e 69 44 69 76 69 73 6f 72 20  -1)%p->iDivisor 
1310: 2b 20 31 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e  + 1;.    if( p->
1320: 75 2e 61 70 53 75 62 5b 62 69 6e 5d 3d 3d 30 20  u.apSub[bin]==0 
1330: 29 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33  ){.      sqlite3
1340: 42 65 67 69 6e 42 65 6e 69 67 6e 4d 61 6c 6c 6f  BeginBenignMallo
1350: 63 28 29 3b 0a 20 20 20 20 20 20 70 2d 3e 75 2e  c();.      p->u.
1360: 61 70 53 75 62 5b 62 69 6e 5d 20 3d 20 73 71 6c  apSub[bin] = sql
1370: 69 74 65 33 42 69 74 76 65 63 43 72 65 61 74 65  ite3BitvecCreate
1380: 28 20 70 2d 3e 69 44 69 76 69 73 6f 72 20 29 3b  ( p->iDivisor );
1390: 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33 45 6e  .      sqlite3En
13a0: 64 42 65 6e 69 67 6e 4d 61 6c 6c 6f 63 28 29 3b  dBenignMalloc();
13b0: 0a 20 20 20 20 20 20 69 66 28 20 70 2d 3e 75 2e  .      if( p->u.
13c0: 61 70 53 75 62 5b 62 69 6e 5d 3d 3d 30 20 29 20  apSub[bin]==0 ) 
13d0: 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4e 4f  return SQLITE_NO
13e0: 4d 45 4d 3b 0a 20 20 20 20 7d 0a 20 20 20 20 72  MEM;.    }.    r
13f0: 65 74 75 72 6e 20 73 71 6c 69 74 65 33 42 69 74  eturn sqlite3Bit
1400: 76 65 63 53 65 74 28 70 2d 3e 75 2e 61 70 53 75  vecSet(p->u.apSu
1410: 62 5b 62 69 6e 5d 2c 20 69 29 3b 0a 20 20 7d 0a  b[bin], i);.  }.
1420: 20 20 68 20 3d 20 42 49 54 56 45 43 5f 48 41 53    h = BITVEC_HAS
1430: 48 28 69 29 3b 0a 20 20 77 68 69 6c 65 28 20 70  H(i);.  while( p
1440: 2d 3e 75 2e 61 48 61 73 68 5b 68 5d 20 29 7b 0a  ->u.aHash[h] ){.
1450: 20 20 20 20 69 66 28 20 70 2d 3e 75 2e 61 48 61      if( p->u.aHa
1460: 73 68 5b 68 5d 3d 3d 69 20 29 20 72 65 74 75 72  sh[h]==i ) retur
1470: 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 20  n SQLITE_OK;.   
1480: 20 68 2b 2b 3b 0a 20 20 20 20 69 66 28 20 68 3d   h++;.    if( h=
1490: 3d 42 49 54 56 45 43 5f 4e 49 4e 54 20 29 20 68  =BITVEC_NINT ) h
14a0: 20 3d 20 30 3b 0a 20 20 7d 0a 20 20 70 2d 3e 6e   = 0;.  }.  p->n
14b0: 53 65 74 2b 2b 3b 0a 20 20 69 66 28 20 70 2d 3e  Set++;.  if( p->
14c0: 6e 53 65 74 3e 3d 42 49 54 56 45 43 5f 4d 58 48  nSet>=BITVEC_MXH
14d0: 41 53 48 20 29 7b 0a 20 20 20 20 69 6e 74 20 6a  ASH ){.    int j
14e0: 2c 20 72 63 3b 0a 20 20 20 20 75 33 32 20 61 69  , rc;.    u32 ai
14f0: 56 61 6c 75 65 73 5b 42 49 54 56 45 43 5f 4e 49  Values[BITVEC_NI
1500: 4e 54 5d 3b 0a 20 20 20 20 6d 65 6d 63 70 79 28  NT];.    memcpy(
1510: 61 69 56 61 6c 75 65 73 2c 20 70 2d 3e 75 2e 61  aiValues, p->u.a
1520: 48 61 73 68 2c 20 73 69 7a 65 6f 66 28 61 69 56  Hash, sizeof(aiV
1530: 61 6c 75 65 73 29 29 3b 0a 20 20 20 20 6d 65 6d  alues));.    mem
1540: 73 65 74 28 70 2d 3e 75 2e 61 70 53 75 62 2c 20  set(p->u.apSub, 
1550: 30 2c 20 73 69 7a 65 6f 66 28 70 2d 3e 75 2e 61  0, sizeof(p->u.a
1560: 70 53 75 62 5b 30 5d 29 2a 42 49 54 56 45 43 5f  pSub[0])*BITVEC_
1570: 4e 50 54 52 29 3b 0a 20 20 20 20 70 2d 3e 69 44  NPTR);.    p->iD
1580: 69 76 69 73 6f 72 20 3d 20 28 70 2d 3e 69 53 69  ivisor = (p->iSi
1590: 7a 65 20 2b 20 42 49 54 56 45 43 5f 4e 50 54 52  ze + BITVEC_NPTR
15a0: 20 2d 20 31 29 2f 42 49 54 56 45 43 5f 4e 50 54   - 1)/BITVEC_NPT
15b0: 52 3b 0a 20 20 20 20 72 63 20 3d 20 73 71 6c 69  R;.    rc = sqli
15c0: 74 65 33 42 69 74 76 65 63 53 65 74 28 70 2c 20  te3BitvecSet(p, 
15d0: 69 29 3b 0a 20 20 20 20 66 6f 72 28 6a 3d 30 3b  i);.    for(j=0;
15e0: 20 6a 3c 42 49 54 56 45 43 5f 4e 49 4e 54 3b 20   j<BITVEC_NINT; 
15f0: 6a 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66 28 20  j++){.      if( 
1600: 61 69 56 61 6c 75 65 73 5b 6a 5d 20 29 20 72 63  aiValues[j] ) rc
1610: 20 7c 3d 20 73 71 6c 69 74 65 33 42 69 74 76 65   |= sqlite3Bitve
1620: 63 53 65 74 28 70 2c 20 61 69 56 61 6c 75 65 73  cSet(p, aiValues
1630: 5b 6a 5d 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20  [j]);.    }.    
1640: 72 65 74 75 72 6e 20 72 63 3b 0a 20 20 7d 0a 20  return rc;.  }. 
1650: 20 70 2d 3e 75 2e 61 48 61 73 68 5b 68 5d 20 3d   p->u.aHash[h] =
1660: 20 69 3b 0a 20 20 72 65 74 75 72 6e 20 53 51 4c   i;.  return SQL
1670: 49 54 45 5f 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  ITE_OK;.}../*.**
1680: 20 43 6c 65 61 72 20 74 68 65 20 69 2d 74 68 20   Clear the i-th 
1690: 62 69 74 2e 20 20 52 65 74 75 72 6e 20 30 20 6f  bit.  Return 0 o
16a0: 6e 20 73 75 63 63 65 73 73 20 61 6e 64 20 61 6e  n success and an
16b0: 20 65 72 72 6f 72 20 63 6f 64 65 20 69 66 0a 2a   error code if.*
16c0: 2a 20 61 6e 79 74 68 69 6e 67 20 67 6f 65 73 20  * anything goes 
16d0: 77 72 6f 6e 67 2e 0a 2a 2f 0a 76 6f 69 64 20 73  wrong..*/.void s
16e0: 71 6c 69 74 65 33 42 69 74 76 65 63 43 6c 65 61  qlite3BitvecClea
16f0: 72 28 42 69 74 76 65 63 20 2a 70 2c 20 75 33 32  r(Bitvec *p, u32
1700: 20 69 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70   i){.  assert( p
1710: 21 3d 30 20 29 3b 0a 20 20 61 73 73 65 72 74 28  !=0 );.  assert(
1720: 20 69 3e 30 20 29 3b 0a 20 20 69 66 28 20 70 2d   i>0 );.  if( p-
1730: 3e 69 53 69 7a 65 3c 3d 42 49 54 56 45 43 5f 4e  >iSize<=BITVEC_N
1740: 42 49 54 20 29 7b 0a 20 20 20 20 69 2d 2d 3b 0a  BIT ){.    i--;.
1750: 20 20 20 20 70 2d 3e 75 2e 61 42 69 74 6d 61 70      p->u.aBitmap
1760: 5b 69 2f 38 5d 20 26 3d 20 7e 28 31 20 3c 3c 20  [i/8] &= ~(1 << 
1770: 28 69 26 37 29 29 3b 0a 20 20 7d 65 6c 73 65 20  (i&7));.  }else 
1780: 69 66 28 20 70 2d 3e 69 44 69 76 69 73 6f 72 20  if( p->iDivisor 
1790: 29 7b 0a 20 20 20 20 75 33 32 20 62 69 6e 20 3d  ){.    u32 bin =
17a0: 20 28 69 2d 31 29 2f 70 2d 3e 69 44 69 76 69 73   (i-1)/p->iDivis
17b0: 6f 72 3b 0a 20 20 20 20 69 20 3d 20 28 69 2d 31  or;.    i = (i-1
17c0: 29 25 70 2d 3e 69 44 69 76 69 73 6f 72 20 2b 20  )%p->iDivisor + 
17d0: 31 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e 75 2e  1;.    if( p->u.
17e0: 61 70 53 75 62 5b 62 69 6e 5d 20 29 7b 0a 20 20  apSub[bin] ){.  
17f0: 20 20 20 20 73 71 6c 69 74 65 33 42 69 74 76 65      sqlite3Bitve
1800: 63 43 6c 65 61 72 28 70 2d 3e 75 2e 61 70 53 75  cClear(p->u.apSu
1810: 62 5b 62 69 6e 5d 2c 20 69 29 3b 0a 20 20 20 20  b[bin], i);.    
1820: 7d 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 69  }.  }else{.    i
1830: 6e 74 20 6a 3b 0a 20 20 20 20 75 33 32 20 61 69  nt j;.    u32 ai
1840: 56 61 6c 75 65 73 5b 42 49 54 56 45 43 5f 4e 49  Values[BITVEC_NI
1850: 4e 54 5d 3b 0a 20 20 20 20 6d 65 6d 63 70 79 28  NT];.    memcpy(
1860: 61 69 56 61 6c 75 65 73 2c 20 70 2d 3e 75 2e 61  aiValues, p->u.a
1870: 48 61 73 68 2c 20 73 69 7a 65 6f 66 28 61 69 56  Hash, sizeof(aiV
1880: 61 6c 75 65 73 29 29 3b 0a 20 20 20 20 6d 65 6d  alues));.    mem
1890: 73 65 74 28 70 2d 3e 75 2e 61 48 61 73 68 2c 20  set(p->u.aHash, 
18a0: 30 2c 20 73 69 7a 65 6f 66 28 70 2d 3e 75 2e 61  0, sizeof(p->u.a
18b0: 48 61 73 68 5b 30 5d 29 2a 42 49 54 56 45 43 5f  Hash[0])*BITVEC_
18c0: 4e 49 4e 54 29 3b 0a 20 20 20 20 70 2d 3e 6e 53  NINT);.    p->nS
18d0: 65 74 20 3d 20 30 3b 0a 20 20 20 20 66 6f 72 28  et = 0;.    for(
18e0: 6a 3d 30 3b 20 6a 3c 42 49 54 56 45 43 5f 4e 49  j=0; j<BITVEC_NI
18f0: 4e 54 3b 20 6a 2b 2b 29 7b 0a 20 20 20 20 20 20  NT; j++){.      
1900: 69 66 28 20 61 69 56 61 6c 75 65 73 5b 6a 5d 20  if( aiValues[j] 
1910: 26 26 20 61 69 56 61 6c 75 65 73 5b 6a 5d 21 3d  && aiValues[j]!=
1920: 69 20 29 7b 0a 20 20 20 20 20 20 20 20 73 71 6c  i ){.        sql
1930: 69 74 65 33 42 69 74 76 65 63 53 65 74 28 70 2c  ite3BitvecSet(p,
1940: 20 61 69 56 61 6c 75 65 73 5b 6a 5d 29 3b 0a 20   aiValues[j]);. 
1950: 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d       }.    }.  }
1960: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 44 65 73 74 72 6f  .}../*.** Destro
1970: 79 20 61 20 62 69 74 6d 61 70 20 6f 62 6a 65 63  y a bitmap objec
1980: 74 2e 20 20 52 65 63 6c 61 69 6d 20 61 6c 6c 20  t.  Reclaim all 
1990: 6d 65 6d 6f 72 79 20 75 73 65 64 2e 0a 2a 2f 0a  memory used..*/.
19a0: 76 6f 69 64 20 73 71 6c 69 74 65 33 42 69 74 76  void sqlite3Bitv
19b0: 65 63 44 65 73 74 72 6f 79 28 42 69 74 76 65 63  ecDestroy(Bitvec
19c0: 20 2a 70 29 7b 0a 20 20 69 66 28 20 70 3d 3d 30   *p){.  if( p==0
19d0: 20 29 20 72 65 74 75 72 6e 3b 0a 20 20 69 66 28   ) return;.  if(
19e0: 20 70 2d 3e 69 44 69 76 69 73 6f 72 20 29 7b 0a   p->iDivisor ){.
19f0: 20 20 20 20 69 6e 74 20 69 3b 0a 20 20 20 20 66      int i;.    f
1a00: 6f 72 28 69 3d 30 3b 20 69 3c 42 49 54 56 45 43  or(i=0; i<BITVEC
1a10: 5f 4e 50 54 52 3b 20 69 2b 2b 29 7b 0a 20 20 20  _NPTR; i++){.   
1a20: 20 20 20 73 71 6c 69 74 65 33 42 69 74 76 65 63     sqlite3Bitvec
1a30: 44 65 73 74 72 6f 79 28 70 2d 3e 75 2e 61 70 53  Destroy(p->u.apS
1a40: 75 62 5b 69 5d 29 3b 0a 20 20 20 20 7d 0a 20 20  ub[i]);.    }.  
1a50: 7d 0a 20 20 73 71 6c 69 74 65 33 5f 66 72 65 65  }.  sqlite3_free
1a60: 28 70 29 3b 0a 7d 0a 0a 23 69 66 6e 64 65 66 20  (p);.}..#ifndef 
1a70: 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 42 55 49 4c  SQLITE_OMIT_BUIL
1a80: 54 49 4e 5f 54 45 53 54 0a 2f 2a 0a 2a 2a 20 4c  TIN_TEST./*.** L
1a90: 65 74 20 56 5b 5d 20 62 65 20 61 6e 20 61 72 72  et V[] be an arr
1aa0: 61 79 20 6f 66 20 75 6e 73 69 67 6e 65 64 20 63  ay of unsigned c
1ab0: 68 61 72 61 63 74 65 72 73 20 73 75 66 66 69 63  haracters suffic
1ac0: 69 65 6e 74 20 74 6f 20 68 6f 6c 64 0a 2a 2a 20  ient to hold.** 
1ad0: 75 70 20 74 6f 20 4e 20 62 69 74 73 2e 20 20 4c  up to N bits.  L
1ae0: 65 74 20 49 20 62 65 20 61 6e 20 69 6e 74 65 67  et I be an integ
1af0: 65 72 20 62 65 74 77 65 65 6e 20 30 20 61 6e 64  er between 0 and
1b00: 20 4e 2e 20 20 30 3c 3d 49 3c 4e 2e 0a 2a 2a 20   N.  0<=I<N..** 
1b10: 54 68 65 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69  Then the followi
1b20: 6e 67 20 6d 61 63 72 6f 73 20 63 61 6e 20 62 65  ng macros can be
1b30: 20 75 73 65 64 20 74 6f 20 73 65 74 2c 20 63 6c   used to set, cl
1b40: 65 61 72 2c 20 6f 72 20 74 65 73 74 0a 2a 2a 20  ear, or test.** 
1b50: 69 6e 64 69 76 69 64 75 61 6c 20 62 69 74 73 20  individual bits 
1b60: 77 69 74 68 69 6e 20 56 2e 0a 2a 2f 0a 23 64 65  within V..*/.#de
1b70: 66 69 6e 65 20 53 45 54 42 49 54 28 56 2c 49 29  fine SETBIT(V,I)
1b80: 20 20 20 20 20 20 56 5b 49 3e 3e 33 5d 20 7c 3d        V[I>>3] |=
1b90: 20 28 31 3c 3c 28 49 26 37 29 29 0a 23 64 65 66   (1<<(I&7)).#def
1ba0: 69 6e 65 20 43 4c 45 41 52 42 49 54 28 56 2c 49  ine CLEARBIT(V,I
1bb0: 29 20 20 20 20 56 5b 49 3e 3e 33 5d 20 26 3d 20  )    V[I>>3] &= 
1bc0: 7e 28 31 3c 3c 28 49 26 37 29 29 0a 23 64 65 66  ~(1<<(I&7)).#def
1bd0: 69 6e 65 20 54 45 53 54 42 49 54 28 56 2c 49 29  ine TESTBIT(V,I)
1be0: 20 20 20 20 20 28 56 5b 49 3e 3e 33 5d 26 28 31       (V[I>>3]&(1
1bf0: 3c 3c 28 49 26 37 29 29 29 21 3d 30 0a 0a 2f 2a  <<(I&7)))!=0../*
1c00: 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65  .** This routine
1c10: 20 72 75 6e 73 20 61 6e 20 65 78 74 65 6e 73 69   runs an extensi
1c20: 76 65 20 74 65 73 74 20 6f 66 20 74 68 65 20 42  ve test of the B
1c30: 69 74 76 65 63 20 63 6f 64 65 2e 0a 2a 2a 0a 2a  itvec code..**.*
1c40: 2a 20 54 68 65 20 69 6e 70 75 74 20 69 73 20 61  * The input is a
1c50: 6e 20 61 72 72 61 79 20 6f 66 20 69 6e 74 65 67  n array of integ
1c60: 65 72 73 20 74 68 61 74 20 61 63 74 73 20 61 73  ers that acts as
1c70: 20 61 20 70 72 6f 67 72 61 6d 0a 2a 2a 20 74 6f   a program.** to
1c80: 20 74 65 73 74 20 74 68 65 20 42 69 74 76 65 63   test the Bitvec
1c90: 2e 20 20 54 68 65 20 69 6e 74 65 67 65 72 73 20  .  The integers 
1ca0: 61 72 65 20 6f 70 63 6f 64 65 73 20 66 6f 6c 6c  are opcodes foll
1cb0: 6f 77 65 64 0a 2a 2a 20 62 79 20 30 2c 20 31 2c  owed.** by 0, 1,
1cc0: 20 6f 72 20 33 20 6f 70 65 72 61 6e 64 73 2c 20   or 3 operands, 
1cd0: 64 65 70 65 6e 64 69 6e 67 20 6f 6e 20 74 68 65  depending on the
1ce0: 20 6f 70 63 6f 64 65 2e 20 20 41 6e 6f 74 68 65   opcode.  Anothe
1cf0: 72 0a 2a 2a 20 6f 70 63 6f 64 65 20 66 6f 6c 6c  r.** opcode foll
1d00: 6f 77 73 20 69 6d 6d 65 64 69 61 74 65 6c 79 20  ows immediately 
1d10: 61 66 74 65 72 20 74 68 65 20 6c 61 73 74 20 6f  after the last o
1d20: 70 65 72 61 6e 64 2e 0a 2a 2a 0a 2a 2a 20 54 68  perand..**.** Th
1d30: 65 72 65 20 61 72 65 20 36 20 6f 70 63 6f 64 65  ere are 6 opcode
1d40: 73 20 6e 75 6d 62 65 72 65 64 20 66 72 6f 6d 20  s numbered from 
1d50: 30 20 74 68 72 6f 75 67 68 20 35 2e 20 20 30 20  0 through 5.  0 
1d60: 69 73 20 74 68 65 0a 2a 2a 20 22 68 61 6c 74 22  is the.** "halt"
1d70: 20 6f 70 63 6f 64 65 20 61 6e 64 20 63 61 75 73   opcode and caus
1d80: 65 73 20 74 68 65 20 74 65 73 74 20 74 6f 20 65  es the test to e
1d90: 6e 64 2e 0a 2a 2a 0a 2a 2a 20 20 20 20 30 20 20  nd..**.**    0  
1da0: 20 20 20 20 20 20 20 20 48 61 6c 74 20 61 6e 64          Halt and
1db0: 20 72 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 62   return the numb
1dc0: 65 72 20 6f 66 20 65 72 72 6f 72 73 0a 2a 2a 20  er of errors.** 
1dd0: 20 20 20 31 20 4e 20 53 20 58 20 20 20 20 53 65     1 N S X    Se
1de0: 74 20 4e 20 62 69 74 73 20 62 65 67 69 6e 6e 69  t N bits beginni
1df0: 6e 67 20 77 69 74 68 20 53 20 61 6e 64 20 69 6e  ng with S and in
1e00: 63 72 65 6d 65 6e 74 69 6e 67 20 62 79 20 58 0a  crementing by X.
1e10: 2a 2a 20 20 20 20 32 20 4e 20 53 20 58 20 20 20  **    2 N S X   
1e20: 20 43 6c 65 61 72 20 4e 20 62 69 74 73 20 62 65   Clear N bits be
1e30: 67 69 6e 6e 69 6e 67 20 77 69 74 68 20 53 20 61  ginning with S a
1e40: 6e 64 20 69 6e 63 72 65 6d 65 6e 74 69 6e 67 20  nd incrementing 
1e50: 62 79 20 58 0a 2a 2a 20 20 20 20 33 20 4e 20 20  by X.**    3 N  
1e60: 20 20 20 20 20 20 53 65 74 20 4e 20 72 61 6e 64        Set N rand
1e70: 6f 6d 6c 79 20 63 68 6f 73 65 6e 20 62 69 74 73  omly chosen bits
1e80: 0a 2a 2a 20 20 20 20 34 20 4e 20 20 20 20 20 20  .**    4 N      
1e90: 20 20 43 6c 65 61 72 20 4e 20 72 61 6e 64 6f 6d    Clear N random
1ea0: 6c 79 20 63 68 6f 73 65 6e 20 62 69 74 73 0a 2a  ly chosen bits.*
1eb0: 2a 20 20 20 20 35 20 4e 20 53 20 58 20 20 20 20  *    5 N S X    
1ec0: 53 65 74 20 4e 20 62 69 74 73 20 66 72 6f 6d 20  Set N bits from 
1ed0: 53 20 69 6e 63 72 65 6d 65 6e 74 20 58 20 69 6e  S increment X in
1ee0: 20 61 72 72 61 79 20 6f 6e 6c 79 2c 20 6e 6f 74   array only, not
1ef0: 20 69 6e 20 62 69 74 76 65 63 0a 2a 2a 0a 2a 2a   in bitvec.**.**
1f00: 20 54 68 65 20 6f 70 63 6f 64 65 73 20 31 20 74   The opcodes 1 t
1f10: 68 72 6f 75 67 68 20 34 20 70 65 72 66 6f 72 6d  hrough 4 perform
1f20: 20 73 65 74 20 61 6e 64 20 63 6c 65 61 72 20 6f   set and clear o
1f30: 70 65 72 61 74 69 6f 6e 73 20 61 72 65 20 70 65  perations are pe
1f40: 72 66 6f 72 6d 65 64 0a 2a 2a 20 6f 6e 20 62 6f  rformed.** on bo
1f50: 74 68 20 61 20 42 69 74 76 65 63 20 6f 62 6a 65  th a Bitvec obje
1f60: 63 74 20 61 6e 64 20 6f 6e 20 61 20 6c 69 6e 65  ct and on a line
1f70: 61 72 20 61 72 72 61 79 20 6f 66 20 62 69 74 73  ar array of bits
1f80: 20 6f 62 74 61 69 6e 65 64 20 66 72 6f 6d 20 6d   obtained from m
1f90: 61 6c 6c 6f 63 2e 0a 2a 2a 20 4f 70 63 6f 64 65  alloc..** Opcode
1fa0: 20 35 20 77 6f 72 6b 73 20 6f 6e 20 74 68 65 20   5 works on the 
1fb0: 6c 69 6e 65 61 72 20 61 72 72 61 79 20 6f 6e 6c  linear array onl
1fc0: 79 2c 20 6e 6f 74 20 6f 6e 20 74 68 65 20 42 69  y, not on the Bi
1fd0: 74 76 65 63 2e 0a 2a 2a 20 4f 70 63 6f 64 65 20  tvec..** Opcode 
1fe0: 35 20 69 73 20 75 73 65 64 20 74 6f 20 64 65 6c  5 is used to del
1ff0: 69 62 65 72 61 74 65 6c 79 20 69 6e 64 75 63 65  iberately induce
2000: 20 61 20 66 61 75 6c 74 20 69 6e 20 6f 72 64 65   a fault in orde
2010: 72 20 74 6f 0a 2a 2a 20 63 6f 6e 66 69 72 6d 20  r to.** confirm 
2020: 74 68 61 74 20 65 72 72 6f 72 20 64 65 74 65 63  that error detec
2030: 74 69 6f 6e 20 77 6f 72 6b 73 2e 0a 2a 2a 0a 2a  tion works..**.*
2040: 2a 20 41 74 20 74 68 65 20 63 6f 6e 63 6c 75 73  * At the conclus
2050: 69 6f 6e 20 6f 66 20 74 68 65 20 74 65 73 74 20  ion of the test 
2060: 74 68 65 20 6c 69 6e 65 61 72 20 61 72 72 61 79  the linear array
2070: 20 69 73 20 63 6f 6d 70 61 72 65 64 0a 2a 2a 20   is compared.** 
2080: 61 67 61 69 6e 73 74 20 74 68 65 20 42 69 74 76  against the Bitv
2090: 65 63 20 6f 62 6a 65 63 74 2e 20 20 49 66 20 74  ec object.  If t
20a0: 68 65 72 65 20 61 72 65 20 61 6e 79 20 64 69 66  here are any dif
20b0: 66 65 72 65 6e 63 65 73 2c 0a 2a 2a 20 61 6e 20  ferences,.** an 
20c0: 65 72 72 6f 72 20 69 73 20 72 65 74 75 72 6e 65  error is returne
20d0: 64 2e 20 20 49 66 20 74 68 65 79 20 61 72 65 20  d.  If they are 
20e0: 74 68 65 20 73 61 6d 65 2c 20 7a 65 72 6f 20 69  the same, zero i
20f0: 73 20 72 65 74 75 72 6e 65 64 2e 0a 2a 2a 0a 2a  s returned..**.*
2100: 2a 20 49 66 20 61 20 6d 65 6d 6f 72 79 20 61 6c  * If a memory al
2110: 6c 6f 63 61 74 69 6f 6e 20 65 72 72 6f 72 20 6f  location error o
2120: 63 63 75 72 73 2c 20 72 65 74 75 72 6e 20 2d 31  ccurs, return -1
2130: 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33  ..*/.int sqlite3
2140: 42 69 74 76 65 63 42 75 69 6c 74 69 6e 54 65 73  BitvecBuiltinTes
2150: 74 28 69 6e 74 20 73 7a 2c 20 69 6e 74 20 2a 61  t(int sz, int *a
2160: 4f 70 29 7b 0a 20 20 42 69 74 76 65 63 20 2a 70  Op){.  Bitvec *p
2170: 42 69 74 76 65 63 20 3d 20 30 3b 0a 20 20 75 6e  Bitvec = 0;.  un
2180: 73 69 67 6e 65 64 20 63 68 61 72 20 2a 70 56 20  signed char *pV 
2190: 3d 20 30 3b 0a 20 20 69 6e 74 20 72 63 20 3d 20  = 0;.  int rc = 
21a0: 2d 31 3b 0a 20 20 69 6e 74 20 69 2c 20 6e 78 2c  -1;.  int i, nx,
21b0: 20 70 63 2c 20 6f 70 3b 0a 0a 20 20 2f 2a 20 41   pc, op;..  /* A
21c0: 6c 6c 6f 63 61 74 65 20 74 68 65 20 42 69 74 76  llocate the Bitv
21d0: 65 63 20 74 6f 20 62 65 20 74 65 73 74 65 64 20  ec to be tested 
21e0: 61 6e 64 20 61 20 6c 69 6e 65 61 72 20 61 72 72  and a linear arr
21f0: 61 79 20 6f 66 0a 20 20 2a 2a 20 62 69 74 73 20  ay of.  ** bits 
2200: 74 6f 20 61 63 74 20 61 73 20 74 68 65 20 72 65  to act as the re
2210: 66 65 72 65 6e 63 65 20 2a 2f 0a 20 20 70 42 69  ference */.  pBi
2220: 74 76 65 63 20 3d 20 73 71 6c 69 74 65 33 42 69  tvec = sqlite3Bi
2230: 74 76 65 63 43 72 65 61 74 65 28 20 73 7a 20 29  tvecCreate( sz )
2240: 3b 0a 20 20 70 56 20 3d 20 73 71 6c 69 74 65 33  ;.  pV = sqlite3
2250: 5f 6d 61 6c 6c 6f 63 28 20 28 73 7a 2b 37 29 2f  _malloc( (sz+7)/
2260: 38 20 2b 20 31 20 29 3b 0a 20 20 69 66 28 20 70  8 + 1 );.  if( p
2270: 42 69 74 76 65 63 3d 3d 30 20 7c 7c 20 70 56 3d  Bitvec==0 || pV=
2280: 3d 30 20 29 20 67 6f 74 6f 20 62 69 74 76 65 63  =0 ) goto bitvec
2290: 5f 65 6e 64 3b 0a 20 20 6d 65 6d 73 65 74 28 70  _end;.  memset(p
22a0: 56 2c 20 30 2c 20 28 73 7a 2b 37 29 2f 38 20 2b  V, 0, (sz+7)/8 +
22b0: 20 31 29 3b 0a 0a 20 20 2f 2a 20 52 75 6e 20 74   1);..  /* Run t
22c0: 68 65 20 70 72 6f 67 72 61 6d 20 2a 2f 0a 20 20  he program */.  
22d0: 70 63 20 3d 20 30 3b 0a 20 20 77 68 69 6c 65 28  pc = 0;.  while(
22e0: 20 28 6f 70 20 3d 20 61 4f 70 5b 70 63 5d 29 21   (op = aOp[pc])!
22f0: 3d 30 20 29 7b 0a 20 20 20 20 73 77 69 74 63 68  =0 ){.    switch
2300: 28 20 6f 70 20 29 7b 0a 20 20 20 20 20 20 63 61  ( op ){.      ca
2310: 73 65 20 31 3a 0a 20 20 20 20 20 20 63 61 73 65  se 1:.      case
2320: 20 32 3a 0a 20 20 20 20 20 20 63 61 73 65 20 35   2:.      case 5
2330: 3a 20 7b 0a 20 20 20 20 20 20 20 20 6e 78 20 3d  : {.        nx =
2340: 20 34 3b 0a 20 20 20 20 20 20 20 20 69 20 3d 20   4;.        i = 
2350: 61 4f 70 5b 70 63 2b 32 5d 20 2d 20 31 3b 0a 20  aOp[pc+2] - 1;. 
2360: 20 20 20 20 20 20 20 61 4f 70 5b 70 63 2b 32 5d         aOp[pc+2]
2370: 20 2b 3d 20 61 4f 70 5b 70 63 2b 33 5d 3b 0a 20   += aOp[pc+3];. 
2380: 20 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20         break;.  
2390: 20 20 20 20 7d 0a 20 20 20 20 20 20 63 61 73 65      }.      case
23a0: 20 33 3a 0a 20 20 20 20 20 20 63 61 73 65 20 34   3:.      case 4
23b0: 3a 20 0a 20 20 20 20 20 20 64 65 66 61 75 6c 74  : .      default
23c0: 3a 20 7b 0a 20 20 20 20 20 20 20 20 6e 78 20 3d  : {.        nx =
23d0: 20 32 3b 0a 20 20 20 20 20 20 20 20 73 71 6c 69   2;.        sqli
23e0: 74 65 33 5f 72 61 6e 64 6f 6d 6e 65 73 73 28 73  te3_randomness(s
23f0: 69 7a 65 6f 66 28 69 29 2c 20 26 69 29 3b 0a 20  izeof(i), &i);. 
2400: 20 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20         break;.  
2410: 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20      }.    }.    
2420: 69 66 28 20 28 2d 2d 61 4f 70 5b 70 63 2b 31 5d  if( (--aOp[pc+1]
2430: 29 20 3e 20 30 20 29 20 6e 78 20 3d 20 30 3b 0a  ) > 0 ) nx = 0;.
2440: 20 20 20 20 70 63 20 2b 3d 20 6e 78 3b 0a 20 20      pc += nx;.  
2450: 20 20 69 20 3d 20 28 69 20 26 20 30 78 37 66 66    i = (i & 0x7ff
2460: 66 66 66 66 66 29 25 73 7a 3b 0a 20 20 20 20 69  fffff)%sz;.    i
2470: 66 28 20 28 6f 70 20 26 20 31 29 21 3d 30 20 29  f( (op & 1)!=0 )
2480: 7b 0a 20 20 20 20 20 20 53 45 54 42 49 54 28 70  {.      SETBIT(p
2490: 56 2c 20 28 69 2b 31 29 29 3b 0a 20 20 20 20 20  V, (i+1));.     
24a0: 20 69 66 28 20 6f 70 21 3d 35 20 29 7b 0a 20 20   if( op!=5 ){.  
24b0: 20 20 20 20 20 20 69 66 28 20 73 71 6c 69 74 65        if( sqlite
24c0: 33 42 69 74 76 65 63 53 65 74 28 70 42 69 74 76  3BitvecSet(pBitv
24d0: 65 63 2c 20 69 2b 31 29 20 29 20 67 6f 74 6f 20  ec, i+1) ) goto 
24e0: 62 69 74 76 65 63 5f 65 6e 64 3b 0a 20 20 20 20  bitvec_end;.    
24f0: 20 20 7d 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20    }.    }else{. 
2500: 20 20 20 20 20 43 4c 45 41 52 42 49 54 28 70 56       CLEARBIT(pV
2510: 2c 20 28 69 2b 31 29 29 3b 0a 20 20 20 20 20 20  , (i+1));.      
2520: 73 71 6c 69 74 65 33 42 69 74 76 65 63 43 6c 65  sqlite3BitvecCle
2530: 61 72 28 70 42 69 74 76 65 63 2c 20 69 2b 31 29  ar(pBitvec, i+1)
2540: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 2f  ;.    }.  }..  /
2550: 2a 20 54 65 73 74 20 74 6f 20 6d 61 6b 65 20 73  * Test to make s
2560: 75 72 65 20 74 68 65 20 6c 69 6e 65 61 72 20 61  ure the linear a
2570: 72 72 61 79 20 65 78 61 63 74 6c 79 20 6d 61 74  rray exactly mat
2580: 63 68 65 73 20 74 68 65 0a 20 20 2a 2a 20 42 69  ches the.  ** Bi
2590: 74 76 65 63 20 6f 62 6a 65 63 74 2e 20 20 53 74  tvec object.  St
25a0: 61 72 74 20 77 69 74 68 20 74 68 65 20 61 73 73  art with the ass
25b0: 75 6d 70 74 69 6f 6e 20 74 68 61 74 20 74 68 65  umption that the
25c0: 79 20 64 6f 0a 20 20 2a 2a 20 6d 61 74 63 68 20  y do.  ** match 
25d0: 28 72 63 3d 3d 30 29 2e 20 20 43 68 61 6e 67 65  (rc==0).  Change
25e0: 20 72 63 20 74 6f 20 6e 6f 6e 2d 7a 65 72 6f 20   rc to non-zero 
25f0: 69 66 20 61 20 64 69 73 63 72 65 70 61 6e 63 79  if a discrepancy
2600: 0a 20 20 2a 2a 20 69 73 20 66 6f 75 6e 64 2e 0a  .  ** is found..
2610: 20 20 2a 2f 0a 20 20 72 63 20 3d 20 73 71 6c 69    */.  rc = sqli
2620: 74 65 33 42 69 74 76 65 63 54 65 73 74 28 30 2c  te3BitvecTest(0,
2630: 30 29 20 2b 20 73 71 6c 69 74 65 33 42 69 74 76  0) + sqlite3Bitv
2640: 65 63 54 65 73 74 28 70 42 69 74 76 65 63 2c 20  ecTest(pBitvec, 
2650: 73 7a 2b 31 29 0a 20 20 20 20 20 20 20 20 20 20  sz+1).          
2660: 2b 20 73 71 6c 69 74 65 33 42 69 74 76 65 63 54  + sqlite3BitvecT
2670: 65 73 74 28 70 42 69 74 76 65 63 2c 20 30 29 3b  est(pBitvec, 0);
2680: 0a 20 20 66 6f 72 28 69 3d 31 3b 20 69 3c 3d 73  .  for(i=1; i<=s
2690: 7a 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69 66 28  z; i++){.    if(
26a0: 20 20 28 54 45 53 54 42 49 54 28 70 56 2c 69 29    (TESTBIT(pV,i)
26b0: 29 21 3d 73 71 6c 69 74 65 33 42 69 74 76 65 63  )!=sqlite3Bitvec
26c0: 54 65 73 74 28 70 42 69 74 76 65 63 2c 69 29 20  Test(pBitvec,i) 
26d0: 29 7b 0a 20 20 20 20 20 20 72 63 20 3d 20 69 3b  ){.      rc = i;
26e0: 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20  .      break;.  
26f0: 20 20 7d 0a 20 20 7d 0a 0a 20 20 2f 2a 20 46 72    }.  }..  /* Fr
2700: 65 65 20 61 6c 6c 6f 63 61 74 65 64 20 73 74 72  ee allocated str
2710: 75 63 74 75 72 65 20 2a 2f 0a 62 69 74 76 65 63  ucture */.bitvec
2720: 5f 65 6e 64 3a 0a 20 20 73 71 6c 69 74 65 33 5f  _end:.  sqlite3_
2730: 66 72 65 65 28 70 56 29 3b 0a 20 20 73 71 6c 69  free(pV);.  sqli
2740: 74 65 33 42 69 74 76 65 63 44 65 73 74 72 6f 79  te3BitvecDestroy
2750: 28 70 42 69 74 76 65 63 29 3b 0a 20 20 72 65 74  (pBitvec);.  ret
2760: 75 72 6e 20 72 63 3b 0a 7d 0a 23 65 6e 64 69 66  urn rc;.}.#endif
2770: 20 2f 2a 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f   /* SQLITE_OMIT_
2780: 42 55 49 4c 54 49 4e 5f 54 45 53 54 20 2a 2f 0a  BUILTIN_TEST */.