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