Expression Templates Library (ETL)
gemv_expr.hpp
1 //=======================================================================
2 // Copyright (c) 2014-2023 Baptiste Wicht
3 // Distributed under the terms of the MIT License.
4 // (See accompanying file LICENSE or copy at
5 // http://opensource.org/licenses/MIT)
6 //=======================================================================
7 
8 #pragma once
9 
10 #include "etl/expr/base_temporary_expr.hpp"
11 
12 //The implementations
13 #include "etl/impl/std/gemm.hpp"
14 #include "etl/impl/blas/gemm.hpp"
15 #include "etl/impl/vec/gemv.hpp"
16 #include "etl/impl/vec/gemm_conv.hpp"
17 #include "etl/impl/cublas/gemm.hpp"
18 
19 namespace etl {
20 
25 template <etl_expr A, etl_expr B>
26 struct gemv_expr : base_temporary_expr_bin<gemv_expr<A, B>, A, B> {
31 
32  static constexpr auto storage_order = left_traits::storage_order;
33 
38  static constexpr bool gpu_computable = cublas_enabled && all_homogeneous<A, B>;
39 
44  explicit gemv_expr(A a, B b) : base_type(a, b) {
45  //Nothing else to init
46  }
47 
54  template <typename C>
55  static void check([[maybe_unused]] const A& a, [[maybe_unused]] const B& b, [[maybe_unused]] const C& c) {
56  if constexpr (all_fast<A, B, C>) {
57  static_assert(dim<1, A>() == dim<0, B>() //interior dimensions
58  && dim<0, A>() == dim<0, C>() //exterior dimension 1
59  ,
60  "Invalid sizes for multiplication");
61  } else {
62  cpp_assert(dim<1>(a) == dim<0>(b) //interior dimensions
63  && dim<0>(a) == dim<0>(c) //exterior dimension 1
64  ,
65  "Invalid sizes for multiplication");
66  }
67  }
68 
69  // Assignment functions
70 
75  template <typename C>
76  static constexpr gemm_impl select_default_gemv_impl(bool no_gpu) {
77  constexpr bool homo = all_homogeneous<A, B, C>;
78 
79  if (cublas_enabled && homo && !no_gpu) {
80  return gemm_impl::CUBLAS;
81  }
82 
83  if (all_vectorizable_t<vector_mode, A, B, C> && vec_enabled && vectorize_impl && homo) {
84  return gemm_impl::VEC;
85  }
86 
87  if (cblas_enabled && homo) {
88  return gemm_impl::BLAS;
89  }
90 
91  return gemm_impl::STD;
92  }
93 
94 #ifdef ETL_MANUAL_SELECT
95 
100  template <typename C>
101  static inline gemm_impl select_gemv_impl() {
102  if (local_context().gemm_selector.forced) {
103  auto forced = local_context().gemm_selector.impl;
104 
105  switch (forced) {
106  //CUBLAS cannot always be used
107  case gemm_impl::CUBLAS:
108  if (!cublas_enabled || !all_homogeneous<A, B, C> || local_context().cpu) { //COVERAGE_EXCLUDE_LINE
109  std::cerr << "Forced selection to CUBLAS gemv implementation, but not possible for this expression"
110  << std::endl; //COVERAGE_EXCLUDE_LINE
111  return select_default_gemv_impl<C>(local_context().cpu); //COVERAGE_EXCLUDE_LINE
112  } //COVERAGE_EXCLUDE_LINE
113 
114  return forced;
115 
116  //BLAS cannot always be used
117  case gemm_impl::BLAS:
118  if (!cblas_enabled || !all_homogeneous<A, B, C>) { //COVERAGE_EXCLUDE_LINE
119  std::cerr << "Forced selection to BLAS gemv implementation, but not possible for this expression" << std::endl; //COVERAGE_EXCLUDE_LINE
120  return select_default_gemv_impl<C>(local_context().cpu); //COVERAGE_EXCLUDE_LINE
121  } //COVERAGE_EXCLUDE_LINE
122 
123  return forced;
124 
125  //VEC cannot always be used
126  case gemm_impl::VEC:
127  if (!vec_enabled || !vectorize_impl || !all_vectorizable<vector_mode, A, B, C> || !all_homogeneous<A, B, C>) { //COVERAGE_EXCLUDE_LINE
128  std::cerr << "Forced selection to VEC gemv implementation, but not possible for this expression" << std::endl; //COVERAGE_EXCLUDE_LINE
129  return select_default_gemv_impl<C>(local_context().cpu); //COVERAGE_EXCLUDE_LINE
130  } //COVERAGE_EXCLUDE_LINE
131 
132  return forced;
133 
134  //In other cases, simply use the forced impl
135  default:
136  return forced;
137  }
138  }
139 
140  return select_default_gemv_impl<C>(local_context().cpu);
141  }
142 
143 #else
144 
150  template <typename C>
151  static constexpr gemm_impl select_gemv_impl() {
152  return select_default_gemv_impl<C>(false);
153  }
154 
155 #endif
156 
163  template <typename AA, typename BB, typename C>
164  static void apply_raw(AA&& a, BB&& b, C&& c) {
165  constexpr_select auto impl = select_gemv_impl<C>();
166 
167  // clang-format off
168  if constexpr (is_transpose_expr<BB>) {
169  if constexpr_select(impl == gemm_impl::STD) {
170  inc_counter("impl:std");
171  etl::impl::standard::mv_mul(smart_forward(a), smart_forward(b), c);
172  } else if constexpr_select(impl == gemm_impl::BLAS) {
173  inc_counter("impl:blas");
174  etl::impl::blas::gemv_t(smart_forward(a.a()), smart_forward(b), c);
175  } else if constexpr_select(impl == gemm_impl::VEC) {
176  inc_counter("impl:vec");
177  etl::impl::vec::gemv_t(smart_forward(a.a()), smart_forward(b), c);
178  } else if constexpr_select(impl == gemm_impl::CUBLAS) {
179  inc_counter("impl:cublas");
180  etl::impl::cublas::gemv_t(smart_forward_gpu(a.a()), smart_forward_gpu(b), c);
181  } else {
182  cpp_unreachable("Invalid selection for gevm");
183  }
184  } else {
185  if constexpr_select(impl == gemm_impl::STD) {
186  inc_counter("impl:std");
187  etl::impl::standard::mv_mul(smart_forward(a), smart_forward(b), c);
188  } else if constexpr_select(impl == gemm_impl::BLAS) {
189  inc_counter("impl:blas");
190  etl::impl::blas::gemv(smart_forward(a), smart_forward(b), c);
191  } else if constexpr_select(impl == gemm_impl::VEC) {
192  inc_counter("impl:vec");
193  etl::impl::vec::gemv(smart_forward(a), smart_forward(b), c);
194  } else if constexpr_select(impl == gemm_impl::CUBLAS) {
195  inc_counter("impl:cublas");
196  etl::impl::cublas::gemv(smart_forward_gpu(a), smart_forward_gpu(b), c);
197  } else {
198  cpp_unreachable("Invalid selection for gevm");
199  }
200  }
201  // clang-format on
202  }
203 
208  template <etl_expr C>
209  void assign_to(C&& c) const {
210  inc_counter("temp:assign");
211 
212  check(this->a(), this->b(), c);
213 
214  apply_raw(this->a(), this->b(), c);
215  }
216 
221  template <typename L>
222  void assign_add_to(L&& lhs) const {
223  std_add_evaluate(*this, lhs);
224  }
225 
230  template <typename L>
231  void assign_sub_to(L&& lhs) const {
232  std_sub_evaluate(*this, lhs);
233  }
234 
239  template <typename L>
240  void assign_mul_to(L&& lhs) const {
241  std_mul_evaluate(*this, lhs);
242  }
243 
248  template <typename L>
249  void assign_div_to(L&& lhs) const {
250  std_div_evaluate(*this, lhs);
251  }
252 
257  template <typename L>
258  void assign_mod_to(L&& lhs) const {
259  std_mod_evaluate(*this, lhs);
260  }
261 
268  friend std::ostream& operator<<(std::ostream& os, const gemv_expr& expr) {
269  return os << expr._a << " * " << expr._b;
270  }
271 };
272 
277 template <typename A, typename B>
278 struct etl_traits<etl::gemv_expr<A, B>> {
280  using left_expr_t = std::decay_t<A>;
281  using right_expr_t = std::decay_t<B>;
285 
286  static constexpr bool is_etl = true;
287  static constexpr bool is_transformer = false;
288  static constexpr bool is_view = false;
289  static constexpr bool is_magic_view = false;
290  static constexpr bool is_fast = left_traits::is_fast && right_traits::is_fast;
291  static constexpr bool is_linear = false;
292  static constexpr bool is_thread_safe = true;
293  static constexpr bool is_value = false;
294  static constexpr bool is_direct = true;
295  static constexpr bool is_generator = false;
296  static constexpr bool is_padded = false;
297  static constexpr bool is_aligned = true;
298  static constexpr bool is_temporary = true;
299  static constexpr order storage_order = left_traits::storage_order;
300  static constexpr bool gpu_computable = is_gpu_t<value_type> && cublas_enabled;
301 
307  template <vector_mode_t V>
308  static constexpr bool vectorizable = true;
309 
314  template <size_t DD>
315  static constexpr size_t dim() {
316  return decay_traits<A>::template dim<0>();
317  }
318 
325  static size_t dim(const expr_t& e, size_t d) {
326  return etl::dim(e._a, d);
327  }
328 
334  static size_t size(const expr_t& e) {
335  return etl::dim(e._a, 0);
336  }
337 
342  static constexpr size_t size() {
343  return decay_traits<A>::template dim<0>();
344  }
345 
350  static constexpr size_t dimensions() {
351  return 1;
352  }
353 
358  static constexpr int complexity() noexcept {
359  return -1;
360  }
361 };
362 
369 template <etl_2d A, etl_1d B>
370 auto operator*(A&& a, B&& b) {
372 }
373 
380 template <etl_2d A, etl_1d B>
381 auto mul(A&& a, B&& b) {
383 }
384 
392 template <etl_2d A, etl_1d B, etl_1d C>
393 auto mul(A&& a, B&& b, C&& c) {
394  c = mul(a, b);
395  return c;
396 }
397 
398 } //end of namespace etl
static constexpr bool gpu_computable
Indicates if the temporary expression can be directly evaluated using only GPU.
Definition: gemv_expr.hpp:38
gemm_impl
Enumeration describing the different matrix-matrix multiplication implementations.
Definition: gemm_impl.hpp:21
B _b
The sub expression reference.
Definition: base_temporary_expr.hpp:534
auto mul(A &&a, B &&b)
Multiply two matrices together.
Definition: gemm_expr.hpp:442
static size_t size(const expr_t &e)
Returns the size of the expression.
Definition: gemv_expr.hpp:334
Standard implementation.
constexpr bool is_magic_view
Traits indicating if the given ETL type is a magic view expression.
Definition: traits.hpp:311
std::decay_t< B > right_expr_t
The right sub expression type.
Definition: gemv_expr.hpp:281
A _a
The sub expression reference.
Definition: base_temporary_expr.hpp:533
void assign_div_to(L &&lhs) const
Divide the given left-hand-side expression.
Definition: gemv_expr.hpp:249
static constexpr auto storage_order
The sub storage order.
Definition: gemv_expr.hpp:32
std::decay_t< A > left_expr_t
The left sub expression type.
Definition: gemv_expr.hpp:280
static constexpr size_t size()
Returns the size of the expression.
Definition: gemv_expr.hpp:342
void assign_sub_to(L &&lhs) const
Sub from the given left-hand-side expression.
Definition: gemv_expr.hpp:231
constexpr bool vectorize_impl
Indicates if the implementations can be automatically vectorized by ETL.
Definition: config.hpp:35
constexpr bool vec_enabled
Indicates if vectorization is available in any format.
Definition: config.hpp:220
order
Storage order of a matrix.
Definition: order.hpp:15
Abstract base class for temporary binary expression.
Definition: base_temporary_expr.hpp:529
VEC implementation.
auto operator*(LE &&lhs, RE rhs)
Builds an expression representing the multiplication of lhs and rhs (scalar)
Definition: binary_expression_builder.hpp:149
void assign_to(C &&c) const
Assign to a matrix of the same storage order.
Definition: gemv_expr.hpp:209
BLAS implementation.
std::add_lvalue_reference_t< B > b()
Returns the sub expression.
Definition: base_temporary_expr.hpp:593
constexpr bool is_fast
Traits to test if the given ETL expresion type is fast (sizes known at compile-time) ...
Definition: traits.hpp:588
static void check([[maybe_unused]] const A &a, [[maybe_unused]] const B &b, [[maybe_unused]] const C &c)
Assert for the validity of the matrix-matrix multiplication operation.
Definition: gemv_expr.hpp:55
Traits to get information about ETL types.
Definition: tmp.hpp:68
BLAS implementation.
Root namespace for the ETL library.
Definition: adapter.hpp:15
context & local_context()
Return the configuration context of the current thread.
Definition: context.hpp:50
value_t< A > value_type
The value type of the expression.
Definition: gemv_expr.hpp:284
static constexpr size_t dim()
Returns the DDth dimension of the expression.
Definition: gemv_expr.hpp:315
auto dim(E &&value, size_t i) -> detail::identity_helper< E, dim_view< detail::build_identity_type< E >, D >>
Return a view representing the ith Dth dimension.
Definition: view_expression_builder.hpp:25
constexpr bool cublas_enabled
Indicates if the NVIDIA CUBLAS library is available for ETL.
Definition: config.hpp:99
std::conditional_t< is_etl_value< T >, const std::decay_t< T > &, std::decay_t< T > > build_type
Helper to build the type for a sub expression.
Definition: expression_helpers.hpp:24
bool cpu
Force CPU evaluation.
Definition: context.hpp:29
static constexpr gemm_impl select_default_gemv_impl(bool no_gpu)
Select an implementation of GEMV, not considering local context.
Definition: gemv_expr.hpp:76
value_t< A > value_type
The type of value of the expression.
Definition: gemv_expr.hpp:27
void std_mod_evaluate(Expr &&expr, Result &&result)
Compound modulo evaluation of the expr into result.
Definition: evaluator.hpp:1271
void std_mul_evaluate(Expr &&expr, Result &&result)
Compound multiply evaluation of the expr into result.
Definition: evaluator.hpp:1233
friend std::ostream & operator<<(std::ostream &os, const gemv_expr &expr)
Print a representation of the expression on the given stream.
Definition: gemv_expr.hpp:268
constexpr bool is_transformer
Traits indicating if the given ETL type is a transformer expression.
Definition: traits.hpp:297
decltype(auto) smart_forward_gpu(E &expr)
Smart forwarding for a temporary expression that will be computed in GPU.
Definition: helpers.hpp:343
static void apply_raw(AA &&a, BB &&b, C &&c)
Compute c = trans(A) * b.
Definition: gemv_expr.hpp:164
constexpr bool is_view
Traits indicating if the given ETL type is a view expression.
Definition: traits.hpp:304
static constexpr int complexity() noexcept
Estimate the complexity of computation.
Definition: gemv_expr.hpp:358
static constexpr bool is_fast
Indicates if T is a fast structure.
Definition: traits_base.hpp:25
void std_sub_evaluate(Expr &&expr, Result &&result)
Compound subtract evaluation of the expr into result.
Definition: evaluator.hpp:1214
decltype(auto) smart_forward(E &expr)
Smart forwarding for a temporary expression.
Definition: helpers.hpp:323
void assign_mod_to(L &&lhs) const
Modulo the given left-hand-side expression.
Definition: gemv_expr.hpp:258
static constexpr size_t dimensions()
Returns the number of dimensions of the expression.
Definition: gemv_expr.hpp:350
constexpr bool cblas_enabled
Indicates if a BLAS library is available for ETL.
Definition: config.hpp:76
constexpr bool is_thread_safe
Traits to test if the given ETL expresion type is thread safe.
Definition: traits.hpp:687
typename decay_traits< E >::value_type value_t
Traits to extract the value type out of an ETL type.
Definition: tmp.hpp:81
void std_div_evaluate(Expr &&expr, Result &&result)
Compound divide evaluation of the expr into result.
Definition: evaluator.hpp:1252
void inc_counter([[maybe_unused]] const char *name)
Increase the given counter.
Definition: counters.hpp:25
gemv_expr(A a, B b)
Construct a new expression.
Definition: gemv_expr.hpp:44
static constexpr gemm_impl select_gemv_impl()
Select the best implementation of GEMV.
Definition: gemv_expr.hpp:151
std::add_lvalue_reference_t< A > a()
Returns the sub expression.
Definition: base_temporary_expr.hpp:577
void assign_add_to(L &&lhs) const
Add to the given left-hand-side expression.
Definition: gemv_expr.hpp:222
void assign_mul_to(L &&lhs) const
Multiply the given left-hand-side expression.
Definition: gemv_expr.hpp:240
static size_t dim(const expr_t &e, size_t d)
Returns the dth dimension of the expression.
Definition: gemv_expr.hpp:325
void std_add_evaluate(Expr &&expr, Result &&result)
Compound add evaluation of the expr into result.
Definition: evaluator.hpp:1195
A transposition expression.
Definition: gemv_expr.hpp:26