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
<doc  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
<doc  73
      74
      75

      76
      77
      78
<doc  79
      80
      81

      82
      83
      84
      85
<doc  86
      87
      88

      89
      90
      91
<doc  92
      93
      94

      95
      96
      97
      98
<doc  99
     100
     101

     102
     103
     104
<doc 105
     106
     107

     108
     109
     110
     111
<doc 112
     113
     114

     115
     116
     117
<doc 118
     119
     120

     121
     122
     123
     124
     125
     126
/*
 *   Copyright (c) 2010, Michael Lehn
 *
 *   All rights reserved.
 *
 *   Redistribution and use in source and binary forms, with or without
 *   modification, are permitted provided that the following conditions
 *   are met:
 *
 *   1) Redistributions of source code must retain the above copyright
 *      notice, this list of conditions and the following disclaimer.
 *   2) Redistributions in binary form must reproduce the above copyright
 *      notice, this list of conditions and the following disclaimer in
 *      the documentation and/or other materials provided with the
 *      distribution.
 *   3) Neither the name of the FLENS development group nor the names of
 *      its contributors may be used to endorse or promote products derived
 *      from this software without specific prior written permission.
 *
 *   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 *   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 *   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 *   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 *   OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 *   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 *   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 *   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 *   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 *   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 *   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#ifndef FLENS_AUXILIARY_PROMOTION_H
#define FLENS_AUXILIARY_PROMOTION_H 1

#include <flens/auxiliary/ifelseif.h>
#include <flens/auxiliary/isconvertible.h>

namespace flens {

template <typename... Args>
struct Promotion
{
};

template <typename T>
struct Promotion<T>
{
    typedef T Type;
};

template <typename T>
struct Promotion<T, T>
{
    typedef T Type;
};

template <typename T, typename... Args>
struct Promotion<T, Args...>
{
    typedef typename Promotion<Args... >::Type  ArgsT;
    typedef typename Promotion<T, ArgsT>::Type  Type;
};

template <typename T1, typename T2>
struct Promotion<T1, T2>
{
    typedef typename IfElseIf<sizeof(T2)<=sizeof(T1), T1,
                              sizeof(T1)<=sizeof(T2), T2>::Type     Type;
};

//-- int, float ----------------------------------------------------------------
template <>
struct Promotion<intfloat>
{
    typedef float  Type;
};

template <>
struct Promotion<floatint>
{
    typedef float  Type;
};

//-- long, float ----------------------------------------------------------------
template <>
struct Promotion<longfloat>
{
    typedef float  Type;
};

template <>
struct Promotion<floatlong>
{
    typedef float  Type;
};

//-- int, double ---------------------------------------------------------------
template <>
struct Promotion<intdouble>
{
    typedef double  Type;
};

template <>
struct Promotion<doubleint>
{
    typedef double  Type;
};

//-- long, double ---------------------------------------------------------------
template <>
struct Promotion<longdouble>
{
    typedef double  Type;
};

template <>
struct Promotion<doublelong>
{
    typedef double  Type;
};

// namespace flens

#endif // FLENS_AUXILIARY_PROMOTION_H