file_test.cpp 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. #ifndef CARBON_TOOLCHAIN_DRIVER_DRIVER_FILE_TEST_BASE_H_
  5. #define CARBON_TOOLCHAIN_DRIVER_DRIVER_FILE_TEST_BASE_H_
  6. #include <string>
  7. #include "common/error.h"
  8. #include "llvm/ADT/STLExtras.h"
  9. #include "llvm/ADT/SmallVector.h"
  10. #include "llvm/ADT/StringRef.h"
  11. #include "llvm/Support/FormatVariadic.h"
  12. #include "llvm/Support/VirtualFileSystem.h"
  13. #include "testing/file_test/file_test_base.h"
  14. #include "toolchain/driver/driver.h"
  15. namespace Carbon::Testing {
  16. namespace {
  17. // Provides common test support for the driver. This is used by file tests in
  18. // phase subdirectories.
  19. class ToolchainFileTest : public FileTestBase {
  20. public:
  21. explicit ToolchainFileTest(llvm::StringRef exe_path,
  22. llvm::StringRef test_name)
  23. : FileTestBase(test_name),
  24. component_(GetComponent(test_name)),
  25. installation_(InstallPaths::MakeForBazelRunfiles(exe_path)) {}
  26. auto Run(const llvm::SmallVector<llvm::StringRef>& test_args,
  27. llvm::vfs::InMemoryFileSystem& fs, llvm::raw_pwrite_stream& stdout,
  28. llvm::raw_pwrite_stream& stderr) -> ErrorOr<RunResult> override {
  29. auto prelude =
  30. Driver::FindPreludeFiles(installation_.core_package(), stderr);
  31. if (prelude.empty()) {
  32. return Error("Could not find prelude");
  33. }
  34. for (const auto& file : prelude) {
  35. CARBON_RETURN_IF_ERROR(AddFile(fs, file));
  36. }
  37. Driver driver(fs, &installation_, stdout, stderr);
  38. auto driver_result = driver.RunCommand(test_args);
  39. RunResult result{
  40. .success = driver_result.success,
  41. .per_file_success = std::move(driver_result.per_file_success)};
  42. // Drop entries that don't look like a file, and entries corresponding to
  43. // the prelude. Note this can empty out the list.
  44. llvm::erase_if(result.per_file_success,
  45. [&](std::pair<llvm::StringRef, bool> entry) {
  46. return entry.first == "." || entry.first == "-" ||
  47. entry.first.starts_with("not_file") ||
  48. llvm::is_contained(prelude, entry.first);
  49. });
  50. return result;
  51. }
  52. auto GetDefaultArgs() -> llvm::SmallVector<std::string> override {
  53. llvm::SmallVector<std::string> args = {"compile",
  54. "--phase=" + component_.str()};
  55. if (component_ == "lex") {
  56. args.push_back("--dump-tokens");
  57. } else if (component_ == "parse") {
  58. args.push_back("--dump-parse-tree");
  59. } else if (component_ == "check") {
  60. args.push_back("--dump-sem-ir");
  61. } else if (component_ == "lower") {
  62. args.push_back("--dump-llvm-ir");
  63. } else {
  64. CARBON_FATAL() << "Unexpected test component " << component_ << ": "
  65. << test_name();
  66. }
  67. // For `lex` and `parse`, we don't need to import the prelude; exclude it to
  68. // focus errors. In other phases we only do this for explicit "no_prelude"
  69. // tests.
  70. if (component_ == "lex" || component_ == "parse" ||
  71. test_name().find("/no_prelude/") != llvm::StringRef::npos) {
  72. args.push_back("--no-prelude-import");
  73. }
  74. args.insert(
  75. args.end(),
  76. {"--exclude-dump-file-prefix=" + installation_.core_package(), "%s"});
  77. return args;
  78. }
  79. auto GetDefaultFileRE(llvm::ArrayRef<llvm::StringRef> filenames)
  80. -> std::optional<RE2> override {
  81. if (component_ == "lex") {
  82. return std::make_optional<RE2>(
  83. llvm::formatv(R"(^- filename: ({0})$)", llvm::join(filenames, "|")));
  84. }
  85. return FileTestBase::GetDefaultFileRE(filenames);
  86. }
  87. auto GetLineNumberReplacements(llvm::ArrayRef<llvm::StringRef> filenames)
  88. -> llvm::SmallVector<LineNumberReplacement> override {
  89. auto replacements = FileTestBase::GetLineNumberReplacements(filenames);
  90. if (component_ == "lex") {
  91. replacements.push_back({.has_file = false,
  92. .re = std::make_shared<RE2>(R"(line: (\s*\d+))"),
  93. // The `{{{{` becomes `{{`.
  94. .line_formatv = "{{{{ *}}{0}"});
  95. }
  96. return replacements;
  97. }
  98. auto DoExtraCheckReplacements(std::string& check_line) -> void override {
  99. if (component_ == "driver") {
  100. // TODO: Disable token output, it's not interesting for these tests.
  101. if (llvm::StringRef(check_line).starts_with("// CHECK:STDOUT: {")) {
  102. check_line = "// CHECK:STDOUT: {{.*}}";
  103. }
  104. } else if (component_ == "lex") {
  105. // Both FileStart and FileEnd regularly have locations on CHECK
  106. // comment lines that don't work correctly. The line happens to be correct
  107. // for the FileEnd, but we need to avoid checking the column.
  108. // The column happens to be right for FileStart, but the line is wrong.
  109. static RE2 file_token_re(
  110. R"((FileEnd.*column: |FileStart.*line: )( *\d+))");
  111. RE2::Replace(&check_line, file_token_re, R"(\1{{ *\\d+}})");
  112. } else {
  113. return FileTestBase::DoExtraCheckReplacements(check_line);
  114. }
  115. }
  116. private:
  117. // Adds a file to the fs.
  118. auto AddFile(llvm::vfs::InMemoryFileSystem& fs, llvm::StringRef path)
  119. -> ErrorOr<Success> {
  120. llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> file =
  121. llvm::MemoryBuffer::getFile(path);
  122. if (file.getError()) {
  123. return ErrorBuilder() << file.getError().message();
  124. }
  125. if (!fs.addFile(path, /*ModificationTime=*/0, std::move(*file))) {
  126. return ErrorBuilder() << "Duplicate file: " << path;
  127. }
  128. return Success();
  129. }
  130. // Returns the toolchain subdirectory being tested.
  131. static auto GetComponent(llvm::StringRef test_name) -> llvm::StringRef {
  132. // This handles cases where the toolchain directory may be copied into a
  133. // repository that doesn't put it at the root.
  134. auto pos = test_name.find("toolchain/");
  135. CARBON_CHECK(pos != llvm::StringRef::npos) << test_name;
  136. test_name = test_name.drop_front(pos + strlen("toolchain/"));
  137. test_name = test_name.take_front(test_name.find("/"));
  138. return test_name;
  139. }
  140. const llvm::StringRef component_;
  141. const InstallPaths installation_;
  142. };
  143. } // namespace
  144. CARBON_FILE_TEST_FACTORY(ToolchainFileTest)
  145. } // namespace Carbon::Testing
  146. #endif // CARBON_TOOLCHAIN_DRIVER_DRIVER_FILE_TEST_BASE_H_