SQLite
Artifact Content
Not logged in

Artifact 66a2c9ac34f74f036faa4092f5402c7d3162fc93:


     1  # 2001 September 15
     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  # This file implements regression tests for SQLite library.  The
    12  # focus of this file is testing expressions.
    13  #
    14  # $Id: expr.test,v 1.67 2009/02/04 03:59:25 shane Exp $
    15  
    16  set testdir [file dirname $argv0]
    17  source $testdir/tester.tcl
    18  
    19  # Create a table to work with.
    20  #
    21  ifcapable floatingpoint {
    22    execsql {CREATE TABLE test1(i1 int, i2 int, r1 real, r2 real, t1 text, t2 text)}
    23    execsql {INSERT INTO test1 VALUES(1,2,1.1,2.2,'hello','world')}
    24  }
    25  ifcapable !floatingpoint {
    26    execsql {CREATE TABLE test1(i1 int, i2 int, t1 text, t2 text)}
    27    execsql {INSERT INTO test1 VALUES(1,2,'hello','world')}
    28  }
    29  
    30  proc test_expr {name settings expr result} {
    31    do_test $name [format {
    32      execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
    33    } $settings $expr] $result
    34  }
    35  proc test_realnum_expr {name settings expr result} {
    36    do_realnum_test $name [format {
    37      execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
    38    } $settings $expr] $result
    39  }
    40  
    41  test_expr expr-1.1 {i1=10, i2=20} {i1+i2} 30
    42  test_expr expr-1.2 {i1=10, i2=20} {i1-i2} -10
    43  test_expr expr-1.3 {i1=10, i2=20} {i1*i2} 200
    44  test_expr expr-1.4 {i1=10, i2=20} {i1/i2} 0
    45  test_expr expr-1.5 {i1=10, i2=20} {i2/i1} 2
    46  test_expr expr-1.6 {i1=10, i2=20} {i2<i1} 0
    47  test_expr expr-1.7 {i1=10, i2=20} {i2<=i1} 0
    48  test_expr expr-1.8 {i1=10, i2=20} {i2>i1} 1
    49  test_expr expr-1.9 {i1=10, i2=20} {i2>=i1} 1
    50  test_expr expr-1.10 {i1=10, i2=20} {i2!=i1} 1
    51  test_expr expr-1.11 {i1=10, i2=20} {i2=i1} 0
    52  test_expr expr-1.12 {i1=10, i2=20} {i2<>i1} 1
    53  test_expr expr-1.13 {i1=10, i2=20} {i2==i1} 0
    54  test_expr expr-1.14 {i1=20, i2=20} {i2<i1} 0
    55  test_expr expr-1.15 {i1=20, i2=20} {i2<=i1} 1
    56  test_expr expr-1.16 {i1=20, i2=20} {i2>i1} 0
    57  test_expr expr-1.17 {i1=20, i2=20} {i2>=i1} 1
    58  test_expr expr-1.18 {i1=20, i2=20} {i2!=i1} 0
    59  test_expr expr-1.19 {i1=20, i2=20} {i2=i1} 1
    60  test_expr expr-1.20 {i1=20, i2=20} {i2<>i1} 0
    61  test_expr expr-1.21 {i1=20, i2=20} {i2==i1} 1
    62  ifcapable floatingpoint {
    63    test_expr expr-1.22 {i1=1, i2=2, r1=3.0} {i1+i2*r1} {7.0}
    64    test_expr expr-1.23 {i1=1, i2=2, r1=3.0} {(i1+i2)*r1} {9.0}
    65  }
    66  test_expr expr-1.24 {i1=1, i2=2} {min(i1,i2,i1+i2,i1-i2)} {-1}
    67  test_expr expr-1.25 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
    68  test_expr expr-1.26 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
    69  test_expr expr-1.27 {i1=1, i2=2} {i1==1 AND i2=2} {1}
    70  test_expr expr-1.28 {i1=1, i2=2} {i1=2 AND i2=1} {0}
    71  test_expr expr-1.29 {i1=1, i2=2} {i1=1 AND i2=1} {0}
    72  test_expr expr-1.30 {i1=1, i2=2} {i1=2 AND i2=2} {0}
    73  test_expr expr-1.31 {i1=1, i2=2} {i1==1 OR i2=2} {1}
    74  test_expr expr-1.32 {i1=1, i2=2} {i1=2 OR i2=1} {0}
    75  test_expr expr-1.33 {i1=1, i2=2} {i1=1 OR i2=1} {1}
    76  test_expr expr-1.34 {i1=1, i2=2} {i1=2 OR i2=2} {1}
    77  test_expr expr-1.35 {i1=1, i2=2} {i1-i2=-1} {1}
    78  test_expr expr-1.36 {i1=1, i2=0} {not i1} {0}
    79  test_expr expr-1.37 {i1=1, i2=0} {not i2} {1}
    80  test_expr expr-1.38 {i1=1} {-i1} {-1}
    81  test_expr expr-1.39 {i1=1} {+i1} {1}
    82  test_expr expr-1.40 {i1=1, i2=2} {+(i2+i1)} {3}
    83  test_expr expr-1.41 {i1=1, i2=2} {-(i2+i1)} {-3}
    84  test_expr expr-1.42 {i1=1, i2=2} {i1|i2} {3}
    85  test_expr expr-1.42b {i1=1, i2=2} {4|2} {6}
    86  test_expr expr-1.43 {i1=1, i2=2} {i1&i2} {0}
    87  test_expr expr-1.43b {i1=1, i2=2} {4&5} {4}
    88  test_expr expr-1.44 {i1=1} {~i1} {-2}
    89  test_expr expr-1.44b {i1=NULL} {~i1} {{}}
    90  test_expr expr-1.45a {i1=1, i2=3} {i1<<i2} {8}
    91  test_expr expr-1.45b {i1=1, i2=-3} {i1>>i2} {8}
    92  test_expr expr-1.45c {i1=1, i2=0} {i1<<i2} {1}
    93  test_expr expr-1.45d {i1=1, i2=62} {i1<<i2} {4611686018427387904}
    94  test_expr expr-1.45e {i1=1, i2=63} {i1<<i2} {-9223372036854775808}
    95  test_expr expr-1.45f {i1=1, i2=64} {i1<<i2} {0}
    96  test_expr expr-1.45g {i1=32, i2=-9223372036854775808} {i1>>i2} {0}
    97  test_expr expr-1.46a {i1=32, i2=3} {i1>>i2} {4}
    98  test_expr expr-1.46b {i1=32, i2=6} {i1>>i2} {0}
    99  test_expr expr-1.46c {i1=-32, i2=3} {i1>>i2} {-4}
   100  test_expr expr-1.46d {i1=-32, i2=100} {i1>>i2} {-1}
   101  test_expr expr-1.46e {i1=32, i2=-3} {i1>>i2} {256}
   102  test_expr expr-1.47 {i1=9999999999, i2=8888888888} {i1<i2} 0
   103  test_expr expr-1.48 {i1=9999999999, i2=8888888888} {i1=i2} 0
   104  test_expr expr-1.49 {i1=9999999999, i2=8888888888} {i1>i2} 1
   105  test_expr expr-1.50 {i1=99999999999, i2=99999999998} {i1<i2} 0
   106  test_expr expr-1.51 {i1=99999999999, i2=99999999998} {i1=i2} 0
   107  test_expr expr-1.52 {i1=99999999999, i2=99999999998} {i1>i2} 1
   108  test_expr expr-1.53 {i1=099999999999, i2=99999999999} {i1<i2} 0
   109  test_expr expr-1.54 {i1=099999999999, i2=99999999999} {i1=i2} 1
   110  test_expr expr-1.55 {i1=099999999999, i2=99999999999} {i1>i2} 0
   111  test_expr expr-1.56 {i1=25, i2=11} {i1%i2} 3
   112  test_expr expr-1.58 {i1=NULL, i2=1} {coalesce(i1+i2,99)} 99
   113  test_expr expr-1.59 {i1=1, i2=NULL} {coalesce(i1+i2,99)} 99
   114  test_expr expr-1.60 {i1=NULL, i2=NULL} {coalesce(i1+i2,99)} 99
   115  test_expr expr-1.61 {i1=NULL, i2=1} {coalesce(i1-i2,99)} 99
   116  test_expr expr-1.62 {i1=1, i2=NULL} {coalesce(i1-i2,99)} 99
   117  test_expr expr-1.63 {i1=NULL, i2=NULL} {coalesce(i1-i2,99)} 99
   118  test_expr expr-1.64 {i1=NULL, i2=1} {coalesce(i1*i2,99)} 99
   119  test_expr expr-1.65 {i1=1, i2=NULL} {coalesce(i1*i2,99)} 99
   120  test_expr expr-1.66 {i1=NULL, i2=NULL} {coalesce(i1*i2,99)} 99
   121  test_expr expr-1.67 {i1=NULL, i2=1} {coalesce(i1/i2,99)} 99
   122  test_expr expr-1.68 {i1=1, i2=NULL} {coalesce(i1/i2,99)} 99
   123  test_expr expr-1.69 {i1=NULL, i2=NULL} {coalesce(i1/i2,99)} 99
   124  test_expr expr-1.70 {i1=NULL, i2=1} {coalesce(i1<i2,99)} 99
   125  test_expr expr-1.71 {i1=1, i2=NULL} {coalesce(i1>i2,99)} 99
   126  test_expr expr-1.72 {i1=NULL, i2=NULL} {coalesce(i1<=i2,99)} 99
   127  test_expr expr-1.73 {i1=NULL, i2=1} {coalesce(i1>=i2,99)} 99
   128  test_expr expr-1.74 {i1=1, i2=NULL} {coalesce(i1!=i2,99)} 99
   129  test_expr expr-1.75 {i1=NULL, i2=NULL} {coalesce(i1==i2,99)} 99
   130  test_expr expr-1.76 {i1=NULL, i2=NULL} {coalesce(not i1,99)} 99
   131  test_expr expr-1.77 {i1=NULL, i2=NULL} {coalesce(-i1,99)} 99
   132  test_expr expr-1.78 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL AND i2=5,99)} 99
   133  test_expr expr-1.79 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL OR i2=5,99)} 1
   134  test_expr expr-1.80 {i1=NULL, i2=NULL} {coalesce(i1=5 AND i2 IS NULL,99)} 99
   135  test_expr expr-1.81 {i1=NULL, i2=NULL} {coalesce(i1=5 OR i2 IS NULL,99)} 1
   136  test_expr expr-1.82 {i1=NULL, i2=3} {coalesce(min(i1,i2,1),99)} 99
   137  test_expr expr-1.83 {i1=NULL, i2=3} {coalesce(max(i1,i2,1),99)} 99
   138  test_expr expr-1.84 {i1=3, i2=NULL} {coalesce(min(i1,i2,1),99)} 99
   139  test_expr expr-1.85 {i1=3, i2=NULL} {coalesce(max(i1,i2,1),99)} 99
   140  test_expr expr-1.86 {i1=3, i2=8} {5 between i1 and i2} 1
   141  test_expr expr-1.87 {i1=3, i2=8} {5 not between i1 and i2} 0
   142  test_expr expr-1.88 {i1=3, i2=8} {55 between i1 and i2} 0
   143  test_expr expr-1.89 {i1=3, i2=8} {55 not between i1 and i2} 1
   144  test_expr expr-1.90 {i1=3, i2=NULL} {5 between i1 and i2} {{}}
   145  test_expr expr-1.91 {i1=3, i2=NULL} {5 not between i1 and i2} {{}}
   146  test_expr expr-1.92 {i1=3, i2=NULL} {2 between i1 and i2} 0
   147  test_expr expr-1.93 {i1=3, i2=NULL} {2 not between i1 and i2} 1
   148  test_expr expr-1.94 {i1=NULL, i2=8} {2 between i1 and i2} {{}}
   149  test_expr expr-1.95 {i1=NULL, i2=8} {2 not between i1 and i2} {{}}
   150  test_expr expr-1.94 {i1=NULL, i2=8} {55 between i1 and i2} 0
   151  test_expr expr-1.95 {i1=NULL, i2=8} {55 not between i1 and i2} 1
   152  test_expr expr-1.96 {i1=NULL, i2=3} {coalesce(i1<<i2,99)} 99
   153  test_expr expr-1.97 {i1=32, i2=NULL} {coalesce(i1>>i2,99)} 99
   154  test_expr expr-1.98 {i1=NULL, i2=NULL} {coalesce(i1|i2,99)} 99
   155  test_expr expr-1.99 {i1=32, i2=NULL} {coalesce(i1&i2,99)} 99
   156  test_expr expr-1.100 {i1=1, i2=''} {i1=i2} 0
   157  test_expr expr-1.101 {i1=0, i2=''} {i1=i2} 0
   158  
   159  # Check for proper handling of 64-bit integer values.
   160  #
   161  if {[working_64bit_int]} {
   162    test_expr expr-1.102 {i1=40, i2=1} {i2<<i1} 1099511627776
   163  }
   164  
   165  ifcapable floatingpoint {
   166    test_expr expr-1.103 {i1=0} {(-2147483648.0 % -1)} 0.0
   167    test_expr expr-1.104 {i1=0} {(-9223372036854775808.0 % -1)} 0.0
   168    test_expr expr-1.105 {i1=0} {(-9223372036854775808.0 / -1)>1} 1
   169  }
   170  
   171  if {[working_64bit_int]} {
   172    test_realnum_expr expr-1.106 {i1=0} {-9223372036854775808/-1} 9.22337203685478e+18
   173  }
   174  
   175  test_expr expr-1.107 {i1=0} {-9223372036854775808%-1} 0
   176  test_expr expr-1.108 {i1=0} {1%0} {{}}
   177  test_expr expr-1.109 {i1=0} {1/0} {{}}
   178  
   179  if {[working_64bit_int]} {
   180    test_expr expr-1.110 {i1=0} {-9223372036854775807/-1} 9223372036854775807
   181  }
   182  
   183  test_expr expr-1.111 {i1=NULL, i2=8} {i1 IS i2} 0
   184  test_expr expr-1.112 {i1=NULL, i2=NULL} {i1 IS i2} 1
   185  test_expr expr-1.113 {i1=6, i2=NULL} {i1 IS i2} 0
   186  test_expr expr-1.114 {i1=6, i2=6} {i1 IS i2} 1
   187  test_expr expr-1.115 {i1=NULL, i2=8} \
   188    {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no
   189  test_expr expr-1.116 {i1=NULL, i2=NULL} \
   190    {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes
   191  test_expr expr-1.117 {i1=6, i2=NULL} \
   192    {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no
   193  test_expr expr-1.118 {i1=8, i2=8} \
   194    {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes
   195  test_expr expr-1.119 {i1=NULL, i2=8} {i1 IS NOT i2} 1
   196  test_expr expr-1.120 {i1=NULL, i2=NULL} {i1 IS NOT i2} 0
   197  test_expr expr-1.121 {i1=6, i2=NULL} {i1 IS NOT i2} 1
   198  test_expr expr-1.122 {i1=6, i2=6} {i1 IS NOT i2} 0
   199  test_expr expr-1.123 {i1=NULL, i2=8} \
   200    {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes
   201  test_expr expr-1.124 {i1=NULL, i2=NULL} \
   202    {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no
   203  test_expr expr-1.125 {i1=6, i2=NULL} \
   204    {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes
   205  test_expr expr-1.126 {i1=8, i2=8} \
   206    {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no
   207  
   208  do_catchsql_test expr-1.127 {
   209    SELECT 1 IS #1;
   210  } {1 {near "#1": syntax error}}
   211  
   212  ifcapable floatingpoint {if {[working_64bit_int]} {
   213    test_expr expr-1.200\
   214        {i1=9223372036854775806, i2=1} {i1+i2}      9223372036854775807
   215    test_realnum_expr expr-1.201\
   216        {i1=9223372036854775806, i2=2} {i1+i2}      9.22337203685478e+18
   217    test_realnum_expr expr-1.202\
   218        {i1=9223372036854775806, i2=100000} {i1+i2} 9.22337203685488e+18
   219    test_realnum_expr expr-1.203\
   220        {i1=9223372036854775807, i2=0} {i1+i2}      9223372036854775807
   221    test_realnum_expr expr-1.204\
   222        {i1=9223372036854775807, i2=1} {i1+i2}      9.22337203685478e+18
   223    test_realnum_expr expr-1.205\
   224        {i2=9223372036854775806, i1=1} {i1+i2}      9223372036854775807
   225    test_realnum_expr expr-1.206\
   226        {i2=9223372036854775806, i1=2} {i1+i2}      9.22337203685478e+18
   227    test_realnum_expr expr-1.207\
   228        {i2=9223372036854775806, i1=100000} {i1+i2} 9.22337203685488e+18
   229    test_realnum_expr expr-1.208\
   230        {i2=9223372036854775807, i1=0} {i1+i2}      9223372036854775807
   231    test_realnum_expr expr-1.209\
   232        {i2=9223372036854775807, i1=1} {i1+i2}      9.22337203685478e+18
   233    test_realnum_expr expr-1.210\
   234        {i1=-9223372036854775807, i2=-1} {i1+i2}    -9223372036854775808
   235    test_realnum_expr expr-1.211\
   236        {i1=-9223372036854775807, i2=-2} {i1+i2}    -9.22337203685478e+18
   237    test_realnum_expr expr-1.212\
   238        {i1=-9223372036854775807, i2=-100000} {i1+i2} -9.22337203685488e+18
   239    test_realnum_expr expr-1.213\
   240        {i1=-9223372036854775808, i2=0} {i1+i2}     -9223372036854775808
   241    test_realnum_expr expr-1.214\
   242        {i1=-9223372036854775808, i2=-1} {i1+i2}    -9.22337203685478e+18
   243    test_realnum_expr expr-1.215\
   244        {i2=-9223372036854775807, i1=-1} {i1+i2}    -9223372036854775808
   245    test_realnum_expr expr-1.216\
   246        {i2=-9223372036854775807, i1=-2} {i1+i2}    -9.22337203685478e+18
   247    test_realnum_expr expr-1.217\
   248        {i2=-9223372036854775807, i1=-100000} {i1+i2} -9.22337203685488e+18
   249    test_realnum_expr expr-1.218\
   250        {i2=-9223372036854775808, i1=0} {i1+i2}     -9223372036854775808
   251    test_realnum_expr expr-1.219\
   252        {i2=-9223372036854775808, i1=-1} {i1+i2}    -9.22337203685478e+18
   253    test_realnum_expr expr-1.220\
   254        {i1=9223372036854775806, i2=-1} {i1-i2}     9223372036854775807
   255    test_realnum_expr expr-1.221\
   256        {i1=9223372036854775806, i2=-2} {i1-i2}      9.22337203685478e+18
   257    test_realnum_expr expr-1.222\
   258        {i1=9223372036854775806, i2=-100000} {i1-i2} 9.22337203685488e+18
   259    test_realnum_expr expr-1.223\
   260        {i1=9223372036854775807, i2=0} {i1-i2}      9223372036854775807
   261    test_realnum_expr expr-1.224\
   262        {i1=9223372036854775807, i2=-1} {i1-i2}      9.22337203685478e+18
   263    test_realnum_expr expr-1.225\
   264        {i2=-9223372036854775806, i1=1} {i1-i2}      9223372036854775807
   265    test_realnum_expr expr-1.226\
   266        {i2=-9223372036854775806, i1=2} {i1-i2}      9.22337203685478e+18
   267    test_realnum_expr expr-1.227\
   268        {i2=-9223372036854775806, i1=100000} {i1-i2} 9.22337203685488e+18
   269    test_realnum_expr expr-1.228\
   270        {i2=-9223372036854775807, i1=0} {i1-i2}      9223372036854775807
   271    test_realnum_expr expr-1.229\
   272        {i2=-9223372036854775807, i1=1} {i1-i2}      9.22337203685478e+18
   273    test_realnum_expr expr-1.230\
   274        {i1=-9223372036854775807, i2=1} {i1-i2}    -9223372036854775808
   275    test_realnum_expr expr-1.231\
   276        {i1=-9223372036854775807, i2=2} {i1-i2}    -9.22337203685478e+18
   277    test_realnum_expr expr-1.232\
   278        {i1=-9223372036854775807, i2=100000} {i1-i2} -9.22337203685488e+18
   279    test_realnum_expr expr-1.233\
   280        {i1=-9223372036854775808, i2=0} {i1-i2}     -9223372036854775808
   281    test_realnum_expr expr-1.234\
   282        {i1=-9223372036854775808, i2=1} {i1-i2}    -9.22337203685478e+18
   283    test_realnum_expr expr-1.235\
   284        {i2=9223372036854775807, i1=-1} {i1-i2}    -9223372036854775808
   285    test_realnum_expr expr-1.236\
   286        {i2=9223372036854775807, i1=-2} {i1-i2}    -9.22337203685478e+18
   287    test_realnum_expr expr-1.237\
   288        {i2=9223372036854775807, i1=-100000} {i1-i2} -9.22337203685488e+18
   289    test_realnum_expr expr-1.238\
   290        {i2=9223372036854775807, i1=0} {i1-i2}     -9223372036854775807
   291    test_realnum_expr expr-1.239\
   292        {i2=9223372036854775807, i1=-1} {i1-i2}    -9223372036854775808
   293  
   294    test_realnum_expr expr-1.250\
   295        {i1=4294967296, i2=2147483648} {i1*i2}      9.22337203685478e+18
   296    test_realnum_expr expr-1.251\
   297        {i1=4294967296, i2=2147483647} {i1*i2}      9223372032559808512
   298    test_realnum_expr expr-1.252\
   299        {i1=-4294967296, i2=2147483648} {i1*i2}     -9223372036854775808
   300    test_realnum_expr expr-1.253\
   301        {i1=-4294967296, i2=2147483647} {i1*i2}     -9223372032559808512
   302    test_realnum_expr expr-1.254\
   303        {i1=4294967296, i2=-2147483648} {i1*i2}     -9223372036854775808
   304    test_realnum_expr expr-1.255\
   305        {i1=4294967296, i2=-2147483647} {i1*i2}     -9223372032559808512
   306    test_realnum_expr expr-1.256\
   307        {i1=-4294967296, i2=-2147483648} {i1*i2}    9.22337203685478e+18
   308    test_realnum_expr expr-1.257\
   309        {i1=-4294967296, i2=-2147483647} {i1*i2}    9223372032559808512
   310  
   311    test_realnum_expr expr-1.260\
   312        {i1=3037000500, i2=3037000500} {i1*i2}      9.22337203700025e+18
   313    test_realnum_expr expr-1.261\
   314        {i1=3037000500, i2=-3037000500} {i1*i2}     -9.22337203700025e+18
   315    test_realnum_expr expr-1.262\
   316        {i1=-3037000500, i2=3037000500} {i1*i2}     -9.22337203700025e+18
   317    test_realnum_expr expr-1.263\
   318        {i1=-3037000500, i2=-3037000500} {i1*i2}    9.22337203700025e+18
   319  
   320    test_realnum_expr expr-1.264\
   321        {i1=3037000500, i2=3037000499} {i1*i2}      9223372033963249500
   322    test_realnum_expr expr-1.265\
   323        {i1=3037000500, i2=-3037000499} {i1*i2}     -9223372033963249500
   324    test_realnum_expr expr-1.266\
   325        {i1=-3037000500, i2=3037000499} {i1*i2}     -9223372033963249500
   326    test_realnum_expr expr-1.267\
   327        {i1=-3037000500, i2=-3037000499} {i1*i2}    9223372033963249500
   328  
   329    test_realnum_expr expr-1.268\
   330        {i1=3037000499, i2=3037000500} {i1*i2}      9223372033963249500
   331    test_realnum_expr expr-1.269\
   332        {i1=3037000499, i2=-3037000500} {i1*i2}     -9223372033963249500
   333    test_realnum_expr expr-1.270\
   334        {i1=-3037000499, i2=3037000500} {i1*i2}     -9223372033963249500
   335    test_realnum_expr expr-1.271\
   336        {i1=-3037000499, i2=-3037000500} {i1*i2}    9223372033963249500
   337  
   338  }}
   339  
   340  ifcapable floatingpoint {
   341    test_expr expr-2.1 {r1=1.23, r2=2.34} {r1+r2} 3.57
   342    test_expr expr-2.2 {r1=1.23, r2=2.34} {r1-r2} -1.11
   343    test_expr expr-2.3 {r1=1.23, r2=2.34} {r1*r2} 2.8782
   344  }
   345  set tcl_precision 15
   346  ifcapable floatingpoint {
   347    test_expr expr-2.4 {r1=1.23, r2=2.34} {r1/r2} 0.525641025641026
   348    test_expr expr-2.5 {r1=1.23, r2=2.34} {r2/r1} 1.90243902439024
   349    test_expr expr-2.6 {r1=1.23, r2=2.34} {r2<r1} 0
   350    test_expr expr-2.7 {r1=1.23, r2=2.34} {r2<=r1} 0
   351    test_expr expr-2.8 {r1=1.23, r2=2.34} {r2>r1} 1
   352    test_expr expr-2.9 {r1=1.23, r2=2.34} {r2>=r1} 1
   353    test_expr expr-2.10 {r1=1.23, r2=2.34} {r2!=r1} 1
   354    test_expr expr-2.11 {r1=1.23, r2=2.34} {r2=r1} 0
   355    test_expr expr-2.12 {r1=1.23, r2=2.34} {r2<>r1} 1
   356    test_expr expr-2.13 {r1=1.23, r2=2.34} {r2==r1} 0
   357    test_expr expr-2.14 {r1=2.34, r2=2.34} {r2<r1} 0
   358    test_expr expr-2.15 {r1=2.34, r2=2.34} {r2<=r1} 1
   359    test_expr expr-2.16 {r1=2.34, r2=2.34} {r2>r1} 0
   360    test_expr expr-2.17 {r1=2.34, r2=2.34} {r2>=r1} 1
   361    test_expr expr-2.18 {r1=2.34, r2=2.34} {r2!=r1} 0
   362    test_expr expr-2.19 {r1=2.34, r2=2.34} {r2=r1} 1
   363    test_expr expr-2.20 {r1=2.34, r2=2.34} {r2<>r1} 0
   364    test_expr expr-2.21 {r1=2.34, r2=2.34} {r2==r1} 1
   365    test_expr expr-2.22 {r1=1.23, r2=2.34} {min(r1,r2,r1+r2,r1-r2)} {-1.11}
   366    test_expr expr-2.23 {r1=1.23, r2=2.34} {max(r1,r2,r1+r2,r1-r2)} {3.57}
   367    test_expr expr-2.24 {r1=25.0, r2=11.0} {r1%r2} 3.0
   368    test_expr expr-2.25 {r1=1.23, r2=NULL} {coalesce(r1+r2,99.0)} 99.0
   369    test_expr expr-2.26 {r1=1e300, r2=1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0
   370    test_expr expr-2.26b {r1=1e300, r2=-1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0
   371    test_expr expr-2.27 {r1=1.1, r2=0.0} {r1/r2} {{}}
   372    test_expr expr-2.28 {r1=1.1, r2=0.0} {r1%r2} {{}}
   373  }
   374  
   375  test_expr expr-3.1 {t1='abc', t2='xyz'} {t1<t2} 1
   376  test_expr expr-3.2 {t1='xyz', t2='abc'} {t1<t2} 0
   377  test_expr expr-3.3 {t1='abc', t2='abc'} {t1<t2} 0
   378  test_expr expr-3.4 {t1='abc', t2='xyz'} {t1<=t2} 1
   379  test_expr expr-3.5 {t1='xyz', t2='abc'} {t1<=t2} 0
   380  test_expr expr-3.6 {t1='abc', t2='abc'} {t1<=t2} 1
   381  test_expr expr-3.7 {t1='abc', t2='xyz'} {t1>t2} 0
   382  test_expr expr-3.8 {t1='xyz', t2='abc'} {t1>t2} 1
   383  test_expr expr-3.9 {t1='abc', t2='abc'} {t1>t2} 0
   384  test_expr expr-3.10 {t1='abc', t2='xyz'} {t1>=t2} 0
   385  test_expr expr-3.11 {t1='xyz', t2='abc'} {t1>=t2} 1
   386  test_expr expr-3.12 {t1='abc', t2='abc'} {t1>=t2} 1
   387  test_expr expr-3.13 {t1='abc', t2='xyz'} {t1=t2} 0
   388  test_expr expr-3.14 {t1='xyz', t2='abc'} {t1=t2} 0
   389  test_expr expr-3.15 {t1='abc', t2='abc'} {t1=t2} 1
   390  test_expr expr-3.16 {t1='abc', t2='xyz'} {t1==t2} 0
   391  test_expr expr-3.17 {t1='xyz', t2='abc'} {t1==t2} 0
   392  test_expr expr-3.18 {t1='abc', t2='abc'} {t1==t2} 1
   393  test_expr expr-3.19 {t1='abc', t2='xyz'} {t1<>t2} 1
   394  test_expr expr-3.20 {t1='xyz', t2='abc'} {t1<>t2} 1
   395  test_expr expr-3.21 {t1='abc', t2='abc'} {t1<>t2} 0
   396  test_expr expr-3.22 {t1='abc', t2='xyz'} {t1!=t2} 1
   397  test_expr expr-3.23 {t1='xyz', t2='abc'} {t1!=t2} 1
   398  test_expr expr-3.24 {t1='abc', t2='abc'} {t1!=t2} 0
   399  test_expr expr-3.25 {t1=NULL, t2='hi'} {t1 isnull} 1
   400  test_expr expr-3.25b {t1=NULL, t2='hi'} {t1 is null} 1
   401  test_expr expr-3.26 {t1=NULL, t2='hi'} {t2 isnull} 0
   402  test_expr expr-3.27 {t1=NULL, t2='hi'} {t1 notnull} 0
   403  test_expr expr-3.28 {t1=NULL, t2='hi'} {t2 notnull} 1
   404  test_expr expr-3.28b {t1=NULL, t2='hi'} {t2 is not null} 1
   405  test_expr expr-3.29 {t1='xyz', t2='abc'} {t1||t2} {xyzabc}
   406  test_expr expr-3.30 {t1=NULL, t2='abc'} {t1||t2} {{}}
   407  test_expr expr-3.31 {t1='xyz', t2=NULL} {t1||t2} {{}}
   408  test_expr expr-3.32 {t1='xyz', t2='abc'} {t1||' hi '||t2} {{xyz hi abc}}
   409  test_expr epxr-3.33 {t1='abc', t2=NULL} {coalesce(t1<t2,99)} 99
   410  test_expr epxr-3.34 {t1='abc', t2=NULL} {coalesce(t2<t1,99)} 99
   411  test_expr epxr-3.35 {t1='abc', t2=NULL} {coalesce(t1>t2,99)} 99
   412  test_expr epxr-3.36 {t1='abc', t2=NULL} {coalesce(t2>t1,99)} 99
   413  test_expr epxr-3.37 {t1='abc', t2=NULL} {coalesce(t1<=t2,99)} 99
   414  test_expr epxr-3.38 {t1='abc', t2=NULL} {coalesce(t2<=t1,99)} 99
   415  test_expr epxr-3.39 {t1='abc', t2=NULL} {coalesce(t1>=t2,99)} 99
   416  test_expr epxr-3.40 {t1='abc', t2=NULL} {coalesce(t2>=t1,99)} 99
   417  test_expr epxr-3.41 {t1='abc', t2=NULL} {coalesce(t1==t2,99)} 99
   418  test_expr epxr-3.42 {t1='abc', t2=NULL} {coalesce(t2==t1,99)} 99
   419  test_expr epxr-3.43 {t1='abc', t2=NULL} {coalesce(t1!=t2,99)} 99
   420  test_expr epxr-3.44 {t1='abc', t2=NULL} {coalesce(t2!=t1,99)} 99
   421  
   422  test_expr expr-4.1 {t1='abc', t2='Abc'} {t1<t2} 0
   423  test_expr expr-4.2 {t1='abc', t2='Abc'} {t1>t2} 1
   424  test_expr expr-4.3 {t1='abc', t2='Bbc'} {t1<t2} 0
   425  test_expr expr-4.4 {t1='abc', t2='Bbc'} {t1>t2} 1
   426  test_expr expr-4.5 {t1='0', t2='0.0'} {t1==t2} 0
   427  test_expr expr-4.6 {t1='0.000', t2='0.0'} {t1==t2} 0
   428  test_expr expr-4.7 {t1=' 0.000', t2=' 0.0'} {t1==t2} 0
   429  test_expr expr-4.8 {t1='0.0', t2='abc'} {t1<t2} 1
   430  test_expr expr-4.9 {t1='0.0', t2='abc'} {t1==t2} 0
   431  
   432  ifcapable floatingpoint {
   433    test_expr expr-4.10 {r1='0.0', r2='abc'} {r1>r2} 0
   434    test_expr expr-4.11 {r1='abc', r2='Abc'} {r1<r2} 0
   435    test_expr expr-4.12 {r1='abc', r2='Abc'} {r1>r2} 1
   436    test_expr expr-4.13 {r1='abc', r2='Bbc'} {r1<r2} 0
   437    test_expr expr-4.14 {r1='abc', r2='Bbc'} {r1>r2} 1
   438    test_expr expr-4.15 {r1='0', r2='0.0'} {r1==r2} 1
   439    test_expr expr-4.16 {r1='0.000', r2='0.0'} {r1==r2} 1
   440    test_expr expr-4.17 {r1=' 0.000', r2=' 0.0'} {r1==r2} 1
   441    test_expr expr-4.18 {r1='0.0', r2='abc'} {r1<r2} 1
   442    test_expr expr-4.19 {r1='0.0', r2='abc'} {r1==r2} 0
   443    test_expr expr-4.20 {r1='0.0', r2='abc'} {r1>r2} 0
   444  }
   445  
   446  # CSL is true if LIKE is case sensitive and false if not.
   447  # NCSL is the opposite.  Use these variables as the result
   448  # on operations where case makes a difference.
   449  set CSL $sqlite_options(casesensitivelike)
   450  set NCSL [expr {!$CSL}]
   451  
   452  test_expr expr-5.1 {t1='abc', t2='xyz'} {t1 LIKE t2} 0
   453  test_expr expr-5.2a {t1='abc', t2='abc'} {t1 LIKE t2} 1
   454  test_expr expr-5.2b {t1='abc', t2='ABC'} {t1 LIKE t2} $NCSL
   455  test_expr expr-5.3a {t1='abc', t2='a_c'} {t1 LIKE t2} 1
   456  test_expr expr-5.3b {t1='abc', t2='A_C'} {t1 LIKE t2} $NCSL
   457  test_expr expr-5.4 {t1='abc', t2='abc_'} {t1 LIKE t2} 0
   458  test_expr expr-5.5a {t1='abc', t2='a%c'} {t1 LIKE t2} 1
   459  test_expr expr-5.5b {t1='abc', t2='A%C'} {t1 LIKE t2} $NCSL
   460  test_expr expr-5.5c {t1='abdc', t2='a%c'} {t1 LIKE t2} 1
   461  test_expr expr-5.5d {t1='ac', t2='a%c'} {t1 LIKE t2} 1
   462  test_expr expr-5.5e {t1='ac', t2='A%C'} {t1 LIKE t2} $NCSL
   463  test_expr expr-5.6a {t1='abxyzzyc', t2='a%c'} {t1 LIKE t2} 1
   464  test_expr expr-5.6b {t1='abxyzzyc', t2='A%C'} {t1 LIKE t2} $NCSL
   465  test_expr expr-5.7a {t1='abxyzzy', t2='a%c'} {t1 LIKE t2} 0
   466  test_expr expr-5.7b {t1='abxyzzy', t2='A%C'} {t1 LIKE t2} 0
   467  test_expr expr-5.8a {t1='abxyzzycx', t2='a%c'} {t1 LIKE t2} 0
   468  test_expr expr-5.8b {t1='abxyzzycy', t2='a%cx'} {t1 LIKE t2} 0
   469  test_expr expr-5.8c {t1='abxyzzycx', t2='A%C'} {t1 LIKE t2} 0
   470  test_expr expr-5.8d {t1='abxyzzycy', t2='A%CX'} {t1 LIKE t2} 0
   471  test_expr expr-5.9a {t1='abc', t2='a%_c'} {t1 LIKE t2} 1
   472  test_expr expr-5.9b {t1='ac', t2='a%_c'} {t1 LIKE t2} 0
   473  test_expr expr-5.9c {t1='abc', t2='A%_C'} {t1 LIKE t2} $NCSL
   474  test_expr expr-5.9d {t1='ac', t2='A%_C'} {t1 LIKE t2} 0
   475  test_expr expr-5.10a {t1='abxyzzyc', t2='a%_c'} {t1 LIKE t2} 1
   476  test_expr expr-5.10b {t1='abxyzzyc', t2='A%_C'} {t1 LIKE t2} $NCSL
   477  test_expr expr-5.11 {t1='abc', t2='xyz'} {t1 NOT LIKE t2} 1
   478  test_expr expr-5.12a {t1='abc', t2='abc'} {t1 NOT LIKE t2} 0
   479  test_expr expr-5.12b {t1='abc', t2='ABC'} {t1 NOT LIKE t2} $CSL
   480  test_expr expr-5.13  {t1='A'}  {t1 LIKE 'A%_'} 0
   481  test_expr expr-5.14  {t1='AB'} {t1 LIKE 'A%b' ESCAPE 'b'} 0
   482  
   483  # The following tests only work on versions of TCL that support Unicode
   484  #
   485  if {"\u1234"!="u1234"} {
   486    test_expr expr-5.13a "t1='a\u0080c', t2='a_c'" {t1 LIKE t2} 1
   487    test_expr expr-5.13b "t1='a\u0080c', t2='A_C'" {t1 LIKE t2} $NCSL
   488    test_expr expr-5.14a "t1='a\u07FFc', t2='a_c'" {t1 LIKE t2} 1
   489    test_expr expr-5.14b "t1='a\u07FFc', t2='A_C'" {t1 LIKE t2} $NCSL
   490    test_expr expr-5.15a "t1='a\u0800c', t2='a_c'" {t1 LIKE t2} 1
   491    test_expr expr-5.15b "t1='a\u0800c', t2='A_C'" {t1 LIKE t2} $NCSL
   492    test_expr expr-5.16a "t1='a\uFFFFc', t2='a_c'" {t1 LIKE t2} 1
   493    test_expr expr-5.16b "t1='a\uFFFFc', t2='A_C'" {t1 LIKE t2} $NCSL
   494    test_expr expr-5.17 "t1='a\u0080', t2='A__'" {t1 LIKE t2} 0
   495    test_expr expr-5.18 "t1='a\u07FF', t2='A__'" {t1 LIKE t2} 0
   496    test_expr expr-5.19 "t1='a\u0800', t2='A__'" {t1 LIKE t2} 0
   497    test_expr expr-5.20 "t1='a\uFFFF', t2='A__'" {t1 LIKE t2} 0
   498    test_expr expr-5.21a "t1='ax\uABCD', t2='a_\uABCD'" {t1 LIKE t2} 1
   499    test_expr expr-5.21b "t1='ax\uABCD', t2='A_\uABCD'" {t1 LIKE t2} $NCSL
   500    test_expr expr-5.22a "t1='ax\u1234', t2='a%\u1234'" {t1 LIKE t2} 1
   501    test_expr expr-5.22b "t1='ax\u1234', t2='A%\u1234'" {t1 LIKE t2} $NCSL
   502    test_expr expr-5.23a "t1='ax\uFEDC', t2='a_%'" {t1 LIKE t2} 1
   503    test_expr expr-5.23b "t1='ax\uFEDC', t2='A_%'" {t1 LIKE t2} $NCSL
   504    test_expr expr-5.24a "t1='ax\uFEDCy\uFEDC', t2='a%\uFEDC'" {t1 LIKE t2} 1
   505    test_expr expr-5.24b "t1='ax\uFEDCy\uFEDC', t2='A%\uFEDC'" {t1 LIKE t2} $NCSL
   506  }
   507  
   508  test_expr expr-5.54 {t1='abc', t2=NULL} {t1 LIKE t2} {{}}
   509  test_expr expr-5.55 {t1='abc', t2=NULL} {t1 NOT LIKE t2} {{}}
   510  test_expr expr-5.56 {t1='abc', t2=NULL} {t2 LIKE t1} {{}}
   511  test_expr expr-5.57 {t1='abc', t2=NULL} {t2 NOT LIKE t1} {{}}
   512  
   513  # LIKE expressions that use ESCAPE characters.
   514  test_expr expr-5.58a {t1='abc', t2='a_c'}   {t1 LIKE t2 ESCAPE '7'} 1
   515  test_expr expr-5.58b {t1='abc', t2='A_C'}   {t1 LIKE t2 ESCAPE '7'} $NCSL
   516  test_expr expr-5.59a {t1='a_c', t2='a7_c'}  {t1 LIKE t2 ESCAPE '7'} 1
   517  test_expr expr-5.59b {t1='a_c', t2='A7_C'}  {t1 LIKE t2 ESCAPE '7'} $NCSL
   518  test_expr expr-5.60a {t1='abc', t2='a7_c'}  {t1 LIKE t2 ESCAPE '7'} 0
   519  test_expr expr-5.60b {t1='abc', t2='A7_C'}  {t1 LIKE t2 ESCAPE '7'} 0
   520  test_expr expr-5.61a {t1='a7Xc', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 0
   521  test_expr expr-5.61b {t1='a7Xc', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} 0
   522  test_expr expr-5.62a {t1='abcde', t2='a%e'} {t1 LIKE t2 ESCAPE '7'} 1
   523  test_expr expr-5.62b {t1='abcde', t2='A%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL
   524  test_expr expr-5.63a {t1='abcde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0
   525  test_expr expr-5.63b {t1='abcde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0
   526  test_expr expr-5.64a {t1='a7cde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0
   527  test_expr expr-5.64b {t1='a7cde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0
   528  test_expr expr-5.65a {t1='a7cde', t2='a77%e'} {t1 LIKE t2 ESCAPE '7'} 1
   529  test_expr expr-5.65b {t1='a7cde', t2='A77%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL
   530  test_expr expr-5.66a {t1='abc7', t2='a%77'} {t1 LIKE t2 ESCAPE '7'} 1
   531  test_expr expr-5.66b {t1='abc7', t2='A%77'} {t1 LIKE t2 ESCAPE '7'} $NCSL
   532  test_expr expr-5.67a {t1='abc_', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 1
   533  test_expr expr-5.67b {t1='abc_', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} $NCSL
   534  test_expr expr-5.68a {t1='abc7', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 0
   535  test_expr expr-5.68b {t1='abc7', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} 0
   536  
   537  # These are the same test as the block above, but using a multi-byte 
   538  # character as the escape character.
   539  if {"\u1234"!="u1234"} {
   540    test_expr expr-5.69a "t1='abc', t2='a_c'" \
   541        "t1 LIKE t2 ESCAPE '\u1234'" 1
   542    test_expr expr-5.69b "t1='abc', t2='A_C'" \
   543        "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
   544    test_expr expr-5.70a "t1='a_c', t2='a\u1234_c'" \
   545        "t1 LIKE t2 ESCAPE '\u1234'" 1
   546    test_expr expr-5.70b "t1='a_c', t2='A\u1234_C'" \
   547        "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
   548    test_expr expr-5.71a "t1='abc', t2='a\u1234_c'" \
   549         "t1 LIKE t2 ESCAPE '\u1234'" 0
   550    test_expr expr-5.71b "t1='abc', t2='A\u1234_C'" \
   551         "t1 LIKE t2 ESCAPE '\u1234'" 0
   552    test_expr expr-5.72a "t1='a\u1234Xc', t2='a\u1234_c'" \
   553        "t1 LIKE t2 ESCAPE '\u1234'" 0
   554    test_expr expr-5.72b "t1='a\u1234Xc', t2='A\u1234_C'" \
   555        "t1 LIKE t2 ESCAPE '\u1234'" 0
   556    test_expr expr-5.73a "t1='abcde', t2='a%e'" \
   557        "t1 LIKE t2 ESCAPE '\u1234'" 1
   558    test_expr expr-5.73b "t1='abcde', t2='A%E'" \
   559        "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
   560    test_expr expr-5.74a "t1='abcde', t2='a\u1234%e'" \
   561        "t1 LIKE t2 ESCAPE '\u1234'" 0
   562    test_expr expr-5.74b "t1='abcde', t2='A\u1234%E'" \
   563        "t1 LIKE t2 ESCAPE '\u1234'" 0
   564    test_expr expr-5.75a "t1='a\u1234cde', t2='a\u1234%e'" \
   565        "t1 LIKE t2 ESCAPE '\u1234'" 0
   566    test_expr expr-5.75b "t1='a\u1234cde', t2='A\u1234%E'" \
   567        "t1 LIKE t2 ESCAPE '\u1234'" 0
   568    test_expr expr-5.76a "t1='a\u1234cde', t2='a\u1234\u1234%e'" \
   569        "t1 LIKE t2 ESCAPE '\u1234'" 1
   570    test_expr expr-5.76b "t1='a\u1234cde', t2='A\u1234\u1234%E'" \
   571        "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
   572    test_expr expr-5.77a "t1='abc\u1234', t2='a%\u1234\u1234'" \
   573        "t1 LIKE t2 ESCAPE '\u1234'" 1
   574    test_expr expr-5.77b "t1='abc\u1234', t2='A%\u1234\u1234'" \
   575        "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
   576    test_expr expr-5.78a "t1='abc_', t2='a%\u1234_'" \
   577        "t1 LIKE t2 ESCAPE '\u1234'" 1
   578    test_expr expr-5.78b "t1='abc_', t2='A%\u1234_'" \
   579        "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
   580    test_expr expr-5.79a "t1='abc\u1234', t2='a%\u1234_'" \
   581        "t1 LIKE t2 ESCAPE '\u1234'" 0
   582    test_expr expr-5.79b "t1='abc\u1234', t2='A%\u1234_'" \
   583        "t1 LIKE t2 ESCAPE '\u1234'" 0
   584  }
   585  
586 test_expr expr-6.1 {t1='abc', t2='xyz'} {t1 GLOB t2} 0 587 test_expr expr-6.2 {t1='abc', t2='ABC'} {t1 GLOB t2} 0 588 test_expr expr-6.3 {t1='abc', t2='A?C'} {t1 GLOB t2} 0 589 test_expr expr-6.4 {t1='abc', t2='a?c'} {t1 GLOB t2} 1 590 test_expr expr-6.5 {t1='abc', t2='abc?'} {t1 GLOB t2} 0 591 test_expr expr-6.6 {t1='abc', t2='A*C'} {t1 GLOB t2} 0 592 test_expr expr-6.7 {t1='abc', t2='a*c'} {t1 GLOB t2} 1 593 test_expr expr-6.8 {t1='abxyzzyc', t2='a*c'} {t1 GLOB t2} 1 594 test_expr expr-6.9 {t1='abxyzzy', t2='a*c'} {t1 GLOB t2} 0 595 test_expr expr-6.10 {t1='abxyzzycx', t2='a*c'} {t1 GLOB t2} 0 596 test_expr expr-6.11 {t1='abc', t2='xyz'} {t1 NOT GLOB t2} 1 597 test_expr expr-6.12 {t1='abc', t2='abc'} {t1 NOT GLOB t2} 0 598 test_expr expr-6.13 {t1='abc', t2='a[bx]c'} {t1 GLOB t2} 1 599 test_expr expr-6.14 {t1='abc', t2='a[cx]c'} {t1 GLOB t2} 0 600 test_expr expr-6.15 {t1='abc', t2='a[a-d]c'} {t1 GLOB t2} 1 601 test_expr expr-6.16 {t1='abc', t2='a[^a-d]c'} {t1 GLOB t2} 0 602 test_expr expr-6.17 {t1='abc', t2='a[A-Dc]c'} {t1 GLOB t2} 0 603 test_expr expr-6.18 {t1='abc', t2='a[^A-Dc]c'} {t1 GLOB t2} 1 604 test_expr expr-6.19 {t1='abc', t2='a[]b]c'} {t1 GLOB t2} 1 605 test_expr expr-6.20 {t1='abc', t2='a[^]b]c'} {t1 GLOB t2} 0 606 test_expr expr-6.21a {t1='abcdefg', t2='a*[de]g'} {t1 GLOB t2} 0 607 test_expr expr-6.21b {t1='abcdefg', t2='a*[df]g'} {t1 GLOB t2} 1 608 test_expr expr-6.21c {t1='abcdefg', t2='a*[d-h]g'} {t1 GLOB t2} 1 609 test_expr expr-6.21d {t1='abcdefg', t2='a*[b-e]g'} {t1 GLOB t2} 0 610 test_expr expr-6.22a {t1='abcdefg', t2='a*[^de]g'} {t1 GLOB t2} 1 611 test_expr expr-6.22b {t1='abcdefg', t2='a*[^def]g'} {t1 GLOB t2} 0 612 test_expr expr-6.23 {t1='abcdefg', t2='a*?g'} {t1 GLOB t2} 1 613 test_expr expr-6.24 {t1='ac', t2='a*c'} {t1 GLOB t2} 1 614 test_expr expr-6.25 {t1='ac', t2='a*?c'} {t1 GLOB t2} 0 615 test_expr expr-6.26 {t1='a*c', t2='a[*]c'} {t1 GLOB t2} 1 616 test_expr expr-6.27 {t1='a?c', t2='a[?]c'} {t1 GLOB t2} 1 617 test_expr expr-6.28 {t1='a[c', t2='a[[]c'} {t1 GLOB t2} 1 618 619 620 # These tests only work on versions of TCL that support Unicode 621 # 622 if {"\u1234"!="u1234"} { 623 test_expr expr-6.26 "t1='a\u0080c', t2='a?c'" {t1 GLOB t2} 1 624 test_expr expr-6.27 "t1='a\u07ffc', t2='a?c'" {t1 GLOB t2} 1 625 test_expr expr-6.28 "t1='a\u0800c', t2='a?c'" {t1 GLOB t2} 1 626 test_expr expr-6.29 "t1='a\uffffc', t2='a?c'" {t1 GLOB t2} 1 627 test_expr expr-6.30 "t1='a\u1234', t2='a?'" {t1 GLOB t2} 1 628 test_expr expr-6.31 "t1='a\u1234', t2='a??'" {t1 GLOB t2} 0 629 test_expr expr-6.32 "t1='ax\u1234', t2='a?\u1234'" {t1 GLOB t2} 1 630 test_expr expr-6.33 "t1='ax\u1234', t2='a*\u1234'" {t1 GLOB t2} 1 631 test_expr expr-6.34 "t1='ax\u1234y\u1234', t2='a*\u1234'" {t1 GLOB t2} 1 632 test_expr expr-6.35 "t1='a\u1234b', t2='a\[x\u1234y\]b'" {t1 GLOB t2} 1 633 test_expr expr-6.36 "t1='a\u1234b', t2='a\[\u1233-\u1235\]b'" {t1 GLOB t2} 1 634 test_expr expr-6.37 "t1='a\u1234b', t2='a\[\u1234-\u124f\]b'" {t1 GLOB t2} 1 635 test_expr expr-6.38 "t1='a\u1234b', t2='a\[\u1235-\u124f\]b'" {t1 GLOB t2} 0 636 test_expr expr-6.39 "t1='a\u1234b', t2='a\[a-\u1235\]b'" {t1 GLOB t2} 1 637 test_expr expr-6.40 "t1='a\u1234b', t2='a\[a-\u1234\]b'" {t1 GLOB t2} 1 638 test_expr expr-6.41 "t1='a\u1234b', t2='a\[a-\u1233\]b'" {t1 GLOB t2} 0 639 } 640 641 test_expr expr-6.51 {t1='ABC', t2='xyz'} {t1 GLOB t2} 0 642 test_expr expr-6.52 {t1='ABC', t2='abc'} {t1 GLOB t2} 0 643 test_expr expr-6.53 {t1='ABC', t2='a?c'} {t1 GLOB t2} 0 644 test_expr expr-6.54 {t1='ABC', t2='A?C'} {t1 GLOB t2} 1 645 test_expr expr-6.55 {t1='ABC', t2='abc?'} {t1 GLOB t2} 0 646 test_expr expr-6.56 {t1='ABC', t2='a*c'} {t1 GLOB t2} 0 647 test_expr expr-6.57 {t1='ABC', t2='A*C'} {t1 GLOB t2} 1 648 test_expr expr-6.58 {t1='ABxyzzyC', t2='A*C'} {t1 GLOB t2} 1 649 test_expr expr-6.59 {t1='ABxyzzy', t2='A*C'} {t1 GLOB t2} 0 650 test_expr expr-6.60 {t1='ABxyzzyCx', t2='A*C'} {t1 GLOB t2} 0 651 test_expr expr-6.61 {t1='ABC', t2='xyz'} {t1 NOT GLOB t2} 1 652 test_expr expr-6.62 {t1='ABC', t2='ABC'} {t1 NOT GLOB t2} 0 653 test_expr expr-6.63 {t1='ABC', t2='A[Bx]C'} {t1 GLOB t2} 1 654 test_expr expr-6.64 {t1='ABC', t2='A[Cx]C'} {t1 GLOB t2} 0 655 test_expr expr-6.65 {t1='ABC', t2='A[A-D]C'} {t1 GLOB t2} 1 656 test_expr expr-6.66 {t1='ABC', t2='A[^A-D]C'} {t1 GLOB t2} 0 657 test_expr expr-6.67 {t1='ABC', t2='A[a-dC]C'} {t1 GLOB t2} 0 658 test_expr expr-6.68 {t1='ABC', t2='A[^a-dC]C'} {t1 GLOB t2} 1 659 test_expr expr-6.69a {t1='ABC', t2='A[]B]C'} {t1 GLOB t2} 1 660 test_expr expr-6.69b {t1='A]C', t2='A[]B]C'} {t1 GLOB t2} 1 661 test_expr expr-6.70a {t1='ABC', t2='A[^]B]C'} {t1 GLOB t2} 0 662 test_expr expr-6.70b {t1='AxC', t2='A[^]B]C'} {t1 GLOB t2} 1 663 test_expr expr-6.70c {t1='A]C', t2='A[^]B]C'} {t1 GLOB t2} 0 664 test_expr expr-6.71 {t1='ABCDEFG', t2='A*[DE]G'} {t1 GLOB t2} 0 665 test_expr expr-6.72 {t1='ABCDEFG', t2='A*[^DE]G'} {t1 GLOB t2} 1 666 test_expr expr-6.73 {t1='ABCDEFG', t2='A*?G'} {t1 GLOB t2} 1 667 test_expr expr-6.74 {t1='AC', t2='A*C'} {t1 GLOB t2} 1 668 test_expr expr-6.75 {t1='AC', t2='A*?C'} {t1 GLOB t2} 0 669 670 test_expr expr-6.63 {t1=NULL, t2='a*?c'} {t1 GLOB t2} {{}} 671 test_expr expr-6.64 {t1='ac', t2=NULL} {t1 GLOB t2} {{}} 672 test_expr expr-6.65 {t1=NULL, t2='a*?c'} {t1 NOT GLOB t2} {{}} 673 test_expr expr-6.66 {t1='ac', t2=NULL} {t1 NOT GLOB t2} {{}}
674 675 # Check that the affinity of a CAST expression is calculated correctly. 676 ifcapable cast { 677 test_expr expr-6.67 {t1='01', t2=1} {t1 = t2} 0 678 test_expr expr-6.68 {t1='1', t2=1} {t1 = t2} 1 679 test_expr expr-6.69 {t1='01', t2=1} {CAST(t1 AS INTEGER) = t2} 1 680 } 681 682 test_expr expr-case.1 {i1=1, i2=2} \ 683 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne 684 test_expr expr-case.2 {i1=2, i2=2} \ 685 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} eq 686 test_expr expr-case.3 {i1=NULL, i2=2} \ 687 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne 688 test_expr expr-case.4 {i1=2, i2=NULL} \ 689 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne 690 test_expr expr-case.5 {i1=2} \ 691 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} two 692 test_expr expr-case.6 {i1=1} \ 693 {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} one 694 test_expr expr-case.7 {i1=2} \ 695 {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error 696 test_expr expr-case.8 {i1=3} \ 697 {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error 698 test_expr expr-case.9 {i1=3} \ 699 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} error 700 test_expr expr-case.10 {i1=3} \ 701 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' END} {{}} 702 test_expr expr-case.11 {i1=null} \ 703 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 3 END} 3 704 test_expr expr-case.12 {i1=1} \ 705 {CASE i1 WHEN 1 THEN null WHEN 2 THEN 'two' ELSE 3 END} {{}} 706 test_expr expr-case.13 {i1=7} \ 707 { CASE WHEN i1 < 5 THEN 'low' 708 WHEN i1 < 10 THEN 'medium' 709 WHEN i1 < 15 THEN 'high' ELSE 'error' END} medium 710 711 712 # The sqliteExprIfFalse and sqliteExprIfTrue routines are only 713 # executed as part of a WHERE clause. Create a table suitable 714 # for testing these functions. 715 # 716 execsql {DROP TABLE test1} 717 execsql {CREATE TABLE test1(a int, b int);} 718 for {set i 1} {$i<=20} {incr i} { 719 execsql "INSERT INTO test1 VALUES($i,[expr {1<<$i}])" 720 } 721 execsql "INSERT INTO test1 VALUES(NULL,0)" 722 do_test expr-7.1 { 723 execsql {SELECT * FROM test1 ORDER BY a} 724 } {{} 0 1 2 2 4 3 8 4 16 5 32 6 64 7 128 8 256 9 512 10 1024 11 2048 12 4096 13 8192 14 16384 15 32768 16 65536 17 131072 18 262144 19 524288 20 1048576} 725 726 proc test_expr2 {name expr result} { 727 do_test $name [format { 728 execsql {SELECT a FROM test1 WHERE %s ORDER BY a} 729 } $expr] $result 730 } 731 732 test_expr2 expr-7.2 {a<10 AND a>8} {9} 733 test_expr2 expr-7.3 {a<=10 AND a>=8} {8 9 10} 734 test_expr2 expr-7.4 {a>=8 AND a<=10} {8 9 10} 735 test_expr2 expr-7.5 {a>=20 OR a<=1} {1 20} 736 test_expr2 expr-7.6 {b!=4 AND a<=3} {1 3} 737 test_expr2 expr-7.7 {b==8 OR b==16 OR b==32} {3 4 5} 738 test_expr2 expr-7.8 {NOT b<>8 OR b==1024} {3 10} 739 test_expr2 expr-7.9 {b LIKE '10%'} {10 20} 740 test_expr2 expr-7.10 {b LIKE '_4'} {6} 741 test_expr2 expr-7.11 {a GLOB '1?'} {10 11 12 13 14 15 16 17 18 19} 742 test_expr2 expr-7.12 {b GLOB '1*4'} {10 14} 743 test_expr2 expr-7.13 {b GLOB '*1[456]'} {4} 744 test_expr2 expr-7.14 {a ISNULL} {{}} 745 test_expr2 expr-7.15 {a NOTNULL AND a<3} {1 2} 746 test_expr2 expr-7.16 {a AND a<3} {1 2} 747 test_expr2 expr-7.17 {NOT a} {} 748 test_expr2 expr-7.18 {a==11 OR (b>1000 AND b<2000)} {10 11} 749 test_expr2 expr-7.19 {a<=1 OR a>=20} {1 20} 750 test_expr2 expr-7.20 {a<1 OR a>20} {} 751 test_expr2 expr-7.21 {a>19 OR a<1} {20} 752 test_expr2 expr-7.22 {a!=1 OR a=100} \ 753 {2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20} 754 test_expr2 expr-7.23 {(a notnull AND a<4) OR a==8} {1 2 3 8} 755 test_expr2 expr-7.24 {a LIKE '2_' OR a==8} {8 20} 756 test_expr2 expr-7.25 {a GLOB '2?' OR a==8} {8 20} 757 test_expr2 expr-7.26 {a isnull OR a=8} {{} 8} 758 test_expr2 expr-7.27 {a notnull OR a=8} \ 759 {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20} 760 test_expr2 expr-7.28 {a<0 OR b=0} {{}} 761 test_expr2 expr-7.29 {b=0 OR a<0} {{}} 762 test_expr2 expr-7.30 {a<0 AND b=0} {} 763 test_expr2 expr-7.31 {b=0 AND a<0} {} 764 test_expr2 expr-7.32 {a IS NULL AND (a<0 OR b=0)} {{}} 765 test_expr2 expr-7.33 {a IS NULL AND (b=0 OR a<0)} {{}} 766 test_expr2 expr-7.34 {a IS NULL AND (a<0 AND b=0)} {} 767 test_expr2 expr-7.35 {a IS NULL AND (b=0 AND a<0)} {} 768 test_expr2 expr-7.32 {(a<0 OR b=0) AND a IS NULL} {{}} 769 test_expr2 expr-7.33 {(b=0 OR a<0) AND a IS NULL} {{}} 770 test_expr2 expr-7.34 {(a<0 AND b=0) AND a IS NULL} {} 771 test_expr2 expr-7.35 {(b=0 AND a<0) AND a IS NULL} {} 772 test_expr2 expr-7.36 {a<2 OR (a<0 OR b=0)} {{} 1} 773 test_expr2 expr-7.37 {a<2 OR (b=0 OR a<0)} {{} 1} 774 test_expr2 expr-7.38 {a<2 OR (a<0 AND b=0)} {1} 775 test_expr2 expr-7.39 {a<2 OR (b=0 AND a<0)} {1} 776 ifcapable floatingpoint { 777 test_expr2 expr-7.40 {((a<2 OR a IS NULL) AND b<3) OR b>1e10} {{} 1} 778 } 779 test_expr2 expr-7.41 {a BETWEEN -1 AND 1} {1} 780 test_expr2 expr-7.42 {a NOT BETWEEN 2 AND 100} {1} 781 test_expr2 expr-7.43 {(b+1234)||'this is a string that is at least 32 characters long' BETWEEN 1 AND 2} {} 782 test_expr2 expr-7.44 {123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a BETWEEN '123a' AND '123b'} {} 783 test_expr2 expr-7.45 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123b')<0} {} 784 test_expr2 expr-7.46 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123z')>0} {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20} 785 786 test_expr2 expr-7.50 {((a between 1 and 2 OR 0) AND 1) OR 0} {1 2} 787 test_expr2 expr-7.51 {((a not between 3 and 100 OR 0) AND 1) OR 0} {1 2} 788 789 ifcapable subquery { 790 test_expr2 expr-7.52 {((a in (1,2) OR 0) AND 1) OR 0} {1 2} 791 test_expr2 expr-7.53 \ 792 {((a not in (3,4,5,6,7,8,9,10) OR 0) AND a<11) OR 0} {1 2} 793 } 794 test_expr2 expr-7.54 {((a>0 OR 0) AND a<3) OR 0} {1 2} 795 ifcapable subquery { 796 test_expr2 expr-7.55 {((a in (1,2) OR 0) IS NULL AND 1) OR 0} {{}} 797 test_expr2 expr-7.56 \ 798 {((a not in (3,4,5,6,7,8,9,10) IS NULL OR 0) AND 1) OR 0} {{}} 799 } 800 test_expr2 expr-7.57 {((a>0 IS NULL OR 0) AND 1) OR 0} {{}} 801 802 test_expr2 expr-7.58 {(a||'')<='1'} {1} 803 804 test_expr2 expr-7.59 {LIKE('10%',b)} {10 20} 805 test_expr2 expr-7.60 {LIKE('_4',b)} {6} 806 test_expr2 expr-7.61 {GLOB('1?',a)} {10 11 12 13 14 15 16 17 18 19} 807 test_expr2 expr-7.62 {GLOB('1*4',b)} {10 14} 808 test_expr2 expr-7.63 {GLOB('*1[456]',b)} {4} 809 test_expr2 expr-7.64 {b = abs(-2)} {1} 810 test_expr2 expr-7.65 {b = abs(+-2)} {1} 811 test_expr2 expr-7.66 {b = abs(++-2)} {1} 812 test_expr2 expr-7.67 {b = abs(+-+-2)} {1} 813 test_expr2 expr-7.68 {b = abs(+-++-2)} {1} 814 test_expr2 expr-7.69 {b = abs(++++-2)} {1} 815 test_expr2 expr-7.70 {b = 5 - abs(+3)} {1} 816 test_expr2 expr-7.71 {b = 5 - abs(-3)} {1} 817 ifcapable floatingpoint { 818 test_expr2 expr-7.72 {b = abs(-2.0)} {1} 819 } 820 test_expr2 expr-7.73 {b = 6 - abs(-a)} {2} 821 ifcapable floatingpoint { 822 test_expr2 expr-7.74 {b = abs(8.0)} {3} 823 } 824 825 # Test the CURRENT_TIME, CURRENT_DATE, and CURRENT_TIMESTAMP expressions. 826 # 827 ifcapable {floatingpoint} { 828 set sqlite_current_time 1157124849 829 do_test expr-8.1 { 830 execsql {SELECT CURRENT_TIME} 831 } {15:34:09} 832 do_test expr-8.2 { 833 execsql {SELECT CURRENT_DATE} 834 } {2006-09-01} 835 do_test expr-8.3 { 836 execsql {SELECT CURRENT_TIMESTAMP} 837 } {{2006-09-01 15:34:09}} 838 } 839 ifcapable datetime { 840 do_test expr-8.4 { 841 execsql {SELECT CURRENT_TIME==time('now');} 842 } 1 843 do_test expr-8.5 { 844 execsql {SELECT CURRENT_DATE==date('now');} 845 } 1 846 do_test expr-8.6 { 847 execsql {SELECT CURRENT_TIMESTAMP==datetime('now');} 848 } 1 849 } 850 set sqlite_current_time 0 851 852 ifcapable floatingpoint { 853 do_test expr-9.1 { 854 execsql {SELECT round(-('-'||'123'))} 855 } 123.0 856 } 857 858 # Test an error message that can be generated by the LIKE expression 859 do_test expr-10.1 { 860 catchsql {SELECT 'abc' LIKE 'abc' ESCAPE ''} 861 } {1 {ESCAPE expression must be a single character}} 862 do_test expr-10.2 { 863 catchsql {SELECT 'abc' LIKE 'abc' ESCAPE 'ab'} 864 } {1 {ESCAPE expression must be a single character}} 865 866 # If we specify an integer constant that is bigger than the largest 867 # possible integer, code the integer as a real number. 868 # 869 do_test expr-11.1 { 870 execsql {SELECT typeof(9223372036854775807)} 871 } {integer} 872 do_test expr-11.2 { 873 execsql {SELECT typeof(00000009223372036854775807)} 874 } {integer} 875 do_test expr-11.3 { 876 execsql {SELECT typeof(+9223372036854775807)} 877 } {integer} 878 do_test expr-11.4 { 879 execsql {SELECT typeof(+000000009223372036854775807)} 880 } {integer} 881 do_test expr-11.5 { 882 execsql {SELECT typeof(9223372036854775808)} 883 } {real} 884 do_test expr-11.6 { 885 execsql {SELECT typeof(00000009223372036854775808)} 886 } {real} 887 do_test expr-11.7 { 888 execsql {SELECT typeof(+9223372036854775808)} 889 } {real} 890 do_test expr-11.8 { 891 execsql {SELECT typeof(+0000009223372036854775808)} 892 } {real} 893 do_test expr-11.11 { 894 execsql {SELECT typeof(-9223372036854775808)} 895 } {integer} 896 do_test expr-11.12 { 897 execsql {SELECT typeof(-00000009223372036854775808)} 898 } {integer} 899 ifcapable floatingpoint { 900 do_test expr-11.13 { 901 execsql {SELECT typeof(-9223372036854775809)} 902 } {real} 903 do_test expr-11.14 { 904 execsql {SELECT typeof(-00000009223372036854775809)} 905 } {real} 906 } 907 908 # These two statements used to leak memory (because of missing %destructor 909 # directives in parse.y). 910 do_test expr-12.1 { 911 catchsql { 912 SELECT (CASE a>4 THEN 1 ELSE 0 END) FROM test1; 913 } 914 } {1 {near "THEN": syntax error}} 915 do_test expr-12.2 { 916 catchsql { 917 SELECT (CASE WHEN a>4 THEN 1 ELSE 0) FROM test1; 918 } 919 } {1 {near ")": syntax error}} 920 921 ifcapable floatingpoint { 922 do_realnum_test expr-13.1 { 923 execsql { 924 SELECT 12345678901234567890; 925 } 926 } {1.23456789012346e+19} 927 } 928 929 # Implicit String->Integer conversion is used when possible. 930 # 931 if {[working_64bit_int]} { 932 do_test expr-13.2 { 933 execsql { 934 SELECT 0+'9223372036854775807' 935 } 936 } {9223372036854775807} 937 do_test expr-13.3 { 938 execsql { 939 SELECT '9223372036854775807'+0 940 } 941 } {9223372036854775807} 942 } 943 944 # If the value is too large, use String->Float conversion. 945 # 946 ifcapable floatingpoint { 947 do_realnum_test expr-13.4 { 948 execsql { 949 SELECT 0+'9223372036854775808' 950 } 951 } {9.22337203685478e+18} 952 do_realnum_test expr-13.5 { 953 execsql { 954 SELECT '9223372036854775808'+0 955 } 956 } {9.22337203685478e+18} 957 } 958 959 # Use String->float conversion if the value is explicitly a floating 960 # point value. 961 # 962 do_realnum_test expr-13.6 { 963 execsql { 964 SELECT 0+'9223372036854775807.0' 965 } 966 } {9.22337203685478e+18} 967 do_realnum_test expr-13.7 { 968 execsql { 969 SELECT '9223372036854775807.0'+0 970 } 971 } {9.22337203685478e+18} 972 973 do_execsql_test expr-13.8 { 974 SELECT "" <= ''; 975 } {1} 976 do_execsql_test expr-13.9 { 977 SELECT '' <= ""; 978 } {1} 979 980 981 982 finish_test