/ Hex Artifact Content
Login

Artifact e82d16b13739f1a0c5efb20048583c79b767b625:


0000: 23 20 32 30 31 30 20 41 75 67 75 73 74 20 32 37  # 2010 August 27
0010: 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20  .#.# The author 
0020: 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69  disclaims copyri
0030: 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72  ght to this sour
0040: 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61  ce code.  In pla
0050: 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20  ce of.# a legal 
0060: 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20  notice, here is 
0070: 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20  a blessing:.#.# 
0080: 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f     May you do go
0090: 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e  od and not evil.
00a0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69  .#    May you fi
00b0: 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66  nd forgiveness f
00c0: 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20  or yourself and 
00d0: 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a  forgive others..
00e0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61  #    May you sha
00f0: 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72  re freely, never
0100: 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61   taking more tha
0110: 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a  n you give..#.#*
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66 69  ******.# This fi
0170: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65  le implements re
0180: 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66  gression tests f
0190: 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72  or SQLite librar
01a0: 79 2e 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f  y. The.# focus o
01b0: 66 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74  f this file is t
01c0: 65 73 74 69 6e 67 20 74 68 61 74 20 64 65 73 74  esting that dest
01d0: 72 75 63 74 6f 72 20 66 75 6e 63 74 69 6f 6e 73  ructor functions
01e0: 20 61 73 73 6f 63 69 61 74 65 64 0a 23 20 77 69   associated.# wi
01f0: 74 68 20 66 75 6e 63 74 69 6f 6e 73 20 63 72 65  th functions cre
0200: 61 74 65 64 20 75 73 69 6e 67 20 73 71 6c 69 74  ated using sqlit
0210: 65 33 5f 63 72 65 61 74 65 5f 66 75 6e 63 74 69  e3_create_functi
0220: 6f 6e 5f 76 32 28 29 20 69 73 20 0a 23 20 63 6f  on_v2() is .# co
0230: 72 72 65 63 74 6c 79 20 69 6e 76 6f 6b 65 64 2e  rrectly invoked.
0240: 0a 23 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b  .#.set testdir [
0250: 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72  file dirname $ar
0260: 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73  gv0].source $tes
0270: 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a  tdir/tester.tcl.
0280: 0a 0a 69 66 63 61 70 61 62 6c 65 20 75 74 66 31  ..ifcapable utf1
0290: 36 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 66 75  6 {.  do_test fu
02a0: 6e 63 33 2d 31 2e 31 20 7b 0a 20 20 20 20 73 65  nc3-1.1 {.    se
02b0: 74 20 64 65 73 74 72 6f 79 65 64 20 30 0a 20 20  t destroyed 0.  
02c0: 20 20 70 72 6f 63 20 64 65 73 74 72 6f 79 20 7b    proc destroy {
02d0: 7d 20 7b 20 73 65 74 20 3a 3a 64 65 73 74 72 6f  } { set ::destro
02e0: 79 65 64 20 31 20 7d 0a 20 20 20 20 73 71 6c 69  yed 1 }.    sqli
02f0: 74 65 33 5f 63 72 65 61 74 65 5f 66 75 6e 63 74  te3_create_funct
0300: 69 6f 6e 5f 76 32 20 64 62 20 66 32 20 2d 31 20  ion_v2 db f2 -1 
0310: 61 6e 79 20 2d 66 75 6e 63 20 66 32 20 2d 64 65  any -func f2 -de
0320: 73 74 72 6f 79 20 64 65 73 74 72 6f 79 0a 20 20  stroy destroy.  
0330: 20 20 73 65 74 20 64 65 73 74 72 6f 79 65 64 0a    set destroyed.
0340: 20 20 7d 20 30 0a 20 20 64 6f 5f 74 65 73 74 20    } 0.  do_test 
0350: 66 75 6e 63 33 2d 31 2e 32 20 7b 0a 20 20 20 20  func3-1.2 {.    
0360: 73 71 6c 69 74 65 33 5f 63 72 65 61 74 65 5f 66  sqlite3_create_f
0370: 75 6e 63 74 69 6f 6e 5f 76 32 20 64 62 20 66 32  unction_v2 db f2
0380: 20 2d 31 20 75 74 66 38 20 2d 66 75 6e 63 20 66   -1 utf8 -func f
0390: 32 0a 20 20 20 20 73 65 74 20 64 65 73 74 72 6f  2.    set destro
03a0: 79 65 64 0a 20 20 7d 20 30 0a 20 20 64 6f 5f 74  yed.  } 0.  do_t
03b0: 65 73 74 20 66 75 6e 63 33 2d 31 2e 33 20 7b 0a  est func3-1.3 {.
03c0: 20 20 20 20 73 71 6c 69 74 65 33 5f 63 72 65 61      sqlite3_crea
03d0: 74 65 5f 66 75 6e 63 74 69 6f 6e 5f 76 32 20 64  te_function_v2 d
03e0: 62 20 66 32 20 2d 31 20 75 74 66 31 36 6c 65 20  b f2 -1 utf16le 
03f0: 2d 66 75 6e 63 20 66 32 0a 20 20 20 20 73 65 74  -func f2.    set
0400: 20 64 65 73 74 72 6f 79 65 64 0a 20 20 7d 20 30   destroyed.  } 0
0410: 0a 20 20 64 6f 5f 74 65 73 74 20 66 75 6e 63 33  .  do_test func3
0420: 2d 31 2e 34 20 7b 0a 20 20 20 20 73 71 6c 69 74  -1.4 {.    sqlit
0430: 65 33 5f 63 72 65 61 74 65 5f 66 75 6e 63 74 69  e3_create_functi
0440: 6f 6e 5f 76 32 20 64 62 20 66 32 20 2d 31 20 75  on_v2 db f2 -1 u
0450: 74 66 31 36 62 65 20 2d 66 75 6e 63 20 66 32 0a  tf16be -func f2.
0460: 20 20 20 20 73 65 74 20 64 65 73 74 72 6f 79 65      set destroye
0470: 64 0a 20 20 7d 20 31 0a 7d 0a 0a 64 6f 5f 74 65  d.  } 1.}..do_te
0480: 73 74 20 66 75 6e 63 33 2d 32 2e 31 20 7b 0a 20  st func3-2.1 {. 
0490: 20 73 65 74 20 64 65 73 74 72 6f 79 65 64 20 30   set destroyed 0
04a0: 0a 20 20 70 72 6f 63 20 64 65 73 74 72 6f 79 20  .  proc destroy 
04b0: 7b 7d 20 7b 20 73 65 74 20 3a 3a 64 65 73 74 72  {} { set ::destr
04c0: 6f 79 65 64 20 31 20 7d 0a 20 20 73 71 6c 69 74  oyed 1 }.  sqlit
04d0: 65 33 5f 63 72 65 61 74 65 5f 66 75 6e 63 74 69  e3_create_functi
04e0: 6f 6e 5f 76 32 20 64 62 20 66 33 20 2d 31 20 75  on_v2 db f3 -1 u
04f0: 74 66 38 20 2d 66 75 6e 63 20 66 33 20 2d 64 65  tf8 -func f3 -de
0500: 73 74 72 6f 79 20 64 65 73 74 72 6f 79 0a 20 20  stroy destroy.  
0510: 73 65 74 20 64 65 73 74 72 6f 79 65 64 0a 7d 20  set destroyed.} 
0520: 30 0a 64 6f 5f 74 65 73 74 20 66 75 6e 63 33 2d  0.do_test func3-
0530: 32 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65 33 5f  2.2 {.  sqlite3_
0540: 63 72 65 61 74 65 5f 66 75 6e 63 74 69 6f 6e 5f  create_function_
0550: 76 32 20 64 62 20 66 33 20 2d 31 20 75 74 66 38  v2 db f3 -1 utf8
0560: 20 2d 66 75 6e 63 20 66 33 0a 20 20 73 65 74 20   -func f3.  set 
0570: 64 65 73 74 72 6f 79 65 64 0a 7d 20 31 0a 0a 64  destroyed.} 1..d
0580: 6f 5f 74 65 73 74 20 66 75 6e 63 33 2d 33 2e 31  o_test func3-3.1
0590: 20 7b 0a 20 20 73 65 74 20 64 65 73 74 72 6f 79   {.  set destroy
05a0: 65 64 20 30 0a 20 20 70 72 6f 63 20 64 65 73 74  ed 0.  proc dest
05b0: 72 6f 79 20 7b 7d 20 7b 20 73 65 74 20 3a 3a 64  roy {} { set ::d
05c0: 65 73 74 72 6f 79 65 64 20 31 20 7d 0a 20 20 73  estroyed 1 }.  s
05d0: 71 6c 69 74 65 33 5f 63 72 65 61 74 65 5f 66 75  qlite3_create_fu
05e0: 6e 63 74 69 6f 6e 5f 76 32 20 64 62 20 66 33 20  nction_v2 db f3 
05f0: 2d 31 20 61 6e 79 20 2d 66 75 6e 63 20 66 33 20  -1 any -func f3 
0600: 2d 64 65 73 74 72 6f 79 20 64 65 73 74 72 6f 79  -destroy destroy
0610: 0a 20 20 73 65 74 20 64 65 73 74 72 6f 79 65 64  .  set destroyed
0620: 0a 7d 20 30 0a 64 6f 5f 74 65 73 74 20 66 75 6e  .} 0.do_test fun
0630: 63 33 2d 33 2e 32 20 7b 0a 20 20 64 62 20 63 6c  c3-3.2 {.  db cl
0640: 6f 73 65 0a 20 20 73 65 74 20 64 65 73 74 72 6f  ose.  set destro
0650: 79 65 64 0a 7d 20 31 0a 0a 73 71 6c 69 74 65 33  yed.} 1..sqlite3
0660: 20 64 62 20 74 65 73 74 2e 64 62 0a 64 6f 5f 74   db test.db.do_t
0670: 65 73 74 20 66 75 6e 63 33 2d 34 2e 31 20 7b 0a  est func3-4.1 {.
0680: 20 20 73 65 74 20 64 65 73 74 72 6f 79 65 64 20    set destroyed 
0690: 30 0a 20 20 73 65 74 20 72 63 20 5b 63 61 74 63  0.  set rc [catc
06a0: 68 20 7b 20 0a 20 20 20 20 73 71 6c 69 74 65 33  h { .    sqlite3
06b0: 5f 63 72 65 61 74 65 5f 66 75 6e 63 74 69 6f 6e  _create_function
06c0: 5f 76 32 20 64 62 20 66 33 20 2d 31 20 61 6e 79  _v2 db f3 -1 any
06d0: 20 2d 66 75 6e 63 20 66 33 20 2d 73 74 65 70 20   -func f3 -step 
06e0: 66 33 20 2d 64 65 73 74 72 6f 79 20 64 65 73 74  f3 -destroy dest
06f0: 72 6f 79 0a 20 20 7d 20 6d 73 67 5d 0a 20 20 6c  roy.  } msg].  l
0700: 69 73 74 20 24 72 63 20 24 6d 73 67 0a 7d 20 7b  ist $rc $msg.} {
0710: 31 20 53 51 4c 49 54 45 5f 4d 49 53 55 53 45 7d  1 SQLITE_MISUSE}
0720: 0a 64 6f 5f 74 65 73 74 20 66 75 6e 63 33 2d 34  .do_test func3-4
0730: 2e 32 20 7b 20 73 65 74 20 64 65 73 74 72 6f 79  .2 { set destroy
0740: 65 64 20 7d 20 31 0a 0a 23 20 45 56 49 44 45 4e  ed } 1..# EVIDEN
0750: 43 45 2d 4f 46 3a 20 52 2d 34 31 39 32 31 2d 30  CE-OF: R-41921-0
0760: 35 32 31 34 20 54 68 65 20 6c 69 6b 65 6c 69 68  5214 The likelih
0770: 6f 6f 64 28 58 2c 59 29 20 66 75 6e 63 74 69 6f  ood(X,Y) functio
0780: 6e 20 72 65 74 75 72 6e 73 0a 23 20 61 72 67 75  n returns.# argu
0790: 6d 65 6e 74 20 58 20 75 6e 63 68 61 6e 67 65 64  ment X unchanged
07a0: 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ..#.do_execsql_t
07b0: 65 73 74 20 66 75 6e 63 33 2d 35 2e 31 20 7b 0a  est func3-5.1 {.
07c0: 20 20 53 45 4c 45 43 54 20 6c 69 6b 65 6c 69 68    SELECT likelih
07d0: 6f 6f 64 28 39 32 32 33 33 37 32 30 33 36 38 35  ood(922337203685
07e0: 34 37 37 35 38 30 37 2c 20 30 2e 35 29 3b 0a 7d  4775807, 0.5);.}
07f0: 20 7b 39 32 32 33 33 37 32 30 33 36 38 35 34 37   {92233720368547
0800: 37 35 38 30 37 7d 0a 64 6f 5f 65 78 65 63 73 71  75807}.do_execsq
0810: 6c 5f 74 65 73 74 20 66 75 6e 63 33 2d 35 2e 32  l_test func3-5.2
0820: 20 7b 0a 20 20 53 45 4c 45 43 54 20 6c 69 6b 65   {.  SELECT like
0830: 6c 69 68 6f 6f 64 28 2d 39 32 32 33 33 37 32 30  lihood(-92233720
0840: 33 36 38 35 34 37 37 35 38 30 38 2c 20 30 2e 35  36854775808, 0.5
0850: 29 3b 0a 7d 20 7b 2d 39 32 32 33 33 37 32 30 33  );.} {-922337203
0860: 36 38 35 34 37 37 35 38 30 38 7d 0a 64 6f 5f 65  6854775808}.do_e
0870: 78 65 63 73 71 6c 5f 74 65 73 74 20 66 75 6e 63  xecsql_test func
0880: 33 2d 35 2e 33 20 7b 0a 20 20 53 45 4c 45 43 54  3-5.3 {.  SELECT
0890: 20 6c 69 6b 65 6c 69 68 6f 6f 64 28 31 34 2e 31   likelihood(14.1
08a0: 32 35 2c 20 30 2e 35 29 3b 0a 7d 20 7b 31 34 2e  25, 0.5);.} {14.
08b0: 31 32 35 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  125}.do_execsql_
08c0: 74 65 73 74 20 66 75 6e 63 33 2d 35 2e 34 20 7b  test func3-5.4 {
08d0: 0a 20 20 53 45 4c 45 43 54 20 6c 69 6b 65 6c 69  .  SELECT likeli
08e0: 68 6f 6f 64 28 4e 55 4c 4c 2c 20 30 2e 35 29 3b  hood(NULL, 0.5);
08f0: 0a 7d 20 7b 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73  .} {{}}.do_execs
0900: 71 6c 5f 74 65 73 74 20 66 75 6e 63 33 2d 35 2e  ql_test func3-5.
0910: 35 20 7b 0a 20 20 53 45 4c 45 43 54 20 6c 69 6b  5 {.  SELECT lik
0920: 65 6c 69 68 6f 6f 64 28 27 74 65 73 74 2d 73 74  elihood('test-st
0930: 72 69 6e 67 27 2c 20 30 2e 35 29 3b 0a 7d 20 7b  ring', 0.5);.} {
0940: 74 65 73 74 2d 73 74 72 69 6e 67 7d 0a 64 6f 5f  test-string}.do_
0950: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 66 75 6e  execsql_test fun
0960: 63 33 2d 35 2e 36 20 7b 0a 20 20 53 45 4c 45 43  c3-5.6 {.  SELEC
0970: 54 20 71 75 6f 74 65 28 6c 69 6b 65 6c 69 68 6f  T quote(likeliho
0980: 6f 64 28 78 27 30 31 30 32 30 33 30 30 30 34 30  od(x'01020300040
0990: 35 27 2c 20 30 2e 35 29 29 3b 0a 7d 20 7b 58 27  5', 0.5));.} {X'
09a0: 30 31 30 32 30 33 30 30 30 34 30 35 27 7d 0a 0a  010203000405'}..
09b0: 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52  # EVIDENCE-OF: R
09c0: 2d 34 34 31 33 33 2d 36 31 36 35 31 20 54 68 65  -44133-61651 The
09d0: 20 76 61 6c 75 65 20 59 20 69 6e 20 6c 69 6b 65   value Y in like
09e0: 6c 69 68 6f 6f 64 28 58 2c 59 29 20 6d 75 73 74  lihood(X,Y) must
09f0: 20 62 65 20 61 0a 23 20 66 6c 6f 61 74 69 6e 67   be a.# floating
0a00: 20 70 6f 69 6e 74 20 63 6f 6e 73 74 61 6e 74 20   point constant 
0a10: 62 65 74 77 65 65 6e 20 30 2e 30 20 61 6e 64 20  between 0.0 and 
0a20: 31 2e 30 2c 20 69 6e 63 6c 75 73 69 76 65 2e 0a  1.0, inclusive..
0a30: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  #.do_execsql_tes
0a40: 74 20 66 75 6e 63 33 2d 35 2e 37 20 7b 0a 20 20  t func3-5.7 {.  
0a50: 53 45 4c 45 43 54 20 6c 69 6b 65 6c 69 68 6f 6f  SELECT likelihoo
0a60: 64 28 31 32 33 2c 20 31 2e 30 29 2c 20 6c 69 6b  d(123, 1.0), lik
0a70: 65 6c 69 68 6f 6f 64 28 34 35 36 2c 20 30 2e 30  elihood(456, 0.0
0a80: 29 3b 0a 7d 20 7b 31 32 33 20 34 35 36 7d 0a 64  );.} {123 456}.d
0a90: 6f 5f 74 65 73 74 20 66 75 6e 63 33 2d 35 2e 38  o_test func3-5.8
0aa0: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
0ab0: 20 20 20 20 53 45 4c 45 43 54 20 6c 69 6b 65 6c      SELECT likel
0ac0: 69 68 6f 6f 64 28 31 32 33 2c 20 31 2e 30 30 30  ihood(123, 1.000
0ad0: 30 30 31 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  001);.  }.} {1 {
0ae0: 73 65 63 6f 6e 64 20 61 72 67 75 6d 65 6e 74 20  second argument 
0af0: 74 6f 20 6c 69 6b 65 6c 69 68 6f 6f 64 28 29 20  to likelihood() 
0b00: 6d 75 73 74 20 62 65 20 61 20 63 6f 6e 73 74 61  must be a consta
0b10: 6e 74 20 62 65 74 77 65 65 6e 20 30 2e 30 20 61  nt between 0.0 a
0b20: 6e 64 20 31 2e 30 7d 7d 0a 64 6f 5f 74 65 73 74  nd 1.0}}.do_test
0b30: 20 66 75 6e 63 33 2d 35 2e 39 20 7b 0a 20 20 63   func3-5.9 {.  c
0b40: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
0b50: 4c 45 43 54 20 6c 69 6b 65 6c 69 68 6f 6f 64 28  LECT likelihood(
0b60: 31 32 33 2c 20 2d 30 2e 30 30 30 30 30 31 29 3b  123, -0.000001);
0b70: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 65 63 6f 6e  .  }.} {1 {secon
0b80: 64 20 61 72 67 75 6d 65 6e 74 20 74 6f 20 6c 69  d argument to li
0b90: 6b 65 6c 69 68 6f 6f 64 28 29 20 6d 75 73 74 20  kelihood() must 
0ba0: 62 65 20 61 20 63 6f 6e 73 74 61 6e 74 20 62 65  be a constant be
0bb0: 74 77 65 65 6e 20 30 2e 30 20 61 6e 64 20 31 2e  tween 0.0 and 1.
0bc0: 30 7d 7d 0a 64 6f 5f 74 65 73 74 20 66 75 6e 63  0}}.do_test func
0bd0: 33 2d 35 2e 31 30 20 7b 0a 20 20 63 61 74 63 68  3-5.10 {.  catch
0be0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
0bf0: 20 6c 69 6b 65 6c 69 68 6f 6f 64 28 31 32 33 2c   likelihood(123,
0c00: 20 30 2e 35 2b 30 2e 33 29 3b 0a 20 20 7d 0a 7d   0.5+0.3);.  }.}
0c10: 20 7b 31 20 7b 73 65 63 6f 6e 64 20 61 72 67 75   {1 {second argu
0c20: 6d 65 6e 74 20 74 6f 20 6c 69 6b 65 6c 69 68 6f  ment to likeliho
0c30: 6f 64 28 29 20 6d 75 73 74 20 62 65 20 61 20 63  od() must be a c
0c40: 6f 6e 73 74 61 6e 74 20 62 65 74 77 65 65 6e 20  onstant between 
0c50: 30 2e 30 20 61 6e 64 20 31 2e 30 7d 7d 0a 0a 23  0.0 and 1.0}}..#
0c60: 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d   EVIDENCE-OF: R-
0c70: 32 38 35 33 35 2d 34 34 36 33 31 20 54 68 65 20  28535-44631 The 
0c80: 6c 69 6b 65 6c 69 68 6f 6f 64 28 58 29 20 66 75  likelihood(X) fu
0c90: 6e 63 74 69 6f 6e 20 69 73 20 61 20 6e 6f 2d 6f  nction is a no-o
0ca0: 70 20 74 68 61 74 0a 23 20 74 68 65 20 63 6f 64  p that.# the cod
0cb0: 65 20 67 65 6e 65 72 61 74 6f 72 20 6f 70 74 69  e generator opti
0cc0: 6d 69 7a 65 73 20 61 77 61 79 20 73 6f 20 74 68  mizes away so th
0cd0: 61 74 20 69 74 20 63 6f 6e 73 75 6d 65 73 20 6e  at it consumes n
0ce0: 6f 20 43 50 55 20 63 79 63 6c 65 73 0a 23 20 64  o CPU cycles.# d
0cf0: 75 72 69 6e 67 20 72 75 6e 2d 74 69 6d 65 20 28  uring run-time (
0d00: 74 68 61 74 20 69 73 2c 20 64 75 72 69 6e 67 20  that is, during 
0d10: 63 61 6c 6c 73 20 74 6f 20 73 71 6c 69 74 65 33  calls to sqlite3
0d20: 5f 73 74 65 70 28 29 29 2e 0a 23 0a 64 6f 5f 74  _step())..#.do_t
0d30: 65 73 74 20 66 75 6e 63 33 2d 35 2e 32 30 20 7b  est func3-5.20 {
0d40: 0a 20 20 64 62 20 65 76 61 6c 20 7b 45 58 50 4c  .  db eval {EXPL
0d50: 41 49 4e 20 53 45 4c 45 43 54 20 6c 69 6b 65 6c  AIN SELECT likel
0d60: 69 68 6f 6f 64 28 6d 69 6e 28 31 2e 30 2b 27 32  ihood(min(1.0+'2
0d70: 2e 30 27 2c 34 2a 31 31 29 2c 20 30 2e 35 29 7d  .0',4*11), 0.5)}
0d80: 0a 7d 20 5b 64 62 20 65 76 61 6c 20 7b 45 58 50  .} [db eval {EXP
0d90: 4c 41 49 4e 20 53 45 4c 45 43 54 20 6d 69 6e 28  LAIN SELECT min(
0da0: 31 2e 30 2b 27 32 2e 30 27 2c 34 2a 31 31 29 7d  1.0+'2.0',4*11)}
0db0: 5d 0a 0a 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f  ]...# EVIDENCE-O
0dc0: 46 3a 20 52 2d 31 31 31 35 32 2d 32 33 34 35 36  F: R-11152-23456
0dd0: 20 54 68 65 20 75 6e 6c 69 6b 65 6c 79 28 58 29   The unlikely(X)
0de0: 20 66 75 6e 63 74 69 6f 6e 20 72 65 74 75 72 6e   function return
0df0: 73 20 74 68 65 0a 23 20 61 72 67 75 6d 65 6e 74  s the.# argument
0e00: 20 58 20 75 6e 63 68 61 6e 67 65 64 2e 0a 23 0a   X unchanged..#.
0e10: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0e20: 66 75 6e 63 33 2d 35 2e 33 30 20 7b 0a 20 20 53  func3-5.30 {.  S
0e30: 45 4c 45 43 54 20 75 6e 6c 69 6b 65 6c 79 28 39  ELECT unlikely(9
0e40: 32 32 33 33 37 32 30 33 36 38 35 34 37 37 35 38  2233720368547758
0e50: 30 37 29 3b 0a 7d 20 7b 39 32 32 33 33 37 32 30  07);.} {92233720
0e60: 33 36 38 35 34 37 37 35 38 30 37 7d 0a 64 6f 5f  36854775807}.do_
0e70: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 66 75 6e  execsql_test fun
0e80: 63 33 2d 35 2e 33 31 20 7b 0a 20 20 53 45 4c 45  c3-5.31 {.  SELE
0e90: 43 54 20 75 6e 6c 69 6b 65 6c 79 28 2d 39 32 32  CT unlikely(-922
0ea0: 33 33 37 32 30 33 36 38 35 34 37 37 35 38 30 38  3372036854775808
0eb0: 29 3b 0a 7d 20 7b 2d 39 32 32 33 33 37 32 30 33  );.} {-922337203
0ec0: 36 38 35 34 37 37 35 38 30 38 7d 0a 64 6f 5f 65  6854775808}.do_e
0ed0: 78 65 63 73 71 6c 5f 74 65 73 74 20 66 75 6e 63  xecsql_test func
0ee0: 33 2d 35 2e 33 32 20 7b 0a 20 20 53 45 4c 45 43  3-5.32 {.  SELEC
0ef0: 54 20 75 6e 6c 69 6b 65 6c 79 28 31 34 2e 31 32  T unlikely(14.12
0f00: 35 29 3b 0a 7d 20 7b 31 34 2e 31 32 35 7d 0a 64  5);.} {14.125}.d
0f10: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 66  o_execsql_test f
0f20: 75 6e 63 33 2d 35 2e 33 33 20 7b 0a 20 20 53 45  unc3-5.33 {.  SE
0f30: 4c 45 43 54 20 75 6e 6c 69 6b 65 6c 79 28 4e 55  LECT unlikely(NU
0f40: 4c 4c 29 3b 0a 7d 20 7b 7b 7d 7d 0a 64 6f 5f 65  LL);.} {{}}.do_e
0f50: 78 65 63 73 71 6c 5f 74 65 73 74 20 66 75 6e 63  xecsql_test func
0f60: 33 2d 35 2e 33 34 20 7b 0a 20 20 53 45 4c 45 43  3-5.34 {.  SELEC
0f70: 54 20 75 6e 6c 69 6b 65 6c 79 28 27 74 65 73 74  T unlikely('test
0f80: 2d 73 74 72 69 6e 67 27 29 3b 0a 7d 20 7b 74 65  -string');.} {te
0f90: 73 74 2d 73 74 72 69 6e 67 7d 0a 64 6f 5f 65 78  st-string}.do_ex
0fa0: 65 63 73 71 6c 5f 74 65 73 74 20 66 75 6e 63 33  ecsql_test func3
0fb0: 2d 35 2e 33 35 20 7b 0a 20 20 53 45 4c 45 43 54  -5.35 {.  SELECT
0fc0: 20 71 75 6f 74 65 28 75 6e 6c 69 6b 65 6c 79 28   quote(unlikely(
0fd0: 78 27 30 31 30 32 30 33 30 30 30 34 30 35 27 29  x'010203000405')
0fe0: 29 3b 0a 7d 20 7b 58 27 30 31 30 32 30 33 30 30  );.} {X'01020300
0ff0: 30 34 30 35 27 7d 0a 0a 23 20 45 56 49 44 45 4e  0405'}..# EVIDEN
1000: 43 45 2d 4f 46 3a 20 52 2d 32 32 38 38 37 2d 36  CE-OF: R-22887-6
1010: 33 33 32 34 20 54 68 65 20 75 6e 6c 69 6b 65 6c  3324 The unlikel
1020: 79 28 58 29 20 66 75 6e 63 74 69 6f 6e 20 69 73  y(X) function is
1030: 20 61 20 6e 6f 2d 6f 70 20 74 68 61 74 0a 23 20   a no-op that.# 
1040: 74 68 65 20 63 6f 64 65 20 67 65 6e 65 72 61 74  the code generat
1050: 6f 72 20 6f 70 74 69 6d 69 7a 65 73 20 61 77 61  or optimizes awa
1060: 79 20 73 6f 20 74 68 61 74 20 69 74 20 63 6f 6e  y so that it con
1070: 73 75 6d 65 73 20 6e 6f 20 43 50 55 20 63 79 63  sumes no CPU cyc
1080: 6c 65 73 20 61 74 0a 23 20 72 75 6e 2d 74 69 6d  les at.# run-tim
1090: 65 20 28 74 68 61 74 20 69 73 2c 20 64 75 72 69  e (that is, duri
10a0: 6e 67 20 63 61 6c 6c 73 20 74 6f 20 73 71 6c 69  ng calls to sqli
10b0: 74 65 33 5f 73 74 65 70 28 29 29 2e 0a 23 0a 64  te3_step())..#.d
10c0: 6f 5f 74 65 73 74 20 66 75 6e 63 33 2d 35 2e 33  o_test func3-5.3
10d0: 39 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 45  9 {.  db eval {E
10e0: 58 50 4c 41 49 4e 20 53 45 4c 45 43 54 20 75 6e  XPLAIN SELECT un
10f0: 6c 69 6b 65 6c 79 28 6d 69 6e 28 31 2e 30 2b 27  likely(min(1.0+'
1100: 32 2e 30 27 2c 34 2a 31 31 29 29 7d 0a 7d 20 5b  2.0',4*11))}.} [
1110: 64 62 20 65 76 61 6c 20 7b 45 58 50 4c 41 49 4e  db eval {EXPLAIN
1120: 20 53 45 4c 45 43 54 20 6d 69 6e 28 31 2e 30 2b   SELECT min(1.0+
1130: 27 32 2e 30 27 2c 34 2a 31 31 29 7d 5d 0a 0a 64  '2.0',4*11)}]..d
1140: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 66  o_execsql_test f
1150: 75 6e 63 33 2d 35 2e 34 30 20 7b 0a 20 20 53 45  unc3-5.40 {.  SE
1160: 4c 45 43 54 20 6c 69 6b 65 6c 79 28 39 32 32 33  LECT likely(9223
1170: 33 37 32 30 33 36 38 35 34 37 37 35 38 30 37 29  372036854775807)
1180: 3b 0a 7d 20 7b 39 32 32 33 33 37 32 30 33 36 38  ;.} {92233720368
1190: 35 34 37 37 35 38 30 37 7d 0a 64 6f 5f 65 78 65  54775807}.do_exe
11a0: 63 73 71 6c 5f 74 65 73 74 20 66 75 6e 63 33 2d  csql_test func3-
11b0: 35 2e 34 31 20 7b 0a 20 20 53 45 4c 45 43 54 20  5.41 {.  SELECT 
11c0: 6c 69 6b 65 6c 79 28 2d 39 32 32 33 33 37 32 30  likely(-92233720
11d0: 33 36 38 35 34 37 37 35 38 30 38 29 3b 0a 7d 20  36854775808);.} 
11e0: 7b 2d 39 32 32 33 33 37 32 30 33 36 38 35 34 37  {-92233720368547
11f0: 37 35 38 30 38 7d 0a 64 6f 5f 65 78 65 63 73 71  75808}.do_execsq
1200: 6c 5f 74 65 73 74 20 66 75 6e 63 33 2d 35 2e 34  l_test func3-5.4
1210: 32 20 7b 0a 20 20 53 45 4c 45 43 54 20 6c 69 6b  2 {.  SELECT lik
1220: 65 6c 79 28 31 34 2e 31 32 35 29 3b 0a 7d 20 7b  ely(14.125);.} {
1230: 31 34 2e 31 32 35 7d 0a 64 6f 5f 65 78 65 63 73  14.125}.do_execs
1240: 71 6c 5f 74 65 73 74 20 66 75 6e 63 33 2d 35 2e  ql_test func3-5.
1250: 34 33 20 7b 0a 20 20 53 45 4c 45 43 54 20 6c 69  43 {.  SELECT li
1260: 6b 65 6c 79 28 4e 55 4c 4c 29 3b 0a 7d 20 7b 7b  kely(NULL);.} {{
1270: 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }}.do_execsql_te
1280: 73 74 20 66 75 6e 63 33 2d 35 2e 34 34 20 7b 0a  st func3-5.44 {.
1290: 20 20 53 45 4c 45 43 54 20 6c 69 6b 65 6c 79 28    SELECT likely(
12a0: 27 74 65 73 74 2d 73 74 72 69 6e 67 27 29 3b 0a  'test-string');.
12b0: 7d 20 7b 74 65 73 74 2d 73 74 72 69 6e 67 7d 0a  } {test-string}.
12c0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
12d0: 66 75 6e 63 33 2d 35 2e 34 35 20 7b 0a 20 20 53  func3-5.45 {.  S
12e0: 45 4c 45 43 54 20 71 75 6f 74 65 28 6c 69 6b 65  ELECT quote(like
12f0: 6c 79 28 78 27 30 31 30 32 30 33 30 30 30 34 30  ly(x'01020300040
1300: 35 27 29 29 3b 0a 7d 20 7b 58 27 30 31 30 32 30  5'));.} {X'01020
1310: 33 30 30 30 34 30 35 27 7d 0a 64 6f 5f 74 65 73  3000405'}.do_tes
1320: 74 20 66 75 6e 63 33 2d 35 2e 34 39 20 7b 0a 20  t func3-5.49 {. 
1330: 20 64 62 20 65 76 61 6c 20 7b 45 58 50 4c 41 49   db eval {EXPLAI
1340: 4e 20 53 45 4c 45 43 54 20 6c 69 6b 65 6c 79 28  N SELECT likely(
1350: 6d 69 6e 28 31 2e 30 2b 27 32 2e 30 27 2c 34 2a  min(1.0+'2.0',4*
1360: 31 31 29 29 7d 0a 7d 20 5b 64 62 20 65 76 61 6c  11))}.} [db eval
1370: 20 7b 45 58 50 4c 41 49 4e 20 53 45 4c 45 43 54   {EXPLAIN SELECT
1380: 20 6d 69 6e 28 31 2e 30 2b 27 32 2e 30 27 2c 34   min(1.0+'2.0',4
1390: 2a 31 31 29 7d 5d 0a 0a 0a 0a 66 69 6e 69 73 68  *11)}]....finish
13a0: 5f 74 65 73 74 0a                                _test.