xref: /sqlite-3.40.0/test/expr.test (revision 8be51133)
18d2cb149Sdrh# Copyright (c) 1999, 2000 D. Richard Hipp
28d2cb149Sdrh#
38d2cb149Sdrh# This program is free software; you can redistribute it and/or
48d2cb149Sdrh# modify it under the terms of the GNU General Public
58d2cb149Sdrh# License as published by the Free Software Foundation; either
68d2cb149Sdrh# version 2 of the License, or (at your option) any later version.
78d2cb149Sdrh#
88d2cb149Sdrh# This program is distributed in the hope that it will be useful,
98d2cb149Sdrh# but WITHOUT ANY WARRANTY; without even the implied warranty of
108d2cb149Sdrh# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
118d2cb149Sdrh# General Public License for more details.
128d2cb149Sdrh#
138d2cb149Sdrh# You should have received a copy of the GNU General Public
148d2cb149Sdrh# License along with this library; if not, write to the
158d2cb149Sdrh# Free Software Foundation, Inc., 59 Temple Place - Suite 330,
168d2cb149Sdrh# Boston, MA  02111-1307, USA.
178d2cb149Sdrh#
188d2cb149Sdrh# Author contact information:
198d2cb149Sdrh#   [email protected]
208d2cb149Sdrh#   http://www.hwaci.com/drh/
218d2cb149Sdrh#
228d2cb149Sdrh#***********************************************************************
238d2cb149Sdrh# This file implements regression tests for SQLite library.  The
248d2cb149Sdrh# focus of this file is testing expressions.
258d2cb149Sdrh#
26*8be51133Sdrh# $Id: expr.test,v 1.4 2000/06/03 19:19:42 drh Exp $
278d2cb149Sdrh
288d2cb149Sdrhset testdir [file dirname $argv0]
298d2cb149Sdrhsource $testdir/tester.tcl
308d2cb149Sdrh
318d2cb149Sdrh# Create a table to work with.
328d2cb149Sdrh#
338d2cb149Sdrhexecsql {CREATE TABLE test1(i1 int, i2 int, r1 real, r2 real, t1 text, t2 text)}
348d2cb149Sdrhexecsql {INSERT INTO test1 VALUES(1,2,1.1,2.2,'hello','world')}
358d2cb149Sdrhproc test_expr {name settings expr result} {
368d2cb149Sdrh  do_test $name [format {
378d2cb149Sdrh    execsql {UPDATE test1 SET %s}
388d2cb149Sdrh    execsql {SELECT %s FROM test1}
398d2cb149Sdrh  } $settings $expr] $result
408d2cb149Sdrh}
418d2cb149Sdrh
428d2cb149Sdrhtest_expr expr-1.1 {i1=10, i2=20} {i1+i2} 30
438d2cb149Sdrhtest_expr expr-1.2 {i1=10, i2=20} {i1-i2} -10
448d2cb149Sdrhtest_expr expr-1.3 {i1=10, i2=20} {i1*i2} 200
458d2cb149Sdrhtest_expr expr-1.4 {i1=10, i2=20} {i1/i2} 0.5
468d2cb149Sdrhtest_expr expr-1.5 {i1=10, i2=20} {i2/i1} 2
478d2cb149Sdrhtest_expr expr-1.6 {i1=10, i2=20} {i2<i1} 0
488d2cb149Sdrhtest_expr expr-1.7 {i1=10, i2=20} {i2<=i1} 0
498d2cb149Sdrhtest_expr expr-1.8 {i1=10, i2=20} {i2>i1} 1
508d2cb149Sdrhtest_expr expr-1.9 {i1=10, i2=20} {i2>=i1} 1
518d2cb149Sdrhtest_expr expr-1.10 {i1=10, i2=20} {i2!=i1} 1
528d2cb149Sdrhtest_expr expr-1.11 {i1=10, i2=20} {i2=i1} 0
538d2cb149Sdrhtest_expr expr-1.12 {i1=10, i2=20} {i2<>i1} 1
548d2cb149Sdrhtest_expr expr-1.13 {i1=10, i2=20} {i2==i1} 0
558d2cb149Sdrhtest_expr expr-1.14 {i1=20, i2=20} {i2<i1} 0
568d2cb149Sdrhtest_expr expr-1.15 {i1=20, i2=20} {i2<=i1} 1
578d2cb149Sdrhtest_expr expr-1.16 {i1=20, i2=20} {i2>i1} 0
588d2cb149Sdrhtest_expr expr-1.17 {i1=20, i2=20} {i2>=i1} 1
598d2cb149Sdrhtest_expr expr-1.18 {i1=20, i2=20} {i2!=i1} 0
608d2cb149Sdrhtest_expr expr-1.19 {i1=20, i2=20} {i2=i1} 1
618d2cb149Sdrhtest_expr expr-1.20 {i1=20, i2=20} {i2<>i1} 0
628d2cb149Sdrhtest_expr expr-1.21 {i1=20, i2=20} {i2==i1} 1
638d2cb149Sdrhtest_expr expr-1.22 {i1=1, i2=2, r1=3.0} {i1+i2*r1} {7}
648d2cb149Sdrhtest_expr expr-1.23 {i1=1, i2=2, r1=3.0} {(i1+i2)*r1} {9}
653aadb2e6Sdrhtest_expr expr-1.24 {i1=1, i2=2} {min(i1,i2,i1+i2,i1-i2)} {-1}
663aadb2e6Sdrhtest_expr expr-1.25 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
67*8be51133Sdrhtest_expr expr-1.26 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
68*8be51133Sdrhtest_expr expr-1.27 {i1=1, i2=2} {i1==1 AND i2=2} {1}
69*8be51133Sdrhtest_expr expr-1.28 {i1=1, i2=2} {i1=2 AND i2=1} {0}
70*8be51133Sdrhtest_expr expr-1.29 {i1=1, i2=2} {i1=1 AND i2=1} {0}
71*8be51133Sdrhtest_expr expr-1.30 {i1=1, i2=2} {i1=2 AND i2=2} {0}
72*8be51133Sdrhtest_expr expr-1.31 {i1=1, i2=2} {i1==1 OR i2=2} {1}
73*8be51133Sdrhtest_expr expr-1.32 {i1=1, i2=2} {i1=2 OR i2=1} {0}
74*8be51133Sdrhtest_expr expr-1.33 {i1=1, i2=2} {i1=1 OR i2=1} {1}
75*8be51133Sdrhtest_expr expr-1.34 {i1=1, i2=2} {i1=2 OR i2=2} {1}
76*8be51133Sdrhtest_expr expr-1.35 {i1=1, i2=2} {i1-i2=-1} {1}
77*8be51133Sdrhtest_expr expr-1.36 {i1=1, i2=0} {not i1} {0}
78*8be51133Sdrhtest_expr expr-1.37 {i1=1, i2=NULL} {not i2} {1}
798d2cb149Sdrh
803aadb2e6Sdrhtest_expr expr-2.1 {r1=1.23, r2=2.34} {r1+r2} 3.57
813aadb2e6Sdrhtest_expr expr-2.2 {r1=1.23, r2=2.34} {r1-r2} -1.11
823aadb2e6Sdrhtest_expr expr-2.3 {r1=1.23, r2=2.34} {r1*r2} 2.8782
833aadb2e6Sdrhtest_expr expr-2.4 {r1=1.23, r2=2.34} {r1/r2} 0.525641
843aadb2e6Sdrhtest_expr expr-2.5 {r1=1.23, r2=2.34} {r2/r1} 1.90244
853aadb2e6Sdrhtest_expr expr-2.6 {r1=1.23, r2=2.34} {r2<r1} 0
863aadb2e6Sdrhtest_expr expr-2.7 {r1=1.23, r2=2.34} {r2<=r1} 0
873aadb2e6Sdrhtest_expr expr-2.8 {r1=1.23, r2=2.34} {r2>r1} 1
883aadb2e6Sdrhtest_expr expr-2.9 {r1=1.23, r2=2.34} {r2>=r1} 1
893aadb2e6Sdrhtest_expr expr-2.10 {r1=1.23, r2=2.34} {r2!=r1} 1
903aadb2e6Sdrhtest_expr expr-2.11 {r1=1.23, r2=2.34} {r2=r1} 0
913aadb2e6Sdrhtest_expr expr-2.12 {r1=1.23, r2=2.34} {r2<>r1} 1
923aadb2e6Sdrhtest_expr expr-2.13 {r1=1.23, r2=2.34} {r2==r1} 0
933aadb2e6Sdrhtest_expr expr-2.14 {r1=2.34, r2=2.34} {r2<r1} 0
943aadb2e6Sdrhtest_expr expr-2.15 {r1=2.34, r2=2.34} {r2<=r1} 1
953aadb2e6Sdrhtest_expr expr-2.16 {r1=2.34, r2=2.34} {r2>r1} 0
963aadb2e6Sdrhtest_expr expr-2.17 {r1=2.34, r2=2.34} {r2>=r1} 1
973aadb2e6Sdrhtest_expr expr-2.18 {r1=2.34, r2=2.34} {r2!=r1} 0
983aadb2e6Sdrhtest_expr expr-2.19 {r1=2.34, r2=2.34} {r2=r1} 1
993aadb2e6Sdrhtest_expr expr-2.20 {r1=2.34, r2=2.34} {r2<>r1} 0
1003aadb2e6Sdrhtest_expr expr-2.21 {r1=2.34, r2=2.34} {r2==r1} 1
1013aadb2e6Sdrhtest_expr expr-2.22 {r1=1.23, r2=2.34} {min(r1,r2,r1+r2,r1-r2)} {-1.11}
1023aadb2e6Sdrhtest_expr expr-2.23 {r1=1.23, r2=2.34} {max(r1,r2,r1+r2,r1-r2)} {3.57}
1033aadb2e6Sdrh
104ec86adb8Sdrhtest_expr expr-3.1 {t1='abc', t2='xyz'} {t1<t2} 1
105ec86adb8Sdrhtest_expr expr-3.2 {t1='xyz', t2='abc'} {t1<t2} 0
106ec86adb8Sdrhtest_expr expr-3.3 {t1='abc', t2='abc'} {t1<t2} 0
107ec86adb8Sdrhtest_expr expr-3.4 {t1='abc', t2='xyz'} {t1<=t2} 1
108ec86adb8Sdrhtest_expr expr-3.5 {t1='xyz', t2='abc'} {t1<=t2} 0
109ec86adb8Sdrhtest_expr expr-3.6 {t1='abc', t2='abc'} {t1<=t2} 1
110ec86adb8Sdrhtest_expr expr-3.7 {t1='abc', t2='xyz'} {t1>t2} 0
111ec86adb8Sdrhtest_expr expr-3.8 {t1='xyz', t2='abc'} {t1>t2} 1
112ec86adb8Sdrhtest_expr expr-3.9 {t1='abc', t2='abc'} {t1>t2} 0
113ec86adb8Sdrhtest_expr expr-3.10 {t1='abc', t2='xyz'} {t1>=t2} 0
114ec86adb8Sdrhtest_expr expr-3.11 {t1='xyz', t2='abc'} {t1>=t2} 1
115ec86adb8Sdrhtest_expr expr-3.12 {t1='abc', t2='abc'} {t1>=t2} 1
116ec86adb8Sdrhtest_expr expr-3.13 {t1='abc', t2='xyz'} {t1=t2} 0
117ec86adb8Sdrhtest_expr expr-3.14 {t1='xyz', t2='abc'} {t1=t2} 0
118ec86adb8Sdrhtest_expr expr-3.15 {t1='abc', t2='abc'} {t1=t2} 1
119ec86adb8Sdrhtest_expr expr-3.16 {t1='abc', t2='xyz'} {t1==t2} 0
120ec86adb8Sdrhtest_expr expr-3.17 {t1='xyz', t2='abc'} {t1==t2} 0
121ec86adb8Sdrhtest_expr expr-3.18 {t1='abc', t2='abc'} {t1==t2} 1
122ec86adb8Sdrhtest_expr expr-3.19 {t1='abc', t2='xyz'} {t1<>t2} 1
123ec86adb8Sdrhtest_expr expr-3.20 {t1='xyz', t2='abc'} {t1<>t2} 1
124ec86adb8Sdrhtest_expr expr-3.21 {t1='abc', t2='abc'} {t1<>t2} 0
125ec86adb8Sdrhtest_expr expr-3.22 {t1='abc', t2='xyz'} {t1!=t2} 1
126ec86adb8Sdrhtest_expr expr-3.23 {t1='xyz', t2='abc'} {t1!=t2} 1
127ec86adb8Sdrhtest_expr expr-3.24 {t1='abc', t2='abc'} {t1!=t2} 0
128*8be51133Sdrhtest_expr expr-3.25 {t1=NULL, t2='hi'} {t1 isnull} 1
129*8be51133Sdrhtest_expr expr-3.26 {t1=NULL, t2='hi'} {t2 isnull} 0
130*8be51133Sdrhtest_expr expr-3.27 {t1=NULL, t2='hi'} {t1 notnull} 0
131*8be51133Sdrhtest_expr expr-3.28 {t1=NULL, t2='hi'} {t2 notnull} 1
132ec86adb8Sdrh
133ec86adb8Sdrhtest_expr expr-4.1 {t1='abc', t2='Abc'} {t1<t2} 0
134ec86adb8Sdrhtest_expr expr-4.2 {t1='abc', t2='Abc'} {t1>t2} 1
135ec86adb8Sdrhtest_expr expr-4.3 {t1='abc', t2='Bbc'} {t1<t2} 1
136ec86adb8Sdrhtest_expr expr-4.4 {t1='abc', t2='Bbc'} {t1>t2} 0
137ec86adb8Sdrh
138ec86adb8Sdrhtest_expr expr-5.1 {t1='abc', t2='xyz'} {t1 LIKE t2} 0
139ec86adb8Sdrhtest_expr expr-5.2 {t1='abc', t2='ABC'} {t1 LIKE t2} 1
140ec86adb8Sdrhtest_expr expr-5.3 {t1='abc', t2='A_C'} {t1 LIKE t2} 1
141ec86adb8Sdrhtest_expr expr-5.4 {t1='abc', t2='abc_'} {t1 LIKE t2} 0
142ec86adb8Sdrhtest_expr expr-5.5 {t1='abc', t2='A%C'} {t1 LIKE t2} 1
143ec86adb8Sdrhtest_expr expr-5.6 {t1='abxyzzyc', t2='A%C'} {t1 LIKE t2} 1
144ec86adb8Sdrhtest_expr expr-5.7 {t1='abxyzzy', t2='A%C'} {t1 LIKE t2} 0
145ec86adb8Sdrhtest_expr expr-5.8 {t1='abxyzzycx', t2='A%C'} {t1 LIKE t2} 0
146ec86adb8Sdrh
147*8be51133Sdrhtest_expr expr-6.1 {t1='abc', t2='xyz'} {t1 GLOB t2} 0
148*8be51133Sdrhtest_expr expr-6.2 {t1='abc', t2='ABC'} {t1 GLOB t2} 0
149*8be51133Sdrhtest_expr expr-6.3 {t1='abc', t2='A?C'} {t1 GLOB t2} 0
150*8be51133Sdrhtest_expr expr-6.4 {t1='abc', t2='a?c'} {t1 GLOB t2} 1
151*8be51133Sdrhtest_expr expr-6.5 {t1='abc', t2='abc?'} {t1 GLOB t2} 0
152*8be51133Sdrhtest_expr expr-6.6 {t1='abc', t2='A*C'} {t1 GLOB t2} 0
153*8be51133Sdrhtest_expr expr-6.7 {t1='abc', t2='a*c'} {t1 GLOB t2} 1
154*8be51133Sdrhtest_expr expr-6.8 {t1='abxyzzyc', t2='a*c'} {t1 GLOB t2} 1
155*8be51133Sdrhtest_expr expr-6.9 {t1='abxyzzy', t2='a*c'} {t1 GLOB t2} 0
156*8be51133Sdrhtest_expr expr-6.10 {t1='abxyzzycx', t2='a*c'} {t1 GLOB t2} 0
157*8be51133Sdrh
158*8be51133Sdrh
159*8be51133Sdrh# The sqliteExprIfFalse and sqliteExprIfTrue routines are only
160*8be51133Sdrh# executed as part of a WHERE clause.  Create a table suitable
161*8be51133Sdrh# for testing these functions.
162*8be51133Sdrh#
163*8be51133Sdrhexecsql {DROP TABLE test1}
164*8be51133Sdrhexecsql {CREATE TABLE test1(a int, b int);}
165*8be51133Sdrhfor {set i 1} {$i<=20} {incr i} {
166*8be51133Sdrh  execsql "INSERT INTO test1 VALUES($i,[expr {int(pow(2,$i))}])"
167*8be51133Sdrh}
168*8be51133Sdrhexecsql "INSERT INTO test1 VALUES(NULL,0)"
169*8be51133Sdrhdo_test expr-7.1 {
170*8be51133Sdrh  execsql {SELECT * FROM test1 ORDER BY a}
171*8be51133Sdrh} {{} 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}
172*8be51133Sdrh
173*8be51133Sdrhproc test_expr2 {name expr result} {
174*8be51133Sdrh  do_test $name [format {
175*8be51133Sdrh    execsql {SELECT a FROM test1 WHERE %s ORDER BY a}
176*8be51133Sdrh  } $expr] $result
177*8be51133Sdrh}
178*8be51133Sdrh
179*8be51133Sdrhtest_expr2 expr-7.2  {a<10 AND a>8}                  {9}
180*8be51133Sdrhtest_expr2 expr-7.3  {a<=10 AND a>=8}                {8 9 10}
181*8be51133Sdrhtest_expr2 expr-7.4  {a>=8 AND a<=10}                {8 9 10}
182*8be51133Sdrhtest_expr2 expr-7.5  {a>=20 OR a<=1}                 {{} 1 20}
183*8be51133Sdrhtest_expr2 expr-7.6  {b!=4 AND a<=3}                 {{} 1 3}
184*8be51133Sdrhtest_expr2 expr-7.7  {b==8 OR b==16 OR b==32}        {3 4 5}
185*8be51133Sdrhtest_expr2 expr-7.8  {NOT b<>8 OR b==1024}           {3 10}
186*8be51133Sdrhtest_expr2 expr-7.9  {b LIKE '10%'}                  {10 20}
187*8be51133Sdrhtest_expr2 expr-7.10 {b LIKE '_4'}                   {6}
188*8be51133Sdrhtest_expr2 expr-7.11 {a GLOB '1?'}            {10 11 12 13 14 15 16 17 18 19}
189*8be51133Sdrhtest_expr2 expr-7.12 {b GLOB '1*4'}                  {10 14}
190*8be51133Sdrhtest_expr2 expr-7.13 {b GLOB '*1[456]'}              {4}
191*8be51133Sdrhtest_expr2 expr-7.14 {a ISNULL}                      {{}}
192*8be51133Sdrhtest_expr2 expr-7.15 {a NOTNULL AND a<3}             {1 2}
193*8be51133Sdrhtest_expr2 expr-7.16 {a AND a<3}                     {1 2}
194*8be51133Sdrhtest_expr2 expr-7.17 {NOT a}                         {{}}
195*8be51133Sdrhtest_expr2 expr-7.18 {a==11 OR (b>1000 AND b<2000)}  {10 11}
196*8be51133Sdrhtest_expr2 expr-7.19 {a<=1 OR a>=20}                 {{} 1 20}
197*8be51133Sdrhtest_expr2 expr-7.20 {a<1 OR a>20}                   {{}}
198*8be51133Sdrhtest_expr2 expr-7.21 {a>19 OR a<1}                   {{} 20}
199*8be51133Sdrhtest_expr2 expr-7.22 {a!=1 OR a=100} \
200*8be51133Sdrh                         {{} 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
201*8be51133Sdrhtest_expr2 expr-7.23 {(a notnull AND a<4) OR a==8}   {1 2 3 8}
202*8be51133Sdrhtest_expr2 expr-7.24 {a LIKE '2_' OR a==8}           {8 20}
203*8be51133Sdrhtest_expr2 expr-7.25 {a GLOB '2?' OR a==8}           {8 20}
204*8be51133Sdrhtest_expr2 expr-7.26 {a isnull OR a=8}               {{} 8}
205*8be51133Sdrhtest_expr2 expr-7.27 {a notnull OR a=8} \
206*8be51133Sdrh                          {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
207*8be51133Sdrh
2088d2cb149Sdrhfinish_test
209