/ Hex Artifact Content
Login

Artifact ecea9aa315f36991e56e326701279b7775cb2bef:


0000: 23 20 32 30 30 38 20 46 65 62 72 75 61 72 79 20  # 2008 February 
0010: 31 38 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  18.#.# 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 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  #***************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 0a 23 20 55 6e 69  ********.#.# Uni
0170: 74 20 74 65 73 74 69 6e 67 20 6f 66 20 74 68 65  t testing of the
0180: 20 42 69 74 76 65 63 20 6f 62 6a 65 63 74 2e 0a   Bitvec object..
0190: 23 0a 23 20 24 49 64 3a 20 62 69 74 76 65 63 2e  #.# $Id: bitvec.
01a0: 74 65 73 74 2c 76 20 31 2e 33 20 32 30 30 38 2f  test,v 1.3 2008/
01b0: 31 31 2f 31 39 20 31 38 3a 33 30 3a 33 35 20 73  11/19 18:30:35 s
01c0: 68 61 6e 65 20 45 78 70 20 24 0a 23 0a 0a 73 65  hane Exp $.#..se
01d0: 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20  t testdir [file 
01e0: 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a  dirname $argv0].
01f0: 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f  source $testdir/
0200: 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 54 68  tester.tcl..# Th
0210: 65 20 62 75 69 6c 74 2d 69 6e 20 74 65 73 74 20  e built-in test 
0220: 6c 6f 67 69 63 20 6d 75 73 74 20 62 65 20 6f 70  logic must be op
0230: 65 72 61 74 69 6f 6e 61 6c 20 69 6e 20 6f 72 64  erational in ord
0240: 65 72 20 66 6f 72 0a 23 20 74 68 69 73 20 74 65  er for.# this te
0250: 73 74 20 74 6f 20 77 6f 72 6b 2e 0a 69 66 63 61  st to work..ifca
0260: 70 61 62 6c 65 20 21 62 75 69 6c 74 69 6e 5f 74  pable !builtin_t
0270: 65 73 74 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74  est {.  finish_t
0280: 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a  est.  return.}..
0290: 23 20 54 65 73 74 20 74 68 61 74 20 73 71 6c 69  # Test that sqli
02a0: 74 65 33 42 69 74 76 65 63 42 75 69 6c 74 69 6e  te3BitvecBuiltin
02b0: 54 65 73 74 20 63 6f 72 72 65 63 74 6c 79 20 72  Test correctly r
02c0: 65 70 6f 72 74 73 20 65 72 72 6f 72 73 0a 23 20  eports errors.# 
02d0: 74 68 61 74 20 61 72 65 20 64 65 6c 69 62 65 72  that are deliber
02e0: 61 74 65 6c 79 20 69 6e 74 72 6f 64 75 63 65 64  ately introduced
02f0: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 62 69 74 76  ..#.do_test bitv
0300: 65 63 2d 31 2e 30 2e 31 20 7b 0a 20 20 73 71 6c  ec-1.0.1 {.  sql
0310: 69 74 65 33 42 69 74 76 65 63 42 75 69 6c 74 69  ite3BitvecBuilti
0320: 6e 54 65 73 74 20 34 30 30 20 7b 35 20 31 20 31  nTest 400 {5 1 1
0330: 20 31 20 30 7d 0a 7d 20 31 0a 64 6f 5f 74 65 73   1 0}.} 1.do_tes
0340: 74 20 62 69 74 76 65 63 2d 31 2e 30 2e 32 20 7b  t bitvec-1.0.2 {
0350: 0a 20 20 73 71 6c 69 74 65 33 42 69 74 76 65 63  .  sqlite3Bitvec
0360: 42 75 69 6c 74 69 6e 54 65 73 74 20 34 30 30 20  BuiltinTest 400 
0370: 7b 35 20 31 20 32 33 34 20 31 20 30 7d 0a 7d 20  {5 1 234 1 0}.} 
0380: 32 33 34 0a 0a 23 20 52 75 6e 20 74 65 73 74 20  234..# Run test 
0390: 63 61 73 65 73 20 74 68 61 74 20 73 65 74 20 65  cases that set e
03a0: 76 65 72 79 20 62 69 74 20 69 6e 20 76 65 63 74  very bit in vect
03b0: 6f 72 73 20 6f 66 20 76 61 72 69 6f 75 73 20 73  ors of various s
03c0: 69 7a 65 73 2e 0a 23 20 66 6f 72 20 6c 61 72 67  izes..# for larg
03d0: 65 72 20 63 61 73 65 73 2c 20 74 68 69 73 20 73  er cases, this s
03e0: 68 6f 75 6c 64 20 63 79 63 6c 65 20 74 68 65 20  hould cycle the 
03f0: 62 69 74 20 76 65 63 74 6f 72 20 72 65 70 72 65  bit vector repre
0400: 73 65 6e 74 61 74 69 6f 6e 0a 23 20 66 72 6f 6d  sentation.# from
0410: 20 68 61 73 68 69 6e 67 20 69 6e 74 6f 20 73 75   hashing into su
0420: 62 62 69 74 6d 61 70 73 2e 20 20 54 68 65 20 73  bbitmaps.  The s
0430: 75 62 62 69 74 6d 61 70 73 20 73 68 6f 75 6c 64  ubbitmaps should
0440: 20 73 74 61 72 74 20 61 73 0a 23 20 68 61 73 68   start as.# hash
0450: 65 73 20 74 68 65 6e 20 63 68 61 6e 67 65 20 74  es then change t
0460: 6f 20 65 69 74 68 65 72 20 73 75 62 62 69 74 6d  o either subbitm
0470: 61 70 73 20 6f 72 20 6c 69 6e 65 61 72 20 6d 61  aps or linear ma
0480: 70 73 2c 20 64 65 70 65 6e 64 69 6e 67 0a 23 20  ps, depending.# 
0490: 6f 6e 20 74 68 65 69 72 20 73 69 7a 65 2e 0a 23  on their size..#
04a0: 0a 64 6f 5f 74 65 73 74 20 62 69 74 76 65 63 2d  .do_test bitvec-
04b0: 31 2e 31 20 7b 0a 20 20 73 71 6c 69 74 65 33 42  1.1 {.  sqlite3B
04c0: 69 74 76 65 63 42 75 69 6c 74 69 6e 54 65 73 74  itvecBuiltinTest
04d0: 20 34 30 30 20 7b 31 20 34 30 30 20 31 20 31 20   400 {1 400 1 1 
04e0: 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20 62  0}.} 0.do_test b
04f0: 69 74 76 65 63 2d 31 2e 32 20 7b 0a 20 20 73 71  itvec-1.2 {.  sq
0500: 6c 69 74 65 33 42 69 74 76 65 63 42 75 69 6c 74  lite3BitvecBuilt
0510: 69 6e 54 65 73 74 20 34 30 30 30 20 7b 31 20 34  inTest 4000 {1 4
0520: 30 30 30 20 31 20 31 20 30 7d 0a 7d 20 30 0a 64  000 1 1 0}.} 0.d
0530: 6f 5f 74 65 73 74 20 62 69 74 76 65 63 2d 31 2e  o_test bitvec-1.
0540: 33 20 7b 0a 20 20 73 71 6c 69 74 65 33 42 69 74  3 {.  sqlite3Bit
0550: 76 65 63 42 75 69 6c 74 69 6e 54 65 73 74 20 34  vecBuiltinTest 4
0560: 30 30 30 30 20 7b 31 20 34 30 30 30 30 20 31 20  0000 {1 40000 1 
0570: 31 20 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73 74  1 0}.} 0.do_test
0580: 20 62 69 74 76 65 63 2d 31 2e 34 20 7b 0a 20 20   bitvec-1.4 {.  
0590: 73 71 6c 69 74 65 33 42 69 74 76 65 63 42 75 69  sqlite3BitvecBui
05a0: 6c 74 69 6e 54 65 73 74 20 34 30 30 30 30 30 20  ltinTest 400000 
05b0: 7b 31 20 34 30 30 30 30 30 20 31 20 31 20 30 7d  {1 400000 1 1 0}
05c0: 0a 7d 20 30 0a 0a 23 20 42 79 20 73 70 65 63 69  .} 0..# By speci
05d0: 66 79 69 6e 67 20 61 20 6c 61 72 67 65 72 20 69  fying a larger i
05e0: 6e 63 72 65 6d 65 6e 74 73 2c 20 77 65 20 73 70  ncrements, we sp
05f0: 72 65 61 64 20 74 68 65 20 6c 6f 61 64 20 61 72  read the load ar
0600: 6f 75 6e 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  ound..#.do_test 
0610: 62 69 74 76 65 63 2d 31 2e 35 20 7b 0a 20 20 73  bitvec-1.5 {.  s
0620: 71 6c 69 74 65 33 42 69 74 76 65 63 42 75 69 6c  qlite3BitvecBuil
0630: 74 69 6e 54 65 73 74 20 34 30 30 20 7b 31 20 34  tinTest 400 {1 4
0640: 30 30 20 31 20 37 20 30 7d 0a 7d 20 30 0a 64 6f  00 1 7 0}.} 0.do
0650: 5f 74 65 73 74 20 62 69 74 76 65 63 2d 31 2e 36  _test bitvec-1.6
0660: 20 7b 0a 20 20 73 71 6c 69 74 65 33 42 69 74 76   {.  sqlite3Bitv
0670: 65 63 42 75 69 6c 74 69 6e 54 65 73 74 20 34 30  ecBuiltinTest 40
0680: 30 30 20 7b 31 20 34 30 30 30 20 31 20 37 20 30  00 {1 4000 1 7 0
0690: 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20 62 69  }.} 0.do_test bi
06a0: 74 76 65 63 2d 31 2e 37 20 7b 0a 20 20 73 71 6c  tvec-1.7 {.  sql
06b0: 69 74 65 33 42 69 74 76 65 63 42 75 69 6c 74 69  ite3BitvecBuilti
06c0: 6e 54 65 73 74 20 34 30 30 30 30 20 7b 31 20 34  nTest 40000 {1 4
06d0: 30 30 30 30 20 31 20 37 20 30 7d 0a 7d 20 30 0a  0000 1 7 0}.} 0.
06e0: 64 6f 5f 74 65 73 74 20 62 69 74 76 65 63 2d 31  do_test bitvec-1
06f0: 2e 38 20 7b 0a 20 20 73 71 6c 69 74 65 33 42 69  .8 {.  sqlite3Bi
0700: 74 76 65 63 42 75 69 6c 74 69 6e 54 65 73 74 20  tvecBuiltinTest 
0710: 34 30 30 30 30 30 20 7b 31 20 34 30 30 30 30 30  400000 {1 400000
0720: 20 31 20 37 20 30 7d 0a 7d 20 30 0a 0a 23 20 46   1 7 0}.} 0..# F
0730: 69 72 73 74 20 66 69 6c 6c 20 75 70 20 74 68 65  irst fill up the
0740: 20 62 69 74 6d 61 70 20 77 69 74 68 20 6f 6e 65   bitmap with one
0750: 73 2c 20 20 74 68 65 6e 20 67 6f 20 74 68 72 6f  s,  then go thro
0760: 75 67 68 20 61 6e 64 0a 23 20 63 6c 65 61 72 20  ugh and.# clear 
0770: 61 6c 6c 20 74 68 65 20 62 69 74 73 2e 20 20 54  all the bits.  T
0780: 68 69 73 20 77 69 6c 6c 20 73 74 72 65 73 73 20  his will stress 
0790: 74 68 65 20 63 6c 65 61 72 69 6e 67 20 6d 65 63  the clearing mec
07a0: 68 61 6e 69 73 6d 2e 0a 23 0a 64 6f 5f 74 65 73  hanism..#.do_tes
07b0: 74 20 62 69 74 76 65 63 2d 31 2e 39 20 7b 0a 20  t bitvec-1.9 {. 
07c0: 20 73 71 6c 69 74 65 33 42 69 74 76 65 63 42 75   sqlite3BitvecBu
07d0: 69 6c 74 69 6e 54 65 73 74 20 34 30 30 20 7b 31  iltinTest 400 {1
07e0: 20 34 30 30 20 31 20 31 20 32 20 34 30 30 20 31   400 1 1 2 400 1
07f0: 20 31 20 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73   1 0}.} 0.do_tes
0800: 74 20 62 69 74 76 65 63 2d 31 2e 31 30 20 7b 0a  t bitvec-1.10 {.
0810: 20 20 73 71 6c 69 74 65 33 42 69 74 76 65 63 42    sqlite3BitvecB
0820: 75 69 6c 74 69 6e 54 65 73 74 20 34 30 30 30 20  uiltinTest 4000 
0830: 7b 31 20 34 30 30 30 20 31 20 31 20 32 20 34 30  {1 4000 1 1 2 40
0840: 30 30 20 31 20 31 20 30 7d 0a 7d 20 30 0a 64 6f  00 1 1 0}.} 0.do
0850: 5f 74 65 73 74 20 62 69 74 76 65 63 2d 31 2e 31  _test bitvec-1.1
0860: 31 20 7b 0a 20 20 73 71 6c 69 74 65 33 42 69 74  1 {.  sqlite3Bit
0870: 76 65 63 42 75 69 6c 74 69 6e 54 65 73 74 20 34  vecBuiltinTest 4
0880: 30 30 30 30 20 7b 31 20 34 30 30 30 30 20 31 20  0000 {1 40000 1 
0890: 31 20 32 20 34 30 30 30 30 20 31 20 31 20 30 7d  1 2 40000 1 1 0}
08a0: 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20 62 69 74  .} 0.do_test bit
08b0: 76 65 63 2d 31 2e 31 32 20 7b 0a 20 20 73 71 6c  vec-1.12 {.  sql
08c0: 69 74 65 33 42 69 74 76 65 63 42 75 69 6c 74 69  ite3BitvecBuilti
08d0: 6e 54 65 73 74 20 34 30 30 30 30 30 20 7b 31 20  nTest 400000 {1 
08e0: 34 30 30 30 30 30 20 31 20 31 20 32 20 34 30 30  400000 1 1 2 400
08f0: 30 30 30 20 31 20 31 20 30 7d 0a 7d 20 30 0a 0a  000 1 1 0}.} 0..
0900: 64 6f 5f 74 65 73 74 20 62 69 74 76 65 63 2d 31  do_test bitvec-1
0910: 2e 31 33 20 7b 0a 20 20 73 71 6c 69 74 65 33 42  .13 {.  sqlite3B
0920: 69 74 76 65 63 42 75 69 6c 74 69 6e 54 65 73 74  itvecBuiltinTest
0930: 20 34 30 30 20 7b 31 20 34 30 30 20 31 20 31 20   400 {1 400 1 1 
0940: 32 20 34 30 30 20 31 20 37 20 30 7d 0a 7d 20 30  2 400 1 7 0}.} 0
0950: 0a 64 6f 5f 74 65 73 74 20 62 69 74 76 65 63 2d  .do_test bitvec-
0960: 31 2e 31 35 20 7b 0a 20 20 73 71 6c 69 74 65 33  1.15 {.  sqlite3
0970: 42 69 74 76 65 63 42 75 69 6c 74 69 6e 54 65 73  BitvecBuiltinTes
0980: 74 20 34 30 30 30 20 7b 31 20 34 30 30 30 20 31  t 4000 {1 4000 1
0990: 20 31 20 32 20 34 30 30 30 20 31 20 37 20 30 7d   1 2 4000 1 7 0}
09a0: 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20 62 69 74  .} 0.do_test bit
09b0: 76 65 63 2d 31 2e 31 36 20 7b 0a 20 20 73 71 6c  vec-1.16 {.  sql
09c0: 69 74 65 33 42 69 74 76 65 63 42 75 69 6c 74 69  ite3BitvecBuilti
09d0: 6e 54 65 73 74 20 34 30 30 30 30 20 7b 31 20 34  nTest 40000 {1 4
09e0: 30 30 30 30 20 31 20 31 20 32 20 34 30 30 30 30  0000 1 1 2 40000
09f0: 20 31 20 37 37 20 30 7d 0a 7d 20 30 0a 64 6f 5f   1 77 0}.} 0.do_
0a00: 74 65 73 74 20 62 69 74 76 65 63 2d 31 2e 31 37  test bitvec-1.17
0a10: 20 7b 0a 20 20 73 71 6c 69 74 65 33 42 69 74 76   {.  sqlite3Bitv
0a20: 65 63 42 75 69 6c 74 69 6e 54 65 73 74 20 34 30  ecBuiltinTest 40
0a30: 30 30 30 30 20 7b 31 20 34 30 30 30 30 30 20 31  0000 {1 400000 1
0a40: 20 31 20 32 20 34 30 30 30 30 30 20 31 20 37 37   1 2 400000 1 77
0a50: 37 20 30 7d 0a 7d 20 30 0a 0a 64 6f 5f 74 65 73  7 0}.} 0..do_tes
0a60: 74 20 62 69 74 76 65 63 2d 31 2e 31 38 20 7b 0a  t bitvec-1.18 {.
0a70: 20 20 73 71 6c 69 74 65 33 42 69 74 76 65 63 42    sqlite3BitvecB
0a80: 75 69 6c 74 69 6e 54 65 73 74 20 34 30 30 30 30  uiltinTest 40000
0a90: 30 20 7b 31 20 35 30 30 30 20 31 30 30 30 30 30  0 {1 5000 100000
0aa0: 20 31 20 32 20 34 30 30 30 30 30 20 31 20 33 37   1 2 400000 1 37
0ab0: 20 30 7d 0a 7d 20 30 0a 0a 23 20 41 74 74 65 6d   0}.} 0..# Attem
0ac0: 70 74 20 74 6f 20 69 6e 64 75 63 65 20 68 61 73  pt to induce has
0ad0: 68 20 63 6f 6c 6c 69 73 69 6f 6e 73 2e 20 20 0a  h collisions.  .
0ae0: 23 0a 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c  #.unset -nocompl
0af0: 61 69 6e 20 73 74 61 72 74 0a 75 6e 73 65 74 20  ain start.unset 
0b00: 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20 69 6e 63 72  -nocomplain incr
0b10: 0a 66 6f 72 65 61 63 68 20 73 74 61 72 74 20 7b  .foreach start {
0b20: 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38 7d  1 2 3 4 5 6 7 8}
0b30: 20 7b 0a 20 20 66 6f 72 65 61 63 68 20 69 6e 63   {.  foreach inc
0b40: 72 20 7b 31 32 34 20 31 32 35 7d 20 7b 0a 20 20  r {124 125} {.  
0b50: 20 20 64 6f 5f 74 65 73 74 20 62 69 74 76 65 63    do_test bitvec
0b60: 2d 31 2e 32 30 2e 24 73 74 61 72 74 2e 24 69 6e  -1.20.$start.$in
0b70: 63 72 20 7b 0a 20 20 20 20 20 20 73 65 74 20 70  cr {.      set p
0b80: 72 6f 67 20 5b 6c 69 73 74 20 31 20 36 30 20 24  rog [list 1 60 $
0b90: 3a 3a 73 74 61 72 74 20 24 3a 3a 69 6e 63 72 20  ::start $::incr 
0ba0: 32 20 35 30 30 30 20 31 20 31 20 30 5d 0a 20 20  2 5000 1 1 0].  
0bb0: 20 20 20 20 73 71 6c 69 74 65 33 42 69 74 76 65      sqlite3Bitve
0bc0: 63 42 75 69 6c 74 69 6e 54 65 73 74 20 35 30 30  cBuiltinTest 500
0bd0: 30 20 24 70 72 6f 67 0a 20 20 20 20 7d 20 30 0a  0 $prog.    } 0.
0be0: 20 20 7d 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 62    }.}..do_test b
0bf0: 69 74 76 65 63 2d 31 2e 33 30 2e 62 69 67 5f 61  itvec-1.30.big_a
0c00: 6e 64 5f 73 6c 6f 77 20 7b 0a 20 20 73 71 6c 69  nd_slow {.  sqli
0c10: 74 65 33 42 69 74 76 65 63 42 75 69 6c 74 69 6e  te3BitvecBuiltin
0c20: 54 65 73 74 20 31 37 30 30 30 30 30 30 20 7b 31  Test 17000000 {1
0c30: 20 31 37 30 30 30 30 30 30 20 31 20 31 20 32 20   17000000 1 1 2 
0c40: 31 37 30 30 30 30 30 30 20 31 20 31 20 30 7d 0a  17000000 1 1 0}.
0c50: 7d 20 30 0a 0a 0a 23 20 54 65 73 74 20 73 65 74  } 0...# Test set
0c60: 74 69 6e 67 20 61 6e 64 20 63 6c 65 61 72 69 6e  ting and clearin
0c70: 67 20 61 20 72 61 6e 64 6f 6d 20 73 75 62 73 65  g a random subse
0c80: 74 20 6f 66 20 62 69 74 73 2e 0a 23 0a 64 6f 5f  t of bits..#.do_
0c90: 74 65 73 74 20 62 69 74 76 65 63 2d 32 2e 31 20  test bitvec-2.1 
0ca0: 7b 0a 20 20 73 71 6c 69 74 65 33 42 69 74 76 65  {.  sqlite3Bitve
0cb0: 63 42 75 69 6c 74 69 6e 54 65 73 74 20 34 30 30  cBuiltinTest 400
0cc0: 30 20 7b 33 20 32 30 30 30 20 34 20 32 30 30 30  0 {3 2000 4 2000
0cd0: 20 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20   0}.} 0.do_test 
0ce0: 62 69 74 76 65 63 2d 32 2e 32 20 7b 0a 20 20 73  bitvec-2.2 {.  s
0cf0: 71 6c 69 74 65 33 42 69 74 76 65 63 42 75 69 6c  qlite3BitvecBuil
0d00: 74 69 6e 54 65 73 74 20 34 30 30 30 20 7b 33 20  tinTest 4000 {3 
0d10: 31 30 30 30 20 34 20 31 30 30 30 20 33 20 31 30  1000 4 1000 3 10
0d20: 30 30 20 34 20 31 30 30 30 20 33 20 31 30 30 30  00 4 1000 3 1000
0d30: 20 34 20 31 30 30 30 0a 20 20 20 20 20 20 20 20   4 1000.        
0d40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0d50: 20 20 20 20 20 20 20 20 20 33 20 31 30 30 30 20           3 1000 
0d60: 34 20 31 30 30 30 20 33 20 31 30 30 30 20 34 20  4 1000 3 1000 4 
0d70: 31 30 30 30 20 33 20 31 30 30 30 20 34 20 31 30  1000 3 1000 4 10
0d80: 30 30 20 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73  00 0}.} 0.do_tes
0d90: 74 20 62 69 74 76 65 63 2d 32 2e 33 20 7b 0a 20  t bitvec-2.3 {. 
0da0: 20 73 71 6c 69 74 65 33 42 69 74 76 65 63 42 75   sqlite3BitvecBu
0db0: 69 6c 74 69 6e 54 65 73 74 20 34 30 30 30 30 30  iltinTest 400000
0dc0: 20 7b 33 20 31 30 20 30 7d 0a 7d 20 30 0a 64 6f   {3 10 0}.} 0.do
0dd0: 5f 74 65 73 74 20 62 69 74 76 65 63 2d 32 2e 34  _test bitvec-2.4
0de0: 20 7b 0a 20 20 73 71 6c 69 74 65 33 42 69 74 76   {.  sqlite3Bitv
0df0: 65 63 42 75 69 6c 74 69 6e 54 65 73 74 20 34 30  ecBuiltinTest 40
0e00: 30 30 20 7b 33 20 31 30 20 32 20 34 30 30 30 20  00 {3 10 2 4000 
0e10: 31 20 31 20 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65  1 1 0}.} 0.do_te
0e20: 73 74 20 62 69 74 76 65 63 2d 32 2e 35 20 7b 0a  st bitvec-2.5 {.
0e30: 20 20 73 71 6c 69 74 65 33 42 69 74 76 65 63 42    sqlite3BitvecB
0e40: 75 69 6c 74 69 6e 54 65 73 74 20 35 30 30 30 20  uiltinTest 5000 
0e50: 7b 33 20 32 30 20 32 20 35 30 30 30 20 31 20 31  {3 20 2 5000 1 1
0e60: 20 30 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20   0}.} 0.do_test 
0e70: 62 69 74 76 65 63 2d 32 2e 36 20 7b 0a 20 20 73  bitvec-2.6 {.  s
0e80: 71 6c 69 74 65 33 42 69 74 76 65 63 42 75 69 6c  qlite3BitvecBuil
0e90: 74 69 6e 54 65 73 74 20 35 30 30 30 30 20 7b 33  tinTest 50000 {3
0ea0: 20 36 30 20 32 20 35 30 30 30 30 20 31 20 31 20   60 2 50000 1 1 
0eb0: 30 7d 0a 7d 20 30 0a 0a 23 20 54 68 69 73 20 70  0}.} 0..# This p
0ec0: 72 6f 63 65 64 75 72 65 20 72 75 6e 73 20 73 71  rocedure runs sq
0ed0: 6c 69 74 65 33 42 69 74 76 65 63 42 75 69 6c 74  lite3BitvecBuilt
0ee0: 69 6e 54 65 73 74 20 77 69 74 68 20 61 72 67 6d  inTest with argm
0ef0: 65 6e 74 73 20 22 6e 22 20 61 6e 64 0a 23 20 22  ents "n" and.# "
0f00: 70 72 6f 67 72 61 6d 22 2e 20 20 42 75 74 20 69  program".  But i
0f10: 74 20 61 6c 73 6f 20 63 61 75 73 65 73 20 61 20  t also causes a 
0f20: 6d 61 6c 6c 6f 63 20 65 72 72 6f 72 20 74 6f 20  malloc error to 
0f30: 6f 63 63 75 72 20 61 66 74 65 72 20 74 68 65 0a  occur after the.
0f40: 23 20 22 66 61 69 6c 63 6e 74 22 2d 74 68 20 6d  # "failcnt"-th m
0f50: 61 6c 6c 6f 63 2e 20 20 54 68 65 20 72 65 73 75  alloc.  The resu
0f60: 6c 74 20 73 68 6f 75 6c 64 20 62 65 20 22 30 22  lt should be "0"
0f70: 20 69 66 20 6e 6f 20 6d 61 6c 6c 6f 63 20 66 61   if no malloc fa
0f80: 69 6c 75 72 65 0a 23 20 6f 63 63 75 72 73 20 6f  ilure.# occurs o
0f90: 72 20 22 2d 31 22 20 69 66 20 74 68 65 72 65 20  r "-1" if there 
0fa0: 69 73 20 61 20 6d 61 6c 6c 6f 63 20 66 61 69 6c  is a malloc fail
0fb0: 75 72 65 2e 0a 23 0a 70 72 6f 63 20 62 69 74 76  ure..#.proc bitv
0fc0: 65 63 5f 6d 61 6c 6c 6f 63 5f 74 65 73 74 20 7b  ec_malloc_test {
0fd0: 6c 61 62 65 6c 20 66 61 69 6c 63 6e 74 20 6e 20  label failcnt n 
0fe0: 70 72 6f 67 72 61 6d 7d 20 7b 0a 20 20 64 6f 5f  program} {.  do_
0ff0: 74 65 73 74 20 24 6c 61 62 65 6c 20 5b 73 75 62  test $label [sub
1000: 73 74 20 7b 0a 20 20 20 20 73 71 6c 69 74 65 33  st {.    sqlite3
1010: 5f 6d 65 6d 64 65 62 75 67 5f 66 61 69 6c 20 24  _memdebug_fail $
1020: 66 61 69 6c 63 6e 74 0a 20 20 20 20 73 65 74 20  failcnt.    set 
1030: 78 20 5c 5b 73 71 6c 69 74 65 33 42 69 74 76 65  x \[sqlite3Bitve
1040: 63 42 75 69 6c 74 69 6e 54 65 73 74 20 24 6e 20  cBuiltinTest $n 
1050: 5b 6c 69 73 74 20 24 70 72 6f 67 72 61 6d 5d 5c  [list $program]\
1060: 5d 0a 20 20 20 20 73 65 74 20 6e 46 61 69 6c 20  ].    set nFail 
1070: 5c 5b 73 71 6c 69 74 65 33 5f 6d 65 6d 64 65 62  \[sqlite3_memdeb
1080: 75 67 5f 66 61 69 6c 20 2d 31 5c 5d 0a 20 20 20  ug_fail -1\].   
1090: 20 69 66 20 7b 5c 24 6e 46 61 69 6c 3d 3d 30 7d   if {\$nFail==0}
10a0: 20 7b 0a 20 20 20 20 20 20 73 65 74 20 3a 3a 67   {.      set ::g
10b0: 6f 20 30 0a 20 20 20 20 20 20 73 65 74 20 78 20  o 0.      set x 
10c0: 2d 31 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74  -1.    }.    set
10d0: 20 78 0a 20 20 7d 5d 20 2d 31 0a 7d 0a 0a 23 20   x.  }] -1.}..# 
10e0: 4d 61 6b 65 20 73 75 72 65 20 6d 61 6c 6c 6f 63  Make sure malloc
10f0: 20 66 61 69 6c 75 72 65 73 20 61 72 65 20 68 61   failures are ha
1100: 6e 64 6c 65 64 20 73 61 6e 69 6c 79 2e 0a 23 0a  ndled sanily..#.
1110: 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69  unset -nocomplai
1120: 6e 20 6e 0a 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d  n n.unset -nocom
1130: 70 6c 61 69 6e 20 67 6f 0a 73 65 74 20 67 6f 20  plain go.set go 
1140: 31 0a 73 61 76 65 5f 70 72 6e 67 5f 73 74 61 74  1.save_prng_stat
1150: 65 0a 66 6f 72 20 7b 73 65 74 20 6e 20 30 7d 20  e.for {set n 0} 
1160: 7b 24 67 6f 7d 20 7b 69 6e 63 72 20 6e 7d 20 7b  {$go} {incr n} {
1170: 0a 20 20 72 65 73 74 6f 72 65 5f 70 72 6e 67 5f  .  restore_prng_
1180: 73 74 61 74 65 0a 20 20 62 69 74 76 65 63 5f 6d  state.  bitvec_m
1190: 61 6c 6c 6f 63 5f 74 65 73 74 20 62 69 74 76 65  alloc_test bitve
11a0: 63 2d 33 2e 31 2e 24 6e 20 24 6e 20 35 30 30 30  c-3.1.$n $n 5000
11b0: 20 7b 0a 20 20 20 20 20 20 33 20 36 30 20 32 20   {.      3 60 2 
11c0: 35 30 30 30 20 31 20 31 20 33 20 36 30 20 32 20  5000 1 1 3 60 2 
11d0: 35 30 30 30 20 31 20 31 20 33 20 36 30 20 32 20  5000 1 1 3 60 2 
11e0: 35 30 30 30 20 31 20 31 20 30 0a 20 20 7d 0a 7d  5000 1 1 0.  }.}
11f0: 0a 73 65 74 20 67 6f 20 31 0a 66 6f 72 20 7b 73  .set go 1.for {s
1200: 65 74 20 6e 20 30 7d 20 7b 24 67 6f 7d 20 7b 69  et n 0} {$go} {i
1210: 6e 63 72 20 6e 7d 20 7b 0a 20 20 72 65 73 74 6f  ncr n} {.  resto
1220: 72 65 5f 70 72 6e 67 5f 73 74 61 74 65 0a 20 20  re_prng_state.  
1230: 62 69 74 76 65 63 5f 6d 61 6c 6c 6f 63 5f 74 65  bitvec_malloc_te
1240: 73 74 20 62 69 74 76 65 63 2d 33 2e 32 2e 24 6e  st bitvec-3.2.$n
1250: 20 24 6e 20 35 30 30 30 20 7b 0a 20 20 20 20 20   $n 5000 {.     
1260: 20 33 20 36 30 30 20 32 20 35 30 30 30 20 31 20   3 600 2 5000 1 
1270: 31 20 33 20 36 30 30 20 32 20 35 30 30 30 20 31  1 3 600 2 5000 1
1280: 20 31 20 33 20 36 30 30 20 32 20 35 30 30 30 20   1 3 600 2 5000 
1290: 31 20 31 20 30 0a 20 20 7d 0a 7d 0a 73 65 74 20  1 1 0.  }.}.set 
12a0: 67 6f 20 31 0a 66 6f 72 20 7b 73 65 74 20 6e 20  go 1.for {set n 
12b0: 31 7d 20 7b 24 67 6f 7d 20 7b 69 6e 63 72 20 6e  1} {$go} {incr n
12c0: 7d 20 7b 0a 20 20 62 69 74 76 65 63 5f 6d 61 6c  } {.  bitvec_mal
12d0: 6c 6f 63 5f 74 65 73 74 20 62 69 74 76 65 63 2d  loc_test bitvec-
12e0: 33 2e 33 2e 24 6e 20 24 6e 20 35 30 30 30 30 20  3.3.$n $n 50000 
12f0: 7b 31 20 35 30 30 30 30 20 31 20 31 20 30 7d 0a  {1 50000 1 1 0}.
1300: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a 72  }..finish_test.r
1310: 65 74 75 72 6e 0a                                eturn.