native.x86.pclmul.ccm

// SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0
module;
#include "native/isa_import.h"
#include "native/x86/pclmul.h"
#include "native/x86/integer_constant.h"
export module native.x86.pclmul;
export import native.x86.features;
export import native.simd;
// SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0
#if NATIVE_HOST_X86 || defined(NATIVE_DOXYGEN)
export namespace native {

  template<isa<x86> Arch, unsigned Imm8> requires(Arch.has(x86_feature::pclmul) && Imm8 <= 255)
  native_nodiscard native_inline native_const native_target("pclmul")
  constexpr simd<std::uint64_t, 2, Arch> pclmulqdq(simd<std::uint64_t, 2, Arch> a, simd<std::uint64_t, 2, Arch> b) noexcept {
    if consteval { return detail::x86_instruction_constant::carryless<Imm8>(a, b); }
    else {
      return simd<std::uint64_t, 2, Arch>::from_native(detail::x86_pclmul::pclmulqdq<Arch, Imm8>(a.to_native(), b.to_native()));
    }
  }

  template<isa<x86> Arch, unsigned Imm8> requires(!((Arch.has(x86_feature::pclmul))) && Imm8 <= 255 &&
      requires { sizeof(simd<std::uint64_t, 2, Arch>); })
  native_nodiscard consteval simd<std::uint64_t, 2, Arch> pclmulqdq(simd<std::uint64_t, 2, Arch> a, simd<std::uint64_t, 2, Arch> b) noexcept {
    return detail::x86_instruction_constant::carryless<Imm8>(a, b);
  }
 
  // Reject implicit register conversions, mixed tags and wrong element types.
  template<isa<x86> Arch, unsigned Imm8, class... Args>
  void pclmulqdq(Args...) = delete;

}
#endif