Add a new little "FileCheck" utility for regression testing.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75022 91177308-0d34-0410-b5e6-96231b3b80d8

5 files changed, 211 insertions, 8 deletions

diff --git a/utils/FileCheck/CMakeLists.txt b/utils/FileCheck/CMakeLists.txt
new file mode 100644
index 0000000..8fee03f
--- /dev/null
+++ b/utils/FileCheck/CMakeLists.txt
@@ -0,0 +1,11 @@
+add_executable(FileCheck
+  FileCheck.cpp
+  )
+
+target_link_libraries(FileCheck LLVMSupport LLVMSystem)
+if( MINGW )
+  target_link_libraries(FileCheck imagehlp psapi)
+endif( MINGW )
+if( LLVM_ENABLE_THREADS AND HAVE_LIBPTHREAD )
+  target_link_libraries(FileCheck pthread)
+endif()
diff --git a/utils/FileCheck/FileCheck.cpp b/utils/FileCheck/FileCheck.cpp
new file mode 100644
index 0000000..9611d24
--- /dev/null
+++ b/utils/FileCheck/FileCheck.cpp
@@ -0,0 +1,174 @@
+//===- FileCheck.cpp - Check that File's Contents match what is expected --===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// FileCheck does a line-by line check of a file that validates whether it
+// contains the expected content.  This is useful for regression tests etc.
+//
+// This program exits with an error status of 2 on error, exit status of 0 if
+// the file matched the expected contents, and exit status of 1 if it did not
+// contain the expected contents.
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm/Support/CommandLine.h"
+#include "llvm/Support/MemoryBuffer.h"
+#include "llvm/Support/PrettyStackTrace.h"
+#include "llvm/Support/SourceMgr.h"
+#include "llvm/Support/raw_ostream.h"
+#include "llvm/System/Signals.h"
+using namespace llvm;
+
+static cl::opt<std::string>
+CheckFilename(cl::Positional, cl::desc("<check-file>"), cl::Required);
+
+static cl::opt<std::string>
+InputFilename("input-file", cl::desc("File to check (defaults to stdin)"),
+              cl::init("-"), cl::value_desc("filename"));
+
+static cl::opt<std::string>
+CheckPrefix("check-prefix", cl::init("CHECK"),
+            cl::desc("Prefix to use from check file (defaults to 'CHECK')"));
+
+
+/// FindStringInBuffer - This is basically just a strstr wrapper that differs in
+/// two ways: first it handles 'nul' characters in memory buffers, second, it
+/// returns the end of the memory buffer on match failure.
+static const char *FindStringInBuffer(const char *Str, const char *CurPtr,
+                                      const MemoryBuffer &MB) {
+  // Check to see if we have a match.  If so, just return it.
+  if (const char *Res = strstr(CurPtr, Str))
+    return Res;
+  
+  // If not, check to make sure we didn't just find an embedded nul in the
+  // memory buffer.
+  const char *Ptr = CurPtr + strlen(CurPtr);
+  
+  // If we really reached the end of the file, return it.
+  if (Ptr == MB.getBufferEnd())
+    return Ptr;
+    
+  // Otherwise, just skip this section of the file, including the nul.
+  return FindStringInBuffer(Str, Ptr+1, MB);
+}
+
+/// ReadCheckFile - Read the check file, which specifies the sequence of
+/// expected strings.  The strings are added to the CheckStrings vector.
+static bool ReadCheckFile(SourceMgr &SM,
+                          std::vector<std::pair<std::string, SMLoc> >
+                                         &CheckStrings) {
+  // Open the check file, and tell SourceMgr about it.
+  std::string ErrorStr;
+  MemoryBuffer *F =
+    MemoryBuffer::getFileOrSTDIN(CheckFilename.c_str(), &ErrorStr);
+  if (F == 0) {
+    errs() << "Could not open check file '" << CheckFilename << "': " 
+           << ErrorStr << '\n';
+    return true;
+  }
+  SM.AddNewSourceBuffer(F, SMLoc());
+
+  // Find all instances of CheckPrefix followed by : in the file.  The
+  // MemoryBuffer is guaranteed to be nul terminated, but may have nul's
+  // embedded into it.  We don't support check strings with embedded nuls.
+  std::string Prefix = CheckPrefix + ":";
+  const char *CurPtr = F->getBufferStart(), *BufferEnd = F->getBufferEnd();
+
+  while (1) {
+    // See if Prefix occurs in the memory buffer.
+    const char *Ptr = FindStringInBuffer(Prefix.c_str(), CurPtr, *F);
+    
+    // If we didn't find a match, we're done.
+    if (Ptr == BufferEnd)
+      break;
+    
+    // Okay, we found the prefix, yay.  Remember the rest of the line, but
+    // ignore leading and trailing whitespace.
+    Ptr += Prefix.size();
+    while (*Ptr == ' ' || *Ptr == '\t')
+      ++Ptr;
+    
+    // Scan ahead to the end of line.
+    CurPtr = Ptr;
+    while (CurPtr != BufferEnd && *CurPtr != '\n' && *CurPtr != '\r')
+      ++CurPtr;
+    
+    // Ignore trailing whitespace.
+    while (CurPtr[-1] == ' ' || CurPtr[-1] == '\t')
+      --CurPtr;
+    
+    // Check that there is something on the line.
+    if (Ptr >= CurPtr) {
+      SM.PrintMessage(SMLoc::getFromPointer(CurPtr),
+                      "found empty check string with prefix '"+Prefix+"'",
+                      "error");
+      return true;
+    }
+    
+    // Okay, add the string we captured to the output vector and move on.
+    CheckStrings.push_back(std::make_pair(std::string(Ptr, CurPtr),
+                                          SMLoc::getFromPointer(Ptr)));
+  }
+  
+  if (CheckStrings.empty()) {
+    errs() << "error: no check strings found with prefix '" << Prefix << "'\n";
+    return true;
+  }
+  
+  return false;
+}
+
+
+int main(int argc, char **argv) {
+  sys::PrintStackTraceOnErrorSignal();
+  PrettyStackTraceProgram X(argc, argv);
+  cl::ParseCommandLineOptions(argc, argv);
+
+  SourceMgr SM;
+  
+  // Read the expected strings from the check file.
+  std::vector<std::pair<std::string, SMLoc> > CheckStrings;
+  if (ReadCheckFile(SM, CheckStrings))
+    return 2;
+
+  // Open the file to check and add it to SourceMgr.
+  std::string ErrorStr;
+  MemoryBuffer *F =
+    MemoryBuffer::getFileOrSTDIN(InputFilename.c_str(), &ErrorStr);
+  if (F == 0) {
+    errs() << "Could not open input file '" << InputFilename << "': " 
+           << ErrorStr << '\n';
+    return true;
+  }
+  SM.AddNewSourceBuffer(F, SMLoc());
+  
+  // Check that we have all of the expected strings, in order, in the input
+  // file.
+  const char *CurPtr = F->getBufferStart(), *BufferEnd = F->getBufferEnd();
+  
+  for (unsigned StrNo = 0, e = CheckStrings.size(); StrNo != e; ++StrNo) {
+    const std::pair<std::string, SMLoc> &CheckStr = CheckStrings[StrNo];
+    
+    // Find StrNo in the file.
+    const char *Ptr = FindStringInBuffer(CheckStr.first.c_str(), CurPtr, *F);
+    
+    // If we found a match, we're done, move on.
+    if (Ptr != BufferEnd) {
+      CurPtr = Ptr + CheckStr.first.size();
+      continue;
+    }
+    
+    // Otherwise, we have an error, emit an error message.
+    SM.PrintMessage(CheckStr.second, "expected string not found in input",
+                    "error");
+    SM.PrintMessage(SMLoc::getFromPointer(CurPtr), "scanning from here",
+                    "note");
+  }
+  
+  return 0;
+}
diff --git a/utils/FileCheck/Makefile b/utils/FileCheck/Makefile
new file mode 100644
index 0000000..88b0296
--- /dev/null
+++ b/utils/FileCheck/Makefile
@@ -0,0 +1,18 @@
+##===- utils/FileCheck/Makefile ----------------------------*- Makefile -*-===##
+# 
+#                     The LLVM Compiler Infrastructure
+#
+# This file is distributed under the University of Illinois Open Source
+# License. See LICENSE.TXT for details.
+# 
+##===----------------------------------------------------------------------===##
+
+LEVEL = ../..
+TOOLNAME = FileCheck
+USEDLIBS = LLVMSupport.a LLVMSystem.a
+
+# This tool has no plugins, optimize startup time.
+TOOL_NO_EXPORTS = 1
+
+include $(LEVEL)/Makefile.common
+
diff --git a/utils/Makefile b/utils/Makefile
index c43086b..22f29f2 100644
--- a/utils/Makefile
+++ b/utils/Makefile
@@ -8,7 +8,7 @@
 ##===----------------------------------------------------------------------===##
 
 LEVEL = ..
