crc.h

// SPDX-FileCopyrightText: 2026 Edward Kmett <ekmett@gmail.com>
// SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0
#pragma once
#include "native/config.h"
#include "native/attributes.h"
#include "native/isa.h"
#include "native/detail/crc.h"
#include <cstdint>
#if NATIVE_HOST_NEON
#include <arm_acle.h>
#endif
 
#if NATIVE_HOST_NEON || defined(NATIVE_DOXYGEN)
namespace native {
  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32(std::uint32_t accumulator, std::uint8_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,8,0xedb88320u);
    return __crc32b(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32(std::uint32_t accumulator, std::uint8_t value) noexcept {
    return detail::crc_update(accumulator,value,8,0xedb88320u);
  }

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32(std::uint32_t accumulator, std::uint16_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,16,0xedb88320u);
    return __crc32h(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32(std::uint32_t accumulator, std::uint16_t value) noexcept {
    return detail::crc_update(accumulator,value,16,0xedb88320u);
  }

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32(std::uint32_t accumulator, std::uint32_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,32,0xedb88320u);
    return __crc32w(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32(std::uint32_t accumulator, std::uint32_t value) noexcept {
    return detail::crc_update(accumulator,value,32,0xedb88320u);
  }

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32(std::uint32_t accumulator, std::uint64_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,64,0xedb88320u);
    return __crc32d(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32(std::uint32_t accumulator, std::uint64_t value) noexcept {
    return detail::crc_update(accumulator,value,64,0xedb88320u);
  }

  template<isa<arm> Arch, class A, class B>
  void crc32(A, B) = delete;

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32c(std::uint32_t accumulator, std::uint8_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,8,0x82f63b78u);
    return __crc32cb(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32c(std::uint32_t accumulator, std::uint8_t value) noexcept {
    return detail::crc_update(accumulator,value,8,0x82f63b78u);
  }

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32c(std::uint32_t accumulator, std::uint16_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,16,0x82f63b78u);
    return __crc32ch(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32c(std::uint32_t accumulator, std::uint16_t value) noexcept {
    return detail::crc_update(accumulator,value,16,0x82f63b78u);
  }

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32c(std::uint32_t accumulator, std::uint32_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,32,0x82f63b78u);
    return __crc32cw(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32c(std::uint32_t accumulator, std::uint32_t value) noexcept {
    return detail::crc_update(accumulator,value,32,0x82f63b78u);
  }

  template<isa<arm> Arch> requires(Arch.has(arm_feature::crc))
  native_nodiscard native_inline native_const native_target("crc")
  constexpr std::uint32_t crc32c(std::uint32_t accumulator, std::uint64_t value) noexcept {
    if(__builtin_is_constant_evaluated()) return detail::crc_update(accumulator,value,64,0x82f63b78u);
    return __crc32cd(accumulator,value);
  }

  template<isa<arm> Arch> requires(!Arch.has(arm_feature::crc))
  native_nodiscard consteval std::uint32_t crc32c(std::uint32_t accumulator, std::uint64_t value) noexcept {
    return detail::crc_update(accumulator,value,64,0x82f63b78u);
  }

  template<isa<arm> Arch, class A, class B>
  void crc32c(A, B) = delete;

}
#endif