user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove unnecessary printlns for benchmarks

Browse source
This commit is contained in:
Oliver Schneider 2016-05-30 13:40:46 +02:00
parent 3ec813e4e5
commit cecae8050e
No known key found for this signature in database
GPG key ID: 56D6EEA0FC67AC46
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/interpreter.rs
View file

@ -1422,12 +1422,16 @@ pub fn interpret_start_points<'a, 'tcx>(
if attr.check_name("miri_run") {
let item = tcx.map.expect_item(id);
println!("Interpreting: {}", item.name);
if TRACE_EXECUTION {
println!("Interpreting: {}", item.name);
}
let mut gecx = GlobalEvalContext::new(tcx, mir_map);
let mut fecx = FnEvalContext::new(&mut gecx);
match fecx.call_nested(mir) {
Ok(Some(return_ptr)) => fecx.memory.dump(return_ptr.alloc_id),
Ok(Some(return_ptr)) => if TRACE_EXECUTION {
fecx.memory.dump(return_ptr.alloc_id);
},
Ok(None) => println!("(diverging function returned)"),
Err(_e) => {
// TODO(solson): Detect whether the error was already reported or not.
@ -1435,7 +1439,9 @@ pub fn interpret_start_points<'a, 'tcx>(
}
}
println!("");
if TRACE_EXECUTION {
println!("");
}
}
}
}