OLD | NEW |
| (Empty) |
1 # 2005 December 21 | |
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 script is descending indices. | |
13 # | |
14 # $Id: descidx1.test,v 1.10 2008/03/19 00:21:31 drh Exp $ | |
15 # | |
16 | |
17 set testdir [file dirname $argv0] | |
18 source $testdir/tester.tcl | |
19 | |
20 # Do not use a codec for tests in this file, as the database file is | |
21 # manipulated directly using tcl scripts (using the [hexio_write] command). | |
22 # | |
23 do_not_use_codec | |
24 | |
25 db eval {PRAGMA legacy_file_format=OFF} | |
26 | |
27 # This procedure sets the value of the file-format in file 'test.db' | |
28 # to $newval. Also, the schema cookie is incremented. | |
29 # | |
30 proc set_file_format {newval} { | |
31 hexio_write test.db 44 [hexio_render_int32 $newval] | |
32 set schemacookie [hexio_get_int [hexio_read test.db 40 4]] | |
33 incr schemacookie | |
34 hexio_write test.db 40 [hexio_render_int32 $schemacookie] | |
35 return {} | |
36 } | |
37 | |
38 # This procedure returns the value of the file-format in file 'test.db'. | |
39 # | |
40 proc get_file_format {{fname test.db}} { | |
41 return [hexio_get_int [hexio_read $fname 44 4]] | |
42 } | |
43 | |
44 | |
45 # Verify that the file format starts as 4. | |
46 # | |
47 do_test descidx1-1.1 { | |
48 execsql { | |
49 CREATE TABLE t1(a,b); | |
50 CREATE INDEX i1 ON t1(b ASC); | |
51 } | |
52 get_file_format | |
53 } {4} | |
54 do_test descidx1-1.2 { | |
55 execsql { | |
56 CREATE INDEX i2 ON t1(a DESC); | |
57 } | |
58 get_file_format | |
59 } {4} | |
60 | |
61 # Put some information in the table and verify that the descending | |
62 # index actually works. | |
63 # | |
64 do_test descidx1-2.1 { | |
65 execsql { | |
66 INSERT INTO t1 VALUES(1,1); | |
67 INSERT INTO t1 VALUES(2,2); | |
68 INSERT INTO t1 SELECT a+2, a+2 FROM t1; | |
69 INSERT INTO t1 SELECT a+4, a+4 FROM t1; | |
70 SELECT b FROM t1 WHERE a>3 AND a<7; | |
71 } | |
72 } {6 5 4} | |
73 do_test descidx1-2.2 { | |
74 execsql { | |
75 SELECT a FROM t1 WHERE b>3 AND b<7; | |
76 } | |
77 } {4 5 6} | |
78 do_test descidx1-2.3 { | |
79 execsql { | |
80 SELECT b FROM t1 WHERE a>=3 AND a<7; | |
81 } | |
82 } {6 5 4 3} | |
83 do_test descidx1-2.4 { | |
84 execsql { | |
85 SELECT b FROM t1 WHERE a>3 AND a<=7; | |
86 } | |
87 } {7 6 5 4} | |
88 do_test descidx1-2.5 { | |
89 execsql { | |
90 SELECT b FROM t1 WHERE a>=3 AND a<=7; | |
91 } | |
92 } {7 6 5 4 3} | |
93 do_test descidx1-2.6 { | |
94 execsql { | |
95 SELECT a FROM t1 WHERE b>=3 AND b<=7; | |
96 } | |
97 } {3 4 5 6 7} | |
98 | |
99 # This procedure executes the SQL. Then it checks to see if the OP_Sort | |
100 # opcode was executed. If an OP_Sort did occur, then "sort" is appended | |
101 # to the result. If no OP_Sort happened, then "nosort" is appended. | |
102 # | |
103 # This procedure is used to check to make sure sorting is or is not | |
104 # occurring as expected. | |
105 # | |
106 proc cksort {sql} { | |
107 set ::sqlite_sort_count 0 | |
108 set data [execsql $sql] | |
109 if {$::sqlite_sort_count} {set x sort} {set x nosort} | |
110 lappend data $x | |
111 return $data | |
112 } | |
113 | |
114 # Test sorting using a descending index. | |
115 # | |
116 do_test descidx1-3.1 { | |
117 cksort {SELECT a FROM t1 ORDER BY a} | |
118 } {1 2 3 4 5 6 7 8 nosort} | |
119 do_test descidx1-3.2 { | |
120 cksort {SELECT a FROM t1 ORDER BY a ASC} | |
121 } {1 2 3 4 5 6 7 8 nosort} | |
122 do_test descidx1-3.3 { | |
123 cksort {SELECT a FROM t1 ORDER BY a DESC} | |
124 } {8 7 6 5 4 3 2 1 nosort} | |
125 do_test descidx1-3.4 { | |
126 cksort {SELECT b FROM t1 ORDER BY a} | |
127 } {1 2 3 4 5 6 7 8 nosort} | |
128 do_test descidx1-3.5 { | |
129 cksort {SELECT b FROM t1 ORDER BY a ASC} | |
130 } {1 2 3 4 5 6 7 8 nosort} | |
131 do_test descidx1-3.6 { | |
132 cksort {SELECT b FROM t1 ORDER BY a DESC} | |
133 } {8 7 6 5 4 3 2 1 nosort} | |
134 do_test descidx1-3.7 { | |
135 cksort {SELECT a FROM t1 ORDER BY b} | |
136 } {1 2 3 4 5 6 7 8 nosort} | |
137 do_test descidx1-3.8 { | |
138 cksort {SELECT a FROM t1 ORDER BY b ASC} | |
139 } {1 2 3 4 5 6 7 8 nosort} | |
140 do_test descidx1-3.9 { | |
141 cksort {SELECT a FROM t1 ORDER BY b DESC} | |
142 } {8 7 6 5 4 3 2 1 nosort} | |
143 do_test descidx1-3.10 { | |
144 cksort {SELECT b FROM t1 ORDER BY b} | |
145 } {1 2 3 4 5 6 7 8 nosort} | |
146 do_test descidx1-3.11 { | |
147 cksort {SELECT b FROM t1 ORDER BY b ASC} | |
148 } {1 2 3 4 5 6 7 8 nosort} | |
149 do_test descidx1-3.12 { | |
150 cksort {SELECT b FROM t1 ORDER BY b DESC} | |
151 } {8 7 6 5 4 3 2 1 nosort} | |
152 | |
153 do_test descidx1-3.21 { | |
154 cksort {SELECT a FROM t1 WHERE a>3 AND a<8 ORDER BY a} | |
155 } {4 5 6 7 nosort} | |
156 do_test descidx1-3.22 { | |
157 cksort {SELECT a FROM t1 WHERE a>3 AND a<8 ORDER BY a ASC} | |
158 } {4 5 6 7 nosort} | |
159 do_test descidx1-3.23 { | |
160 cksort {SELECT a FROM t1 WHERE a>3 AND a<8 ORDER BY a DESC} | |
161 } {7 6 5 4 nosort} | |
162 do_test descidx1-3.24 { | |
163 cksort {SELECT b FROM t1 WHERE a>3 AND a<8 ORDER BY a} | |
164 } {4 5 6 7 nosort} | |
165 do_test descidx1-3.25 { | |
166 cksort {SELECT b FROM t1 WHERE a>3 AND a<8 ORDER BY a ASC} | |
167 } {4 5 6 7 nosort} | |
168 do_test descidx1-3.26 { | |
169 cksort {SELECT b FROM t1 WHERE a>3 AND a<8 ORDER BY a DESC} | |
170 } {7 6 5 4 nosort} | |
171 | |
172 # Create a table with indices that are descending on some terms and | |
173 # ascending on others. | |
174 # | |
175 ifcapable bloblit { | |
176 do_test descidx1-4.1 { | |
177 execsql { | |
178 CREATE TABLE t2(a INT, b TEXT, c BLOB, d REAL); | |
179 CREATE INDEX i3 ON t2(a ASC, b DESC, c ASC); | |
180 CREATE INDEX i4 ON t2(b DESC, a ASC, d DESC); | |
181 INSERT INTO t2 VALUES(1,'one',x'31',1.0); | |
182 INSERT INTO t2 VALUES(2,'two',x'3232',2.0); | |
183 INSERT INTO t2 VALUES(3,'three',x'333333',3.0); | |
184 INSERT INTO t2 VALUES(4,'four',x'34343434',4.0); | |
185 INSERT INTO t2 VALUES(5,'five',x'3535353535',5.0); | |
186 INSERT INTO t2 VALUES(6,'six',x'363636363636',6.0); | |
187 INSERT INTO t2 VALUES(2,'two',x'323232',2.1); | |
188 INSERT INTO t2 VALUES(2,'zwei',x'3232',2.2); | |
189 INSERT INTO t2 VALUES(2,NULL,NULL,2.3); | |
190 SELECT count(*) FROM t2; | |
191 } | |
192 } {9} | |
193 do_test descidx1-4.2 { | |
194 execsql { | |
195 SELECT d FROM t2 ORDER BY a; | |
196 } | |
197 } {1.0 2.2 2.0 2.1 2.3 3.0 4.0 5.0 6.0} | |
198 do_test descidx1-4.3 { | |
199 execsql { | |
200 SELECT d FROM t2 WHERE a>=2 ORDER BY a; | |
201 } | |
202 } {2.2 2.0 2.1 2.3 3.0 4.0 5.0 6.0} | |
203 do_test descidx1-4.4 { | |
204 execsql { | |
205 SELECT d FROM t2 WHERE a>2 ORDER BY a; | |
206 } | |
207 } {3.0 4.0 5.0 6.0} | |
208 do_test descidx1-4.5 { | |
209 execsql { | |
210 SELECT d FROM t2 WHERE a=2 AND b>'two'; | |
211 } | |
212 } {2.2} | |
213 do_test descidx1-4.6 { | |
214 execsql { | |
215 SELECT d FROM t2 WHERE a=2 AND b>='two'; | |
216 } | |
217 } {2.2 2.0 2.1} | |
218 do_test descidx1-4.7 { | |
219 execsql { | |
220 SELECT d FROM t2 WHERE a=2 AND b<'two'; | |
221 } | |
222 } {} | |
223 do_test descidx1-4.8 { | |
224 execsql { | |
225 SELECT d FROM t2 WHERE a=2 AND b<='two'; | |
226 } | |
227 } {2.0 2.1} | |
228 } | |
229 | |
230 do_test descidx1-5.1 { | |
231 execsql { | |
232 CREATE TABLE t3(a,b,c,d); | |
233 CREATE INDEX t3i1 ON t3(a DESC, b ASC, c DESC, d ASC); | |
234 INSERT INTO t3 VALUES(0,0,0,0); | |
235 INSERT INTO t3 VALUES(0,0,0,1); | |
236 INSERT INTO t3 VALUES(0,0,1,0); | |
237 INSERT INTO t3 VALUES(0,0,1,1); | |
238 INSERT INTO t3 VALUES(0,1,0,0); | |
239 INSERT INTO t3 VALUES(0,1,0,1); | |
240 INSERT INTO t3 VALUES(0,1,1,0); | |
241 INSERT INTO t3 VALUES(0,1,1,1); | |
242 INSERT INTO t3 VALUES(1,0,0,0); | |
243 INSERT INTO t3 VALUES(1,0,0,1); | |
244 INSERT INTO t3 VALUES(1,0,1,0); | |
245 INSERT INTO t3 VALUES(1,0,1,1); | |
246 INSERT INTO t3 VALUES(1,1,0,0); | |
247 INSERT INTO t3 VALUES(1,1,0,1); | |
248 INSERT INTO t3 VALUES(1,1,1,0); | |
249 INSERT INTO t3 VALUES(1,1,1,1); | |
250 SELECT count(*) FROM t3; | |
251 } | |
252 } {16} | |
253 do_test descidx1-5.2 { | |
254 cksort { | |
255 SELECT a||b||c||d FROM t3 ORDER BY a,b,c,d; | |
256 } | |
257 } {0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 11
11 sort} | |
258 do_test descidx1-5.3 { | |
259 cksort { | |
260 SELECT a||b||c||d FROM t3 ORDER BY a DESC, b ASC, c DESC, d ASC; | |
261 } | |
262 } {1010 1011 1000 1001 1110 1111 1100 1101 0010 0011 0000 0001 0110 0111 0100 01
01 nosort} | |
263 do_test descidx1-5.4 { | |
264 cksort { | |
265 SELECT a||b||c||d FROM t3 ORDER BY a ASC, b DESC, c ASC, d DESC; | |
266 } | |
267 } {0101 0100 0111 0110 0001 0000 0011 0010 1101 1100 1111 1110 1001 1000 1011 10
10 nosort} | |
268 do_test descidx1-5.5 { | |
269 cksort { | |
270 SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a DESC, b ASC, c DESC | |
271 } | |
272 } {101 100 111 110 001 000 011 010 nosort} | |
273 do_test descidx1-5.6 { | |
274 cksort { | |
275 SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a ASC, b DESC, c ASC | |
276 } | |
277 } {010 011 000 001 110 111 100 101 nosort} | |
278 do_test descidx1-5.7 { | |
279 cksort { | |
280 SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a ASC, b DESC, c DESC | |
281 } | |
282 } {011 010 001 000 111 110 101 100 sort} | |
283 do_test descidx1-5.8 { | |
284 cksort { | |
285 SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a ASC, b ASC, c ASC | |
286 } | |
287 } {000 001 010 011 100 101 110 111 sort} | |
288 do_test descidx1-5.9 { | |
289 cksort { | |
290 SELECT a||b||c FROM t3 WHERE d=0 ORDER BY a DESC, b DESC, c ASC | |
291 } | |
292 } {110 111 100 101 010 011 000 001 sort} | |
293 | |
294 # Test the legacy_file_format pragma here because we have access to | |
295 # the get_file_format command. | |
296 # | |
297 ifcapable legacyformat { | |
298 do_test descidx1-6.1 { | |
299 db close | |
300 forcedelete test.db test.db-journal | |
301 sqlite3 db test.db | |
302 execsql {PRAGMA legacy_file_format} | |
303 } {1} | |
304 } else { | |
305 do_test descidx1-6.1 { | |
306 db close | |
307 forcedelete test.db test.db-journal | |
308 sqlite3 db test.db | |
309 execsql {PRAGMA legacy_file_format} | |
310 } {0} | |
311 } | |
312 do_test descidx1-6.2 { | |
313 execsql {PRAGMA legacy_file_format=YES} | |
314 execsql {PRAGMA legacy_file_format} | |
315 } {1} | |
316 do_test descidx1-6.3 { | |
317 execsql { | |
318 CREATE TABLE t1(a,b,c); | |
319 } | |
320 get_file_format | |
321 } {1} | |
322 ifcapable vacuum { | |
323 # Verify that the file format is preserved across a vacuum. | |
324 do_test descidx1-6.3.1 { | |
325 execsql {VACUUM} | |
326 get_file_format | |
327 } {1} | |
328 } | |
329 do_test descidx1-6.4 { | |
330 db close | |
331 forcedelete test.db test.db-journal | |
332 sqlite3 db test.db | |
333 execsql {PRAGMA legacy_file_format=NO} | |
334 execsql {PRAGMA legacy_file_format} | |
335 } {0} | |
336 do_test descidx1-6.5 { | |
337 execsql { | |
338 CREATE TABLE t1(a,b,c); | |
339 CREATE INDEX i1 ON t1(a ASC, b DESC, c ASC); | |
340 INSERT INTO t1 VALUES(1,2,3); | |
341 INSERT INTO t1 VALUES(1,1,0); | |
342 INSERT INTO t1 VALUES(1,2,1); | |
343 INSERT INTO t1 VALUES(1,3,4); | |
344 } | |
345 get_file_format | |
346 } {4} | |
347 ifcapable vacuum { | |
348 # Verify that the file format is preserved across a vacuum. | |
349 do_test descidx1-6.6 { | |
350 execsql {VACUUM} | |
351 get_file_format | |
352 } {4} | |
353 do_test descidx1-6.7 { | |
354 execsql { | |
355 PRAGMA legacy_file_format=ON; | |
356 VACUUM; | |
357 } | |
358 get_file_format | |
359 } {4} | |
360 } | |
361 | |
362 | |
363 | |
364 finish_test | |
OLD | NEW |