84f483dbee
The standard specifies that it it UB to specialize the following traits: - `std::is_integral` - `std::is_unsigned` - `std::make_unsigned` - `std::make_signed` This patch: - Removes specializations for `BigInt` - Transforms SFINAE for `bit.h` functions from template parameter to return type (This makes specialization easier). - Adds `BigInt` specialization for `bit.h` functions. - Fixes code depending on previous specializations.
89 lines
3.1 KiB
C++
89 lines
3.1 KiB
C++
#include "test/UnitTest/TestLogger.h"
|
|
#include "src/__support/CPP/string.h"
|
|
#include "src/__support/CPP/string_view.h"
|
|
#include "src/__support/OSUtil/io.h" // write_to_stderr
|
|
#include "src/__support/UInt.h" // is_big_int
|
|
#include "src/__support/UInt128.h"
|
|
|
|
#include <stdint.h>
|
|
|
|
namespace LIBC_NAMESPACE {
|
|
namespace testing {
|
|
|
|
// cpp::string_view specialization
|
|
template <>
|
|
TestLogger &TestLogger::operator<< <cpp::string_view>(cpp::string_view str) {
|
|
LIBC_NAMESPACE::write_to_stderr(str);
|
|
return *this;
|
|
}
|
|
|
|
// cpp::string specialization
|
|
template <> TestLogger &TestLogger::operator<< <cpp::string>(cpp::string str) {
|
|
return *this << static_cast<cpp::string_view>(str);
|
|
}
|
|
|
|
// const char* specialization
|
|
template <> TestLogger &TestLogger::operator<< <const char *>(const char *str) {
|
|
return *this << cpp::string_view(str);
|
|
}
|
|
|
|
// char* specialization
|
|
template <> TestLogger &TestLogger::operator<< <char *>(char *str) {
|
|
return *this << cpp::string_view(str);
|
|
}
|
|
|
|
// char specialization
|
|
template <> TestLogger &TestLogger::operator<<(char ch) {
|
|
return *this << cpp::string_view(&ch, 1);
|
|
}
|
|
|
|
// bool specialization
|
|
template <> TestLogger &TestLogger::operator<<(bool cond) {
|
|
return *this << (cond ? "true" : "false");
|
|
}
|
|
|
|
// void * specialization
|
|
template <> TestLogger &TestLogger::operator<<(void *addr) {
|
|
return *this << "0x" << cpp::to_string(reinterpret_cast<uintptr_t>(addr));
|
|
}
|
|
|
|
template <typename T> TestLogger &TestLogger::operator<<(T t) {
|
|
if constexpr (cpp::is_big_int_v<T> ||
|
|
(cpp::is_integral_v<T> && cpp::is_unsigned_v<T> &&
|
|
(sizeof(T) > sizeof(uint64_t)))) {
|
|
static_assert(sizeof(T) % 8 == 0, "Unsupported size of UInt");
|
|
const IntegerToString<T, radix::Hex::WithPrefix> buffer(t);
|
|
return *this << buffer.view();
|
|
} else {
|
|
return *this << cpp::to_string(t);
|
|
}
|
|
}
|
|
|
|
// is_integral specializations
|
|
// char is already specialized to handle character
|
|
template TestLogger &TestLogger::operator<< <short>(short);
|
|
template TestLogger &TestLogger::operator<< <int>(int);
|
|
template TestLogger &TestLogger::operator<< <long>(long);
|
|
template TestLogger &TestLogger::operator<< <long long>(long long);
|
|
template TestLogger &TestLogger::operator<< <unsigned char>(unsigned char);
|
|
template TestLogger &TestLogger::operator<< <unsigned short>(unsigned short);
|
|
template TestLogger &TestLogger::operator<< <unsigned int>(unsigned int);
|
|
template TestLogger &TestLogger::operator<< <unsigned long>(unsigned long);
|
|
template TestLogger &
|
|
TestLogger::operator<< <unsigned long long>(unsigned long long);
|
|
|
|
#ifdef __SIZEOF_INT128__
|
|
template TestLogger &TestLogger::operator<< <__uint128_t>(__uint128_t);
|
|
#endif
|
|
template TestLogger &TestLogger::operator<< <cpp::UInt<128>>(cpp::UInt<128>);
|
|
template TestLogger &TestLogger::operator<< <cpp::UInt<192>>(cpp::UInt<192>);
|
|
template TestLogger &TestLogger::operator<< <cpp::UInt<256>>(cpp::UInt<256>);
|
|
template TestLogger &TestLogger::operator<< <cpp::UInt<320>>(cpp::UInt<320>);
|
|
|
|
// TODO: Add floating point formatting once it's supported by StringStream.
|
|
|
|
TestLogger tlog;
|
|
|
|
} // namespace testing
|
|
} // namespace LIBC_NAMESPACE
|