| 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 |