CompatibleType32.h

// CompatibleType32.h:
// -------------------
//

#ifndef __IPSDKUTIL_INSTRUCTIONSET_COMPATIBLETYPE32_H__
#define __IPSDKUTIL_INSTRUCTIONSET_COMPATIBLETYPE32_H__

#include <IPSDKUtil/BaseTypes.h>
#include <IPSDKUtil/InstructionSet/UpperType.h>
#include <boost/type_traits/is_integral.hpp>
#include <boost/type_traits/is_unsigned.hpp>
#include <boost/type_traits/is_float.hpp>
#include <boost/type_traits/is_integral.hpp>
#include <boost/type_traits/make_signed.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/greater_equal.hpp>
#include <boost/mpl/sizeof.hpp>
#include <boost/mpl/and.hpp>

namespace ipsdk {


template <typename T1, typename T2,
          typename Enable=void>
struct CompatibleType32;



// specialization of CompatibleType32 with T1 and T2 equal to ipReal32
template <typename T1, typename T2>
struct CompatibleType32<T1, T2, typename boost::enable_if<typename boost::mpl::and_<
                                                            boost::is_float<T1>,
                                                            boost::is_float<T2>
                                                         >::type>::type>
{
    typedef ipReal32 Type;
};

// specialization of CompatibleType32 with T1 equal to ipReal32 and T2 equal to integer type
template <typename T1, typename T2>
struct CompatibleType32<T1, T2, typename boost::enable_if<typename boost::mpl::and_<
                                                            boost::is_float<T1>,
                                                            boost::is_integral<T2>
                                                         >::type>::type>
{
    typedef ipReal32 Type;
};

// specialization of CompatibleType32 with T1 equal to integer type and T2 equal to ipReal32
template <typename T1, typename T2>
struct CompatibleType32<T1, T2, typename boost::enable_if<typename boost::mpl::and_<
                                                            boost::is_integral<T1>,
                                                            boost::is_float<T2>
                                                         >::type>::type>
{
    typedef ipReal32 Type;
};

// specialization of CompatibleType32 with T1 and T2 equal to integer types
template <typename T1, typename T2>
struct CompatibleType32<T1, T2, typename boost::enable_if<typename boost::mpl::and_<
                                                            boost::is_integral<T1>,
                                                            boost::is_integral<T2>
                                                         >::type>::type>
{
    typedef typename boost::mpl::if_<
        // T1 is unsigned ?
        boost::is_unsigned<T1>,
        // T1 is unsigned
        typename boost::mpl::if_<
            // T2 is unsigned ?
            boost::is_unsigned<T2>,
            // T1 and T2 are unsigned
            typename boost::mpl::if_<
                // sizeof(T1) >= sizeof(T2) ?
                boost::mpl::greater_equal<boost::mpl::sizeof_<T1>, boost::mpl::sizeof_<T2> >,
                T1,
                T2
            >::type,
            // T1 is unsigned and T2 is signed
            typename boost::mpl::if_<
                // sizeof(T1) >= sizeof(T2) ?
                boost::mpl::greater_equal<boost::mpl::sizeof_<T1>, boost::mpl::sizeof_<T2> >,
                typename boost::make_signed<typename UpperType32<T1>::Type>::type,
                T2
            >::type
        >::type,
        // T1 is signed
        typename boost::mpl::if_<
            // T2 is unsigned ?
            boost::is_unsigned<T2>,
            // T1 is signed and T2 is unsigned
            typename boost::mpl::if_<
                // sizeof(T2) >= sizeof(T1) ?
                boost::mpl::greater_equal<boost::mpl::sizeof_<T2>, boost::mpl::sizeof_<T1> >,
                typename boost::make_signed<typename UpperType32<T2>::Type>::type,
                T1
            >::type,
            // T1 and T2 are signed
            typename boost::mpl::if_<
                // sizeof(T1) >= sizeof(T2) ?
                boost::mpl::greater_equal<boost::mpl::sizeof_<T1>, boost::mpl::sizeof_<T2> >,
                T1,
                T2
            >::type
        >::type
    >::type Type;
};


} // end of namespace ipsdk


#endif // __IPSDKUTIL_INSTRUCTIONSET_COMPATIBLETYPE32_H__