//  common_type_builtins_test.cpp  ----------------------------------------------------//

//  Copyright 2010 Vicente J. Botet Escriba

//  Distributed under the Boost Software License, Version 1.0.
//  See http://www.boost.org/LICENSE_1_0.txt

#include "test.hpp"
#include "check_type.hpp"
#ifdef TEST_tt
#  include <type_traits>
#else
#  include <boost/type_traits/common_type.hpp>
#endif

#ifdef BOOST_INTEL
#pragma warning(disable: 304 383)
#endif
#include <boost/static_assert.hpp>
#include <boost/type_traits/is_same.hpp>

TT_TEST_BEGIN(common_type_builtins)
{
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char>::type, char>::value));
    
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, char>::type, char>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, unsigned char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, unsigned short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, int>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, unsigned int>::type, unsigned int>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, unsigned long long>::type, unsigned long long>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<char, double>::type, double>::value));

    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, unsigned char>::type, unsigned char>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, unsigned short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, int>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, unsigned int>::type, unsigned int>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, unsigned long long>::type, unsigned long long>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned char, double>::type, double>::value));
    
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, unsigned char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, short>::type, short>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, unsigned short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, int>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, unsigned int>::type, unsigned int>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, unsigned long long>::type, unsigned long long>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<short, double>::type, double>::value));

    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, unsigned char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, unsigned short>::type, unsigned short>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, int>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, unsigned int>::type, unsigned int>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, unsigned long long>::type, unsigned long long>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned short, double>::type, double>::value));

    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, unsigned char>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, unsigned short>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, int>::type, int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, unsigned int>::type, unsigned int>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, unsigned long long>::type, unsigned long long>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<int, double>::type, double>::value));

    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, char>::type, unsigned int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, unsigned char>::type, unsigned int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, short>::type, unsigned int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, unsigned short>::type, unsigned int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, int>::type, unsigned int>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, unsigned int>::type, unsigned int>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, unsigned long long>::type, unsigned long long>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned int, double>::type, double>::value));

    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, char>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, unsigned char>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, short>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, unsigned short>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, int>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, unsigned int>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, long long>::type, long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, unsigned long long>::type, unsigned long long>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<long long, double>::type, double>::value));

    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, char>::type, double>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, unsigned char>::type, double>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, short>::type, double>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, unsigned short>::type, double>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, int>::type, double>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, unsigned int>::type, double>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, long long>::type, double>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, unsigned long long>::type, double>::value));
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, double>::type, double>::value));
    
    BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<double, char, int>::type, double>::value));
    //~ BOOST_STATIC_ASSERT((tt::is_same<tt::common_type<unsigned, char, long long>::type, long long>::value));
    
}
TT_TEST_END