AryaWu/sqlite

1# 2018-06-072#3# The author disclaims copyright to this source code.  In place of4# 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# A multi-key index that uses an IN operator on one of the keys other13# than the left-most key is able to abort the IN-operator loop early14# if key terms further to the left do not match.15#16# Call this the "multikey-IN-operator early-out optimization" or17# just "IN-early-out" optimization for short.18#19 20set testdir [file dirname $argv0]21source $testdir/tester.tcl22set testprefix in623 24do_test in6-1.1 {25  db eval {26    CREATE TABLE t1(a,b,c,d);27    WITH RECURSIVE c(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM c WHERE x<100)28      INSERT INTO t1(a,b,c,d)29        SELECT 100, 200+x/2, 300+x/5, x FROM c;30    CREATE INDEX t1abc ON t1(a,b,c);31    ANALYZE;32    UPDATE sqlite_stat1 SET stat='1000000 500000 500 50';33    ANALYZE sqlite_master;34  }35  set ::sqlite_search_count 036  db eval {37    SELECT d FROM t138     WHERE a=9939       AND b IN (200,205,201,204)40       AND c IN (304,302,309,308);41  }42} {}43do_test in6-1.2 {44  set ::sqlite_search_count45} {0}  ;# Without the IN-early-out optimization, this value would be 1546 47# The multikey-IN-operator early-out optimization does not apply48# when the IN operator is on the left-most column of the index.49#50do_test in6-1.3 {51  db eval {52    EXPLAIN53    SELECT d FROM t154      WHERE a IN (98,99,100,101)55        AND b=200 AND c=300;56  }57} {~/(IfNoHope|SeekHit)/}58 59set sqlite_search_count 060do_execsql_test in6-1.4 {61 SELECT d FROM t162  WHERE a=10063    AND b IN (200,201,202,204)64    AND c IN (300,302,301,305)65  ORDER BY +d;66} {1 2 3 4 5 8 9}67do_test in6-1.5 {68  set ::sqlite_search_count69} {39}70 71do_execsql_test in6-2.1 {72  CREATE TABLE t2(e INT UNIQUE, f TEXT);73  SELECT d, f FROM t1 LEFT JOIN t2 ON (e=d)74  WHERE a=10075    AND b IN (200,201,202,204)76    AND c IN (300,302,301,305)77  ORDER BY +d;78} {1 {} 2 {} 3 {} 4 {} 5 {} 8 {} 9 {}}79 80# 2020-03-16 ticket 82b588d342d515d181# Ensure that the IN-early-out optimization works with LEFT JOINs82#83reset_db84do_execsql_test in6-3.100 {85  CREATE TABLE t1(a);86  INSERT INTO t1 VALUES(0);87  CREATE TABLE t2(b, c, d);88  INSERT INTO t2(b,c,d) VALUES(4,5,3),(4,5,4),(4,5,8);89  CREATE INDEX t2bcd ON t2(b, c, d);90  SELECT * FROM t1 LEFT JOIN t2 ON b=NULL AND c=5 AND d IN (2,3,4);91} {0 {} {} {}}92do_execsql_test in6-3.110 {93  CREATE TABLE v0(v1);94  CREATE TABLE v3(v5, v4);95  INSERT INTO v0 VALUES(0);96  CREATE INDEX v9 ON v3(v4, v4, v5);97  SELECT quote(v5) FROM v0 LEFT JOIN v3 ON v4 = NULL AND v5 IN(0);98} {NULL}99 100# 2021-04-29 forum https://sqlite.org/forum/forumpost/6a3ec138e9101# An early OP_IsNull bypass might skip over the OP_Affinity and102# cause the OP_IfNoHope to jump on a false-positive, resulting in103# incomplete output.104#105reset_db106do_execsql_test in6-3.120 {107  CREATE TABLE t1(a TEXT, b TEXT);108  INSERT INTO t1 VALUES(null,10),(0,10),(10,10);109  CREATE INDEX t1ab ON t1(a,b);110  SELECT quote(a), quote(b), '|' FROM t1 WHERE b in (SELECT a FROM t1) AND a=0;111} {'0' '10' |}112do_execsql_test in6-3.130 {113  CREATE TABLE t2(x TEXT);114  INSERT INTO t2(x) VALUES(NULL),(0),(10);115  SELECT quote(x), quote(a), quote(b), 'x'116    FROM t2 LEFT JOIN t1 ON a=x AND b in (null,0,10);117} {NULL NULL NULL x '0' '0' '10' x '10' '10' '10' x}118 119finish_test120