Annotation of embedaddon/sqlite3/test/expr.test, revision 1.1.1.1
1.1 misho 1: # 2001 September 15
2: #
3: # The author disclaims copyright to this source code. In place of
4: # a legal notice, here is a blessing:
5: #
6: # May you do good and not evil.
7: # May you find forgiveness for yourself and forgive others.
8: # May you share freely, never taking more than you give.
9: #
10: #***********************************************************************
11: # This file implements regression tests for SQLite library. The
12: # focus of this file is testing expressions.
13: #
14: # $Id: expr.test,v 1.67 2009/02/04 03:59:25 shane Exp $
15:
16: set testdir [file dirname $argv0]
17: source $testdir/tester.tcl
18:
19: # Create a table to work with.
20: #
21: ifcapable floatingpoint {
22: execsql {CREATE TABLE test1(i1 int, i2 int, r1 real, r2 real, t1 text, t2 text)}
23: execsql {INSERT INTO test1 VALUES(1,2,1.1,2.2,'hello','world')}
24: }
25: ifcapable !floatingpoint {
26: execsql {CREATE TABLE test1(i1 int, i2 int, t1 text, t2 text)}
27: execsql {INSERT INTO test1 VALUES(1,2,'hello','world')}
28: }
29:
30: proc test_expr {name settings expr result} {
31: do_test $name [format {
32: execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
33: } $settings $expr] $result
34: }
35: proc test_realnum_expr {name settings expr result} {
36: do_realnum_test $name [format {
37: execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
38: } $settings $expr] $result
39: }
40:
41: test_expr expr-1.1 {i1=10, i2=20} {i1+i2} 30
42: test_expr expr-1.2 {i1=10, i2=20} {i1-i2} -10
43: test_expr expr-1.3 {i1=10, i2=20} {i1*i2} 200
44: test_expr expr-1.4 {i1=10, i2=20} {i1/i2} 0
45: test_expr expr-1.5 {i1=10, i2=20} {i2/i1} 2
46: test_expr expr-1.6 {i1=10, i2=20} {i2<i1} 0
47: test_expr expr-1.7 {i1=10, i2=20} {i2<=i1} 0
48: test_expr expr-1.8 {i1=10, i2=20} {i2>i1} 1
49: test_expr expr-1.9 {i1=10, i2=20} {i2>=i1} 1
50: test_expr expr-1.10 {i1=10, i2=20} {i2!=i1} 1
51: test_expr expr-1.11 {i1=10, i2=20} {i2=i1} 0
52: test_expr expr-1.12 {i1=10, i2=20} {i2<>i1} 1
53: test_expr expr-1.13 {i1=10, i2=20} {i2==i1} 0
54: test_expr expr-1.14 {i1=20, i2=20} {i2<i1} 0
55: test_expr expr-1.15 {i1=20, i2=20} {i2<=i1} 1
56: test_expr expr-1.16 {i1=20, i2=20} {i2>i1} 0
57: test_expr expr-1.17 {i1=20, i2=20} {i2>=i1} 1
58: test_expr expr-1.18 {i1=20, i2=20} {i2!=i1} 0
59: test_expr expr-1.19 {i1=20, i2=20} {i2=i1} 1
60: test_expr expr-1.20 {i1=20, i2=20} {i2<>i1} 0
61: test_expr expr-1.21 {i1=20, i2=20} {i2==i1} 1
62: ifcapable floatingpoint {
63: test_expr expr-1.22 {i1=1, i2=2, r1=3.0} {i1+i2*r1} {7.0}
64: test_expr expr-1.23 {i1=1, i2=2, r1=3.0} {(i1+i2)*r1} {9.0}
65: }
66: test_expr expr-1.24 {i1=1, i2=2} {min(i1,i2,i1+i2,i1-i2)} {-1}
67: test_expr expr-1.25 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
68: test_expr expr-1.26 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
69: test_expr expr-1.27 {i1=1, i2=2} {i1==1 AND i2=2} {1}
70: test_expr expr-1.28 {i1=1, i2=2} {i1=2 AND i2=1} {0}
71: test_expr expr-1.29 {i1=1, i2=2} {i1=1 AND i2=1} {0}
72: test_expr expr-1.30 {i1=1, i2=2} {i1=2 AND i2=2} {0}
73: test_expr expr-1.31 {i1=1, i2=2} {i1==1 OR i2=2} {1}
74: test_expr expr-1.32 {i1=1, i2=2} {i1=2 OR i2=1} {0}
75: test_expr expr-1.33 {i1=1, i2=2} {i1=1 OR i2=1} {1}
76: test_expr expr-1.34 {i1=1, i2=2} {i1=2 OR i2=2} {1}
77: test_expr expr-1.35 {i1=1, i2=2} {i1-i2=-1} {1}
78: test_expr expr-1.36 {i1=1, i2=0} {not i1} {0}
79: test_expr expr-1.37 {i1=1, i2=0} {not i2} {1}
80: test_expr expr-1.38 {i1=1} {-i1} {-1}
81: test_expr expr-1.39 {i1=1} {+i1} {1}
82: test_expr expr-1.40 {i1=1, i2=2} {+(i2+i1)} {3}
83: test_expr expr-1.41 {i1=1, i2=2} {-(i2+i1)} {-3}
84: test_expr expr-1.42 {i1=1, i2=2} {i1|i2} {3}
85: test_expr expr-1.42b {i1=1, i2=2} {4|2} {6}
86: test_expr expr-1.43 {i1=1, i2=2} {i1&i2} {0}
87: test_expr expr-1.43b {i1=1, i2=2} {4&5} {4}
88: test_expr expr-1.44 {i1=1} {~i1} {-2}
89: test_expr expr-1.44b {i1=NULL} {~i1} {{}}
90: test_expr expr-1.45a {i1=1, i2=3} {i1<<i2} {8}
91: test_expr expr-1.45b {i1=1, i2=-3} {i1>>i2} {8}
92: test_expr expr-1.45c {i1=1, i2=0} {i1<<i2} {1}
93: test_expr expr-1.45d {i1=1, i2=62} {i1<<i2} {4611686018427387904}
94: test_expr expr-1.45e {i1=1, i2=63} {i1<<i2} {-9223372036854775808}
95: test_expr expr-1.45f {i1=1, i2=64} {i1<<i2} {0}
96: test_expr expr-1.45g {i1=32, i2=-9223372036854775808} {i1>>i2} {0}
97: test_expr expr-1.46a {i1=32, i2=3} {i1>>i2} {4}
98: test_expr expr-1.46b {i1=32, i2=6} {i1>>i2} {0}
99: test_expr expr-1.46c {i1=-32, i2=3} {i1>>i2} {-4}
100: test_expr expr-1.46d {i1=-32, i2=100} {i1>>i2} {-1}
101: test_expr expr-1.46e {i1=32, i2=-3} {i1>>i2} {256}
102: test_expr expr-1.47 {i1=9999999999, i2=8888888888} {i1<i2} 0
103: test_expr expr-1.48 {i1=9999999999, i2=8888888888} {i1=i2} 0
104: test_expr expr-1.49 {i1=9999999999, i2=8888888888} {i1>i2} 1
105: test_expr expr-1.50 {i1=99999999999, i2=99999999998} {i1<i2} 0
106: test_expr expr-1.51 {i1=99999999999, i2=99999999998} {i1=i2} 0
107: test_expr expr-1.52 {i1=99999999999, i2=99999999998} {i1>i2} 1
108: test_expr expr-1.53 {i1=099999999999, i2=99999999999} {i1<i2} 0
109: test_expr expr-1.54 {i1=099999999999, i2=99999999999} {i1=i2} 1
110: test_expr expr-1.55 {i1=099999999999, i2=99999999999} {i1>i2} 0
111: test_expr expr-1.56 {i1=25, i2=11} {i1%i2} 3
112: test_expr expr-1.58 {i1=NULL, i2=1} {coalesce(i1+i2,99)} 99
113: test_expr expr-1.59 {i1=1, i2=NULL} {coalesce(i1+i2,99)} 99
114: test_expr expr-1.60 {i1=NULL, i2=NULL} {coalesce(i1+i2,99)} 99
115: test_expr expr-1.61 {i1=NULL, i2=1} {coalesce(i1-i2,99)} 99
116: test_expr expr-1.62 {i1=1, i2=NULL} {coalesce(i1-i2,99)} 99
117: test_expr expr-1.63 {i1=NULL, i2=NULL} {coalesce(i1-i2,99)} 99
118: test_expr expr-1.64 {i1=NULL, i2=1} {coalesce(i1*i2,99)} 99
119: test_expr expr-1.65 {i1=1, i2=NULL} {coalesce(i1*i2,99)} 99
120: test_expr expr-1.66 {i1=NULL, i2=NULL} {coalesce(i1*i2,99)} 99
121: test_expr expr-1.67 {i1=NULL, i2=1} {coalesce(i1/i2,99)} 99
122: test_expr expr-1.68 {i1=1, i2=NULL} {coalesce(i1/i2,99)} 99
123: test_expr expr-1.69 {i1=NULL, i2=NULL} {coalesce(i1/i2,99)} 99
124: test_expr expr-1.70 {i1=NULL, i2=1} {coalesce(i1<i2,99)} 99
125: test_expr expr-1.71 {i1=1, i2=NULL} {coalesce(i1>i2,99)} 99
126: test_expr expr-1.72 {i1=NULL, i2=NULL} {coalesce(i1<=i2,99)} 99
127: test_expr expr-1.73 {i1=NULL, i2=1} {coalesce(i1>=i2,99)} 99
128: test_expr expr-1.74 {i1=1, i2=NULL} {coalesce(i1!=i2,99)} 99
129: test_expr expr-1.75 {i1=NULL, i2=NULL} {coalesce(i1==i2,99)} 99
130: test_expr expr-1.76 {i1=NULL, i2=NULL} {coalesce(not i1,99)} 99
131: test_expr expr-1.77 {i1=NULL, i2=NULL} {coalesce(-i1,99)} 99
132: test_expr expr-1.78 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL AND i2=5,99)} 99
133: test_expr expr-1.79 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL OR i2=5,99)} 1
134: test_expr expr-1.80 {i1=NULL, i2=NULL} {coalesce(i1=5 AND i2 IS NULL,99)} 99
135: test_expr expr-1.81 {i1=NULL, i2=NULL} {coalesce(i1=5 OR i2 IS NULL,99)} 1
136: test_expr expr-1.82 {i1=NULL, i2=3} {coalesce(min(i1,i2,1),99)} 99
137: test_expr expr-1.83 {i1=NULL, i2=3} {coalesce(max(i1,i2,1),99)} 99
138: test_expr expr-1.84 {i1=3, i2=NULL} {coalesce(min(i1,i2,1),99)} 99
139: test_expr expr-1.85 {i1=3, i2=NULL} {coalesce(max(i1,i2,1),99)} 99
140: test_expr expr-1.86 {i1=3, i2=8} {5 between i1 and i2} 1
141: test_expr expr-1.87 {i1=3, i2=8} {5 not between i1 and i2} 0
142: test_expr expr-1.88 {i1=3, i2=8} {55 between i1 and i2} 0
143: test_expr expr-1.89 {i1=3, i2=8} {55 not between i1 and i2} 1
144: test_expr expr-1.90 {i1=3, i2=NULL} {5 between i1 and i2} {{}}
145: test_expr expr-1.91 {i1=3, i2=NULL} {5 not between i1 and i2} {{}}
146: test_expr expr-1.92 {i1=3, i2=NULL} {2 between i1 and i2} 0
147: test_expr expr-1.93 {i1=3, i2=NULL} {2 not between i1 and i2} 1
148: test_expr expr-1.94 {i1=NULL, i2=8} {2 between i1 and i2} {{}}
149: test_expr expr-1.95 {i1=NULL, i2=8} {2 not between i1 and i2} {{}}
150: test_expr expr-1.94 {i1=NULL, i2=8} {55 between i1 and i2} 0
151: test_expr expr-1.95 {i1=NULL, i2=8} {55 not between i1 and i2} 1
152: test_expr expr-1.96 {i1=NULL, i2=3} {coalesce(i1<<i2,99)} 99
153: test_expr expr-1.97 {i1=32, i2=NULL} {coalesce(i1>>i2,99)} 99
154: test_expr expr-1.98 {i1=NULL, i2=NULL} {coalesce(i1|i2,99)} 99
155: test_expr expr-1.99 {i1=32, i2=NULL} {coalesce(i1&i2,99)} 99
156: test_expr expr-1.100 {i1=1, i2=''} {i1=i2} 0
157: test_expr expr-1.101 {i1=0, i2=''} {i1=i2} 0
158:
159: # Check for proper handling of 64-bit integer values.
160: #
161: if {[working_64bit_int]} {
162: test_expr expr-1.102 {i1=40, i2=1} {i2<<i1} 1099511627776
163: }
164:
165: ifcapable floatingpoint {
166: test_expr expr-1.103 {i1=0} {(-2147483648.0 % -1)} 0.0
167: test_expr expr-1.104 {i1=0} {(-9223372036854775808.0 % -1)} 0.0
168: test_expr expr-1.105 {i1=0} {(-9223372036854775808.0 / -1)>1} 1
169: }
170:
171: if {[working_64bit_int]} {
172: test_realnum_expr expr-1.106 {i1=0} {-9223372036854775808/-1} 9.22337203685478e+18
173: }
174:
175: test_expr expr-1.107 {i1=0} {-9223372036854775808%-1} 0
176: test_expr expr-1.108 {i1=0} {1%0} {{}}
177: test_expr expr-1.109 {i1=0} {1/0} {{}}
178:
179: if {[working_64bit_int]} {
180: test_expr expr-1.110 {i1=0} {-9223372036854775807/-1} 9223372036854775807
181: }
182:
183: test_expr expr-1.111 {i1=NULL, i2=8} {i1 IS i2} 0
184: test_expr expr-1.112 {i1=NULL, i2=NULL} {i1 IS i2} 1
185: test_expr expr-1.113 {i1=6, i2=NULL} {i1 IS i2} 0
186: test_expr expr-1.114 {i1=6, i2=6} {i1 IS i2} 1
187: test_expr expr-1.115 {i1=NULL, i2=8} \
188: {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no
189: test_expr expr-1.116 {i1=NULL, i2=NULL} \
190: {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes
191: test_expr expr-1.117 {i1=6, i2=NULL} \
192: {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no
193: test_expr expr-1.118 {i1=8, i2=8} \
194: {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes
195: test_expr expr-1.119 {i1=NULL, i2=8} {i1 IS NOT i2} 1
196: test_expr expr-1.120 {i1=NULL, i2=NULL} {i1 IS NOT i2} 0
197: test_expr expr-1.121 {i1=6, i2=NULL} {i1 IS NOT i2} 1
198: test_expr expr-1.122 {i1=6, i2=6} {i1 IS NOT i2} 0
199: test_expr expr-1.123 {i1=NULL, i2=8} \
200: {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes
201: test_expr expr-1.124 {i1=NULL, i2=NULL} \
202: {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no
203: test_expr expr-1.125 {i1=6, i2=NULL} \
204: {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes
205: test_expr expr-1.126 {i1=8, i2=8} \
206: {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no
207:
208: ifcapable floatingpoint {if {[working_64bit_int]} {
209: test_expr expr-1.200\
210: {i1=9223372036854775806, i2=1} {i1+i2} 9223372036854775807
211: test_realnum_expr expr-1.201\
212: {i1=9223372036854775806, i2=2} {i1+i2} 9.22337203685478e+18
213: test_realnum_expr expr-1.202\
214: {i1=9223372036854775806, i2=100000} {i1+i2} 9.22337203685488e+18
215: test_realnum_expr expr-1.203\
216: {i1=9223372036854775807, i2=0} {i1+i2} 9223372036854775807
217: test_realnum_expr expr-1.204\
218: {i1=9223372036854775807, i2=1} {i1+i2} 9.22337203685478e+18
219: test_realnum_expr expr-1.205\
220: {i2=9223372036854775806, i1=1} {i1+i2} 9223372036854775807
221: test_realnum_expr expr-1.206\
222: {i2=9223372036854775806, i1=2} {i1+i2} 9.22337203685478e+18
223: test_realnum_expr expr-1.207\
224: {i2=9223372036854775806, i1=100000} {i1+i2} 9.22337203685488e+18
225: test_realnum_expr expr-1.208\
226: {i2=9223372036854775807, i1=0} {i1+i2} 9223372036854775807
227: test_realnum_expr expr-1.209\
228: {i2=9223372036854775807, i1=1} {i1+i2} 9.22337203685478e+18
229: test_realnum_expr expr-1.210\
230: {i1=-9223372036854775807, i2=-1} {i1+i2} -9223372036854775808
231: test_realnum_expr expr-1.211\
232: {i1=-9223372036854775807, i2=-2} {i1+i2} -9.22337203685478e+18
233: test_realnum_expr expr-1.212\
234: {i1=-9223372036854775807, i2=-100000} {i1+i2} -9.22337203685488e+18
235: test_realnum_expr expr-1.213\
236: {i1=-9223372036854775808, i2=0} {i1+i2} -9223372036854775808
237: test_realnum_expr expr-1.214\
238: {i1=-9223372036854775808, i2=-1} {i1+i2} -9.22337203685478e+18
239: test_realnum_expr expr-1.215\
240: {i2=-9223372036854775807, i1=-1} {i1+i2} -9223372036854775808
241: test_realnum_expr expr-1.216\
242: {i2=-9223372036854775807, i1=-2} {i1+i2} -9.22337203685478e+18
243: test_realnum_expr expr-1.217\
244: {i2=-9223372036854775807, i1=-100000} {i1+i2} -9.22337203685488e+18
245: test_realnum_expr expr-1.218\
246: {i2=-9223372036854775808, i1=0} {i1+i2} -9223372036854775808
247: test_realnum_expr expr-1.219\
248: {i2=-9223372036854775808, i1=-1} {i1+i2} -9.22337203685478e+18
249: test_realnum_expr expr-1.220\
250: {i1=9223372036854775806, i2=-1} {i1-i2} 9223372036854775807
251: test_realnum_expr expr-1.221\
252: {i1=9223372036854775806, i2=-2} {i1-i2} 9.22337203685478e+18
253: test_realnum_expr expr-1.222\
254: {i1=9223372036854775806, i2=-100000} {i1-i2} 9.22337203685488e+18
255: test_realnum_expr expr-1.223\
256: {i1=9223372036854775807, i2=0} {i1-i2} 9223372036854775807
257: test_realnum_expr expr-1.224\
258: {i1=9223372036854775807, i2=-1} {i1-i2} 9.22337203685478e+18
259: test_realnum_expr expr-1.225\
260: {i2=-9223372036854775806, i1=1} {i1-i2} 9223372036854775807
261: test_realnum_expr expr-1.226\
262: {i2=-9223372036854775806, i1=2} {i1-i2} 9.22337203685478e+18
263: test_realnum_expr expr-1.227\
264: {i2=-9223372036854775806, i1=100000} {i1-i2} 9.22337203685488e+18
265: test_realnum_expr expr-1.228\
266: {i2=-9223372036854775807, i1=0} {i1-i2} 9223372036854775807
267: test_realnum_expr expr-1.229\
268: {i2=-9223372036854775807, i1=1} {i1-i2} 9.22337203685478e+18
269: test_realnum_expr expr-1.230\
270: {i1=-9223372036854775807, i2=1} {i1-i2} -9223372036854775808
271: test_realnum_expr expr-1.231\
272: {i1=-9223372036854775807, i2=2} {i1-i2} -9.22337203685478e+18
273: test_realnum_expr expr-1.232\
274: {i1=-9223372036854775807, i2=100000} {i1-i2} -9.22337203685488e+18
275: test_realnum_expr expr-1.233\
276: {i1=-9223372036854775808, i2=0} {i1-i2} -9223372036854775808
277: test_realnum_expr expr-1.234\
278: {i1=-9223372036854775808, i2=1} {i1-i2} -9.22337203685478e+18
279: test_realnum_expr expr-1.235\
280: {i2=9223372036854775807, i1=-1} {i1-i2} -9223372036854775808
281: test_realnum_expr expr-1.236\
282: {i2=9223372036854775807, i1=-2} {i1-i2} -9.22337203685478e+18
283: test_realnum_expr expr-1.237\
284: {i2=9223372036854775807, i1=-100000} {i1-i2} -9.22337203685488e+18
285: test_realnum_expr expr-1.238\
286: {i2=9223372036854775807, i1=0} {i1-i2} -9223372036854775807
287: test_realnum_expr expr-1.239\
288: {i2=9223372036854775807, i1=-1} {i1-i2} -9223372036854775808
289:
290: test_realnum_expr expr-1.250\
291: {i1=4294967296, i2=2147483648} {i1*i2} 9.22337203685478e+18
292: test_realnum_expr expr-1.251\
293: {i1=4294967296, i2=2147483647} {i1*i2} 9223372032559808512
294: test_realnum_expr expr-1.252\
295: {i1=-4294967296, i2=2147483648} {i1*i2} -9223372036854775808
296: test_realnum_expr expr-1.253\
297: {i1=-4294967296, i2=2147483647} {i1*i2} -9223372032559808512
298: test_realnum_expr expr-1.254\
299: {i1=4294967296, i2=-2147483648} {i1*i2} -9223372036854775808
300: test_realnum_expr expr-1.255\
301: {i1=4294967296, i2=-2147483647} {i1*i2} -9223372032559808512
302: test_realnum_expr expr-1.256\
303: {i1=-4294967296, i2=-2147483648} {i1*i2} 9.22337203685478e+18
304: test_realnum_expr expr-1.257\
305: {i1=-4294967296, i2=-2147483647} {i1*i2} 9223372032559808512
306:
307: }}
308:
309: ifcapable floatingpoint {
310: test_expr expr-2.1 {r1=1.23, r2=2.34} {r1+r2} 3.57
311: test_expr expr-2.2 {r1=1.23, r2=2.34} {r1-r2} -1.11
312: test_expr expr-2.3 {r1=1.23, r2=2.34} {r1*r2} 2.8782
313: }
314: set tcl_precision 15
315: ifcapable floatingpoint {
316: test_expr expr-2.4 {r1=1.23, r2=2.34} {r1/r2} 0.525641025641026
317: test_expr expr-2.5 {r1=1.23, r2=2.34} {r2/r1} 1.90243902439024
318: test_expr expr-2.6 {r1=1.23, r2=2.34} {r2<r1} 0
319: test_expr expr-2.7 {r1=1.23, r2=2.34} {r2<=r1} 0
320: test_expr expr-2.8 {r1=1.23, r2=2.34} {r2>r1} 1
321: test_expr expr-2.9 {r1=1.23, r2=2.34} {r2>=r1} 1
322: test_expr expr-2.10 {r1=1.23, r2=2.34} {r2!=r1} 1
323: test_expr expr-2.11 {r1=1.23, r2=2.34} {r2=r1} 0
324: test_expr expr-2.12 {r1=1.23, r2=2.34} {r2<>r1} 1
325: test_expr expr-2.13 {r1=1.23, r2=2.34} {r2==r1} 0
326: test_expr expr-2.14 {r1=2.34, r2=2.34} {r2<r1} 0
327: test_expr expr-2.15 {r1=2.34, r2=2.34} {r2<=r1} 1
328: test_expr expr-2.16 {r1=2.34, r2=2.34} {r2>r1} 0
329: test_expr expr-2.17 {r1=2.34, r2=2.34} {r2>=r1} 1
330: test_expr expr-2.18 {r1=2.34, r2=2.34} {r2!=r1} 0
331: test_expr expr-2.19 {r1=2.34, r2=2.34} {r2=r1} 1
332: test_expr expr-2.20 {r1=2.34, r2=2.34} {r2<>r1} 0
333: test_expr expr-2.21 {r1=2.34, r2=2.34} {r2==r1} 1
334: test_expr expr-2.22 {r1=1.23, r2=2.34} {min(r1,r2,r1+r2,r1-r2)} {-1.11}
335: test_expr expr-2.23 {r1=1.23, r2=2.34} {max(r1,r2,r1+r2,r1-r2)} {3.57}
336: test_expr expr-2.24 {r1=25.0, r2=11.0} {r1%r2} 3.0
337: test_expr expr-2.25 {r1=1.23, r2=NULL} {coalesce(r1+r2,99.0)} 99.0
338: test_expr expr-2.26 {r1=1e300, r2=1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0
339: test_expr expr-2.26b {r1=1e300, r2=-1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0
340: test_expr expr-2.27 {r1=1.1, r2=0.0} {r1/r2} {{}}
341: test_expr expr-2.28 {r1=1.1, r2=0.0} {r1%r2} {{}}
342: }
343:
344: test_expr expr-3.1 {t1='abc', t2='xyz'} {t1<t2} 1
345: test_expr expr-3.2 {t1='xyz', t2='abc'} {t1<t2} 0
346: test_expr expr-3.3 {t1='abc', t2='abc'} {t1<t2} 0
347: test_expr expr-3.4 {t1='abc', t2='xyz'} {t1<=t2} 1
348: test_expr expr-3.5 {t1='xyz', t2='abc'} {t1<=t2} 0
349: test_expr expr-3.6 {t1='abc', t2='abc'} {t1<=t2} 1
350: test_expr expr-3.7 {t1='abc', t2='xyz'} {t1>t2} 0
351: test_expr expr-3.8 {t1='xyz', t2='abc'} {t1>t2} 1
352: test_expr expr-3.9 {t1='abc', t2='abc'} {t1>t2} 0
353: test_expr expr-3.10 {t1='abc', t2='xyz'} {t1>=t2} 0
354: test_expr expr-3.11 {t1='xyz', t2='abc'} {t1>=t2} 1
355: test_expr expr-3.12 {t1='abc', t2='abc'} {t1>=t2} 1
356: test_expr expr-3.13 {t1='abc', t2='xyz'} {t1=t2} 0
357: test_expr expr-3.14 {t1='xyz', t2='abc'} {t1=t2} 0
358: test_expr expr-3.15 {t1='abc', t2='abc'} {t1=t2} 1
359: test_expr expr-3.16 {t1='abc', t2='xyz'} {t1==t2} 0
360: test_expr expr-3.17 {t1='xyz', t2='abc'} {t1==t2} 0
361: test_expr expr-3.18 {t1='abc', t2='abc'} {t1==t2} 1
362: test_expr expr-3.19 {t1='abc', t2='xyz'} {t1<>t2} 1
363: test_expr expr-3.20 {t1='xyz', t2='abc'} {t1<>t2} 1
364: test_expr expr-3.21 {t1='abc', t2='abc'} {t1<>t2} 0
365: test_expr expr-3.22 {t1='abc', t2='xyz'} {t1!=t2} 1
366: test_expr expr-3.23 {t1='xyz', t2='abc'} {t1!=t2} 1
367: test_expr expr-3.24 {t1='abc', t2='abc'} {t1!=t2} 0
368: test_expr expr-3.25 {t1=NULL, t2='hi'} {t1 isnull} 1
369: test_expr expr-3.25b {t1=NULL, t2='hi'} {t1 is null} 1
370: test_expr expr-3.26 {t1=NULL, t2='hi'} {t2 isnull} 0
371: test_expr expr-3.27 {t1=NULL, t2='hi'} {t1 notnull} 0
372: test_expr expr-3.28 {t1=NULL, t2='hi'} {t2 notnull} 1
373: test_expr expr-3.28b {t1=NULL, t2='hi'} {t2 is not null} 1
374: test_expr expr-3.29 {t1='xyz', t2='abc'} {t1||t2} {xyzabc}
375: test_expr expr-3.30 {t1=NULL, t2='abc'} {t1||t2} {{}}
376: test_expr expr-3.31 {t1='xyz', t2=NULL} {t1||t2} {{}}
377: test_expr expr-3.32 {t1='xyz', t2='abc'} {t1||' hi '||t2} {{xyz hi abc}}
378: test_expr epxr-3.33 {t1='abc', t2=NULL} {coalesce(t1<t2,99)} 99
379: test_expr epxr-3.34 {t1='abc', t2=NULL} {coalesce(t2<t1,99)} 99
380: test_expr epxr-3.35 {t1='abc', t2=NULL} {coalesce(t1>t2,99)} 99
381: test_expr epxr-3.36 {t1='abc', t2=NULL} {coalesce(t2>t1,99)} 99
382: test_expr epxr-3.37 {t1='abc', t2=NULL} {coalesce(t1<=t2,99)} 99
383: test_expr epxr-3.38 {t1='abc', t2=NULL} {coalesce(t2<=t1,99)} 99
384: test_expr epxr-3.39 {t1='abc', t2=NULL} {coalesce(t1>=t2,99)} 99
385: test_expr epxr-3.40 {t1='abc', t2=NULL} {coalesce(t2>=t1,99)} 99
386: test_expr epxr-3.41 {t1='abc', t2=NULL} {coalesce(t1==t2,99)} 99
387: test_expr epxr-3.42 {t1='abc', t2=NULL} {coalesce(t2==t1,99)} 99
388: test_expr epxr-3.43 {t1='abc', t2=NULL} {coalesce(t1!=t2,99)} 99
389: test_expr epxr-3.44 {t1='abc', t2=NULL} {coalesce(t2!=t1,99)} 99
390:
391: test_expr expr-4.1 {t1='abc', t2='Abc'} {t1<t2} 0
392: test_expr expr-4.2 {t1='abc', t2='Abc'} {t1>t2} 1
393: test_expr expr-4.3 {t1='abc', t2='Bbc'} {t1<t2} 0
394: test_expr expr-4.4 {t1='abc', t2='Bbc'} {t1>t2} 1
395: test_expr expr-4.5 {t1='0', t2='0.0'} {t1==t2} 0
396: test_expr expr-4.6 {t1='0.000', t2='0.0'} {t1==t2} 0
397: test_expr expr-4.7 {t1=' 0.000', t2=' 0.0'} {t1==t2} 0
398: test_expr expr-4.8 {t1='0.0', t2='abc'} {t1<t2} 1
399: test_expr expr-4.9 {t1='0.0', t2='abc'} {t1==t2} 0
400:
401: ifcapable floatingpoint {
402: test_expr expr-4.10 {r1='0.0', r2='abc'} {r1>r2} 0
403: test_expr expr-4.11 {r1='abc', r2='Abc'} {r1<r2} 0
404: test_expr expr-4.12 {r1='abc', r2='Abc'} {r1>r2} 1
405: test_expr expr-4.13 {r1='abc', r2='Bbc'} {r1<r2} 0
406: test_expr expr-4.14 {r1='abc', r2='Bbc'} {r1>r2} 1
407: test_expr expr-4.15 {r1='0', r2='0.0'} {r1==r2} 1
408: test_expr expr-4.16 {r1='0.000', r2='0.0'} {r1==r2} 1
409: test_expr expr-4.17 {r1=' 0.000', r2=' 0.0'} {r1==r2} 1
410: test_expr expr-4.18 {r1='0.0', r2='abc'} {r1<r2} 1
411: test_expr expr-4.19 {r1='0.0', r2='abc'} {r1==r2} 0
412: test_expr expr-4.20 {r1='0.0', r2='abc'} {r1>r2} 0
413: }
414:
415: # CSL is true if LIKE is case sensitive and false if not.
416: # NCSL is the opposite. Use these variables as the result
417: # on operations where case makes a difference.
418: set CSL $sqlite_options(casesensitivelike)
419: set NCSL [expr {!$CSL}]
420:
421: test_expr expr-5.1 {t1='abc', t2='xyz'} {t1 LIKE t2} 0
422: test_expr expr-5.2a {t1='abc', t2='abc'} {t1 LIKE t2} 1
423: test_expr expr-5.2b {t1='abc', t2='ABC'} {t1 LIKE t2} $NCSL
424: test_expr expr-5.3a {t1='abc', t2='a_c'} {t1 LIKE t2} 1
425: test_expr expr-5.3b {t1='abc', t2='A_C'} {t1 LIKE t2} $NCSL
426: test_expr expr-5.4 {t1='abc', t2='abc_'} {t1 LIKE t2} 0
427: test_expr expr-5.5a {t1='abc', t2='a%c'} {t1 LIKE t2} 1
428: test_expr expr-5.5b {t1='abc', t2='A%C'} {t1 LIKE t2} $NCSL
429: test_expr expr-5.5c {t1='abdc', t2='a%c'} {t1 LIKE t2} 1
430: test_expr expr-5.5d {t1='ac', t2='a%c'} {t1 LIKE t2} 1
431: test_expr expr-5.5e {t1='ac', t2='A%C'} {t1 LIKE t2} $NCSL
432: test_expr expr-5.6a {t1='abxyzzyc', t2='a%c'} {t1 LIKE t2} 1
433: test_expr expr-5.6b {t1='abxyzzyc', t2='A%C'} {t1 LIKE t2} $NCSL
434: test_expr expr-5.7a {t1='abxyzzy', t2='a%c'} {t1 LIKE t2} 0
435: test_expr expr-5.7b {t1='abxyzzy', t2='A%C'} {t1 LIKE t2} 0
436: test_expr expr-5.8a {t1='abxyzzycx', t2='a%c'} {t1 LIKE t2} 0
437: test_expr expr-5.8b {t1='abxyzzycy', t2='a%cx'} {t1 LIKE t2} 0
438: test_expr expr-5.8c {t1='abxyzzycx', t2='A%C'} {t1 LIKE t2} 0
439: test_expr expr-5.8d {t1='abxyzzycy', t2='A%CX'} {t1 LIKE t2} 0
440: test_expr expr-5.9a {t1='abc', t2='a%_c'} {t1 LIKE t2} 1
441: test_expr expr-5.9b {t1='ac', t2='a%_c'} {t1 LIKE t2} 0
442: test_expr expr-5.9c {t1='abc', t2='A%_C'} {t1 LIKE t2} $NCSL
443: test_expr expr-5.9d {t1='ac', t2='A%_C'} {t1 LIKE t2} 0
444: test_expr expr-5.10a {t1='abxyzzyc', t2='a%_c'} {t1 LIKE t2} 1
445: test_expr expr-5.10b {t1='abxyzzyc', t2='A%_C'} {t1 LIKE t2} $NCSL
446: test_expr expr-5.11 {t1='abc', t2='xyz'} {t1 NOT LIKE t2} 1
447: test_expr expr-5.12a {t1='abc', t2='abc'} {t1 NOT LIKE t2} 0
448: test_expr expr-5.12b {t1='abc', t2='ABC'} {t1 NOT LIKE t2} $CSL
449: test_expr expr-5.13 {t1='A'} {t1 LIKE 'A%_'} 0
450: test_expr expr-5.14 {t1='AB'} {t1 LIKE 'A%b' ESCAPE 'b'} 0
451:
452: # The following tests only work on versions of TCL that support Unicode
453: #
454: if {"\u1234"!="u1234"} {
455: test_expr expr-5.13a "t1='a\u0080c', t2='a_c'" {t1 LIKE t2} 1
456: test_expr expr-5.13b "t1='a\u0080c', t2='A_C'" {t1 LIKE t2} $NCSL
457: test_expr expr-5.14a "t1='a\u07FFc', t2='a_c'" {t1 LIKE t2} 1
458: test_expr expr-5.14b "t1='a\u07FFc', t2='A_C'" {t1 LIKE t2} $NCSL
459: test_expr expr-5.15a "t1='a\u0800c', t2='a_c'" {t1 LIKE t2} 1
460: test_expr expr-5.15b "t1='a\u0800c', t2='A_C'" {t1 LIKE t2} $NCSL
461: test_expr expr-5.16a "t1='a\uFFFFc', t2='a_c'" {t1 LIKE t2} 1
462: test_expr expr-5.16b "t1='a\uFFFFc', t2='A_C'" {t1 LIKE t2} $NCSL
463: test_expr expr-5.17 "t1='a\u0080', t2='A__'" {t1 LIKE t2} 0
464: test_expr expr-5.18 "t1='a\u07FF', t2='A__'" {t1 LIKE t2} 0
465: test_expr expr-5.19 "t1='a\u0800', t2='A__'" {t1 LIKE t2} 0
466: test_expr expr-5.20 "t1='a\uFFFF', t2='A__'" {t1 LIKE t2} 0
467: test_expr expr-5.21a "t1='ax\uABCD', t2='a_\uABCD'" {t1 LIKE t2} 1
468: test_expr expr-5.21b "t1='ax\uABCD', t2='A_\uABCD'" {t1 LIKE t2} $NCSL
469: test_expr expr-5.22a "t1='ax\u1234', t2='a%\u1234'" {t1 LIKE t2} 1
470: test_expr expr-5.22b "t1='ax\u1234', t2='A%\u1234'" {t1 LIKE t2} $NCSL
471: test_expr expr-5.23a "t1='ax\uFEDC', t2='a_%'" {t1 LIKE t2} 1
472: test_expr expr-5.23b "t1='ax\uFEDC', t2='A_%'" {t1 LIKE t2} $NCSL
473: test_expr expr-5.24a "t1='ax\uFEDCy\uFEDC', t2='a%\uFEDC'" {t1 LIKE t2} 1
474: test_expr expr-5.24b "t1='ax\uFEDCy\uFEDC', t2='A%\uFEDC'" {t1 LIKE t2} $NCSL
475: }
476:
477: test_expr expr-5.54 {t1='abc', t2=NULL} {t1 LIKE t2} {{}}
478: test_expr expr-5.55 {t1='abc', t2=NULL} {t1 NOT LIKE t2} {{}}
479: test_expr expr-5.56 {t1='abc', t2=NULL} {t2 LIKE t1} {{}}
480: test_expr expr-5.57 {t1='abc', t2=NULL} {t2 NOT LIKE t1} {{}}
481:
482: # LIKE expressions that use ESCAPE characters.
483: test_expr expr-5.58a {t1='abc', t2='a_c'} {t1 LIKE t2 ESCAPE '7'} 1
484: test_expr expr-5.58b {t1='abc', t2='A_C'} {t1 LIKE t2 ESCAPE '7'} $NCSL
485: test_expr expr-5.59a {t1='a_c', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 1
486: test_expr expr-5.59b {t1='a_c', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} $NCSL
487: test_expr expr-5.60a {t1='abc', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 0
488: test_expr expr-5.60b {t1='abc', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} 0
489: test_expr expr-5.61a {t1='a7Xc', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 0
490: test_expr expr-5.61b {t1='a7Xc', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} 0
491: test_expr expr-5.62a {t1='abcde', t2='a%e'} {t1 LIKE t2 ESCAPE '7'} 1
492: test_expr expr-5.62b {t1='abcde', t2='A%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL
493: test_expr expr-5.63a {t1='abcde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0
494: test_expr expr-5.63b {t1='abcde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0
495: test_expr expr-5.64a {t1='a7cde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0
496: test_expr expr-5.64b {t1='a7cde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0
497: test_expr expr-5.65a {t1='a7cde', t2='a77%e'} {t1 LIKE t2 ESCAPE '7'} 1
498: test_expr expr-5.65b {t1='a7cde', t2='A77%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL
499: test_expr expr-5.66a {t1='abc7', t2='a%77'} {t1 LIKE t2 ESCAPE '7'} 1
500: test_expr expr-5.66b {t1='abc7', t2='A%77'} {t1 LIKE t2 ESCAPE '7'} $NCSL
501: test_expr expr-5.67a {t1='abc_', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 1
502: test_expr expr-5.67b {t1='abc_', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} $NCSL
503: test_expr expr-5.68a {t1='abc7', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 0
504: test_expr expr-5.68b {t1='abc7', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} 0
505:
506: # These are the same test as the block above, but using a multi-byte
507: # character as the escape character.
508: if {"\u1234"!="u1234"} {
509: test_expr expr-5.69a "t1='abc', t2='a_c'" \
510: "t1 LIKE t2 ESCAPE '\u1234'" 1
511: test_expr expr-5.69b "t1='abc', t2='A_C'" \
512: "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
513: test_expr expr-5.70a "t1='a_c', t2='a\u1234_c'" \
514: "t1 LIKE t2 ESCAPE '\u1234'" 1
515: test_expr expr-5.70b "t1='a_c', t2='A\u1234_C'" \
516: "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
517: test_expr expr-5.71a "t1='abc', t2='a\u1234_c'" \
518: "t1 LIKE t2 ESCAPE '\u1234'" 0
519: test_expr expr-5.71b "t1='abc', t2='A\u1234_C'" \
520: "t1 LIKE t2 ESCAPE '\u1234'" 0
521: test_expr expr-5.72a "t1='a\u1234Xc', t2='a\u1234_c'" \
522: "t1 LIKE t2 ESCAPE '\u1234'" 0
523: test_expr expr-5.72b "t1='a\u1234Xc', t2='A\u1234_C'" \
524: "t1 LIKE t2 ESCAPE '\u1234'" 0
525: test_expr expr-5.73a "t1='abcde', t2='a%e'" \
526: "t1 LIKE t2 ESCAPE '\u1234'" 1
527: test_expr expr-5.73b "t1='abcde', t2='A%E'" \
528: "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
529: test_expr expr-5.74a "t1='abcde', t2='a\u1234%e'" \
530: "t1 LIKE t2 ESCAPE '\u1234'" 0
531: test_expr expr-5.74b "t1='abcde', t2='A\u1234%E'" \
532: "t1 LIKE t2 ESCAPE '\u1234'" 0
533: test_expr expr-5.75a "t1='a\u1234cde', t2='a\u1234%e'" \
534: "t1 LIKE t2 ESCAPE '\u1234'" 0
535: test_expr expr-5.75b "t1='a\u1234cde', t2='A\u1234%E'" \
536: "t1 LIKE t2 ESCAPE '\u1234'" 0
537: test_expr expr-5.76a "t1='a\u1234cde', t2='a\u1234\u1234%e'" \
538: "t1 LIKE t2 ESCAPE '\u1234'" 1
539: test_expr expr-5.76b "t1='a\u1234cde', t2='A\u1234\u1234%E'" \
540: "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
541: test_expr expr-5.77a "t1='abc\u1234', t2='a%\u1234\u1234'" \
542: "t1 LIKE t2 ESCAPE '\u1234'" 1
543: test_expr expr-5.77b "t1='abc\u1234', t2='A%\u1234\u1234'" \
544: "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
545: test_expr expr-5.78a "t1='abc_', t2='a%\u1234_'" \
546: "t1 LIKE t2 ESCAPE '\u1234'" 1
547: test_expr expr-5.78b "t1='abc_', t2='A%\u1234_'" \
548: "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
549: test_expr expr-5.79a "t1='abc\u1234', t2='a%\u1234_'" \
550: "t1 LIKE t2 ESCAPE '\u1234'" 0
551: test_expr expr-5.79b "t1='abc\u1234', t2='A%\u1234_'" \
552: "t1 LIKE t2 ESCAPE '\u1234'" 0
553: }
554:
555: test_expr expr-6.1 {t1='abc', t2='xyz'} {t1 GLOB t2} 0
556: test_expr expr-6.2 {t1='abc', t2='ABC'} {t1 GLOB t2} 0
557: test_expr expr-6.3 {t1='abc', t2='A?C'} {t1 GLOB t2} 0
558: test_expr expr-6.4 {t1='abc', t2='a?c'} {t1 GLOB t2} 1
559: test_expr expr-6.5 {t1='abc', t2='abc?'} {t1 GLOB t2} 0
560: test_expr expr-6.6 {t1='abc', t2='A*C'} {t1 GLOB t2} 0
561: test_expr expr-6.7 {t1='abc', t2='a*c'} {t1 GLOB t2} 1
562: test_expr expr-6.8 {t1='abxyzzyc', t2='a*c'} {t1 GLOB t2} 1
563: test_expr expr-6.9 {t1='abxyzzy', t2='a*c'} {t1 GLOB t2} 0
564: test_expr expr-6.10 {t1='abxyzzycx', t2='a*c'} {t1 GLOB t2} 0
565: test_expr expr-6.11 {t1='abc', t2='xyz'} {t1 NOT GLOB t2} 1
566: test_expr expr-6.12 {t1='abc', t2='abc'} {t1 NOT GLOB t2} 0
567: test_expr expr-6.13 {t1='abc', t2='a[bx]c'} {t1 GLOB t2} 1
568: test_expr expr-6.14 {t1='abc', t2='a[cx]c'} {t1 GLOB t2} 0
569: test_expr expr-6.15 {t1='abc', t2='a[a-d]c'} {t1 GLOB t2} 1
570: test_expr expr-6.16 {t1='abc', t2='a[^a-d]c'} {t1 GLOB t2} 0
571: test_expr expr-6.17 {t1='abc', t2='a[A-Dc]c'} {t1 GLOB t2} 0
572: test_expr expr-6.18 {t1='abc', t2='a[^A-Dc]c'} {t1 GLOB t2} 1
573: test_expr expr-6.19 {t1='abc', t2='a[]b]c'} {t1 GLOB t2} 1
574: test_expr expr-6.20 {t1='abc', t2='a[^]b]c'} {t1 GLOB t2} 0
575: test_expr expr-6.21a {t1='abcdefg', t2='a*[de]g'} {t1 GLOB t2} 0
576: test_expr expr-6.21b {t1='abcdefg', t2='a*[df]g'} {t1 GLOB t2} 1
577: test_expr expr-6.21c {t1='abcdefg', t2='a*[d-h]g'} {t1 GLOB t2} 1
578: test_expr expr-6.21d {t1='abcdefg', t2='a*[b-e]g'} {t1 GLOB t2} 0
579: test_expr expr-6.22a {t1='abcdefg', t2='a*[^de]g'} {t1 GLOB t2} 1
580: test_expr expr-6.22b {t1='abcdefg', t2='a*[^def]g'} {t1 GLOB t2} 0
581: test_expr expr-6.23 {t1='abcdefg', t2='a*?g'} {t1 GLOB t2} 1
582: test_expr expr-6.24 {t1='ac', t2='a*c'} {t1 GLOB t2} 1
583: test_expr expr-6.25 {t1='ac', t2='a*?c'} {t1 GLOB t2} 0
584: test_expr expr-6.26 {t1='a*c', t2='a[*]c'} {t1 GLOB t2} 1
585: test_expr expr-6.27 {t1='a?c', t2='a[?]c'} {t1 GLOB t2} 1
586: test_expr expr-6.28 {t1='a[c', t2='a[[]c'} {t1 GLOB t2} 1
587:
588:
589: # These tests only work on versions of TCL that support Unicode
590: #
591: if {"\u1234"!="u1234"} {
592: test_expr expr-6.26 "t1='a\u0080c', t2='a?c'" {t1 GLOB t2} 1
593: test_expr expr-6.27 "t1='a\u07ffc', t2='a?c'" {t1 GLOB t2} 1
594: test_expr expr-6.28 "t1='a\u0800c', t2='a?c'" {t1 GLOB t2} 1
595: test_expr expr-6.29 "t1='a\uffffc', t2='a?c'" {t1 GLOB t2} 1
596: test_expr expr-6.30 "t1='a\u1234', t2='a?'" {t1 GLOB t2} 1
597: test_expr expr-6.31 "t1='a\u1234', t2='a??'" {t1 GLOB t2} 0
598: test_expr expr-6.32 "t1='ax\u1234', t2='a?\u1234'" {t1 GLOB t2} 1
599: test_expr expr-6.33 "t1='ax\u1234', t2='a*\u1234'" {t1 GLOB t2} 1
600: test_expr expr-6.34 "t1='ax\u1234y\u1234', t2='a*\u1234'" {t1 GLOB t2} 1
601: test_expr expr-6.35 "t1='a\u1234b', t2='a\[x\u1234y\]b'" {t1 GLOB t2} 1
602: test_expr expr-6.36 "t1='a\u1234b', t2='a\[\u1233-\u1235\]b'" {t1 GLOB t2} 1
603: test_expr expr-6.37 "t1='a\u1234b', t2='a\[\u1234-\u124f\]b'" {t1 GLOB t2} 1
604: test_expr expr-6.38 "t1='a\u1234b', t2='a\[\u1235-\u124f\]b'" {t1 GLOB t2} 0
605: test_expr expr-6.39 "t1='a\u1234b', t2='a\[a-\u1235\]b'" {t1 GLOB t2} 1
606: test_expr expr-6.40 "t1='a\u1234b', t2='a\[a-\u1234\]b'" {t1 GLOB t2} 1
607: test_expr expr-6.41 "t1='a\u1234b', t2='a\[a-\u1233\]b'" {t1 GLOB t2} 0
608: }
609:
610: test_expr expr-6.51 {t1='ABC', t2='xyz'} {t1 GLOB t2} 0
611: test_expr expr-6.52 {t1='ABC', t2='abc'} {t1 GLOB t2} 0
612: test_expr expr-6.53 {t1='ABC', t2='a?c'} {t1 GLOB t2} 0
613: test_expr expr-6.54 {t1='ABC', t2='A?C'} {t1 GLOB t2} 1
614: test_expr expr-6.55 {t1='ABC', t2='abc?'} {t1 GLOB t2} 0
615: test_expr expr-6.56 {t1='ABC', t2='a*c'} {t1 GLOB t2} 0
616: test_expr expr-6.57 {t1='ABC', t2='A*C'} {t1 GLOB t2} 1
617: test_expr expr-6.58 {t1='ABxyzzyC', t2='A*C'} {t1 GLOB t2} 1
618: test_expr expr-6.59 {t1='ABxyzzy', t2='A*C'} {t1 GLOB t2} 0
619: test_expr expr-6.60 {t1='ABxyzzyCx', t2='A*C'} {t1 GLOB t2} 0
620: test_expr expr-6.61 {t1='ABC', t2='xyz'} {t1 NOT GLOB t2} 1
621: test_expr expr-6.62 {t1='ABC', t2='ABC'} {t1 NOT GLOB t2} 0
622: test_expr expr-6.63 {t1='ABC', t2='A[Bx]C'} {t1 GLOB t2} 1
623: test_expr expr-6.64 {t1='ABC', t2='A[Cx]C'} {t1 GLOB t2} 0
624: test_expr expr-6.65 {t1='ABC', t2='A[A-D]C'} {t1 GLOB t2} 1
625: test_expr expr-6.66 {t1='ABC', t2='A[^A-D]C'} {t1 GLOB t2} 0
626: test_expr expr-6.67 {t1='ABC', t2='A[a-dC]C'} {t1 GLOB t2} 0
627: test_expr expr-6.68 {t1='ABC', t2='A[^a-dC]C'} {t1 GLOB t2} 1
628: test_expr expr-6.69a {t1='ABC', t2='A[]B]C'} {t1 GLOB t2} 1
629: test_expr expr-6.69b {t1='A]C', t2='A[]B]C'} {t1 GLOB t2} 1
630: test_expr expr-6.70a {t1='ABC', t2='A[^]B]C'} {t1 GLOB t2} 0
631: test_expr expr-6.70b {t1='AxC', t2='A[^]B]C'} {t1 GLOB t2} 1
632: test_expr expr-6.70c {t1='A]C', t2='A[^]B]C'} {t1 GLOB t2} 0
633: test_expr expr-6.71 {t1='ABCDEFG', t2='A*[DE]G'} {t1 GLOB t2} 0
634: test_expr expr-6.72 {t1='ABCDEFG', t2='A*[^DE]G'} {t1 GLOB t2} 1
635: test_expr expr-6.73 {t1='ABCDEFG', t2='A*?G'} {t1 GLOB t2} 1
636: test_expr expr-6.74 {t1='AC', t2='A*C'} {t1 GLOB t2} 1
637: test_expr expr-6.75 {t1='AC', t2='A*?C'} {t1 GLOB t2} 0
638:
639: test_expr expr-6.63 {t1=NULL, t2='a*?c'} {t1 GLOB t2} {{}}
640: test_expr expr-6.64 {t1='ac', t2=NULL} {t1 GLOB t2} {{}}
641: test_expr expr-6.65 {t1=NULL, t2='a*?c'} {t1 NOT GLOB t2} {{}}
642: test_expr expr-6.66 {t1='ac', t2=NULL} {t1 NOT GLOB t2} {{}}
643:
644: # Check that the affinity of a CAST expression is calculated correctly.
645: ifcapable cast {
646: test_expr expr-6.67 {t1='01', t2=1} {t1 = t2} 0
647: test_expr expr-6.68 {t1='1', t2=1} {t1 = t2} 1
648: test_expr expr-6.69 {t1='01', t2=1} {CAST(t1 AS INTEGER) = t2} 1
649: }
650:
651: test_expr expr-case.1 {i1=1, i2=2} \
652: {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
653: test_expr expr-case.2 {i1=2, i2=2} \
654: {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} eq
655: test_expr expr-case.3 {i1=NULL, i2=2} \
656: {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
657: test_expr expr-case.4 {i1=2, i2=NULL} \
658: {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
659: test_expr expr-case.5 {i1=2} \
660: {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} two
661: test_expr expr-case.6 {i1=1} \
662: {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} one
663: test_expr expr-case.7 {i1=2} \
664: {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error
665: test_expr expr-case.8 {i1=3} \
666: {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error
667: test_expr expr-case.9 {i1=3} \
668: {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} error
669: test_expr expr-case.10 {i1=3} \
670: {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' END} {{}}
671: test_expr expr-case.11 {i1=null} \
672: {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 3 END} 3
673: test_expr expr-case.12 {i1=1} \
674: {CASE i1 WHEN 1 THEN null WHEN 2 THEN 'two' ELSE 3 END} {{}}
675: test_expr expr-case.13 {i1=7} \
676: { CASE WHEN i1 < 5 THEN 'low'
677: WHEN i1 < 10 THEN 'medium'
678: WHEN i1 < 15 THEN 'high' ELSE 'error' END} medium
679:
680:
681: # The sqliteExprIfFalse and sqliteExprIfTrue routines are only
682: # executed as part of a WHERE clause. Create a table suitable
683: # for testing these functions.
684: #
685: execsql {DROP TABLE test1}
686: execsql {CREATE TABLE test1(a int, b int);}
687: for {set i 1} {$i<=20} {incr i} {
688: execsql "INSERT INTO test1 VALUES($i,[expr {1<<$i}])"
689: }
690: execsql "INSERT INTO test1 VALUES(NULL,0)"
691: do_test expr-7.1 {
692: execsql {SELECT * FROM test1 ORDER BY a}
693: } {{} 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}
694:
695: proc test_expr2 {name expr result} {
696: do_test $name [format {
697: execsql {SELECT a FROM test1 WHERE %s ORDER BY a}
698: } $expr] $result
699: }
700:
701: test_expr2 expr-7.2 {a<10 AND a>8} {9}
702: test_expr2 expr-7.3 {a<=10 AND a>=8} {8 9 10}
703: test_expr2 expr-7.4 {a>=8 AND a<=10} {8 9 10}
704: test_expr2 expr-7.5 {a>=20 OR a<=1} {1 20}
705: test_expr2 expr-7.6 {b!=4 AND a<=3} {1 3}
706: test_expr2 expr-7.7 {b==8 OR b==16 OR b==32} {3 4 5}
707: test_expr2 expr-7.8 {NOT b<>8 OR b==1024} {3 10}
708: test_expr2 expr-7.9 {b LIKE '10%'} {10 20}
709: test_expr2 expr-7.10 {b LIKE '_4'} {6}
710: test_expr2 expr-7.11 {a GLOB '1?'} {10 11 12 13 14 15 16 17 18 19}
711: test_expr2 expr-7.12 {b GLOB '1*4'} {10 14}
712: test_expr2 expr-7.13 {b GLOB '*1[456]'} {4}
713: test_expr2 expr-7.14 {a ISNULL} {{}}
714: test_expr2 expr-7.15 {a NOTNULL AND a<3} {1 2}
715: test_expr2 expr-7.16 {a AND a<3} {1 2}
716: test_expr2 expr-7.17 {NOT a} {}
717: test_expr2 expr-7.18 {a==11 OR (b>1000 AND b<2000)} {10 11}
718: test_expr2 expr-7.19 {a<=1 OR a>=20} {1 20}
719: test_expr2 expr-7.20 {a<1 OR a>20} {}
720: test_expr2 expr-7.21 {a>19 OR a<1} {20}
721: test_expr2 expr-7.22 {a!=1 OR a=100} \
722: {2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
723: test_expr2 expr-7.23 {(a notnull AND a<4) OR a==8} {1 2 3 8}
724: test_expr2 expr-7.24 {a LIKE '2_' OR a==8} {8 20}
725: test_expr2 expr-7.25 {a GLOB '2?' OR a==8} {8 20}
726: test_expr2 expr-7.26 {a isnull OR a=8} {{} 8}
727: test_expr2 expr-7.27 {a notnull OR a=8} \
728: {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
729: test_expr2 expr-7.28 {a<0 OR b=0} {{}}
730: test_expr2 expr-7.29 {b=0 OR a<0} {{}}
731: test_expr2 expr-7.30 {a<0 AND b=0} {}
732: test_expr2 expr-7.31 {b=0 AND a<0} {}
733: test_expr2 expr-7.32 {a IS NULL AND (a<0 OR b=0)} {{}}
734: test_expr2 expr-7.33 {a IS NULL AND (b=0 OR a<0)} {{}}
735: test_expr2 expr-7.34 {a IS NULL AND (a<0 AND b=0)} {}
736: test_expr2 expr-7.35 {a IS NULL AND (b=0 AND a<0)} {}
737: test_expr2 expr-7.32 {(a<0 OR b=0) AND a IS NULL} {{}}
738: test_expr2 expr-7.33 {(b=0 OR a<0) AND a IS NULL} {{}}
739: test_expr2 expr-7.34 {(a<0 AND b=0) AND a IS NULL} {}
740: test_expr2 expr-7.35 {(b=0 AND a<0) AND a IS NULL} {}
741: test_expr2 expr-7.36 {a<2 OR (a<0 OR b=0)} {{} 1}
742: test_expr2 expr-7.37 {a<2 OR (b=0 OR a<0)} {{} 1}
743: test_expr2 expr-7.38 {a<2 OR (a<0 AND b=0)} {1}
744: test_expr2 expr-7.39 {a<2 OR (b=0 AND a<0)} {1}
745: ifcapable floatingpoint {
746: test_expr2 expr-7.40 {((a<2 OR a IS NULL) AND b<3) OR b>1e10} {{} 1}
747: }
748: test_expr2 expr-7.41 {a BETWEEN -1 AND 1} {1}
749: test_expr2 expr-7.42 {a NOT BETWEEN 2 AND 100} {1}
750: test_expr2 expr-7.43 {(b+1234)||'this is a string that is at least 32 characters long' BETWEEN 1 AND 2} {}
751: test_expr2 expr-7.44 {123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a BETWEEN '123a' AND '123b'} {}
752: test_expr2 expr-7.45 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123b')<0} {}
753: test_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}
754:
755: test_expr2 expr-7.50 {((a between 1 and 2 OR 0) AND 1) OR 0} {1 2}
756: test_expr2 expr-7.51 {((a not between 3 and 100 OR 0) AND 1) OR 0} {1 2}
757:
758: ifcapable subquery {
759: test_expr2 expr-7.52 {((a in (1,2) OR 0) AND 1) OR 0} {1 2}
760: test_expr2 expr-7.53 \
761: {((a not in (3,4,5,6,7,8,9,10) OR 0) AND a<11) OR 0} {1 2}
762: }
763: test_expr2 expr-7.54 {((a>0 OR 0) AND a<3) OR 0} {1 2}
764: ifcapable subquery {
765: test_expr2 expr-7.55 {((a in (1,2) OR 0) IS NULL AND 1) OR 0} {{}}
766: test_expr2 expr-7.56 \
767: {((a not in (3,4,5,6,7,8,9,10) IS NULL OR 0) AND 1) OR 0} {{}}
768: }
769: test_expr2 expr-7.57 {((a>0 IS NULL OR 0) AND 1) OR 0} {{}}
770:
771: test_expr2 expr-7.58 {(a||'')<='1'} {1}
772:
773: test_expr2 expr-7.59 {LIKE('10%',b)} {10 20}
774: test_expr2 expr-7.60 {LIKE('_4',b)} {6}
775: test_expr2 expr-7.61 {GLOB('1?',a)} {10 11 12 13 14 15 16 17 18 19}
776: test_expr2 expr-7.62 {GLOB('1*4',b)} {10 14}
777: test_expr2 expr-7.63 {GLOB('*1[456]',b)} {4}
778: test_expr2 expr-7.64 {b = abs(-2)} {1}
779: test_expr2 expr-7.65 {b = abs(+-2)} {1}
780: test_expr2 expr-7.66 {b = abs(++-2)} {1}
781: test_expr2 expr-7.67 {b = abs(+-+-2)} {1}
782: test_expr2 expr-7.68 {b = abs(+-++-2)} {1}
783: test_expr2 expr-7.69 {b = abs(++++-2)} {1}
784: test_expr2 expr-7.70 {b = 5 - abs(+3)} {1}
785: test_expr2 expr-7.71 {b = 5 - abs(-3)} {1}
786: ifcapable floatingpoint {
787: test_expr2 expr-7.72 {b = abs(-2.0)} {1}
788: }
789: test_expr2 expr-7.73 {b = 6 - abs(-a)} {2}
790: ifcapable floatingpoint {
791: test_expr2 expr-7.74 {b = abs(8.0)} {3}
792: }
793:
794: # Test the CURRENT_TIME, CURRENT_DATE, and CURRENT_TIMESTAMP expressions.
795: #
796: ifcapable {floatingpoint} {
797: set sqlite_current_time 1157124849
798: do_test expr-8.1 {
799: execsql {SELECT CURRENT_TIME}
800: } {15:34:09}
801: do_test expr-8.2 {
802: execsql {SELECT CURRENT_DATE}
803: } {2006-09-01}
804: do_test expr-8.3 {
805: execsql {SELECT CURRENT_TIMESTAMP}
806: } {{2006-09-01 15:34:09}}
807: }
808: ifcapable datetime {
809: do_test expr-8.4 {
810: execsql {SELECT CURRENT_TIME==time('now');}
811: } 1
812: do_test expr-8.5 {
813: execsql {SELECT CURRENT_DATE==date('now');}
814: } 1
815: do_test expr-8.6 {
816: execsql {SELECT CURRENT_TIMESTAMP==datetime('now');}
817: } 1
818: }
819: set sqlite_current_time 0
820:
821: ifcapable floatingpoint {
822: do_test expr-9.1 {
823: execsql {SELECT round(-('-'||'123'))}
824: } 123.0
825: }
826:
827: # Test an error message that can be generated by the LIKE expression
828: do_test expr-10.1 {
829: catchsql {SELECT 'abc' LIKE 'abc' ESCAPE ''}
830: } {1 {ESCAPE expression must be a single character}}
831: do_test expr-10.2 {
832: catchsql {SELECT 'abc' LIKE 'abc' ESCAPE 'ab'}
833: } {1 {ESCAPE expression must be a single character}}
834:
835: # If we specify an integer constant that is bigger than the largest
836: # possible integer, code the integer as a real number.
837: #
838: do_test expr-11.1 {
839: execsql {SELECT typeof(9223372036854775807)}
840: } {integer}
841: do_test expr-11.2 {
842: execsql {SELECT typeof(00000009223372036854775807)}
843: } {integer}
844: do_test expr-11.3 {
845: execsql {SELECT typeof(+9223372036854775807)}
846: } {integer}
847: do_test expr-11.4 {
848: execsql {SELECT typeof(+000000009223372036854775807)}
849: } {integer}
850: do_test expr-11.5 {
851: execsql {SELECT typeof(9223372036854775808)}
852: } {real}
853: do_test expr-11.6 {
854: execsql {SELECT typeof(00000009223372036854775808)}
855: } {real}
856: do_test expr-11.7 {
857: execsql {SELECT typeof(+9223372036854775808)}
858: } {real}
859: do_test expr-11.8 {
860: execsql {SELECT typeof(+0000009223372036854775808)}
861: } {real}
862: do_test expr-11.11 {
863: execsql {SELECT typeof(-9223372036854775808)}
864: } {integer}
865: do_test expr-11.12 {
866: execsql {SELECT typeof(-00000009223372036854775808)}
867: } {integer}
868: ifcapable floatingpoint {
869: do_test expr-11.13 {
870: execsql {SELECT typeof(-9223372036854775809)}
871: } {real}
872: do_test expr-11.14 {
873: execsql {SELECT typeof(-00000009223372036854775809)}
874: } {real}
875: }
876:
877: # These two statements used to leak memory (because of missing %destructor
878: # directives in parse.y).
879: do_test expr-12.1 {
880: catchsql {
881: SELECT (CASE a>4 THEN 1 ELSE 0 END) FROM test1;
882: }
883: } {1 {near "THEN": syntax error}}
884: do_test expr-12.2 {
885: catchsql {
886: SELECT (CASE WHEN a>4 THEN 1 ELSE 0) FROM test1;
887: }
888: } {1 {near ")": syntax error}}
889:
890: ifcapable floatingpoint {
891: do_realnum_test expr-13.1 {
892: execsql {
893: SELECT 12345678901234567890;
894: }
895: } {1.23456789012346e+19}
896: }
897:
898: # Implicit String->Integer conversion is used when possible.
899: #
900: if {[working_64bit_int]} {
901: do_test expr-13.2 {
902: execsql {
903: SELECT 0+'9223372036854775807'
904: }
905: } {9223372036854775807}
906: do_test expr-13.3 {
907: execsql {
908: SELECT '9223372036854775807'+0
909: }
910: } {9223372036854775807}
911: }
912:
913: # If the value is too large, use String->Float conversion.
914: #
915: ifcapable floatingpoint {
916: do_realnum_test expr-13.4 {
917: execsql {
918: SELECT 0+'9223372036854775808'
919: }
920: } {9.22337203685478e+18}
921: do_realnum_test expr-13.5 {
922: execsql {
923: SELECT '9223372036854775808'+0
924: }
925: } {9.22337203685478e+18}
926: }
927:
928: # Use String->float conversion if the value is explicitly a floating
929: # point value.
930: #
931: do_realnum_test expr-13.6 {
932: execsql {
933: SELECT 0+'9223372036854775807.0'
934: }
935: } {9.22337203685478e+18}
936: do_realnum_test expr-13.7 {
937: execsql {
938: SELECT '9223372036854775807.0'+0
939: }
940: } {9.22337203685478e+18}
941:
942:
943: finish_test
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to expr.test CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / sqlite3 / test