T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Produce more helpful basic block errors in cranelift-frontend.

Browse Source 
Previously, the error just notified that there was a failure.
The new-style error says specifically in which ebb, on which instruction.
This commit is contained in:
Sean Stangl
2019-07-22 15:02:40 -06:00
parent 926e4c8bf8
commit 70c91f913d
1 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
cranelift/frontend/src/frontend.rs
View File

@@ -479,15 +479,18 @@ impl<'a> FunctionBuilder<'a> {
"all blocks should be filled before dropping a FunctionBuilder"
);
// Check that all blocks are valid basic blocks.
// In debug mode, check that all blocks are valid basic blocks.
#[cfg(feature = "basic-blocks")]
debug_assert!(
self.func_ctx
.ebbs
.keys()
.all(|ebb| self.func.is_ebb_basic(ebb).is_ok()),
"all blocks should be encodable as basic blocks"
);
#[cfg(debug_assertions)]
{
// Iterate manually to provide more helpful error messages.
for ebb in self.func_ctx.ebbs.keys() {
if let Err((inst, _msg)) = self.func.is_ebb_basic(ebb) {
let inst_str = self.func.dfg.display_inst(inst, None);
panic!("{} failed basic block invariants on {}", ebb, inst_str);
}
}
}
// Clear the state (but preserve the allocated buffers) in preparation
// for translation another function.