lib/Support/FileCheck.cpp

1 //===- FileCheck.cpp - Check that File's Contents match what is expected --===//
224   // Check if this is a supported operation and select a function to perform
311   bool MatchFullLinesHere = Req.MatchFullLines && CheckTy != Check::CheckNot;
322   // Check that there is something on the line.
323   if (PatternStr.empty() && CheckTy != Check::CheckEmpty) {
329   if (!PatternStr.empty() && CheckTy == Check::CheckEmpty) {
337   if (CheckTy == Check::CheckEmpty) {
342   // Check to see if this is a fixed string, or if it has regex pieces.
605   if (CheckTy == Check::CheckEOF) {
689   size_t MatchStartSkip = CheckTy == Check::CheckEmpty;
754                                   Check::FileCheckType CheckTy,
915                              const Check::FileCheckType &CheckTy,
934 Check::FileCheckType &Check::FileCheckType::setCount(int C) {
942 std::string Check::FileCheckType::getDescription(StringRef Prefix) const {
944   case Check::CheckNone:
946   case Check::CheckPlain:
950   case Check::CheckNext:
952   case Check::CheckSame:
954   case Check::CheckNot:
956   case Check::CheckDAG:
958   case Check::CheckLabel:
960   case Check::CheckEmpty:
962   case Check::CheckEOF:
964   case Check::CheckBadNot:
966   case Check::CheckBadCount:
972 static std::pair<Check::FileCheckType, StringRef>
975     return {Check::CheckNone, StringRef()};
982     return {Check::CheckPlain, Rest};
985     return {Check::CheckNone, StringRef()};
991       return {Check::CheckBadCount, Rest};
993       return {Check::CheckBadCount, Rest};
995       return {Check::CheckBadCount, Rest};
996     return {Check::FileCheckType(Check::CheckPlain).setCount(Count), Rest};
1000     return {Check::CheckNext, Rest};
1003     return {Check::CheckSame, Rest};
1006     return {Check::CheckNot, Rest};
1009     return {Check::CheckDAG, Rest};
1012     return {Check::CheckLabel, Rest};
1015     return {Check::CheckEmpty, Rest};
1022     return {Check::CheckBadNot, Rest};
1024   return {Check::CheckNone, Rest};
1059                         unsigned &LineNumber, Check::FileCheckType &CheckTy) {
1079     // Check that the matched prefix isn't a suffix of some other check-like
1090       if (CheckTy != Check::CheckNone)
1142         Pattern(Check::CheckNot, PatternContext.get()));
1154     Check::FileCheckType CheckTy;
1179     if (CheckTy == Check::CheckBadNot) {
1186     if (CheckTy == Check::CheckBadCount) {
1210     if ((CheckTy == Check::CheckLabel) && P.hasVariable()) {
1221     if ((CheckTy == Check::CheckNext || CheckTy == Check::CheckSame ||
1222          CheckTy == Check::CheckEmpty) &&
1224       StringRef Type = CheckTy == Check::CheckNext
1226                            : CheckTy == Check::CheckEmpty ? "EMPTY" : "SAME";
1235     if (CheckTy == Check::CheckDAG || CheckTy == Check::CheckNot) {
1250         Pattern(Check::CheckEOF, PatternContext.get(), LineNumber + 1),
1283     if (!Req.VerboseVerbose && Pat.getCheckTy() == Check::CheckEOF)
1410 size_t FileCheckString::Check(const SourceMgr &SM, StringRef Buffer,
1493   if (Pat.getCheckTy() != Check::CheckNext &&
1494       Pat.getCheckTy() != Check::CheckEmpty)
1499       Twine(Pat.getCheckTy() == Check::CheckEmpty ? "-EMPTY" : "-NEXT");
1532   if (Pat.getCheckTy() != Check::CheckSame)
1558     assert((Pat->getCheckTy() == Check::CheckNot) && "Expect CHECK-NOT!");
1603     assert((Pat.getCheckTy() == Check::CheckDAG ||
1604             Pat.getCheckTy() == Check::CheckNot) &&
1607     if (Pat.getCheckTy() == Check::CheckNot) {
1612     assert((Pat.getCheckTy() == Check::CheckDAG) && "Expect CHECK-DAG!");
1686         std::next(PatItr)->getCheckTy() == Check::CheckNot) {
1854       // Check that CmdlineName does not denote a pseudo variable is only
1926       if (CheckLabelStr.Pat.getCheckTy() != Check::CheckLabel) {
1934           CheckLabelStr.Check(SM, Buffer, true, MatchLabelLen, Req, Diags);
1953       // Check each string within the scanned region, including a second check
1957           CheckStr.Check(SM, CheckRegion, false, MatchLen, Req, Diags);