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

Add some assertions to cranelift_frontend

Browse Source
This commit is contained in:
bjorn3
2020-05-24 16:53:27 +02:00
committed by Benjamin Bouvier
parent 6e7276e48d
commit eeb1e141ba
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -272,6 +272,12 @@ impl<'a> FunctionBuilder<'a> {
/// In order to use a variable in a `use_var`, you need to declare its type with this method. /// In order to use a variable in a `use_var`, you need to declare its type with this method.
pub fn declare_var(&mut self, var: Variable, ty: Type) { pub fn declare_var(&mut self, var: Variable, ty: Type) {
debug_assert_eq!(
self.func_ctx.types[var],
types::INVALID,
"variable {:?} is declared twice",
var
);
self.func_ctx.types[var] = ty; self.func_ctx.types[var] = ty;
} }
@@ -285,6 +291,12 @@ impl<'a> FunctionBuilder<'a> {
var var
) )
}); });
debug_assert_ne!(
ty,
types::INVALID,
"variable {:?} is used but its type has not been declared",
var
);
self.func_ctx self.func_ctx
.ssa .ssa
.use_var(self.func, var, ty, self.position.unwrap()) .use_var(self.func, var, ty, self.position.unwrap())