// Copyright 2023 The Wuffs Authors.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// https://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//
// SPDX-License-Identifier: Apache-2.0 OR MIT

// ----------------

/*
This test program is typically run indirectly, by the "wuffs test" or "wuffs
bench" commands. These commands take an optional "-mimic" flag to check that
Wuffs' output mimics (i.e. exactly matches) other libraries' output, such as
giflib for GIF, libpng for PNG, etc.

To manually run this test:

for CC in clang gcc; do
  $CC -std=c99 -Wall -Werror crc64.c && ./a.out
  rm -f a.out
done

Each edition should print "PASS", amongst other information, and exit(0).

Add the "wuffs mimic cflags" (everything after the colon below) to the C
compiler flags (after the .c file) to run the mimic tests.

To manually run the benchmarks, replace "-Wall -Werror" with "-O3" and replace
the first "./a.out" with "./a.out -bench". Combine these changes with the
"wuffs mimic cflags" to run the mimic benchmarks.
*/

// ¿ wuffs mimic cflags: -DWUFFS_MIMIC

// Wuffs ships as a "single file C library" or "header file library" as per
// https://github.com/nothings/stb/blob/master/docs/stb_howto.txt
//
// To use that single file as a "foo.c"-like implementation, instead of a
// "foo.h"-like header, #define WUFFS_IMPLEMENTATION before #include'ing or
// compiling it.
#define WUFFS_IMPLEMENTATION

// Defining the WUFFS_CONFIG__MODULE* macros are optional, but it lets users of
// release/c/etc.c choose which parts of Wuffs to build. That file contains the
// entire Wuffs standard library, implementing a variety of codecs and file
// formats. Without this macro definition, an optimizing compiler or linker may
// very well discard Wuffs code for unused codecs, but listing the Wuffs
// modules we use makes that process explicit. Preprocessing means that such
// code simply isn't compiled.
#define WUFFS_CONFIG__MODULES
#define WUFFS_CONFIG__MODULE__BASE
#define WUFFS_CONFIG__MODULE__CRC64

// If building this program in an environment that doesn't easily accommodate
// relative includes, you can use the script/inline-c-relative-includes.go
// program to generate a stand-alone C file.
#include "../../../release/c/wuffs-unsupported-snapshot.c"
#include "../testlib/testlib.c"
#ifdef WUFFS_MIMIC
// No mimic library.
#endif

// ---------------- Golden Tests

golden_test g_crc64_midsummer_gt = {
    .src_filename = "test/data/midsummer.txt",
};

golden_test g_crc64_pi_gt = {
    .src_filename = "test/data/pi.txt",
};

// ---------------- CRC64 Tests

const char*  //
test_wuffs_crc64_ecma_interface() {
  CHECK_FOCUS(__func__);
  wuffs_crc64__ecma_hasher h;
  CHECK_STATUS("initialize",
               wuffs_crc64__ecma_hasher__initialize(
                   &h, sizeof h, WUFFS_VERSION,
                   WUFFS_INITIALIZE__LEAVE_INTERNAL_BUFFERS_UNINITIALIZED));
  return do_test__wuffs_base__hasher_u64(
      wuffs_crc64__ecma_hasher__upcast_as__wuffs_base__hasher_u64(&h),
      "test/data/hat.lossy.webp", 0, SIZE_MAX, 0xE52B1F3FF3D3389E);
}

