[flang][driver] Refactor unit tests for frontend actions (nfc)

[awarzynski]

Summary

These patch implements a few non-functional-changes:

• switch to using test fixtures for better code sharing
• rename some variables (e.g. to communicate their purpose a bit better)

This patch doesn't change _what_ is being tested.

[awarzynski]

Rebase on top of main + refine

Making sure that the temporary test files have unique names. Also update
variables names (e.g. invocation -> invocation_) so that they conform to
Flang's coding style. Otherwise just updated comments.

[sameeranjoshi]

Thank you!
That was much needed to extract into a fixture, given a few upcoming reviews.

flang/unittests/Frontend/FrontendActionTest.cpp

72–76

Does it mean that setting ClearOutputFiles to false will always not delete the files, as you are trying to mention that it's safe to call it anyways ?
If that's true what happens when a command line option creates physical file?
So should this be left to individual TEST_F function?

[sameeranjoshi]

flang/unittests/Frontend/FrontendActionTest.cpp

9

Just trying to understand - why is this error from clang-tidy?
Also I see https://buildkite.com/llvm-project/premerge-checks/builds/20385#c11feba0-7c79-4290-8631-3026a7ff89aa
failing for the same.

[awarzynski]

Thank you for reviewing @sameeranjoshi !

flang/unittests/Frontend/FrontendActionTest.cpp

9

I've not been able to reproduce this :( To me it looks like the pre-merge script is doing something unexpected. Clearly this line is perfectly fine.

I reported this with llvm-premerge-checks - hopefully they will have the bandwidth to look into this.

72–76

CASE 1
In normal circumstances, the compiler's job is to generate output files, so:

• EraseFiles will be set to False (i.e. the output files should be kept after the compiler exits)
• ClearOutputFiles will simply resets the internal state of CompilerInstance.

CASE 2
However, in some cases the compiler should delete the files, e.g.:

• when compilation fails: https://github.com/llvm/llvm-project/blob/d6abd7317a269dc7d0204edb8e98f8fcc1a18a2f/flang/lib/Frontend/FrontendAction.cpp#L20-L26
• when the output files are only used for testing (and should be removed once the test is complete).

CASE 3
Finally, some actions don't generate output files, e.g. ParseSyntaxOnly, so calling ClearOutputFiles doesn't really do much.

In all cases calling ClearOutputFiles(/*EraseFiles=*/false); gives the desired behavior.

Let me clarify the comment to make it clearer!

[awarzynski]

Clarify the comment for ClearOutputFIles

[awarzynski]

Please ignore the previous revision (i.e. Diff 3). Review Diff 4 instead.

flang/unittests/Frontend/FrontendActionTest.cpp

 //===- unittests/Frontend/PrintPreprocessedTest.cpp  FrontendAction tests--===//
 //
 // 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 "gtest/gtest.h"
 #include "flang/Frontend/CompilerInstance.h"
