LLVM 17.0.0git
|
#include "llvm/FileCheck/FileCheck.h"
#include "FileCheckImpl.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringSet.h"
#include "llvm/ADT/Twine.h"
#include "llvm/Support/CheckedArithmetic.h"
#include "llvm/Support/FormatVariadic.h"
#include <cstdint>
#include <list>
#include <set>
#include <tuple>
#include <utility>
Go to the source code of this file.
Functions | |
static int64_t | getAsSigned (uint64_t UnsignedValue) |
static char | popFront (StringRef &S) |
static SMRange | ProcessMatchResult (FileCheckDiag::MatchType MatchTy, const SourceMgr &SM, SMLoc Loc, Check::FileCheckType CheckTy, StringRef Buffer, size_t Pos, size_t Len, std::vector< FileCheckDiag > *Diags, bool AdjustPrevDiags=false) |
static bool | IsPartOfWord (char c) |
static std::pair< Check::FileCheckType, StringRef > | FindCheckType (const FileCheckRequest &Req, StringRef Buffer, StringRef Prefix, bool &Misspelled) |
static std::pair< Check::FileCheckType, StringRef > | FindCheckType (const FileCheckRequest &Req, StringRef Buffer, StringRef Prefix) |
static size_t | SkipWord (StringRef Str, size_t Loc) |
static std::pair< StringRef, StringRef > | FindFirstMatchingPrefix (const FileCheckRequest &Req, Regex &PrefixRE, StringRef &Buffer, unsigned &LineNumber, Check::FileCheckType &CheckTy) |
Searches the buffer for the first prefix in the prefix regular expression. | |
static Error | printMatch (bool ExpectedMatch, const SourceMgr &SM, StringRef Prefix, SMLoc Loc, const Pattern &Pat, int MatchedCount, StringRef Buffer, Pattern::MatchResult MatchResult, const FileCheckRequest &Req, std::vector< FileCheckDiag > *Diags) |
Returns either (1) ErrorSuccess if there was no error or (2) ErrorReported if an error was reported, such as an unexpected match. | |
static Error | printNoMatch (bool ExpectedMatch, const SourceMgr &SM, StringRef Prefix, SMLoc Loc, const Pattern &Pat, int MatchedCount, StringRef Buffer, Error MatchError, bool VerboseVerbose, std::vector< FileCheckDiag > *Diags) |
Returns either (1) ErrorSuccess if there was no error, or (2) ErrorReported if an error was reported, such as an expected match not found. | |
static Error | reportMatchResult (bool ExpectedMatch, const SourceMgr &SM, StringRef Prefix, SMLoc Loc, const Pattern &Pat, int MatchedCount, StringRef Buffer, Pattern::MatchResult MatchResult, const FileCheckRequest &Req, std::vector< FileCheckDiag > *Diags) |
Returns either (1) ErrorSuccess if there was no error, or (2) ErrorReported if an error was reported. | |
static unsigned | CountNumNewlinesBetween (StringRef Range, const char *&FirstNewLine) |
Counts the number of newlines in the specified range. | |
static bool | ValidatePrefixes (StringRef Kind, StringSet<> &UniquePrefixes, ArrayRef< StringRef > SuppliedPrefixes) |
Variables | |
constexpr StringLiteral | SpaceChars = " \t" |
static const char * | DefaultCheckPrefixes [] = {"CHECK"} |
static const char * | DefaultCommentPrefixes [] = {"COM", "RUN"} |
Counts the number of newlines in the specified range.
Definition at line 2242 of file FileCheck.cpp.
Referenced by llvm::FileCheckString::CheckNext(), and llvm::FileCheckString::CheckSame().
|
static |
Definition at line 1775 of file FileCheck.cpp.
References llvm::Check::CheckMisspelled, llvm::Check::CheckNone, and FindCheckType().
|
static |
Definition at line 1685 of file FileCheck.cpp.
References llvm::Check::CheckBadCount, llvm::Check::CheckBadNot, llvm::Check::CheckComment, llvm::Check::CheckDAG, llvm::Check::CheckEmpty, llvm::Check::CheckLabel, llvm::Check::CheckNext, llvm::Check::CheckNone, llvm::Check::CheckNot, llvm::Check::CheckPlain, llvm::Check::CheckSame, llvm::FileCheckRequest::CommentPrefixes, llvm::StringRef::consume_front(), llvm::StringRef::consumeInteger(), llvm::StringRef::drop_front(), llvm::StringRef::front(), llvm::is_contained(), llvm::StringRef::ltrim(), llvm::StringRef::size(), and llvm::StringRef::startswith().
Referenced by FindCheckType(), and FindFirstMatchingPrefix().
|
static |
Searches the buffer for the first prefix in the prefix regular expression.
This searches the buffer using the provided regular expression, however it enforces constraints beyond that: 1) The found prefix must not be a suffix of something that looks like a valid prefix. 2) The found prefix must be followed by a valid check type suffix using FindCheckType
above.
If this routine returns a valid prefix, it will also shrink Buffer
to start at the beginning of the returned prefix, increment LineNumber
for each new line consumed from Buffer
, and set CheckTy
to the type of check found by examining the suffix.
If no valid prefix is found, the state of Buffer, LineNumber, and CheckTy is unspecified.
Definition at line 1814 of file FileCheck.cpp.
References assert(), llvm::StringRef::back(), llvm::Check::CheckNone, llvm::SmallVectorImpl< T >::clear(), llvm::StringRef::count(), llvm::StringRef::data(), llvm::StringRef::drop_front(), llvm::StringRef::empty(), FindCheckType(), IsPartOfWord(), llvm::Regex::match(), llvm::StringRef::size(), SkipWord(), and llvm::StringRef::substr().
Referenced by llvm::FileCheck::readCheckFile().
|
static |
Definition at line 160 of file FileCheck.cpp.
Referenced by llvm::ExpressionValue::getAbsolute(), and llvm::ExpressionValue::getSignedValue().
Definition at line 1621 of file FileCheck.cpp.
Referenced by FindFirstMatchingPrefix(), and SkipWord().
Definition at line 469 of file FileCheck.cpp.
References llvm::CallingConv::C, llvm::StringRef::drop_front(), and llvm::StringRef::front().
Referenced by llvm::Pattern::parseNumericSubstitutionBlock().
|
static |
Returns either (1) ErrorSuccess
if there was no error or (2) ErrorReported
if an error was reported, such as an unexpected match.
Definition at line 2074 of file FileCheck.cpp.
References assert(), llvm::Check::CheckEOF, llvm::SourceMgr::DK_Error, llvm::SourceMgr::DK_Note, llvm::SourceMgr::DK_Remark, E, llvm::formatv(), llvm::Pattern::getCheckTy(), llvm::Pattern::getCount(), llvm::Check::FileCheckType::getDescription(), llvm::handleAllErrors(), llvm::FileCheckDiag::MatchFoundAndExpected, llvm::FileCheckDiag::MatchFoundButExcluded, llvm::SourceMgr::PrintMessage(), llvm::Pattern::printSubstitutions(), llvm::Pattern::printVariableDefs(), ProcessMatchResult(), llvm::ErrorReported::reportedOrSuccess(), llvm::SMRange::Start, llvm::Pattern::MatchResult::TheError, llvm::Pattern::MatchResult::TheMatch, llvm::FileCheckRequest::Verbose, and llvm::FileCheckRequest::VerboseVerbose.
Referenced by llvm::FileCheckString::CheckDag(), and reportMatchResult().
|
static |
Returns either (1) ErrorSuccess
if there was no error, or (2) ErrorReported
if an error was reported, such as an expected match not found.
Definition at line 2144 of file FileCheck.cpp.
References assert(), llvm::SourceMgr::DK_Error, llvm::SourceMgr::DK_Note, llvm::SourceMgr::DK_Remark, E, llvm::errs(), llvm::formatv(), llvm::Pattern::getCheckTy(), llvm::Pattern::getCount(), llvm::Check::FileCheckType::getDescription(), llvm::handleAllErrors(), llvm::FileCheckDiag::MatchNoneAndExcluded, llvm::FileCheckDiag::MatchNoneButExpected, llvm::FileCheckDiag::MatchNoneForInvalidPattern, llvm::Pattern::printFuzzyMatch(), llvm::SourceMgr::PrintMessage(), llvm::Pattern::printSubstitutions(), ProcessMatchResult(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::ErrorReported::reportedOrSuccess(), llvm::StringRef::size(), and llvm::SMRange::Start.
Referenced by reportMatchResult().
|
static |
Definition at line 1443 of file FileCheck.cpp.
References llvm::StringRef::data(), E, llvm::SMLoc::getFromPointer(), and I.
Referenced by llvm::FileCheckString::Check(), llvm::Pattern::printFuzzyMatch(), printMatch(), and printNoMatch().
|
static |
Returns either (1) ErrorSuccess
if there was no error, or (2) ErrorReported
if an error was reported.
Definition at line 2227 of file FileCheck.cpp.
References printMatch(), printNoMatch(), llvm::Pattern::MatchResult::TheError, llvm::Pattern::MatchResult::TheMatch, and llvm::FileCheckRequest::VerboseVerbose.
Referenced by llvm::FileCheckString::Check(), llvm::FileCheckString::CheckDag(), and llvm::FileCheckString::CheckNot().
|
static |
Definition at line 1784 of file FileCheck.cpp.
References IsPartOfWord().
Referenced by FindFirstMatchingPrefix().
|
static |
Definition at line 2563 of file FileCheck.cpp.
References llvm::errs(), llvm::StringSet< AllocatorTy >::insert(), and llvm::Regex::match().
Referenced by llvm::FileCheck::ValidateCheckPrefixes().
Definition at line 2587 of file FileCheck.cpp.
Referenced by llvm::FileCheck::buildCheckPrefixRegex(), and llvm::FileCheck::ValidateCheckPrefixes().
Definition at line 2588 of file FileCheck.cpp.
Referenced by llvm::FileCheck::buildCheckPrefixRegex(), and llvm::FileCheck::ValidateCheckPrefixes().
|
constexpr |
Definition at line 466 of file FileCheck.cpp.
Referenced by llvm::Pattern::parseNumericSubstitutionBlock().