diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-08-14 20:06:45 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-08-14 20:06:45 +0800 |
| commit | 66a176784df8801a9ef6fabd2f489c125554e0f5 (patch) | |
| tree | 80fa9225677114395501b5fd7f0ddaa150c65f35 /tools/standalone_miri/miri.cpp | |
| parent | 386cd7f8102239c8ed6822aa7b1c8225fafcdc88 (diff) | |
| download | mrust-66a176784df8801a9ef6fabd2f489c125554e0f5.tar.gz | |
Standalone MIRI - Instruction counting
Diffstat (limited to 'tools/standalone_miri/miri.cpp')
| -rw-r--r-- | tools/standalone_miri/miri.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/standalone_miri/miri.cpp b/tools/standalone_miri/miri.cpp index 7407baf7..97343714 100644 --- a/tools/standalone_miri/miri.cpp +++ b/tools/standalone_miri/miri.cpp @@ -636,7 +636,8 @@ bool InterpreterThread::step_one(Value& out_thread_result) assert( !this->m_stack.empty() ); assert( !this->m_stack.back().cb ); auto& cur_frame = this->m_stack.back(); - TRACE_FUNCTION_R(cur_frame.fcn->my_path << " BB" << cur_frame.bb_idx << "/" << cur_frame.stmt_idx, ""); + auto instr_idx = this->m_instruction_count++; + TRACE_FUNCTION_R("#" << instr_idx << " " << cur_frame.fcn->my_path << " BB" << cur_frame.bb_idx << "/" << cur_frame.stmt_idx, "#" << instr_idx); const auto& bb = cur_frame.fcn->m_mir.blocks.at( cur_frame.bb_idx ); const size_t MAX_STACK_DEPTH = 60; |