const char*  //
test_wuffs_crc64_ecma_golden() {
  CHECK_FOCUS(__func__);

  struct {
    const char* filename;
    // The want values are determined by script/checksum.go.
    uint64_t want;
  } test_cases[] = {
      {
          .filename = "test/data/hat.bmp",
          .want = 0xEADD85183B8DD1B5,
      },
      {
          .filename = "test/data/hat.gif",
          .want = 0x04365C489DBC96CD,
      },
      {
          .filename = "test/data/hat.jpeg",
          .want = 0xA4C0DB421278B786,
      },
      {
          .filename = "test/data/hat.lossless.webp",
          .want = 0x090AF44557A4E13D,
      },
      {
          .filename = "test/data/hat.lossy.webp",
          .want = 0xE52B1F3FF3D3389E,
      },
      {
          .filename = "test/data/hat.png",
          .want = 0x92E9F67A8948B654,
      },
      {
          .filename = "test/data/hat.tiff",
          .want = 0xB640F37638B639B9,
      },
  };

  for (size_t tc = 0; tc < WUFFS_TESTLIB_ARRAY_SIZE(test_cases); tc++) {
    wuffs_base__io_buffer src = ((wuffs_base__io_buffer){
        .data = g_src_slice_u8,
    });
    CHECK_STRING(read_file(&src, test_cases[tc].filename));

    for (int j = 0; j < 2; j++) {
      wuffs_crc64__ecma_hasher checksum;
      CHECK_STATUS("initialize",
                   wuffs_crc64__ecma_hasher__initialize(
                       &checksum, sizeof checksum, WUFFS_VERSION,
                       WUFFS_INITIALIZE__LEAVE_INTERNAL_BUFFERS_UNINITIALIZED));

      uint64_t have = 0;
      size_t num_fragments = 0;
      size_t num_bytes = 0;
      do {
        wuffs_base__slice_u8 data = ((wuffs_base__slice_u8){
            .ptr = src.data.ptr + num_bytes,
            .len = src.meta.wi - num_bytes,
        });
        size_t limit = 101 + 103 * num_fragments;
        if ((j > 0) && (data.len > limit)) {
          data.len = limit;
        }
        have = wuffs_crc64__ecma_hasher__update_u64(&checksum, data);
        num_fragments++;
        num_bytes += data.len;
      } while (num_bytes < src.meta.wi);

      if (have != test_cases[tc].want) {
        RETURN_FAIL("tc=%zu, j=%d, filename=\"%s\": have 0x%016" PRIX64
                    ", want 0x%016" PRIX64 "\n",
                    tc, j, test_cases[tc].filename, have, test_cases[tc].want);
      }
    }
  }
  return NULL;
}

