generic-library/cxx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Implement more of P0006; Type Traits Variable Templates. <ratio>

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@254285 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow
2015-11-30 05:04:22 +00:00
parent b5599c682f
commit 8254964ef0
6 changed files with 120 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
test/std/utilities/ratio/ratio.comparison/ratio_equal.pass.cpp
View File

@@ -11,46 +11,57 @@
#include <ratio> #include <ratio>
#include "test_macros.h"
template <class Rat1, class Rat2, bool result>
void test()
{
static_assert((result == std::ratio_equal<Rat1, Rat2>::value), "");
#if TEST_STD_VER > 14
static_assert((result == std::ratio_equal_v<Rat1, Rat2>), "");
#endif
}
int main() int main()
{ {
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, 1> R2; typedef std::ratio<1, 1> R2;
static_assert((std::ratio_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((std::ratio_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, -1> R2; typedef std::ratio<1, -1> R2;
static_assert((!std::ratio_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((!std::ratio_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
} }

27
test/std/utilities/ratio/ratio.comparison/ratio_greater.pass.cpp
View File

@@ -11,46 +11,57 @@
#include <ratio> #include <ratio>
#include "test_macros.h"
template <class Rat1, class Rat2, bool result>
void test()
{
static_assert((result == std::ratio_greater<Rat1, Rat2>::value), "");
#if TEST_STD_VER > 14
static_assert((result == std::ratio_greater_v<Rat1, Rat2>), "");
#endif
}
int main() int main()
{ {
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, 1> R2; typedef std::ratio<1, 1> R2;
static_assert((!std::ratio_greater<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_greater<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_greater<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((!std::ratio_greater<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, -1> R2; typedef std::ratio<1, -1> R2;
static_assert((std::ratio_greater<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_greater<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_greater<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((std::ratio_greater<R1, R2>::value), ""); test<R1, R2, true>();
} }
} }

27
test/std/utilities/ratio/ratio.comparison/ratio_greater_equal.pass.cpp
View File

@@ -11,46 +11,57 @@
#include <ratio> #include <ratio>
#include "test_macros.h"
template <class Rat1, class Rat2, bool result>
void test()
{
static_assert((result == std::ratio_greater_equal<Rat1, Rat2>::value), "");
#if TEST_STD_VER > 14
static_assert((result == std::ratio_greater_equal_v<Rat1, Rat2>), "");
#endif
}
int main() int main()
{ {
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, 1> R2; typedef std::ratio<1, 1> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, -1> R2; typedef std::ratio<1, -1> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((std::ratio_greater_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
} }

39
test/std/utilities/ratio/ratio.comparison/ratio_less.pass.cpp
View File

@@ -11,76 +11,87 @@
#include <ratio> #include <ratio>
#include "test_macros.h"
template <class Rat1, class Rat2, bool result>
void test()
{
static_assert((result == std::ratio_less<Rat1, Rat2>::value), "");
#if TEST_STD_VER > 14
static_assert((result == std::ratio_less_v<Rat1, Rat2>), "");
#endif
}
int main() int main()
{ {
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, 1> R2; typedef std::ratio<1, 1> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, -1> R2; typedef std::ratio<1, -1> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_less<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFDLL, 0x7FFFFFFFFFFFFFFCLL> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFDLL, 0x7FFFFFFFFFFFFFFCLL> R2;
static_assert((std::ratio_less<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFDLL, 0x7FFFFFFFFFFFFFFCLL> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFDLL, 0x7FFFFFFFFFFFFFFCLL> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFDLL, 0x7FFFFFFFFFFFFFFCLL> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFDLL, 0x7FFFFFFFFFFFFFFCLL> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R2;
static_assert((std::ratio_less<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 0x7FFFFFFFFFFFFFFELL> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFELL, 0x7FFFFFFFFFFFFFFDLL> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFELL, 0x7FFFFFFFFFFFFFFDLL> R2;
static_assert((std::ratio_less<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<641981, 1339063> R1; typedef std::ratio<641981, 1339063> R1;
typedef std::ratio<1291640, 2694141LL> R2; typedef std::ratio<1291640, 2694141LL> R2;
static_assert((!std::ratio_less<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1291640, 2694141LL> R1; typedef std::ratio<1291640, 2694141LL> R1;
typedef std::ratio<641981, 1339063> R2; typedef std::ratio<641981, 1339063> R2;
static_assert((std::ratio_less<R1, R2>::value), ""); test<R1, R2, true>();
} }
} }

27
test/std/utilities/ratio/ratio.comparison/ratio_less_equal.pass.cpp
View File

@@ -11,46 +11,57 @@
#include <ratio> #include <ratio>
#include "test_macros.h"
template <class Rat1, class Rat2, bool result>
void test()
{
static_assert((result == std::ratio_less_equal<Rat1, Rat2>::value), "");
#if TEST_STD_VER > 14
static_assert((result == std::ratio_less_equal_v<Rat1, Rat2>), "");
#endif
}
int main() int main()
{ {
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, 1> R2; typedef std::ratio<1, 1> R2;
static_assert((std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, -1> R2; typedef std::ratio<1, -1> R2;
static_assert((!std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((!std::ratio_less_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
} }

27
test/std/utilities/ratio/ratio.comparison/ratio_not_equal.pass.cpp
View File

@@ -11,46 +11,57 @@
#include <ratio> #include <ratio>
#include "test_macros.h"
template <class Rat1, class Rat2, bool result>
void test()
{
static_assert((result == std::ratio_not_equal<Rat1, Rat2>::value), "");
#if TEST_STD_VER > 14
static_assert((result == std::ratio_not_equal_v<Rat1, Rat2>), "");
#endif
}
int main() int main()
{ {
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, 1> R2; typedef std::ratio<1, 1> R2;
static_assert((!std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((!std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((!std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, false>();
} }
{ {
typedef std::ratio<1, 1> R1; typedef std::ratio<1, 1> R1;
typedef std::ratio<1, -1> R2; typedef std::ratio<1, -1> R2;
static_assert((std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1; typedef std::ratio<-0x7FFFFFFFFFFFFFFFLL, 1> R1;
typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2; typedef std::ratio<0x7FFFFFFFFFFFFFFFLL, 1> R2;
static_assert((std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
{ {
typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1; typedef std::ratio<1, 0x7FFFFFFFFFFFFFFFLL> R1;
typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2; typedef std::ratio<1, -0x7FFFFFFFFFFFFFFFLL> R2;
static_assert((std::ratio_not_equal<R1, R2>::value), ""); test<R1, R2, true>();
} }
} }