1#![allow(internal_features)]
3#![feature(core_intrinsics)]
4#![feature(min_specialization)]
5#![feature(rustc_attrs)]
6#![feature(try_blocks)]
7use rustc_data_structures::sync::{AtomicU64, Lock};
10use rustc_middle::arena::Arena;
11use rustc_middle::queries::{ExternProviders, Providers};
12use rustc_middle::query::QuerySystem;
13use rustc_middle::query::on_disk_cache::OnDiskCache;
14
15pub use crate::job::{
16 CollectActiveJobsKind, QueryJobMap, break_query_cycle, collect_active_query_jobs,
17 print_query_stack,
18};
19
20mod dep_kind_vtables;
21mod diagnostics;
22mod execution;
23mod handle_cycle_error;
24mod incremental;
25mod job;
26mod query_vtables;
27mod self_profile;
28
29pub fn query_system<'tcx>(
30 arena: &'tcx Arena<'tcx>,
31 local_providers: Providers,
32 extern_providers: ExternProviders,
33 on_disk_cache: Option<OnDiskCache>,
34 incremental: bool,
35 track_present: bool,
36) -> QuerySystem<'tcx> {
37 QuerySystem {
38 arenas: Default::default(),
39 dep_kind_vtables: dep_kind_vtables::make_dep_kind_vtables(arena),
40 query_vtables: query_vtables::make_query_vtables(incremental, track_present),
41 side_effects: Default::default(),
42 used_features: Default::default(),
43 on_disk_cache,
44 local_providers,
45 extern_providers,
46 jobs: AtomicU64::new(1),
47 cycle_handler_nesting: Lock::new(0),
48 }
49}
50
51pub fn provide(providers: &mut rustc_middle::util::Providers) {
52 providers.hooks.alloc_self_profile_query_strings =
53 self_profile::alloc_self_profile_query_strings;
54 providers.hooks.verify_query_key_hashes = incremental::verify_query_key_hashes;
55 providers.hooks.encode_query_values = incremental::encode_query_values;
56}