ast_to_proto.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556
  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 "executable_semantics/fuzzing/ast_to_proto.h"
  5. #include <optional>
  6. #include "executable_semantics/ast/declaration.h"
  7. #include "executable_semantics/ast/expression.h"
  8. #include "llvm/Support/Casting.h"
  9. namespace Carbon {
  10. using ::llvm::cast;
  11. static auto ExpressionToProto(const Expression& expression)
  12. -> Fuzzing::Expression;
  13. static auto PatternToProto(const Pattern& pattern) -> Fuzzing::Pattern;
  14. static auto StatementToProto(const Statement& statement) -> Fuzzing::Statement;
  15. static auto DeclarationToProto(const Declaration& declaration)
  16. -> Fuzzing::Declaration;
  17. static auto LibraryNameToProto(const LibraryName& library_name)
  18. -> Fuzzing::LibraryName {
  19. Fuzzing::LibraryName library_name_proto;
  20. library_name_proto.set_package_name(library_name.package);
  21. if (!library_name.path.empty()) {
  22. library_name_proto.set_path(library_name.path);
  23. }
  24. return library_name_proto;
  25. }
  26. static auto OperatorToProtoEnum(const Operator op)
  27. -> Fuzzing::PrimitiveOperatorExpression::Operator {
  28. switch (op) {
  29. case Operator::AddressOf:
  30. return Fuzzing::PrimitiveOperatorExpression::AddressOf;
  31. case Operator::Deref:
  32. return Fuzzing::PrimitiveOperatorExpression::Deref;
  33. case Operator::Neg:
  34. return Fuzzing::PrimitiveOperatorExpression::Neg;
  35. case Operator::Not:
  36. return Fuzzing::PrimitiveOperatorExpression::Not;
  37. case Operator::Ptr:
  38. return Fuzzing::PrimitiveOperatorExpression::Ptr;
  39. case Operator::Add:
  40. return Fuzzing::PrimitiveOperatorExpression::Add;
  41. case Operator::And:
  42. return Fuzzing::PrimitiveOperatorExpression::And;
  43. case Operator::Eq:
  44. return Fuzzing::PrimitiveOperatorExpression::Eq;
  45. case Operator::Mul:
  46. return Fuzzing::PrimitiveOperatorExpression::Mul;
  47. case Operator::Or:
  48. return Fuzzing::PrimitiveOperatorExpression::Or;
  49. case Operator::Sub:
  50. return Fuzzing::PrimitiveOperatorExpression::Sub;
  51. }
  52. }
  53. static auto FieldInitializerToProto(const FieldInitializer& field)
  54. -> Fuzzing::FieldInitializer {
  55. Fuzzing::FieldInitializer field_proto;
  56. field_proto.set_name(field.name());
  57. *field_proto.mutable_expression() = ExpressionToProto(field.expression());
  58. return field_proto;
  59. }
  60. static auto TupleLiteralExpressionToProto(const TupleLiteral& tuple_literal)
  61. -> Fuzzing::TupleLiteralExpression {
  62. Fuzzing::TupleLiteralExpression tuple_literal_proto;
  63. for (Nonnull<const Expression*> field : tuple_literal.fields()) {
  64. *tuple_literal_proto.add_fields() = ExpressionToProto(*field);
  65. }
  66. return tuple_literal_proto;
  67. }
  68. static auto ExpressionToProto(const Expression& expression)
  69. -> Fuzzing::Expression {
  70. Fuzzing::Expression expression_proto;
  71. switch (expression.kind()) {
  72. case ExpressionKind::CallExpression: {
  73. const auto& call = cast<CallExpression>(expression);
  74. auto* call_proto = expression_proto.mutable_call();
  75. *call_proto->mutable_function() = ExpressionToProto(call.function());
  76. *call_proto->mutable_argument() = ExpressionToProto(call.argument());
  77. break;
  78. }
  79. case ExpressionKind::FunctionTypeLiteral: {
  80. const auto& fun_type = cast<FunctionTypeLiteral>(expression);
  81. auto* fun_type_proto = expression_proto.mutable_function_type();
  82. *fun_type_proto->mutable_parameter() =
  83. ExpressionToProto(fun_type.parameter());
  84. *fun_type_proto->mutable_return_type() =
  85. ExpressionToProto(fun_type.return_type());
  86. break;
  87. }
  88. case ExpressionKind::FieldAccessExpression: {
  89. const auto& field_access = cast<FieldAccessExpression>(expression);
  90. auto* field_access_proto = expression_proto.mutable_field_access();
  91. field_access_proto->set_field(field_access.field());
  92. *field_access_proto->mutable_aggregate() =
  93. ExpressionToProto(field_access.aggregate());
  94. break;
  95. }
  96. case ExpressionKind::IndexExpression: {
  97. const auto& index = cast<IndexExpression>(expression);
  98. auto* index_proto = expression_proto.mutable_index();
  99. *index_proto->mutable_aggregate() = ExpressionToProto(index.aggregate());
  100. *index_proto->mutable_offset() = ExpressionToProto(index.offset());
  101. break;
  102. }
  103. case ExpressionKind::PrimitiveOperatorExpression: {
  104. const auto& primitive_operator =
  105. cast<PrimitiveOperatorExpression>(expression);
  106. auto* operator_proto = expression_proto.mutable_primitive_operator();
  107. operator_proto->set_op(OperatorToProtoEnum(primitive_operator.op()));
  108. for (Nonnull<const Expression*> arg : primitive_operator.arguments()) {
  109. *operator_proto->add_arguments() = ExpressionToProto(*arg);
  110. }
  111. break;
  112. }
  113. case ExpressionKind::TupleLiteral:
  114. *expression_proto.mutable_tuple_literal() =
  115. TupleLiteralExpressionToProto(cast<TupleLiteral>(expression));
  116. break;
  117. case ExpressionKind::StructLiteral: {
  118. const auto& struct_literal = cast<StructLiteral>(expression);
  119. auto* struct_literal_proto = expression_proto.mutable_struct_literal();
  120. for (const FieldInitializer& field : struct_literal.fields()) {
  121. *struct_literal_proto->add_fields() = FieldInitializerToProto(field);
  122. }
  123. break;
  124. }
  125. case ExpressionKind::StructTypeLiteral: {
  126. const auto& struct_type_literal = cast<StructTypeLiteral>(expression);
  127. auto* struct_type_literal_proto =
  128. expression_proto.mutable_struct_type_literal();
  129. for (const FieldInitializer& field : struct_type_literal.fields()) {
  130. *struct_type_literal_proto->add_fields() =
  131. FieldInitializerToProto(field);
  132. }
  133. break;
  134. }
  135. case ExpressionKind::IdentifierExpression: {
  136. const auto& identifier = cast<IdentifierExpression>(expression);
  137. auto* identifier_proto = expression_proto.mutable_identifier();
  138. identifier_proto->set_name(identifier.name());
  139. break;
  140. }
  141. case ExpressionKind::IntrinsicExpression: {
  142. const auto& intrinsic = cast<IntrinsicExpression>(expression);
  143. auto* intrinsic_proto = expression_proto.mutable_intrinsic();
  144. switch (intrinsic.intrinsic()) {
  145. case IntrinsicExpression::Intrinsic::Print:
  146. intrinsic_proto->set_intrinsic(Fuzzing::IntrinsicExpression::Print);
  147. break;
  148. }
  149. *intrinsic_proto->mutable_argument() =
  150. TupleLiteralExpressionToProto(intrinsic.args());
  151. break;
  152. }
  153. case ExpressionKind::IfExpression: {
  154. const auto& if_expression = cast<IfExpression>(expression);
  155. auto* if_proto = expression_proto.mutable_if_expression();
  156. if (if_expression.condition()) {
  157. *if_proto->mutable_condition() =
  158. ExpressionToProto(*if_expression.condition());
  159. }
  160. if (if_expression.then_expression()) {
  161. *if_proto->mutable_then_expression() =
  162. ExpressionToProto(*if_expression.then_expression());
  163. }
  164. if (if_expression.else_expression()) {
  165. *if_proto->mutable_else_expression() =
  166. ExpressionToProto(*if_expression.else_expression());
  167. }
  168. break;
  169. }
  170. case ExpressionKind::BoolTypeLiteral:
  171. expression_proto.mutable_bool_type_literal();
  172. break;
  173. case ExpressionKind::BoolLiteral:
  174. expression_proto.mutable_bool_literal()->set_value(
  175. cast<BoolLiteral>(expression).value());
  176. break;
  177. case ExpressionKind::IntTypeLiteral:
  178. expression_proto.mutable_int_type_literal();
  179. break;
  180. case ExpressionKind::IntLiteral:
  181. expression_proto.mutable_int_literal()->set_value(
  182. cast<IntLiteral>(expression).value());
  183. break;
  184. case ExpressionKind::StringLiteral:
  185. expression_proto.mutable_string_literal()->set_value(
  186. cast<StringLiteral>(expression).value());
  187. break;
  188. case ExpressionKind::StringTypeLiteral:
  189. expression_proto.mutable_string_type_literal();
  190. break;
  191. case ExpressionKind::ContinuationTypeLiteral:
  192. expression_proto.mutable_continuation_type_literal();
  193. break;
  194. case ExpressionKind::TypeTypeLiteral:
  195. expression_proto.mutable_type_type_literal();
  196. break;
  197. case ExpressionKind::UnimplementedExpression:
  198. expression_proto.mutable_unimplemented_expression();
  199. break;
  200. }
  201. return expression_proto;
  202. }
  203. static auto BindingPatternToProto(const BindingPattern& pattern)
  204. -> Fuzzing::BindingPattern {
  205. Fuzzing::BindingPattern pattern_proto;
  206. pattern_proto.set_name(pattern.name());
  207. *pattern_proto.mutable_type() = PatternToProto(pattern.type());
  208. return pattern_proto;
  209. }
  210. static auto GenericBindingToProto(const GenericBinding& binding)
  211. -> Fuzzing::GenericBinding {
  212. Fuzzing::GenericBinding binding_proto;
  213. binding_proto.set_name(binding.name());
  214. *binding_proto.mutable_type() = ExpressionToProto(binding.type());
  215. return binding_proto;
  216. }
  217. static auto TuplePatternToProto(const TuplePattern& tuple_pattern)
  218. -> Fuzzing::TuplePattern {
  219. Fuzzing::TuplePattern tuple_pattern_proto;
  220. for (Nonnull<const Pattern*> field : tuple_pattern.fields()) {
  221. *tuple_pattern_proto.add_fields() = PatternToProto(*field);
  222. }
  223. return tuple_pattern_proto;
  224. }
  225. static auto PatternToProto(const Pattern& pattern) -> Fuzzing::Pattern {
  226. Fuzzing::Pattern pattern_proto;
  227. switch (pattern.kind()) {
  228. case PatternKind::GenericBinding: {
  229. const auto& binding = cast<GenericBinding>(pattern);
  230. *pattern_proto.mutable_generic_binding() = GenericBindingToProto(binding);
  231. break;
  232. }
  233. case PatternKind::BindingPattern: {
  234. const auto& binding = cast<BindingPattern>(pattern);
  235. *pattern_proto.mutable_binding_pattern() = BindingPatternToProto(binding);
  236. break;
  237. }
  238. case PatternKind::TuplePattern:
  239. *pattern_proto.mutable_tuple_pattern() =
  240. TuplePatternToProto(cast<TuplePattern>(pattern));
  241. break;
  242. case PatternKind::AlternativePattern: {
  243. const auto& alternative = cast<AlternativePattern>(pattern);
  244. auto* alternative_proto = pattern_proto.mutable_alternative_pattern();
  245. alternative_proto->set_alternative_name(alternative.alternative_name());
  246. *alternative_proto->mutable_choice_type() =
  247. ExpressionToProto(alternative.choice_type());
  248. *alternative_proto->mutable_arguments() =
  249. TuplePatternToProto(alternative.arguments());
  250. break;
  251. }
  252. case PatternKind::ExpressionPattern:
  253. *pattern_proto.mutable_expression_pattern()->mutable_expression() =
  254. ExpressionToProto(cast<ExpressionPattern>(pattern).expression());
  255. break;
  256. case PatternKind::AutoPattern:
  257. pattern_proto.mutable_auto_pattern();
  258. break;
  259. case PatternKind::VarPattern:
  260. *pattern_proto.mutable_var_pattern()->mutable_pattern() =
  261. PatternToProto(cast<VarPattern>(pattern).pattern());
  262. break;
  263. }
  264. return pattern_proto;
  265. }
  266. static auto BlockStatementToProto(const Block& block)
  267. -> Fuzzing::BlockStatement {
  268. Fuzzing::BlockStatement block_proto;
  269. for (Nonnull<const Statement*> statement : block.statements()) {
  270. *block_proto.add_statements() = StatementToProto(*statement);
  271. }
  272. return block_proto;
  273. }
  274. static auto StatementToProto(const Statement& statement) -> Fuzzing::Statement {
  275. Fuzzing::Statement statement_proto;
  276. switch (statement.kind()) {
  277. case StatementKind::ExpressionStatement:
  278. *statement_proto.mutable_expression_statement()->mutable_expression() =
  279. ExpressionToProto(cast<ExpressionStatement>(statement).expression());
  280. break;
  281. case StatementKind::Assign: {
  282. const auto& assign = cast<Assign>(statement);
  283. auto* assign_proto = statement_proto.mutable_assign();
  284. *assign_proto->mutable_lhs() = ExpressionToProto(assign.lhs());
  285. *assign_proto->mutable_rhs() = ExpressionToProto(assign.rhs());
  286. break;
  287. }
  288. case StatementKind::VariableDefinition: {
  289. const auto& def = cast<VariableDefinition>(statement);
  290. auto* def_proto = statement_proto.mutable_variable_definition();
  291. *def_proto->mutable_pattern() = PatternToProto(def.pattern());
  292. *def_proto->mutable_init() = ExpressionToProto(def.init());
  293. break;
  294. }
  295. case StatementKind::If: {
  296. const auto& if_stmt = cast<If>(statement);
  297. auto* if_proto = statement_proto.mutable_if_statement();
  298. *if_proto->mutable_condition() = ExpressionToProto(if_stmt.condition());
  299. *if_proto->mutable_then_block() =
  300. BlockStatementToProto(if_stmt.then_block());
  301. if (if_stmt.else_block().has_value()) {
  302. *if_proto->mutable_else_block() =
  303. BlockStatementToProto(**if_stmt.else_block());
  304. }
  305. break;
  306. }
  307. case StatementKind::Return: {
  308. const auto& ret = cast<Return>(statement);
  309. auto* ret_proto = statement_proto.mutable_return_statement();
  310. if (!ret.is_omitted_expression()) {
  311. *ret_proto->mutable_expression() = ExpressionToProto(ret.expression());
  312. } else {
  313. ret_proto->set_is_omitted_expression(true);
  314. }
  315. break;
  316. }
  317. case StatementKind::Block:
  318. *statement_proto.mutable_block() =
  319. BlockStatementToProto(cast<Block>(statement));
  320. break;
  321. case StatementKind::While: {
  322. const auto& while_stmt = cast<While>(statement);
  323. auto* while_proto = statement_proto.mutable_while_statement();
  324. *while_proto->mutable_condition() =
  325. ExpressionToProto(while_stmt.condition());
  326. *while_proto->mutable_body() = BlockStatementToProto(while_stmt.body());
  327. break;
  328. }
  329. case StatementKind::Match: {
  330. const auto& match = cast<Match>(statement);
  331. auto* match_proto = statement_proto.mutable_match();
  332. *match_proto->mutable_expression() =
  333. ExpressionToProto(match.expression());
  334. for (const Match::Clause& clause : match.clauses()) {
  335. auto* clause_proto = match_proto->add_clauses();
  336. const bool is_default_clause =
  337. clause.pattern().kind() == PatternKind::BindingPattern &&
  338. cast<BindingPattern>(clause.pattern()).name() == AnonymousName;
  339. if (is_default_clause) {
  340. clause_proto->set_is_default(true);
  341. } else {
  342. *clause_proto->mutable_pattern() = PatternToProto(clause.pattern());
  343. }
  344. *clause_proto->mutable_statement() =
  345. StatementToProto(clause.statement());
  346. }
  347. break;
  348. }
  349. case StatementKind::Continuation: {
  350. const auto& continuation = cast<Continuation>(statement);
  351. auto* continuation_proto = statement_proto.mutable_continuation();
  352. continuation_proto->set_name(continuation.name());
  353. *continuation_proto->mutable_body() =
  354. BlockStatementToProto(continuation.body());
  355. break;
  356. }
  357. case StatementKind::Run:
  358. *statement_proto.mutable_run()->mutable_argument() =
  359. ExpressionToProto(cast<Run>(statement).argument());
  360. break;
  361. case StatementKind::Await:
  362. // Initializes with the default value; there's nothing to set.
  363. statement_proto.mutable_await();
  364. break;
  365. case StatementKind::Break:
  366. // Initializes with the default value; there's nothing to set.
  367. statement_proto.mutable_break_statement();
  368. break;
  369. case StatementKind::Continue:
  370. // Initializes with the default value; there's nothing to set.
  371. statement_proto.mutable_continue_statement();
  372. break;
  373. }
  374. return statement_proto;
  375. }
  376. static auto ReturnTermToProto(const ReturnTerm& return_term)
  377. -> Fuzzing::ReturnTerm {
  378. Fuzzing::ReturnTerm return_term_proto;
  379. if (return_term.is_omitted()) {
  380. return_term_proto.set_kind(Fuzzing::ReturnTerm::Omitted);
  381. } else if (return_term.is_auto()) {
  382. return_term_proto.set_kind(Fuzzing::ReturnTerm::Auto);
  383. } else {
  384. return_term_proto.set_kind(Fuzzing::ReturnTerm::Expression);
  385. *return_term_proto.mutable_type() =
  386. ExpressionToProto(**return_term.type_expression());
  387. }
  388. return return_term_proto;
  389. }
  390. static auto DeclarationToProto(const Declaration& declaration)
  391. -> Fuzzing::Declaration {
  392. Fuzzing::Declaration declaration_proto;
  393. switch (declaration.kind()) {
  394. case DeclarationKind::FunctionDeclaration: {
  395. const auto& function = cast<FunctionDeclaration>(declaration);
  396. auto* function_proto = declaration_proto.mutable_function();
  397. function_proto->set_name(function.name());
  398. for (Nonnull<const GenericBinding*> binding :
  399. function.deduced_parameters()) {
  400. *function_proto->add_deduced_parameters() =
  401. GenericBindingToProto(*binding);
  402. }
  403. if (function.is_method()) {
  404. *function_proto->mutable_me_pattern() =
  405. BindingPatternToProto(function.me_pattern());
  406. }
  407. *function_proto->mutable_param_pattern() =
  408. TuplePatternToProto(function.param_pattern());
  409. *function_proto->mutable_return_term() =
  410. ReturnTermToProto(function.return_term());
  411. if (function.body().has_value()) {
  412. *function_proto->mutable_body() =
  413. BlockStatementToProto(**function.body());
  414. }
  415. break;
  416. }
  417. case DeclarationKind::ClassDeclaration: {
  418. const auto& class_decl = cast<ClassDeclaration>(declaration);
  419. auto* class_proto = declaration_proto.mutable_class_declaration();
  420. class_proto->set_name(class_decl.name());
  421. if (class_decl.type_params().has_value()) {
  422. *class_proto->mutable_type_params() =
  423. TuplePatternToProto(**class_decl.type_params());
  424. }
  425. for (Nonnull<const Declaration*> member : class_decl.members()) {
  426. *class_proto->add_members() = DeclarationToProto(*member);
  427. }
  428. break;
  429. }
  430. case DeclarationKind::ChoiceDeclaration: {
  431. const auto& choice = cast<ChoiceDeclaration>(declaration);
  432. auto* choice_proto = declaration_proto.mutable_choice();
  433. choice_proto->set_name(choice.name());
  434. for (Nonnull<const AlternativeSignature*> alternative :
  435. choice.alternatives()) {
  436. auto* alternative_proto = choice_proto->add_alternatives();
  437. alternative_proto->set_name(alternative->name());
  438. *alternative_proto->mutable_signature() =
  439. ExpressionToProto(alternative->signature());
  440. }
  441. break;
  442. }
  443. case DeclarationKind::VariableDeclaration: {
  444. const auto& var = cast<VariableDeclaration>(declaration);
  445. auto* var_proto = declaration_proto.mutable_variable();
  446. *var_proto->mutable_binding() = BindingPatternToProto(var.binding());
  447. if (var.has_initializer()) {
  448. *var_proto->mutable_initializer() =
  449. ExpressionToProto(var.initializer());
  450. }
  451. break;
  452. }
  453. case DeclarationKind::InterfaceDeclaration: {
  454. const auto& interface = cast<InterfaceDeclaration>(declaration);
  455. auto* interface_proto = declaration_proto.mutable_interface();
  456. interface_proto->set_name(interface.name());
  457. for (const auto& member : interface.members()) {
  458. *interface_proto->add_members() = DeclarationToProto(*member);
  459. }
  460. *interface_proto->mutable_self() =
  461. GenericBindingToProto(*interface.self());
  462. break;
  463. }
  464. case DeclarationKind::ImplDeclaration: {
  465. const auto& impl = cast<ImplDeclaration>(declaration);
  466. auto* impl_proto = declaration_proto.mutable_impl();
  467. switch (impl.kind()) {
  468. case ImplKind::InternalImpl:
  469. impl_proto->set_kind(Fuzzing::ImplDeclaration::InternalImpl);
  470. break;
  471. case ImplKind::ExternalImpl:
  472. impl_proto->set_kind(Fuzzing::ImplDeclaration::ExternalImpl);
  473. break;
  474. }
  475. *impl_proto->mutable_impl_type() = ExpressionToProto(*impl.impl_type());
  476. *impl_proto->mutable_interface() = ExpressionToProto(impl.interface());
  477. for (const auto& member : impl.members()) {
  478. *impl_proto->add_members() = DeclarationToProto(*member);
  479. }
  480. break;
  481. }
  482. }
  483. return declaration_proto;
  484. }
  485. Fuzzing::CompilationUnit AstToProto(const AST& ast) {
  486. Fuzzing::CompilationUnit compilation_unit;
  487. *compilation_unit.mutable_package_statement() =
  488. LibraryNameToProto(ast.package);
  489. compilation_unit.set_is_api(ast.is_api);
  490. for (const Declaration* declaration : ast.declarations) {
  491. *compilation_unit.add_declarations() = DeclarationToProto(*declaration);
  492. }
  493. return compilation_unit;
  494. }
  495. } // namespace Carbon