const char*  //
do_test_xxxxx_crc64_ecma_pi(bool mimic) {
  const char* digits =
      "3."
      "141592653589793238462643383279502884197169399375105820974944592307816406"
      "286208998628034825342117067982148086513282306647093844609550582231725359"
      "408128481117450284102701938521105559644622948954930381964428810975665933"
      "446128475648233786783165271201909145648566923460348610454326648213393607"
      "260249141";
  if (strlen(digits) != 299) {
    RETURN_FAIL("strlen(digits): have %d, want 99", (int)(strlen(digits)));
  }

  // The want values are determined by script/checksum.go.
  //
  // wants[i] is the checksum of the first i bytes of the digits string.
  uint64_t wants[300] = {
      0x0000000000000000, 0xDEAB38D23CD56AB6, 0x5C257BEFCFF13F5E,
      0x4BABD3D6697B9834, 0x1FE60AA0B20E44C1, 0x34C4D86E0BC41325,
      0x6202C4935B5F9D03, 0x9A46F1A15337D622, 0x62AC46BA94076EC6,
      0x34B9922211E21A0F, 0x9A104AF7E27D6BA5, 0x2494B24742FED551,
      0xFBD89FFF950FD48C, 0x2B460EB540AFCB27, 0x1AE8349F28C5B4D5,
      0xBDDE413FCD2D1EC7, 0x4C9392FF3C6A7271, 0x8FD32F7CD8D872D1,
      0x0E65369A2D7A5C6E, 0x39D14684478C19D7, 0x82A2707ED574EA50,
      0xFB7EA93DAC985EB3, 0x1EC407757264A919, 0x548FDAE4E78AD430,
      0x90ADDB7AD74F4BE5, 0x7C529D717060C1D7, 0x32EC0E4574BA45DA,
      0x0DFDB8E543882264, 0x8AFC92B43B45B4C6, 0xFCAF4DCCE3655989,
      0xE09A4703D8AFBCCB, 0xB84AE0AEA83F5088, 0xE3FB13F0EDBAFAFF,
      0xB1B19761FF90117D, 0x44F5331DED6D95D3, 0xFA2A26D1E40F49D2,
      0x4A9F04247CFF685C, 0xFBB69449F631D531, 0xD7A898DDD1B90FD0,
      0xFAB97B7A24339D48, 0x4E639C3405727ED1, 0xC65A0913998FF73E,
      0xD4B0C51EDC88ADCF, 0x70804516491376C5, 0xB8DAFAACBDAEEC42,
      0x4E21FFB5D3EBE3A0, 0xEF9BBD96ABB95EB8, 0x650021E526ECD62A,
      0x26DCCBDD2CCB56CF, 0xC35C65A689446A51, 0xFB3F572874C46E33,
      0xEBD2A873E4535B6C, 0x8A1ABDA4ADE26FBF, 0xD56E5D054013CE49,
      0x4E4C4B127A165E82, 0x502359E552CF8C9E, 0x5553E5155C05710B,
      0x6DD027892A2E30A8, 0x60ECB99DC08F6503, 0xA51B17EF5E9ABBE0,
      0x8BC6ACB41AF7A841, 0x35C2206734C3E4D7, 0x0EDF2795369647F8,
      0x8D260A38CE239CC7, 0x4CA36AB43B697CF3, 0x011532F8EFBF81A9,
      0xA87EF3B24D62F5EE, 0xB7B1703D138CF108, 0x526DCD2F01570412,
      0xE7ED3F90BE5EB8F2, 0xF53A4AFA637A1636, 0x1F589B399E04454F,
      0x4DA3CC8A11965534, 0x6430C13B11F9F73F, 0x5B465A05A3CF25A7,
      0x63FF9EBE1B58982B, 0x25FF853C20A8FEBC, 0xD5C1B83DD89E84D8,
      0x4AB0EFBA90C3F991, 0x9E9248C7A8B1601F, 0xD87EC82655C1E3AC,
      0x637CA62C38AE96ED, 0xB45FC336DAA72156, 0xF86DE5D0B3C99145,
      0xBAE57EFD07A52486, 0x2B073354423D61D7, 0x82B0A60B05715B28,
      0x951537E4C14F942D, 0x1A5667A67944548A, 0x288231134E1D9C9A,
      0xD95A00F0AA88414E, 0x711F777C8CCA7837, 0xEB588853B0AB557A,
      0x3F7F198620ADF0A4, 0xAB6528C764F3FBA2, 0xABF132F625B7A5A9,
      0x5C5021E5EBE85D91, 0x2DAAE4B7F46D14D4, 0x0EC74F51E656E908,
      0x6EAE027D39CA7F0D, 0x296411D9BEF21CAF, 0x5CD2B4C6C4731828,
      0xD1449E41F0377567, 0xCD8A517B3411F4A5, 0x97ED64E2CD8FE6A1,
      0xABCDBABA001ED9B4, 0xD66A3B5C09E02EC2, 0x3728E501A021E172,
      0x8FA8940B26443942, 0xFE1D703B20894A27, 0xD1E651850DD38F35,
      0x1F7C4722E16AECD6, 0x75255A768CCCB0C3, 0x34AE1B3EDDFAD1D1,
      0x0EDE4BAE6F7F7ECD, 0xFC2B6F15F9316343, 0x4E650E206AAF7C2F,
      0xEE0921C815AF1439, 0x5BCC63E550CB7344, 0x096893C531E1790B,
      0xA657229B5135C9C1, 0xFC83E67CCC0F29F4, 0xF52124238F0847A7,
      0x97D5CF979534FF12, 0x5406CB2C056D8466, 0xCE2AA2700EBAB269,
      0xB5604D9DAD3E3B6C, 0xF194CCC5BC245CEC, 0x38BC6FD133B249C9,
      0xFF38BC6FD133B249, 0xB9C79AFAEF99C298, 0x9E613FB2E8CE3A24,
      0xD1862DCA841BC845, 0xFD66EFDCB67509EB, 0x7F1AE71B815FE7A8,
      0x947A450AFA64B48F, 0x6C83D6861E275F73, 0xC85945D10A1DC0C8,
      0x3736D67F2D221C9C, 0xE61ABC24C5DDC3F4, 0x7A6F48AA80CE6B25,
      0x96C8595437943720, 0x9624FE45C9236D7C, 0x3F0265F036D4789C,
      0xE61288974AC63590, 0xE5EE29247AE43BE0, 0x8B86598AD1D3D6C1,
      0xFCAE3707DD8FCFEB, 0x7F1B2FC35A341D6E, 0x89ABC57D4A0214C4,
      0xFCAC1A9B2A141E29, 0xD2C151B1FA870E5C, 0xFB2ECA1C63B7AD57,
      0xC77D9CEA9A463CF3, 0x02BB5D50E640B2D4, 0x81BCAB3B568B3AC6,
      0x08203BA2C448375C, 0xBF7BE0C18C308167, 0x063F50611F1BEE30,
      0x647B5DA7FAF77A84, 0xE327224DE4E832D5, 0x815D37444B899246,
      0x86E6F742C735C582, 0x53CE4207552CB338, 0x938F2BBC63A3F1BF,
      0xAEA70B17A752D1E4, 0xB492189BE138DD11, 0xA3840BF2F6073422,
      0xAA6B0B7A3B8A5F78, 0x8C1066BB0A818EC1, 0x34572E02107C9CEF,
      0x408CDEE95CCF5307, 0xE2910D6181E104E2, 0xCC2B5C473FCF2CCA,
      0xFFCC2B5C473FCF2C, 0x1A3CBEBAC1C224D1, 0x495AA3E24084B90C,
      0xA61710AB7644AC01, 0x2A8919953FE38E41, 0x864D236C1641AF9E,
      0x9D7B04552969FE74, 0xC8A8BD03D92A8E69, 0x0648833CDD4EF43F,
      0x5B242247A40392A4, 0xAB0173FCA57755C0, 0x4FA0FC93A85C3407,
      0x2A60AE79073D96D9, 0xF9610212D7BB05EC, 0xB7E06FCCB31628F8,
      0x01EE71FD9737FEFD, 0xF6F9F8EA590D634D, 0x35BF1F336A801E1C,
      0x2C51D32609437289, 0xDC3000F0662D3BE7, 0x889A36FD529103FC,
      0x7A01C820595927E5, 0x40C2880F7E8676BC, 0x5AF070E3BC0F5438,
      0xAFFCACE3D322735F, 0xBCF98D089A79F71E, 0x2FFD24EA65ED975D,
      0xFBD3F6693828C7CE, 0xC3816A9B3D5089C0, 0x4FC87C8ACFC413DB,
      0x82D46944DBFCA25A, 0x770F9BA9960734AE, 0x2479AD961C8AAF0E,
      0x1671CE4556E1E145, 0x8671DBBBC628ADF1, 0x01DFE049E042C078,
      0xC83419E7C5E3A557, 0x80E4FCD0CA0797CF, 0x377E6BC62CE206CB,
      0x0BB3483C6E6C425D, 0x302C866145555B7A, 0xB0F0985B4597F0C2,
      0x8460331CA4CAC9C3, 0x345F5E57B7D2D7A8, 0x1B65F560E19DC7D7,
      0x0EF18040314319DB, 0x829550B811022550, 0x0FFAA84AC21C8827,
      0xED6D0F302859BBF0, 0x461E8674C04B4E5A, 0x74EEE018F1429F7F,
      0xCB6499B9C3ACB935, 0xEBE2F3BD75E433BB, 0xAEDF66CFA6449626,
      0x6298DF2DFAF21D86, 0xA48BBB26C50FC886, 0x283CECCFCEA1D706,
      0xE2F9BD53A7736A66, 0xCE9C5D067118AC87, 0x2B734A77B94BDC5F,
      0x77A63C8AA56583D0, 0xBE96BE698FFEA2CD, 0x846E553A9600A091,
      0xA2262F107CDF0241, 0xB99A846990342E28, 0xD284672F083D2E6C,
      0x390DA7D5F2A95EA5, 0xECC920909CC60038, 0x201E6060F7CD4463,
      0xB58E795FBDC74C9A, 0x121C32DC4D0D86FF, 0xCA90B3C42CBFF832,
      0x1F6731C0A04B80A1, 0x186B7C5121D442BD, 0x5AA8D917E250060C,
      0x51A565D87CF8C4D8, 0xBEB0BD30DD273F8A, 0x1779DFFADB8F42CB,
      0x37E9F6E506F38E1E, 0xE788BBAB74591C78, 0x44A30A3127E65CDE,
      0xBEA5BB5F347C2112, 0x6B70B36BCEFA7182, 0x5323D4437C257C8C,
      0x14B1FDCDFF705CB5, 0x917F3DF2D5F8BF73, 0xB3747ABE8159411B,
      0x10ADA12ED0C00AD1, 0x0EFA48147F724416, 0x2C6A96712E5680D3,
      0x75164CA7DF038CAF, 0xEFA08A25B9B5B6D7, 0x75D586BB8B946F99,
      0x2EA6D04EFD5374DB, 0x82B507E81FCE353D, 0xD7D19B4E7050F030,
      0x902E853B7DD891C1, 0x344B10E1900BC5F0, 0xB243963CB9B3BC7F,
      0xCBA234CFE7E44816, 0xA3FB3BDEA201E8B7, 0x91C87734C6A5CEC7,
      0x4F9A3597603FE69C, 0x554C5C792E378161, 0x3AAFDEB0F3D14837,
      0xACB94213D733B17E, 0x789282A5CB2D9774, 0xF7125CB62AFE773A,
      0xE8FB34262D537D48, 0xB9D05972A665A257, 0xFB45DB14A0EB4FFB,
      0x452D1FFEB39DE093, 0x2E9628D7B86B7D54, 0xBC78E78CAE12BE10,
      0x6B726E371D601F1D, 0xDBAE995EF22A2EEE, 0x8BB8193AAB5B18D4,
      0xC69FD2969721DE58, 0xF81F25C1138417BA, 0xD51C589D25ADA831,
      0x58D2C7C252A56DC5, 0x87ADA01D6A83E763, 0x0522377F94A3416B,
      0x05A0B8E8F65D61CD, 0x7051556BBF39A309, 0x6ED0946703931047,
  };

  for (int i = 0; i < 300; i++) {
    uint64_t have = 0;
    wuffs_base__slice_u8 data = ((wuffs_base__slice_u8){
        .ptr = (uint8_t*)(digits),
        .len = (size_t)(i),
    });

    if (mimic) {
      // A simple, slow CRC-64 ECMA implementation, 1 bit at a time.
      have = 0xFFFFFFFFFFFFFFFF;
      while (data.len--) {
        uint8_t byte = *data.ptr++;
        for (int i = 0; i < 8; i++) {
          if ((have ^ byte) & 1) {
            have = (have >> 1) ^ 0xC96C5795D7870F42;
          } else {
            have = (have >> 1);
          }
          byte >>= 1;
        }
      }
      have ^= 0xFFFFFFFFFFFFFFFF;

    } else {
      wuffs_crc64__ecma_hasher checksum;
      CHECK_STATUS("initialize",
                   wuffs_crc64__ecma_hasher__initialize(
                       &checksum, sizeof checksum, WUFFS_VERSION,
                       WUFFS_INITIALIZE__LEAVE_INTERNAL_BUFFERS_UNINITIALIZED));
      have = wuffs_crc64__ecma_hasher__update_u64(&checksum, data);
    }

    if (have != wants[i]) {
      RETURN_FAIL("i=%d: have 0x%016" PRIX64 ", want 0x%016" PRIX64, i, have,
                  wants[i]);
    }
  }
  return NULL;
}