+#include "flang/Frontend/CompilerInvocation.h"
 #include "flang/Frontend/FrontendOptions.h"
 #include "flang/FrontendTool/Utils.h"
 #include "llvm/Support/FileSystem.h"
 #include "llvm/Support/raw_ostream.h"
 
 using namespace Fortran::frontend;
 
 namespace {
 
-TEST(FrontendAction, PrintPreprocessedInput) {
-  std::string inputFile = "test-file.f";
-  std::error_code ec;
-
-  // 1. Create the input file for the file manager
-  // AllSources (which is used to manage files inside every compiler instance),
-  // works with paths. This means that it requires a physical file. Create one.
-  std::unique_ptr<llvm::raw_fd_ostream> os{
-      new llvm::raw_fd_ostream(inputFile, ec, llvm::sys::fs::OF_None)};
-  if (ec)
-    FAIL() << "Fail to create the file need by the test";
+class FrontendActionTest : public ::testing::Test {
+protected:
+  // AllSources (which is used to manage files inside every compiler
+  // instance), works with paths. So we need a filename and a path for the
+  // input file.
+  std::string inputFile_ = "test-file.f";
+  std::string inputFilePath_;
+  // The output stream for the input file.
+  std::unique_ptr<llvm::raw_fd_ostream> inputFileOs_;
 
-  // Populate the input file with the pre-defined input and flush it.
-  *(os) << "! test-file.F:\n"
-        << "#ifdef NEW\n"
-        << "  Program A \n"
-        << "#else\n"
-        << "  Program B\n"
-        << "#endif";
-  os.reset();
+  std::error_code ec_;
+
+  CompilerInstance compInst;
+  std::shared_ptr<CompilerInvocation> invocation;
+
+  void SetUp() override {
+    // Create the input file.
+    inputFileOs_ = std::make_unique<llvm::raw_fd_ostream>(
+        inputFile_, ec_, llvm::sys::fs::OF_None);
+    if (ec_)
+      FAIL() << "Fail to create the file need by the test";
 
     // Get the path of the input file
     llvm::SmallString<64> cwd;
-  if (std::error_code ec = llvm::sys::fs::current_path(cwd))
+    if (std::error_code ec_ = llvm::sys::fs::current_path(cwd))
       FAIL() << "Failed to obtain the current working directory";
-  std::string testFilePath(cwd.c_str());
-  testFilePath += "/" + inputFile;
+    inputFilePath_ = cwd.c_str();
+    inputFilePath_ += "/" + inputFile_;
 
-  // 2. Prepare the compiler (CompilerInvocation + CompilerInstance)
-  CompilerInstance compInst;
+    // Prepare the compiler (CompilerInvocation + CompilerInstance)
     compInst.CreateDiagnostics();
-  auto invocation = std::make_shared<CompilerInvocation>();
-  invocation->frontendOpts().programAction_ = PrintPreprocessedInput;
+    invocation = std::make_shared<CompilerInvocation>();
 
     compInst.set_invocation(std::move(invocation));
     compInst.frontendOpts().inputs_.push_back(
-      FrontendInputFile(testFilePath, Language::Fortran));
+        FrontendInputFile(inputFilePath_, Language::Fortran));
+  }
+
+  void TearDown() override {
+    // Clear the input file.
+    llvm::sys::fs::remove(inputFile_);
+
+    // Clear the output files. Note that these tests use an output buffer (as
+    // opposed to an output file), hence there are no physical output files to
+    // delete. Also, some actions don't generated output (e.g.
+    // ParseSyntaxOnly), but it's safe to call this anyway.
+    compInst.ClearOutputFiles(/*EraseFiles=*/false);
+  }
+};
+
+TEST_F(FrontendActionTest, PrintPreprocessedInput) {
+  // Populate the input file with the pre-defined input and flush it.
+  *(inputFileOs_) << "! test-file.F:\n"
+                  << "#ifdef NEW\n"
+                  << "  Program A \n"
+                  << "#else\n"
+                  << "  Program B\n"
+                  << "#endif";
+  inputFileOs_.reset();
+
+  // Set-up the action kind.
+  compInst.invocation().frontendOpts().programAction_ = PrintPreprocessedInput;
 
-  // 3. Set-up the output stream. Using output buffer wrapped as an output
+  // Set-up the output stream. We are using output buffer wrapped as an output
   // stream, as opposed to an actual file (or a file descriptor).
   llvm::SmallVector<char, 256> outputFileBuffer;
   std::unique_ptr<llvm::raw_pwrite_stream> outputFileStream(
       new llvm::raw_svector_ostream(outputFileBuffer));
   compInst.set_outputStream(std::move(outputFileStream));
 
-  // 4. Run the earlier defined FrontendAction
+  // Execute the action.
   bool success = ExecuteCompilerInvocation(&compInst);
 
-  // 5. Validate the expected output
+  // Validate the expected output.
   EXPECT_TRUE(success);
   EXPECT_TRUE(!outputFileBuffer.empty());
   EXPECT_TRUE(
       llvm::StringRef(outputFileBuffer.data()).startswith("program b\n"));
-
-  // 6. Clear the input and the output files. Since we used an output buffer,
-  // there are no physical output files to delete.
-  llvm::sys::fs::remove(inputFile);
-  compInst.ClearOutputFiles(/*EraseFiles=*/true);
 }
 
-TEST(FrontendAction, ParseSyntaxOnly) {
-  std::string inputFile = "test-file.f";
-  std::error_code ec;
-
-  // 1. Create the input file for the file manager
-  // AllSources (which is used to manage files inside every compiler instance),
-  // works with paths. This means that it requires a physical file. Create one.
-  std::unique_ptr<llvm::raw_fd_ostream> os{
-      new llvm::raw_fd_ostream(inputFile, ec, llvm::sys::fs::OF_None)};
-  if (ec)
-    FAIL() << "Fail to create the file need by the test";
-
+TEST_F(FrontendActionTest, ParseSyntaxOnly) {
   // Populate the input file with the pre-defined input and flush it.
-  *(os) << "! if_stmt.f90:\n"
+  *(inputFileOs_) << "! if_stmt.f90:\n"
                   << "IF (A > 0.0) IF (B < 0.0) A = LOG (A)\n"
                   << "END";
-  os.reset();
-
-  // Get the path of the input file
-  llvm::SmallString<64> cwd;
-  if (std::error_code ec = llvm::sys::fs::current_path(cwd))
-    FAIL() << "Failed to obtain the current working directory";
-  std::string testFilePath(cwd.c_str());
-  testFilePath += "/" + inputFile;
+  inputFileOs_.reset();
 
-  // 2. Prepare the compiler (CompilerInvocation + CompilerInstance)
-  CompilerInstance compInst;
-  compInst.CreateDiagnostics();
-  auto invocation = std::make_shared<CompilerInvocation>();
-  invocation->frontendOpts().programAction_ = ParseSyntaxOnly;
+  // Set-up the action kind.
+  compInst.invocation().frontendOpts().programAction_ = ParseSyntaxOnly;
 
-  compInst.set_invocation(std::move(invocation));
-  compInst.frontendOpts().inputs_.push_back(
-      FrontendInputFile(testFilePath, Language::Fortran));
-
-  // 3. Set-up the output stream for the semantic diagnostics.
+  // Set-up the output stream for the semantic diagnostics.
   llvm::SmallVector<char, 256> outputDiagBuffer;
   std::unique_ptr<llvm::raw_pwrite_stream> outputStream(
       new llvm::raw_svector_ostream(outputDiagBuffer));
   compInst.set_semaOutputStream(std::move(outputStream));
 
-  // 4. Execute the ParseSyntaxOnly action
+  // Execute the action.
   bool success = ExecuteCompilerInvocation(&compInst);
 
-  // 5. Validate the expected output
+  // Validate the expected output.
   EXPECT_FALSE(success);
   EXPECT_TRUE(!outputDiagBuffer.empty());
   EXPECT_TRUE(
       llvm::StringRef(outputDiagBuffer.data())
           .startswith(
               ":2:14: error: IF statement is not allowed in IF statement\n"));
-
-  // 6. Clear the input files.
-  llvm::sys::fs::remove(inputFile);
 }
 } // namespace