-- Aggregation operators (src/agg/kern*.c): every SIMD level is bit-identical to the scalar
-- specification, whatever sift.simd says. Levels above what the CPU supports fall back to the
-- best supported one, so the output does not depend on the host.
CREATE EXTENSION pg_sift;
CREATE EXTENSION pg_sift_test;
-- Digest of every operator's output over 300 random cases (lengths 0..4096, NaN / Inf / -0
-- doubles, int extremes, sparse and full masks, LUT bounds), per sift.simd level; the fixed value
-- pins the specification itself.
SET sift.simd = scalar;
SELECT sift._test_aggkern_level() AS level;
 level  
--------
 scalar
(1 row)

SELECT sift._test_aggkern_digest(1, 300) AS scalar_digest \gset
SELECT :scalar_digest;
      ?column?       
---------------------
 1682621924458575657
(1 row)

SET sift.simd = avx2;
SELECT sift._test_aggkern_level() <> 'avx512' AS avx2_caps_level;
 avx2_caps_level 
-----------------
 t
(1 row)

SELECT sift._test_aggkern_digest(1, 300) = :scalar_digest AS avx2_same;
 avx2_same 
-----------
 t
(1 row)

SET sift.simd = avx512;
SELECT sift._test_aggkern_digest(1, 300) = :scalar_digest AS avx512_same;
 avx512_same 
-------------
 t
(1 row)

RESET sift.simd;
SELECT sift._test_aggkern_digest(1, 300) = :scalar_digest AS auto_same;
 auto_same 
-----------
 t
(1 row)

-- Every level the CPU supports against scalar, case by case
SELECT sift._test_aggkern_equiv(42, 1500) AS mismatches;
 mismatches 
------------
          0
(1 row)

DROP EXTENSION pg_sift_test;
DROP EXTENSION pg_sift;