https://gcc.gnu.org/g:dcb6355b2a4162ca4b7eae14b970e9f62b90ec3a
commit r17-3126-gdcb6355b2a4162ca4b7eae14b970e9f62b90ec3a Author: Pierre-Emmanuel Patry <[email protected]> Date: Tue Jul 7 17:53:50 2026 +0200 gccrs: Remove metadata export visitor The metadata format will likely change over the upcoming month and right now it doesn't support trait impl. This commit simplifies metadata export by dumping the whole AST within metadatas. This is slower but it should be more complete and correct. gcc/rust/ChangeLog: * ast/rust-collect-lang-items.cc (CollectLangItems::visit): Visit extern crate's content when collecting lang items. * ast/rust-collect-lang-items.h: Add function protototype. * metadata/rust-export-metadata.cc (ExportContext::push_module_scope): Remove. (ExportContext::emit_crate): Add a function to export the whole crate. (ExportContext::pop_module_scope): Remove. (ExportContext::emit_trait): Likewise. (ExportContext::emit_use_declaration): Likewise. (ExportContext::emit_function): Likewise. (ExportContext::emit_extern_block): Likewise. (ExportContext::emit_module): Likewise. (class ExportVisItems): Likewise. (PublicInterface::gather_export_data): Dump the AST. * metadata/rust-export-metadata.h: Update prototypes. gcc/testsuite/ChangeLog: * rust/link/simple_function_0.rs: Remove bogus match. Signed-off-by: Pierre-Emmanuel Patry <[email protected]> Diff: --- gcc/rust/ast/rust-collect-lang-items.cc | 14 +++ gcc/rust/ast/rust-collect-lang-items.h | 2 + gcc/rust/metadata/rust-export-metadata.cc | 123 +-------------------------- gcc/rust/metadata/rust-export-metadata.h | 12 +-- gcc/testsuite/rust/link/simple_function_0.rs | 1 - 5 files changed, 20 insertions(+), 132 deletions(-) diff --git a/gcc/rust/ast/rust-collect-lang-items.cc b/gcc/rust/ast/rust-collect-lang-items.cc index a8d906492606..7a5ac6dd2e38 100644 --- a/gcc/rust/ast/rust-collect-lang-items.cc +++ b/gcc/rust/ast/rust-collect-lang-items.cc @@ -131,5 +131,19 @@ CollectLangItems::visit (AST::EnumItemDiscriminant &item) DefaultASTVisitor::visit (item); } +void +CollectLangItems::visit (AST::ExternCrate &extern_crate) +{ + auto &mappings = Analysis::Mappings::get (); + auto crate_num + = mappings.lookup_crate_name (extern_crate.get_referenced_crate ()); + if (crate_num) + { + visit (mappings.get_ast_crate (*crate_num)); + } + + DefaultASTVisitor::visit (extern_crate); +} + } // namespace AST } // namespace Rust diff --git a/gcc/rust/ast/rust-collect-lang-items.h b/gcc/rust/ast/rust-collect-lang-items.h index 60b5ff4015da..76e7adb9a380 100644 --- a/gcc/rust/ast/rust-collect-lang-items.h +++ b/gcc/rust/ast/rust-collect-lang-items.h @@ -45,6 +45,8 @@ public: using DefaultASTVisitor::visit; + // Should we move this to the default ast visitor ? + void visit (AST::ExternCrate &extern_crate) override; void visit (AST::Trait &item) override; void visit (AST::TraitItemType &item) override; void visit (AST::Function &item) override; diff --git a/gcc/rust/metadata/rust-export-metadata.cc b/gcc/rust/metadata/rust-export-metadata.cc index 6998319d8575..5d01c5425f48 100644 --- a/gcc/rust/metadata/rust-export-metadata.cc +++ b/gcc/rust/metadata/rust-export-metadata.cc @@ -39,95 +39,14 @@ ExportContext::ExportContext () : mappings (Analysis::Mappings::get ()) {} ExportContext::~ExportContext () {} void -ExportContext::push_module_scope (const HIR::Module &module) +ExportContext::emit_crate (AST::Crate &c) { - module_stack.push_back (module); -} - -const HIR::Module & -ExportContext::pop_module_scope () -{ - rust_assert (!module_stack.empty ()); - const HIR::Module &poped = module_stack.back (); - module_stack.pop_back (); - return poped; -} - -void -ExportContext::emit_trait (AST::Trait &trait) -{ - std::stringstream oss; - AST::Dump dumper (oss); - dumper.process (trait); - - public_interface_buffer += oss.str (); -} - -void -ExportContext::emit_use_declaration (AST::UseDeclaration &use_decl) -{ - std::stringstream oss; - AST::Dump dumper (oss); - dumper.process (use_decl); - - public_interface_buffer += oss.str (); -} - -void -ExportContext::emit_function (AST::Function &fn) -{ - // is this a CFG macro or not - if (fn.is_marked_for_strip ()) - return; - - // if its a generic function we need to output the full declaration - // otherwise we can let people link against this - std::stringstream oss; AST::Dump dumper (oss); - if (!fn.has_generics ()) - { - std::vector<std::unique_ptr<AST::ExternalItem>> external_items; - external_items.emplace_back (fn.clone_external_item ()); - - AST::ExternBlock extern_block (get_string_from_abi (Rust::ABI::RUST), - std::move (external_items), - fn.get_visibility (), {}, {}, - fn.get_locus ()); + dumper.process (c); - dumper.go (extern_block); - } - else - { - dumper.process (fn); - } - - // store the dump public_interface_buffer += oss.str (); } - -void -ExportContext::emit_extern_block (const AST::ExternBlock &block, - std::function<void (void)> sub_visitor) -{ - public_interface_buffer += "extern \"" + block.get_abi () + "\" {\n"; - sub_visitor (); - public_interface_buffer += "}\n"; -} - -void -ExportContext::emit_module (const AST::Module &module, - std::function<void (void)> sub_visitor) -{ - if (module.get_visibility ().is_public ()) - { - public_interface_buffer - += "pub mod " + module.get_name ().as_string () + "{\n"; - sub_visitor (); - public_interface_buffer += "}\n"; - } -} - void ExportContext::emit_macro (AST::MacroRulesDefinition ¯o) { @@ -145,41 +64,6 @@ ExportContext::get_interface_buffer () const return public_interface_buffer; } -// implicitly by using HIR nodes we know that these have passed CFG expansion -// and they exist in the compilation unit -class ExportVisItems : public AST::DefaultASTVisitor -{ -public: - using AST::DefaultASTVisitor::visit; - ExportVisItems (ExportContext &context) : ctx (context) {} - - void go (AST::Crate &c) { visit (c); } - - void visit (AST::Function &function) override - { - ctx.emit_function (function); - } - void visit (AST::ExternBlock &block) override - { - auto sub_visitor = [&] () { AST::DefaultASTVisitor::visit (block); }; - ctx.emit_extern_block (block, sub_visitor); - } - void visit (AST::Trait &trait) override { ctx.emit_trait (trait); } - void visit (AST::Module &module) override - { - auto sub_visitor = [&] () { AST::DefaultASTVisitor::visit (module); }; - ctx.emit_module (module, sub_visitor); - } - - void visit (AST::UseDeclaration &use_decl) override - { - ctx.emit_use_declaration (use_decl); - } - -private: - ExportContext &ctx; -}; - PublicInterface::PublicInterface (HIR::Crate &crate) : crate (crate), mappings (Analysis::Mappings::get ()), context () {} @@ -203,11 +87,10 @@ PublicInterface::ExportTo (HIR::Crate &crate, const std::string &output_path) void PublicInterface::gather_export_data () { - ExportVisItems visitor (context); auto crate_num = mappings.lookup_crate_num (crate.get_mappings ().get_nodeid ()); auto &ast_crate = mappings.get_ast_crate (crate_num.value ()); - visitor.go (ast_crate); + context.emit_crate (ast_crate); for (auto ¯o : mappings.get_exported_macros ()) context.emit_macro (macro); diff --git a/gcc/rust/metadata/rust-export-metadata.h b/gcc/rust/metadata/rust-export-metadata.h index b1e12f2647ff..e9b2e963d8f6 100644 --- a/gcc/rust/metadata/rust-export-metadata.h +++ b/gcc/rust/metadata/rust-export-metadata.h @@ -36,17 +36,7 @@ public: ~ExportContext (); - void push_module_scope (const HIR::Module &module); - - const HIR::Module &pop_module_scope (); - - void emit_trait (AST::Trait &trait); - void emit_function (AST::Function &fn); - void emit_extern_block (const AST::ExternBlock &block, - std::function<void (void)> sub_visitor); - void emit_use_declaration (AST::UseDeclaration &use_decl); - void emit_module (const AST::Module &, - std::function<void (void)> sub_visitor); + void emit_crate (AST::Crate &c); /** * Macros are a bit particular - they only live at the AST level, so we can diff --git a/gcc/testsuite/rust/link/simple_function_0.rs b/gcc/testsuite/rust/link/simple_function_0.rs index 35771901b332..44e0fe441098 100644 --- a/gcc/testsuite/rust/link/simple_function_0.rs +++ b/gcc/testsuite/rust/link/simple_function_0.rs @@ -6,6 +6,5 @@ use simple_function_1::test_func; fn main() -> i32 { let a = test_func(123); - // { dg-bogus "call to extern function" "" { xfail *-*-* } .-1 } a - 124 }
