gccrs: Improve method resolution with separate implementation indexes
gccrs enhances method resolution performance by using separate indexes for trait implementations.
This commit restructures how gccrs handles method resolution by introducing separate indexes for trait implementations. This change aims to improve the performance of this computationally expensive operation. It modifies the MethodResolver::select function to utilize these new indexes and updates Mappings::insert_hir_impl_block to accommodate them.
In Details
The gccrs compiler's method resolution, particularly for trait objects, has been a performance bottleneck. This patch introduces separate indexes within util::rust-hir-map.cc and util/rust-hir-map.h to manage trait implementations (impl blocks) more efficiently. The MethodResolver::select in typecheck/rust-hir-dot-operator.cc now leverages these specialized indexes, moving away from a monolithic lookup.
- gccrs
- The GCC frontend for the Rust programming language. It translates Rust code into GCC's internal representation (GIMPLE) for optimization and code generation.
- Method Resolution
- The process by which a compiler determines which specific function or method to call when given a name, especially in object-oriented or trait-based systems. In Rust, this involves looking up methods defined in traits and their implementations.
- Trait Implementation
- In Rust, a trait defines a set of methods that a type can implement. An implementation block (
impl Trait for Type) provides the concrete code for those methods for a specific type. - HIR
- High-Level Intermediate Representation. In
gccrs, HIR is a representation of Rust code after initial parsing and some semantic analysis, used for further compiler passes.