1 /*{{{
2 Copyright © 2017 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 VIR_TESTS_METAHELPERS_H_
29 #define VIR_TESTS_METAHELPERS_H_
30
31 namespace vir
32 {
33 namespace test
34 {
35 // operator_is_substitution_failure {{{1
36 template <class A, class B, class Op>
operator_is_substitution_failure_impl(float)37 constexpr bool operator_is_substitution_failure_impl(float)
38 {
39 return true;
40 }
41
42 template <class A, class B, class Op>
43 constexpr
44 typename std::conditional<true, bool,
45 decltype(Op()(std::declval<A>(), std::declval<B>()))>::type
operator_is_substitution_failure_impl(int)46 operator_is_substitution_failure_impl(int)
47 {
48 return false;
49 }
50
operator_is_substitution_failure()51 template <class... Ts> constexpr bool operator_is_substitution_failure()
52 {
53 return operator_is_substitution_failure_impl<Ts...>(int());
54 }
55
56 // sfinae_is_callable{{{1
57 #ifdef Vc_CLANG
58 #pragma clang diagnostic push
59 #pragma clang diagnostic ignored "-Wundefined-inline"
60 #endif
61 template <class... Args, class F>
62 constexpr auto sfinae_is_callable_impl(int, F &&f) -> typename std::conditional<
63 true, std::true_type, decltype(std::forward<F>(f)(std::declval<Args>()...))>::type;
64 template <class... Args, class F> constexpr std::false_type sfinae_is_callable_impl(float, const F &);
sfinae_is_callable(F &&)65 template <class... Args, class F> constexpr bool sfinae_is_callable(F &&)
66 {
67 return decltype(sfinae_is_callable_impl<Args...>(int(), std::declval<F>()))::value;
68 }
69 template <class... Args, class F>
70 constexpr auto sfinae_is_callable_t(F &&f)
71 -> decltype(sfinae_is_callable_impl<Args...>(int(), std::declval<F>()));
72
73 #ifdef Vc_CLANG
74 #pragma clang diagnostic pop
75 #endif
76
77 // traits {{{1
has_less_bits()78 template <class A, class B> constexpr bool has_less_bits()
79 {
80 return std::numeric_limits<A>::digits < std::numeric_limits<B>::digits;
81 }
82
83 //}}}1
84
85 } // namespace test
86 } // namespace vir
87 #endif // VIR_TESTS_METAHELPERS_H_
88 // vim: foldmethod=marker
89