1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
// Copyright 2008-2024 Emil Dotchevski and Reverge Studios, Inc.
// 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)
#ifdef BOOST_QVM_TEST_SINGLE_HEADER
# include BOOST_QVM_TEST_SINGLE_HEADER
#else
# include <boost/qvm/deduce_scalar.hpp>
#endif
template <class T,class U>
struct same_type;
template <class T>
struct
same_type<T,T>
{
};
template <class A,class B,class R>
struct
check
{
same_type<typename boost::qvm::deduce_scalar<A,B>::type,R> a1;
same_type<typename boost::qvm::deduce_scalar<A const,B>::type,R> a2;
same_type<typename boost::qvm::deduce_scalar<A,B const>::type,R> a3;
same_type<typename boost::qvm::deduce_scalar<A const,B const>::type,R> a4;
same_type<typename boost::qvm::deduce_scalar<B,A>::type,R> b1;
same_type<typename boost::qvm::deduce_scalar<B const,A>::type,R> b2;
same_type<typename boost::qvm::deduce_scalar<B,A const>::type,R> b3;
same_type<typename boost::qvm::deduce_scalar<B const,A const>::type,R> b4;
};
int
main()
{
check<signed char,signed char,signed char>();
check<signed char,signed short,signed short>();
check<signed char,signed int,signed int>();
check<signed char,signed long,signed long>();
check<signed char,unsigned char,unsigned char>();
check<signed char,unsigned short,unsigned short>();
check<signed char,unsigned int,unsigned int>();
check<signed char,unsigned long,unsigned long>();
check<signed char,float,float>();
check<signed char,double,double>();
check<signed short,signed short,signed short>();
check<signed short,signed int,signed int>();
check<signed short,signed long,signed long>();
check<signed short,unsigned short,unsigned short>();
check<signed short,unsigned int,unsigned int>();
check<signed short,unsigned long,unsigned long>();
check<signed short,float,float>();
check<signed short,double,double>();
check<signed int,signed int,signed int>();
check<signed int,signed long,signed long>();
check<signed int,unsigned int,unsigned int>();
check<signed int,unsigned long,unsigned long>();
check<signed int,float,float>();
check<signed int,double,double>();
check<signed long,signed long,signed long>();
check<signed long,unsigned long,unsigned long>();
check<signed long,float,float>();
check<signed long,double,double>();
check<unsigned char,unsigned char,unsigned char>();
check<unsigned char,unsigned short,unsigned short>();
check<unsigned char,unsigned int,unsigned int>();
check<unsigned char,unsigned long,unsigned long>();
check<unsigned char,float,float>();
check<unsigned char,double,double>();
check<unsigned short,unsigned short,unsigned short>();
check<unsigned short,unsigned int,unsigned int>();
check<unsigned short,unsigned long,unsigned long>();
check<unsigned short,float,float>();
check<unsigned short,double,double>();
check<unsigned int,unsigned int,unsigned int>();
check<unsigned int,unsigned long,unsigned long>();
check<unsigned int,float,float>();
check<unsigned int,double,double>();
check<unsigned long,unsigned long,unsigned long>();
check<unsigned long,float,float>();
check<unsigned long,double,double>();
check<float,float,float>();
check<float,double,double>();
check<double,double,double>();
}
|
