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_equal
11
12 #include <ratio>
13
14 #include "test_macros.h"
15
16 template <class Rat1, class Rat2, bool result>
test()17 void test()
18 {
19 static_assert((result == std::ratio_equal<Rat1, Rat2>::value), "");
20 #if TEST_STD_VER > 14
21 static_assert((result == std::ratio_equal_v<Rat1, Rat2>), "");
22 #endif
23 }
24
main()25 int main()
26 {
27 {
28 typedef std::ratio<1, 1> R1;
29 typedef std::ratio<1, 1> R2;
30 test<R1, R2, true>();
31 }
32 {
33 typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
34 typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
35 test<R1, R2, true>();
36 }
37 {
38 typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
39 typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
40 test<R1, R2, true>();
41 }
42 {
43 typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
44 typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
45 test<R1, R2, true>();
46 }
47 {
48 typedef std::ratio<1, 1> R1;
49 typedef std::ratio<1, -1> R2;
50 test<R1, R2, false>();
51 }
52 {
53 typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
54 typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
55 test<R1, R2, false>();
56 }
57 {
58 typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
59 typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
60 test<R1, R2, false>();
61 }
62 {
63 typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
64 typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
65 test<R1, R2, false>();
66 }
67 }
68