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

Add an assert to append_ebb_params_for_function_params.

Browse Source
This commit is contained in:
Dan Gohman
2019-01-02 12:05:32 -08:00
parent 831d033471
commit c8e47177fc
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/frontend/src/frontend.rs
View File

@@ -405,6 +405,11 @@ impl<'a> FunctionBuilder<'a> {
/// parameters. This can be used to set up the ebb parameters for the /// parameters. This can be used to set up the ebb parameters for the
/// entry block. /// entry block.
pub fn append_ebb_params_for_function_params(&mut self, ebb: Ebb) { pub fn append_ebb_params_for_function_params(&mut self, ebb: Ebb) {
debug_assert!(
!self.func_ctx.ssa.has_any_predecessors(ebb),
"ebb parameters for function parameters should only be added to the entry block"
);
// These parameters count as "user" parameters here because they aren't // These parameters count as "user" parameters here because they aren't
// inserted by the SSABuilder. // inserted by the SSABuilder.
let user_param_count = &mut self.func_ctx.ebbs[ebb].user_param_count; let user_param_count = &mut self.func_ctx.ebbs[ebb].user_param_count;