File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -1111,6 +1111,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
11111111 ) -> InterpResult < ' tcx , Option < ( & ' tcx mir:: Body < ' tcx > , ty:: Instance < ' tcx > ) > > {
11121112 // For foreign items, try to see if we can emulate them.
11131113 if ecx. tcx . is_foreign_item ( instance. def_id ( ) ) {
1114+ let _trace = enter_trace_span ! ( "emulate_foreign_item" ) ;
11141115 // An external function call that does not have a MIR body. We either find MIR elsewhere
11151116 // or emulate its effect.
11161117 // This will be Ok(None) if we're emulating the intrinsic entirely within Miri (no need
@@ -1123,6 +1124,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
11231124 }
11241125
11251126 // Otherwise, load the MIR.
1127+ let _trace = enter_trace_span ! ( "load_mir" ) ;
11261128 interp_ok ( Some ( ( ecx. load_mir ( instance. def , None ) ?, instance) ) )
11271129 }
11281130
You can’t perform that action at this time.
0 commit comments