SET enable_seqscan = off;

CREATE TABLE t (val halfvec(3));

INSERT INTO t (val) VALUES ('[0,0,0]'), ('[1,2,3]'), ('[1,1,1]'), (NULL);

CREATE INDEX ON t USING ivfflat (val halfvec_l2_ops) WITH (lists = 1);

INSERT INTO t (val) VALUES ('[1,2,4]');

SELECT * FROM t ORDER BY val <-> '[3,3,3]';

SELECT COUNT(*) FROM (SELECT * FROM t ORDER BY val <-> (SELECT NULL::halfvec)) t2;

SELECT COUNT(*) FROM t;

TRUNCATE t;

SELECT * FROM t ORDER BY val <-> '[3,3,3]';

DROP TABLE t;

CREATE TABLE t (val halfvec(3));

INSERT INTO t (val) VALUES ('[0,0,0]'), ('[1,2,3]'), ('[1,1,1]'), (NULL);

CREATE INDEX ON t USING ivfflat (val halfvec_ip_ops) WITH (lists = 1);

INSERT INTO t (val) VALUES ('[1,2,4]');

SELECT * FROM t ORDER BY val <#> '[3,3,3]';

SELECT COUNT(*) FROM (SELECT * FROM t ORDER BY val <#> (SELECT NULL::halfvec)) t2;

DROP TABLE t;

CREATE TABLE t (val halfvec(3));

INSERT INTO t (val) VALUES ('[0,0,0]'), ('[1,2,3]'), ('[1,1,1]'), (NULL);

CREATE INDEX ON t USING ivfflat (val halfvec_cosine_ops) WITH (lists = 1);

INSERT INTO t (val) VALUES ('[1,2,4]');

SELECT * FROM t ORDER BY val <=> '[3,3,3]';

SELECT COUNT(*) FROM (SELECT * FROM t ORDER BY val <=> '[0,0,0]') t2;

SELECT COUNT(*) FROM (SELECT * FROM t ORDER BY val <=> (SELECT NULL::halfvec)) t2;

DROP TABLE t;

CREATE TABLE t (val halfvec(4000));

CREATE INDEX ON t USING ivfflat (val halfvec_l2_ops);

DROP TABLE t;

CREATE TABLE t (val halfvec(4001));

CREATE INDEX ON t USING ivfflat (val halfvec_l2_ops);

DROP TABLE t;

SET maintenance_work_mem = '1MB';

CREATE TABLE t (val halfvec(4000));

CREATE INDEX ON t USING ivfflat (val halfvec_l2_ops);

DROP TABLE t;

RESET maintenance_work_mem;

SET maintenance_work_mem = '6MB';

CREATE TABLE t (val halfvec(4000));

INSERT INTO t (val) VALUES (array_fill(0, ARRAY[4000]));

CREATE INDEX ON t USING ivfflat (val halfvec_l2_ops);

DROP TABLE t;

RESET maintenance_work_mem;