wasCSharpSQLite – Blame information for rev 7
?pathlinks?
Rev | Author | Line No. | Line |
---|---|---|---|
1 | office | 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 |