driver_test.cpp 9.1 KB

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