1use std::cell::{Cell, RefCell};
7
8use rustc_hir::def::DefKind;
9use rustc_public_bridge::context::CompilerCtxt;
10use rustc_public_bridge::{Bridge, Tables};
11use tracing::debug;
12
13use crate::abi::{FnAbi, Layout, LayoutShape, ReprOptions};
14use crate::crate_def::Attribute;
15use crate::mir::alloc::{AllocId, GlobalAlloc};
16use crate::mir::mono::{Instance, InstanceDef, StaticDef};
17use crate::mir::{BinOp, Body, Place, UnOp};
18use crate::target::{MachineInfo, MachineSize};
19use crate::ty::{
20    AdtDef, AdtKind, Allocation, ClosureDef, ClosureKind, CoroutineDef, Discr, FieldDef, FnDef,
21    ForeignDef, ForeignItemKind, ForeignModule, ForeignModuleDef, GenericArgs, GenericPredicates,
22    Generics, ImplDef, ImplTrait, IntrinsicDef, LineInfo, MirConst, PolyFnSig, RigidTy, Span,
23    TraitDecl, TraitDef, Ty, TyConst, TyConstId, TyKind, UintTy, VariantDef, VariantIdx,
24};
25use crate::unstable::{RustcInternal, Stable, new_item_kind};
26use crate::{
27    AssocItems, Crate, CrateDef, CrateItem, CrateItems, CrateNum, DefId, Error, Filename,
28    ImplTraitDecls, ItemKind, Symbol, TraitDecls, alloc, mir,
29};
30
31pub struct BridgeTys;
32
33impl Bridge for BridgeTys {
34    type DefId = crate::DefId;
35    type AllocId = crate::mir::alloc::AllocId;
36    type Span = crate::ty::Span;
37    type Ty = crate::ty::Ty;
38    type InstanceDef = crate::mir::mono::InstanceDef;
39    type TyConstId = crate::ty::TyConstId;
40    type MirConstId = crate::ty::MirConstId;
41    type Layout = crate::abi::Layout;
42
43    type Error = crate::Error;
44    type CrateItem = crate::CrateItem;
45    type AdtDef = crate::ty::AdtDef;
46    type ForeignModuleDef = crate::ty::ForeignModuleDef;
47    type ForeignDef = crate::ty::ForeignDef;
48    type FnDef = crate::ty::FnDef;
49    type ClosureDef = crate::ty::ClosureDef;
50    type CoroutineDef = crate::ty::CoroutineDef;
51    type CoroutineClosureDef = crate::ty::CoroutineClosureDef;
52    type AliasDef = crate::ty::AliasDef;
53    type ParamDef = crate::ty::ParamDef;
54    type BrNamedDef = crate::ty::BrNamedDef;
55    type TraitDef = crate::ty::TraitDef;
56    type GenericDef = crate::ty::GenericDef;
57    type ConstDef = crate::ty::ConstDef;
58    type ImplDef = crate::ty::ImplDef;
59    type RegionDef = crate::ty::RegionDef;
60    type CoroutineWitnessDef = crate::ty::CoroutineWitnessDef;
61    type AssocDef = crate::ty::AssocDef;
62    type OpaqueDef = crate::ty::OpaqueDef;
63    type Prov = crate::ty::Prov;
64    type StaticDef = crate::mir::mono::StaticDef;
65
66    type Allocation = crate::ty::Allocation;
67}
68
69pub(crate) struct CompilerInterface<'tcx> {
76    pub tables: RefCell<Tables<'tcx, BridgeTys>>,
77    pub cx: RefCell<CompilerCtxt<'tcx, BridgeTys>>,
78}
79
80impl<'tcx> CompilerInterface<'tcx> {
81    pub(crate) fn entry_fn(&self) -> Option<CrateItem> {
82        let mut tables = self.tables.borrow_mut();
83        let cx = &*self.cx.borrow();
84        let did = cx.entry_fn();
85        Some(tables.crate_item(did?))
86    }
87
88    pub(crate) fn all_local_items(&self) -> CrateItems {
90        let mut tables = self.tables.borrow_mut();
91        let cx = &*self.cx.borrow();
92        cx.all_local_items().iter().map(|did| tables.crate_item(*did)).collect()
93    }
94
95    pub(crate) fn mir_body(&self, item: DefId) -> mir::Body {
98        let mut tables = self.tables.borrow_mut();
99        let cx = &*self.cx.borrow();
100        let did = tables[item];
101        cx.mir_body(did).stable(&mut *tables, cx)
102    }
103
104    pub(crate) fn has_body(&self, item: DefId) -> bool {
106        let mut tables = self.tables.borrow_mut();
107        let cx = &*self.cx.borrow();
108        let def = item.internal(&mut *tables, cx.tcx);
109        cx.has_body(def)
110    }
111
112    pub(crate) fn foreign_modules(&self, crate_num: CrateNum) -> Vec<ForeignModuleDef> {
113        let mut tables = self.tables.borrow_mut();
114        let cx = &*self.cx.borrow();
115        cx.foreign_modules(crate_num.internal(&mut *tables, cx.tcx))
116            .iter()
117            .map(|did| tables.foreign_module_def(*did))
118            .collect()
119    }
120
121    pub(crate) fn crate_functions(&self, crate_num: CrateNum) -> Vec<FnDef> {
123        let mut tables = self.tables.borrow_mut();
124        let cx = &*self.cx.borrow();
125        let krate = crate_num.internal(&mut *tables, cx.tcx);
126        cx.crate_functions(krate).iter().map(|did| tables.fn_def(*did)).collect()
127    }
128
129    pub(crate) fn crate_statics(&self, crate_num: CrateNum) -> Vec<StaticDef> {
131        let mut tables = self.tables.borrow_mut();
132        let cx = &*self.cx.borrow();
133        let krate = crate_num.internal(&mut *tables, cx.tcx);
134        cx.crate_statics(krate).iter().map(|did| tables.static_def(*did)).collect()
135    }
136
137    pub(crate) fn foreign_module(&self, mod_def: ForeignModuleDef) -> ForeignModule {
138        let mut tables = self.tables.borrow_mut();
139        let cx = &*self.cx.borrow();
140        let did = tables[mod_def.def_id()];
141        cx.foreign_module(did).stable(&mut *tables, cx)
142    }
143
144    pub(crate) fn foreign_items(&self, mod_def: ForeignModuleDef) -> Vec<ForeignDef> {
145        let mut tables = self.tables.borrow_mut();
146        let cx = &*self.cx.borrow();
147        let did = tables[mod_def.def_id()];
148        cx.foreign_items(did).iter().map(|did| tables.foreign_def(*did)).collect()
149    }
150
151    pub(crate) fn all_trait_decls(&self) -> TraitDecls {
152        let mut tables = self.tables.borrow_mut();
153        let cx = &*self.cx.borrow();
154        cx.all_trait_decls().map(|did| tables.trait_def(did)).collect()
155    }
156
157    pub(crate) fn trait_decls(&self, crate_num: CrateNum) -> TraitDecls {
158        let mut tables = self.tables.borrow_mut();
159        let cx = &*self.cx.borrow();
160        let krate = crate_num.internal(&mut *tables, cx.tcx);
161        cx.trait_decls(krate).iter().map(|did| tables.trait_def(*did)).collect()
162    }
163
164    pub(crate) fn trait_decl(&self, trait_def: &TraitDef) -> TraitDecl {
165        let mut tables = self.tables.borrow_mut();
166        let cx = &*self.cx.borrow();
167        let did = tables[trait_def.0];
168        cx.trait_decl(did).stable(&mut *tables, cx)
169    }
170
171    pub(crate) fn all_trait_impls(&self) -> ImplTraitDecls {
172        let mut tables = self.tables.borrow_mut();
173        let cx = &*self.cx.borrow();
174        cx.all_trait_impls().iter().map(|did| tables.impl_def(*did)).collect()
175    }
176
177    pub(crate) fn trait_impls(&self, crate_num: CrateNum) -> ImplTraitDecls {
178        let mut tables = self.tables.borrow_mut();
179        let cx = &*self.cx.borrow();
180        let krate = crate_num.internal(&mut *tables, cx.tcx);
181        cx.trait_impls(krate).iter().map(|did| tables.impl_def(*did)).collect()
182    }
183
184    pub(crate) fn trait_impl(&self, trait_impl: &ImplDef) -> ImplTrait {
185        let mut tables = self.tables.borrow_mut();
186        let cx = &*self.cx.borrow();
187        let did = tables[trait_impl.0];
188        cx.trait_impl(did).stable(&mut *tables, cx)
189    }
190
191    pub(crate) fn generics_of(&self, def_id: DefId) -> Generics {
192        let mut tables = self.tables.borrow_mut();
193        let cx = &*self.cx.borrow();
194        let did = tables[def_id];
195        cx.generics_of(did).stable(&mut *tables, cx)
196    }
197
198    pub(crate) fn predicates_of(&self, def_id: DefId) -> GenericPredicates {
199        let mut tables = self.tables.borrow_mut();
200        let cx = &*self.cx.borrow();
201        let did = tables[def_id];
202        let (parent, kinds) = cx.predicates_of(did);
203        crate::ty::GenericPredicates {
204            parent: parent.map(|did| tables.trait_def(did)),
205            predicates: kinds
206                .iter()
207                .map(|(kind, span)| (kind.stable(&mut *tables, cx), span.stable(&mut *tables, cx)))
208                .collect(),
209        }
210    }
211
212    pub(crate) fn explicit_predicates_of(&self, def_id: DefId) -> GenericPredicates {
213        let mut tables = self.tables.borrow_mut();
214        let cx = &*self.cx.borrow();
215        let did = tables[def_id];
216        let (parent, kinds) = cx.explicit_predicates_of(did);
217        crate::ty::GenericPredicates {
218            parent: parent.map(|did| tables.trait_def(did)),
219            predicates: kinds
220                .iter()
221                .map(|(kind, span)| (kind.stable(&mut *tables, cx), span.stable(&mut *tables, cx)))
222                .collect(),
223        }
224    }
225
226    pub(crate) fn local_crate(&self) -> Crate {
228        let cx = &*self.cx.borrow();
229        smir_crate(cx, cx.local_crate_num())
230    }
231
232    pub(crate) fn external_crates(&self) -> Vec<Crate> {
234        let cx = &*self.cx.borrow();
235        cx.external_crates().iter().map(|crate_num| smir_crate(cx, *crate_num)).collect()
236    }
237
238    pub(crate) fn find_crates(&self, name: &str) -> Vec<Crate> {
240        let cx = &*self.cx.borrow();
241        cx.find_crates(name).iter().map(|crate_num| smir_crate(cx, *crate_num)).collect()
242    }
243
244    pub(crate) fn def_name(&self, def_id: DefId, trimmed: bool) -> Symbol {
246        let tables = self.tables.borrow();
247        let cx = &*self.cx.borrow();
248        let did = tables[def_id];
249        cx.def_name(did, trimmed)
250    }
251
252    pub(crate) fn tool_attrs(&self, def_id: DefId, attr: &[Symbol]) -> Vec<Attribute> {
260        let mut tables = self.tables.borrow_mut();
261        let cx = &*self.cx.borrow();
262        let did = tables[def_id];
263        cx.tool_attrs(did, attr)
264            .into_iter()
265            .map(|(attr_str, span)| Attribute::new(attr_str, span.stable(&mut *tables, cx)))
266            .collect()
267    }
268
269    pub(crate) fn all_tool_attrs(&self, def_id: DefId) -> Vec<Attribute> {
271        let mut tables = self.tables.borrow_mut();
272        let cx = &*self.cx.borrow();
273        let did = tables[def_id];
274        cx.all_tool_attrs(did)
275            .into_iter()
276            .map(|(attr_str, span)| Attribute::new(attr_str, span.stable(&mut *tables, cx)))
277            .collect()
278    }
279
280    pub(crate) fn span_to_string(&self, span: Span) -> String {
282        let tables = self.tables.borrow_mut();
283        let cx = &*self.cx.borrow();
284        let sp = tables.spans[span];
285        cx.span_to_string(sp)
286    }
287
288    pub(crate) fn get_filename(&self, span: &Span) -> Filename {
290        let tables = self.tables.borrow_mut();
291        let cx = &*self.cx.borrow();
292        let sp = tables.spans[*span];
293        cx.get_filename(sp)
294    }
295
296    pub(crate) fn get_lines(&self, span: &Span) -> LineInfo {
298        let tables = self.tables.borrow_mut();
299        let cx = &*self.cx.borrow();
300        let sp = tables.spans[*span];
301        let lines = cx.get_lines(sp);
302        LineInfo::from(lines)
303    }
304
305    pub(crate) fn item_kind(&self, item: CrateItem) -> ItemKind {
307        let tables = self.tables.borrow();
308        let cx = &*self.cx.borrow();
309        let did = tables[item.0];
310        new_item_kind(cx.def_kind(did))
311    }
312
313    pub(crate) fn is_foreign_item(&self, item: DefId) -> bool {
315        let tables = self.tables.borrow();
316        let cx = &*self.cx.borrow();
317        let did = tables[item];
318        cx.is_foreign_item(did)
319    }
320
321    pub(crate) fn foreign_item_kind(&self, def: ForeignDef) -> ForeignItemKind {
323        let mut tables = self.tables.borrow_mut();
324        let cx = &*self.cx.borrow();
325        let def_id = tables[def.def_id()];
326        let def_kind = cx.foreign_item_kind(def_id);
327        match def_kind {
328            DefKind::Fn => ForeignItemKind::Fn(tables.fn_def(def_id)),
329            DefKind::Static { .. } => ForeignItemKind::Static(tables.static_def(def_id)),
330            DefKind::ForeignTy => {
331                use rustc_public_bridge::context::TyHelpers;
332                ForeignItemKind::Type(tables.intern_ty(cx.new_foreign(def_id)))
333            }
334            def_kind => unreachable!("Unexpected kind for a foreign item: {:?}", def_kind),
335        }
336    }
337
338    pub(crate) fn adt_kind(&self, def: AdtDef) -> AdtKind {
340        let mut tables = self.tables.borrow_mut();
341        let cx = &*self.cx.borrow();
342        cx.adt_kind(def.internal(&mut *tables, cx.tcx)).stable(&mut *tables, cx)
343    }
344
345    pub(crate) fn adt_is_box(&self, def: AdtDef) -> bool {
347        let mut tables = self.tables.borrow_mut();
348        let cx = &*self.cx.borrow();
349        cx.adt_is_box(def.internal(&mut *tables, cx.tcx))
350    }
351
352    pub(crate) fn adt_is_simd(&self, def: AdtDef) -> bool {
354        let mut tables = self.tables.borrow_mut();
355        let cx = &*self.cx.borrow();
356        cx.adt_is_simd(def.internal(&mut *tables, cx.tcx))
357    }
358
359    pub(crate) fn adt_is_cstr(&self, def: AdtDef) -> bool {
361        let mut tables = self.tables.borrow_mut();
362        let cx = &*self.cx.borrow();
363        cx.adt_is_cstr(def.0.internal(&mut *tables, cx.tcx))
364    }
365
366    pub(crate) fn adt_repr(&self, def: AdtDef) -> ReprOptions {
368        let mut tables = self.tables.borrow_mut();
369        let cx = &*self.cx.borrow();
370        cx.adt_repr(def.internal(&mut *tables, cx.tcx)).stable(&mut *tables, cx)
371    }
372
373    pub(crate) fn fn_sig(&self, def: FnDef, args: &GenericArgs) -> PolyFnSig {
375        let mut tables = self.tables.borrow_mut();
376        let cx = &*self.cx.borrow();
377        let def_id = def.0.internal(&mut *tables, cx.tcx);
378        let args_ref = args.internal(&mut *tables, cx.tcx);
379        cx.fn_sig(def_id, args_ref).stable(&mut *tables, cx)
380    }
381
382    pub(crate) fn intrinsic(&self, item: DefId) -> Option<IntrinsicDef> {
384        let mut tables = self.tables.borrow_mut();
385        let cx = &*self.cx.borrow();
386        let def_id = item.internal(&mut *tables, cx.tcx);
387        cx.intrinsic(def_id).map(|_| IntrinsicDef(item))
388    }
389
390    pub(crate) fn intrinsic_name(&self, def: IntrinsicDef) -> Symbol {
392        let mut tables = self.tables.borrow_mut();
393        let cx = &*self.cx.borrow();
394        let def_id = def.0.internal(&mut *tables, cx.tcx);
395        cx.intrinsic_name(def_id)
396    }
397
398    pub(crate) fn closure_sig(&self, args: &GenericArgs) -> PolyFnSig {
400        let mut tables = self.tables.borrow_mut();
401        let cx = &*self.cx.borrow();
402        let args_ref = args.internal(&mut *tables, cx.tcx);
403        cx.closure_sig(args_ref).stable(&mut *tables, cx)
404    }
405
406    pub(crate) fn adt_variants_len(&self, def: AdtDef) -> usize {
408        let mut tables = self.tables.borrow_mut();
409        let cx = &*self.cx.borrow();
410        cx.adt_variants_len(def.internal(&mut *tables, cx.tcx))
411    }
412
413    pub(crate) fn adt_discr_for_variant(&self, adt: AdtDef, variant: VariantIdx) -> Discr {
415        let mut tables = self.tables.borrow_mut();
416        let cx = &*self.cx.borrow();
417        cx.adt_discr_for_variant(
418            adt.internal(&mut *tables, cx.tcx),
419            variant.internal(&mut *tables, cx.tcx),
420        )
421        .stable(&mut *tables, cx)
422    }
423
424    pub(crate) fn coroutine_discr_for_variant(
426        &self,
427        coroutine: CoroutineDef,
428        args: &GenericArgs,
429        variant: VariantIdx,
430    ) -> Discr {
431        let mut tables = self.tables.borrow_mut();
432        let cx = &*self.cx.borrow();
433        let tcx = cx.tcx;
434        let def = coroutine.def_id().internal(&mut *tables, tcx);
435        let args_ref = args.internal(&mut *tables, tcx);
436        cx.coroutine_discr_for_variant(def, args_ref, variant.internal(&mut *tables, tcx))
437            .stable(&mut *tables, cx)
438    }
439
440    pub(crate) fn variant_name(&self, def: VariantDef) -> Symbol {
442        let mut tables = self.tables.borrow_mut();
443        let cx = &*self.cx.borrow();
444        cx.variant_name(def.internal(&mut *tables, cx.tcx))
445    }
446
447    pub(crate) fn variant_fields(&self, def: VariantDef) -> Vec<FieldDef> {
448        let mut tables = self.tables.borrow_mut();
449        let cx = &*self.cx.borrow();
450        def.internal(&mut *tables, cx.tcx)
451            .fields
452            .iter()
453            .map(|f| f.stable(&mut *tables, cx))
454            .collect()
455    }
456
457    pub(crate) fn eval_target_usize(&self, mir_const: &MirConst) -> Result<u64, Error> {
459        let mut tables = self.tables.borrow_mut();
460        let cx = &*self.cx.borrow();
461        let cnst = mir_const.internal(&mut *tables, cx.tcx);
462        cx.eval_target_usize(cnst)
463    }
464
465    pub(crate) fn eval_target_usize_ty(&self, ty_const: &TyConst) -> Result<u64, Error> {
466        let mut tables = self.tables.borrow_mut();
467        let cx = &*self.cx.borrow();
468        let cnst = ty_const.internal(&mut *tables, cx.tcx);
469        cx.eval_target_usize_ty(cnst)
470    }
471
472    pub(crate) fn try_new_const_zst(&self, ty: Ty) -> Result<MirConst, Error> {
474        let mut tables = self.tables.borrow_mut();
475        let cx = &*self.cx.borrow();
476        let ty_internal = ty.internal(&mut *tables, cx.tcx);
477        cx.try_new_const_zst(ty_internal).map(|cnst| cnst.stable(&mut *tables, cx))
478    }
479
480    pub(crate) fn new_const_str(&self, value: &str) -> MirConst {
482        let mut tables = self.tables.borrow_mut();
483        let cx = &*self.cx.borrow();
484        cx.new_const_str(value).stable(&mut *tables, cx)
485    }
486
487    pub(crate) fn new_const_bool(&self, value: bool) -> MirConst {
489        let mut tables = self.tables.borrow_mut();
490        let cx = &*self.cx.borrow();
491        cx.new_const_bool(value).stable(&mut *tables, cx)
492    }
493
494    pub(crate) fn try_new_const_uint(
496        &self,
497        value: u128,
498        uint_ty: UintTy,
499    ) -> Result<MirConst, Error> {
500        let mut tables = self.tables.borrow_mut();
501        let cx = &*self.cx.borrow();
502        let ty = cx.ty_new_uint(uint_ty.internal(&mut *tables, cx.tcx));
503        cx.try_new_const_uint(value, ty).map(|cnst| cnst.stable(&mut *tables, cx))
504    }
505
506    pub(crate) fn try_new_ty_const_uint(
507        &self,
508        value: u128,
509        uint_ty: UintTy,
510    ) -> Result<TyConst, Error> {
511        let mut tables = self.tables.borrow_mut();
512        let cx = &*self.cx.borrow();
513        let ty = cx.ty_new_uint(uint_ty.internal(&mut *tables, cx.tcx));
514        cx.try_new_ty_const_uint(value, ty).map(|cnst| cnst.stable(&mut *tables, cx))
515    }
516
517    pub(crate) fn new_rigid_ty(&self, kind: RigidTy) -> Ty {
519        let mut tables = self.tables.borrow_mut();
520        let cx = &*self.cx.borrow();
521        let internal_kind = kind.internal(&mut *tables, cx.tcx);
522        cx.new_rigid_ty(internal_kind).stable(&mut *tables, cx)
523    }
524
525    pub(crate) fn new_box_ty(&self, ty: Ty) -> Ty {
527        let mut tables = self.tables.borrow_mut();
528        let cx = &*self.cx.borrow();
529        let inner = ty.internal(&mut *tables, cx.tcx);
530        cx.new_box_ty(inner).stable(&mut *tables, cx)
531    }
532
533    pub(crate) fn def_ty(&self, item: DefId) -> Ty {
535        let mut tables = self.tables.borrow_mut();
536        let cx = &*self.cx.borrow();
537        let inner = item.internal(&mut *tables, cx.tcx);
538        cx.def_ty(inner).stable(&mut *tables, cx)
539    }
540
541    pub(crate) fn def_ty_with_args(&self, item: DefId, args: &GenericArgs) -> Ty {
543        let mut tables = self.tables.borrow_mut();
544        let cx = &*self.cx.borrow();
545        let inner = item.internal(&mut *tables, cx.tcx);
546        let args_ref = args.internal(&mut *tables, cx.tcx);
547        cx.def_ty_with_args(inner, args_ref).stable(&mut *tables, cx)
548    }
549
550    pub(crate) fn mir_const_pretty(&self, cnst: &MirConst) -> String {
552        let mut tables = self.tables.borrow_mut();
553        let cx = &*self.cx.borrow();
554        cnst.internal(&mut *tables, cx.tcx).to_string()
555    }
556
557    pub(crate) fn span_of_an_item(&self, def_id: DefId) -> Span {
559        let mut tables = self.tables.borrow_mut();
560        let cx = &*self.cx.borrow();
561        let did = tables[def_id];
562        cx.span_of_an_item(did).stable(&mut *tables, cx)
563    }
564
565    pub(crate) fn ty_const_pretty(&self, ct: TyConstId) -> String {
566        let tables = self.tables.borrow_mut();
567        let cx = &*self.cx.borrow();
568        cx.ty_const_pretty(tables.ty_consts[ct])
569    }
570
571    pub(crate) fn ty_pretty(&self, ty: Ty) -> String {
573        let tables = self.tables.borrow_mut();
574        let cx = &*self.cx.borrow();
575        cx.ty_pretty(tables.types[ty])
576    }
577
578    pub(crate) fn ty_kind(&self, ty: Ty) -> TyKind {
580        let mut tables = self.tables.borrow_mut();
581        let cx = &*self.cx.borrow();
582        cx.ty_kind(tables.types[ty]).stable(&mut *tables, cx)
583    }
584
585    pub(crate) fn rigid_ty_discriminant_ty(&self, ty: &RigidTy) -> Ty {
587        let mut tables = self.tables.borrow_mut();
588        let cx = &*self.cx.borrow();
589        let internal_kind = ty.internal(&mut *tables, cx.tcx);
590        cx.rigid_ty_discriminant_ty(internal_kind).stable(&mut *tables, cx)
591    }
592
593    pub(crate) fn instance_body(&self, instance: InstanceDef) -> Option<Body> {
595        let mut tables = self.tables.borrow_mut();
596        let cx = &*self.cx.borrow();
597        let instance = tables.instances[instance];
598        cx.instance_body(instance).map(|body| body.stable(&mut *tables, cx))
599    }
600
601    pub(crate) fn instance_ty(&self, instance: InstanceDef) -> Ty {
603        let mut tables = self.tables.borrow_mut();
604        let cx = &*self.cx.borrow();
605        let instance = tables.instances[instance];
606        cx.instance_ty(instance).stable(&mut *tables, cx)
607    }
608
609    pub(crate) fn instance_args(&self, def: InstanceDef) -> GenericArgs {
611        let mut tables = self.tables.borrow_mut();
612        let cx = &*self.cx.borrow();
613        let instance = tables.instances[def];
614        cx.instance_args(instance).stable(&mut *tables, cx)
615    }
616
617    pub(crate) fn instance_def_id(&self, instance: InstanceDef) -> DefId {
619        let mut tables = self.tables.borrow_mut();
620        let cx = &*self.cx.borrow();
621        let instance = tables.instances[instance];
622        cx.instance_def_id(instance, &mut *tables)
623    }
624
625    pub(crate) fn instance_mangled_name(&self, instance: InstanceDef) -> Symbol {
627        let tables = self.tables.borrow_mut();
628        let cx = &*self.cx.borrow();
629        let instance = tables.instances[instance];
630        cx.instance_mangled_name(instance)
631    }
632
633    pub(crate) fn is_empty_drop_shim(&self, def: InstanceDef) -> bool {
635        let tables = self.tables.borrow_mut();
636        let cx = &*self.cx.borrow();
637        let instance = tables.instances[def];
638        cx.is_empty_drop_shim(instance)
639    }
640
641    pub(crate) fn mono_instance(&self, def_id: DefId) -> Instance {
644        let mut tables = self.tables.borrow_mut();
645        let cx = &*self.cx.borrow();
646        let did = tables[def_id];
647        cx.mono_instance(did).stable(&mut *tables, cx)
648    }
649
650    pub(crate) fn requires_monomorphization(&self, def_id: DefId) -> bool {
652        let tables = self.tables.borrow();
653        let cx = &*self.cx.borrow();
654        let did = tables[def_id];
655        cx.requires_monomorphization(did)
656    }
657
658    pub(crate) fn resolve_instance(&self, def: FnDef, args: &GenericArgs) -> Option<Instance> {
660        let mut tables = self.tables.borrow_mut();
661        let cx = &*self.cx.borrow();
662        let def_id = def.0.internal(&mut *tables, cx.tcx);
663        let args_ref = args.internal(&mut *tables, cx.tcx);
664        cx.resolve_instance(def_id, args_ref).map(|inst| inst.stable(&mut *tables, cx))
665    }
666
667    pub(crate) fn resolve_drop_in_place(&self, ty: Ty) -> Instance {
669        let mut tables = self.tables.borrow_mut();
670        let cx = &*self.cx.borrow();
671        let internal_ty = ty.internal(&mut *tables, cx.tcx);
672
673        cx.resolve_drop_in_place(internal_ty).stable(&mut *tables, cx)
674    }
675
676    pub(crate) fn resolve_for_fn_ptr(&self, def: FnDef, args: &GenericArgs) -> Option<Instance> {
678        let mut tables = self.tables.borrow_mut();
679        let cx = &*self.cx.borrow();
680        let def_id = def.0.internal(&mut *tables, cx.tcx);
681        let args_ref = args.internal(&mut *tables, cx.tcx);
682        cx.resolve_for_fn_ptr(def_id, args_ref).stable(&mut *tables, cx)
683    }
684
685    pub(crate) fn resolve_closure(
687        &self,
688        def: ClosureDef,
689        args: &GenericArgs,
690        kind: ClosureKind,
691    ) -> Option<Instance> {
692        let mut tables = self.tables.borrow_mut();
693        let cx = &*self.cx.borrow();
694        let def_id = def.0.internal(&mut *tables, cx.tcx);
695        let args_ref = args.internal(&mut *tables, cx.tcx);
696        let closure_kind = kind.internal(&mut *tables, cx.tcx);
697        cx.resolve_closure(def_id, args_ref, closure_kind).map(|inst| inst.stable(&mut *tables, cx))
698    }
699
700    pub(crate) fn eval_static_initializer(&self, def: StaticDef) -> Result<Allocation, Error> {
702        let mut tables = self.tables.borrow_mut();
703        let cx = &*self.cx.borrow();
704        let def_id = def.0.internal(&mut *tables, cx.tcx);
705
706        cx.eval_static_initializer(def_id).stable(&mut *tables, cx)
707    }
708
709    pub(crate) fn eval_instance(
711        &self,
712        def: InstanceDef,
713        const_ty: Ty,
714    ) -> Result<Allocation, Error> {
715        let mut tables = self.tables.borrow_mut();
716        let instance = tables.instances[def];
717        let cx = &*self.cx.borrow();
718        let const_ty = const_ty.internal(&mut *tables, cx.tcx);
719        cx.eval_instance(instance)
720            .map(|const_val| alloc::try_new_allocation(const_ty, const_val, &mut *tables, cx))
721            .map_err(|e| e.stable(&mut *tables, cx))?
722    }
723
724    pub(crate) fn global_alloc(&self, id: AllocId) -> GlobalAlloc {
726        let mut tables = self.tables.borrow_mut();
727        let cx = &*self.cx.borrow();
728        let alloc_id = id.internal(&mut *tables, cx.tcx);
729        cx.global_alloc(alloc_id).stable(&mut *tables, cx)
730    }
731
732    pub(crate) fn vtable_allocation(&self, global_alloc: &GlobalAlloc) -> Option<AllocId> {
734        let mut tables = self.tables.borrow_mut();
735        let GlobalAlloc::VTable(ty, trait_ref) = global_alloc else {
736            return None;
737        };
738        let cx = &*self.cx.borrow();
739        let ty = ty.internal(&mut *tables, cx.tcx);
740        let trait_ref = trait_ref.internal(&mut *tables, cx.tcx);
741        let alloc_id = cx.vtable_allocation(ty, trait_ref);
742        Some(alloc_id.stable(&mut *tables, cx))
743    }
744
745    pub(crate) fn krate(&self, def_id: DefId) -> Crate {
746        let tables = self.tables.borrow();
747        let cx = &*self.cx.borrow();
748        smir_crate(cx, tables[def_id].krate)
749    }
750
751    pub(crate) fn instance_name(&self, def: InstanceDef, trimmed: bool) -> Symbol {
752        let tables = self.tables.borrow_mut();
753        let cx = &*self.cx.borrow();
754        let instance = tables.instances[def];
755        cx.instance_name(instance, trimmed)
756    }
757
758    pub(crate) fn target_info(&self) -> MachineInfo {
760        let mut tables = self.tables.borrow_mut();
761        let cx = &*self.cx.borrow();
762        MachineInfo {
763            endian: cx.target_endian().stable(&mut *tables, cx),
764            pointer_width: MachineSize::from_bits(cx.target_pointer_size()),
765        }
766    }
767
768    pub(crate) fn instance_abi(&self, def: InstanceDef) -> Result<FnAbi, Error> {
770        let mut tables = self.tables.borrow_mut();
771        let cx = &*self.cx.borrow();
772        let instance = tables.instances[def];
773        cx.instance_abi(instance).map(|fn_abi| fn_abi.stable(&mut *tables, cx))
774    }
775
776    pub(crate) fn fn_ptr_abi(&self, fn_ptr: PolyFnSig) -> Result<FnAbi, Error> {
778        let mut tables = self.tables.borrow_mut();
779        let cx = &*self.cx.borrow();
780        let sig = fn_ptr.internal(&mut *tables, cx.tcx);
781        cx.fn_ptr_abi(sig).map(|fn_abi| fn_abi.stable(&mut *tables, cx))
782    }
783
784    pub(crate) fn ty_layout(&self, ty: Ty) -> Result<Layout, Error> {
786        let mut tables = self.tables.borrow_mut();
787        let cx = &*self.cx.borrow();
788        let internal_ty = ty.internal(&mut *tables, cx.tcx);
789        cx.ty_layout(internal_ty).map(|layout| layout.stable(&mut *tables, cx))
790    }
791
792    pub(crate) fn layout_shape(&self, id: Layout) -> LayoutShape {
794        let mut tables = self.tables.borrow_mut();
795        let cx = &*self.cx.borrow();
796        id.internal(&mut *tables, cx.tcx).0.stable(&mut *tables, cx)
797    }
798
799    pub(crate) fn place_pretty(&self, place: &Place) -> String {
801        let mut tables = self.tables.borrow_mut();
802        let cx = &*self.cx.borrow();
803
804        format!("{:?}", place.internal(&mut *tables, cx.tcx))
805    }
806
807    pub(crate) fn binop_ty(&self, bin_op: BinOp, rhs: Ty, lhs: Ty) -> Ty {
809        let mut tables = self.tables.borrow_mut();
810        let cx = &*self.cx.borrow();
811        let rhs_internal = rhs.internal(&mut *tables, cx.tcx);
812        let lhs_internal = lhs.internal(&mut *tables, cx.tcx);
813        let bin_op_internal = bin_op.internal(&mut *tables, cx.tcx);
814        cx.binop_ty(bin_op_internal, rhs_internal, lhs_internal).stable(&mut *tables, cx)
815    }
816
817    pub(crate) fn unop_ty(&self, un_op: UnOp, arg: Ty) -> Ty {
819        let mut tables = self.tables.borrow_mut();
820        let cx = &*self.cx.borrow();
821        let un_op = un_op.internal(&mut *tables, cx.tcx);
822        let arg = arg.internal(&mut *tables, cx.tcx);
823        cx.unop_ty(un_op, arg).stable(&mut *tables, cx)
824    }
825
826    pub(crate) fn associated_items(&self, def_id: DefId) -> AssocItems {
828        let mut tables = self.tables.borrow_mut();
829        let cx = &*self.cx.borrow();
830        let did = tables[def_id];
831        cx.associated_items(did).iter().map(|assoc| assoc.stable(&mut *tables, cx)).collect()
832    }
833}
834
835scoped_tls::scoped_thread_local!(static TLV: Cell<*const ()>);
837
838pub(crate) fn run<'tcx, F, T>(interface: &CompilerInterface<'tcx>, f: F) -> Result<T, Error>
839where
840    F: FnOnce() -> T,
841{
842    if TLV.is_set() {
843        Err(Error::from("rustc_public already running"))
844    } else {
845        let ptr: *const () = (&raw const interface) as _;
846        TLV.set(&Cell::new(ptr), || Ok(f()))
847    }
848}
849
850pub(crate) fn with<R>(f: impl for<'tcx> FnOnce(&CompilerInterface<'tcx>) -> R) -> R {
855    assert!(TLV.is_set());
856    TLV.with(|tlv| {
857        let ptr = tlv.get();
858        assert!(!ptr.is_null());
859        f(unsafe { *(ptr as *const &CompilerInterface<'_>) })
860    })
861}
862
863fn smir_crate<'tcx>(
864    cx: &CompilerCtxt<'tcx, BridgeTys>,
865    crate_num: rustc_span::def_id::CrateNum,
866) -> Crate {
867    let name = cx.crate_name(crate_num);
868    let is_local = cx.crate_is_local(crate_num);
869    let id = cx.crate_num_id(crate_num);
870    debug!(?name, ?crate_num, "smir_crate");
871    Crate { id, name, is_local }
872}