OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Nicer verifier errors

Browse Source
This commit is contained in:
bjorn3 2018-06-28 20:13:51 +02:00
parent e7a6890140
commit d8c5152f30
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/base.rs
View File

@ -60,7 +60,8 @@ pub fn trans_crate<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>) -> Box<Any> {
match ::cretonne::codegen::verify_function(&f, &flags) {
Ok(_) => {}
Err(err) => {
tcx.sess.fatal(&format!("cretonne verify error: {}", err));
let pretty_error = ::cretonne::codegen::print_errors::pretty_verifier_error(&f, None, &err);
tcx.sess.fatal(&format!("cretonne verify error:\n{}", pretty_error));
}
}
@ -375,8 +376,8 @@ fn trans_stmt<'a, 'tcx: 'a>(fx: &mut FunctionCx<'a, 'tcx>, stmt: &Statement<'tcx
}
_ => unimplemented!("checked bin op {:?} for {:?}", bin_op, ty),
};
lval.write_cvalue(fx, res);
unimplemented!("checked bin op {:?}", bin_op);
lval.write_cvalue(fx, res);
}
Rvalue::UnaryOp(un_op, operand) => {
let ty = fx.monomorphize(&operand.ty(&fx.mir.local_decls, fx.tcx));