const char*  //
test_wuffs_crc64_ecma_pi() {
  CHECK_FOCUS(__func__);
  return do_test_xxxxx_crc64_ecma_pi(false);
}

// ---------------- Mimic Tests

#ifdef WUFFS_MIMIC

const char*  //
test_mimic_crc64_ecma_pi() {
  CHECK_FOCUS(__func__);
  return do_test_xxxxx_crc64_ecma_pi(true);
}

#endif  // WUFFS_MIMIC

// ---------------- CRC64 Benches

uint64_t g_wuffs_crc64_unused_u64;

const char*  //
wuffs_bench_crc64_ecma(wuffs_base__io_buffer* dst,
                       wuffs_base__io_buffer* src,
                       uint32_t wuffs_initialize_flags,
                       uint64_t wlimit,
                       uint64_t rlimit) {
  uint64_t len = src->meta.wi - src->meta.ri;
  if (rlimit) {
    len = wuffs_base__u64__min(len, rlimit);
  }
  wuffs_crc64__ecma_hasher checksum = {0};
  CHECK_STATUS("initialize", wuffs_crc64__ecma_hasher__initialize(
                                 &checksum, sizeof checksum, WUFFS_VERSION,
                                 wuffs_initialize_flags));
  g_wuffs_crc64_unused_u64 = wuffs_crc64__ecma_hasher__update_u64(
      &checksum, ((wuffs_base__slice_u8){
                     .ptr = src->data.ptr + src->meta.ri,
                     .len = len,
                 }));
  src->meta.ri += len;
  return NULL;
}

