modernc.org/cc@v1.0.1/v2/testdata/_sqlite/test/cse.test (about)

     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