@@ -7,6 +7,7 @@ use rustc_hir::def_id::DefId;
7
7
use rustc_hir:: lang_items:: LangItem ;
8
8
use rustc_index:: { Idx , IndexVec } ;
9
9
use rustc_middle:: mir:: patch:: MirPatch ;
10
+ use rustc_middle:: mir:: visit:: { MutVisitor , PlaceContext } ;
10
11
use rustc_middle:: mir:: * ;
11
12
use rustc_middle:: query:: Providers ;
12
13
use rustc_middle:: ty:: adjustment:: PointerCoercion ;
@@ -15,7 +16,7 @@ use rustc_middle::ty::{
15
16
} ;
16
17
use rustc_middle:: { bug, span_bug} ;
17
18
use 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 } ;
19
20
use rustc_span:: { DUMMY_SP , Span } ;
20
21
use tracing:: { debug, instrument} ;
21
22
@@ -24,10 +25,46 @@ use crate::{
24
25
instsimplify, mentioned_items, pass_manager as pm, remove_noop_landing_pads, simplify,
25
26
} ;
26
27
28
+ mod async_destructor_ctor;
29
+
27
30
pub ( super ) fn provide ( providers : & mut Providers ) {
28
31
providers. mir_shims = make_shim;
29
32
}
30
33
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
+
31
68
fn make_shim < ' tcx > ( tcx : TyCtxt < ' tcx > , instance : ty:: InstanceKind < ' tcx > ) -> Body < ' tcx > {
32
69
debug ! ( "make_shim({:?})" , instance) ;
33
70
@@ -128,14 +165,47 @@ fn make_shim<'tcx>(tcx: TyCtxt<'tcx>, instance: ty::InstanceKind<'tcx>) -> Body<
128
165
ty:: InstanceKind :: ThreadLocalShim ( ..) => build_thread_local_shim ( tcx, instance) ,
129
166
ty:: InstanceKind :: CloneShim ( def_id, ty) => build_clone_shim ( tcx, def_id, ty) ,
130
167
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;
133
185
}
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;
136
203
}
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;
139
209
}
140
210
ty:: InstanceKind :: Virtual ( ..) => {
141
211
bug ! ( "InstanceKind::Virtual ({:?}) is for direct calls only" , instance)
0 commit comments