sl@0: #
sl@0: # 2001 September 15
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library.  The
sl@0: # focus of this script is page cache subsystem.
sl@0: #
sl@0: # $Id: collate2.test,v 1.6 2008/08/20 16:35:10 drh Exp $
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: #
sl@0: # Tests are organised as follows:
sl@0: #
sl@0: # collate2-1.* WHERE <expr> expressions (sqliteExprIfTrue).
sl@0: # collate2-2.* WHERE NOT <expr> expressions (sqliteExprIfFalse).
sl@0: # collate2-3.* SELECT <expr> expressions (sqliteExprCode).
sl@0: # collate2-4.* Precedence of collation/data types in binary comparisons
sl@0: # collate2-5.* JOIN syntax.
sl@0: #
sl@0: 
sl@0: # Create a collation type BACKWARDS for use in testing. This collation type
sl@0: # is similar to the built-in TEXT collation type except the order of
sl@0: # characters in each string is reversed before the comparison is performed.
sl@0: db collate BACKWARDS backwards_collate
sl@0: proc backwards_collate {a b} {
sl@0:   set ra {};
sl@0:   set rb {}
sl@0:   foreach c [split $a {}] { set ra $c$ra }
sl@0:   foreach c [split $b {}] { set rb $c$rb }
sl@0:   return [string compare $ra $rb]
sl@0: }
sl@0: 
sl@0: # The following values are used in these tests:
sl@0: # NULL   aa ab ba bb   aA aB bA bB   Aa Ab Ba Bb   AA AB BA BB 
sl@0: #
sl@0: # The collation orders for each of the tested collation types are:
sl@0: #
sl@0: # BINARY:    NULL  AA AB Aa Ab  BA BB Ba Bb  aA aB aa ab  bA bB ba bb 
sl@0: # NOCASE:    NULL  aa aA Aa AA  ab aB Ab AB  ba bA Ba BA  bb bB Bb BB 
sl@0: # BACKWARDS: NULL  AA BA aA bA  AB BB aB bB  Aa Ba aa ba  Ab Bb ab bb 
sl@0: #
sl@0: # These tests verify that the default collation type for a column is used
sl@0: # for comparison operators (<, >, <=, >=, =) involving that column and 
sl@0: # an expression that is not a column with a default collation type.
sl@0: # 
sl@0: # The collation sequences BINARY and NOCASE are built-in, the BACKWARDS
sl@0: # collation sequence is implemented by the TCL proc backwards_collate
sl@0: # above.
sl@0: #
sl@0: do_test collate2-1.0 {
sl@0:   execsql {
sl@0:     CREATE TABLE collate2t1(
sl@0:       a COLLATE BINARY, 
sl@0:       b COLLATE NOCASE, 
sl@0:       c COLLATE BACKWARDS
sl@0:     );
sl@0:     INSERT INTO collate2t1 VALUES( NULL, NULL, NULL );
sl@0: 
sl@0:     INSERT INTO collate2t1 VALUES( 'aa', 'aa', 'aa' );
sl@0:     INSERT INTO collate2t1 VALUES( 'ab', 'ab', 'ab' );
sl@0:     INSERT INTO collate2t1 VALUES( 'ba', 'ba', 'ba' );
sl@0:     INSERT INTO collate2t1 VALUES( 'bb', 'bb', 'bb' );
sl@0: 
sl@0:     INSERT INTO collate2t1 VALUES( 'aA', 'aA', 'aA' );
sl@0:     INSERT INTO collate2t1 VALUES( 'aB', 'aB', 'aB' );
sl@0:     INSERT INTO collate2t1 VALUES( 'bA', 'bA', 'bA' );
sl@0:     INSERT INTO collate2t1 VALUES( 'bB', 'bB', 'bB' );
sl@0: 
sl@0:     INSERT INTO collate2t1 VALUES( 'Aa', 'Aa', 'Aa' );
sl@0:     INSERT INTO collate2t1 VALUES( 'Ab', 'Ab', 'Ab' );
sl@0:     INSERT INTO collate2t1 VALUES( 'Ba', 'Ba', 'Ba' );
sl@0:     INSERT INTO collate2t1 VALUES( 'Bb', 'Bb', 'Bb' );
sl@0: 
sl@0:     INSERT INTO collate2t1 VALUES( 'AA', 'AA', 'AA' );
sl@0:     INSERT INTO collate2t1 VALUES( 'AB', 'AB', 'AB' );
sl@0:     INSERT INTO collate2t1 VALUES( 'BA', 'BA', 'BA' );
sl@0:     INSERT INTO collate2t1 VALUES( 'BB', 'BB', 'BB' );
sl@0:   }
sl@0:   if {[info exists collate_test_use_index]} { 
sl@0:     execsql {
sl@0:       CREATE INDEX collate2t1_i1 ON collate2t1(a);
sl@0:       CREATE INDEX collate2t1_i2 ON collate2t1(b);
sl@0:       CREATE INDEX collate2t1_i3 ON collate2t1(c);
sl@0:     }
sl@0:   }
sl@0: } {}
sl@0: do_test collate2-1.1 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ab bA bB ba bb}
sl@0: do_test collate2-1.1.1 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a COLLATE binary > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ab bA bB ba bb}
sl@0: do_test collate2-1.1.2 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE b COLLATE binary > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ab bA bB ba bb}
sl@0: do_test collate2-1.1.3 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE c COLLATE binary > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ab bA bB ba bb}
sl@0: do_test collate2-1.2 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b > 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.1 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE a COLLATE nocase > 'aa'
sl@0:      ORDER BY 1, oid;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.2 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b COLLATE nocase > 'aa'
sl@0:      ORDER BY 1, oid;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.3 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE c COLLATE nocase > 'aa'
sl@0:      ORDER BY 1, oid;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.4 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b > 'aa' ORDER BY +b;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.5 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE a COLLATE nocase > 'aa' ORDER BY +b;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.6 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b COLLATE nocase > 'aa' ORDER BY +b;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.2.7 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE c COLLATE nocase > 'aa' ORDER BY +b;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.3 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ba Ab Bb ab bb}
sl@0: do_test collate2-1.3.1 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE a COLLATE backwards > 'aa'
sl@0:     ORDER BY 1;
sl@0:   }
sl@0: } {ba Ab Bb ab bb}
sl@0: do_test collate2-1.3.2 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE b COLLATE backwards > 'aa'
sl@0:     ORDER BY 1;
sl@0:   }
sl@0: } {ba Ab Bb ab bb}
sl@0: do_test collate2-1.3.3 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c COLLATE backwards > 'aa'
sl@0:     ORDER BY 1;
sl@0:   }
sl@0: } {ba Ab Bb ab bb}
sl@0: do_test collate2-1.4 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a < 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA AB Aa Ab BA BB Ba Bb aA aB}
sl@0: do_test collate2-1.5 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b < 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {}
sl@0: do_test collate2-1.5.1 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b < 'aa' ORDER BY +b;
sl@0:   }
sl@0: } {}
sl@0: do_test collate2-1.6 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c < 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA BA aA bA AB BB aB bB Aa Ba}
sl@0: do_test collate2-1.7 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a = 'aa';
sl@0:   }
sl@0: } {aa}
sl@0: do_test collate2-1.8 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b = 'aa' ORDER BY oid;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-1.9 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c = 'aa';
sl@0:   }
sl@0: } {aa}
sl@0: do_test collate2-1.10 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a >= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {aa ab bA bB ba bb}
sl@0: do_test collate2-1.11 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b >= 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa aA Aa AA ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.12 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c >= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {aa ba Ab Bb ab bb}
sl@0: do_test collate2-1.13 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a <= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA AB Aa Ab BA BB Ba Bb aA aB aa}
sl@0: do_test collate2-1.14 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b <= 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-1.15 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c <= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA BA aA bA AB BB aB bB Aa Ba aa}
sl@0: do_test collate2-1.16 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a BETWEEN 'Aa' AND 'Bb' ORDER BY 1;
sl@0:   }
sl@0: } {Aa Ab BA BB Ba Bb}
sl@0: do_test collate2-1.17 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b BETWEEN 'Aa' AND 'Bb' ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa aA Aa AA ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.17.1 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b BETWEEN 'Aa' AND 'Bb' ORDER BY +b;
sl@0:   }
sl@0: } {aa aA Aa AA ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-1.18 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c BETWEEN 'Aa' AND 'Bb' ORDER BY 1;
sl@0:   }
sl@0: } {Aa Ba aa ba Ab Bb}
sl@0: do_test collate2-1.19 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE 
sl@0:       CASE a WHEN 'aa' THEN 1 ELSE 0 END
sl@0:         ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa}
sl@0: do_test collate2-1.20 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE 
sl@0:       CASE b WHEN 'aa' THEN 1 ELSE 0 END
sl@0:         ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-1.21 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE 
sl@0:       CASE c WHEN 'aa' THEN 1 ELSE 0 END
sl@0:         ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa}
sl@0: 
sl@0: ifcapable subquery {
sl@0:   do_test collate2-1.22 {
sl@0:     execsql {
sl@0:       SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb') ORDER BY 1, oid;
sl@0:     }
sl@0:   } {aa bb}
sl@0:   do_test collate2-1.23 {
sl@0:     execsql {
sl@0:       SELECT b FROM collate2t1 WHERE b IN ('aa', 'bb') ORDER BY 1, oid;
sl@0:     }
sl@0:   } {aa aA Aa AA bb bB Bb BB}
sl@0:   do_test collate2-1.24 {
sl@0:     execsql {
sl@0:       SELECT c FROM collate2t1 WHERE c IN ('aa', 'bb') ORDER BY 1, oid;
sl@0:     }
sl@0:   } {aa bb}
sl@0:   do_test collate2-1.25 {
sl@0:     execsql {
sl@0:       SELECT a FROM collate2t1 
sl@0:         WHERE a IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb'));
sl@0:     }
sl@0:   } {aa bb}
sl@0:   do_test collate2-1.26 {
sl@0:     execsql {
sl@0:       SELECT b FROM collate2t1 
sl@0:         WHERE b IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb'));
sl@0:     }
sl@0:   } {aa bb aA bB Aa Bb AA BB}
sl@0:   do_test collate2-1.27 {
sl@0:     execsql {
sl@0:       SELECT c FROM collate2t1 
sl@0:         WHERE c IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb'));
sl@0:     }
sl@0:   } {aa bb}
sl@0: } ;# ifcapable subquery
sl@0: 
sl@0: do_test collate2-2.1 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE NOT a > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA AB Aa Ab BA BB Ba Bb aA aB aa}
sl@0: do_test collate2-2.2 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE NOT b > 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-2.3 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE NOT c > 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA BA aA bA AB BB aB bB Aa Ba aa}
sl@0: do_test collate2-2.4 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE NOT a < 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {aa ab bA bB ba bb}
sl@0: do_test collate2-2.5 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE NOT b < 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {aa aA Aa AA ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-2.6 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE NOT c < 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {aa ba Ab Bb ab bb}
sl@0: do_test collate2-2.7 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE NOT a = 'aa';
sl@0:   }
sl@0: } {ab ba bb aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0: do_test collate2-2.8 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE NOT b = 'aa';
sl@0:   }
sl@0: } {ab ba bb aB bA bB Ab Ba Bb AB BA BB}
sl@0: do_test collate2-2.9 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE NOT c = 'aa';
sl@0:   }
sl@0: } {ab ba bb aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0: do_test collate2-2.10 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE NOT a >= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA AB Aa Ab BA BB Ba Bb aA aB}
sl@0: do_test collate2-2.11 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE NOT b >= 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {}
sl@0: do_test collate2-2.12 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE NOT c >= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {AA BA aA bA AB BB aB bB Aa Ba}
sl@0: do_test collate2-2.13 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE NOT a <= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ab bA bB ba bb}
sl@0: do_test collate2-2.14 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE NOT b <= 'aa' ORDER BY 1, oid;
sl@0:   }
sl@0: } {ab aB Ab AB ba bA Ba BA bb bB Bb BB}
sl@0: do_test collate2-2.15 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE NOT c <= 'aa' ORDER BY 1;
sl@0:   }
sl@0: } {ba Ab Bb ab bb}
sl@0: do_test collate2-2.16 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE a NOT BETWEEN 'Aa' AND 'Bb' ORDER BY 1;
sl@0:   }
sl@0: } {AA AB aA aB aa ab bA bB ba bb}
sl@0: do_test collate2-2.17 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE b NOT BETWEEN 'Aa' AND 'Bb' ORDER BY 1, oid;
sl@0:   }
sl@0: } {}
sl@0: do_test collate2-2.18 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE c NOT BETWEEN 'Aa' AND 'Bb' ORDER BY 1;
sl@0:   }
sl@0: } {AA BA aA bA AB BB aB bB ab bb}
sl@0: do_test collate2-2.19 {
sl@0:   execsql {
sl@0:     SELECT a FROM collate2t1 WHERE NOT CASE a WHEN 'aa' THEN 1 ELSE 0 END;
sl@0:   }
sl@0: } {{} ab ba bb aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0: do_test collate2-2.20 {
sl@0:   execsql {
sl@0:     SELECT b FROM collate2t1 WHERE NOT CASE b WHEN 'aa' THEN 1 ELSE 0 END;
sl@0:   }
sl@0: } {{} ab ba bb aB bA bB Ab Ba Bb AB BA BB}
sl@0: do_test collate2-2.21 {
sl@0:   execsql {
sl@0:     SELECT c FROM collate2t1 WHERE NOT CASE c WHEN 'aa' THEN 1 ELSE 0 END;
sl@0:   }
sl@0: } {{} ab ba bb aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0: 
sl@0: ifcapable subquery {
sl@0:   do_test collate2-2.22 {
sl@0:     execsql {
sl@0:       SELECT a FROM collate2t1 WHERE NOT a IN ('aa', 'bb');
sl@0:     }
sl@0:   } {ab ba aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0:   do_test collate2-2.23 {
sl@0:     execsql {
sl@0:       SELECT b FROM collate2t1 WHERE NOT b IN ('aa', 'bb');
sl@0:     }
sl@0:   } {ab ba aB bA Ab Ba AB BA}
sl@0:   do_test collate2-2.24 {
sl@0:     execsql {
sl@0:       SELECT c FROM collate2t1 WHERE NOT c IN ('aa', 'bb');
sl@0:     }
sl@0:   } {ab ba aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0:   do_test collate2-2.25 {
sl@0:     execsql {
sl@0:       SELECT a FROM collate2t1 
sl@0:         WHERE NOT a IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb'));
sl@0:     }
sl@0:   } {ab ba aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0:   do_test collate2-2.26 {
sl@0:     execsql {
sl@0:       SELECT b FROM collate2t1 
sl@0:         WHERE NOT b IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb'));
sl@0:     }
sl@0:   } {ab ba aB bA Ab Ba AB BA}
sl@0:   do_test collate2-2.27 {
sl@0:     execsql {
sl@0:       SELECT c FROM collate2t1 
sl@0:         WHERE NOT c IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb'));
sl@0:     }
sl@0:   } {ab ba aA aB bA bB Aa Ab Ba Bb AA AB BA BB}
sl@0: }
sl@0: 
sl@0: do_test collate2-3.1 {
sl@0:   execsql {
sl@0:     SELECT a > 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0}
sl@0: do_test collate2-3.2 {
sl@0:   execsql {
sl@0:     SELECT b > 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1}
sl@0: do_test collate2-3.3 {
sl@0:   execsql {
sl@0:     SELECT c > 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0}
sl@0: do_test collate2-3.4 {
sl@0:   execsql {
sl@0:     SELECT a < 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1}
sl@0: do_test collate2-3.5 {
sl@0:   execsql {
sl@0:     SELECT b < 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0: do_test collate2-3.6 {
sl@0:   execsql {
sl@0:     SELECT c < 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1}
sl@0: do_test collate2-3.7 {
sl@0:   execsql {
sl@0:     SELECT a = 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0: do_test collate2-3.8 {
sl@0:   execsql {
sl@0:     SELECT b = 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0}
sl@0: do_test collate2-3.9 {
sl@0:   execsql {
sl@0:     SELECT c = 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0: do_test collate2-3.10 {
sl@0:   execsql {
sl@0:     SELECT a <= 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1}
sl@0: do_test collate2-3.11 {
sl@0:   execsql {
sl@0:     SELECT b <= 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0}
sl@0: do_test collate2-3.12 {
sl@0:   execsql {
sl@0:     SELECT c <= 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1}
sl@0: do_test collate2-3.13 {
sl@0:   execsql {
sl@0:     SELECT a >= 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0}
sl@0: do_test collate2-3.14 {
sl@0:   execsql {
sl@0:     SELECT b >= 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1}
sl@0: do_test collate2-3.15 {
sl@0:   execsql {
sl@0:     SELECT c >= 'aa' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0}
sl@0: do_test collate2-3.16 {
sl@0:   execsql {
sl@0:     SELECT a BETWEEN 'Aa' AND 'Bb' FROM collate2t1;
sl@0:   }
sl@0: } {{} 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1}
sl@0: do_test collate2-3.17 {
sl@0:   execsql {
sl@0:     SELECT b BETWEEN 'Aa' AND 'Bb' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1}
sl@0: do_test collate2-3.18 {
sl@0:   execsql {
sl@0:     SELECT c BETWEEN 'Aa' AND 'Bb' FROM collate2t1;
sl@0:   }
sl@0: } {{} 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0}
sl@0: do_test collate2-3.19 {
sl@0:   execsql {
sl@0:     SELECT CASE a WHEN 'aa' THEN 1 ELSE 0 END FROM collate2t1;
sl@0:   }
sl@0: } {0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0: do_test collate2-3.20 {
sl@0:   execsql {
sl@0:     SELECT CASE b WHEN 'aa' THEN 1 ELSE 0 END FROM collate2t1;
sl@0:   }
sl@0: } {0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0}
sl@0: do_test collate2-3.21 {
sl@0:   execsql {
sl@0:     SELECT CASE c WHEN 'aa' THEN 1 ELSE 0 END FROM collate2t1;
sl@0:   }
sl@0: } {0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0: 
sl@0: ifcapable subquery {
sl@0:   do_test collate2-3.22 {
sl@0:     execsql {
sl@0:       SELECT a IN ('aa', 'bb') FROM collate2t1;
sl@0:     }
sl@0:   } {{} 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0:   do_test collate2-3.23 {
sl@0:     execsql {
sl@0:       SELECT b IN ('aa', 'bb') FROM collate2t1;
sl@0:     }
sl@0:   } {{} 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1}
sl@0:   do_test collate2-3.24 {
sl@0:     execsql {
sl@0:       SELECT c IN ('aa', 'bb') FROM collate2t1;
sl@0:     }
sl@0:   } {{} 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0:   do_test collate2-3.25 {
sl@0:     execsql {
sl@0:       SELECT a IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb')) 
sl@0:         FROM collate2t1;
sl@0:     }
sl@0:   } {{} 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0:   do_test collate2-3.26 {
sl@0:     execsql {
sl@0:       SELECT b IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb')) 
sl@0:         FROM collate2t1;
sl@0:     }
sl@0:   } {{} 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1}
sl@0:   do_test collate2-3.27 {
sl@0:     execsql {
sl@0:       SELECT c IN (SELECT a FROM collate2t1 WHERE a IN ('aa', 'bb')) 
sl@0:         FROM collate2t1;
sl@0:     }
sl@0:   } {{} 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0}
sl@0: }
sl@0: 
sl@0: do_test collate2-4.0 {
sl@0:   execsql {
sl@0:     CREATE TABLE collate2t2(b COLLATE binary);
sl@0:     CREATE TABLE collate2t3(b text);
sl@0:     INSERT INTO collate2t2 VALUES('aa');
sl@0:     INSERT INTO collate2t3 VALUES('aa');
sl@0:   }
sl@0: } {}
sl@0: 
sl@0: # Test that when both sides of a binary comparison operator have
sl@0: # default collation types, the collate type for the leftmost term
sl@0: # is used.
sl@0: do_test collate2-4.1 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.a FROM collate2t1, collate2t2 
sl@0:       WHERE collate2t1.b = collate2t2.b;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-4.2 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.a FROM collate2t1, collate2t2 
sl@0:       WHERE collate2t2.b = collate2t1.b;
sl@0:   }
sl@0: } {aa}
sl@0: 
sl@0: # Test that when one side has a default collation type and the other
sl@0: # does not, the collation type is used.
sl@0: do_test collate2-4.3 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.a FROM collate2t1, collate2t3 
sl@0:       WHERE collate2t1.b = collate2t3.b||'';
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-4.4 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.a FROM collate2t1, collate2t3 
sl@0:       WHERE collate2t3.b||'' = collate2t1.b;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: 
sl@0: do_test collate2-4.5 {
sl@0:   execsql {
sl@0:     DROP TABLE collate2t3;
sl@0:   }
sl@0: } {}
sl@0: 
sl@0: #
sl@0: # Test that the default collation types are used when the JOIN syntax
sl@0: # is used in place of a WHERE clause.
sl@0: #
sl@0: # SQLite transforms the JOIN syntax into a WHERE clause internally, so
sl@0: # the focus of these tests is to ensure that the table on the left-hand-side
sl@0: # of the join determines the collation type used. 
sl@0: #
sl@0: do_test collate2-5.0 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.b FROM collate2t1 JOIN collate2t2 USING (b);
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-5.1 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.b FROM collate2t2 JOIN collate2t1 USING (b);
sl@0:   }
sl@0: } {aa}
sl@0: do_test collate2-5.2 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.b FROM collate2t1 NATURAL JOIN collate2t2;
sl@0:   }
sl@0: } {aa aA Aa AA}
sl@0: do_test collate2-5.3 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.b FROM collate2t2 NATURAL JOIN collate2t1;
sl@0:   }
sl@0: } {aa}
sl@0: do_test collate2-5.4 {
sl@0:   execsql {
sl@0:     SELECT collate2t2.b FROM collate2t1 LEFT OUTER JOIN collate2t2 USING (b) order by collate2t1.oid;
sl@0:   }
sl@0: } {{} aa {} {} {} aa {} {} {} aa {} {} {} aa {} {} {}}
sl@0: do_test collate2-5.5 {
sl@0:   execsql {
sl@0:     SELECT collate2t1.b, collate2t2.b FROM collate2t2 LEFT OUTER JOIN collate2t1 USING (b);
sl@0:   }
sl@0: } {aa aa}
sl@0: 
sl@0: finish_test