| /////////////////////////////////////////////////////////////////////////////// |
| // Copyright 2012 John Maddock. Distributed under the Boost |
| // Software License, Version 1.0. (See accompanying file |
| // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| |
| #ifndef BOOST_MP_NO_ET_OPS_HPP |
| #define BOOST_MP_NO_ET_OPS_HPP |
| |
| #ifdef BOOST_MSVC |
| #pragma warning(push) |
| #pragma warning(disable: 4714) |
| #endif |
| |
| namespace boost{ |
| namespace multiprecision{ |
| |
| // |
| // Operators for non-expression template enabled number. |
| // NOTE: this is not a complete header - really just a suffix to default_ops.hpp. |
| // NOTE: these operators have to be defined after the methods in default_ops.hpp. |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator - (const number<B, et_off>& v) |
| { |
| BOOST_STATIC_ASSERT_MSG(is_signed_number<B>::value, "Negating an unsigned type results in ill-defined behavior."); |
| number<B, et_off> result(v); |
| result.backend().negate(); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator ~ (const number<B, et_off>& v) |
| { |
| number<B, et_off> result; |
| eval_complement(result.backend(), v.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // Addition: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator + (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_add; |
| eval_add(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator + (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_add; |
| eval_add(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator + (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_add; |
| eval_add(result.backend(), b.backend(), number<B, et_off>::canonical_value(a)); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // Subtraction: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator - (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_subtract; |
| eval_subtract(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator - (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_subtract; |
| eval_subtract(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator - (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_subtract; |
| eval_subtract(result.backend(), number<B, et_off>::canonical_value(a), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // Multiply: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator * (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_multiply; |
| eval_multiply(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator * (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_multiply; |
| eval_multiply(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator * (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_multiply; |
| eval_multiply(result.backend(), b.backend(), number<B, et_off>::canonical_value(a)); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // divide: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator / (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_divide; |
| eval_divide(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator / (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_divide; |
| eval_divide(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator / (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_divide; |
| eval_divide(result.backend(), number<B, et_off>::canonical_value(a), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // modulus: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator % (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_modulus; |
| eval_modulus(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator % (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_modulus; |
| eval_modulus(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator % (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_modulus; |
| eval_modulus(result.backend(), number<B, et_off>::canonical_value(a), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // Bitwise or: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator | (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator | (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator | (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(result.backend(), b.backend(), number<B, et_off>::canonical_value(a)); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // Bitwise xor: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator ^ (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator ^ (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator ^ (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(result.backend(), b.backend(), number<B, et_off>::canonical_value(a)); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // Bitwise and: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator & (const number<B, et_off>& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(result.backend(), a.backend(), b.backend()); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator & (const number<B, et_off>& a, const V& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(result.backend(), a.backend(), number<B, et_off>::canonical_value(b)); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator & (const V& a, const number<B, et_off>& b) |
| { |
| number<B, et_off> result; |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(result.backend(), b.backend(), number<B, et_off>::canonical_value(a)); |
| return BOOST_MP_MOVE(result); |
| } |
| // |
| // shifts: |
| // |
| template <class B, class I> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_integral<I>::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator << (const number<B, et_off>& a, const I& b) |
| { |
| number<B, et_off> result(a); |
| using default_ops::eval_left_shift; |
| detail::check_shift_range(b, mpl::bool_<(sizeof(I) > sizeof(std::size_t))>(), is_signed<I>()); |
| eval_left_shift(result.backend(), b); |
| return BOOST_MP_MOVE(result); |
| } |
| template <class B, class I> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_integral<I>::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator >> (const number<B, et_off>& a, const I& b) |
| { |
| number<B, et_off> result(a); |
| using default_ops::eval_right_shift; |
| detail::check_shift_range(b, mpl::bool_<(sizeof(I) > sizeof(std::size_t))>(), is_signed<I>()); |
| eval_right_shift(result.backend(), b); |
| return BOOST_MP_MOVE(result); |
| } |
| |
| #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !(defined(__GNUC__) && ((__GNUC__ == 4) && (__GNUC_MINOR__ < 5))) |
| // |
| // If we have rvalue references go all over again with rvalue ref overloads and move semantics. |
| // Note that while it would be tempting to implement these so they return an rvalue reference |
| // (and indeed this would be optimally efficient), this is unsafe due to users propensity to |
| // write: |
| // |
| // const T& t = a * b; |
| // |
| // which would lead to a dangling reference if we didn't return by value. Of course move |
| // semantics help a great deal in return by value, so performance is still pretty good... |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator - (number<B, et_off>&& v) |
| { |
| BOOST_STATIC_ASSERT_MSG(is_signed_number<B>::value, "Negating an unsigned type results in ill-defined behavior."); |
| v.backend().negate(); |
| return static_cast<number<B, et_off>&&>(v); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator ~ (number<B, et_off>&& v) |
| { |
| eval_complement(v.backend(), v.backend()); |
| return static_cast<number<B, et_off>&&>(v); |
| } |
| // |
| // Addition: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator + (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_add; |
| eval_add(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator + (const number<B, et_off>& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_add; |
| eval_add(b.backend(), a.backend()); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator + (number<B, et_off>&& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_add; |
| eval_add(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator + (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_add; |
| eval_add(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator + (const V& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_add; |
| eval_add(b.backend(), number<B, et_off>::canonical_value(a)); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| // |
| // Subtraction: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator - (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_subtract; |
| eval_subtract(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_signed_number<B>, number<B, et_off> >::type operator - (const number<B, et_off>& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_subtract; |
| eval_subtract(b.backend(), a.backend()); |
| b.backend().negate(); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator - (number<B, et_off>&& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_subtract; |
| eval_subtract(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator - (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_subtract; |
| eval_subtract(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<(is_compatible_arithmetic_type<V, number<B, et_off> >::value && is_signed_number<B>::value), number<B, et_off> >::type |
| operator - (const V& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_subtract; |
| eval_subtract(b.backend(), number<B, et_off>::canonical_value(a)); |
| b.backend().negate(); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| // |
| // Multiply: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator * (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_multiply; |
| eval_multiply(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator * (const number<B, et_off>& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_multiply; |
| eval_multiply(b.backend(), a.backend()); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator * (number<B, et_off>&& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_multiply; |
| eval_multiply(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator * (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_multiply; |
| eval_multiply(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator * (const V& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_multiply; |
| eval_multiply(b.backend(), number<B, et_off>::canonical_value(a)); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| // |
| // divide: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE number<B, et_off> operator / (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_divide; |
| eval_divide(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if<is_compatible_arithmetic_type<V, number<B, et_off> >, number<B, et_off> >::type |
| operator / (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_divide; |
| eval_divide(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| // |
| // modulus: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator % (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_modulus; |
| eval_modulus(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator % (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_modulus; |
| eval_modulus(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| // |
| // Bitwise or: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator | (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator | (const number<B, et_off>& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(b.backend(), a.backend()); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator | (number<B, et_off>&& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator | (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator | (const V& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_or; |
| eval_bitwise_or(b.backend(), number<B, et_off>::canonical_value(a)); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| // |
| // Bitwise xor: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator ^ (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator ^ (const number<B, et_off>& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(b.backend(), a.backend()); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator ^ (number<B, et_off>&& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator ^ (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator ^ (const V& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_xor; |
| eval_bitwise_xor(b.backend(), number<B, et_off>::canonical_value(a)); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| // |
| // Bitwise and: |
| // |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator & (number<B, et_off>&& a, const number<B, et_off>& b) |
| { |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator & (const number<B, et_off>& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(b.backend(), a.backend()); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| template <class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<number_category<B>::value == number_kind_integer, number<B, et_off> >::type operator & (number<B, et_off>&& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(a.backend(), b.backend()); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class V> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator & (number<B, et_off>&& a, const V& b) |
| { |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(a.backend(), number<B, et_off>::canonical_value(b)); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class V, class B> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_compatible_arithmetic_type<V, number<B, et_off> >::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator & (const V& a, number<B, et_off>&& b) |
| { |
| using default_ops::eval_bitwise_and; |
| eval_bitwise_and(b.backend(), number<B, et_off>::canonical_value(a)); |
| return static_cast<number<B, et_off>&&>(b); |
| } |
| // |
| // shifts: |
| // |
| template <class B, class I> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_integral<I>::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator << (number<B, et_off>&& a, const I& b) |
| { |
| using default_ops::eval_left_shift; |
| eval_left_shift(a.backend(), b); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| template <class B, class I> |
| BOOST_MP_FORCEINLINE typename enable_if_c<is_integral<I>::value && (number_category<B>::value == number_kind_integer), number<B, et_off> >::type |
| operator >> (number<B, et_off>&& a, const I& b) |
| { |
| using default_ops::eval_right_shift; |
| eval_right_shift(a.backend(), b); |
| return static_cast<number<B, et_off>&&>(a); |
| } |
| |
| #endif |
| |
| }} // namespaces |
| |
| #ifdef BOOST_MSVC |
| #pragma warning(pop) |
| #endif |
| |
| #endif // BOOST_MP_NO_ET_OPS_HPP |