1#
2# 2001 September 15
3#
4# The author disclaims copyright to this source code.  In place of
5# a legal notice, here is a blessing:
6#
7#    May you do good and not evil.
8#    May you find forgiveness for yourself and forgive others.
9#    May you share freely, never taking more than you give.
10#
11#***********************************************************************
12# This file implements regression tests for SQLite library.  The
13# focus of this file is testing expressions.
14#
15# $Id: expr.test,v 1.31 2004/03/03 01:51:25 drh Exp $
16
17set testdir [file dirname $argv0]
18source $testdir/tester.tcl
19
20# Create a table to work with.
21#
22execsql {CREATE TABLE test1(i1 int, i2 int, r1 real, r2 real, t1 text, t2 text)}
23execsql {INSERT INTO test1 VALUES(1,2,1.1,2.2,'hello','world')}
24proc test_expr {name settings expr result} {
25  do_test $name [format {
26    execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
27  } $settings $expr] $result
28}
29
30test_expr expr-1.1 {i1=10, i2=20} {i1+i2} 30
31test_expr expr-1.2 {i1=10, i2=20} {i1-i2} -10
32test_expr expr-1.3 {i1=10, i2=20} {i1*i2} 200
33test_expr expr-1.4 {i1=10, i2=20} {i1/i2} 0.5
34test_expr expr-1.5 {i1=10, i2=20} {i2/i1} 2
35test_expr expr-1.6 {i1=10, i2=20} {i2<i1} 0
36test_expr expr-1.7 {i1=10, i2=20} {i2<=i1} 0
37test_expr expr-1.8 {i1=10, i2=20} {i2>i1} 1
38test_expr expr-1.9 {i1=10, i2=20} {i2>=i1} 1
39test_expr expr-1.10 {i1=10, i2=20} {i2!=i1} 1
40test_expr expr-1.11 {i1=10, i2=20} {i2=i1} 0
41test_expr expr-1.12 {i1=10, i2=20} {i2<>i1} 1
42test_expr expr-1.13 {i1=10, i2=20} {i2==i1} 0
43test_expr expr-1.14 {i1=20, i2=20} {i2<i1} 0
44test_expr expr-1.15 {i1=20, i2=20} {i2<=i1} 1
45test_expr expr-1.16 {i1=20, i2=20} {i2>i1} 0
46test_expr expr-1.17 {i1=20, i2=20} {i2>=i1} 1
47test_expr expr-1.18 {i1=20, i2=20} {i2!=i1} 0
48test_expr expr-1.19 {i1=20, i2=20} {i2=i1} 1
49test_expr expr-1.20 {i1=20, i2=20} {i2<>i1} 0
50test_expr expr-1.21 {i1=20, i2=20} {i2==i1} 1
51test_expr expr-1.22 {i1=1, i2=2, r1=3.0} {i1+i2*r1} {7}
52test_expr expr-1.23 {i1=1, i2=2, r1=3.0} {(i1+i2)*r1} {9}
53test_expr expr-1.24 {i1=1, i2=2} {min(i1,i2,i1+i2,i1-i2)} {-1}
54test_expr expr-1.25 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
55test_expr expr-1.26 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
56test_expr expr-1.27 {i1=1, i2=2} {i1==1 AND i2=2} {1}
57test_expr expr-1.28 {i1=1, i2=2} {i1=2 AND i2=1} {0}
58test_expr expr-1.29 {i1=1, i2=2} {i1=1 AND i2=1} {0}
59test_expr expr-1.30 {i1=1, i2=2} {i1=2 AND i2=2} {0}
60test_expr expr-1.31 {i1=1, i2=2} {i1==1 OR i2=2} {1}
61test_expr expr-1.32 {i1=1, i2=2} {i1=2 OR i2=1} {0}
62test_expr expr-1.33 {i1=1, i2=2} {i1=1 OR i2=1} {1}
63test_expr expr-1.34 {i1=1, i2=2} {i1=2 OR i2=2} {1}
64test_expr expr-1.35 {i1=1, i2=2} {i1-i2=-1} {1}
65test_expr expr-1.36 {i1=1, i2=0} {not i1} {0}
66test_expr expr-1.37 {i1=1, i2=0} {not i2} {1}
67test_expr expr-1.38 {i1=1} {-i1} {-1}
68test_expr expr-1.39 {i1=1} {+i1} {1}
69test_expr expr-1.40 {i1=1, i2=2} {+(i2+i1)} {3}
70test_expr expr-1.41 {i1=1, i2=2} {-(i2+i1)} {-3}
71test_expr expr-1.42 {i1=1, i2=2} {i1|i2} {3}
72test_expr expr-1.42b {i1=1, i2=2} {4|2} {6}
73test_expr expr-1.43 {i1=1, i2=2} {i1&i2} {0}
74test_expr expr-1.43b {i1=1, i2=2} {4&5} {4}
75test_expr expr-1.44 {i1=1} {~i1} {-2}
76test_expr expr-1.45 {i1=1, i2=3} {i1<<i2} {8}
77test_expr expr-1.46 {i1=32, i2=3} {i1>>i2} {4}
78test_expr expr-1.47 {i1=9999999999, i2=8888888888} {i1<i2} 0
79test_expr expr-1.48 {i1=9999999999, i2=8888888888} {i1=i2} 0
80test_expr expr-1.49 {i1=9999999999, i2=8888888888} {i1>i2} 1
81test_expr expr-1.50 {i1=99999999999, i2=99999999998} {i1<i2} 0
82test_expr expr-1.51 {i1=99999999999, i2=99999999998} {i1=i2} 0
83test_expr expr-1.52 {i1=99999999999, i2=99999999998} {i1>i2} 1
84test_expr expr-1.53 {i1=099999999999, i2=99999999999} {i1<i2} 0
85test_expr expr-1.54 {i1=099999999999, i2=99999999999} {i1=i2} 1
86test_expr expr-1.55 {i1=099999999999, i2=99999999999} {i1>i2} 0
87test_expr expr-1.56 {i1=25, i2=11} {i1%i2} 3
88test_expr expr-1.58 {i1=NULL, i2=1} {coalesce(i1+i2,99)} 99
89test_expr expr-1.59 {i1=1, i2=NULL} {coalesce(i1+i2,99)} 99
90test_expr expr-1.60 {i1=NULL, i2=NULL} {coalesce(i1+i2,99)} 99
91test_expr expr-1.61 {i1=NULL, i2=1} {coalesce(i1-i2,99)} 99
92test_expr expr-1.62 {i1=1, i2=NULL} {coalesce(i1-i2,99)} 99
93test_expr expr-1.63 {i1=NULL, i2=NULL} {coalesce(i1-i2,99)} 99
94test_expr expr-1.64 {i1=NULL, i2=1} {coalesce(i1*i2,99)} 99
95test_expr expr-1.65 {i1=1, i2=NULL} {coalesce(i1*i2,99)} 99
96test_expr expr-1.66 {i1=NULL, i2=NULL} {coalesce(i1*i2,99)} 99
97test_expr expr-1.67 {i1=NULL, i2=1} {coalesce(i1/i2,99)} 99
98test_expr expr-1.68 {i1=1, i2=NULL} {coalesce(i1/i2,99)} 99
99test_expr expr-1.69 {i1=NULL, i2=NULL} {coalesce(i1/i2,99)} 99
100test_expr expr-1.70 {i1=NULL, i2=1} {coalesce(i1<i2,99)} 99
101test_expr expr-1.71 {i1=1, i2=NULL} {coalesce(i1>i2,99)} 99
102test_expr expr-1.72 {i1=NULL, i2=NULL} {coalesce(i1<=i2,99)} 99
103test_expr expr-1.73 {i1=NULL, i2=1} {coalesce(i1>=i2,99)} 99
104test_expr expr-1.74 {i1=1, i2=NULL} {coalesce(i1!=i2,99)} 99
105test_expr expr-1.75 {i1=NULL, i2=NULL} {coalesce(i1==i2,99)} 99
106test_expr expr-1.76 {i1=NULL, i2=NULL} {coalesce(not i1,99)} 99
107test_expr expr-1.77 {i1=NULL, i2=NULL} {coalesce(-i1,99)} 99
108test_expr expr-1.78 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL AND i2=5,99)} 99
109test_expr expr-1.79 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL OR i2=5,99)} 1
110test_expr expr-1.80 {i1=NULL, i2=NULL} {coalesce(i1=5 AND i2 IS NULL,99)} 99
111test_expr expr-1.81 {i1=NULL, i2=NULL} {coalesce(i1=5 OR i2 IS NULL,99)} 1
112test_expr expr-1.82 {i1=NULL, i2=3} {coalesce(min(i1,i2,1),99)} 99
113test_expr expr-1.83 {i1=NULL, i2=3} {coalesce(max(i1,i2,1),99)} 99
114test_expr expr-1.84 {i1=3, i2=NULL} {coalesce(min(i1,i2,1),99)} 99
115test_expr expr-1.85 {i1=3, i2=NULL} {coalesce(max(i1,i2,1),99)} 99
116test_expr expr-1.86 {i1=3, i2=8} {5 between i1 and i2} 1
117test_expr expr-1.87 {i1=3, i2=8} {5 not between i1 and i2} 0
118test_expr expr-1.88 {i1=3, i2=8} {55 between i1 and i2} 0
119test_expr expr-1.89 {i1=3, i2=8} {55 not between i1 and i2} 1
120test_expr expr-1.90 {i1=3, i2=NULL} {5 between i1 and i2} {{}}
121test_expr expr-1.91 {i1=3, i2=NULL} {5 not between i1 and i2} {{}}
122test_expr expr-1.92 {i1=3, i2=NULL} {2 between i1 and i2} 0
123test_expr expr-1.93 {i1=3, i2=NULL} {2 not between i1 and i2} 1
124test_expr expr-1.94 {i1=NULL, i2=8} {2 between i1 and i2} {{}}
125test_expr expr-1.95 {i1=NULL, i2=8} {2 not between i1 and i2} {{}}
126test_expr expr-1.94 {i1=NULL, i2=8} {55 between i1 and i2} 0
127test_expr expr-1.95 {i1=NULL, i2=8} {55 not between i1 and i2} 1
128test_expr expr-1.96 {i1=NULL, i2=3} {coalesce(i1<<i2,99)} 99
129test_expr expr-1.97 {i1=32, i2=NULL} {coalesce(i1>>i2,99)} 99
130test_expr expr-1.98 {i1=NULL, i2=NULL} {coalesce(i1|i2,99)} 99
131test_expr expr-1.99 {i1=32, i2=NULL} {coalesce(i1&i2,99)} 99
132test_expr expr-1.100 {i1=1, i2=''} {i1=i2} 0
133test_expr expr-1.101 {i1=0, i2=''} {i1=i2} 0
134
135test_expr expr-2.1 {r1=1.23, r2=2.34} {r1+r2} 3.57
136test_expr expr-2.2 {r1=1.23, r2=2.34} {r1-r2} -1.11
137test_expr expr-2.3 {r1=1.23, r2=2.34} {r1*r2} 2.8782
138test_expr expr-2.4 {r1=1.23, r2=2.34} {r1/r2} 0.525641025641026
139test_expr expr-2.5 {r1=1.23, r2=2.34} {r2/r1} 1.90243902439024
140test_expr expr-2.6 {r1=1.23, r2=2.34} {r2<r1} 0
141test_expr expr-2.7 {r1=1.23, r2=2.34} {r2<=r1} 0
142test_expr expr-2.8 {r1=1.23, r2=2.34} {r2>r1} 1
143test_expr expr-2.9 {r1=1.23, r2=2.34} {r2>=r1} 1
144test_expr expr-2.10 {r1=1.23, r2=2.34} {r2!=r1} 1
145test_expr expr-2.11 {r1=1.23, r2=2.34} {r2=r1} 0
146test_expr expr-2.12 {r1=1.23, r2=2.34} {r2<>r1} 1
147test_expr expr-2.13 {r1=1.23, r2=2.34} {r2==r1} 0
148test_expr expr-2.14 {r1=2.34, r2=2.34} {r2<r1} 0
149test_expr expr-2.15 {r1=2.34, r2=2.34} {r2<=r1} 1
150test_expr expr-2.16 {r1=2.34, r2=2.34} {r2>r1} 0
151test_expr expr-2.17 {r1=2.34, r2=2.34} {r2>=r1} 1
152test_expr expr-2.18 {r1=2.34, r2=2.34} {r2!=r1} 0
153test_expr expr-2.19 {r1=2.34, r2=2.34} {r2=r1} 1
154test_expr expr-2.20 {r1=2.34, r2=2.34} {r2<>r1} 0
155test_expr expr-2.21 {r1=2.34, r2=2.34} {r2==r1} 1
156test_expr expr-2.22 {r1=1.23, r2=2.34} {min(r1,r2,r1+r2,r1-r2)} {-1.11}
157test_expr expr-2.23 {r1=1.23, r2=2.34} {max(r1,r2,r1+r2,r1-r2)} {3.57}
158test_expr expr-2.24 {r1=25.0, r2=11.0} {r1%r2} 3
159test_expr expr-2.25 {r1=1.23, r2=NULL} {coalesce(r1+r2,99.0)} 99.0
160
161test_expr expr-3.1 {t1='abc', t2='xyz'} {t1<t2} 1
162test_expr expr-3.2 {t1='xyz', t2='abc'} {t1<t2} 0
163test_expr expr-3.3 {t1='abc', t2='abc'} {t1<t2} 0
164test_expr expr-3.4 {t1='abc', t2='xyz'} {t1<=t2} 1
165test_expr expr-3.5 {t1='xyz', t2='abc'} {t1<=t2} 0
166test_expr expr-3.6 {t1='abc', t2='abc'} {t1<=t2} 1
167test_expr expr-3.7 {t1='abc', t2='xyz'} {t1>t2} 0
168test_expr expr-3.8 {t1='xyz', t2='abc'} {t1>t2} 1
169test_expr expr-3.9 {t1='abc', t2='abc'} {t1>t2} 0
170test_expr expr-3.10 {t1='abc', t2='xyz'} {t1>=t2} 0
171test_expr expr-3.11 {t1='xyz', t2='abc'} {t1>=t2} 1
172test_expr expr-3.12 {t1='abc', t2='abc'} {t1>=t2} 1
173test_expr expr-3.13 {t1='abc', t2='xyz'} {t1=t2} 0
174test_expr expr-3.14 {t1='xyz', t2='abc'} {t1=t2} 0
175test_expr expr-3.15 {t1='abc', t2='abc'} {t1=t2} 1
176test_expr expr-3.16 {t1='abc', t2='xyz'} {t1==t2} 0
177test_expr expr-3.17 {t1='xyz', t2='abc'} {t1==t2} 0
178test_expr expr-3.18 {t1='abc', t2='abc'} {t1==t2} 1
179test_expr expr-3.19 {t1='abc', t2='xyz'} {t1<>t2} 1
180test_expr expr-3.20 {t1='xyz', t2='abc'} {t1<>t2} 1
181test_expr expr-3.21 {t1='abc', t2='abc'} {t1<>t2} 0
182test_expr expr-3.22 {t1='abc', t2='xyz'} {t1!=t2} 1
183test_expr expr-3.23 {t1='xyz', t2='abc'} {t1!=t2} 1
184test_expr expr-3.24 {t1='abc', t2='abc'} {t1!=t2} 0
185test_expr expr-3.25 {t1=NULL, t2='hi'} {t1 isnull} 1
186test_expr expr-3.25b {t1=NULL, t2='hi'} {t1 is null} 1
187test_expr expr-3.26 {t1=NULL, t2='hi'} {t2 isnull} 0
188test_expr expr-3.27 {t1=NULL, t2='hi'} {t1 notnull} 0
189test_expr expr-3.28 {t1=NULL, t2='hi'} {t2 notnull} 1
190test_expr expr-3.28b {t1=NULL, t2='hi'} {t2 is not null} 1
191test_expr expr-3.29 {t1='xyz', t2='abc'} {t1||t2} {xyzabc}
192test_expr expr-3.30 {t1=NULL, t2='abc'} {t1||t2} {{}}
193test_expr expr-3.31 {t1='xyz', t2=NULL} {t1||t2} {{}}
194test_expr expr-3.32 {t1='xyz', t2='abc'} {t1||' hi '||t2} {{xyz hi abc}}
195test_expr epxr-3.33 {t1='abc', t2=NULL} {coalesce(t1<t2,99)} 99
196test_expr epxr-3.34 {t1='abc', t2=NULL} {coalesce(t2<t1,99)} 99
197test_expr epxr-3.35 {t1='abc', t2=NULL} {coalesce(t1>t2,99)} 99
198test_expr epxr-3.36 {t1='abc', t2=NULL} {coalesce(t2>t1,99)} 99
199test_expr epxr-3.37 {t1='abc', t2=NULL} {coalesce(t1<=t2,99)} 99
200test_expr epxr-3.38 {t1='abc', t2=NULL} {coalesce(t2<=t1,99)} 99
201test_expr epxr-3.39 {t1='abc', t2=NULL} {coalesce(t1>=t2,99)} 99
202test_expr epxr-3.40 {t1='abc', t2=NULL} {coalesce(t2>=t1,99)} 99
203test_expr epxr-3.41 {t1='abc', t2=NULL} {coalesce(t1==t2,99)} 99
204test_expr epxr-3.42 {t1='abc', t2=NULL} {coalesce(t2==t1,99)} 99
205test_expr epxr-3.43 {t1='abc', t2=NULL} {coalesce(t1!=t2,99)} 99
206test_expr epxr-3.44 {t1='abc', t2=NULL} {coalesce(t2!=t1,99)} 99
207
208
209test_expr expr-4.1 {t1='abc', t2='Abc'} {t1<t2} 0
210test_expr expr-4.2 {t1='abc', t2='Abc'} {t1>t2} 1
211test_expr expr-4.3 {t1='abc', t2='Bbc'} {t1<t2} 0
212test_expr expr-4.4 {t1='abc', t2='Bbc'} {t1>t2} 1
213test_expr expr-4.5 {t1='0', t2='0.0'} {t1==t2} 0
214test_expr expr-4.6 {t1='0.000', t2='0.0'} {t1==t2} 0
215test_expr expr-4.7 {t1=' 0.000', t2=' 0.0'} {t1==t2} 0
216test_expr expr-4.8 {t1='0.0', t2='abc'} {t1<t2} 1
217test_expr expr-4.9 {t1='0.0', t2='abc'} {t1==t2} 0
218test_expr expr-4.10 {r1='0.0', r2='abc'} {r1>r2} 0
219test_expr expr-4.11 {r1='abc', r2='Abc'} {r1<r2} 0
220test_expr expr-4.12 {r1='abc', r2='Abc'} {r1>r2} 1
221test_expr expr-4.13 {r1='abc', r2='Bbc'} {r1<r2} 0
222test_expr expr-4.14 {r1='abc', r2='Bbc'} {r1>r2} 1
223test_expr expr-4.15 {r1='0', r2='0.0'} {r1==r2} 1
224test_expr expr-4.16 {r1='0.000', r2='0.0'} {r1==r2} 1
225test_expr expr-4.17 {r1=' 0.000', r2=' 0.0'} {r1==r2} 0
226test_expr expr-4.18 {r1='0.0', r2='abc'} {r1<r2} 1
227test_expr expr-4.19 {r1='0.0', r2='abc'} {r1==r2} 0
228test_expr expr-4.20 {r1='0.0', r2='abc'} {r1>r2} 0
229
230test_expr expr-5.1 {t1='abc', t2='xyz'} {t1 LIKE t2} 0
231test_expr expr-5.2 {t1='abc', t2='ABC'} {t1 LIKE t2} 1
232test_expr expr-5.3 {t1='abc', t2='A_C'} {t1 LIKE t2} 1
233test_expr expr-5.4 {t1='abc', t2='abc_'} {t1 LIKE t2} 0
234test_expr expr-5.5 {t1='abc', t2='A%C'} {t1 LIKE t2} 1
235test_expr expr-5.5b {t1='ac', t2='A%C'} {t1 LIKE t2} 1
236test_expr expr-5.6 {t1='abxyzzyc', t2='A%C'} {t1 LIKE t2} 1
237test_expr expr-5.7 {t1='abxyzzy', t2='A%C'} {t1 LIKE t2} 0
238test_expr expr-5.8 {t1='abxyzzycx', t2='A%C'} {t1 LIKE t2} 0
239test_expr expr-5.8b {t1='abxyzzycy', t2='A%CX'} {t1 LIKE t2} 0
240test_expr expr-5.9 {t1='abc', t2='A%_C'} {t1 LIKE t2} 1
241test_expr expr-5.9b {t1='ac', t2='A%_C'} {t1 LIKE t2} 0
242test_expr expr-5.10 {t1='abxyzzyc', t2='A%_C'} {t1 LIKE t2} 1
243test_expr expr-5.11 {t1='abc', t2='xyz'} {t1 NOT LIKE t2} 1
244test_expr expr-5.12 {t1='abc', t2='ABC'} {t1 NOT LIKE t2} 0
245
246# The following tests only work on versions of TCL that support
247# Unicode and SQLite configured for UTF-8 support.
248#
249if {"\u1234"!="u1234" && [sqlite -encoding]=="UTF-8"} {
250  test_expr expr-5.13 "t1='a\u0080c', t2='A_C'" {t1 LIKE t2} 1
251  test_expr expr-5.14 "t1='a\u07FFc', t2='A_C'" {t1 LIKE t2} 1
252  test_expr expr-5.15 "t1='a\u0800c', t2='A_C'" {t1 LIKE t2} 1
253  test_expr expr-5.16 "t1='a\uFFFFc', t2='A_C'" {t1 LIKE t2} 1
254  test_expr expr-5.17 "t1='a\u0080', t2='A__'" {t1 LIKE t2} 0
255  test_expr expr-5.18 "t1='a\u07FF', t2='A__'" {t1 LIKE t2} 0
256  test_expr expr-5.19 "t1='a\u0800', t2='A__'" {t1 LIKE t2} 0
257  test_expr expr-5.20 "t1='a\uFFFF', t2='A__'" {t1 LIKE t2} 0
258  test_expr expr-5.21 "t1='ax\uABCD', t2='A_\uABCD'" {t1 LIKE t2} 1
259  test_expr expr-5.22 "t1='ax\u1234', t2='A%\u1234'" {t1 LIKE t2} 1
260  test_expr expr-5.23 "t1='ax\uFEDC', t2='A_%'" {t1 LIKE t2} 1
261  test_expr expr-5.24 "t1='ax\uFEDCy\uFEDC', t2='A%\uFEDC'" {t1 LIKE t2} 1
262}
263
264# Theses tests are for when SQLite assumes iso8859 characters.
265#
266if {[sqlite -encoding]=="iso8859"} {
267  set go 1
268  if {[info command encoding]!=""} {
269    if {[catch {encoding system iso8859-1} msg]} {
270      puts "skipping tests of LIKE operator: $msg"
271      set go 0
272    }
273  }
274  if {$go} {
275    test_expr expr-5.50 "t1='a\266c', t2='A_C'"  {t1 LIKE t2} 1
276    test_expr expr-5.51 "t1='a\347', t2='A_'"  {t1 LIKE t2} 1
277    test_expr expr-5.52 "t1='ax\351', t2='A_\351'"  {t1 LIKE t2} 1
278    test_expr expr-5.53 "t1='ax\241', t2='A_%'"  {t1 LIKE t2} 1
279  }
280}
281test_expr expr-5.54 {t1='abc', t2=NULL} {t1 LIKE t2} {{}}
282test_expr expr-5.55 {t1='abc', t2=NULL} {t1 NOT LIKE t2} {{}}
283test_expr expr-5.56 {t1='abc', t2=NULL} {t2 LIKE t1} {{}}
284test_expr expr-5.57 {t1='abc', t2=NULL} {t2 NOT LIKE t1} {{}}
285
286
287test_expr expr-6.1 {t1='abc', t2='xyz'} {t1 GLOB t2} 0
288test_expr expr-6.2 {t1='abc', t2='ABC'} {t1 GLOB t2} 0
289test_expr expr-6.3 {t1='abc', t2='A?C'} {t1 GLOB t2} 0
290test_expr expr-6.4 {t1='abc', t2='a?c'} {t1 GLOB t2} 1
291test_expr expr-6.5 {t1='abc', t2='abc?'} {t1 GLOB t2} 0
292test_expr expr-6.6 {t1='abc', t2='A*C'} {t1 GLOB t2} 0
293test_expr expr-6.7 {t1='abc', t2='a*c'} {t1 GLOB t2} 1
294test_expr expr-6.8 {t1='abxyzzyc', t2='a*c'} {t1 GLOB t2} 1
295test_expr expr-6.9 {t1='abxyzzy', t2='a*c'} {t1 GLOB t2} 0
296test_expr expr-6.10 {t1='abxyzzycx', t2='a*c'} {t1 GLOB t2} 0
297test_expr expr-6.11 {t1='abc', t2='xyz'} {t1 NOT GLOB t2} 1
298test_expr expr-6.12 {t1='abc', t2='abc'} {t1 NOT GLOB t2} 0
299test_expr expr-6.13 {t1='abc', t2='a[bx]c'} {t1 GLOB t2} 1
300test_expr expr-6.14 {t1='abc', t2='a[cx]c'} {t1 GLOB t2} 0
301test_expr expr-6.15 {t1='abc', t2='a[a-d]c'} {t1 GLOB t2} 1
302test_expr expr-6.16 {t1='abc', t2='a[^a-d]c'} {t1 GLOB t2} 0
303test_expr expr-6.17 {t1='abc', t2='a[A-Dc]c'} {t1 GLOB t2} 0
304test_expr expr-6.18 {t1='abc', t2='a[^A-Dc]c'} {t1 GLOB t2} 1
305test_expr expr-6.19 {t1='abc', t2='a[]b]c'} {t1 GLOB t2} 1
306test_expr expr-6.20 {t1='abc', t2='a[^]b]c'} {t1 GLOB t2} 0
307test_expr expr-6.21a {t1='abcdefg', t2='a*[de]g'} {t1 GLOB t2} 0
308test_expr expr-6.21b {t1='abcdefg', t2='a*[df]g'} {t1 GLOB t2} 1
309test_expr expr-6.21c {t1='abcdefg', t2='a*[d-h]g'} {t1 GLOB t2} 1
310test_expr expr-6.21d {t1='abcdefg', t2='a*[b-e]g'} {t1 GLOB t2} 0
311test_expr expr-6.22a {t1='abcdefg', t2='a*[^de]g'} {t1 GLOB t2} 1
312test_expr expr-6.22b {t1='abcdefg', t2='a*[^def]g'} {t1 GLOB t2} 0
313test_expr expr-6.23 {t1='abcdefg', t2='a*?g'} {t1 GLOB t2} 1
314test_expr expr-6.24 {t1='ac', t2='a*c'} {t1 GLOB t2} 1
315test_expr expr-6.25 {t1='ac', t2='a*?c'} {t1 GLOB t2} 0
316
317
318# These tests only work on versions of TCL that support Unicode
319#
320if {"\u1234"!="u1234" && [sqlite -encoding]=="UTF-8"} {
321  test_expr expr-6.26 "t1='a\u0080c', t2='a?c'" {t1 GLOB t2} 1
322  test_expr expr-6.27 "t1='a\u07ffc', t2='a?c'" {t1 GLOB t2} 1
323  test_expr expr-6.28 "t1='a\u0800c', t2='a?c'" {t1 GLOB t2} 1
324  test_expr expr-6.29 "t1='a\uffffc', t2='a?c'" {t1 GLOB t2} 1
325  test_expr expr-6.30 "t1='a\u1234', t2='a?'" {t1 GLOB t2} 1
326  test_expr expr-6.31 "t1='a\u1234', t2='a??'" {t1 GLOB t2} 0
327  test_expr expr-6.32 "t1='ax\u1234', t2='a?\u1234'" {t1 GLOB t2} 1
328  test_expr expr-6.33 "t1='ax\u1234', t2='a*\u1234'" {t1 GLOB t2} 1
329  test_expr expr-6.34 "t1='ax\u1234y\u1234', t2='a*\u1234'" {t1 GLOB t2} 1
330  test_expr expr-6.35 "t1='a\u1234b', t2='a\[x\u1234y\]b'" {t1 GLOB t2} 1
331  test_expr expr-6.36 "t1='a\u1234b', t2='a\[\u1233-\u1235\]b'" {t1 GLOB t2} 1
332  test_expr expr-6.37 "t1='a\u1234b', t2='a\[\u1234-\u124f\]b'" {t1 GLOB t2} 1
333  test_expr expr-6.38 "t1='a\u1234b', t2='a\[\u1235-\u124f\]b'" {t1 GLOB t2} 0
334  test_expr expr-6.39 "t1='a\u1234b', t2='a\[a-\u1235\]b'" {t1 GLOB t2} 1
335  test_expr expr-6.40 "t1='a\u1234b', t2='a\[a-\u1234\]b'" {t1 GLOB t2} 1
336  test_expr expr-6.41 "t1='a\u1234b', t2='a\[a-\u1233\]b'" {t1 GLOB t2} 0
337}
338
339test_expr expr-6.51 {t1='ABC', t2='xyz'} {t1 GLOB t2} 0
340test_expr expr-6.52 {t1='ABC', t2='abc'} {t1 GLOB t2} 0
341test_expr expr-6.53 {t1='ABC', t2='a?c'} {t1 GLOB t2} 0
342test_expr expr-6.54 {t1='ABC', t2='A?C'} {t1 GLOB t2} 1
343test_expr expr-6.55 {t1='ABC', t2='abc?'} {t1 GLOB t2} 0
344test_expr expr-6.56 {t1='ABC', t2='a*c'} {t1 GLOB t2} 0
345test_expr expr-6.57 {t1='ABC', t2='A*C'} {t1 GLOB t2} 1
346test_expr expr-6.58 {t1='ABxyzzyC', t2='A*C'} {t1 GLOB t2} 1
347test_expr expr-6.59 {t1='ABxyzzy', t2='A*C'} {t1 GLOB t2} 0
348test_expr expr-6.60 {t1='ABxyzzyCx', t2='A*C'} {t1 GLOB t2} 0
349test_expr expr-6.61 {t1='ABC', t2='xyz'} {t1 NOT GLOB t2} 1
350test_expr expr-6.62 {t1='ABC', t2='ABC'} {t1 NOT GLOB t2} 0
351test_expr expr-6.63 {t1='ABC', t2='A[Bx]C'} {t1 GLOB t2} 1
352test_expr expr-6.64 {t1='ABC', t2='A[Cx]C'} {t1 GLOB t2} 0
353test_expr expr-6.65 {t1='ABC', t2='A[A-D]C'} {t1 GLOB t2} 1
354test_expr expr-6.66 {t1='ABC', t2='A[^A-D]C'} {t1 GLOB t2} 0
355test_expr expr-6.67 {t1='ABC', t2='A[a-dC]C'} {t1 GLOB t2} 0
356test_expr expr-6.68 {t1='ABC', t2='A[^a-dC]C'} {t1 GLOB t2} 1
357test_expr expr-6.69a {t1='ABC', t2='A[]B]C'} {t1 GLOB t2} 1
358test_expr expr-6.69b {t1='A]C', t2='A[]B]C'} {t1 GLOB t2} 1
359test_expr expr-6.70a {t1='ABC', t2='A[^]B]C'} {t1 GLOB t2} 0
360test_expr expr-6.70b {t1='AxC', t2='A[^]B]C'} {t1 GLOB t2} 1
361test_expr expr-6.70c {t1='A]C', t2='A[^]B]C'} {t1 GLOB t2} 0
362test_expr expr-6.71 {t1='ABCDEFG', t2='A*[DE]G'} {t1 GLOB t2} 0
363test_expr expr-6.72 {t1='ABCDEFG', t2='A*[^DE]G'} {t1 GLOB t2} 1
364test_expr expr-6.73 {t1='ABCDEFG', t2='A*?G'} {t1 GLOB t2} 1
365test_expr expr-6.74 {t1='AC', t2='A*C'} {t1 GLOB t2} 1
366test_expr expr-6.75 {t1='AC', t2='A*?C'} {t1 GLOB t2} 0
367
368# Theses tests are for when SQLite assumes iso8859 characters.
369#
370if {[sqlite -encoding]=="iso8859"} {
371  set go 1
372  if {[info command encoding]!=""} {
373    if {[catch {encoding system iso8859-1} msg]} {
374      puts "skipping tests of GLOB operator: $msg"
375      set go 0
376    }
377  }
378  if {$go} {
379    test_expr expr-6.50 "t1='a\266c', t2='a?c'" {t1 GLOB t2} 1
380    test_expr expr-6.51 "t1='a\266', t2='a?'" {t1 GLOB t2} 1
381    test_expr expr-6.52 "t1='a\266', t2='a??'" {t1 GLOB t2} 0
382    test_expr expr-6.53 "t1='ax\266', t2='a??'" {t1 GLOB t2} 1
383    test_expr expr-6.54 "t1='ax\266', t2='a?\266'" {t1 GLOB t2} 1
384    test_expr expr-6.55 "t1='ax\266y\266', t2='a*\266'" {t1 GLOB t2} 1
385    test_expr expr-6.56 "t1='a\266b', t2='a\[x\266y\]b'" {t1 GLOB t2} 1
386    test_expr expr-6.57 "t1='a\266b', t2='a\[\260-\270\]b'" {t1 GLOB t2} 1
387    test_expr expr-6.58 "t1='a\266b', t2='a\[\266-\270\]b'" {t1 GLOB t2} 1
388    test_expr expr-6.59 "t1='a\266b', t2='a\[\267-\270\]b'" {t1 GLOB t2} 0
389    test_expr expr-6.60 "t1='a\266b', t2='a\[x-\267\]b'" {t1 GLOB t2} 1
390    test_expr expr-6.61 "t1='a\266b', t2='a\[x-\266\]b'" {t1 GLOB t2} 1
391    test_expr expr-6.62 "t1='a\266b', t2='a\[x-\265\]b'" {t1 GLOB t2} 0
392  }
393}
394test_expr expr-6.63 {t1=NULL, t2='a*?c'} {t1 GLOB t2} {{}}
395test_expr expr-6.64 {t1='ac', t2=NULL} {t1 GLOB t2} {{}}
396test_expr expr-6.65 {t1=NULL, t2='a*?c'} {t1 NOT GLOB t2} {{}}
397test_expr expr-6.66 {t1='ac', t2=NULL} {t1 NOT GLOB t2} {{}}
398
399test_expr expr-case.1 {i1=1, i2=2} \
400	{CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
401test_expr expr-case.2 {i1=2, i2=2} \
402	{CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} eq
403test_expr expr-case.3 {i1=NULL, i2=2} \
404	{CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
405test_expr expr-case.4 {i1=2, i2=NULL} \
406	{CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
407test_expr expr-case.5 {i1=2} \
408	{CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} two
409test_expr expr-case.6 {i1=1} \
410	{CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} one
411test_expr expr-case.7 {i1=2} \
412	{CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error
413test_expr expr-case.8 {i1=3} \
414	{CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error
415test_expr expr-case.9 {i1=3} \
416	{CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} error
417test_expr expr-case.10 {i1=3} \
418	{CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' END} {{}}
419test_expr expr-case.11 {i1=null} \
420	{CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 3 END} 3
421test_expr expr-case.12 {i1=1} \
422	{CASE i1 WHEN 1 THEN null WHEN 2 THEN 'two' ELSE 3 END} {{}}
423test_expr expr-case.13 {i1=7} \
424	{ CASE WHEN i1 < 5 THEN 'low'
425	       WHEN i1 < 10 THEN 'medium'
426               WHEN i1 < 15 THEN 'high' ELSE 'error' END} medium
427
428
429# The sqliteExprIfFalse and sqliteExprIfTrue routines are only
430# executed as part of a WHERE clause.  Create a table suitable
431# for testing these functions.
432#
433execsql {DROP TABLE test1}
434execsql {CREATE TABLE test1(a int, b int);}
435for {set i 1} {$i<=20} {incr i} {
436  execsql "INSERT INTO test1 VALUES($i,[expr {int(pow(2,$i))}])"
437}
438execsql "INSERT INTO test1 VALUES(NULL,0)"
439do_test expr-7.1 {
440  execsql {SELECT * FROM test1 ORDER BY a}
441} {{} 0 1 2 2 4 3 8 4 16 5 32 6 64 7 128 8 256 9 512 10 1024 11 2048 12 4096 13 8192 14 16384 15 32768 16 65536 17 131072 18 262144 19 524288 20 1048576}
442
443proc test_expr2 {name expr result} {
444  do_test $name [format {
445    execsql {SELECT a FROM test1 WHERE %s ORDER BY a}
446  } $expr] $result
447}
448
449test_expr2 expr-7.2  {a<10 AND a>8}                  {9}
450test_expr2 expr-7.3  {a<=10 AND a>=8}                {8 9 10}
451test_expr2 expr-7.4  {a>=8 AND a<=10}                {8 9 10}
452test_expr2 expr-7.5  {a>=20 OR a<=1}                 {1 20}
453test_expr2 expr-7.6  {b!=4 AND a<=3}                 {1 3}
454test_expr2 expr-7.7  {b==8 OR b==16 OR b==32}        {3 4 5}
455test_expr2 expr-7.8  {NOT b<>8 OR b==1024}           {3 10}
456test_expr2 expr-7.9  {b LIKE '10%'}                  {10 20}
457test_expr2 expr-7.10 {b LIKE '_4'}                   {6}
458test_expr2 expr-7.11 {a GLOB '1?'}            {10 11 12 13 14 15 16 17 18 19}
459test_expr2 expr-7.12 {b GLOB '1*4'}                  {10 14}
460test_expr2 expr-7.13 {b GLOB '*1[456]'}              {4}
461test_expr2 expr-7.14 {a ISNULL}                      {{}}
462test_expr2 expr-7.15 {a NOTNULL AND a<3}             {1 2}
463test_expr2 expr-7.16 {a AND a<3}                     {1 2}
464test_expr2 expr-7.17 {NOT a}                         {}
465test_expr2 expr-7.18 {a==11 OR (b>1000 AND b<2000)}  {10 11}
466test_expr2 expr-7.19 {a<=1 OR a>=20}                 {1 20}
467test_expr2 expr-7.20 {a<1 OR a>20}                   {}
468test_expr2 expr-7.21 {a>19 OR a<1}                   {20}
469test_expr2 expr-7.22 {a!=1 OR a=100} \
470                         {2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
471test_expr2 expr-7.23 {(a notnull AND a<4) OR a==8}   {1 2 3 8}
472test_expr2 expr-7.24 {a LIKE '2_' OR a==8}           {8 20}
473test_expr2 expr-7.25 {a GLOB '2?' OR a==8}           {8 20}
474test_expr2 expr-7.26 {a isnull OR a=8}               {{} 8}
475test_expr2 expr-7.27 {a notnull OR a=8} \
476                          {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
477test_expr2 expr-7.28 {a<0 OR b=0} {{}}
478test_expr2 expr-7.29 {b=0 OR a<0} {{}}
479test_expr2 expr-7.30 {a<0 AND b=0} {}
480test_expr2 expr-7.31 {b=0 AND a<0} {}
481test_expr2 expr-7.32 {a IS NULL AND (a<0 OR b=0)} {{}}
482test_expr2 expr-7.33 {a IS NULL AND (b=0 OR a<0)} {{}}
483test_expr2 expr-7.34 {a IS NULL AND (a<0 AND b=0)} {}
484test_expr2 expr-7.35 {a IS NULL AND (b=0 AND a<0)} {}
485test_expr2 expr-7.32 {(a<0 OR b=0) AND a IS NULL} {{}}
486test_expr2 expr-7.33 {(b=0 OR a<0) AND a IS NULL} {{}}
487test_expr2 expr-7.34 {(a<0 AND b=0) AND a IS NULL} {}
488test_expr2 expr-7.35 {(b=0 AND a<0) AND a IS NULL} {}
489test_expr2 expr-7.36 {a<2 OR (a<0 OR b=0)} {{} 1}
490test_expr2 expr-7.37 {a<2 OR (b=0 OR a<0)} {{} 1}
491test_expr2 expr-7.38 {a<2 OR (a<0 AND b=0)} {1}
492test_expr2 expr-7.39 {a<2 OR (b=0 AND a<0)} {1}
493test_expr2 expr-7.40 {((a<2 OR a IS NULL) AND b<3) OR b>1e10} {{} 1}
494test_expr2 expr-7.41 {a BETWEEN -1 AND 1} {1}
495test_expr2 expr-7.42 {a NOT BETWEEN 2 AND 100} {1}
496test_expr2 expr-7.43 {(b+1234)||'this is a string that is at least 32 characters long' BETWEEN 1 AND 2} {}
497test_expr2 expr-7.44 {123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a BETWEEN '123a' AND '123b'} {}
498test_expr2 expr-7.45 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123b')<0} {}
499test_expr2 expr-7.46 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123z')>0} {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
500
501test_expr2 expr-7.50 {((a between 1 and 2 OR 0) AND 1) OR 0} {1 2}
502test_expr2 expr-7.51 {((a not between 3 and 100 OR 0) AND 1) OR 0} {1 2}
503test_expr2 expr-7.52 {((a in (1,2) OR 0) AND 1) OR 0} {1 2}
504test_expr2 expr-7.53 {((a not in (3,4,5,6,7,8,9,10) OR 0) AND a<11) OR 0} {1 2}
505test_expr2 expr-7.54 {((a>0 OR 0) AND a<3) OR 0} {1 2}
506test_expr2 expr-7.55 {((a in (1,2) OR 0) IS NULL AND 1) OR 0} {{}}
507test_expr2 expr-7.56 {((a not in (3,4,5,6,7,8,9,10) IS NULL OR 0) AND 1) OR 0} \
508   {{}}
509test_expr2 expr-7.57 {((a>0 IS NULL OR 0) AND 1) OR 0} {{}}
510
511test_expr2 expr-7.58  {(a||'')<='1'}                  {1}
512
513test_expr2 expr-7.59 {LIKE('10%',b)}                  {10 20}
514test_expr2 expr-7.60 {LIKE('_4',b)}                   {6}
515test_expr2 expr-7.61 {GLOB('1?',a)}            {10 11 12 13 14 15 16 17 18 19}
516test_expr2 expr-7.62 {GLOB('1*4',b)}                  {10 14}
517test_expr2 expr-7.63 {GLOB('*1[456]',b)}              {4}
518
519
520finish_test
521