const char*  //
bench_wuffs_crc64_ecma_10k() {
  CHECK_FOCUS(__func__);
  return do_bench_io_buffers(
      wuffs_bench_crc64_ecma,
      WUFFS_INITIALIZE__LEAVE_INTERNAL_BUFFERS_UNINITIALIZED, tcounter_src,
      &g_crc64_midsummer_gt, UINT64_MAX, UINT64_MAX, 2000);
}

const char*  //
bench_wuffs_crc64_ecma_100k() {
  CHECK_FOCUS(__func__);
  return do_bench_io_buffers(
      wuffs_bench_crc64_ecma,
      WUFFS_INITIALIZE__LEAVE_INTERNAL_BUFFERS_UNINITIALIZED, tcounter_src,
      &g_crc64_pi_gt, UINT64_MAX, UINT64_MAX, 200);
}

// ---------------- Mimic Benches

#ifdef WUFFS_MIMIC

// No mimic benches.

#endif  // WUFFS_MIMIC

// ---------------- Manifest

proc g_tests[] = {

    test_wuffs_crc64_ecma_golden,
    test_wuffs_crc64_ecma_interface,
    test_wuffs_crc64_ecma_pi,

#ifdef WUFFS_MIMIC

    test_mimic_crc64_ecma_pi,

#endif  // WUFFS_MIMIC

    NULL,
};

proc g_benches[] = {

    bench_wuffs_crc64_ecma_10k,
    bench_wuffs_crc64_ecma_100k,

#ifdef WUFFS_MIMIC

// No mimic benches.

#endif  // WUFFS_MIMIC

    NULL,
};

int  //
main(int argc, char** argv) {
  g_proc_package_name = "std/crc64";
  return test_main(argc, argv, g_tests, g_benches);
}