driver_test.cpp 9.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238
  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. #include "toolchain/driver/driver.h"
  5. #include <gmock/gmock.h>
  6. #include <gtest/gtest.h>
  7. #include "llvm/ADT/SmallString.h"
  8. #include "llvm/Support/FileSystem.h"
  9. #include "llvm/Support/SourceMgr.h"
  10. #include "toolchain/common/yaml_test_helpers.h"
  11. namespace Carbon {
  12. namespace {
  13. using ::testing::ElementsAre;
  14. using ::testing::HasSubstr;
  15. using ::testing::StrEq;
  16. namespace Yaml = Carbon::Testing::Yaml;
  17. /// A raw_ostream that makes it easy to repeatedly check streamed output.
  18. class RawTestOstream : public llvm::raw_ostream {
  19. public:
  20. ~RawTestOstream() override {
  21. flush();
  22. if (!buffer_.empty()) {
  23. ADD_FAILURE() << "Unchecked output:\n" << buffer_;
  24. }
  25. }
  26. /// Flushes the stream and returns the contents so far, clearing the stream
  27. /// back to empty.
  28. auto TakeStr() -> std::string {
  29. flush();
  30. std::string result = std::move(buffer_);
  31. buffer_.clear();
  32. return result;
  33. }
  34. private:
  35. void write_impl(const char* ptr, size_t size) override {
  36. buffer_.append(ptr, ptr + size);
  37. }
  38. [[nodiscard]] auto current_pos() const -> uint64_t override {
  39. return buffer_.size();
  40. }
  41. std::string buffer_;
  42. };
  43. TEST(DriverTest, FullCommandErrors) {
  44. RawTestOstream test_output_stream;
  45. RawTestOstream test_error_stream;
  46. Driver driver = Driver(test_output_stream, test_error_stream);
  47. EXPECT_FALSE(driver.RunFullCommand({}));
  48. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  49. EXPECT_FALSE(driver.RunFullCommand({"foo"}));
  50. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  51. EXPECT_FALSE(driver.RunFullCommand({"foo --bar --baz"}));
  52. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  53. }
  54. TEST(DriverTest, Help) {
  55. RawTestOstream test_output_stream;
  56. RawTestOstream test_error_stream;
  57. Driver driver = Driver(test_output_stream, test_error_stream);
  58. EXPECT_TRUE(driver.RunHelpSubcommand({}));
  59. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  60. auto help_text = test_output_stream.TakeStr();
  61. // Help text should mention each subcommand.
  62. #define CARBON_SUBCOMMAND(Name, Spelling, ...) \
  63. EXPECT_THAT(help_text, HasSubstr(Spelling));
  64. #include "toolchain/driver/flags.def"
  65. // Check that the subcommand dispatch works.
  66. EXPECT_TRUE(driver.RunFullCommand({"help"}));
  67. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  68. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(help_text));
  69. }
  70. TEST(DriverTest, HelpErrors) {
  71. RawTestOstream test_output_stream;
  72. RawTestOstream test_error_stream;
  73. Driver driver = Driver(test_output_stream, test_error_stream);
  74. EXPECT_FALSE(driver.RunHelpSubcommand({"foo"}));
  75. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  76. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  77. EXPECT_FALSE(driver.RunHelpSubcommand({"help"}));
  78. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  79. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  80. EXPECT_FALSE(driver.RunHelpSubcommand({"--xyz"}));
  81. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  82. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  83. }
  84. auto CreateTestFile(llvm::StringRef text) -> std::string {
  85. int fd = -1;
  86. llvm::SmallString<1024> path;
  87. auto ec = llvm::sys::fs::createTemporaryFile("test_file", ".txt", fd, path);
  88. if (ec) {
  89. llvm::report_fatal_error(llvm::Twine("Failed to create temporary file: ") +
  90. ec.message());
  91. }
  92. llvm::raw_fd_ostream s(fd, /*shouldClose=*/true);
  93. s << text;
  94. s.close();
  95. return path.str().str();
  96. }
  97. TEST(DriverTest, DumpTokens) {
  98. RawTestOstream test_output_stream;
  99. RawTestOstream test_error_stream;
  100. Driver driver = Driver(test_output_stream, test_error_stream);
  101. auto test_file_path = CreateTestFile("Hello World");
  102. EXPECT_TRUE(driver.RunDumpTokensSubcommand({test_file_path}));
  103. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  104. auto tokenized_text = test_output_stream.TakeStr();
  105. EXPECT_THAT(Yaml::Value::FromText(tokenized_text),
  106. ElementsAre(Yaml::MappingValue{
  107. {"token", Yaml::MappingValue{{"index", "0"},
  108. {"kind", "Identifier"},
  109. {"line", "1"},
  110. {"column", "1"},
  111. {"indent", "1"},
  112. {"spelling", "Hello"},
  113. {"identifier", "0"},
  114. {"has_trailing_space", "true"}}},
  115. {"token", Yaml::MappingValue{{"index", "1"},
  116. {"kind", "Identifier"},
  117. {"line", "1"},
  118. {"column", "7"},
  119. {"indent", "1"},
  120. {"spelling", "World"},
  121. {"identifier", "1"},
  122. {"has_trailing_space", "true"}}},
  123. {"token", Yaml::MappingValue{{"index", "2"},
  124. {"kind", "EndOfFile"},
  125. {"line", "1"},
  126. {"column", "12"},
  127. {"indent", "1"},
  128. {"spelling", ""}}}}));
  129. // Check that the subcommand dispatch works.
  130. EXPECT_TRUE(driver.RunFullCommand({"dump-tokens", test_file_path}));
  131. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  132. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(tokenized_text));
  133. }
  134. TEST(DriverTest, DumpTokenErrors) {
  135. RawTestOstream test_output_stream;
  136. RawTestOstream test_error_stream;
  137. Driver driver = Driver(test_output_stream, test_error_stream);
  138. EXPECT_FALSE(driver.RunDumpTokensSubcommand({}));
  139. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  140. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  141. EXPECT_FALSE(driver.RunDumpTokensSubcommand({"--xyz"}));
  142. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  143. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  144. EXPECT_FALSE(driver.RunDumpTokensSubcommand({"/not/a/real/file/name"}));
  145. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  146. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  147. }
  148. TEST(DriverTest, DumpParseTree) {
  149. RawTestOstream test_output_stream;
  150. RawTestOstream test_error_stream;
  151. Driver driver = Driver(test_output_stream, test_error_stream);
  152. auto test_file_path = CreateTestFile("var v: Int = 42;");
  153. EXPECT_TRUE(driver.RunDumpParseTreeSubcommand({test_file_path}));
  154. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  155. auto tokenized_text = test_output_stream.TakeStr();
  156. EXPECT_THAT(
  157. Yaml::Value::FromText(tokenized_text),
  158. ElementsAre(Yaml::SequenceValue{
  159. Yaml::MappingValue{
  160. {"node_index", "6"},
  161. {"kind", "VariableDeclaration"},
  162. {"text", "var"},
  163. {"subtree_size", "7"},
  164. {"children",
  165. Yaml::SequenceValue{
  166. Yaml::MappingValue{
  167. {"node_index", "2"},
  168. {"kind", "PatternBinding"},
  169. {"text", ":"},
  170. {"subtree_size", "3"},
  171. {"children",
  172. Yaml::SequenceValue{
  173. Yaml::MappingValue{{"node_index", "0"},
  174. {"kind", "DeclaredName"},
  175. {"text", "v"}},
  176. Yaml::MappingValue{{"node_index", "1"},
  177. {"kind", "NameReference"},
  178. {"text", "Int"}}}}},
  179. Yaml::MappingValue{{"node_index", "4"},
  180. {"kind", "VariableInitializer"},
  181. {"text", "="},
  182. {"subtree_size", "2"},
  183. {"children", //
  184. Yaml::SequenceValue{Yaml::MappingValue{
  185. {"node_index", "3"},
  186. {"kind", "Literal"},
  187. {"text", "42"}}}}},
  188. Yaml::MappingValue{{"node_index", "5"},
  189. {"kind", "DeclarationEnd"},
  190. {"text", ";"}}}}},
  191. Yaml::MappingValue{{"node_index", "7"}, //
  192. {"kind", "FileEnd"},
  193. {"text", ""}}}));
  194. // Check that the subcommand dispatch works.
  195. EXPECT_TRUE(driver.RunFullCommand({"dump-parse-tree", test_file_path}));
  196. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  197. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(tokenized_text));
  198. }
  199. } // namespace
  200. } // namespace Carbon