unittests/Support/TypeTraitsTest.cpp

   1 //===- TypeTraitsTest.cpp -------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 #include "llvm/Support/type_traits.h"
  10 #include "gtest/gtest.h"
  11
  12 namespace {
  13
  14 // Compile-time tests using static assert.
  15 namespace triviality {
  16
  17 // Helper for compile time checking trivially copy constructible and trivially
  18 // move constructible type traits.
  19 template <typename T, bool IsTriviallyCopyConstructible,
  20           bool IsTriviallyMoveConstructible>
  21 void TrivialityTester() {
  22   static_assert(llvm::is_trivially_copy_constructible<T>::value ==
  23                     IsTriviallyCopyConstructible,
  24                 "Mismatch in expected trivial copy construction!");
  25   static_assert(llvm::is_trivially_move_constructible<T>::value ==
  26                     IsTriviallyMoveConstructible,
  27                 "Mismatch in expected trivial move construction!");
  28
  29 #if defined(_LIBCPP_VERSION) || defined(_MSC_VER)
  30   // On compilers with support for the standard traits, make sure they agree.
  31   static_assert(std::is_trivially_copy_constructible<T>::value ==
  32                     IsTriviallyCopyConstructible,
  33                 "Mismatch in expected trivial copy construction!");
  34   static_assert(std::is_trivially_move_constructible<T>::value ==
  35                     IsTriviallyMoveConstructible,
  36                 "Mismatch in expected trivial move construction!");
  37 #endif
  38 }
  39
  40 template void TrivialityTester<int, true, true>();
  41 template void TrivialityTester<void *, true, true>();
  42 template void TrivialityTester<int &, true, true>();
  43 template void TrivialityTester<int &&, false, true>();
  44
  45 struct X {};
  46 struct Y {
  47   Y(const Y &);
  48 };
  49 struct Z {
  50   Z(const Z &);
  51   Z(Z &&);
  52 };
  53 struct A {
  54   A(const A &) = default;
  55   A(A &&);
  56 };
  57 struct B {
  58   B(const B &);
  59   B(B &&) = default;
  60 };
  61
  62 template void TrivialityTester<X, true, true>();
  63 template void TrivialityTester<Y, false, false>();
  64 template void TrivialityTester<Z, false, false>();
  65 template void TrivialityTester<A, true, false>();
  66 template void TrivialityTester<B, false, true>();
  67
  68 template void TrivialityTester<Z &, true, true>();
  69 template void TrivialityTester<A &, true, true>();
  70 template void TrivialityTester<B &, true, true>();
  71 template void TrivialityTester<Z &&, false, true>();
  72 template void TrivialityTester<A &&, false, true>();
  73 template void TrivialityTester<B &&, false, true>();
  74
  75 TEST(Triviality, Tester) {
  76   TrivialityTester<int, true, true>();
  77   TrivialityTester<void *, true, true>();
  78   TrivialityTester<int &, true, true>();
  79   TrivialityTester<int &&, false, true>();
  80
  81   TrivialityTester<X, true, true>();
  82   TrivialityTester<Y, false, false>();
  83   TrivialityTester<Z, false, false>();
  84   TrivialityTester<A, true, false>();
  85   TrivialityTester<B, false, true>();
  86
  87   TrivialityTester<Z &, true, true>();
  88   TrivialityTester<A &, true, true>();
  89   TrivialityTester<B &, true, true>();
  90   TrivialityTester<Z &&, false, true>();
  91   TrivialityTester<A &&, false, true>();
  92   TrivialityTester<B &&, false, true>();
  93 }
  94
  95 } // namespace triviality
  96
  97 } // end anonymous namespace