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_less_equal 11 12#include <ratio> 13 14#include "test_macros.h" 15 16template <class Rat1, class Rat2, bool result> 17void test() 18{ 19 static_assert((result == std::ratio_less_equal<Rat1, Rat2>::value), ""); 20#if TEST_STD_VER > 14 21 static_assert((result == std::ratio_less_equal_v<Rat1, Rat2>), ""); 22#endif 23} 24 25int 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, true>(); 61 } 62 { 63 typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; 64 typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; 65 test<R1, R2, false>(); 66 } 67} 68