Shuto Naruse
/
Eurobot2012_Secondary
Eurobot2012_Secondary
Fork of Eurobot_2012_Secondary by
tvmet/xpr/MtVProduct.h@1:cc2a9eb0bd55, 2012-10-17 (annotated)
- Committer:
- narshu
- Date:
- Wed Oct 17 22:25:31 2012 +0000
- Revision:
- 1:cc2a9eb0bd55
Commit before publishing
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
narshu | 1:cc2a9eb0bd55 | 1 | /* |
narshu | 1:cc2a9eb0bd55 | 2 | * Tiny Vector Matrix Library |
narshu | 1:cc2a9eb0bd55 | 3 | * Dense Vector Matrix Libary of Tiny size using Expression Templates |
narshu | 1:cc2a9eb0bd55 | 4 | * |
narshu | 1:cc2a9eb0bd55 | 5 | * Copyright (C) 2001 - 2007 Olaf Petzold <opetzold@users.sourceforge.net> |
narshu | 1:cc2a9eb0bd55 | 6 | * |
narshu | 1:cc2a9eb0bd55 | 7 | * This library is free software; you can redistribute it and/or |
narshu | 1:cc2a9eb0bd55 | 8 | * modify it under the terms of the GNU Lesser General Public |
narshu | 1:cc2a9eb0bd55 | 9 | * License as published by the Free Software Foundation; either |
narshu | 1:cc2a9eb0bd55 | 10 | * version 2.1 of the License, or (at your option) any later version. |
narshu | 1:cc2a9eb0bd55 | 11 | * |
narshu | 1:cc2a9eb0bd55 | 12 | * This library is distributed in the hope that it will be useful, |
narshu | 1:cc2a9eb0bd55 | 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
narshu | 1:cc2a9eb0bd55 | 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
narshu | 1:cc2a9eb0bd55 | 15 | * Lesser General Public License for more details. |
narshu | 1:cc2a9eb0bd55 | 16 | * |
narshu | 1:cc2a9eb0bd55 | 17 | * You should have received a copy of the GNU Lesser General Public |
narshu | 1:cc2a9eb0bd55 | 18 | * License along with this library; if not, write to the Free Software |
narshu | 1:cc2a9eb0bd55 | 19 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
narshu | 1:cc2a9eb0bd55 | 20 | * |
narshu | 1:cc2a9eb0bd55 | 21 | * $Id: MtVProduct.h,v 1.14 2007-06-23 15:59:00 opetzold Exp $ |
narshu | 1:cc2a9eb0bd55 | 22 | */ |
narshu | 1:cc2a9eb0bd55 | 23 | |
narshu | 1:cc2a9eb0bd55 | 24 | #ifndef TVMET_XPR_MTVPRODUCT_H |
narshu | 1:cc2a9eb0bd55 | 25 | #define TVMET_XPR_MTVPRODUCT_H |
narshu | 1:cc2a9eb0bd55 | 26 | |
narshu | 1:cc2a9eb0bd55 | 27 | #include <tvmet/meta/Gemtv.h> |
narshu | 1:cc2a9eb0bd55 | 28 | #include <tvmet/loop/Gemtv.h> |
narshu | 1:cc2a9eb0bd55 | 29 | |
narshu | 1:cc2a9eb0bd55 | 30 | namespace tvmet { |
narshu | 1:cc2a9eb0bd55 | 31 | |
narshu | 1:cc2a9eb0bd55 | 32 | |
narshu | 1:cc2a9eb0bd55 | 33 | /** |
narshu | 1:cc2a9eb0bd55 | 34 | * \class XprMtVProduct MtVProduct.h "tvmet/xpr/MtVProduct.h" |
narshu | 1:cc2a9eb0bd55 | 35 | * \brief Expression for matrix-transposed vector product |
narshu | 1:cc2a9eb0bd55 | 36 | * using formula |
narshu | 1:cc2a9eb0bd55 | 37 | * \f[ |
narshu | 1:cc2a9eb0bd55 | 38 | * M^T\,v |
narshu | 1:cc2a9eb0bd55 | 39 | * \f] |
narshu | 1:cc2a9eb0bd55 | 40 | */ |
narshu | 1:cc2a9eb0bd55 | 41 | template<class E1, std::size_t Rows, std::size_t Cols, |
narshu | 1:cc2a9eb0bd55 | 42 | class E2> |
narshu | 1:cc2a9eb0bd55 | 43 | class XprMtVProduct |
narshu | 1:cc2a9eb0bd55 | 44 | : public TvmetBase< XprMtVProduct<E1, Rows, Cols, E2> > |
narshu | 1:cc2a9eb0bd55 | 45 | { |
narshu | 1:cc2a9eb0bd55 | 46 | XprMtVProduct(); |
narshu | 1:cc2a9eb0bd55 | 47 | XprMtVProduct& operator=(const XprMtVProduct&); |
narshu | 1:cc2a9eb0bd55 | 48 | |
narshu | 1:cc2a9eb0bd55 | 49 | public: |
narshu | 1:cc2a9eb0bd55 | 50 | typedef typename PromoteTraits< |
narshu | 1:cc2a9eb0bd55 | 51 | typename E1::value_type, |
narshu | 1:cc2a9eb0bd55 | 52 | typename E2::value_type |
narshu | 1:cc2a9eb0bd55 | 53 | >::value_type value_type; |
narshu | 1:cc2a9eb0bd55 | 54 | |
narshu | 1:cc2a9eb0bd55 | 55 | public: |
narshu | 1:cc2a9eb0bd55 | 56 | /** Complexity counter. */ |
narshu | 1:cc2a9eb0bd55 | 57 | enum { |
narshu | 1:cc2a9eb0bd55 | 58 | ops_lhs = E1::ops, |
narshu | 1:cc2a9eb0bd55 | 59 | ops_rhs = E2::ops, |
narshu | 1:cc2a9eb0bd55 | 60 | M = Cols * Rows, |
narshu | 1:cc2a9eb0bd55 | 61 | N = Cols * (Rows - 1), |
narshu | 1:cc2a9eb0bd55 | 62 | ops_plus = M * NumericTraits<value_type>::ops_plus, |
narshu | 1:cc2a9eb0bd55 | 63 | ops_muls = N * NumericTraits<value_type>::ops_muls, |
narshu | 1:cc2a9eb0bd55 | 64 | ops = ops_plus + ops_muls, |
narshu | 1:cc2a9eb0bd55 | 65 | use_meta = Rows*Cols < TVMET_COMPLEXITY_MV_TRIGGER ? true : false |
narshu | 1:cc2a9eb0bd55 | 66 | }; |
narshu | 1:cc2a9eb0bd55 | 67 | |
narshu | 1:cc2a9eb0bd55 | 68 | public: |
narshu | 1:cc2a9eb0bd55 | 69 | /** Constructor. */ |
narshu | 1:cc2a9eb0bd55 | 70 | explicit XprMtVProduct(const E1& lhs, const E2& rhs) |
narshu | 1:cc2a9eb0bd55 | 71 | : m_lhs(lhs), m_rhs(rhs) |
narshu | 1:cc2a9eb0bd55 | 72 | { } |
narshu | 1:cc2a9eb0bd55 | 73 | |
narshu | 1:cc2a9eb0bd55 | 74 | /** Copy Constructor. Not explicit! */ |
narshu | 1:cc2a9eb0bd55 | 75 | #if defined(TVMET_OPTIMIZE_XPR_MANUAL_CCTOR) |
narshu | 1:cc2a9eb0bd55 | 76 | XprMtVProduct(const XprMtVProduct& e) |
narshu | 1:cc2a9eb0bd55 | 77 | : m_lhs(e.m_lhs), m_rhs(e.m_rhs) |
narshu | 1:cc2a9eb0bd55 | 78 | { } |
narshu | 1:cc2a9eb0bd55 | 79 | #endif |
narshu | 1:cc2a9eb0bd55 | 80 | |
narshu | 1:cc2a9eb0bd55 | 81 | private: |
narshu | 1:cc2a9eb0bd55 | 82 | /** Wrapper for meta gemm. */ |
narshu | 1:cc2a9eb0bd55 | 83 | static inline |
narshu | 1:cc2a9eb0bd55 | 84 | value_type do_gemtv(dispatch<true>, const E1& lhs, const E2& rhs, std::size_t i) { |
narshu | 1:cc2a9eb0bd55 | 85 | return meta::gemtv<Rows, Cols, 0>::prod(lhs, rhs, i); |
narshu | 1:cc2a9eb0bd55 | 86 | } |
narshu | 1:cc2a9eb0bd55 | 87 | |
narshu | 1:cc2a9eb0bd55 | 88 | /** Wrapper for loop gemm. */ |
narshu | 1:cc2a9eb0bd55 | 89 | static inline |
narshu | 1:cc2a9eb0bd55 | 90 | value_type do_gemtv(dispatch<false>, const E1& lhs, const E2& rhs, std::size_t i) { |
narshu | 1:cc2a9eb0bd55 | 91 | return loop::gemtv<Rows, Cols>::prod(lhs, rhs, i); |
narshu | 1:cc2a9eb0bd55 | 92 | } |
narshu | 1:cc2a9eb0bd55 | 93 | |
narshu | 1:cc2a9eb0bd55 | 94 | public: |
narshu | 1:cc2a9eb0bd55 | 95 | /** index operator, returns the expression by index. This is the vector |
narshu | 1:cc2a9eb0bd55 | 96 | style since a matrix*vector gives a vector. */ |
narshu | 1:cc2a9eb0bd55 | 97 | value_type operator()(std::size_t j) const { |
narshu | 1:cc2a9eb0bd55 | 98 | TVMET_RT_CONDITION(j < Cols , "XprMtVProduct Bounce Violation") |
narshu | 1:cc2a9eb0bd55 | 99 | return do_gemtv(dispatch<use_meta>(), m_lhs, m_rhs, j); |
narshu | 1:cc2a9eb0bd55 | 100 | } |
narshu | 1:cc2a9eb0bd55 | 101 | |
narshu | 1:cc2a9eb0bd55 | 102 | public: // debugging Xpr parse tree |
narshu | 1:cc2a9eb0bd55 | 103 | void print_xpr(std::ostream& os, std::size_t l=0) const { |
narshu | 1:cc2a9eb0bd55 | 104 | os << IndentLevel(l++) |
narshu | 1:cc2a9eb0bd55 | 105 | << "XprMtVProduct[O=" << ops << ", (O1=" << ops_lhs << ", O2=" << ops_rhs << ")]<" |
narshu | 1:cc2a9eb0bd55 | 106 | << std::endl; |
narshu | 1:cc2a9eb0bd55 | 107 | m_lhs.print_xpr(os, l); |
narshu | 1:cc2a9eb0bd55 | 108 | os << IndentLevel(l) |
narshu | 1:cc2a9eb0bd55 | 109 | << "R=" << Rows << ", C=" << Cols << ",\n"; |
narshu | 1:cc2a9eb0bd55 | 110 | m_rhs.print_xpr(os, l); |
narshu | 1:cc2a9eb0bd55 | 111 | os << IndentLevel(--l) |
narshu | 1:cc2a9eb0bd55 | 112 | << ">," << std::endl; |
narshu | 1:cc2a9eb0bd55 | 113 | } |
narshu | 1:cc2a9eb0bd55 | 114 | |
narshu | 1:cc2a9eb0bd55 | 115 | private: |
narshu | 1:cc2a9eb0bd55 | 116 | const E1 m_lhs; |
narshu | 1:cc2a9eb0bd55 | 117 | const E2 m_rhs; |
narshu | 1:cc2a9eb0bd55 | 118 | }; |
narshu | 1:cc2a9eb0bd55 | 119 | |
narshu | 1:cc2a9eb0bd55 | 120 | |
narshu | 1:cc2a9eb0bd55 | 121 | } // namespace tvmet |
narshu | 1:cc2a9eb0bd55 | 122 | |
narshu | 1:cc2a9eb0bd55 | 123 | #endif // TVMET_XPR_MTVPRODUCT_H |
narshu | 1:cc2a9eb0bd55 | 124 | |
narshu | 1:cc2a9eb0bd55 | 125 | // Local Variables: |
narshu | 1:cc2a9eb0bd55 | 126 | // mode:C++ |
narshu | 1:cc2a9eb0bd55 | 127 | // tab-width:8 |
narshu | 1:cc2a9eb0bd55 | 128 | // End: |