@@ -7,6 +7,7 @@ use rustc_hir::def_id::DefId;
77use rustc_hir:: lang_items:: LangItem ;
88use rustc_index:: { Idx , IndexVec } ;
99use rustc_middle:: mir:: patch:: MirPatch ;
10+ use rustc_middle:: mir:: visit:: { MutVisitor , PlaceContext } ;
1011use rustc_middle:: mir:: * ;
1112use rustc_middle:: query:: Providers ;
1213use rustc_middle:: ty:: adjustment:: PointerCoercion ;
@@ -15,7 +16,7 @@ use rustc_middle::ty::{
1516} ;
1617use rustc_middle:: { bug, span_bug} ;
1718use rustc_mir_dataflow:: elaborate_drops:: { self , DropElaborator , DropFlagMode , DropStyle } ;
18- use rustc_span:: source_map:: Spanned ;
19+ use rustc_span:: source_map:: { Spanned , dummy_spanned } ;
1920use rustc_span:: { DUMMY_SP , Span } ;
2021use tracing:: { debug, instrument} ;
2122
@@ -24,10 +25,46 @@ use crate::{
2425 instsimplify, mentioned_items, pass_manager as pm, remove_noop_landing_pads, simplify,
2526} ;
2627
28+ mod async_destructor_ctor;
29+
2730pub ( super ) fn provide ( providers : & mut Providers ) {
2831 providers. mir_shims = make_shim;
2932}
3033
34+ // Replace Pin<&mut ImplCoroutine> accesses (_1.0) into Pin<&mut ProxyCoroutine> acceses
35+ struct FixProxyFutureDropVisitor < ' tcx > {
36+ tcx : TyCtxt < ' tcx > ,
37+ replace_to : Local ,
38+ }
39+
40+ impl < ' tcx > MutVisitor < ' tcx > for FixProxyFutureDropVisitor < ' tcx > {
41+ fn tcx ( & self ) -> TyCtxt < ' tcx > {
42+ self . tcx
43+ }
44+
45+ fn visit_place (
46+ & mut self ,
47+ place : & mut Place < ' tcx > ,
48+ _context : PlaceContext ,
49+ _location : Location ,
50+ ) {
51+ if place. local == Local :: from_u32 ( 1 ) {
52+ if place. projection . len ( ) == 1 {
53+ assert ! ( matches!(
54+ place. projection. first( ) ,
55+ Some ( ProjectionElem :: Field ( FieldIdx :: ZERO , _) )
56+ ) ) ;
57+ * place = Place :: from ( self . replace_to ) ;
58+ } else if place. projection . len ( ) == 2 {
59+ assert ! ( matches!( place. projection[ 0 ] , ProjectionElem :: Field ( FieldIdx :: ZERO , _) ) ) ;
60+ assert ! ( matches!( place. projection[ 1 ] , ProjectionElem :: Deref ) ) ;
61+ * place =
62+ Place :: from ( self . replace_to ) . project_deeper ( & [ ProjectionElem :: Deref ] , self . tcx ) ;
63+ }
64+ }
65+ }
66+ }
67+
3168fn make_shim < ' tcx > ( tcx : TyCtxt < ' tcx > , instance : ty:: InstanceKind < ' tcx > ) -> Body < ' tcx > {
3269 debug ! ( "make_shim({:?})" , instance) ;
3370
@@ -128,14 +165,47 @@ fn make_shim<'tcx>(tcx: TyCtxt<'tcx>, instance: ty::InstanceKind<'tcx>) -> Body<
128165 ty:: InstanceKind :: ThreadLocalShim ( ..) => build_thread_local_shim ( tcx, instance) ,
129166 ty:: InstanceKind :: CloneShim ( def_id, ty) => build_clone_shim ( tcx, def_id, ty) ,
130167 ty:: InstanceKind :: FnPtrAddrShim ( def_id, ty) => build_fn_ptr_addr_shim ( tcx, def_id, ty) ,
131- ty:: InstanceKind :: FutureDropPollShim ( _def_id, _proxy_ty, _impl_ty) => {
132- todo ! ( )
168+ ty:: InstanceKind :: FutureDropPollShim ( def_id, proxy_ty, impl_ty) => {
169+ let mut body =
170+ async_destructor_ctor:: build_future_drop_poll_shim ( tcx, def_id, proxy_ty, impl_ty) ;
171+
172+ pm:: run_passes (
173+ tcx,
174+ & mut body,
175+ & [
176+ & mentioned_items:: MentionedItems ,
177+ & abort_unwinding_calls:: AbortUnwindingCalls ,
178+ & add_call_guards:: CriticalCallEdges ,
179+ ] ,
180+ Some ( MirPhase :: Runtime ( RuntimePhase :: Optimized ) ) ,
181+ pm:: Optimizations :: Allowed ,
182+ ) ;
183+ debug ! ( "make_shim({:?}) = {:?}" , instance, body) ;
184+ return body;
133185 }
134- ty:: InstanceKind :: AsyncDropGlue ( _def_id, _ty) => {
135- todo ! ( )
186+ ty:: InstanceKind :: AsyncDropGlue ( def_id, ty) => {
187+ let mut body = async_destructor_ctor:: build_async_drop_shim ( tcx, def_id, ty) ;
188+
189+ pm:: run_passes (
190+ tcx,
191+ & mut body,
192+ & [
193+ & mentioned_items:: MentionedItems ,
194+ & simplify:: SimplifyCfg :: MakeShim ,
195+ //&crate::reveal_all::RevealAll,
196+ & crate :: coroutine:: StateTransform ,
197+ ] ,
198+ Some ( MirPhase :: Runtime ( RuntimePhase :: PostCleanup ) ) ,
199+ pm:: Optimizations :: Allowed ,
200+ ) ;
201+ debug ! ( "make_shim({:?}) = {:?}" , instance, body) ;
202+ return body;
136203 }
137- ty:: InstanceKind :: AsyncDropGlueCtorShim ( _def_id, _ty) => {
138- bug ! ( "AsyncDropGlueCtorShim in re-working ({:?})" , instance)
204+
205+ ty:: InstanceKind :: AsyncDropGlueCtorShim ( def_id, ty) => {
206+ let body = async_destructor_ctor:: build_async_destructor_ctor_shim ( tcx, def_id, ty) ;
207+ debug ! ( "make_shim({:?}) = {:?}" , instance, body) ;
208+ return body;
139209 }
140210 ty:: InstanceKind :: Virtual ( ..) => {
141211 bug ! ( "InstanceKind::Virtual ({:?}) is for direct calls only" , instance)
0 commit comments