]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /////////////////////////////////////////////////////////////////////////////// |
2 | // Copyright 2011 John Maddock. Distributed under the Boost | |
3 | // Software License, Version 1.0. (See accompanying file | |
4 | // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
5 | ||
6 | #ifndef BOOST_MP_ET_OPS_HPP | |
7 | #define BOOST_MP_ET_OPS_HPP | |
8 | ||
92f5a8d4 | 9 | namespace boost { namespace multiprecision { |
7c673cae FG |
10 | |
11 | // | |
1e59de90 TL |
12 | // Non-member operators for number which return expression templates. |
13 | // | |
14 | // Note that operators taking rvalue-references DO NOT return expression templates | |
15 | // as this can lead to dangling references, see https://github.com/boostorg/multiprecision/issues/175. | |
7c673cae FG |
16 | // |
17 | // Unary operators first. | |
18 | // Note that these *must* return by value, even though that's somewhat against | |
19 | // existing practice. The issue is that in C++11 land one could easily and legitimately | |
20 | // write: | |
21 | // auto x = +1234_my_user_defined_suffix; | |
22 | // which would result in a dangling-reference-to-temporary if unary + returned a reference | |
23 | // to it's argument. While return-by-value is obviously inefficient in other situations | |
24 | // the reality is that no one ever uses unary operator+ anyway...! | |
25 | // | |
26 | template <class B, expression_template_option ExpressionTemplates> | |
1e59de90 | 27 | inline constexpr const number<B, ExpressionTemplates> operator+(const number<B, ExpressionTemplates>& v) { return v; } |
7c673cae | 28 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 | 29 | inline constexpr const detail::expression<tag, Arg1, Arg2, Arg3, Arg4> operator+(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& v) { return v; } |
7c673cae | 30 | template <class B> |
92f5a8d4 | 31 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, number<B, et_on> > operator-(const number<B, et_on>& v) |
7c673cae | 32 | { |
1e59de90 | 33 | static_assert(is_signed_number<B>::value, "Negating an unsigned type results in ill-defined behavior."); |
7c673cae FG |
34 | return detail::expression<detail::negate, number<B, et_on> >(v); |
35 | } | |
1e59de90 | 36 | // rvalue ops: |
f67539c2 TL |
37 | template <class B> |
38 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> operator-(number<B, et_on>&& v) | |
39 | { | |
1e59de90 TL |
40 | static_assert(is_signed_number<B>::value, "Negating an unsigned type results in ill-defined behavior."); |
41 | v.backend().negate(); | |
42 | return std::move(v); | |
f67539c2 | 43 | } |
1e59de90 | 44 | |
7c673cae | 45 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
92f5a8d4 | 46 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > operator-(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& v) |
7c673cae | 47 | { |
1e59de90 | 48 | static_assert((is_signed_number<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value), "Negating an unsigned type results in ill-defined behavior."); |
7c673cae FG |
49 | return detail::expression<detail::negate, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(v); |
50 | } | |
51 | template <class B> | |
1e59de90 | 52 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
53 | detail::expression<detail::complement_immediates, number<B, et_on> > >::type |
54 | operator~(const number<B, et_on>& v) { return detail::expression<detail::complement_immediates, number<B, et_on> >(v); } | |
1e59de90 | 55 | |
f67539c2 | 56 | template <class B> |
1e59de90 | 57 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 | 58 | number<B, et_on> >::type |
1e59de90 TL |
59 | operator~(number<B, et_on>&& v) |
60 | { | |
61 | using default_ops::eval_complement; | |
62 | eval_complement(v.backend(), v.backend()); | |
63 | return std::move(v); | |
64 | } | |
65 | ||
7c673cae | 66 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 | 67 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer, |
92f5a8d4 TL |
68 | detail::expression<detail::bitwise_complement, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
69 | operator~(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& v) { return detail::expression<detail::bitwise_complement, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(v); } | |
7c673cae FG |
70 | // |
71 | // Then addition: | |
72 | // | |
73 | template <class B> | |
92f5a8d4 TL |
74 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > |
75 | operator+(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
76 | { |
77 | return detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
78 | } | |
1e59de90 | 79 | |
f67539c2 TL |
80 | template <class B> |
81 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
82 | operator+(number<B, et_on>&& a, const number<B, et_on>& b) | |
83 | { | |
1e59de90 TL |
84 | using default_ops::eval_add; |
85 | eval_add(a.backend(), b.backend()); | |
86 | return std::move(a); | |
f67539c2 TL |
87 | } |
88 | template <class B> | |
89 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
90 | operator+(const number<B, et_on>& a, number<B, et_on>&& b) | |
91 | { | |
1e59de90 TL |
92 | using default_ops::eval_add; |
93 | eval_add(b.backend(), a.backend()); | |
94 | return std::move(b); | |
f67539c2 TL |
95 | } |
96 | template <class B> | |
97 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
98 | operator+(number<B, et_on>&& a, number<B, et_on>&& b) | |
99 | { | |
1e59de90 TL |
100 | using default_ops::eval_add; |
101 | eval_add(a.backend(), b.backend()); | |
102 | return std::move(a); | |
f67539c2 | 103 | } |
1e59de90 | 104 | |
7c673cae | 105 | template <class B, class V> |
1e59de90 | 106 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, detail::expression<detail::add_immediates, number<B, et_on>, V> >::type |
92f5a8d4 | 107 | operator+(const number<B, et_on>& a, const V& b) |
7c673cae | 108 | { |
92f5a8d4 | 109 | return detail::expression<detail::add_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 110 | } |
1e59de90 | 111 | |
f67539c2 | 112 | template <class B, class V> |
1e59de90 | 113 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
114 | operator+(number<B, et_on>&& a, const V& b) |
115 | { | |
1e59de90 TL |
116 | using default_ops::eval_add; |
117 | eval_add(a.backend(), number<B, et_on>::canonical_value(b)); | |
118 | return std::move(a); | |
f67539c2 | 119 | } |
1e59de90 | 120 | |
7c673cae | 121 | template <class V, class B> |
1e59de90 | 122 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::add_immediates, V, number<B, et_on> > >::type |
92f5a8d4 | 123 | operator+(const V& a, const number<B, et_on>& b) |
7c673cae FG |
124 | { |
125 | return detail::expression<detail::add_immediates, V, number<B, et_on> >(a, b); | |
126 | } | |
1e59de90 | 127 | |
f67539c2 | 128 | template <class V, class B> |
1e59de90 | 129 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
130 | operator+(const V& a, number<B, et_on>&& b) |
131 | { | |
1e59de90 TL |
132 | using default_ops::eval_add; |
133 | eval_add(b.backend(), number<B, et_on>::canonical_value(a)); | |
134 | return std::move(b); | |
f67539c2 | 135 | } |
1e59de90 | 136 | |
7c673cae | 137 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
92f5a8d4 TL |
138 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > |
139 | operator+(const number<B, ET>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
140 | { |
141 | return detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
142 | } | |
1e59de90 TL |
143 | |
144 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
145 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
146 | std::is_same<typename detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET> >::value, | |
147 | typename detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
148 | operator+(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
149 | { | |
150 | a += b; | |
151 | return std::move(a); | |
152 | } | |
f67539c2 | 153 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
154 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
155 | !std::is_same<typename detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET> >::value, | |
156 | typename detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
f67539c2 TL |
157 | operator+(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
158 | { | |
159 | return detail::expression<detail::plus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
160 | } | |
1e59de90 | 161 | |
7c673cae | 162 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
163 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> > |
164 | operator+(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
165 | { |
166 | return detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
167 | } | |
1e59de90 | 168 | |
f67539c2 | 169 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1e59de90 TL |
170 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
171 | std::is_same<typename detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type, number<B, ET>>::value, | |
172 | typename detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type>::type | |
173 | operator+(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
174 | { | |
175 | b += a; | |
176 | return std::move(b); | |
177 | } | |
178 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> | |
179 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
180 | !std::is_same<typename detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type, number<B, ET>>::value, | |
181 | typename detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type>::type | |
f67539c2 TL |
182 | operator+(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) |
183 | { | |
184 | return detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
185 | } | |
1e59de90 | 186 | |
7c673cae | 187 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
92f5a8d4 TL |
188 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > |
189 | operator+(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
190 | { |
191 | return detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
192 | } | |
193 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 194 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
92f5a8d4 | 195 | operator+(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) |
7c673cae | 196 | { |
92f5a8d4 | 197 | return detail::expression<detail::plus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
198 | } |
199 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 200 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::plus, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
92f5a8d4 | 201 | operator+(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
7c673cae FG |
202 | { |
203 | return detail::expression<detail::plus, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
204 | } | |
205 | // | |
206 | // Fused multiply add: | |
207 | // | |
208 | template <class V, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 209 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::result_type>::value, |
92f5a8d4 TL |
210 | detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V> >::type |
211 | operator+(const V& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
212 | { |
213 | return detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V>(b.left(), b.right(), a); | |
214 | } | |
215 | template <class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 216 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::result_type>::value, |
92f5a8d4 TL |
217 | detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V> >::type |
218 | operator+(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, const V& b) | |
7c673cae FG |
219 | { |
220 | return detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V>(a.left(), a.right(), b); | |
221 | } | |
222 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
92f5a8d4 TL |
223 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > |
224 | operator+(const number<B, ET>& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
225 | { |
226 | return detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(b.left(), b.right(), a); | |
227 | } | |
1e59de90 | 228 | |
f67539c2 | 229 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
230 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
231 | std::is_same<typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type, number<B, ET>>::value, | |
232 | typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type>::type | |
233 | operator+(number<B, ET>&& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) | |
234 | { | |
235 | a += b; | |
236 | return std::move(a); | |
237 | } | |
238 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
239 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
240 | !std::is_same<typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type, number<B, ET>>::value, | |
241 | typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type>::type | |
f67539c2 TL |
242 | operator+(number<B, ET>&& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) |
243 | { | |
244 | return detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(b.left(), b.right(), a); | |
245 | } | |
1e59de90 | 246 | |
7c673cae | 247 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
248 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > |
249 | operator+(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
250 | { |
251 | return detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(a.left(), a.right(), b); | |
252 | } | |
1e59de90 TL |
253 | |
254 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> | |
255 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
256 | std::is_same<typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type, number<B, ET>>::value, | |
257 | typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type>::type | |
258 | operator+(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
259 | { | |
260 | b += a; | |
261 | return std::move(b); | |
262 | } | |
f67539c2 | 263 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1e59de90 TL |
264 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
265 | !std::is_same<typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type, number<B, ET>>::value, | |
266 | typename detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type>::type | |
f67539c2 TL |
267 | operator+(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) |
268 | { | |
269 | return detail::expression<detail::multiply_add, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(a.left(), a.right(), b); | |
270 | } | |
1e59de90 | 271 | |
7c673cae FG |
272 | // |
273 | // Fused multiply subtract: | |
274 | // | |
275 | template <class V, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 276 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::result_type>::value, |
92f5a8d4 TL |
277 | detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V> > >::type |
278 | operator-(const V& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae | 279 | { |
92f5a8d4 | 280 | return detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V> >(detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V>(b.left(), b.right(), a)); |
7c673cae FG |
281 | } |
282 | template <class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 283 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::result_type>::value, |
92f5a8d4 TL |
284 | detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V> >::type |
285 | operator-(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, const V& b) | |
7c673cae FG |
286 | { |
287 | return detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, V>(a.left(), a.right(), b); | |
288 | } | |
289 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
92f5a8d4 TL |
290 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > > |
291 | operator-(const number<B, ET>& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae | 292 | { |
92f5a8d4 | 293 | return detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > >(detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(b.left(), b.right(), a)); |
7c673cae | 294 | } |
1e59de90 TL |
295 | |
296 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
297 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
298 | std::is_same<typename detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > >::result_type, number<B, ET>>::value, | |
299 | typename detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > >::result_type>::type | |
300 | operator-(number<B, ET>&& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) | |
301 | { | |
302 | a -= b; | |
303 | return std::move(a); | |
304 | } | |
f67539c2 | 305 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
306 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
307 | !std::is_same<typename detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > >::result_type, number<B, ET>>::value, | |
308 | typename detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > >::result_type>::type | |
f67539c2 TL |
309 | operator-(number<B, ET>&& a, const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& b) |
310 | { | |
311 | return detail::expression<detail::negate, detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > >(detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(b.left(), b.right(), a)); | |
312 | } | |
1e59de90 | 313 | |
7c673cae | 314 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
315 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> > |
316 | operator-(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
317 | { |
318 | return detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(a.left(), a.right(), b); | |
319 | } | |
1e59de90 | 320 | |
f67539c2 TL |
321 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
322 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >::result_type | |
323 | operator-(const detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
324 | { | |
325 | return detail::expression<detail::multiply_subtract, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::left_type, typename detail::expression<detail::multiply_immediates, Arg1, Arg2, Arg3, Arg4>::right_type, number<B, ET> >(a.left(), a.right(), b); | |
326 | } | |
1e59de90 | 327 | |
7c673cae FG |
328 | // |
329 | // Repeat operator for negated arguments: propagate the negation to the top level to avoid temporaries: | |
330 | // | |
331 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
92f5a8d4 TL |
332 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::minus, number<B, ET>, Arg1> |
333 | operator+(const number<B, ET>& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
334 | { |
335 | return detail::expression<detail::minus, number<B, ET>, Arg1>(a, b.left_ref()); | |
336 | } | |
1e59de90 TL |
337 | |
338 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
339 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
340 | std::is_same<typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type, number<B, ET>>::value, | |
341 | typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type>::type | |
342 | operator+(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
343 | { | |
344 | a -= b.left_ref(); | |
345 | return std::move(a); | |
346 | } | |
f67539c2 | 347 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
348 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
349 | !std::is_same<typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type, number<B, ET>>::value, | |
350 | typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type>::type | |
f67539c2 TL |
351 | operator+(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) |
352 | { | |
353 | return detail::expression<detail::minus, number<B, ET>, Arg1>(a, b.left_ref()); | |
354 | } | |
1e59de90 | 355 | |
7c673cae | 356 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
357 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::minus, number<B, ET>, Arg1> |
358 | operator+(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
359 | { |
360 | return detail::expression<detail::minus, number<B, ET>, Arg1>(b, a.left_ref()); | |
361 | } | |
1e59de90 | 362 | |
f67539c2 | 363 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1e59de90 TL |
364 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
365 | std::is_same<typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type, number<B, ET>>::value, | |
366 | typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type>::type | |
367 | operator+(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
368 | { | |
369 | b -= a.left_ref(); | |
370 | return std::move(b); | |
371 | } | |
372 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> | |
373 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
374 | !std::is_same<typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type, number<B, ET>>::value, | |
375 | typename detail::expression<detail::minus, number<B, ET>, Arg1>::result_type>::type | |
f67539c2 TL |
376 | operator+(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) |
377 | { | |
378 | return detail::expression<detail::minus, number<B, ET>, Arg1>(b, a.left_ref()); | |
379 | } | |
1e59de90 | 380 | |
7c673cae | 381 | template <class B> |
92f5a8d4 TL |
382 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> > |
383 | operator+(const number<B, et_on>& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
7c673cae FG |
384 | { |
385 | return detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> >(a, b.left_ref()); | |
386 | } | |
1e59de90 | 387 | |
f67539c2 TL |
388 | template <class B> |
389 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> >::result_type | |
390 | operator+(number<B, et_on>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
391 | { | |
1e59de90 TL |
392 | using default_ops::eval_subtract; |
393 | eval_subtract(a.backend(), b.left_ref().backend()); | |
394 | return std::move(a); | |
f67539c2 | 395 | } |
1e59de90 | 396 | |
7c673cae | 397 | template <class B> |
92f5a8d4 TL |
398 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> > |
399 | operator+(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B, et_on>& b) | |
7c673cae FG |
400 | { |
401 | return detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> >(b, a.left_ref()); | |
402 | } | |
1e59de90 | 403 | |
f67539c2 TL |
404 | template <class B> |
405 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> >::result_type | |
406 | operator+(const detail::expression<detail::negate, number<B, et_on> >& a, number<B, et_on>&& b) | |
407 | { | |
1e59de90 TL |
408 | using default_ops::eval_subtract; |
409 | eval_subtract(b.backend(), a.left_ref().backend()); | |
410 | return std::move(b); | |
f67539c2 | 411 | } |
1e59de90 | 412 | |
7c673cae | 413 | template <class B, class V> |
1e59de90 | 414 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::subtract_immediates, V, number<B, et_on> > >::type |
92f5a8d4 | 415 | operator+(const detail::expression<detail::negate, number<B, et_on> >& a, const V& b) |
7c673cae FG |
416 | { |
417 | return detail::expression<detail::subtract_immediates, V, number<B, et_on> >(b, a.left_ref()); | |
418 | } | |
419 | template <class B, class B2, expression_template_option ET> | |
1e59de90 | 420 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> > >::type |
92f5a8d4 | 421 | operator+(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B2, ET>& b) |
7c673cae FG |
422 | { |
423 | return detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> >(b, a.left_ref()); | |
424 | } | |
1e59de90 | 425 | |
f67539c2 | 426 | template <class B, class B2, expression_template_option ET> |
1e59de90 | 427 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> >::result_type>::type |
f67539c2 TL |
428 | operator+(const detail::expression<detail::negate, number<B, et_on> >& a, number<B2, ET>&& b) |
429 | { | |
430 | return detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> >(b, a.left_ref()); | |
431 | } | |
1e59de90 | 432 | |
7c673cae | 433 | template <class B2, expression_template_option ET, class B> |
1e59de90 | 434 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> > >::type |
92f5a8d4 | 435 | operator+(const number<B2, ET>& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae FG |
436 | { |
437 | return detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> >(a, b.left_ref()); | |
438 | } | |
1e59de90 | 439 | |
f67539c2 | 440 | template <class B2, expression_template_option ET, class B> |
1e59de90 | 441 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> >::result_type>::type |
f67539c2 TL |
442 | operator+(number<B2, ET>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
443 | { | |
444 | return detail::expression<detail::subtract_immediates, number<B2, ET>, number<B, et_on> >(a, b.left_ref()); | |
445 | } | |
1e59de90 | 446 | |
7c673cae | 447 | template <class B> |
92f5a8d4 TL |
448 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > > |
449 | operator+(const detail::expression<detail::negate, number<B, et_on> >& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
7c673cae FG |
450 | { |
451 | return detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >(detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> >(a.left_ref(), b.left_ref())); | |
452 | } | |
453 | // | |
454 | // Subtraction: | |
455 | // | |
456 | template <class B> | |
92f5a8d4 TL |
457 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> > |
458 | operator-(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
459 | { |
460 | return detail::expression<detail::subtract_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
461 | } | |
1e59de90 | 462 | |
f67539c2 TL |
463 | template <class B> |
464 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
465 | operator-(number<B, et_on>&& a, const number<B, et_on>& b) | |
466 | { | |
1e59de90 TL |
467 | using default_ops::eval_subtract; |
468 | eval_subtract(a.backend(), b.backend()); | |
469 | return std::move(a); | |
f67539c2 TL |
470 | } |
471 | template <class B> | |
472 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
473 | operator-(const number<B, et_on>& a, number<B, et_on>&& b) | |
474 | { | |
1e59de90 TL |
475 | using default_ops::eval_subtract; |
476 | eval_subtract(b.backend(), a.backend()); | |
477 | b.backend().negate(); | |
478 | return std::move(b); | |
f67539c2 TL |
479 | } |
480 | template <class B> | |
481 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
482 | operator-(number<B, et_on>&& a, number<B, et_on>&& b) | |
483 | { | |
1e59de90 TL |
484 | using default_ops::eval_subtract; |
485 | eval_subtract(a.backend(), b.backend()); | |
486 | return std::move(a); | |
f67539c2 | 487 | } |
1e59de90 | 488 | |
7c673cae | 489 | template <class B, class V> |
1e59de90 | 490 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, detail::expression<detail::subtract_immediates, number<B, et_on>, V> >::type |
92f5a8d4 | 491 | operator-(const number<B, et_on>& a, const V& b) |
7c673cae | 492 | { |
92f5a8d4 | 493 | return detail::expression<detail::subtract_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 494 | } |
1e59de90 | 495 | |
f67539c2 | 496 | template <class B, class V> |
1e59de90 | 497 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
498 | operator-(number<B, et_on>&& a, const V& b) |
499 | { | |
1e59de90 TL |
500 | using default_ops::eval_subtract; |
501 | eval_subtract(a.backend(), number<B, et_on>::canonical_value(b)); | |
502 | return std::move(a); | |
f67539c2 | 503 | } |
1e59de90 | 504 | |
7c673cae | 505 | template <class V, class B> |
1e59de90 | 506 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::subtract_immediates, V, number<B, et_on> > >::type |
92f5a8d4 | 507 | operator-(const V& a, const number<B, et_on>& b) |
7c673cae FG |
508 | { |
509 | return detail::expression<detail::subtract_immediates, V, number<B, et_on> >(a, b); | |
510 | } | |
1e59de90 | 511 | |
f67539c2 | 512 | template <class V, class B> |
1e59de90 | 513 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
514 | operator-(const V& a, number<B, et_on>&& b) |
515 | { | |
1e59de90 TL |
516 | using default_ops::eval_subtract; |
517 | eval_subtract(b.backend(), number<B, et_on>::canonical_value(a)); | |
518 | b.backend().negate(); | |
519 | return std::move(b); | |
f67539c2 | 520 | } |
1e59de90 | 521 | |
7c673cae | 522 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
92f5a8d4 TL |
523 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > |
524 | operator-(const number<B, ET>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
525 | { |
526 | return detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
527 | } | |
1e59de90 TL |
528 | |
529 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
530 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
531 | std::is_same<typename detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET>>::value, | |
532 | typename detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
533 | operator-(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
534 | { | |
535 | a -= b; | |
536 | return std::move(a); | |
537 | } | |
f67539c2 | 538 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
539 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
540 | !std::is_same<typename detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET>>::value, | |
541 | typename detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
f67539c2 TL |
542 | operator-(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
543 | { | |
544 | return detail::expression<detail::minus, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
545 | } | |
1e59de90 | 546 | |
7c673cae | 547 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
548 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> > |
549 | operator-(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
550 | { |
551 | return detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
552 | } | |
1e59de90 | 553 | |
f67539c2 | 554 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1e59de90 TL |
555 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
556 | std::is_same<typename detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type, number<B, ET>>::value, | |
557 | typename detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type>::type | |
558 | operator-(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
559 | { | |
560 | b -= a; | |
561 | b.backend().negate(); | |
562 | return std::move(b); | |
563 | } | |
564 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> | |
565 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
566 | !std::is_same<typename detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type, number<B, ET>>::value, | |
567 | typename detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type>::type | |
f67539c2 TL |
568 | operator-(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) |
569 | { | |
570 | return detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
571 | } | |
1e59de90 | 572 | |
7c673cae | 573 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
92f5a8d4 TL |
574 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > |
575 | operator-(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
576 | { |
577 | return detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
578 | } | |
579 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 580 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
92f5a8d4 | 581 | operator-(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) |
7c673cae | 582 | { |
92f5a8d4 | 583 | return detail::expression<detail::minus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
584 | } |
585 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 586 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::minus, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
92f5a8d4 | 587 | operator-(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
7c673cae FG |
588 | { |
589 | return detail::expression<detail::minus, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
590 | } | |
591 | // | |
592 | // Repeat operator for negated arguments: propagate the negation to the top level to avoid temporaries: | |
593 | // | |
594 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
92f5a8d4 TL |
595 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::plus, number<B, ET>, Arg1> |
596 | operator-(const number<B, ET>& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
597 | { |
598 | return detail::expression<detail::plus, number<B, ET>, Arg1>(a, b.left_ref()); | |
599 | } | |
1e59de90 | 600 | |
f67539c2 | 601 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
602 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
603 | std::is_same<typename detail::expression<detail::plus, number<B, ET>, Arg1>::result_type, number<B, ET>>::value, | |
604 | typename detail::expression<detail::plus, number<B, ET>, Arg1>::result_type>::type | |
605 | operator-(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
606 | { | |
607 | a += b.left_ref(); | |
608 | return std::move(a); | |
609 | } | |
610 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
611 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
612 | !std::is_same<typename detail::expression<detail::plus, number<B, ET>, Arg1>::result_type, number<B, ET>>::value, | |
613 | typename detail::expression<detail::plus, number<B, ET>, Arg1>::result_type>::type | |
f67539c2 TL |
614 | operator-(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) |
615 | { | |
616 | return detail::expression<detail::plus, number<B, ET>, Arg1>(a, b.left_ref()); | |
617 | } | |
1e59de90 | 618 | |
7c673cae | 619 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
620 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> > |
621 | operator-(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
622 | { |
623 | return detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> >( | |
92f5a8d4 | 624 | detail::expression<detail::plus, number<B, ET>, Arg1>(b, a.left_ref())); |
7c673cae | 625 | } |
1e59de90 | 626 | |
f67539c2 | 627 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1e59de90 TL |
628 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
629 | std::is_same<typename detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> >::result_type, number<B, ET>>::value, | |
630 | typename detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> >::result_type>::type | |
f67539c2 TL |
631 | operator-(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) |
632 | { | |
1e59de90 TL |
633 | b += a.left_ref(); |
634 | b.backend().negate(); | |
635 | return std::move(b); | |
f67539c2 | 636 | } |
1e59de90 TL |
637 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
638 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
639 | !std::is_same<typename detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> >::result_type, number<B, ET>>::value, | |
640 | typename detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> >::result_type>::type | |
641 | operator-(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
642 | { | |
643 | return detail::expression<detail::negate, detail::expression<detail::plus, number<B, ET>, Arg1> >(detail::expression<detail::plus, number<B, ET>, Arg1>(b, a.left_ref())); | |
644 | } | |
645 | ||
7c673cae | 646 | template <class B> |
92f5a8d4 TL |
647 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > |
648 | operator-(const number<B, et_on>& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
7c673cae FG |
649 | { |
650 | return detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> >(a, b.left_ref()); | |
651 | } | |
1e59de90 | 652 | |
f67539c2 TL |
653 | template <class B> |
654 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> >::result_type | |
655 | operator-(number<B, et_on>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
656 | { | |
1e59de90 TL |
657 | using default_ops::eval_add; |
658 | eval_add(a.backend(), b.left_ref().backend()); | |
659 | return std::move(a); | |
f67539c2 | 660 | } |
1e59de90 | 661 | |
7c673cae | 662 | template <class B> |
92f5a8d4 TL |
663 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > > |
664 | operator-(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B, et_on>& b) | |
7c673cae FG |
665 | { |
666 | return detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >( | |
92f5a8d4 | 667 | detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> >(b, a.left_ref())); |
7c673cae | 668 | } |
1e59de90 TL |
669 | |
670 | template <class B> | |
671 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
672 | std::is_same<typename detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >::result_type, number<B, et_on>>::value, | |
673 | typename detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >::result_type>::type | |
674 | operator-(const detail::expression<detail::negate, number<B, et_on> >& a, number<B, et_on>&& b) | |
675 | { | |
676 | using default_ops::eval_add; | |
677 | eval_add(b.backend(), a.left_ref().backend()); | |
678 | b.backend().negate(); | |
679 | return std::move(b); | |
680 | } | |
f67539c2 | 681 | template <class B> |
1e59de90 TL |
682 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
683 | !std::is_same<typename detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >::result_type, number<B, et_on>>::value, | |
684 | typename detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >::result_type>::type | |
f67539c2 TL |
685 | operator-(const detail::expression<detail::negate, number<B, et_on> >& a, number<B, et_on>&& b) |
686 | { | |
687 | return detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> > >( | |
1e59de90 | 688 | detail::expression<detail::add_immediates, number<B, et_on>, number<B, et_on> >(b, a.left_ref())); |
f67539c2 | 689 | } |
1e59de90 | 690 | |
7c673cae | 691 | template <class B, class V> |
1e59de90 | 692 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, V> > >::type |
92f5a8d4 | 693 | operator-(const detail::expression<detail::negate, number<B, et_on> >& a, const V& b) |
7c673cae | 694 | { |
92f5a8d4 | 695 | return detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, V> >(detail::expression<detail::add_immediates, number<B, et_on>, V>(a.left_ref(), b)); |
7c673cae FG |
696 | } |
697 | template <class B, class B2, expression_template_option ET> | |
1e59de90 | 698 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B2, ET> > > >::type |
92f5a8d4 | 699 | operator-(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B2, ET>& b) |
7c673cae FG |
700 | { |
701 | return detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B2, ET> > >(detail::expression<detail::add_immediates, number<B, et_on>, number<B2, ET> >(a.left_ref(), b)); | |
702 | } | |
1e59de90 | 703 | |
f67539c2 | 704 | template <class B, class B2, expression_template_option ET> |
1e59de90 | 705 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B2, ET> > >::result_type>::type |
f67539c2 TL |
706 | operator-(const detail::expression<detail::negate, number<B, et_on> >& a, number<B2, ET>&& b) |
707 | { | |
708 | return detail::expression<detail::negate, detail::expression<detail::add_immediates, number<B, et_on>, number<B2, ET> > >(detail::expression<detail::add_immediates, number<B, et_on>, number<B2, ET> >(a.left_ref(), b)); | |
709 | } | |
1e59de90 | 710 | |
7c673cae | 711 | template <class V, class B> |
1e59de90 | 712 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::add_immediates, V, number<B, et_on> > >::type |
92f5a8d4 | 713 | operator-(const V& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae FG |
714 | { |
715 | return detail::expression<detail::add_immediates, V, number<B, et_on> >(a, b.left_ref()); | |
716 | } | |
717 | template <class B2, expression_template_option ET, class B> | |
1e59de90 | 718 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::add_immediates, number<B2, ET>, number<B, et_on> > >::type |
92f5a8d4 | 719 | operator-(const number<B2, ET>& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae FG |
720 | { |
721 | return detail::expression<detail::add_immediates, number<B2, ET>, number<B, et_on> >(a, b.left_ref()); | |
722 | } | |
1e59de90 | 723 | |
f67539c2 | 724 | template <class B2, expression_template_option ET, class B> |
1e59de90 | 725 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::add_immediates, number<B2, ET>, number<B, et_on> >::result_type>::type |
f67539c2 TL |
726 | operator-(number<B2, ET>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
727 | { | |
728 | return detail::expression<detail::add_immediates, number<B2, ET>, number<B, et_on> >(a, b.left_ref()); | |
729 | } | |
1e59de90 | 730 | |
7c673cae FG |
731 | // |
732 | // Multiplication: | |
733 | // | |
734 | template <class B> | |
92f5a8d4 TL |
735 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > |
736 | operator*(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
737 | { |
738 | return detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
739 | } | |
1e59de90 | 740 | |
f67539c2 TL |
741 | template <class B> |
742 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
743 | operator*(number<B, et_on>&& a, const number<B, et_on>& b) | |
744 | { | |
1e59de90 TL |
745 | using default_ops::eval_multiply; |
746 | eval_multiply(a.backend(), b.backend()); | |
747 | return std::move(a); | |
f67539c2 TL |
748 | } |
749 | template <class B> | |
750 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
751 | operator*(const number<B, et_on>& a, number<B, et_on>&& b) | |
752 | { | |
1e59de90 TL |
753 | using default_ops::eval_multiply; |
754 | eval_multiply(b.backend(), a.backend()); | |
755 | return std::move(b); | |
f67539c2 TL |
756 | } |
757 | template <class B> | |
758 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
759 | operator*(number<B, et_on>&& a, number<B, et_on>&& b) | |
760 | { | |
1e59de90 TL |
761 | using default_ops::eval_multiply; |
762 | eval_multiply(a.backend(), b.backend()); | |
763 | return std::move(a); | |
f67539c2 | 764 | } |
1e59de90 | 765 | |
7c673cae | 766 | template <class B, class V> |
1e59de90 | 767 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, detail::expression<detail::multiply_immediates, number<B, et_on>, V> >::type |
92f5a8d4 | 768 | operator*(const number<B, et_on>& a, const V& b) |
7c673cae | 769 | { |
92f5a8d4 | 770 | return detail::expression<detail::multiply_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 771 | } |
1e59de90 | 772 | |
f67539c2 | 773 | template <class B, class V> |
1e59de90 | 774 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
775 | operator*(number<B, et_on>&& a, const V& b) |
776 | { | |
1e59de90 TL |
777 | using default_ops::eval_multiply; |
778 | eval_multiply(a.backend(), number<B, et_on>::canonical_value(b)); | |
779 | return std::move(a); | |
f67539c2 | 780 | } |
1e59de90 | 781 | |
7c673cae | 782 | template <class V, class B> |
1e59de90 | 783 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::multiply_immediates, V, number<B, et_on> > >::type |
92f5a8d4 | 784 | operator*(const V& a, const number<B, et_on>& b) |
7c673cae FG |
785 | { |
786 | return detail::expression<detail::multiply_immediates, V, number<B, et_on> >(a, b); | |
787 | } | |
1e59de90 | 788 | |
f67539c2 | 789 | template <class V, class B> |
1e59de90 | 790 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
791 | operator*(const V& a, number<B, et_on>&& b) |
792 | { | |
1e59de90 TL |
793 | using default_ops::eval_multiply; |
794 | eval_multiply(b.backend(), number<B, et_on>::canonical_value(a)); | |
795 | return std::move(b); | |
f67539c2 | 796 | } |
1e59de90 | 797 | |
7c673cae | 798 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
92f5a8d4 TL |
799 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > |
800 | operator*(const number<B, ET>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
801 | { |
802 | return detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
803 | } | |
1e59de90 TL |
804 | |
805 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
806 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
807 | std::is_same<typename detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET>>::value, | |
808 | typename detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
809 | operator*(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
810 | { | |
811 | a *= b; | |
812 | return std::move(a); | |
813 | } | |
f67539c2 | 814 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
815 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
816 | !std::is_same<typename detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET>>::value, | |
817 | typename detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
f67539c2 TL |
818 | operator*(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
819 | { | |
820 | return detail::expression<detail::multiplies, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
821 | } | |
1e59de90 | 822 | |
7c673cae | 823 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
824 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> > |
825 | operator*(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
826 | { |
827 | return detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
828 | } | |
1e59de90 | 829 | |
f67539c2 | 830 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1e59de90 TL |
831 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
832 | std::is_same<typename detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type, number<B, ET>>::value, | |
833 | typename detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type>::type | |
834 | operator*(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
835 | { | |
836 | b *= a; | |
837 | return std::move(b); | |
838 | } | |
839 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> | |
840 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
841 | !std::is_same<typename detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type, number<B, ET>>::value, | |
842 | typename detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type>::type | |
f67539c2 TL |
843 | operator*(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) |
844 | { | |
845 | return detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
846 | } | |
1e59de90 | 847 | |
7c673cae | 848 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
92f5a8d4 TL |
849 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > |
850 | operator*(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
851 | { |
852 | return detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
853 | } | |
854 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 855 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
92f5a8d4 | 856 | operator*(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) |
7c673cae | 857 | { |
92f5a8d4 | 858 | return detail::expression<detail::multiplies, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
859 | } |
860 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 861 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::multiplies, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
92f5a8d4 | 862 | operator*(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
7c673cae FG |
863 | { |
864 | return detail::expression<detail::multiplies, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
865 | } | |
866 | // | |
867 | // Repeat operator for negated arguments: propagate the negation to the top level to avoid temporaries: | |
868 | // | |
869 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
92f5a8d4 TL |
870 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> > |
871 | operator*(const number<B, ET>& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
872 | { |
873 | return detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> >( | |
92f5a8d4 | 874 | detail::expression<detail::multiplies, number<B, ET>, Arg1>(a, b.left_ref())); |
7c673cae | 875 | } |
1e59de90 | 876 | |
f67539c2 TL |
877 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> |
878 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> >::result_type | |
879 | operator*(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
880 | { | |
881 | return detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> >( | |
882 | detail::expression<detail::multiplies, number<B, ET>, Arg1>(a, b.left_ref())); | |
883 | } | |
1e59de90 | 884 | |
7c673cae | 885 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
886 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> > |
887 | operator*(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
888 | { |
889 | return detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> >( | |
92f5a8d4 | 890 | detail::expression<detail::multiplies, number<B, ET>, Arg1>(b, a.left_ref())); |
7c673cae | 891 | } |
1e59de90 | 892 | |
f67539c2 TL |
893 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
894 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> >::result_type | |
895 | operator*(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
896 | { | |
897 | return detail::expression<detail::negate, detail::expression<detail::multiplies, number<B, ET>, Arg1> >( | |
898 | detail::expression<detail::multiplies, number<B, ET>, Arg1>(b, a.left_ref())); | |
899 | } | |
1e59de90 | 900 | |
7c673cae | 901 | template <class B> |
92f5a8d4 TL |
902 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > > |
903 | operator*(const number<B, et_on>& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
7c673cae FG |
904 | { |
905 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >( | |
92f5a8d4 | 906 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> >(a, b.left_ref())); |
7c673cae | 907 | } |
1e59de90 | 908 | |
f67539c2 | 909 | template <class B> |
1e59de90 TL |
910 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
911 | std::is_same<typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type, number<B, et_on>>::value, | |
912 | typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type>::type | |
913 | operator*(number<B, et_on>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
914 | { | |
915 | a *= b.left_ref(); | |
916 | a.backend().negate(); | |
917 | return std::move(a); | |
918 | } | |
919 | template <class B> | |
920 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
921 | !std::is_same<typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type, number<B, et_on>>::value, | |
922 | typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type>::type | |
f67539c2 TL |
923 | operator*(number<B, et_on>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
924 | { | |
925 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >( | |
1e59de90 | 926 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> >(a, b.left_ref())); |
f67539c2 | 927 | } |
1e59de90 | 928 | |
7c673cae | 929 | template <class B> |
92f5a8d4 TL |
930 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > > |
931 | operator*(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B, et_on>& b) | |
7c673cae FG |
932 | { |
933 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >( | |
92f5a8d4 | 934 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> >(b, a.left_ref())); |
7c673cae | 935 | } |
1e59de90 | 936 | |
f67539c2 | 937 | template <class B> |
1e59de90 TL |
938 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
939 | std::is_same<typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type, number<B, et_on>>::value, | |
940 | typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type>::type | |
941 | operator*(const detail::expression<detail::negate, number<B, et_on> >& a, number<B, et_on>&& b) | |
942 | { | |
943 | b *= a.left_ref(); | |
944 | b.backend().negate(); | |
945 | return std::move(b); | |
946 | } | |
947 | template <class B> | |
948 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
949 | !std::is_same<typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type, number<B, et_on>>::value, | |
950 | typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >::result_type>::type | |
f67539c2 TL |
951 | operator*(const detail::expression<detail::negate, number<B, et_on> >& a, number<B, et_on>&& b) |
952 | { | |
953 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> > >( | |
1e59de90 | 954 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B, et_on> >(b, a.left_ref())); |
f67539c2 | 955 | } |
1e59de90 | 956 | |
7c673cae | 957 | template <class B, class V> |
1e59de90 | 958 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, V> > >::type |
92f5a8d4 | 959 | operator*(const detail::expression<detail::negate, number<B, et_on> >& a, const V& b) |
7c673cae | 960 | { |
92f5a8d4 TL |
961 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, V> >( |
962 | detail::expression<detail::multiply_immediates, number<B, et_on>, V>(a.left_ref(), b)); | |
7c673cae FG |
963 | } |
964 | template <class B, class B2, expression_template_option ET> | |
1e59de90 | 965 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > > >::type |
92f5a8d4 | 966 | operator*(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B2, ET>& b) |
7c673cae | 967 | { |
92f5a8d4 TL |
968 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > >( |
969 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> >(a.left_ref(), b)); | |
7c673cae | 970 | } |
1e59de90 | 971 | |
f67539c2 | 972 | template <class B, class B2, expression_template_option ET> |
1e59de90 | 973 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > >::result_type>::type |
f67539c2 TL |
974 | operator*(const detail::expression<detail::negate, number<B, et_on> >& a, number<B2, ET>&& b) |
975 | { | |
976 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > >( | |
977 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> >(a.left_ref(), b)); | |
978 | } | |
1e59de90 | 979 | |
7c673cae | 980 | template <class V, class B> |
1e59de90 | 981 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, V> > >::type |
92f5a8d4 | 982 | operator*(const V& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae | 983 | { |
92f5a8d4 TL |
984 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, V> >( |
985 | detail::expression<detail::multiply_immediates, number<B, et_on>, V>(b.left_ref(), a)); | |
7c673cae FG |
986 | } |
987 | template <class B2, expression_template_option ET, class B> | |
1e59de90 | 988 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > > >::type |
92f5a8d4 | 989 | operator*(const number<B2, ET>& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae FG |
990 | { |
991 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > >( | |
92f5a8d4 | 992 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> >(b.left_ref(), a)); |
7c673cae | 993 | } |
1e59de90 | 994 | |
f67539c2 | 995 | template <class B2, expression_template_option ET, class B> |
1e59de90 | 996 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > >::result_type>::type |
f67539c2 TL |
997 | operator*(number<B2, ET>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
998 | { | |
999 | return detail::expression<detail::negate, detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> > >( | |
1000 | detail::expression<detail::multiply_immediates, number<B, et_on>, number<B2, ET> >(b.left_ref(), a)); | |
1001 | } | |
1e59de90 | 1002 | |
7c673cae FG |
1003 | // |
1004 | // Division: | |
1005 | // | |
1006 | template <class B> | |
92f5a8d4 TL |
1007 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > |
1008 | operator/(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
1009 | { |
1010 | return detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1011 | } | |
f67539c2 TL |
1012 | template <class B> |
1013 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
1014 | operator/(number<B, et_on>&& a, const number<B, et_on>& b) | |
1015 | { | |
1e59de90 TL |
1016 | using default_ops::eval_divide; |
1017 | eval_divide(a.backend(), b.backend()); | |
1018 | return std::move(a); | |
f67539c2 TL |
1019 | } |
1020 | template <class B> | |
1021 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
1022 | operator/(const number<B, et_on>& a, number<B, et_on>&& b) | |
1023 | { | |
1024 | return detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1025 | } | |
1026 | template <class B> | |
1027 | inline BOOST_MP_CXX14_CONSTEXPR number<B, et_on> | |
1028 | operator/(number<B, et_on>&& a, number<B, et_on>&& b) | |
1029 | { | |
1e59de90 TL |
1030 | using default_ops::eval_divide; |
1031 | eval_divide(a.backend(), b.backend()); | |
1032 | return std::move(a); | |
f67539c2 | 1033 | } |
7c673cae | 1034 | template <class B, class V> |
1e59de90 | 1035 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, detail::expression<detail::divide_immediates, number<B, et_on>, V> >::type |
92f5a8d4 | 1036 | operator/(const number<B, et_on>& a, const V& b) |
7c673cae | 1037 | { |
92f5a8d4 | 1038 | return detail::expression<detail::divide_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 1039 | } |
f67539c2 | 1040 | template <class B, class V> |
1e59de90 | 1041 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && !is_equivalent_number_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
1042 | operator/(number<B, et_on>&& a, const V& b) |
1043 | { | |
1e59de90 TL |
1044 | using default_ops::eval_divide; |
1045 | eval_divide(a.backend(), number<B, et_on>::canonical_value(b)); | |
1046 | return std::move(a); | |
f67539c2 | 1047 | } |
7c673cae | 1048 | template <class V, class B> |
1e59de90 | 1049 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::divide_immediates, V, number<B, et_on> > >::type |
92f5a8d4 | 1050 | operator/(const V& a, const number<B, et_on>& b) |
7c673cae FG |
1051 | { |
1052 | return detail::expression<detail::divide_immediates, V, number<B, et_on> >(a, b); | |
1053 | } | |
f67539c2 | 1054 | template <class V, class B> |
1e59de90 | 1055 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, number<B, et_on> >::type |
f67539c2 TL |
1056 | operator/(const V& a, number<B, et_on>&& b) |
1057 | { | |
1058 | return detail::expression<detail::divide_immediates, V, number<B, et_on> >(a, b); | |
1059 | } | |
7c673cae | 1060 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
92f5a8d4 TL |
1061 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > |
1062 | operator/(const number<B, ET>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1063 | { |
1064 | return detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1065 | } | |
f67539c2 | 1066 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
1067 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1068 | std::is_same<typename detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET>>::value, | |
1069 | typename detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
1070 | operator/(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1071 | { | |
1072 | a /= b; | |
1073 | return std::move(a); | |
1074 | } | |
1075 | template <class B, expression_template_option ET, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1076 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1077 | !std::is_same<typename detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, ET>>::value, | |
1078 | typename detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
f67539c2 TL |
1079 | operator/(number<B, ET>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
1080 | { | |
1081 | return detail::expression<detail::divides, number<B, ET>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1082 | } | |
7c673cae | 1083 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
1084 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> > |
1085 | operator/(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
1086 | { |
1087 | return detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
1088 | } | |
f67539c2 TL |
1089 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1090 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >::result_type | |
1091 | operator/(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
1092 | { | |
1093 | return detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, ET> >(a, b); | |
1094 | } | |
7c673cae | 1095 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
92f5a8d4 TL |
1096 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > |
1097 | operator/(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
1098 | { |
1099 | return detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
1100 | } | |
1101 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 1102 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
92f5a8d4 | 1103 | operator/(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) |
7c673cae | 1104 | { |
92f5a8d4 | 1105 | return detail::expression<detail::divides, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
1106 | } |
1107 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 1108 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value, detail::expression<detail::divides, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
92f5a8d4 | 1109 | operator/(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
7c673cae FG |
1110 | { |
1111 | return detail::expression<detail::divides, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1112 | } | |
1113 | // | |
1114 | // Repeat operator for negated arguments: propagate the negation to the top level to avoid temporaries: | |
1115 | // | |
1116 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
92f5a8d4 TL |
1117 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> > |
1118 | operator/(const number<B, ET>& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1119 | { |
1120 | return detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> >( | |
92f5a8d4 | 1121 | detail::expression<detail::divides, number<B, ET>, Arg1>(a, b.left_ref())); |
7c673cae | 1122 | } |
f67539c2 | 1123 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
1124 | inline typename std::enable_if< |
1125 | std::is_same<typename detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> >::result_type, number<B, ET>>::value, | |
1126 | typename detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> >::result_type>::type | |
1127 | operator/(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) | |
1128 | { | |
1129 | a /= b.left_ref(); | |
1130 | a.backend().negate(); | |
1131 | return std::move(a); | |
1132 | } | |
1133 | template <class B, expression_template_option ET, class Arg1, class Arg2, class Arg3, class Arg4> | |
1134 | inline typename std::enable_if< | |
1135 | !std::is_same<typename detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> >::result_type, number<B, ET>>::value, | |
1136 | typename detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> >::result_type>::type | |
f67539c2 TL |
1137 | operator/(number<B, ET>&& a, const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& b) |
1138 | { | |
1139 | return detail::expression<detail::negate, detail::expression<detail::divides, number<B, ET>, Arg1> >( | |
1e59de90 | 1140 | detail::expression<detail::divides, number<B, ET>, Arg1>(a, b.left_ref())); |
f67539c2 | 1141 | } |
7c673cae | 1142 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
92f5a8d4 TL |
1143 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::divides, Arg1, number<B, ET> > > |
1144 | operator/(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, const number<B, ET>& b) | |
7c673cae FG |
1145 | { |
1146 | return detail::expression<detail::negate, detail::expression<detail::divides, Arg1, number<B, ET> > >( | |
92f5a8d4 | 1147 | detail::expression<detail::divides, Arg1, number<B, ET> >(a.left_ref(), b)); |
7c673cae | 1148 | } |
f67539c2 TL |
1149 | template <class Arg1, class Arg2, class Arg3, class Arg4, class B, expression_template_option ET> |
1150 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::negate, detail::expression<detail::divides, Arg1, number<B, ET> > >::result_type | |
1151 | operator/(const detail::expression<detail::negate, Arg1, Arg2, Arg3, Arg4>& a, number<B, ET>&& b) | |
1152 | { | |
1153 | return detail::expression<detail::negate, detail::expression<detail::divides, Arg1, number<B, ET> > >( | |
1154 | detail::expression<detail::divides, Arg1, number<B, ET> >(a.left_ref(), b)); | |
1155 | } | |
7c673cae | 1156 | template <class B> |
92f5a8d4 TL |
1157 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > > |
1158 | operator/(const number<B, et_on>& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
7c673cae FG |
1159 | { |
1160 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > >( | |
92f5a8d4 | 1161 | detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> >(a, b.left_ref())); |
7c673cae | 1162 | } |
f67539c2 TL |
1163 | template <class B> |
1164 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > >::result_type | |
1165 | operator/(number<B, et_on>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) | |
1166 | { | |
1e59de90 TL |
1167 | a /= b.left_ref(); |
1168 | a.backend().negate(); | |
1169 | return std::move(a); | |
f67539c2 | 1170 | } |
7c673cae | 1171 | template <class B> |
92f5a8d4 TL |
1172 | inline BOOST_MP_CXX14_CONSTEXPR detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > > |
1173 | operator/(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B, et_on>& b) | |
7c673cae FG |
1174 | { |
1175 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > >( | |
92f5a8d4 | 1176 | detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> >(a.left_ref(), b)); |
7c673cae | 1177 | } |
f67539c2 TL |
1178 | template <class B> |
1179 | inline BOOST_MP_CXX14_CONSTEXPR typename detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > >::result_type | |
1180 | operator/(const detail::expression<detail::negate, number<B, et_on> >& a, number<B, et_on>&& b) | |
1181 | { | |
1182 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> > >( | |
1183 | detail::expression<detail::divide_immediates, number<B, et_on>, number<B, et_on> >(a.left_ref(), b)); | |
1184 | } | |
7c673cae | 1185 | template <class B, class V> |
1e59de90 | 1186 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, V> > >::type |
92f5a8d4 | 1187 | operator/(const detail::expression<detail::negate, number<B, et_on> >& a, const V& b) |
7c673cae | 1188 | { |
92f5a8d4 TL |
1189 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, V> >( |
1190 | detail::expression<detail::divide_immediates, number<B, et_on>, V>(a.left_ref(), b)); | |
7c673cae FG |
1191 | } |
1192 | template <class B, class B2, expression_template_option ET> | |
1e59de90 | 1193 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B2, ET> > > >::type |
92f5a8d4 | 1194 | operator/(const detail::expression<detail::negate, number<B, et_on> >& a, const number<B2, ET>& b) |
7c673cae FG |
1195 | { |
1196 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B2, ET> > >( | |
92f5a8d4 | 1197 | detail::expression<detail::divide_immediates, number<B, et_on>, number<B2, ET> >(a.left_ref(), b)); |
7c673cae | 1198 | } |
f67539c2 | 1199 | template <class B, class B2, expression_template_option ET> |
1e59de90 | 1200 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, typename detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B2, ET> > >::result_type>::type |
f67539c2 TL |
1201 | operator/(const detail::expression<detail::negate, number<B, et_on> >& a, number<B2, ET>&& b) |
1202 | { | |
1203 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B, et_on>, number<B2, ET> > >( | |
1204 | detail::expression<detail::divide_immediates, number<B, et_on>, number<B2, ET> >(a.left_ref(), b)); | |
1205 | } | |
7c673cae | 1206 | template <class V, class B> |
1e59de90 | 1207 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::divide_immediates, V, number<B, et_on> > > >::type |
92f5a8d4 | 1208 | operator/(const V& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae FG |
1209 | { |
1210 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, V, number<B, et_on> > >( | |
92f5a8d4 | 1211 | detail::expression<detail::divide_immediates, V, number<B, et_on> >(a, b.left_ref())); |
7c673cae FG |
1212 | } |
1213 | template <class B2, expression_template_option ET, class B> | |
1e59de90 | 1214 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, number<B, et_on> >::value, detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B2, ET>, number<B, et_on> > > >::type |
92f5a8d4 | 1215 | operator/(const number<B2, ET>& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
7c673cae FG |
1216 | { |
1217 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B2, ET>, number<B, et_on> > >( | |
92f5a8d4 | 1218 | detail::expression<detail::divide_immediates, number<B2, ET>, number<B, et_on> >(a, b.left_ref())); |
7c673cae | 1219 | } |
f67539c2 | 1220 | template <class B2, expression_template_option ET, class B> |
1e59de90 | 1221 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<number<B2, ET>, typename detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B2, ET>, number<B, et_on> > >::result_type>::value, number<B, et_on> >::type |
f67539c2 TL |
1222 | operator/(number<B2, ET>&& a, const detail::expression<detail::negate, number<B, et_on> >& b) |
1223 | { | |
1224 | return detail::expression<detail::negate, detail::expression<detail::divide_immediates, number<B2, ET>, number<B, et_on> > >( | |
1225 | detail::expression<detail::divide_immediates, number<B2, ET>, number<B, et_on> >(a, b.left_ref())); | |
1226 | } | |
7c673cae FG |
1227 | // |
1228 | // Modulus: | |
1229 | // | |
1230 | template <class B> | |
1e59de90 | 1231 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1232 | detail::expression<detail::modulus_immediates, number<B, et_on>, number<B, et_on> > >::type |
1233 | operator%(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
1234 | { |
1235 | return detail::expression<detail::modulus_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1236 | } | |
f67539c2 | 1237 | template <class B> |
1e59de90 | 1238 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1239 | number<B, et_on> >::type |
1240 | operator%(number<B, et_on>&& a, const number<B, et_on>& b) | |
1241 | { | |
1e59de90 TL |
1242 | using default_ops::eval_modulus; |
1243 | eval_modulus(a.backend(), b.backend()); | |
1244 | return std::move(a); | |
f67539c2 TL |
1245 | } |
1246 | template <class B> | |
1e59de90 | 1247 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1248 | number<B, et_on> >::type |
1249 | operator%(const number<B, et_on>& a, number<B, et_on>&& b) | |
1250 | { | |
1251 | return detail::expression<detail::modulus_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1252 | } | |
1253 | template <class B> | |
1e59de90 | 1254 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1255 | number<B, et_on> >::type |
1256 | operator%(number<B, et_on>&& a, number<B, et_on>&& b) | |
1257 | { | |
1e59de90 TL |
1258 | using default_ops::eval_modulus; |
1259 | eval_modulus(a.backend(), b.backend()); | |
1260 | return std::move(a); | |
f67539c2 | 1261 | } |
7c673cae | 1262 | template <class B, class V> |
1e59de90 | 1263 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer) && !is_equivalent_number_type<V, number<B, et_on> >::value, |
92f5a8d4 TL |
1264 | detail::expression<detail::modulus_immediates, number<B, et_on>, V> >::type |
1265 | operator%(const number<B, et_on>& a, const V& b) | |
7c673cae | 1266 | { |
92f5a8d4 | 1267 | return detail::expression<detail::modulus_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 1268 | } |
f67539c2 | 1269 | template <class B, class V> |
1e59de90 | 1270 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer) && !is_equivalent_number_type<V, number<B, et_on> >::value, |
f67539c2 TL |
1271 | number<B, et_on> >::type |
1272 | operator%(number<B, et_on>&& a, const V& b) | |
1273 | { | |
1e59de90 TL |
1274 | using default_ops::eval_modulus; |
1275 | eval_modulus(a.backend(), number<B, et_on>::canonical_value(b)); | |
1276 | return std::move(a); | |
f67539c2 | 1277 | } |
7c673cae | 1278 | template <class V, class B> |
1e59de90 | 1279 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1280 | detail::expression<detail::modulus_immediates, V, number<B, et_on> > >::type |
1281 | operator%(const V& a, const number<B, et_on>& b) | |
7c673cae FG |
1282 | { |
1283 | return detail::expression<detail::modulus_immediates, V, number<B, et_on> >(a, b); | |
1284 | } | |
f67539c2 | 1285 | template <class V, class B> |
1e59de90 | 1286 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1287 | number<B, et_on> >::type |
1288 | operator%(const V& a, number<B, et_on>&& b) | |
1289 | { | |
1290 | return detail::expression<detail::modulus_immediates, V, number<B, et_on> >(a, b); | |
1291 | } | |
7c673cae | 1292 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 | 1293 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1294 | detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1295 | operator%(const number<B, et_on>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1296 | { |
1297 | return detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1298 | } | |
f67539c2 | 1299 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
1300 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1301 | std::is_same<typename detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1302 | && number_category<B>::value == number_kind_integer, | |
1303 | typename detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type >::type | |
1304 | operator%(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1305 | { | |
1306 | a %= b; | |
1307 | return std::move(a); | |
1308 | } | |
1309 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1310 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1311 | !std::is_same<typename detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1312 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1313 | typename detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type >::type |
1314 | operator%(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1315 | { | |
1316 | return detail::expression<detail::modulus, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1317 | } | |
7c673cae | 1318 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 | 1319 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1320 | detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> > >::type |
1321 | operator%(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, et_on>& b) | |
7c673cae FG |
1322 | { |
1323 | return detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1324 | } | |
f67539c2 | 1325 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 | 1326 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1327 | typename detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type >::type |
1328 | operator%(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1329 | { | |
1330 | return detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1331 | } | |
7c673cae | 1332 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
1e59de90 | 1333 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer, |
92f5a8d4 TL |
1334 | detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > >::type |
1335 | operator%(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
1336 | { |
1337 | return detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
1338 | } | |
1339 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 1340 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1341 | detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
1342 | operator%(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) | |
7c673cae | 1343 | { |
92f5a8d4 | 1344 | return detail::expression<detail::modulus, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
1345 | } |
1346 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 1347 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1348 | detail::expression<detail::modulus, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1349 | operator%(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1350 | { |
1351 | return detail::expression<detail::modulus, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1352 | } | |
1353 | // | |
1354 | // Left shift: | |
1355 | // | |
1356 | template <class B, class I> | |
1e59de90 | 1357 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<boost::multiprecision::detail::is_integral<I>::value && (number_category<B>::value == number_kind_integer), detail::expression<detail::shift_left, number<B, et_on>, I> >::type |
92f5a8d4 | 1358 | operator<<(const number<B, et_on>& a, const I& b) |
7c673cae FG |
1359 | { |
1360 | return detail::expression<detail::shift_left, number<B, et_on>, I>(a, b); | |
1361 | } | |
f67539c2 | 1362 | template <class B, class I> |
1e59de90 | 1363 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<boost::multiprecision::detail::is_integral<I>::value && (number_category<B>::value == number_kind_integer), number<B, et_on> >::type |
f67539c2 TL |
1364 | operator<<(number<B, et_on>&& a, const I& b) |
1365 | { | |
1e59de90 TL |
1366 | using default_ops::eval_left_shift; |
1367 | eval_left_shift(a.backend(), b); | |
1368 | return std::move(a); | |
f67539c2 | 1369 | } |
7c673cae | 1370 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class I> |
1e59de90 | 1371 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<boost::multiprecision::detail::is_integral<I>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1372 | detail::expression<detail::shift_left, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, I> >::type |
1373 | operator<<(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const I& b) | |
7c673cae FG |
1374 | { |
1375 | return detail::expression<detail::shift_left, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, I>(a, b); | |
1376 | } | |
1377 | // | |
1378 | // Right shift: | |
1379 | // | |
1380 | template <class B, class I> | |
1e59de90 | 1381 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<boost::multiprecision::detail::is_integral<I>::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1382 | detail::expression<detail::shift_right, number<B, et_on>, I> >::type |
1383 | operator>>(const number<B, et_on>& a, const I& b) | |
7c673cae FG |
1384 | { |
1385 | return detail::expression<detail::shift_right, number<B, et_on>, I>(a, b); | |
1386 | } | |
f67539c2 | 1387 | template <class B, class I> |
1e59de90 | 1388 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<boost::multiprecision::detail::is_integral<I>::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1389 | number<B, et_on> >::type |
1390 | operator>>(number<B, et_on>&& a, const I& b) | |
1391 | { | |
1e59de90 TL |
1392 | using default_ops::eval_right_shift; |
1393 | eval_right_shift(a.backend(), b); | |
1394 | return std::move(a); | |
f67539c2 | 1395 | } |
7c673cae | 1396 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class I> |
1e59de90 | 1397 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<boost::multiprecision::detail::is_integral<I>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1398 | detail::expression<detail::shift_right, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, I> >::type |
1399 | operator>>(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const I& b) | |
7c673cae FG |
1400 | { |
1401 | return detail::expression<detail::shift_right, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, I>(a, b); | |
1402 | } | |
1403 | // | |
1404 | // Bitwise AND: | |
1405 | // | |
1406 | template <class B> | |
1e59de90 | 1407 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1408 | detail::expression<detail::bitwise_and_immediates, number<B, et_on>, number<B, et_on> > >::type |
1409 | operator&(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
1410 | { |
1411 | return detail::expression<detail::bitwise_and_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1412 | } | |
f67539c2 | 1413 | template <class B> |
1e59de90 | 1414 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1415 | number<B, et_on> >::type |
1416 | operator&(number<B, et_on>&& a, const number<B, et_on>& b) | |
1417 | { | |
1e59de90 TL |
1418 | using default_ops::eval_bitwise_and; |
1419 | eval_bitwise_and(a.backend(), b.backend()); | |
1420 | return std::move(a); | |
f67539c2 TL |
1421 | } |
1422 | template <class B> | |
1e59de90 | 1423 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1424 | number<B, et_on> >::type |
1425 | operator&(const number<B, et_on>& a, number<B, et_on>&& b) | |
1426 | { | |
1e59de90 TL |
1427 | using default_ops::eval_bitwise_and; |
1428 | eval_bitwise_and(b.backend(), a.backend()); | |
1429 | return std::move(b); | |
f67539c2 TL |
1430 | } |
1431 | template <class B> | |
1e59de90 | 1432 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1433 | number<B, et_on> >::type |
1434 | operator&(number<B, et_on>&& a, number<B, et_on>&& b) | |
1435 | { | |
1e59de90 TL |
1436 | using default_ops::eval_bitwise_and; |
1437 | eval_bitwise_and(a.backend(), b.backend()); | |
1438 | return std::move(a); | |
f67539c2 | 1439 | } |
7c673cae | 1440 | template <class B, class V> |
1e59de90 | 1441 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1442 | detail::expression<detail::bitwise_and_immediates, number<B, et_on>, V> >::type |
1443 | operator&(const number<B, et_on>& a, const V& b) | |
7c673cae | 1444 | { |
92f5a8d4 | 1445 | return detail::expression<detail::bitwise_and_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 1446 | } |
f67539c2 | 1447 | template <class B, class V> |
1e59de90 | 1448 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1449 | number<B, et_on> >::type |
1450 | operator&(number<B, et_on>&& a, const V& b) | |
1451 | { | |
1e59de90 TL |
1452 | using default_ops::eval_bitwise_and; |
1453 | eval_bitwise_and(a.backend(), number<B, et_on>::canonical_value(b)); | |
1454 | return std::move(a); | |
f67539c2 | 1455 | } |
7c673cae | 1456 | template <class V, class B> |
1e59de90 | 1457 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1458 | detail::expression<detail::bitwise_and_immediates, V, number<B, et_on> > >::type |
1459 | operator&(const V& a, const number<B, et_on>& b) | |
7c673cae FG |
1460 | { |
1461 | return detail::expression<detail::bitwise_and_immediates, V, number<B, et_on> >(a, b); | |
1462 | } | |
f67539c2 | 1463 | template <class V, class B> |
1e59de90 | 1464 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1465 | number<B, et_on> >::type |
1466 | operator&(const V& a, number<B, et_on>&& b) | |
1467 | { | |
1e59de90 TL |
1468 | using default_ops::eval_bitwise_and; |
1469 | eval_bitwise_and(b.backend(), number<B, et_on>::canonical_value(a)); | |
1470 | return std::move(b); | |
f67539c2 | 1471 | } |
7c673cae | 1472 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 | 1473 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1474 | detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1475 | operator&(const number<B, et_on>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1476 | { |
1477 | return detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1478 | } | |
f67539c2 | 1479 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
1480 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1481 | std::is_same<typename detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1482 | && number_category<B>::value == number_kind_integer, | |
1483 | typename detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type >::type | |
1484 | operator&(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1485 | { | |
1486 | a &= b; | |
1487 | return std::move(a); | |
1488 | } | |
1489 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1490 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1491 | !std::is_same<typename detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1492 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1493 | typename detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type >::type |
1494 | operator&(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1495 | { | |
1496 | return detail::expression<detail::bitwise_and, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1497 | } | |
7c673cae | 1498 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 | 1499 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1500 | detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> > >::type |
1501 | operator&(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, et_on>& b) | |
7c673cae FG |
1502 | { |
1503 | return detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1504 | } | |
f67539c2 | 1505 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 TL |
1506 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1507 | std::is_same<typename detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type, number<B, et_on>>::value | |
1508 | && number_category<B>::value == number_kind_integer, | |
1509 | typename detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type >::type | |
1510 | operator&(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1511 | { | |
1512 | b &= a; | |
1513 | return std::move(b); | |
1514 | } | |
1515 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> | |
1516 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1517 | !std::is_same<typename detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type, number<B, et_on>>::value | |
1518 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1519 | typename detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type >::type |
1520 | operator&(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1521 | { | |
1522 | return detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1523 | } | |
7c673cae | 1524 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
1e59de90 | 1525 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer, |
92f5a8d4 TL |
1526 | detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > >::type |
1527 | operator&(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
1528 | { |
1529 | return detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
1530 | } | |
1531 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 1532 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1533 | detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
1534 | operator&(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) | |
7c673cae | 1535 | { |
92f5a8d4 | 1536 | return detail::expression<detail::bitwise_and, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
1537 | } |
1538 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 1539 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1540 | detail::expression<detail::bitwise_and, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1541 | operator&(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1542 | { |
1543 | return detail::expression<detail::bitwise_and, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1544 | } | |
1545 | // | |
1546 | // Bitwise OR: | |
1547 | // | |
1548 | template <class B> | |
1e59de90 | 1549 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1550 | detail::expression<detail::bitwise_or_immediates, number<B, et_on>, number<B, et_on> > >::type |
1551 | operator|(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
1552 | { |
1553 | return detail::expression<detail::bitwise_or_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1554 | } | |
f67539c2 | 1555 | template <class B> |
1e59de90 | 1556 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1557 | number<B, et_on> >::type |
1558 | operator|(number<B, et_on>&& a, const number<B, et_on>& b) | |
1559 | { | |
1e59de90 TL |
1560 | using default_ops::eval_bitwise_or; |
1561 | eval_bitwise_or(a.backend(), b.backend()); | |
1562 | return std::move(a); | |
f67539c2 TL |
1563 | } |
1564 | template <class B> | |
1e59de90 | 1565 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1566 | number<B, et_on> >::type |
1567 | operator|(const number<B, et_on>& a, number<B, et_on>&& b) | |
1568 | { | |
1e59de90 TL |
1569 | using default_ops::eval_bitwise_or; |
1570 | eval_bitwise_or(b.backend(), a.backend()); | |
1571 | return std::move(b); | |
f67539c2 TL |
1572 | } |
1573 | template <class B> | |
1e59de90 | 1574 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1575 | number<B, et_on> >::type |
1576 | operator|(number<B, et_on>&& a, number<B, et_on>&& b) | |
1577 | { | |
1e59de90 TL |
1578 | using default_ops::eval_bitwise_or; |
1579 | eval_bitwise_or(a.backend(), b.backend()); | |
1580 | return std::move(a); | |
f67539c2 | 1581 | } |
7c673cae | 1582 | template <class B, class V> |
1e59de90 | 1583 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1584 | detail::expression<detail::bitwise_or_immediates, number<B, et_on>, V> >::type |
1585 | operator|(const number<B, et_on>& a, const V& b) | |
7c673cae | 1586 | { |
92f5a8d4 | 1587 | return detail::expression<detail::bitwise_or_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 1588 | } |
f67539c2 | 1589 | template <class B, class V> |
1e59de90 | 1590 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1591 | number<B, et_on> >::type |
1592 | operator|(number<B, et_on>&& a, const V& b) | |
1593 | { | |
1e59de90 TL |
1594 | using default_ops::eval_bitwise_or; |
1595 | eval_bitwise_or(a.backend(), number<B, et_on>::canonical_value(b)); | |
1596 | return std::move(a); | |
f67539c2 | 1597 | } |
7c673cae | 1598 | template <class V, class B> |
1e59de90 | 1599 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1600 | detail::expression<detail::bitwise_or_immediates, V, number<B, et_on> > >::type |
1601 | operator|(const V& a, const number<B, et_on>& b) | |
7c673cae FG |
1602 | { |
1603 | return detail::expression<detail::bitwise_or_immediates, V, number<B, et_on> >(a, b); | |
1604 | } | |
f67539c2 | 1605 | template <class V, class B> |
1e59de90 | 1606 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1607 | number<B, et_on> >::type |
1608 | operator|(const V& a, number<B, et_on>&& b) | |
1609 | { | |
1e59de90 TL |
1610 | using default_ops::eval_bitwise_or; |
1611 | eval_bitwise_or(b.backend(), number<B, et_on>::canonical_value(a)); | |
1612 | return std::move(b); | |
f67539c2 | 1613 | } |
7c673cae | 1614 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 | 1615 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1616 | detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1617 | operator|(const number<B, et_on>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1618 | { |
1619 | return detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1620 | } | |
f67539c2 | 1621 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
1622 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1623 | std::is_same<typename detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1624 | && number_category<B>::value == number_kind_integer, | |
1625 | typename detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
1626 | operator|(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1627 | { | |
1628 | a |= b; | |
1629 | return std::move(a); | |
1630 | } | |
1631 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1632 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1633 | !std::is_same<typename detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1634 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1635 | typename detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type |
1636 | operator|(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1637 | { | |
1638 | return detail::expression<detail::bitwise_or, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1639 | } | |
7c673cae | 1640 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 | 1641 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1642 | detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> > >::type |
1643 | operator|(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, et_on>& b) | |
7c673cae FG |
1644 | { |
1645 | return detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1646 | } | |
f67539c2 | 1647 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 TL |
1648 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1649 | std::is_same<typename detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type, number<B, et_on>>::value | |
1650 | && number_category<B>::value == number_kind_integer, | |
1651 | typename detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type>::type | |
1652 | operator|(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1653 | { | |
1654 | b |= a; | |
1655 | return std::move(b); | |
1656 | } | |
1657 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> | |
1658 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1659 | !std::is_same<typename detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type, number<B, et_on>>::value | |
1660 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1661 | typename detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type>::type |
1662 | operator|(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1663 | { | |
1664 | return detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1665 | } | |
7c673cae | 1666 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
1e59de90 | 1667 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer, |
92f5a8d4 TL |
1668 | detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > >::type |
1669 | operator|(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
1670 | { |
1671 | return detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
1672 | } | |
1673 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 1674 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1675 | detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
1676 | operator|(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) | |
7c673cae | 1677 | { |
92f5a8d4 | 1678 | return detail::expression<detail::bitwise_or, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
1679 | } |
1680 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 1681 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1682 | detail::expression<detail::bitwise_or, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1683 | operator|(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1684 | { |
1685 | return detail::expression<detail::bitwise_or, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1686 | } | |
1687 | // | |
1688 | // Bitwise XOR: | |
1689 | // | |
1690 | template <class B> | |
1e59de90 | 1691 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1692 | detail::expression<detail::bitwise_xor_immediates, number<B, et_on>, number<B, et_on> > >::type |
1693 | operator^(const number<B, et_on>& a, const number<B, et_on>& b) | |
7c673cae FG |
1694 | { |
1695 | return detail::expression<detail::bitwise_xor_immediates, number<B, et_on>, number<B, et_on> >(a, b); | |
1696 | } | |
f67539c2 | 1697 | template <class B> |
1e59de90 | 1698 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1699 | number<B, et_on> >::type |
1700 | operator^(number<B, et_on>&& a, const number<B, et_on>& b) | |
1701 | { | |
1e59de90 TL |
1702 | using default_ops::eval_bitwise_xor; |
1703 | eval_bitwise_xor(a.backend(), b.backend()); | |
1704 | return std::move(a); | |
f67539c2 TL |
1705 | } |
1706 | template <class B> | |
1e59de90 | 1707 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1708 | number<B, et_on> >::type |
1709 | operator^(const number<B, et_on>& a, number<B, et_on>&& b) | |
1710 | { | |
1e59de90 TL |
1711 | using default_ops::eval_bitwise_xor; |
1712 | eval_bitwise_xor(b.backend(), a.backend()); | |
1713 | return std::move(b); | |
f67539c2 TL |
1714 | } |
1715 | template <class B> | |
1e59de90 | 1716 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
f67539c2 TL |
1717 | number<B, et_on> >::type |
1718 | operator^(number<B, et_on>&& a, number<B, et_on>&& b) | |
1719 | { | |
1e59de90 TL |
1720 | using default_ops::eval_bitwise_xor; |
1721 | eval_bitwise_xor(a.backend(), b.backend()); | |
1722 | return std::move(a); | |
f67539c2 | 1723 | } |
7c673cae | 1724 | template <class B, class V> |
1e59de90 | 1725 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1726 | detail::expression<detail::bitwise_xor_immediates, number<B, et_on>, V> >::type |
1727 | operator^(const number<B, et_on>& a, const V& b) | |
7c673cae | 1728 | { |
92f5a8d4 | 1729 | return detail::expression<detail::bitwise_xor_immediates, number<B, et_on>, V>(a, b); |
7c673cae | 1730 | } |
f67539c2 | 1731 | template <class B, class V> |
1e59de90 | 1732 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1733 | number<B, et_on> >::type |
1734 | operator^(number<B, et_on>&& a, const V& b) | |
1735 | { | |
1e59de90 TL |
1736 | using default_ops::eval_bitwise_xor; |
1737 | eval_bitwise_xor(a.backend(), number<B, et_on>::canonical_value(b)); | |
1738 | return std::move(a); | |
f67539c2 | 1739 | } |
7c673cae | 1740 | template <class V, class B> |
1e59de90 | 1741 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
92f5a8d4 TL |
1742 | detail::expression<detail::bitwise_xor_immediates, V, number<B, et_on> > >::type |
1743 | operator^(const V& a, const number<B, et_on>& b) | |
7c673cae FG |
1744 | { |
1745 | return detail::expression<detail::bitwise_xor_immediates, V, number<B, et_on> >(a, b); | |
1746 | } | |
f67539c2 | 1747 | template <class V, class B> |
1e59de90 | 1748 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, number<B, et_on> >::value && (number_category<B>::value == number_kind_integer), |
f67539c2 TL |
1749 | number<B, et_on> >::type |
1750 | operator^(const V& a, number<B, et_on>&& b) | |
1751 | { | |
1e59de90 TL |
1752 | using default_ops::eval_bitwise_xor; |
1753 | eval_bitwise_xor(b.backend(), number<B, et_on>::canonical_value(a)); | |
1754 | return std::move(b); | |
f67539c2 | 1755 | } |
7c673cae | 1756 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 | 1757 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1758 | detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
1759 | operator^(const number<B, et_on>& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
7c673cae FG |
1760 | { |
1761 | return detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1762 | } | |
f67539c2 | 1763 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> |
1e59de90 TL |
1764 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1765 | std::is_same<typename detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1766 | && number_category<B>::value == number_kind_integer, | |
1767 | typename detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type | |
1768 | operator^(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1769 | { | |
1770 | a ^= b; | |
1771 | return std::move(a); | |
1772 | } | |
1773 | template <class B, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1774 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1775 | !std::is_same<typename detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type, number<B, et_on>>::value | |
1776 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1777 | typename detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >::result_type>::type |
1778 | operator^(number<B, et_on>&& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) | |
1779 | { | |
1780 | return detail::expression<detail::bitwise_xor, number<B, et_on>, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1781 | } | |
7c673cae | 1782 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 | 1783 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<B>::value == number_kind_integer, |
92f5a8d4 TL |
1784 | detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> > >::type |
1785 | operator^(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const number<B, et_on>& b) | |
7c673cae FG |
1786 | { |
1787 | return detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1788 | } | |
f67539c2 | 1789 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> |
1e59de90 TL |
1790 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< |
1791 | std::is_same<typename detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type, number<B, et_on>>::value | |
1792 | && number_category<B>::value == number_kind_integer, | |
1793 | typename detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type>::type | |
1794 | operator^(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1795 | { | |
1796 | b ^= a; | |
1797 | return std::move(b); | |
1798 | } | |
1799 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class B> | |
1800 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if< | |
1801 | !std::is_same<typename detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type, number<B, et_on>>::value | |
1802 | && number_category<B>::value == number_kind_integer, | |
f67539c2 TL |
1803 | typename detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >::result_type>::type |
1804 | operator^(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, number<B, et_on>&& b) | |
1805 | { | |
1806 | return detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, number<B, et_on> >(a, b); | |
1807 | } | |
7c673cae | 1808 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2, class Arg1b, class Arg2b, class Arg3b, class Arg4b> |
1e59de90 | 1809 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer, |
92f5a8d4 TL |
1810 | detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> > >::type |
1811 | operator^(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b>& b) | |
7c673cae FG |
1812 | { |
1813 | return detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, detail::expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> >(a, b); | |
1814 | } | |
1815 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V> | |
1e59de90 | 1816 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), |
92f5a8d4 TL |
1817 | detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V> >::type |
1818 | operator^(const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& a, const V& b) | |
7c673cae | 1819 | { |
92f5a8d4 | 1820 | return detail::expression<detail::bitwise_xor, detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, V>(a, b); |
7c673cae FG |
1821 | } |
1822 | template <class V, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
1e59de90 | 1823 | inline BOOST_MP_CXX14_CONSTEXPR typename std::enable_if<is_compatible_arithmetic_type<V, typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value && (number_category<typename detail::expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type>::value == number_kind_integer), detail::expression<detail::bitwise_xor, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > >::type |
92f5a8d4 | 1824 | operator^(const V& a, const detail::expression<tag, Arg1, Arg2, Arg3, Arg4>& b) |
7c673cae FG |
1825 | { |
1826 | return detail::expression<detail::bitwise_xor, V, detail::expression<tag, Arg1, Arg2, Arg3, Arg4> >(a, b); | |
1827 | } | |
1828 | ||
92f5a8d4 | 1829 | }} // namespace boost::multiprecision |
7c673cae FG |
1830 | |
1831 | #endif |