You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
201 lines
6.7 KiB
C++
201 lines
6.7 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// UNSUPPORTED: c++98, c++03, c++11
|
|
|
|
// <experimental/filesystem>
|
|
|
|
// typedef TrivialClock file_time_type;
|
|
|
|
// RUN: %build -I%libcxx_src_root/src/experimental/filesystem
|
|
// RUN: %run
|
|
|
|
#include <experimental/filesystem>
|
|
#include <chrono>
|
|
#include <type_traits>
|
|
#include <limits>
|
|
#include <cstddef>
|
|
#include <cassert>
|
|
|
|
#include "filesystem_time_helper.h"
|
|
|
|
using namespace std::chrono;
|
|
namespace fs = std::experimental::filesystem;
|
|
using fs::file_time_type;
|
|
using fs::fs_time_util;
|
|
|
|
enum TestKind { TK_64Bit, TK_32Bit, TK_FloatingPoint };
|
|
|
|
template <class FileTimeT, class TimeT, class TimeSpec>
|
|
constexpr TestKind getTestKind() {
|
|
if (sizeof(TimeT) == 8 && !std::is_floating_point<TimeT>::value)
|
|
return TK_64Bit;
|
|
else if (sizeof(TimeT) == 4 && !std::is_floating_point<TimeT>::value)
|
|
return TK_32Bit;
|
|
else if (std::is_floating_point<TimeT>::value)
|
|
return TK_FloatingPoint;
|
|
else
|
|
assert(false && "test kind not supported");
|
|
}
|
|
|
|
template <class FileTimeT, class TimeT, class TimeSpecT,
|
|
class Base = fs_time_util<FileTimeT, TimeT, TimeSpecT>,
|
|
TestKind = getTestKind<FileTimeT, TimeT, TimeSpecT>()>
|
|
struct check_is_representable;
|
|
|
|
template <class FileTimeT, class TimeT, class TimeSpecT, class Base>
|
|
struct check_is_representable<FileTimeT, TimeT, TimeSpecT, Base, TK_64Bit>
|
|
: public Base {
|
|
|
|
using Base::convert_timespec;
|
|
using Base::is_representable;
|
|
using Base::max_nsec;
|
|
using Base::max_seconds;
|
|
using Base::min_nsec_timespec;
|
|
using Base::min_seconds;
|
|
|
|
static constexpr auto max_time_t = std::numeric_limits<TimeT>::max();
|
|
static constexpr auto min_time_t = std::numeric_limits<TimeT>::min();
|
|
|
|
static constexpr bool test_timespec() {
|
|
static_assert(is_representable(TimeSpecT{max_seconds, max_nsec}), "");
|
|
static_assert(!is_representable(TimeSpecT{max_seconds + 1, 0}), "");
|
|
static_assert(!is_representable(TimeSpecT{max_seconds, max_nsec + 1}), "");
|
|
static_assert(!is_representable(TimeSpecT{max_time_t, 0}), "");
|
|
static_assert(is_representable(TimeSpecT{min_seconds, 0}), "");
|
|
static_assert(
|
|
is_representable(TimeSpecT{min_seconds - 1, min_nsec_timespec}), "");
|
|
static_assert(
|
|
is_representable(TimeSpecT{min_seconds - 1, min_nsec_timespec + 1}),
|
|
"");
|
|
static_assert(
|
|
!is_representable(TimeSpecT{min_seconds - 1, min_nsec_timespec - 1}),
|
|
"");
|
|
static_assert(!is_representable(TimeSpecT{min_time_t, 999999999}), "");
|
|
return true;
|
|
}
|
|
|
|
static constexpr bool test_file_time_type() {
|
|
static_assert(Base::is_representable(FileTimeT::max()), "");
|
|
static_assert(Base::is_representable(FileTimeT::min()), "");
|
|
return true;
|
|
}
|
|
|
|
static constexpr bool test_convert_timespec() {
|
|
static_assert(convert_timespec(TimeSpecT{max_seconds, max_nsec}) ==
|
|
FileTimeT::max(),
|
|
"");
|
|
static_assert(convert_timespec(TimeSpecT{max_seconds, max_nsec - 1}) <
|
|
FileTimeT::max(),
|
|
"");
|
|
static_assert(convert_timespec(TimeSpecT{max_seconds - 1, 999999999}) <
|
|
FileTimeT::max(),
|
|
"");
|
|
static_assert(convert_timespec(TimeSpecT{
|
|
min_seconds - 1, min_nsec_timespec}) == FileTimeT::min(),
|
|
"");
|
|
static_assert(
|
|
convert_timespec(TimeSpecT{min_seconds - 1, min_nsec_timespec + 1}) >
|
|
FileTimeT::min(),
|
|
"");
|
|
static_assert(
|
|
convert_timespec(TimeSpecT{min_seconds, 0}) > FileTimeT::min(), "");
|
|
return true;
|
|
}
|
|
|
|
static bool test() {
|
|
static_assert(test_timespec(), "");
|
|
static_assert(test_file_time_type(), "");
|
|
static_assert(test_convert_timespec(), "");
|
|
return true;
|
|
}
|
|
};
|
|
|
|
template <class FileTimeT, class TimeT, class TimeSpecT, class Base>
|
|
struct check_is_representable<FileTimeT, TimeT, TimeSpecT, Base, TK_32Bit>
|
|
: public Base {
|
|
static constexpr auto max_time_t = std::numeric_limits<TimeT>::max();
|
|
static constexpr auto min_time_t = std::numeric_limits<TimeT>::min();
|
|
|
|
using Base::convert_timespec;
|
|
using Base::is_representable;
|
|
using Base::max_nsec;
|
|
using Base::max_seconds;
|
|
using Base::min_nsec_timespec;
|
|
using Base::min_seconds;
|
|
|
|
static constexpr bool test_timespec() {
|
|
static_assert(is_representable(TimeSpecT{max_time_t, 999999999}), "");
|
|
static_assert(is_representable(TimeSpecT{max_time_t, 1000000000}), "");
|
|
static_assert(is_representable(TimeSpecT{min_time_t, 0}), "");
|
|
return true;
|
|
}
|
|
|
|
static constexpr bool test_file_time_type() {
|
|
static_assert(!is_representable(FileTimeT::max()), "");
|
|
static_assert(!is_representable(FileTimeT::min()), "");
|
|
static_assert(is_representable(FileTimeT(seconds(max_time_t))), "");
|
|
static_assert(is_representable(FileTimeT(seconds(min_time_t))), "");
|
|
return true;
|
|
}
|
|
|
|
static constexpr bool test_convert_timespec() {
|
|
// FIXME add tests for 32 bit builds
|
|
return true;
|
|
}
|
|
|
|
static bool test() {
|
|
static_assert(test_timespec(), "");
|
|
static_assert(test_file_time_type(), "");
|
|
static_assert(test_convert_timespec(), "");
|
|
return true;
|
|
}
|
|
};
|
|
|
|
template <class FileTimeT, class TimeT, class TimeSpec, class Base>
|
|
struct check_is_representable<FileTimeT, TimeT, TimeSpec, Base,
|
|
TK_FloatingPoint> : public Base {
|
|
|
|
static bool test() { return true; }
|
|
};
|
|
|
|
template <class TimeT, class NSecT = long>
|
|
struct TestTimeSpec {
|
|
TimeT tv_sec;
|
|
NSecT tv_nsec;
|
|
};
|
|
|
|
template <class Dur>
|
|
struct TestClock {
|
|
typedef Dur duration;
|
|
typedef typename duration::rep rep;
|
|
typedef typename duration::period period;
|
|
typedef std::chrono::time_point<TestClock> time_point;
|
|
static constexpr const bool is_steady = false;
|
|
|
|
static time_point now() noexcept { return {}; }
|
|
};
|
|
|
|
template <class IntType, class Dur = duration<IntType, std::micro> >
|
|
using TestFileTimeT = time_point<TestClock<Dur> >;
|
|
|
|
int main() {
|
|
assert((
|
|
check_is_representable<file_time_type, time_t, struct timespec>::test()));
|
|
assert((check_is_representable<TestFileTimeT<int64_t>, int64_t,
|
|
TestTimeSpec<int64_t, long> >::test()));
|
|
assert((check_is_representable<TestFileTimeT<long long>, int32_t,
|
|
TestTimeSpec<int32_t, int32_t> >::test()));
|
|
|
|
// Test that insane platforms like ppc64 linux, which use long double as time_t,
|
|
// at least compile.
|
|
assert((check_is_representable<TestFileTimeT<long double>, double,
|
|
TestTimeSpec<long double, long> >::test()));
|
|
}
|