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
10 // test ratio_divide
11
12 #include <ratio>
13
main()14 int main()
15 {
16 {
17 typedef std::ratio<1, 1> R1;
18 typedef std::ratio<1, 1> R2;
19 typedef std::ratio_divide<R1, R2>::type R;
20 static_assert(R::num == 1 && R::den == 1, "");
21 }
22 {
23 typedef std::ratio<1, 2> R1;
24 typedef std::ratio<1, 1> R2;
25 typedef std::ratio_divide<R1, R2>::type R;
26 static_assert(R::num == 1 && R::den == 2, "");
27 }
28 {
29 typedef std::ratio<-1, 2> R1;
30 typedef std::ratio<1, 1> R2;
31 typedef std::ratio_divide<R1, R2>::type R;
32 static_assert(R::num == -1 && R::den == 2, "");
33 }
34 {
35 typedef std::ratio<1, -2> R1;
36 typedef std::ratio<1, 1> R2;
37 typedef std::ratio_divide<R1, R2>::type R;
38 static_assert(R::num == -1 && R::den == 2, "");
39 }
40 {
41 typedef std::ratio<1, 2> R1;
42 typedef std::ratio<-1, 1> R2;
43 typedef std::ratio_divide<R1, R2>::type R;
44 static_assert(R::num == -1 && R::den == 2, "");
45 }
46 {
47 typedef std::ratio<1, 2> R1;
48 typedef std::ratio<1, -1> R2;
49 typedef std::ratio_divide<R1, R2>::type R;
50 static_assert(R::num == -1 && R::den == 2, "");
51 }
52 {
53 typedef std::ratio<56987354, 467584654> R1;
54 typedef std::ratio<544668, 22145> R2;
55 typedef std::ratio_divide<R1, R2>::type R;
56 static_assert(R::num == 630992477165LL && R::den == 127339199162436LL, "");
57 }
58 }
59