Annotation of embedaddon/sqlite3/test/cse.test, revision 1.1

1.1     ! misho       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

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>