public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc/devel/rust/master] ast: lower: Refactor ASTLowerItem in its own source file
@ 2022-06-08 12:43 Thomas Schwinge
0 siblings, 0 replies; only message in thread
From: Thomas Schwinge @ 2022-06-08 12:43 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:41abd0fdb2f060320c615bc3c1caffd2e5343184
commit 41abd0fdb2f060320c615bc3c1caffd2e5343184
Author: Arthur Cohen <arthur.cohen@embecosm.com>
Date: Wed May 4 18:25:50 2022 +0200
ast: lower: Refactor ASTLowerItem in its own source file
Diff:
---
gcc/rust/hir/rust-ast-lower-item.cc | 773 +++++++++++++++++++++++++++++++++++
gcc/rust/hir/rust-ast-lower-item.h | 793 +-----------------------------------
2 files changed, 788 insertions(+), 778 deletions(-)
diff --git a/gcc/rust/hir/rust-ast-lower-item.cc b/gcc/rust/hir/rust-ast-lower-item.cc
index 0d59d7f6f94..588333817ef 100644
--- a/gcc/rust/hir/rust-ast-lower-item.cc
+++ b/gcc/rust/hir/rust-ast-lower-item.cc
@@ -21,6 +21,779 @@
namespace Rust {
namespace HIR {
+HIR::Item *
+ASTLoweringItem::translate (AST::Item *item)
+{
+ ASTLoweringItem resolver;
+ item->accept_vis (resolver);
+
+ if (resolver.translated != nullptr)
+ resolver.handle_outer_attributes (*resolver.translated);
+
+ return resolver.translated;
+}
+
+void
+ASTLoweringItem::visit (AST::Module &module)
+{
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, module.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ // should be lowered from module.get_vis()
+ HIR::Visibility vis = translate_visibility (module.get_visibility ());
+
+ auto items = std::vector<std::unique_ptr<Item>> ();
+
+ for (auto &item : module.get_items ())
+ {
+ auto transitem = translate (item.get ());
+ items.push_back (std::unique_ptr<Item> (transitem));
+ }
+
+ // should be lowered/copied from module.get_in/outer_attrs()
+ AST::AttrVec inner_attrs;
+ AST::AttrVec outer_attrs;
+
+ translated
+ = new HIR::Module (mapping, module.get_name (), module.get_locus (),
+ std::move (items), std::move (vis),
+ std::move (inner_attrs), std::move (outer_attrs));
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_module (mapping.get_crate_num (), mapping.get_hirid (),
+ static_cast<Module *> (translated));
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ module.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::TypeAlias &alias)
+{
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : alias.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::Visibility vis = translate_visibility (alias.get_visibility ());
+
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (alias.has_generics ())
+ generic_params = lower_generic_params (alias.get_generic_params ());
+
+ HIR::Type *existing_type
+ = ASTLoweringType::translate (alias.get_type_aliased ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, alias.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated
+ = new HIR::TypeAlias (mapping, alias.get_new_type_name (),
+ std::move (generic_params), std::move (where_clause),
+ std::unique_ptr<HIR::Type> (existing_type),
+ std::move (vis), alias.get_outer_attrs (),
+ alias.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ alias.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::TupleStruct &struct_decl)
+{
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (struct_decl.has_generics ())
+ {
+ generic_params = lower_generic_params (struct_decl.get_generic_params ());
+ }
+
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : struct_decl.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::Visibility vis = translate_visibility (struct_decl.get_visibility ());
+
+ std::vector<HIR::TupleField> fields;
+ for (AST::TupleField &field : struct_decl.get_fields ())
+ {
+ if (field.get_field_type ()->is_marked_for_strip ())
+ continue;
+
+ // FIXME: How do we get the visibility from here?
+ HIR::Visibility vis = translate_visibility (field.get_visibility ());
+ HIR::Type *type
+ = ASTLoweringType::translate (field.get_field_type ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, field.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (
+ crate_num));
+
+ HIR::TupleField translated_field (mapping,
+ std::unique_ptr<HIR::Type> (type), vis,
+ field.get_locus (),
+ field.get_outer_attrs ());
+ fields.push_back (std::move (translated_field));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, struct_decl.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::TupleStruct (mapping, std::move (fields),
+ struct_decl.get_identifier (),
+ std::move (generic_params),
+ std::move (where_clause), vis,
+ struct_decl.get_outer_attrs (),
+ struct_decl.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ struct_decl.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::StructStruct &struct_decl)
+{
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (struct_decl.has_generics ())
+ {
+ generic_params = lower_generic_params (struct_decl.get_generic_params ());
+ }
+
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : struct_decl.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+
+ HIR::Visibility vis = translate_visibility (struct_decl.get_visibility ());
+
+ bool is_unit = struct_decl.is_unit_struct ();
+ std::vector<HIR::StructField> fields;
+ for (AST::StructField &field : struct_decl.get_fields ())
+ {
+ if (field.get_field_type ()->is_marked_for_strip ())
+ continue;
+
+ HIR::Visibility vis = translate_visibility (field.get_visibility ());
+ HIR::Type *type
+ = ASTLoweringType::translate (field.get_field_type ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, field.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (
+ crate_num));
+
+ HIR::StructField translated_field (mapping, field.get_field_name (),
+ std::unique_ptr<HIR::Type> (type), vis,
+ field.get_locus (),
+ field.get_outer_attrs ());
+
+ if (struct_field_name_exists (fields, translated_field))
+ break;
+
+ fields.push_back (std::move (translated_field));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, struct_decl.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::StructStruct (mapping, std::move (fields),
+ struct_decl.get_identifier (),
+ std::move (generic_params),
+ std::move (where_clause), is_unit, vis,
+ struct_decl.get_outer_attrs (),
+ struct_decl.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ struct_decl.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::Enum &enum_decl)
+{
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (enum_decl.has_generics ())
+ {
+ generic_params = lower_generic_params (enum_decl.get_generic_params ());
+ }
+
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : enum_decl.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::Visibility vis = translate_visibility (enum_decl.get_visibility ());
+
+ // bool is_unit = enum_decl.is_zero_variant ();
+ std::vector<std::unique_ptr<HIR::EnumItem>> items;
+ for (auto &variant : enum_decl.get_variants ())
+ {
+ if (variant->is_marked_for_strip ())
+ continue;
+
+ HIR::EnumItem *hir_item = ASTLoweringEnumItem::translate (variant.get ());
+ items.push_back (std::unique_ptr<HIR::EnumItem> (hir_item));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, enum_decl.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::Enum (mapping, enum_decl.get_identifier (), vis,
+ std::move (generic_params),
+ std::move (where_clause), /* is_unit, */
+ std::move (items), enum_decl.get_outer_attrs (),
+ enum_decl.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ enum_decl.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::Union &union_decl)
+{
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (union_decl.has_generics ())
+ {
+ generic_params = lower_generic_params (union_decl.get_generic_params ());
+ }
+
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : union_decl.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::Visibility vis = translate_visibility (union_decl.get_visibility ());
+
+ std::vector<HIR::StructField> variants;
+ for (AST::StructField &variant : union_decl.get_variants ())
+ {
+ if (variant.get_field_type ()->is_marked_for_strip ())
+ continue;
+
+ // FIXME: Does visibility apply here?
+ HIR::Visibility vis = translate_visibility (variant.get_visibility ());
+ HIR::Type *type
+ = ASTLoweringType::translate (variant.get_field_type ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, variant.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (
+ crate_num));
+
+ HIR::StructField translated_variant (mapping, variant.get_field_name (),
+ std::unique_ptr<HIR::Type> (type),
+ vis, variant.get_locus (),
+ variant.get_outer_attrs ());
+
+ if (struct_field_name_exists (variants, translated_variant))
+ break;
+
+ variants.push_back (std::move (translated_variant));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, union_decl.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated
+ = new HIR::Union (mapping, union_decl.get_identifier (), vis,
+ std::move (generic_params), std::move (where_clause),
+ std::move (variants), union_decl.get_outer_attrs (),
+ union_decl.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ union_decl.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::StaticItem &var)
+{
+ HIR::Visibility vis = translate_visibility (var.get_visibility ());
+
+ HIR::Type *type = ASTLoweringType::translate (var.get_type ().get ());
+ HIR::Expr *expr = ASTLoweringExpr::translate (var.get_expr ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, var.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::StaticItem (mapping, var.get_identifier (),
+ var.is_mutable () ? Mutability::Mut
+ : Mutability::Imm,
+ std::unique_ptr<HIR::Type> (type),
+ std::unique_ptr<HIR::Expr> (expr), vis,
+ var.get_outer_attrs (), var.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (), var.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::ConstantItem &constant)
+{
+ HIR::Visibility vis = translate_visibility (constant.get_visibility ());
+
+ HIR::Type *type = ASTLoweringType::translate (constant.get_type ().get ());
+ HIR::Expr *expr = ASTLoweringExpr::translate (constant.get_expr ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, constant.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::ConstantItem (mapping, constant.get_identifier (), vis,
+ std::unique_ptr<HIR::Type> (type),
+ std::unique_ptr<HIR::Expr> (expr),
+ constant.get_outer_attrs (),
+ constant.get_locus ());
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ constant.get_locus ());
+}
+
+void
+ASTLoweringItem::visit (AST::Function &function)
+{
+ if (function.is_marked_for_strip ())
+ return;
+
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : function.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::FunctionQualifiers qualifiers
+ = lower_qualifiers (function.get_qualifiers ());
+ HIR::Visibility vis = translate_visibility (function.get_visibility ());
+
+ // need
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (function.has_generics ())
+ {
+ generic_params = lower_generic_params (function.get_generic_params ());
+ }
+ Identifier function_name = function.get_function_name ();
+ Location locus = function.get_locus ();
+
+ std::unique_ptr<HIR::Type> return_type
+ = function.has_return_type () ? std::unique_ptr<HIR::Type> (
+ ASTLoweringType::translate (function.get_return_type ().get ()))
+ : nullptr;
+
+ std::vector<HIR::FunctionParam> function_params;
+ for (auto ¶m : function.get_function_params ())
+ {
+ auto translated_pattern = std::unique_ptr<HIR::Pattern> (
+ ASTLoweringPattern::translate (param.get_pattern ().get ()));
+ auto translated_type = std::unique_ptr<HIR::Type> (
+ ASTLoweringType::translate (param.get_type ().get ()));
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ UNKNOWN_LOCAL_DEFID);
+
+ auto hir_param
+ = HIR::FunctionParam (mapping, std::move (translated_pattern),
+ std::move (translated_type), param.get_locus ());
+ function_params.push_back (std::move (hir_param));
+ }
+
+ bool terminated = false;
+ std::unique_ptr<HIR::BlockExpr> function_body
+ = std::unique_ptr<HIR::BlockExpr> (
+ ASTLoweringBlock::translate (function.get_definition ().get (),
+ &terminated));
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, function.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ mappings->insert_location (crate_num,
+ function_body->get_mappings ().get_hirid (),
+ function.get_locus ());
+
+ auto fn
+ = new HIR::Function (mapping, std::move (function_name),
+ std::move (qualifiers), std::move (generic_params),
+ std::move (function_params), std::move (return_type),
+ std::move (where_clause), std::move (function_body),
+ std::move (vis), function.get_outer_attrs (),
+ HIR::SelfParam::error (), locus);
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ fn);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ function.get_locus ());
+
+ // add the mappings for the function params at the end
+ for (auto ¶m : fn->get_function_params ())
+ {
+ mappings->insert_hir_param (mapping.get_crate_num (),
+ param.get_mappings ().get_hirid (), ¶m);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ param.get_locus ());
+ }
+
+ translated = fn;
+}
+
+void
+ASTLoweringItem::visit (AST::InherentImpl &impl_block)
+{
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : impl_block.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::Visibility vis = translate_visibility (impl_block.get_visibility ());
+
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (impl_block.has_generics ())
+ {
+ generic_params = lower_generic_params (impl_block.get_generic_params ());
+
+ for (auto &generic_param : generic_params)
+ {
+ switch (generic_param->get_kind ())
+ {
+ case HIR::GenericParam::GenericKind::TYPE: {
+ const HIR::TypeParam &t
+ = static_cast<const HIR::TypeParam &> (*generic_param);
+
+ if (t.has_type ())
+ {
+ // see https://github.com/rust-lang/rust/issues/36887
+ rust_error_at (
+ t.get_locus (),
+ "defaults for type parameters are not allowed here");
+ }
+ }
+ break;
+
+ default:
+ break;
+ }
+ }
+ }
+
+ HIR::Type *impl_type
+ = ASTLoweringType::translate (impl_block.get_type ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, impl_block.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ std::vector<std::unique_ptr<HIR::ImplItem>> impl_items;
+ std::vector<HirId> impl_item_ids;
+ for (auto &impl_item : impl_block.get_impl_items ())
+ {
+ if (impl_item->is_marked_for_strip ())
+ continue;
+
+ HIR::ImplItem *lowered
+ = ASTLowerImplItem::translate (impl_item.get (), mapping.get_hirid ());
+ rust_assert (lowered != nullptr);
+ impl_items.push_back (std::unique_ptr<HIR::ImplItem> (lowered));
+ impl_item_ids.push_back (lowered->get_impl_mappings ().get_hirid ());
+ }
+
+ Polarity polarity = Positive;
+ HIR::ImplBlock *hir_impl_block = new HIR::ImplBlock (
+ mapping, std::move (impl_items), std::move (generic_params),
+ std::unique_ptr<HIR::Type> (impl_type), nullptr, where_clause, polarity,
+ vis, impl_block.get_inner_attrs (), impl_block.get_outer_attrs (),
+ impl_block.get_locus ());
+ translated = hir_impl_block;
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_hir_impl_block (mapping.get_crate_num (),
+ mapping.get_hirid (), hir_impl_block);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ impl_block.get_locus ());
+
+ for (auto &impl_item_id : impl_item_ids)
+ {
+ mappings->insert_impl_item_mapping (impl_item_id, hir_impl_block);
+ }
+}
+
+void
+ASTLoweringItem::visit (AST::Trait &trait)
+{
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : trait.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+
+ HIR::Visibility vis = translate_visibility (trait.get_visibility ());
+
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (trait.has_generics ())
+ {
+ generic_params = lower_generic_params (trait.get_generic_params ());
+ }
+
+ std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
+ if (trait.has_type_param_bounds ())
+ {
+ for (auto &bound : trait.get_type_param_bounds ())
+ {
+ HIR::TypeParamBound *b = lower_bound (bound.get ());
+ type_param_bounds.push_back (
+ std::unique_ptr<HIR::TypeParamBound> (b));
+ }
+ }
+
+ std::vector<std::unique_ptr<HIR::TraitItem>> trait_items;
+ std::vector<HirId> trait_item_ids;
+ for (auto &item : trait.get_trait_items ())
+ {
+ if (item->is_marked_for_strip ())
+ continue;
+
+ HIR::TraitItem *lowered = ASTLowerTraitItem::translate (item.get ());
+ trait_items.push_back (std::unique_ptr<HIR::TraitItem> (lowered));
+ trait_item_ids.push_back (lowered->get_mappings ().get_hirid ());
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, trait.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ auto trait_unsafety = Unsafety::Normal;
+ if (trait.is_unsafe ())
+ {
+ trait_unsafety = Unsafety::Unsafe;
+ }
+
+ HIR::Trait *hir_trait
+ = new HIR::Trait (mapping, trait.get_identifier (), trait_unsafety,
+ std::move (generic_params), std::move (type_param_bounds),
+ where_clause, std::move (trait_items), vis,
+ trait.get_outer_attrs (), trait.get_locus ());
+ translated = hir_trait;
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ trait.get_locus ());
+
+ for (auto trait_item_id : trait_item_ids)
+ {
+ mappings->insert_trait_item_mapping (trait_item_id, hir_trait);
+ }
+}
+
+void
+ASTLoweringItem::visit (AST::TraitImpl &impl_block)
+{
+ std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
+ for (auto &item : impl_block.get_where_clause ().get_items ())
+ {
+ HIR::WhereClauseItem *i
+ = ASTLowerWhereClauseItem::translate (*item.get ());
+ where_clause_items.push_back (std::unique_ptr<HIR::WhereClauseItem> (i));
+ }
+ HIR::WhereClause where_clause (std::move (where_clause_items));
+ HIR::Visibility vis = translate_visibility (impl_block.get_visibility ());
+
+ std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
+ if (impl_block.has_generics ())
+ {
+ generic_params = lower_generic_params (impl_block.get_generic_params ());
+
+ for (auto &generic_param : generic_params)
+ {
+ switch (generic_param->get_kind ())
+ {
+ case HIR::GenericParam::GenericKind::TYPE: {
+ const HIR::TypeParam &t
+ = static_cast<const HIR::TypeParam &> (*generic_param);
+
+ if (t.has_type ())
+ {
+ // see https://github.com/rust-lang/rust/issues/36887
+ rust_error_at (
+ t.get_locus (),
+ "defaults for type parameters are not allowed here");
+ }
+ }
+ break;
+
+ default:
+ break;
+ }
+ }
+ }
+
+ HIR::Type *impl_type
+ = ASTLoweringType::translate (impl_block.get_type ().get ());
+ HIR::TypePath *trait_ref
+ = ASTLowerTypePath::translate (impl_block.get_trait_path ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, impl_block.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ std::vector<std::unique_ptr<HIR::ImplItem>> impl_items;
+ std::vector<HirId> impl_item_ids;
+ for (auto &impl_item : impl_block.get_impl_items ())
+ {
+ if (impl_item->is_marked_for_strip ())
+ continue;
+
+ HIR::ImplItem *lowered
+ = ASTLowerImplItem::translate (impl_item.get (), mapping.get_hirid ());
+ rust_assert (lowered != nullptr);
+ impl_items.push_back (std::unique_ptr<HIR::ImplItem> (lowered));
+ impl_item_ids.push_back (lowered->get_impl_mappings ().get_hirid ());
+ }
+
+ Polarity polarity = impl_block.is_exclam () ? Positive : Negative;
+ HIR::ImplBlock *hir_impl_block = new HIR::ImplBlock (
+ mapping, std::move (impl_items), std::move (generic_params),
+ std::unique_ptr<HIR::Type> (impl_type),
+ std::unique_ptr<HIR::TypePath> (trait_ref), where_clause, polarity, vis,
+ impl_block.get_inner_attrs (), impl_block.get_outer_attrs (),
+ impl_block.get_locus ());
+ translated = hir_impl_block;
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_hir_impl_block (mapping.get_crate_num (),
+ mapping.get_hirid (), hir_impl_block);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ impl_block.get_locus ());
+
+ for (auto &impl_item_id : impl_item_ids)
+ {
+ mappings->insert_impl_item_mapping (impl_item_id, hir_impl_block);
+ }
+}
+
+void
+ASTLoweringItem::visit (AST::ExternBlock &extern_block)
+{
+ HIR::Visibility vis = translate_visibility (extern_block.get_visibility ());
+
+ std::vector<std::unique_ptr<HIR::ExternalItem>> extern_items;
+ for (auto &item : extern_block.get_extern_items ())
+ {
+ if (item->is_marked_for_strip ())
+ continue;
+
+ HIR::ExternalItem *lowered
+ = ASTLoweringExternItem::translate (item.get ());
+ extern_items.push_back (std::unique_ptr<HIR::ExternalItem> (lowered));
+ }
+
+ ABI abi = ABI::RUST;
+ if (extern_block.has_abi ())
+ {
+ const std::string &extern_abi = extern_block.get_abi ();
+ abi = get_abi_from_string (extern_abi);
+ if (abi == ABI::UNKNOWN)
+ rust_error_at (extern_block.get_locus (), "unknown ABI option");
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, extern_block.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ HIR::ExternBlock *hir_extern_block
+ = new HIR::ExternBlock (mapping, abi, std::move (extern_items),
+ std::move (vis), extern_block.get_inner_attrs (),
+ extern_block.get_outer_attrs (),
+ extern_block.get_locus ());
+
+ translated = hir_extern_block;
+
+ mappings->insert_defid_mapping (mapping.get_defid (), translated);
+ mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
+ translated);
+ mappings->insert_location (crate_num, mapping.get_hirid (),
+ extern_block.get_locus ());
+}
+
HIR::SimplePath
ASTLoweringSimplePath::translate (const AST::SimplePath &path)
{
diff --git a/gcc/rust/hir/rust-ast-lower-item.h b/gcc/rust/hir/rust-ast-lower-item.h
index 6da50fe4262..5d4ee18f517 100644
--- a/gcc/rust/hir/rust-ast-lower-item.h
+++ b/gcc/rust/hir/rust-ast-lower-item.h
@@ -41,784 +41,21 @@ class ASTLoweringItem : public ASTLoweringBase
using Rust::HIR::ASTLoweringBase::visit;
public:
- static HIR::Item *translate (AST::Item *item)
- {
- ASTLoweringItem resolver;
- item->accept_vis (resolver);
-
- if (resolver.translated != nullptr)
- resolver.handle_outer_attributes (*resolver.translated);
-
- return resolver.translated;
- }
-
- void visit (AST::Module &module) override
- {
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, module.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- // should be lowered from module.get_vis()
- HIR::Visibility vis = translate_visibility (module.get_visibility ());
-
- auto items = std::vector<std::unique_ptr<Item>> ();
-
- for (auto &item : module.get_items ())
- {
- auto transitem = translate (item.get ());
- items.push_back (std::unique_ptr<Item> (transitem));
- }
-
- // should be lowered/copied from module.get_in/outer_attrs()
- AST::AttrVec inner_attrs;
- AST::AttrVec outer_attrs;
-
- translated
- = new HIR::Module (mapping, module.get_name (), module.get_locus (),
- std::move (items), std::move (vis),
- std::move (inner_attrs), std::move (outer_attrs));
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_module (mapping.get_crate_num (), mapping.get_hirid (),
- static_cast<Module *> (translated));
- mappings->insert_location (crate_num, mapping.get_hirid (),
- module.get_locus ());
- }
-
- void visit (AST::TypeAlias &alias) override
- {
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : alias.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
-
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::Visibility vis = translate_visibility (alias.get_visibility ());
-
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (alias.has_generics ())
- generic_params = lower_generic_params (alias.get_generic_params ());
-
- HIR::Type *existing_type
- = ASTLoweringType::translate (alias.get_type_aliased ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, alias.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::TypeAlias (mapping, alias.get_new_type_name (),
- std::move (generic_params),
- std::move (where_clause),
- std::unique_ptr<HIR::Type> (existing_type),
- std::move (vis), alias.get_outer_attrs (),
- alias.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- alias.get_locus ());
- }
-
- void visit (AST::TupleStruct &struct_decl) override
- {
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (struct_decl.has_generics ())
- {
- generic_params
- = lower_generic_params (struct_decl.get_generic_params ());
- }
-
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : struct_decl.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
-
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::Visibility vis = translate_visibility (struct_decl.get_visibility ());
-
- std::vector<HIR::TupleField> fields;
- for (AST::TupleField &field : struct_decl.get_fields ())
- {
- if (field.get_field_type ()->is_marked_for_strip ())
- continue;
-
- // FIXME: How do we get the visibility from here?
- HIR::Visibility vis = translate_visibility (field.get_visibility ());
- HIR::Type *type
- = ASTLoweringType::translate (field.get_field_type ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, field.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (
- crate_num));
-
- HIR::TupleField translated_field (mapping,
- std::unique_ptr<HIR::Type> (type),
- vis, field.get_locus (),
- field.get_outer_attrs ());
- fields.push_back (std::move (translated_field));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, struct_decl.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::TupleStruct (mapping, std::move (fields),
- struct_decl.get_identifier (),
- std::move (generic_params),
- std::move (where_clause), vis,
- struct_decl.get_outer_attrs (),
- struct_decl.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- struct_decl.get_locus ());
- }
-
- void visit (AST::StructStruct &struct_decl) override
- {
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (struct_decl.has_generics ())
- {
- generic_params
- = lower_generic_params (struct_decl.get_generic_params ());
- }
-
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : struct_decl.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
-
- HIR::WhereClause where_clause (std::move (where_clause_items));
-
- HIR::Visibility vis = translate_visibility (struct_decl.get_visibility ());
-
- bool is_unit = struct_decl.is_unit_struct ();
- std::vector<HIR::StructField> fields;
- for (AST::StructField &field : struct_decl.get_fields ())
- {
- if (field.get_field_type ()->is_marked_for_strip ())
- continue;
-
- HIR::Visibility vis = translate_visibility (field.get_visibility ());
- HIR::Type *type
- = ASTLoweringType::translate (field.get_field_type ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, field.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (
- crate_num));
-
- HIR::StructField translated_field (mapping, field.get_field_name (),
- std::unique_ptr<HIR::Type> (type),
- vis, field.get_locus (),
- field.get_outer_attrs ());
-
- if (struct_field_name_exists (fields, translated_field))
- break;
-
- fields.push_back (std::move (translated_field));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, struct_decl.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::StructStruct (mapping, std::move (fields),
- struct_decl.get_identifier (),
- std::move (generic_params),
- std::move (where_clause), is_unit, vis,
- struct_decl.get_outer_attrs (),
- struct_decl.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- struct_decl.get_locus ());
- }
-
- void visit (AST::Enum &enum_decl) override
- {
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (enum_decl.has_generics ())
- {
- generic_params = lower_generic_params (enum_decl.get_generic_params ());
- }
-
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : enum_decl.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
-
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::Visibility vis = translate_visibility (enum_decl.get_visibility ());
-
- // bool is_unit = enum_decl.is_zero_variant ();
- std::vector<std::unique_ptr<HIR::EnumItem>> items;
- for (auto &variant : enum_decl.get_variants ())
- {
- if (variant->is_marked_for_strip ())
- continue;
-
- HIR::EnumItem *hir_item
- = ASTLoweringEnumItem::translate (variant.get ());
- items.push_back (std::unique_ptr<HIR::EnumItem> (hir_item));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, enum_decl.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::Enum (mapping, enum_decl.get_identifier (), vis,
- std::move (generic_params),
- std::move (where_clause), /* is_unit, */
- std::move (items), enum_decl.get_outer_attrs (),
- enum_decl.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- enum_decl.get_locus ());
- }
-
- void visit (AST::Union &union_decl) override
- {
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (union_decl.has_generics ())
- {
- generic_params
- = lower_generic_params (union_decl.get_generic_params ());
- }
-
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : union_decl.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::Visibility vis = translate_visibility (union_decl.get_visibility ());
-
- std::vector<HIR::StructField> variants;
- for (AST::StructField &variant : union_decl.get_variants ())
- {
- if (variant.get_field_type ()->is_marked_for_strip ())
- continue;
-
- // FIXME: Does visibility apply here?
- HIR::Visibility vis = translate_visibility (variant.get_visibility ());
- HIR::Type *type
- = ASTLoweringType::translate (variant.get_field_type ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, variant.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (
- crate_num));
-
- HIR::StructField translated_variant (mapping, variant.get_field_name (),
- std::unique_ptr<HIR::Type> (type),
- vis, variant.get_locus (),
- variant.get_outer_attrs ());
-
- if (struct_field_name_exists (variants, translated_variant))
- break;
-
- variants.push_back (std::move (translated_variant));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, union_decl.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated
- = new HIR::Union (mapping, union_decl.get_identifier (), vis,
- std::move (generic_params), std::move (where_clause),
- std::move (variants), union_decl.get_outer_attrs (),
- union_decl.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- union_decl.get_locus ());
- }
-
- void visit (AST::StaticItem &var) override
- {
- HIR::Visibility vis = translate_visibility (var.get_visibility ());
-
- HIR::Type *type = ASTLoweringType::translate (var.get_type ().get ());
- HIR::Expr *expr = ASTLoweringExpr::translate (var.get_expr ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, var.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::StaticItem (mapping, var.get_identifier (),
- var.is_mutable () ? Mutability::Mut
- : Mutability::Imm,
- std::unique_ptr<HIR::Type> (type),
- std::unique_ptr<HIR::Expr> (expr), vis,
- var.get_outer_attrs (), var.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- var.get_locus ());
- }
-
- void visit (AST::ConstantItem &constant) override
- {
- HIR::Visibility vis = translate_visibility (constant.get_visibility ());
-
- HIR::Type *type = ASTLoweringType::translate (constant.get_type ().get ());
- HIR::Expr *expr = ASTLoweringExpr::translate (constant.get_expr ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, constant.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::ConstantItem (mapping, constant.get_identifier (),
- vis, std::unique_ptr<HIR::Type> (type),
- std::unique_ptr<HIR::Expr> (expr),
- constant.get_outer_attrs (),
- constant.get_locus ());
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- constant.get_locus ());
- }
-
- void visit (AST::Function &function) override
- {
- if (function.is_marked_for_strip ())
- return;
-
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : function.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
-
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::FunctionQualifiers qualifiers
- = lower_qualifiers (function.get_qualifiers ());
- HIR::Visibility vis = translate_visibility (function.get_visibility ());
-
- // need
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (function.has_generics ())
- {
- generic_params = lower_generic_params (function.get_generic_params ());
- }
- Identifier function_name = function.get_function_name ();
- Location locus = function.get_locus ();
-
- std::unique_ptr<HIR::Type> return_type
- = function.has_return_type () ? std::unique_ptr<HIR::Type> (
- ASTLoweringType::translate (function.get_return_type ().get ()))
- : nullptr;
-
- std::vector<HIR::FunctionParam> function_params;
- for (auto ¶m : function.get_function_params ())
- {
- auto translated_pattern = std::unique_ptr<HIR::Pattern> (
- ASTLoweringPattern::translate (param.get_pattern ().get ()));
- auto translated_type = std::unique_ptr<HIR::Type> (
- ASTLoweringType::translate (param.get_type ().get ()));
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- UNKNOWN_LOCAL_DEFID);
-
- auto hir_param
- = HIR::FunctionParam (mapping, std::move (translated_pattern),
- std::move (translated_type),
- param.get_locus ());
- function_params.push_back (std::move (hir_param));
- }
-
- bool terminated = false;
- std::unique_ptr<HIR::BlockExpr> function_body
- = std::unique_ptr<HIR::BlockExpr> (
- ASTLoweringBlock::translate (function.get_definition ().get (),
- &terminated));
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, function.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- mappings->insert_location (crate_num,
- function_body->get_mappings ().get_hirid (),
- function.get_locus ());
-
- auto fn
- = new HIR::Function (mapping, std::move (function_name),
- std::move (qualifiers), std::move (generic_params),
- std::move (function_params), std::move (return_type),
- std::move (where_clause), std::move (function_body),
- std::move (vis), function.get_outer_attrs (),
- HIR::SelfParam::error (), locus);
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- fn);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- function.get_locus ());
-
- // add the mappings for the function params at the end
- for (auto ¶m : fn->get_function_params ())
- {
- mappings->insert_hir_param (mapping.get_crate_num (),
- param.get_mappings ().get_hirid (), ¶m);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- param.get_locus ());
- }
-
- translated = fn;
- }
-
- void visit (AST::InherentImpl &impl_block) override
- {
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : impl_block.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
-
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::Visibility vis = translate_visibility (impl_block.get_visibility ());
-
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (impl_block.has_generics ())
- {
- generic_params
- = lower_generic_params (impl_block.get_generic_params ());
-
- for (auto &generic_param : generic_params)
- {
- switch (generic_param->get_kind ())
- {
- case HIR::GenericParam::GenericKind::TYPE: {
- const HIR::TypeParam &t
- = static_cast<const HIR::TypeParam &> (*generic_param);
-
- if (t.has_type ())
- {
- // see https://github.com/rust-lang/rust/issues/36887
- rust_error_at (
- t.get_locus (),
- "defaults for type parameters are not allowed here");
- }
- }
- break;
-
- default:
- break;
- }
- }
- }
-
- HIR::Type *impl_type
- = ASTLoweringType::translate (impl_block.get_type ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, impl_block.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- std::vector<std::unique_ptr<HIR::ImplItem>> impl_items;
- std::vector<HirId> impl_item_ids;
- for (auto &impl_item : impl_block.get_impl_items ())
- {
- if (impl_item->is_marked_for_strip ())
- continue;
-
- HIR::ImplItem *lowered
- = ASTLowerImplItem::translate (impl_item.get (),
- mapping.get_hirid ());
- rust_assert (lowered != nullptr);
- impl_items.push_back (std::unique_ptr<HIR::ImplItem> (lowered));
- impl_item_ids.push_back (lowered->get_impl_mappings ().get_hirid ());
- }
-
- Polarity polarity = Positive;
- HIR::ImplBlock *hir_impl_block = new HIR::ImplBlock (
- mapping, std::move (impl_items), std::move (generic_params),
- std::unique_ptr<HIR::Type> (impl_type), nullptr, where_clause, polarity,
- vis, impl_block.get_inner_attrs (), impl_block.get_outer_attrs (),
- impl_block.get_locus ());
- translated = hir_impl_block;
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_hir_impl_block (mapping.get_crate_num (),
- mapping.get_hirid (), hir_impl_block);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- impl_block.get_locus ());
-
- for (auto &impl_item_id : impl_item_ids)
- {
- mappings->insert_impl_item_mapping (impl_item_id, hir_impl_block);
- }
- }
-
- void visit (AST::Trait &trait) override
- {
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : trait.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
- HIR::WhereClause where_clause (std::move (where_clause_items));
-
- HIR::Visibility vis = translate_visibility (trait.get_visibility ());
-
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (trait.has_generics ())
- {
- generic_params = lower_generic_params (trait.get_generic_params ());
- }
-
- std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
- if (trait.has_type_param_bounds ())
- {
- for (auto &bound : trait.get_type_param_bounds ())
- {
- HIR::TypeParamBound *b = lower_bound (bound.get ());
- type_param_bounds.push_back (
- std::unique_ptr<HIR::TypeParamBound> (b));
- }
- }
-
- std::vector<std::unique_ptr<HIR::TraitItem>> trait_items;
- std::vector<HirId> trait_item_ids;
- for (auto &item : trait.get_trait_items ())
- {
- if (item->is_marked_for_strip ())
- continue;
-
- HIR::TraitItem *lowered = ASTLowerTraitItem::translate (item.get ());
- trait_items.push_back (std::unique_ptr<HIR::TraitItem> (lowered));
- trait_item_ids.push_back (lowered->get_mappings ().get_hirid ());
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, trait.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- auto trait_unsafety = Unsafety::Normal;
- if (trait.is_unsafe ())
- {
- trait_unsafety = Unsafety::Unsafe;
- }
-
- HIR::Trait *hir_trait
- = new HIR::Trait (mapping, trait.get_identifier (), trait_unsafety,
- std::move (generic_params),
- std::move (type_param_bounds), where_clause,
- std::move (trait_items), vis, trait.get_outer_attrs (),
- trait.get_locus ());
- translated = hir_trait;
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- trait.get_locus ());
-
- for (auto trait_item_id : trait_item_ids)
- {
- mappings->insert_trait_item_mapping (trait_item_id, hir_trait);
- }
- }
-
- void visit (AST::TraitImpl &impl_block) override
- {
- std::vector<std::unique_ptr<HIR::WhereClauseItem>> where_clause_items;
- for (auto &item : impl_block.get_where_clause ().get_items ())
- {
- HIR::WhereClauseItem *i
- = ASTLowerWhereClauseItem::translate (*item.get ());
- where_clause_items.push_back (
- std::unique_ptr<HIR::WhereClauseItem> (i));
- }
- HIR::WhereClause where_clause (std::move (where_clause_items));
- HIR::Visibility vis = translate_visibility (impl_block.get_visibility ());
-
- std::vector<std::unique_ptr<HIR::GenericParam>> generic_params;
- if (impl_block.has_generics ())
- {
- generic_params
- = lower_generic_params (impl_block.get_generic_params ());
-
- for (auto &generic_param : generic_params)
- {
- switch (generic_param->get_kind ())
- {
- case HIR::GenericParam::GenericKind::TYPE: {
- const HIR::TypeParam &t
- = static_cast<const HIR::TypeParam &> (*generic_param);
-
- if (t.has_type ())
- {
- // see https://github.com/rust-lang/rust/issues/36887
- rust_error_at (
- t.get_locus (),
- "defaults for type parameters are not allowed here");
- }
- }
- break;
-
- default:
- break;
- }
- }
- }
-
- HIR::Type *impl_type
- = ASTLoweringType::translate (impl_block.get_type ().get ());
- HIR::TypePath *trait_ref
- = ASTLowerTypePath::translate (impl_block.get_trait_path ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, impl_block.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- std::vector<std::unique_ptr<HIR::ImplItem>> impl_items;
- std::vector<HirId> impl_item_ids;
- for (auto &impl_item : impl_block.get_impl_items ())
- {
- if (impl_item->is_marked_for_strip ())
- continue;
-
- HIR::ImplItem *lowered
- = ASTLowerImplItem::translate (impl_item.get (),
- mapping.get_hirid ());
- rust_assert (lowered != nullptr);
- impl_items.push_back (std::unique_ptr<HIR::ImplItem> (lowered));
- impl_item_ids.push_back (lowered->get_impl_mappings ().get_hirid ());
- }
-
- Polarity polarity = impl_block.is_exclam () ? Positive : Negative;
- HIR::ImplBlock *hir_impl_block = new HIR::ImplBlock (
- mapping, std::move (impl_items), std::move (generic_params),
- std::unique_ptr<HIR::Type> (impl_type),
- std::unique_ptr<HIR::TypePath> (trait_ref), where_clause, polarity, vis,
- impl_block.get_inner_attrs (), impl_block.get_outer_attrs (),
- impl_block.get_locus ());
- translated = hir_impl_block;
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_hir_impl_block (mapping.get_crate_num (),
- mapping.get_hirid (), hir_impl_block);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- impl_block.get_locus ());
-
- for (auto &impl_item_id : impl_item_ids)
- {
- mappings->insert_impl_item_mapping (impl_item_id, hir_impl_block);
- }
- }
-
- void visit (AST::ExternBlock &extern_block) override
- {
- HIR::Visibility vis = translate_visibility (extern_block.get_visibility ());
-
- std::vector<std::unique_ptr<HIR::ExternalItem>> extern_items;
- for (auto &item : extern_block.get_extern_items ())
- {
- if (item->is_marked_for_strip ())
- continue;
-
- HIR::ExternalItem *lowered
- = ASTLoweringExternItem::translate (item.get ());
- extern_items.push_back (std::unique_ptr<HIR::ExternalItem> (lowered));
- }
-
- ABI abi = ABI::RUST;
- if (extern_block.has_abi ())
- {
- const std::string &extern_abi = extern_block.get_abi ();
- abi = get_abi_from_string (extern_abi);
- if (abi == ABI::UNKNOWN)
- rust_error_at (extern_block.get_locus (), "unknown ABI option");
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, extern_block.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- HIR::ExternBlock *hir_extern_block
- = new HIR::ExternBlock (mapping, abi, std::move (extern_items),
- std::move (vis), extern_block.get_inner_attrs (),
- extern_block.get_outer_attrs (),
- extern_block.get_locus ());
-
- translated = hir_extern_block;
-
- mappings->insert_defid_mapping (mapping.get_defid (), translated);
- mappings->insert_hir_item (mapping.get_crate_num (), mapping.get_hirid (),
- translated);
- mappings->insert_location (crate_num, mapping.get_hirid (),
- extern_block.get_locus ());
- }
+ static HIR::Item *translate (AST::Item *item);
+
+ void visit (AST::Module &module) override;
+ void visit (AST::TypeAlias &alias) override;
+ void visit (AST::TupleStruct &struct_decl) override;
+ void visit (AST::StructStruct &struct_decl) override;
+ void visit (AST::Enum &enum_decl) override;
+ void visit (AST::Union &union_decl) override;
+ void visit (AST::StaticItem &var) override;
+ void visit (AST::ConstantItem &constant) override;
+ void visit (AST::Function &function) override;
+ void visit (AST::InherentImpl &impl_block) override;
+ void visit (AST::Trait &trait) override;
+ void visit (AST::TraitImpl &impl_block) override;
+ void visit (AST::ExternBlock &extern_block) override;
private:
ASTLoweringItem () : translated (nullptr) {}
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-06-08 12:43 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-08 12:43 [gcc/devel/rust/master] ast: lower: Refactor ASTLowerItem in its own source file Thomas Schwinge
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).