nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-03 13:37:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
aa692a577e
rust/compiler/rustc_middle/src/arena.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

123 lines
6.9 KiB
Rust
Raw Normal View History

Remove TyS
2022-11-25 16:55:25 +00:00
#![allow(rustc::usage_of_ty_tykind)]
Add some comments. Also use `Default::default()` in one `TypedArena::default()`, for consistency with `DroplessArena::default()`.
2021-11-15 22:49:15 +00:00
/// This higher-order macro declares a list of types which can be allocated by `Arena`.
Add a comment for arena_types!
2019-05-19 15:27:28 +00:00
///
fix rustdoc warnings
2020-05-01 20:28:15 +00:00
/// Specifying the `decode` modifier will add decode impls for `&T` and `&[T]` where `T` is the type
Add a comment for arena_types!
2019-05-19 15:27:28 +00:00
/// listed. These impls will appear in the implement_ty_decoder! macro.
Introduce an arena type which may be used to allocate a list of types with destructors
2019-03-29 16:49:11 +00:00
#[macro_export]
macro_rules! arena_types {
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
($macro:path) => (
Remove unused arena macro args
2021-08-30 11:09:38 +00:00
$macro!([
Implement Deref<LayoutS> for Layout
2023-09-29 16:00:06 +00:00
[] layout: rustc_target::abi::LayoutS<rustc_target::abi::FieldIdx, rustc_target::abi::VariantIdx>,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
[] fn_abi: rustc_target::abi::call::FnAbi<'tcx, rustc_middle::ty::Ty<'tcx>>,
Fix incremental compilation.
2020-04-03 07:49:21 +00:00
// AdtDef are interned and compared by address
Improve `AdtDef` interning. This commit makes `AdtDef` use `Interned`. Much the commit is tedious changes to introduce getter functions. The interesting changes are in `compiler/rustc_middle/src/ty/adt.rs`.
2022-03-04 20:28:41 +00:00
[decode] adt_def: rustc_middle::ty::AdtDefData,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
[] steal_thir: rustc_data_structures::steal::Steal<rustc_middle::thir::Thir<'tcx>>,
[] steal_mir: rustc_data_structures::steal::Steal<rustc_middle::mir::Body<'tcx>>,
[decode] mir: rustc_middle::mir::Body<'tcx>,
continue mir pipeline
2020-07-03 20:15:27 +00:00
[] steal_promoted:
Move Steal to rustc_data_structures.
2020-11-14 00:29:30 +00:00
rustc_data_structures::steal::Steal<
Split `{Idx, IndexVec, IndexSlice}` into their own modules
2023-04-19 10:57:17 +00:00
rustc_index::IndexVec<
continue mir pipeline
2020-07-03 20:15:27 +00:00
rustc_middle::mir::Promoted,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
rustc_middle::mir::Body<'tcx>
continue mir pipeline
2020-07-03 20:15:27 +00:00
>
>,
decode stuff
2020-07-06 22:34:28 +00:00
[decode] promoted:
Split `{Idx, IndexVec, IndexSlice}` into their own modules
2023-04-19 10:57:17 +00:00
rustc_index::IndexVec<
const generics work!
2020-07-06 21:49:53 +00:00
rustc_middle::mir::Promoted,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
rustc_middle::mir::Body<'tcx>
const generics work!
2020-07-06 21:49:53 +00:00
>,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
[decode] typeck_results: rustc_middle::ty::TypeckResults<'tcx>,
Remove unused arena kinds in `rustc_hir` and `rustc_middle`.
2023-11-20 03:35:34 +00:00
[decode] borrowck_result: rustc_middle::mir::BorrowCheckResult<'tcx>,
Remove `untracked_crate` field and instead pass it along with the resolver.
2022-12-05 16:43:06 +00:00
[] resolver: rustc_data_structures::steal::Steal<(
rustc_middle::ty::ResolverAstLowering,
rustc_data_structures::sync::Lrc<rustc_ast::Crate>,
)>,
rustc_interface: Add a new query `pre_configure` It partially expands crate attributes before the main expansion pass (without modifying the crate), and the produced preliminary crate attribute list is used for querying a few attributes that are required very early. Crate-level cfg attributes are then expanded normally during the main expansion pass, like attributes on any other nodes.
2023-03-14 12:53:04 +00:00
[] crate_for_resolver: rustc_data_structures::steal::Steal<(rustc_ast::Crate, rustc_ast::AttrVec)>,
Feed `resolutions` query instead of it being a thin wrapper around an untracked field
2022-12-05 16:19:14 +00:00
[] resolutions: rustc_middle::ty::ResolverGlobalCtxt,
Simplify arena_types macros
2020-06-15 16:29:14 +00:00
[decode] unsafety_check_result: rustc_middle::mir::UnsafetyCheckResult,
Combination of commits Fixes multiple issue with counters, with simplification Includes a change to the implicit else span in ast_lowering, so coverage of the implicit else no longer spans the `then` block. Adds coverage for unused closures and async function bodies. Fixes: #78542 Adding unreachable regions for known MIR missing from coverage map Cleaned up PR commits, and removed link-dead-code requirement and tests Coverage no longer depends on Issue #76038 (`-C link-dead-code` is no longer needed or enforced, so MSVC can use the same tests as Linux and MacOS now) Restrict adding unreachable regions to covered files Improved the code that adds coverage for uncalled functions (with MIR but not-codegenned) to avoid generating coverage in files not already included in the files with covered functions. Resolved last known issue requiring --emit llvm-ir workaround Fixed bugs in how unreachable code spans were added.
2020-12-01 07:58:08 +00:00
[decode] code_region: rustc_middle::mir::coverage::CodeRegion,
Simplify arena_types macros
2020-06-15 16:29:14 +00:00
[] const_allocs: rustc_middle::mir::interpret::Allocation,
try to cache region_scope_tree as a query
2022-05-25 05:52:32 +00:00
[] region_scope_tree: rustc_middle::middle::region::ScopeTree,
Fix incremental compilation.
2020-04-03 07:49:21 +00:00
// Required for the incremental on-disk cache
Remove `DropArena`. Most arena-allocate types that impl `Drop` get their own `TypedArena`, but a few infrequently used ones share a `DropArena`. This sharing adds complexity but doesn't help performance or memory usage. Perhaps it was more effective in the past prior to some other improvements to arenas. This commit removes `DropArena` and the sharing of arenas via the `few` attribute of the `arena_types` macro. This change removes over 100 lines of code and nine uses of `unsafe` (one of which affects the parallel compiler) and makes the remaining code easier to read.
2021-11-15 06:15:42 +00:00
[] mir_keys: rustc_hir::def_id::DefIdSet,
Update trait queries
2018-11-30 22:37:18 +00:00
[] dropck_outlives:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx,
rustc_middle::traits::query::DropckOutlivesResult<'tcx>
Update trait queries
2018-11-30 22:37:18 +00:00
>
>,
Rename some normalization-related items
2024-02-20 09:34:51 +00:00
[] normalize_canonicalized_projection_ty:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx,
rustc_middle::traits::query::NormalizationResult<'tcx>
Update trait queries
2018-11-30 22:37:18 +00:00
>
>,
[] implied_outlives_bounds:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx,
Vec<rustc_middle::traits::query::OutlivesBound<'tcx>>
Update trait queries
2018-11-30 22:37:18 +00:00
>
>,
Swap DtorckConstraint to DropckConstraint This change was made as per suspicion that this struct was never renamed after consistent use of DropCk. This also clarifies the meaning behind the name of this structure.
2022-03-24 18:21:41 +00:00
[] dtorck_constraint: rustc_middle::traits::query::DropckConstraint<'tcx>,
Ensure that queries only return Copy types.
2022-01-31 18:55:34 +00:00
[] candidate_step: rustc_middle::traits::query::CandidateStep<'tcx>,
[] autoderef_bad_ty: rustc_middle::traits::query::MethodAutoderefBadTy<'tcx>,
use global cache when computing proof trees
2023-10-30 13:23:35 +00:00
[] canonical_goal_evaluation: rustc_middle::traits::solve::inspect::GoalEvaluationStep<'tcx>,
arena > Rc for query results
2022-07-12 13:21:58 +00:00
[] query_region_constraints: rustc_middle::infer::canonical::QueryRegionConstraints<'tcx>,
Update trait queries
2018-11-30 22:37:18 +00:00
[] type_op_subtype:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx, ()>
Update trait queries
2018-11-30 22:37:18 +00:00
>,
[] type_op_normalize_poly_fn_sig:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::PolyFnSig<'tcx>>
Update trait queries
2018-11-30 22:37:18 +00:00
>,
[] type_op_normalize_fn_sig:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::FnSig<'tcx>>
Update trait queries
2018-11-30 22:37:18 +00:00
>,
Migrate predicates_of and caller_bounds to Clause
2023-06-22 18:17:13 +00:00
[] type_op_normalize_clause:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
Migrate predicates_of and caller_bounds to Clause
2023-06-22 18:17:13 +00:00
rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::Clause<'tcx>>
Update trait queries
2018-11-30 22:37:18 +00:00
>,
[] type_op_normalize_ty:
rustc -> rustc_middle part 2
2020-03-29 14:41:09 +00:00
rustc_middle::infer::canonical::Canonical<'tcx,
rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::Ty<'tcx>>
Update trait queries
2018-11-30 22:37:18 +00:00
>,
privacy: Rename "accessibility levels" to "effective visibilities" And a couple of other naming tweaks Related to https://github.com/rust-lang/rust/issues/48054
2022-09-22 13:19:53 +00:00
[] effective_visibilities: rustc_middle::middle::privacy::EffectiveVisibilities,
Simplify arena_types macros
2020-06-15 16:29:14 +00:00
[] upvars_mentioned: rustc_data_structures::fx::FxIndexMap<rustc_hir::HirId, rustc_hir::Upvar>,
[] object_safety_violations: rustc_middle::traits::ObjectSafetyViolation,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
[] codegen_unit: rustc_middle::mir::mono::CodegenUnit<'tcx>,
Cache more queries on disk.
2022-03-28 17:53:01 +00:00
[decode] attribute: rustc_ast::Attribute,
Use FxIndexSet instead of FxHashSet for asm_target_features query.
2023-02-21 14:15:16 +00:00
[] name_set: rustc_data_structures::unord::UnordSet<rustc_span::symbol::Symbol>,
[] ordered_name_set: rustc_data_structures::fx::FxIndexSet<rustc_span::symbol::Symbol>,
Nits.
2019-12-01 16:33:31 +00:00
Add missing ASM arena declaration to librustc_middle Fixes #72386 This type also needs to get allocated on the `librustc_middle` arena when we deserialize MIR.
2020-05-20 21:39:19 +00:00
// Note that this deliberately duplicates items in the `rustc_hir::arena`,
// since we need to allocate this type on both the `rustc_hir` arena
Remove outdated references to `librustc_middle`.
2024-01-05 02:52:37 +00:00
// (during lowering) and the `rustc_middle` arena (for decoding MIR)
rust_ast::ast => rustc_ast
2020-04-27 17:56:11 +00:00
[decode] asm_template: rustc_ast::InlineAsmTemplatePiece,
Introduce UnordMap, UnordSet, and UnordBag (see MCP 533) MCP 533: https://github.com/rust-lang/compiler-team/issues/533 Also, as an example, substitute UnordMap for FxHashMap in used_trait_imports query result.
2022-10-27 13:23:26 +00:00
[decode] used_trait_imports: rustc_data_structures::unord::UnordSet<rustc_hir::def_id::LocalDefId>,
Remove `HirId -> LocalDefId` map from HIR.
2022-11-05 15:33:58 +00:00
[decode] is_late_bound_map: rustc_data_structures::fx::FxIndexSet<rustc_hir::ItemLocalId>,
Ensure that queries only return Copy types.
2022-01-31 18:55:34 +00:00
[decode] impl_source: rustc_middle::traits::ImplSource<'tcx, ()>,
Build jump table at runtime.
2021-10-16 19:12:34 +00:00
Don't create two new closures for each query - Parameterize DepKindStruct over `'tcx` This allows passing in an invariant function pointer in `query_callback`, rather than having to try and make it work for any lifetime. - Add a new `execute_query` function to `QueryDescription` so we can call `tcx.$name` without needing to be in a macro context
2022-08-29 15:20:14 +00:00
[] dep_kind: rustc_middle::dep_graph::DepKindStruct<'tcx>,
Deeply check that method signatures match, and allow for nested RPITITs
2022-09-02 21:02:59 +00:00
add EarlyBinder to return type of collect_return_position_impl_trait_in_trait_tys query; remove bound_X version
2023-04-17 17:46:01 +00:00
[decode] trait_impl_trait_tys:
Make iteration order of collect_return_position_impl_trait_in_trait_tys query stable
2023-12-21 13:21:01 +00:00
rustc_data_structures::unord::UnordMap<
add EarlyBinder to return type of collect_return_position_impl_trait_in_trait_tys query; remove bound_X version
2023-04-17 17:46:01 +00:00
rustc_hir::def_id::DefId,
rustc_middle::ty::EarlyBinder<rustc_middle::ty::Ty<'tcx>>
>,
intern external constraints
2023-02-03 02:29:52 +00:00
[] external_constraints: rustc_middle::traits::solve::ExternalConstraintsData<'tcx>,
Prepopulate opaques in canonical input
2023-05-16 23:51:23 +00:00
[] predefined_opaques_in_body: rustc_middle::traits::solve::PredefinedOpaquesData<'tcx>,
Resolve documentation links in rustc and store the results in metadata This commit implements MCP https://github.com/rust-lang/compiler-team/issues/584 It also removes code that is no longer used, and that includes code cloning resolver, so issue #83761 is fixed.
2022-02-01 12:30:32 +00:00
[decode] doc_link_resolutions: rustc_hir::def::DocLinkResMap,
Remember names of `cfg`-ed out items to mention them in diagnostics `#[cfg]`s are frequently used to gate crate content behind cargo features. This can lead to very confusing errors when features are missing. For example, `serde` doesn't have the `derive` feature by default. Therefore, `serde::Serialize` fails to resolve with a generic error, even though the macro is present in the docs. This commit adds a list of all stripped item names to metadata. This is filled during macro expansion and then, through a fed query, persisted in metadata. The downstream resolver can then access the metadata to look at possible candidates for mentioning in the errors. This slightly increases metadata (800k->809k for the feature-heavy windows crate), but not enough to really matter.
2023-03-10 21:39:14 +00:00
[] stripped_cfg_items: rustc_ast::expand::StrippedCfgItem,
resolve: Preserve reexport chains in `ModChild`ren This may be potentially useful for - avoiding uses of `hir::ItemKind::Use` - preserving documentation comments on all reexports - preserving and checking stability/deprecation info on reexports - all kinds of diagnostics
2023-03-22 13:57:39 +00:00
[] mod_child: rustc_middle::metadata::ModChild,
rustc: Move `features` from `Session` to `GlobalCtxt` Removes two pieces of mutable state. Follow up to #114622.
2023-08-09 12:28:00 +00:00
[] features: rustc_feature::Features,
`specialization_graph_of`'s `errored` field is used in the only call site, and used to immediately throw away the rest of the value. Let's use `Result` to statically signal that this is happening
2024-01-11 10:05:12 +00:00
[decode] specialization_graph: rustc_middle::traits::specialization_graph::Graph,
Make crate_inherent_impls fallible and stop using `track_errors` for it
2024-01-12 14:29:54 +00:00
[] crate_inherent_impls: rustc_middle::ty::CrateInherentImpls,
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
]);
Introduce an arena type which may be used to allocate a list of types with destructors
2019-03-29 16:49:11 +00:00
)
}
Remove unnecessary lifetime argument from arena macros. Because it's always `'tcx`. In fact, some of them use a mixture of passed-in `$tcx` and hard-coded `'tcx`, so no other lifetime would even work. This makes the code easier to read.
2021-11-15 22:28:26 +00:00
arena_types!(rustc_arena::declare_arena);
Reference in New Issue Copy Permalink