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

Refactor code to use Context::verify instead of doing it manually.

Browse Source
This commit is contained in:
Dan Gohman
2017-09-12 16:25:15 -07:00
parent e2f0fe58d1
commit c7bd842ee3
1 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
cranelift/src/wasm.rs
View File

@@ -155,14 +155,17 @@ fn handle_module(
for func in &translation.functions {
let mut context = Context::new();
context.func = func.clone();
verifier::verify_context(&context.func, &context.cfg, &context.domtree, None)
.map_err(|err| pretty_verifier_error(&context.func, None, err))?;
context.verify(None).map_err(|err| {
pretty_verifier_error(&context.func, None, err)
})?;
context.licm();
verifier::verify_context(&context.func, &context.cfg, &context.domtree, None)
.map_err(|err| pretty_verifier_error(&context.func, None, err))?;
context.verify(None).map_err(|err| {
pretty_verifier_error(&context.func, None, err)
})?;
context.simple_gvn();
verifier::verify_context(&context.func, &context.cfg, &context.domtree, None)
.map_err(|err| pretty_verifier_error(&context.func, None, err))?;
context.verify(None).map_err(|err| {
pretty_verifier_error(&context.func, None, err)
})?;
}
terminal.fg(term::color::GREEN).unwrap();
vprintln!(flag_verbose, " ok");