native.x86.vpclmul.ccm

// SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0
module;
#include "native/isa_import.h"
#include "native/x86/vpclmul.h"
#include "native/x86/integer_constant.h"
export module native.x86.vpclmul;
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) &&
      Arch.has(x86_feature::avx) && Imm8 <= 255)
  native_nodiscard native_inline native_const native_target("avx,pclmul")
  constexpr simd<std::uint64_t, 2, Arch> vpclmulqdq(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_vpclmul::vpclmulqdq<Arch, Imm8>(a.to_native(), b.to_native()));
    }
  }

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

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

  template<isa<x86> Arch, unsigned Imm8> requires(!((Arch.has(x86_feature::pclmul) &&
      Arch.has(x86_feature::avx))) && Imm8 <= 255 &&
      requires { sizeof(simd<std::uint64_t, 2, Arch>); })
  native_nodiscard consteval simd<std::uint64_t, 2, Arch> vpclmulqdq(simd<std::uint64_t, 2, Arch> a, simd<std::uint64_t, 2, Arch> b) noexcept {
    return detail::x86_instruction_constant::carryless<Imm8>(a, b);
  }

  template<isa<x86> Arch, unsigned Imm8> requires(!((Arch.has(x86_feature::vpclmulqdq) &&
      Arch.has(x86_feature::avx))) && Imm8 <= 255 &&
      requires { sizeof(simd<std::uint64_t, 4, Arch>); })
  native_nodiscard consteval simd<std::uint64_t, 4, Arch> vpclmulqdq(simd<std::uint64_t, 4, Arch> a, simd<std::uint64_t, 4, Arch> b) noexcept {
    return detail::x86_instruction_constant::carryless<Imm8>(a, b);
  }

  template<isa<x86> Arch, unsigned Imm8> requires(!((Arch.has(x86_feature::vpclmulqdq) &&
      Arch.has(x86_feature::avx512f))) && Imm8 <= 255 &&
      requires { sizeof(simd<std::uint64_t, 8, Arch>); })
  native_nodiscard consteval simd<std::uint64_t, 8, Arch> vpclmulqdq(simd<std::uint64_t, 8, Arch> a, simd<std::uint64_t, 8, 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 vpclmulqdq(Args...) = delete;

}
#endif