uni20::linalg::cpu::GemmCompatible Concept Reference

Report whether resolved mdspans support reference CPU GEMM expressions. More...

#include <gemm.hpp>

Concept definition

template<class OutputMdspan, class Scalar, class LhsMdspan, class RhsMdspan>
concept uni20::linalg::cpu::GemmCompatible = 
    uni20::MutableRankedMdspanLike<OutputMdspan, 2> && uni20::Scalar<Scalar> && uni20::RankedMdspanLike<LhsMdspan, 2> &&
    uni20::RankedMdspanLike<RhsMdspan, 2> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<OutputMdspan>::element_type>, Scalar> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<LhsMdspan>::element_type>, Scalar> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<RhsMdspan>::element_type>, Scalar> &&
    requires(OutputMdspan& output, LhsMdspan& lhs, RhsMdspan& rhs,
             typename std::remove_cvref_t<OutputMdspan>::index_type index, Scalar value) {
      static_cast<Scalar>(output.operator[](index, index));
      static_cast<Scalar>(lhs.operator[](index, index));
      static_cast<Scalar>(rhs.operator[](index, index));
      output.operator[](index, index) = value;
      value += value * value;
      { value == Scalar{} } -> std::convertible_to<bool>;
    }

Detailed Description

Report whether resolved mdspans support reference CPU GEMM expressions.