AryaWu/sqlite

1# 2008 April 12#3# The author disclaims copyright to this source code.  In place of4# 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 for13# factoring constant expressions out of loops and for14# common subexpression eliminations.15#16# $Id: cse.test,v 1.6 2008/08/04 03:51:24 danielk1977 Exp $17#18 19set testdir [file dirname $argv0]20source $testdir/tester.tcl21set testprefix cse22 23do_test cse-1.1 {24  execsql {25    CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c, d, e, f);26    INSERT INTO t1 VALUES(1,11,12,13,14,15);27    INSERT INTO t1 VALUES(2,21,22,23,24,25);28  }29  execsql {30    SELECT b, -b, ~b, NOT b, NOT NOT b, b-b, b+b, b*b, b/b, b FROM t131  }32} {11 -11 -12 0 1 0 22 121 1 11 21 -21 -22 0 1 0 42 441 1 21}33do_test cse-1.2 {34  execsql {35    SELECT b, b%b, b==b, b!=b, b<b, b<=b, b IS NULL, b NOT NULL, b FROM t136  }37} {11 0 1 0 0 1 0 1 11 21 0 1 0 0 1 0 1 21}38do_test cse-1.3 {39  execsql {40    SELECT b, abs(b), coalesce(b,-b,NOT b,c,NOT c), c, -c FROM t1;41  }42} {11 11 11 12 -12 21 21 21 22 -22}43do_test cse-1.4 {44  execsql {45    SELECT CASE WHEN a==1 THEN b ELSE c END, b, c FROM t146  }47} {11 11 12 22 21 22}48do_test cse-1.5 {49  execsql {50    SELECT CASE a WHEN 1 THEN b WHEN 2 THEN c ELSE d END, b, c, d FROM t151  }52} {11 11 12 13 22 21 22 23}53do_test cse-1.6.1 {54  execsql {55    SELECT CASE b WHEN 11 THEN -b WHEN 21 THEN -c ELSE -d END, b, c, d FROM t156  }57} {-11 11 12 13 -22 21 22 23}58do_test cse-1.6.2 {59  execsql {60    SELECT CASE b+1 WHEN c THEN d WHEN e THEN f ELSE 999 END, b, c, d FROM t161  }62} {13 11 12 13 23 21 22 23}63do_test cse-1.6.3 {64  execsql {65    SELECT CASE WHEN b THEN d WHEN e THEN f ELSE 999 END, b, c, d FROM t166  }67} {13 11 12 13 23 21 22 23}68do_test cse-1.6.4 {69  execsql {70    SELECT b, c, d, CASE WHEN b THEN d WHEN e THEN f ELSE 999 END FROM t171  }72} {11 12 13 13 21 22 23 23}73do_test cse-1.6.5 {74  execsql {75    SELECT b, c, d, CASE WHEN 0 THEN d WHEN e THEN f ELSE 999 END FROM t176  }77} {11 12 13 15 21 22 23 25}78do_test cse-1.7 {79  execsql {80    SELECT a, -a, ~a, NOT a, NOT NOT a, a-a, a+a, a*a, a/a, a FROM t181  }82} {1 -1 -2 0 1 0 2 1 1 1 2 -2 -3 0 1 0 4 4 1 2}83do_test cse-1.8 {84  execsql {85    SELECT a, a%a, a==a, a!=a, a<a, a<=a, a IS NULL, a NOT NULL, a FROM t186  }87} {1 0 1 0 0 1 0 1 1 2 0 1 0 0 1 0 1 2}88do_test cse-1.9 {89  execsql {90    SELECT NOT b, ~b, NOT NOT b, b FROM t191  }92} {0 -12 1 11 0 -22 1 21}93do_test cse-1.10 {94  execsql {95    SELECT CAST(b AS integer), typeof(b), CAST(b AS text), typeof(b) FROM t196  }97} {11 integer 11 integer 21 integer 21 integer}98ifcapable compound {99  do_test cse-1.11 { 100    execsql {101      SELECT *,* FROM t1 WHERE a=2102      UNION ALL103      SELECT *,* FROM t1 WHERE a=1104    }105  } {2 21 22 23 24 25 2 21 22 23 24 25 1 11 12 13 14 15 1 11 12 13 14 15}106  do_test cse-1.12 { 107    execsql {108      SELECT coalesce(b,c,d,e), a, b, c, d, e FROM t1 WHERE a=2109      UNION ALL110      SELECT coalesce(e,d,c,b), e, d, c, b, a FROM t1 WHERE a=1111    }112  } {21 2 21 22 23 24 14 14 13 12 11 1}113}114do_test cse-1.13 {115  execsql {116     SELECT upper(b), typeof(b), b FROM t1117  }118} {11 integer 11 21 integer 21}119do_test cse-1.14 {120  execsql {121     SELECT b, typeof(b), upper(b), typeof(b), b FROM t1122  }123} {11 integer 11 integer 11 21 integer 21 integer 21}124 125# Overflow the column cache.  Create queries involving more and more126# columns until the cache overflows.  Verify correct operation throughout.127#128do_test cse-2.1 {129  execsql {130    CREATE TABLE t2(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,131                    a10,a11,a12,a13,a14,a15,a16,a17,a18,a19,132                    a20,a21,a22,a23,a24,a25,a26,a27,a28,a29,133                    a30,a31,a32,a33,a34,a35,a36,a37,a38,a39,134                    a40,a41,a42,a43,a44,a45,a46,a47,a48,a49);135    INSERT INTO t2 VALUES(0,1,2,3,4,5,6,7,8,9,136                    10,11,12,13,14,15,16,17,18,19,137                    20,21,22,23,24,25,26,27,28,29,138                    30,31,32,33,34,35,36,37,38,39,139                    40,41,42,43,44,45,46,47,48,49);140    SELECT * FROM t2;141  }142} {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}143 144for {set i 1} {$i<100} {incr i} {145  set n [expr {int(rand()*44)+5}]146  set colset {}147  set answer {}148  for {set j 0} {$j<$n} {incr j} {149    set r [expr {$j+int(rand()*5)}]150    if {$r>49} {set r [expr {99-$r}]}151    lappend colset a$j a$r 152    lappend answer $j $r153  }154  set sql "SELECT [join $colset ,] FROM t2"155  do_test cse-2.2.$i {156    # explain $::sql157    execsql $::sql158  } $answer159}160 161#-------------------------------------------------------------------------162# Ticket fd1bda016d1a163#164reset_db165do_execsql_test 3.0 {166  CREATE TABLE t1(a TEXT, b);167  INSERT INTO t1 VALUES('hello', 0);168  INSERT INTO t1 VALUES('world', 0);169 170  CREATE TABLE t2(x TEXT);171  INSERT INTO t2 VALUES('hello');172  INSERT INTO t2 VALUES('world');173 174  CREATE TABLE t3(y);175  INSERT INTO t3 VALUES(1000);176} {}177 178do_execsql_test 3.1 {179  SELECT 1000 = y FROM t3180} {1}181 182do_execsql_test 3.2 {183  SELECT 1000 IN (SELECT x FROM t2), 1000 = y FROM t3184} {0 1}185 186do_execsql_test 3.3 {187  SELECT 0 IN (SELECT a), (SELECT a LIMIT 0) FROM t1 188} {0 {} 0 {}}189 190do_execsql_test 3.4 {191  SELECT 0 IN (SELECT a) FROM t1 WHERE a = 'hello' OR (SELECT a LIMIT 0);192} {0}193 194do_execsql_test 3.5 {195  CREATE TABLE v0(v1 VARCHAR0);196  INSERT INTO v0 VALUES(2), (3);197  SELECT 0 IN(SELECT v1) FROM v0 WHERE v1 = 2 OR(SELECT v1 LIMIT 0);198} {0}199 200finish_test201