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