OLD | NEW |
| (Empty) |
1 # 2008 April 1 | |
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 # | |
12 # Test cases designed to exercise and verify the logic for | |
13 # factoring constant expressions out of loops and for | |
14 # common subexpression eliminations. | |
15 # | |
16 # $Id: cse.test,v 1.6 2008/08/04 03:51:24 danielk1977 Exp $ | |
17 # | |
18 | |
19 set testdir [file dirname $argv0] | |
20 source $testdir/tester.tcl | |
21 | |
22 do_test cse-1.1 { | |
23 execsql { | |
24 CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c, d, e, f); | |
25 INSERT INTO t1 VALUES(1,11,12,13,14,15); | |
26 INSERT INTO t1 VALUES(2,21,22,23,24,25); | |
27 } | |
28 execsql { | |
29 SELECT b, -b, ~b, NOT b, NOT NOT b, b-b, b+b, b*b, b/b, b FROM t1 | |
30 } | |
31 } {11 -11 -12 0 1 0 22 121 1 11 21 -21 -22 0 1 0 42 441 1 21} | |
32 do_test cse-1.2 { | |
33 execsql { | |
34 SELECT b, b%b, b==b, b!=b, b<b, b<=b, b IS NULL, b NOT NULL, b FROM t1 | |
35 } | |
36 } {11 0 1 0 0 1 0 1 11 21 0 1 0 0 1 0 1 21} | |
37 do_test cse-1.3 { | |
38 execsql { | |
39 SELECT b, abs(b), coalesce(b,-b,NOT b,c,NOT c), c, -c FROM t1; | |
40 } | |
41 } {11 11 11 12 -12 21 21 21 22 -22} | |
42 do_test cse-1.4 { | |
43 execsql { | |
44 SELECT CASE WHEN a==1 THEN b ELSE c END, b, c FROM t1 | |
45 } | |
46 } {11 11 12 22 21 22} | |
47 do_test cse-1.5 { | |
48 execsql { | |
49 SELECT CASE a WHEN 1 THEN b WHEN 2 THEN c ELSE d END, b, c, d FROM t1 | |
50 } | |
51 } {11 11 12 13 22 21 22 23} | |
52 do_test cse-1.6.1 { | |
53 execsql { | |
54 SELECT CASE b WHEN 11 THEN -b WHEN 21 THEN -c ELSE -d END, b, c, d FROM t1 | |
55 } | |
56 } {-11 11 12 13 -22 21 22 23} | |
57 do_test cse-1.6.2 { | |
58 execsql { | |
59 SELECT CASE b+1 WHEN c THEN d WHEN e THEN f ELSE 999 END, b, c, d FROM t1 | |
60 } | |
61 } {13 11 12 13 23 21 22 23} | |
62 do_test cse-1.6.3 { | |
63 execsql { | |
64 SELECT CASE WHEN b THEN d WHEN e THEN f ELSE 999 END, b, c, d FROM t1 | |
65 } | |
66 } {13 11 12 13 23 21 22 23} | |
67 do_test cse-1.6.4 { | |
68 execsql { | |
69 SELECT b, c, d, CASE WHEN b THEN d WHEN e THEN f ELSE 999 END FROM t1 | |
70 } | |
71 } {11 12 13 13 21 22 23 23} | |
72 do_test cse-1.6.5 { | |
73 execsql { | |
74 SELECT b, c, d, CASE WHEN 0 THEN d WHEN e THEN f ELSE 999 END FROM t1 | |
75 } | |
76 } {11 12 13 15 21 22 23 25} | |
77 do_test cse-1.7 { | |
78 execsql { | |
79 SELECT a, -a, ~a, NOT a, NOT NOT a, a-a, a+a, a*a, a/a, a FROM t1 | |
80 } | |
81 } {1 -1 -2 0 1 0 2 1 1 1 2 -2 -3 0 1 0 4 4 1 2} | |
82 do_test cse-1.8 { | |
83 execsql { | |
84 SELECT a, a%a, a==a, a!=a, a<a, a<=a, a IS NULL, a NOT NULL, a FROM t1 | |
85 } | |
86 } {1 0 1 0 0 1 0 1 1 2 0 1 0 0 1 0 1 2} | |
87 do_test cse-1.9 { | |
88 execsql { | |
89 SELECT NOT b, ~b, NOT NOT b, b FROM t1 | |
90 } | |
91 } {0 -12 1 11 0 -22 1 21} | |
92 do_test cse-1.10 { | |
93 execsql { | |
94 SELECT CAST(b AS integer), typeof(b), CAST(b AS text), typeof(b) FROM t1 | |
95 } | |
96 } {11 integer 11 integer 21 integer 21 integer} | |
97 ifcapable compound { | |
98 do_test cse-1.11 { | |
99 execsql { | |
100 SELECT *,* FROM t1 WHERE a=2 | |
101 UNION ALL | |
102 SELECT *,* FROM t1 WHERE a=1 | |
103 } | |
104 } {2 21 22 23 24 25 2 21 22 23 24 25 1 11 12 13 14 15 1 11 12 13 14 15} | |
105 do_test cse-1.12 { | |
106 execsql { | |
107 SELECT coalesce(b,c,d,e), a, b, c, d, e FROM t1 WHERE a=2 | |
108 UNION ALL | |
109 SELECT coalesce(e,d,c,b), e, d, c, b, a FROM t1 WHERE a=1 | |
110 } | |
111 } {21 2 21 22 23 24 14 14 13 12 11 1} | |
112 } | |
113 do_test cse-1.13 { | |
114 execsql { | |
115 SELECT upper(b), typeof(b), b FROM t1 | |
116 } | |
117 } {11 integer 11 21 integer 21} | |
118 do_test cse-1.14 { | |
119 execsql { | |
120 SELECT b, typeof(b), upper(b), typeof(b), b FROM t1 | |
121 } | |
122 } {11 integer 11 integer 11 21 integer 21 integer 21} | |
123 | |
124 # Overflow the column cache. Create queries involving more and more | |
125 # columns until the cache overflows. Verify correct operation throughout. | |
126 # | |
127 do_test cse-2.1 { | |
128 execsql { | |
129 CREATE TABLE t2(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9, | |
130 a10,a11,a12,a13,a14,a15,a16,a17,a18,a19, | |
131 a20,a21,a22,a23,a24,a25,a26,a27,a28,a29, | |
132 a30,a31,a32,a33,a34,a35,a36,a37,a38,a39, | |
133 a40,a41,a42,a43,a44,a45,a46,a47,a48,a49); | |
134 INSERT INTO t2 VALUES(0,1,2,3,4,5,6,7,8,9, | |
135 10,11,12,13,14,15,16,17,18,19, | |
136 20,21,22,23,24,25,26,27,28,29, | |
137 30,31,32,33,34,35,36,37,38,39, | |
138 40,41,42,43,44,45,46,47,48,49); | |
139 SELECT * FROM t2; | |
140 } | |
141 } {0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49} | |
142 | |
143 for {set i 1} {$i<100} {incr i} { | |
144 set n [expr {int(rand()*44)+5}] | |
145 set colset {} | |
146 set answer {} | |
147 for {set j 0} {$j<$n} {incr j} { | |
148 set r [expr {$j+int(rand()*5)}] | |
149 if {$r>49} {set r [expr {99-$r}]} | |
150 lappend colset a$j a$r | |
151 lappend answer $j $r | |
152 } | |
153 set sql "SELECT [join $colset ,] FROM t2" | |
154 do_test cse-2.2.$i { | |
155 # explain $::sql | |
156 execsql $::sql | |
157 } $answer | |
158 } | |
159 | |
160 finish_test | |
OLD | NEW |