1 //===----------------------------------------------------------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
10
11 // <chrono>
12 // class year_month_day_last;
13
14 // constexpr year_month_day_last
15 // operator-(const year_month_day_last& ymdl, const months& dm) noexcept;
16 //
17 // Returns: ymdl + (-dm).
18 //
19 // constexpr year_month_day_last
20 // operator-(const year_month_day_last& ymdl, const years& dy) noexcept;
21 //
22 // Returns: ymdl + (-dy).
23
24
25 #include <chrono>
26 #include <type_traits>
27 #include <cassert>
28
29 #include "test_macros.h"
30
31 #include <iostream>
32
testConstexprYears(std::chrono::year_month_day_last ymdl)33 constexpr bool testConstexprYears (std::chrono::year_month_day_last ymdl)
34 {
35 std::chrono::year_month_day_last ym1 = ymdl - std::chrono::years{10};
36 return
37 ym1.year() == std::chrono::year{static_cast<int>(ymdl.year()) - 10}
38 && ym1.month() == ymdl.month()
39 ;
40 }
41
testConstexprMonths(std::chrono::year_month_day_last ymdl)42 constexpr bool testConstexprMonths (std::chrono::year_month_day_last ymdl)
43 {
44 std::chrono::year_month_day_last ym1 = ymdl - std::chrono::months{6};
45 return
46 ym1.year() == ymdl.year()
47 && ym1.month() == std::chrono::month{static_cast<unsigned>(ymdl.month()) - 6}
48 ;
49 }
50
main()51 int main()
52 {
53 using year = std::chrono::year;
54 using month = std::chrono::month;
55 using month_day_last = std::chrono::month_day_last;
56 using year_month_day_last = std::chrono::year_month_day_last;
57 using months = std::chrono::months;
58 using years = std::chrono::years;
59
60 constexpr month December = std::chrono::December;
61
62 { // year_month_day_last - years
63 ASSERT_NOEXCEPT( std::declval<year_month_day_last>() - std::declval<years>());
64 ASSERT_SAME_TYPE(year_month_day_last, decltype(std::declval<year_month_day_last>() - std::declval<years>()));
65
66 static_assert(testConstexprYears(year_month_day_last{year{1234}, month_day_last{December}}), "");
67 year_month_day_last ym{year{1234}, month_day_last{December}};
68 for (int i = 0; i <= 10; ++i)
69 {
70 year_month_day_last ym1 = ym - years{i};
71 assert(static_cast<int>(ym1.year()) == 1234 - i);
72 assert(ym1.month() == December);
73 }
74 }
75
76 { // year_month_day_last - months
77 ASSERT_NOEXCEPT( std::declval<year_month_day_last>() - std::declval<months>());
78 ASSERT_SAME_TYPE(year_month_day_last, decltype(std::declval<year_month_day_last>() - std::declval<months>()));
79
80 static_assert(testConstexprMonths(year_month_day_last{year{1234}, month_day_last{December}}), "");
81 // TODO test wrapping
82 year_month_day_last ym{year{1234}, month_day_last{December}};
83 for (unsigned i = 0; i <= 10; ++i)
84 {
85 year_month_day_last ym1 = ym - months{i};
86 assert(static_cast<int>(ym1.year()) == 1234);
87 assert(static_cast<unsigned>(ym1.month()) == 12U-i);
88 }
89 }
90
91 }
92