third_party/sqlite/sqlite-src-3080704/test/cse.test

   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