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> {
1111
1111
) -> InterpResult < ' tcx , Option < ( & ' tcx mir:: Body < ' tcx > , ty:: Instance < ' tcx > ) > > {
1112
1112
// For foreign items, try to see if we can emulate them.
1113
1113
if ecx. tcx . is_foreign_item ( instance. def_id ( ) ) {
1114
+ let _trace = enter_trace_span ! ( "emulate_foreign_item" ) ;
1114
1115
// An external function call that does not have a MIR body. We either find MIR elsewhere
1115
1116
// or emulate its effect.
1116
1117
// 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> {
1123
1124
}
1124
1125
1125
1126
// Otherwise, load the MIR.
1127
+ let _trace = enter_trace_span ! ( "load_mir" ) ;
1126
1128
interp_ok ( Some ( ( ecx. load_mir ( instance. def , None ) ?, instance) ) )
1127
1129
}
1128
1130
You can’t perform that action at this time.
0 commit comments