-PARALLEL_DIRS := TableGen fpcmp PerfectShuffle unittest
+PARALLEL_DIRS := TableGen fpcmp PerfectShuffle FileCheck unittest
 
 EXTRA_DIST := cgiplotNLT.pl check-each-file codegen-diff countloc.sh cvsupdate \
               DSAclean.py DSAextract.py emacs findsym.pl GenLibDeps.pl \
diff --git a/utils/TableGen/TableGen.cpp b/utils/TableGen/TableGen.cpp
index 6015814..90fba06 100644
--- a/utils/TableGen/TableGen.cpp
+++ b/utils/TableGen/TableGen.cpp
@@ -17,12 +17,6 @@
 
 #include "Record.h"
 #include "TGParser.h"
-#include "llvm/Support/CommandLine.h"
-#include "llvm/System/Signals.h"
-#include "llvm/Support/FileUtilities.h"
-#include "llvm/Support/MemoryBuffer.h"
-#include "llvm/Support/PrettyStackTrace.h"
-#include "llvm/Support/raw_ostream.h"
 #include "CallingConvEmitter.h"
 #include "CodeEmitterGen.h"
 #include "RegisterInfoEmitter.h"
@@ -35,6 +29,12 @@
 #include "IntrinsicEmitter.h"
 #include "LLVMCConfigurationEmitter.h"
 #include "ClangDiagnosticsEmitter.h"
+#include "llvm/Support/CommandLine.h"
+#include "llvm/Support/FileUtilities.h"
+#include "llvm/Support/MemoryBuffer.h"
+#include "llvm/Support/PrettyStackTrace.h"
+#include "llvm/Support/raw_ostream.h"
+#include "llvm/System/Signals.h"
 #include <algorithm>
 #include <cstdio>
 using namespace llvm;
@@ -138,7 +138,7 @@ static bool ParseFile(const std::string &Filename,
   std::string ErrorStr;
   MemoryBuffer *F = MemoryBuffer::getFileOrSTDIN(Filename.c_str(), &ErrorStr);
   if (F == 0) {
-    errs() << "Could not open input file '" + Filename + "': " 
+    errs() << "Could not open input file '" << Filename << "': " 
            << ErrorStr <<"\n";
     return true;
   }