/ Hex Artifact Content
Login

Artifact cdd224400bc3e48d891827cc913a57051a426fa4:


0000: 23 20 32 30 31 33 2d 31 31 2d 32 31 0a 23 0a 23  # 2013-11-21.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u give..#.#*****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 0a 23 0a 23 20 54 65 73 74 69 6e 67  ****.#.# Testing
0170: 20 6f 66 20 66 75 6e 63 74 69 6f 6e 20 66 61 63   of function fac
0180: 74 6f 72 69 6e 67 20 61 6e 64 20 74 68 65 20 53  toring and the S
0190: 51 4c 49 54 45 5f 44 45 54 45 52 4d 49 4e 49 53  QLITE_DETERMINIS
01a0: 54 49 43 20 66 6c 61 67 2e 0a 23 0a 73 65 74 20  TIC flag..#.set 
01b0: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
01c0: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
01d0: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
01e0: 73 74 65 72 2e 74 63 6c 0a 0a 23 20 56 65 72 69  ster.tcl..# Veri
01f0: 66 79 20 74 68 61 74 20 63 6f 6e 73 74 61 6e 74  fy that constant
0200: 20 73 74 72 69 6e 67 20 65 78 70 72 65 73 73 69   string expressi
0210: 6f 6e 73 20 74 68 61 74 20 67 65 74 20 66 61 63  ons that get fac
0220: 74 6f 72 65 64 20 69 6e 74 6f 20 69 6e 69 74 69  tored into initi
0230: 61 6c 69 7a 69 6e 67 0a 23 20 63 6f 64 65 20 61  alizing.# code a
0240: 72 65 20 6e 6f 74 20 72 65 75 73 65 64 20 62 65  re not reused be
0250: 74 77 65 65 6e 20 66 75 6e 63 74 69 6f 6e 20 70  tween function p
0260: 61 72 61 6d 65 74 65 72 73 20 61 6e 64 20 6f 74  arameters and ot
0270: 68 65 72 20 76 61 6c 75 65 73 20 69 6e 20 74 68  her values in th
0280: 65 0a 23 20 56 44 42 45 20 70 72 6f 67 72 61 6d  e.# VDBE program
0290: 2c 20 61 73 20 74 68 65 20 66 75 6e 63 74 69 6f  , as the functio
02a0: 6e 20 6d 69 67 68 74 20 68 61 76 65 20 63 68 61  n might have cha
02b0: 6e 67 65 64 20 74 68 65 20 65 6e 63 6f 64 69 6e  nged the encodin
02c0: 67 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  g..#.do_execsql_
02d0: 74 65 73 74 20 66 75 6e 63 35 2d 31 2e 31 20 7b  test func5-1.1 {
02e0: 0a 20 20 50 52 41 47 4d 41 20 65 6e 63 6f 64 69  .  PRAGMA encodi
02f0: 6e 67 3d 55 54 46 31 36 6c 65 3b 0a 20 20 43 52  ng=UTF16le;.  CR
0300: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 2c  EATE TABLE t1(x,
0310: 61 2c 62 2c 63 29 3b 0a 20 20 49 4e 53 45 52 54  a,b,c);.  INSERT
0320: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0330: 31 2c 27 61 62 27 2c 27 63 64 27 2c 31 29 3b 0a  1,'ab','cd',1);.
0340: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0350: 20 56 41 4c 55 45 53 28 32 2c 27 67 68 27 2c 27   VALUES(2,'gh','
0360: 65 66 27 2c 35 29 3b 0a 20 20 49 4e 53 45 52 54  ef',5);.  INSERT
0370: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0380: 33 2c 27 70 71 72 27 2c 27 66 75 7a 7a 79 27 2c  3,'pqr','fuzzy',
0390: 39 39 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  99);.  INSERT IN
03a0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 34 2c 27  TO t1 VALUES(4,'
03b0: 61 62 63 64 65 66 67 27 2c 27 78 79 27 2c 32 32  abcdefg','xy',22
03c0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
03d0: 20 74 31 20 56 41 4c 55 45 53 28 35 2c 27 73 68   t1 VALUES(5,'sh
03e0: 6f 65 27 2c 27 6d 61 79 65 72 27 2c 32 39 35 33  oe','mayer',2953
03f0: 29 3b 0a 20 20 53 45 4c 45 43 54 20 78 20 46 52  );.  SELECT x FR
0400: 4f 4d 20 74 31 20 57 48 45 52 45 20 63 3d 69 6e  OM t1 WHERE c=in
0410: 73 74 72 28 27 61 62 63 64 65 66 67 27 2c 62 29  str('abcdefg',b)
0420: 20 4f 52 20 61 3d 27 61 62 63 64 65 66 67 27 20   OR a='abcdefg' 
0430: 4f 52 44 45 52 20 42 59 20 2b 78 3b 0a 7d 20 7b  ORDER BY +x;.} {
0440: 32 20 34 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  2 4}.do_execsql_
0450: 74 65 73 74 20 66 75 6e 63 35 2d 31 2e 32 20 7b  test func5-1.2 {
0460: 0a 20 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d  .  SELECT x FROM
0470: 20 74 31 20 57 48 45 52 45 20 61 3d 27 61 62 63   t1 WHERE a='abc
0480: 64 65 66 67 27 20 4f 52 20 63 3d 69 6e 73 74 72  defg' OR c=instr
0490: 28 27 61 62 63 64 65 66 67 27 2c 62 29 20 4f 52  ('abcdefg',b) OR
04a0: 44 45 52 20 42 59 20 2b 78 3b 0a 7d 20 7b 32 20  DER BY +x;.} {2 
04b0: 34 7d 0a 0a 23 20 56 65 72 69 66 79 20 74 68 61  4}..# Verify tha
04c0: 74 20 53 51 4c 49 54 45 5f 44 45 54 45 52 4d 49  t SQLITE_DETERMI
04d0: 4e 49 53 54 49 43 20 66 75 6e 63 74 69 6f 6e 73  NISTIC functions
04e0: 20 67 65 74 20 66 61 63 74 6f 72 65 64 20 6f 75   get factored ou
04f0: 74 20 6f 66 20 74 68 65 0a 23 20 65 76 61 6c 75  t of the.# evalu
0500: 61 74 69 6f 6e 20 6c 6f 6f 70 20 77 68 65 72 65  ation loop where
0510: 61 73 20 6e 6f 6e 2d 64 65 74 65 72 6d 69 6e 69  as non-determini
0520: 73 74 69 63 20 66 75 6e 63 74 69 6f 6e 73 20 64  stic functions d
0530: 6f 20 6e 6f 74 2e 20 20 63 6f 75 6e 74 65 72 31  o not.  counter1
0540: 28 29 0a 23 20 69 73 20 6d 61 72 6b 65 64 20 61  ().# is marked a
0550: 73 20 6e 6f 6e 2d 64 65 74 65 72 6d 69 6e 69 73  s non-determinis
0560: 74 69 63 20 61 6e 64 20 73 6f 20 69 73 20 6e 6f  tic and so is no
0570: 74 20 66 61 63 74 6f 72 65 64 20 6f 75 74 20 6f  t factored out o
0580: 66 20 74 68 65 20 6c 6f 6f 70 2c 0a 23 20 61 6e  f the loop,.# an
0590: 64 20 69 74 20 72 65 61 6c 6c 79 20 69 73 20 6e  d it really is n
05a0: 6f 6e 2d 64 65 74 65 72 6d 69 6e 69 73 74 69 63  on-deterministic
05b0: 2c 20 72 65 74 75 72 6e 69 6e 67 20 61 20 64 69  , returning a di
05c0: 66 66 65 72 65 6e 74 20 72 65 73 75 6c 74 20 65  fferent result e
05d0: 61 63 68 0a 23 20 74 69 6d 65 2e 20 20 42 75 74  ach.# time.  But
05e0: 20 63 6f 75 6e 74 65 72 32 28 29 20 69 73 20 6d   counter2() is m
05f0: 61 72 6b 65 64 20 61 73 20 64 65 74 65 72 6d 69  arked as determi
0600: 6e 69 73 74 69 63 2c 20 73 6f 20 69 74 20 64 6f  nistic, so it do
0610: 65 73 20 67 65 74 20 66 61 63 74 6f 72 65 64 0a  es get factored.
0620: 23 20 6f 75 74 20 6f 66 20 74 68 65 20 6c 6f 6f  # out of the loo
0630: 70 2e 20 20 63 6f 75 6e 74 65 72 32 28 29 20 68  p.  counter2() h
0640: 61 73 20 74 68 65 20 73 61 6d 65 20 69 6d 70 6c  as the same impl
0650: 65 6d 65 6e 74 61 74 69 6f 6e 20 61 73 20 63 6f  ementation as co
0660: 75 6e 74 65 72 31 28 29 2c 0a 23 20 72 65 74 75  unter1(),.# retu
0670: 72 6e 69 6e 67 20 61 20 64 69 66 66 65 72 65 6e  rning a differen
0680: 74 20 72 65 73 75 6c 74 20 6f 6e 20 65 61 63 68  t result on each
0690: 20 69 6e 76 6f 63 61 74 69 6f 6e 2c 20 62 75 74   invocation, but
06a0: 20 62 65 63 61 75 73 65 20 69 74 20 69 73 20 0a   because it is .
06b0: 23 20 6f 6e 6c 79 20 69 6e 76 6f 6b 65 64 20 6f  # only invoked o
06c0: 6e 63 65 20 6f 75 74 73 69 64 65 20 6f 66 20 74  nce outside of t
06d0: 68 65 20 6c 6f 6f 70 2c 20 69 74 20 61 70 70 65  he loop, it appe
06e0: 61 72 73 20 74 6f 20 72 65 74 75 72 6e 20 74 68  ars to return th
06f0: 65 20 73 61 6d 65 0a 23 20 72 65 73 75 6c 74 20  e same.# result 
0700: 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 2e 0a  multiple times..
0710: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  #.do_execsql_tes
0720: 74 20 66 75 6e 63 35 2d 32 2e 31 20 7b 0a 20 20  t func5-2.1 {.  
0730: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
0740: 78 2c 79 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  x,y);.  INSERT I
0750: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 31 2c  NTO t2 VALUES(1,
0760: 32 29 2c 28 33 2c 34 29 2c 28 35 2c 36 29 2c 28  2),(3,4),(5,6),(
0770: 37 2c 38 29 3b 0a 20 20 53 45 4c 45 43 54 20 78  7,8);.  SELECT x
0780: 2c 20 79 20 46 52 4f 4d 20 74 32 20 57 48 45 52  , y FROM t2 WHER
0790: 45 20 78 2b 35 3d 35 2b 78 20 4f 52 44 45 52 20  E x+5=5+x ORDER 
07a0: 42 59 20 2b 78 3b 0a 7d 20 7b 31 20 32 20 33 20  BY +x;.} {1 2 3 
07b0: 34 20 35 20 36 20 37 20 38 7d 0a 73 71 6c 69 74  4 5 6 7 8}.sqlit
07c0: 65 33 5f 63 72 65 61 74 65 5f 66 75 6e 63 74 69  e3_create_functi
07d0: 6f 6e 20 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c  on db.do_execsql
07e0: 5f 74 65 73 74 20 66 75 6e 63 35 2d 32 2e 32 20  _test func5-2.2 
07f0: 7b 0a 20 20 53 45 4c 45 43 54 20 78 2c 20 79 20  {.  SELECT x, y 
0800: 46 52 4f 4d 20 74 32 0a 20 20 20 57 48 45 52 45  FROM t2.   WHERE
0810: 20 78 2b 63 6f 75 6e 74 65 72 31 28 27 68 65 6c   x+counter1('hel
0820: 6c 6f 27 29 3d 63 6f 75 6e 74 65 72 31 28 27 68  lo')=counter1('h
0830: 65 6c 6c 6f 27 29 2b 78 0a 20 20 20 4f 52 44 45  ello')+x.   ORDE
0840: 52 20 42 59 20 2b 78 3b 0a 7d 20 7b 7d 0a 64 6f  R BY +x;.} {}.do
0850: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 66 75  _execsql_test fu
0860: 6e 63 35 2d 32 2e 33 20 7b 0a 20 20 53 45 4c 45  nc5-2.3 {.  SELE
0870: 43 54 20 78 2c 20 79 20 46 52 4f 4d 20 74 32 0a  CT x, y FROM t2.
0880: 20 20 20 57 48 45 52 45 20 78 2b 63 6f 75 6e 74     WHERE x+count
0890: 65 72 32 28 27 68 65 6c 6c 6f 27 29 3d 63 6f 75  er2('hello')=cou
08a0: 6e 74 65 72 32 28 27 68 65 6c 6c 6f 27 29 2b 78  nter2('hello')+x
08b0: 0a 20 20 20 4f 52 44 45 52 20 42 59 20 2b 78 3b  .   ORDER BY +x;
08c0: 0a 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20  .} {1 2 3 4 5 6 
08d0: 37 20 38 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65  7 8}...finish_te
08e0: 73 74 0a                                         st.