Expression Templates Library (ETL)
pool_derivative_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 //Get the implementations
13 #include "etl/impl/pooling.hpp"
14 
15 namespace etl {
16 
21 template <etl_expr A, etl_expr B, size_t C1, size_t C2, size_t C3, size_t S1, size_t S2, size_t S3, size_t P1, size_t P2, size_t P3, typename Impl>
22 struct pool_derivative_expr : base_temporary_expr_bin<pool_derivative_expr<A, B, C1, C2, C3, S1, S2, S3, P1, P2, P3, Impl>, A, B> {
27 
28  static constexpr auto storage_order = left_traits::storage_order;
29 
34  static constexpr bool gpu_computable = false;
35 
40  explicit pool_derivative_expr(A a, B b) : base_type(a, b) {
41  //Nothing else to init
42  }
43 
44  // Assignment functions
45 
50  template <etl_expr C>
51  void assign_to(C&& c) const {
52  inc_counter("temp:assign");
53 
54  auto& a = this->a();
55  auto& b = this->b();
56 
57  Impl::template apply<C1, C2, C3, S1, S2, S3, P1, P2, P3>(smart_forward(a), smart_forward(b), c);
58  }
59 
64  template <etl_expr L>
65  void assign_add_to(L&& lhs) const {
66  std_add_evaluate(*this, lhs);
67  }
68 
73  template <etl_expr L>
74  void assign_sub_to(L&& lhs) const {
75  std_sub_evaluate(*this, lhs);
76  }
77 
82  template <etl_expr L>
83  void assign_mul_to(L&& lhs) const {
84  std_mul_evaluate(*this, lhs);
85  }
86 
91  template <etl_expr L>
92  void assign_div_to(L&& lhs) const {
93  std_div_evaluate(*this, lhs);
94  }
95 
100  template <etl_expr L>
101  void assign_mod_to(L&& lhs) const {
102  std_mod_evaluate(*this, lhs);
103  }
104 
111  friend std::ostream& operator<<(std::ostream& os, const pool_derivative_expr& expr) {
112  return os << "pool_derivative(" << expr._a << ", " << expr._b << ")";
113  }
114 };
115 
120 template <etl_expr A, etl_expr B, size_t C1, size_t C2, size_t C3, size_t S1, size_t S2, size_t S3, size_t P1, size_t P2, size_t P3, typename Impl>
121 struct etl_traits<etl::pool_derivative_expr<A, B, C1, C2, C3, S1, S2, S3, P1, P2, P3, Impl>> {
123  using left_expr_t = std::decay_t<A>;
124  using right_expr_t = std::decay_t<B>;
128 
129  static constexpr bool is_etl = true;
130  static constexpr bool is_transformer = false;
131  static constexpr bool is_view = false;
132  static constexpr bool is_magic_view = false;
133  static constexpr bool is_fast = left_traits::is_fast && right_traits::is_fast;
134  static constexpr bool is_linear = false;
135  static constexpr bool is_thread_safe = true;
136  static constexpr bool is_value = false;
137  static constexpr bool is_direct = true;
138  static constexpr bool is_generator = false;
139  static constexpr bool is_padded = false;
140  static constexpr bool is_aligned = true;
141  static constexpr bool is_temporary = true;
142  static constexpr bool gpu_computable = is_gpu_t<value_type> && cuda_enabled;
143  static constexpr order storage_order = left_traits::storage_order;
144 
150  template <vector_mode_t V>
151  static constexpr bool vectorizable = true;
152 
157  template <size_t DD>
158  static constexpr size_t dim() {
159  return left_traits::template dim<DD>();
160  }
161 
168  static size_t dim(const expr_t& e, size_t d) {
169  return left_traits::dim(e._a, d);
170  }
171 
177  static size_t size(const expr_t& e) {
178  return left_traits::size(e._a);
179  }
180 
185  static constexpr size_t size() {
186  return left_traits::size();
187  }
188 
193  static constexpr size_t dimensions() {
194  return left_traits::dimensions();
195  }
196 
201  static constexpr int complexity() noexcept {
202  return -1;
203  }
204 };
205 
214 template <size_t C1, size_t C2, size_t S1 = C1, size_t S2 = C2, size_t P1 = 0, size_t P2 = 0, etl_expr E, etl_expr F>
215 pool_derivative_expr<detail::build_type<E>, F, C1, C2, 0, S1, S2, 0, P1, P2, 0, impl::max_pool_derivative_2d> max_pool_derivative_2d(E&& input, F&& output) {
216  return pool_derivative_expr<detail::build_type<E>, F, C1, C2, 0, S1, S2, 0, P1, P2, 0, impl::max_pool_derivative_2d>{input, output};
217 }
218 
228 template <size_t C1, size_t C2, size_t C3, etl_expr E, etl_expr F>
229 pool_derivative_expr<detail::build_type<E>, F, C1, C2, C3, C1, C2, C3, 0, 0, 0, impl::max_pool_derivative_3d> max_pool_derivative_3d(E&& input, F&& output) {
230  return pool_derivative_expr<detail::build_type<E>, F, C1, C2, C3, C1, C2, C3, 0, 0, 0, impl::max_pool_derivative_3d>{input, output};
231 }
232 
241 template <size_t C1, size_t C2, size_t S1 = C1, size_t S2 = C2, size_t P1 = 0, size_t P2 = 0, etl_expr E, etl_expr F>
242 pool_derivative_expr<detail::build_type<E>, F, C1, C2, 0, S1, S2, 0, P1, P2, 0, impl::avg_pool_derivative_2d> avg_pool_derivative_2d(E&& input, F&& output) {
243  return pool_derivative_expr<detail::build_type<E>, F, C1, C2, 0, S1, S2, 0, P1, P2, 0, impl::avg_pool_derivative_2d>{input, output};
244 }
245 
255 template <size_t C1, size_t C2, size_t C3, etl_expr E, etl_expr F>
256 pool_derivative_expr<detail::build_type<E>, F, C1, C2, C3, C1, C2, C3, 0, 0, 0, impl::avg_pool_derivative_3d> avg_pool_derivative_3d(E&& input, F&& output) {
257  return pool_derivative_expr<detail::build_type<E>, F, C1, C2, C3, C1, C2, C3, 0, 0, 0, impl::avg_pool_derivative_3d>{input, output};
258 }
259 
260 } //end of namespace etl
dyn_pool_derivative_expr< detail::build_type< E >, F, impl::max_pool_derivative_3d > max_pool_derivative_3d(E &&input, F &&output, size_t c1, size_t c2, size_t c3)
Derivative of the 3D Max Pooling of the given matrix expression.
Definition: dyn_pool_derivative_expr.hpp:256
static size_t dim(const expr_t &e, size_t d)
Returns the dth dimension of the expression.
Definition: pool_derivative_expr.hpp:168
B _b
The sub expression reference.
Definition: base_temporary_expr.hpp:534
static constexpr size_t size()
Returns the size of the expression.
Definition: pool_derivative_expr.hpp:185
static constexpr size_t dim()
Returns the DDth dimension of the expression.
Definition: pool_derivative_expr.hpp:158
constexpr bool is_magic_view
Traits indicating if the given ETL type is a magic view expression.
Definition: traits.hpp:311
A _a
The sub expression reference.
Definition: base_temporary_expr.hpp:533
dyn_pool_derivative_expr< detail::build_type< E >, F, impl::avg_pool_derivative_2d > avg_pool_derivative_2d(E &&input, F &&output, size_t c1, size_t c2)
Derivative of the 2D Avg Pooling of the given matrix expression.
Definition: dyn_pool_derivative_expr.hpp:270
void assign_div_to(L &&lhs) const
Divide the given left-hand-side expression.
Definition: pool_derivative_expr.hpp:92
order
Storage order of a matrix.
Definition: order.hpp:15
constexpr bool cuda_enabled
Indicates if CUDA is available.
Definition: config.hpp:94
Abstract base class for temporary binary expression.
Definition: base_temporary_expr.hpp:529
void assign_mod_to(L &&lhs) const
Modulo the given left-hand-side expression.
Definition: pool_derivative_expr.hpp:101
static constexpr int complexity() noexcept
Estimate the complexity of computation.
Definition: pool_derivative_expr.hpp:201
Functor for the derivative of 3D Max Pooling.
Definition: max_pooling_derivative.hpp:279
static constexpr bool gpu_computable
Indicates if the temporary expression can be directly evaluated using only GPU.
Definition: pool_derivative_expr.hpp:34
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
A transposition expression.
Definition: pool_derivative_expr.hpp:22
Traits to get information about ETL types.
Definition: tmp.hpp:68
Root namespace for the ETL library.
Definition: adapter.hpp:15
Functor for the derivative of 2D Avg Pooling.
Definition: avg_pooling_derivative.hpp:15
static constexpr size_t dimensions()
Return the number of dimensions of the expression.
Definition: traits_base.hpp:31
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
value_t< A > value_type
The value type of the expression.
Definition: pool_derivative_expr.hpp:127
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
static size_t size(const expr_t &e)
Returns the size of the expression.
Definition: pool_derivative_expr.hpp:177
constexpr bool is_transformer
Traits indicating if the given ETL type is a transformer expression.
Definition: traits.hpp:297
dyn_pool_derivative_expr< detail::build_type< E >, F, impl::avg_pool_derivative_3d > avg_pool_derivative_3d(E &&input, F &&output, size_t c1, size_t c2, size_t c3)
Derivative of the 3D Avg Pooling of the given matrix expression.
Definition: dyn_pool_derivative_expr.hpp:298
friend std::ostream & operator<<(std::ostream &os, const pool_derivative_expr &expr)
Print a representation of the expression on the given stream.
Definition: pool_derivative_expr.hpp:111
constexpr bool is_view
Traits indicating if the given ETL type is a view expression.
Definition: traits.hpp:304
static constexpr bool is_fast
Indicates if T is a fast structure.
Definition: traits_base.hpp:25
void assign_add_to(L &&lhs) const
Add to the given left-hand-side expression.
Definition: pool_derivative_expr.hpp:65
void assign_to(C &&c) const
Assign to a matrix of the same storage order.
Definition: pool_derivative_expr.hpp:51
static constexpr size_t dimensions()
Returns the number of dimensions of the expression.
Definition: pool_derivative_expr.hpp:193
pool_derivative_expr(A a, B b)
Construct a new expression.
Definition: pool_derivative_expr.hpp:40
Functor for the derivative of 2D Max Pooling.
Definition: max_pooling_derivative.hpp:17
void std_sub_evaluate(Expr &&expr, Result &&result)
Compound subtract evaluation of the expr into result.
Definition: evaluator.hpp:1214
std::decay_t< A > left_expr_t
The left sub expression type.
Definition: pool_derivative_expr.hpp:123
decltype(auto) smart_forward(E &expr)
Smart forwarding for a temporary expression.
Definition: helpers.hpp:323
std::decay_t< B > right_expr_t
The right sub expression type.
Definition: pool_derivative_expr.hpp:124
void assign_sub_to(L &&lhs) const
Sub from the given left-hand-side expression.
Definition: pool_derivative_expr.hpp:74
value_t< A > value_type
The type of value of the expression.
Definition: pool_derivative_expr.hpp:23
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
Functor for the derivative of 3D Avg Pooling.
Definition: avg_pooling_derivative.hpp:205
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
void assign_mul_to(L &&lhs) const
Multiply the given left-hand-side expression.
Definition: pool_derivative_expr.hpp:83
std::add_lvalue_reference_t< A > a()
Returns the sub expression.
Definition: base_temporary_expr.hpp:577
static constexpr auto storage_order
The sub storage order.
Definition: pool_derivative_expr.hpp:28
dyn_pool_derivative_expr< detail::build_type< E >, F, impl::max_pool_derivative_2d > max_pool_derivative_2d(E &&input, F &&output, size_t c1, size_t c2)
Derivative of the 2D Max Pooling of the given matrix expression.
Definition: dyn_pool_derivative_expr.hpp:228
void std_add_evaluate(Expr &&expr, Result &&result)
Compound add evaluation of the expr into result.
Definition: evaluator.hpp:1195