
This moves utils/UnitTest/Test.[h/cpp] to LibcTest.[h/cpp] and adds a new Test.h that acts as a switcher so that Fuchsia can use the zxtest backend for running our tests as part of their build. FuchsiaTest.h is for including fuchsia's zxtest library and anything else needed to make the tests work under fuchsia (currently just undefining the isascii macro for the test). Downstream users, please fix your build instead of reverting. Reviewed By: sivachandra Differential Revision: https://reviews.llvm.org/D94625
351 lines
12 KiB
C++
351 lines
12 KiB
C++
//===-- Implementation of the base class for libc unittests ---------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "LibcTest.h"
|
|
|
|
#include "utils/testutils/ExecuteFunction.h"
|
|
#include <cassert>
|
|
#include <iostream>
|
|
#include <string>
|
|
|
|
namespace __llvm_libc {
|
|
namespace testing {
|
|
|
|
// This need not be a class as all it has is a single read-write state variable.
|
|
// But, we make it class as then its implementation can be hidden from the
|
|
// header file.
|
|
class RunContext {
|
|
public:
|
|
enum RunResult { Result_Pass = 1, Result_Fail = 2 };
|
|
|
|
RunResult status() const { return Status; }
|
|
|
|
void markFail() { Status = Result_Fail; }
|
|
|
|
private:
|
|
RunResult Status = Result_Pass;
|
|
};
|
|
|
|
namespace internal {
|
|
|
|
// When the value is of integral type, just display it as normal.
|
|
template <typename ValType>
|
|
cpp::EnableIfType<cpp::IsIntegral<ValType>::Value, std::string>
|
|
describeValue(ValType Value) {
|
|
return std::to_string(Value);
|
|
}
|
|
|
|
std::string describeValue(std::string Value) { return std::string(Value); }
|
|
|
|
// When the value is __uint128_t, also show its hexadecimal digits.
|
|
// Using template to force exact match, prevent ambiguous promotion.
|
|
template <> std::string describeValue<__uint128_t>(__uint128_t Value) {
|
|
std::string S(sizeof(__uint128_t) * 2, '0');
|
|
|
|
for (auto I = S.rbegin(), End = S.rend(); I != End; ++I, Value >>= 4) {
|
|
unsigned char Mod = static_cast<unsigned char>(Value) & 15;
|
|
*I = Mod < 10 ? '0' + Mod : 'a' + Mod - 10;
|
|
}
|
|
|
|
return "0x" + S;
|
|
}
|
|
|
|
template <typename ValType>
|
|
void explainDifference(ValType LHS, ValType RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File, unsigned long Line,
|
|
std::string OpString) {
|
|
size_t OffsetLength = OpString.size() > 2 ? OpString.size() - 2 : 0;
|
|
std::string Offset(OffsetLength, ' ');
|
|
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< Offset << "Expected: " << LHSStr << '\n'
|
|
<< Offset << "Which is: " << describeValue(LHS) << '\n'
|
|
<< "To be " << OpString << ": " << RHSStr << '\n'
|
|
<< Offset << "Which is: " << describeValue(RHS) << '\n';
|
|
}
|
|
|
|
template <typename ValType>
|
|
bool test(RunContext *Ctx, TestCondition Cond, ValType LHS, ValType RHS,
|
|
const char *LHSStr, const char *RHSStr, const char *File,
|
|
unsigned long Line) {
|
|
auto ExplainDifference = [=](std::string OpString) {
|
|
explainDifference(LHS, RHS, LHSStr, RHSStr, File, Line, OpString);
|
|
};
|
|
|
|
switch (Cond) {
|
|
case Cond_EQ:
|
|
if (LHS == RHS)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
ExplainDifference("equal to");
|
|
return false;
|
|
case Cond_NE:
|
|
if (LHS != RHS)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
ExplainDifference("not equal to");
|
|
return false;
|
|
case Cond_LT:
|
|
if (LHS < RHS)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
ExplainDifference("less than");
|
|
return false;
|
|
case Cond_LE:
|
|
if (LHS <= RHS)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
ExplainDifference("less than or equal to");
|
|
return false;
|
|
case Cond_GT:
|
|
if (LHS > RHS)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
ExplainDifference("greater than");
|
|
return false;
|
|
case Cond_GE:
|
|
if (LHS >= RHS)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
ExplainDifference("greater than or equal to");
|
|
return false;
|
|
default:
|
|
Ctx->markFail();
|
|
std::cout << "Unexpected test condition.\n";
|
|
return false;
|
|
}
|
|
}
|
|
|
|
} // namespace internal
|
|
|
|
Test *Test::Start = nullptr;
|
|
Test *Test::End = nullptr;
|
|
|
|
void Test::addTest(Test *T) {
|
|
if (End == nullptr) {
|
|
Start = T;
|
|
End = T;
|
|
return;
|
|
}
|
|
|
|
End->Next = T;
|
|
End = T;
|
|
}
|
|
|
|
int Test::runTests() {
|
|
int TestCount = 0;
|
|
int FailCount = 0;
|
|
for (Test *T = Start; T != nullptr; T = T->Next, ++TestCount) {
|
|
const char *TestName = T->getName();
|
|
constexpr auto GREEN = "\033[32m";
|
|
constexpr auto RED = "\033[31m";
|
|
constexpr auto RESET = "\033[0m";
|
|
std::cout << GREEN << "[ RUN ] " << RESET << TestName << '\n';
|
|
RunContext Ctx;
|
|
T->SetUp();
|
|
T->setContext(&Ctx);
|
|
T->Run();
|
|
T->TearDown();
|
|
auto Result = Ctx.status();
|
|
switch (Result) {
|
|
case RunContext::Result_Fail:
|
|
std::cout << RED << "[ FAILED ] " << RESET << TestName << '\n';
|
|
++FailCount;
|
|
break;
|
|
case RunContext::Result_Pass:
|
|
std::cout << GREEN << "[ OK ] " << RESET << TestName << '\n';
|
|
break;
|
|
}
|
|
}
|
|
|
|
std::cout << "Ran " << TestCount << " tests. "
|
|
<< " PASS: " << TestCount - FailCount << ' '
|
|
<< " FAIL: " << FailCount << '\n';
|
|
|
|
return FailCount > 0 ? 1 : 0;
|
|
}
|
|
|
|
template bool Test::test<char, 0>(TestCondition Cond, char LHS, char RHS,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line);
|
|
|
|
template bool Test::test<short, 0>(TestCondition Cond, short LHS, short RHS,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line);
|
|
|
|
template bool Test::test<int, 0>(TestCondition Cond, int LHS, int RHS,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line);
|
|
|
|
template bool Test::test<long, 0>(TestCondition Cond, long LHS, long RHS,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line);
|
|
|
|
template bool Test::test<long long, 0>(TestCondition Cond, long long LHS,
|
|
long long RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
template bool Test::test<unsigned char, 0>(TestCondition Cond,
|
|
unsigned char LHS, unsigned char RHS,
|
|
const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
template bool
|
|
Test::test<unsigned short, 0>(TestCondition Cond, unsigned short LHS,
|
|
unsigned short RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
template bool Test::test<unsigned int, 0>(TestCondition Cond, unsigned int LHS,
|
|
unsigned int RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
template bool Test::test<unsigned long, 0>(TestCondition Cond,
|
|
unsigned long LHS, unsigned long RHS,
|
|
const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
template bool Test::test<bool, 0>(TestCondition Cond, bool LHS, bool RHS,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line);
|
|
|
|
template bool
|
|
Test::test<unsigned long long, 0>(TestCondition Cond, unsigned long long LHS,
|
|
unsigned long long RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
template bool Test::test<__uint128_t, 0>(TestCondition Cond, __uint128_t LHS,
|
|
__uint128_t RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File,
|
|
unsigned long Line);
|
|
|
|
bool Test::testStrEq(const char *LHS, const char *RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File, unsigned long Line) {
|
|
return internal::test(Ctx, Cond_EQ, LHS ? std::string(LHS) : std::string(),
|
|
RHS ? std::string(RHS) : std::string(), LHSStr, RHSStr,
|
|
File, Line);
|
|
}
|
|
|
|
bool Test::testStrNe(const char *LHS, const char *RHS, const char *LHSStr,
|
|
const char *RHSStr, const char *File, unsigned long Line) {
|
|
return internal::test(Ctx, Cond_NE, LHS ? std::string(LHS) : std::string(),
|
|
RHS ? std::string(RHS) : std::string(), LHSStr, RHSStr,
|
|
File, Line);
|
|
}
|
|
|
|
bool Test::testMatch(bool MatchResult, MatcherBase &Matcher, const char *LHSStr,
|
|
const char *RHSStr, const char *File, unsigned long Line) {
|
|
if (MatchResult)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< "Failed to match " << LHSStr << " against " << RHSStr << ".\n";
|
|
testutils::StreamWrapper OutsWrapper = testutils::outs();
|
|
Matcher.explainError(OutsWrapper);
|
|
return false;
|
|
}
|
|
|
|
bool Test::testProcessKilled(testutils::FunctionCaller *Func, int Signal,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line) {
|
|
testutils::ProcessStatus Result = testutils::invokeInSubprocess(Func, 500);
|
|
|
|
if (const char *error = Result.getError()) {
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n" << error << '\n';
|
|
return false;
|
|
}
|
|
|
|
if (Result.timedOut()) {
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< "Process timed out after " << 500 << " milliseconds.\n";
|
|
return false;
|
|
}
|
|
|
|
if (Result.exitedNormally()) {
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< "Expected " << LHSStr
|
|
<< " to be killed by a signal\nBut it exited normally!\n";
|
|
return false;
|
|
}
|
|
|
|
int KilledBy = Result.getFatalSignal();
|
|
assert(KilledBy != 0 && "Not killed by any signal");
|
|
if (Signal == -1 || KilledBy == Signal)
|
|
return true;
|
|
|
|
using testutils::signalAsString;
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< " Expected: " << LHSStr << '\n'
|
|
<< "To be killed by signal: " << Signal << '\n'
|
|
<< " Which is: " << signalAsString(Signal) << '\n'
|
|
<< " But it was killed by: " << KilledBy << '\n'
|
|
<< " Which is: " << signalAsString(KilledBy) << '\n';
|
|
return false;
|
|
}
|
|
|
|
bool Test::testProcessExits(testutils::FunctionCaller *Func, int ExitCode,
|
|
const char *LHSStr, const char *RHSStr,
|
|
const char *File, unsigned long Line) {
|
|
testutils::ProcessStatus Result = testutils::invokeInSubprocess(Func, 500);
|
|
|
|
if (const char *error = Result.getError()) {
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n" << error << '\n';
|
|
return false;
|
|
}
|
|
|
|
if (Result.timedOut()) {
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< "Process timed out after " << 500 << " milliseconds.\n";
|
|
return false;
|
|
}
|
|
|
|
if (!Result.exitedNormally()) {
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< "Expected " << LHSStr << '\n'
|
|
<< "to exit with exit code " << ExitCode << '\n'
|
|
<< "But it exited abnormally!\n";
|
|
return false;
|
|
}
|
|
|
|
int ActualExit = Result.getExitCode();
|
|
if (ActualExit == ExitCode)
|
|
return true;
|
|
|
|
Ctx->markFail();
|
|
std::cout << File << ":" << Line << ": FAILURE\n"
|
|
<< "Expected exit code of: " << LHSStr << '\n'
|
|
<< " Which is: " << ActualExit << '\n'
|
|
<< " To be equal to: " << RHSStr << '\n'
|
|
<< " Which is: " << ExitCode << '\n';
|
|
return false;
|
|
}
|
|
|
|
} // namespace testing
|
|
} // namespace __llvm_libc
|
|
|
|
int main() { return __llvm_libc::testing::Test::runTests(); }
|