Vc  1.3.2-dev
SIMD Vector Classes for C++
is_implicit_cast_allowed.h
1 /* This file is part of the Vc library. {{{
2 Copyright © 2015 Matthias Kretz <kretz@kde.org>
3 
4 Redistribution and use in source and binary forms, with or without
5 modification, are permitted provided that the following conditions are met:
6  * Redistributions of source code must retain the above copyright
7  notice, this list of conditions and the following disclaimer.
8  * Redistributions in binary form must reproduce the above copyright
9  notice, this list of conditions and the following disclaimer in the
10  documentation and/or other materials provided with the distribution.
11  * Neither the names of contributing organizations nor the
12  names of its contributors may be used to endorse or promote products
13  derived from this software without specific prior written permission.
14 
15 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
16 ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
17 WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
18 DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY
19 DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
20 (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
21 LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
22 ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
24 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25 
26 }}}*/
27 
28 #ifndef VC_TRAITS_IS_IMPLICIT_CAST_ALLOWED_H_
29 #define VC_TRAITS_IS_IMPLICIT_CAST_ALLOWED_H_
30 
31 namespace Vc_VERSIONED_NAMESPACE
32 {
33 namespace Traits
34 {
35 template <typename From, typename To, bool = std::is_integral<From>::value>
36 struct is_implicit_cast_allowed
37  : public std::integral_constant<
38  bool, std::is_same<From, To>::value ||
39  (std::is_integral<To>::value &&
40  (std::is_same<typename std::make_unsigned<From>::type, To>::value ||
41  std::is_same<typename std::make_signed<From>::type, To>::value))> {
42 };
43 
44 template <typename From, typename To>
45 struct is_implicit_cast_allowed<From, To, false> : public std::is_same<From, To>::type {
46 };
47 
48 template <typename From, typename To>
49 struct is_implicit_cast_allowed_mask : public is_implicit_cast_allowed<From, To> {
50 };
51 
52 static_assert(is_implicit_cast_allowed<float, float>::value, "");
53 static_assert(!is_implicit_cast_allowed<float, double>::value, "");
54 static_assert(is_implicit_cast_allowed< int64_t, uint64_t>::value, "");
55 static_assert(is_implicit_cast_allowed<uint64_t, int64_t>::value, "");
56 static_assert(is_implicit_cast_allowed< int32_t, uint32_t>::value, "");
57 static_assert(is_implicit_cast_allowed<uint32_t, int32_t>::value, "");
58 static_assert(is_implicit_cast_allowed< int16_t, uint16_t>::value, "");
59 static_assert(is_implicit_cast_allowed<uint16_t, int16_t>::value, "");
60 static_assert(is_implicit_cast_allowed< int8_t, uint8_t>::value, "");
61 static_assert(is_implicit_cast_allowed< uint8_t, int8_t>::value, "");
62 
63 } // namespace Traits
64 } // namespace Vc
65 
66 #endif // VC_TRAITS_IS_IMPLICIT_CAST_ALLOWED_H_
67 
68 // vim: foldmethod=marker