• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===- Tester.h -------------------------------------------------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file defines the Tester class used in the MLIR Reduce tool.
10 //
11 // A Tester object is passed as an argument to the reduction passes and it is
12 // used to run the interestingness testing script on the different generated
13 // reduced variants of the test case.
14 //
15 //===----------------------------------------------------------------------===//
16 
17 #ifndef MLIR_REDUCER_TESTER_H
18 #define MLIR_REDUCER_TESTER_H
19 
20 #include <vector>
21 
22 #include "mlir/IR/BuiltinOps.h"
23 #include "llvm/ADT/SmallString.h"
24 #include "llvm/Support/Error.h"
25 #include "llvm/Support/FileSystem.h"
26 #include "llvm/Support/Program.h"
27 
28 namespace mlir {
29 
30 /// This class is used to keep track of the testing environment of the tool. It
31 /// contains a method to run the interestingness testing script on a MLIR test
32 /// case file.
33 class Tester {
34 public:
35   Tester(StringRef testScript, ArrayRef<std::string> testScriptArgs);
36 
37   /// Runs the interestingness testing script on a MLIR test case file. Returns
38   /// true if the interesting behavior is present in the test case or false
39   /// otherwise.
40   bool isInteresting(StringRef testCase) const;
41 
42 private:
43   StringRef testScript;
44   ArrayRef<std::string> testScriptArgs;
45 };
46 
47 } // end namespace mlir
48 
49 #endif
50