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>