kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2025-12-16 15:38:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix interp call instruction

Browse Source 
Check that dtype of args and phinodes of init block are compatible
This commit is contained in:
Minseong Jang
2022-03-29 11:57:13 +09:00
parent 4def8318f7
commit 5264066a3c
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/ir/interp.rs
View File

@@ -1477,6 +1477,19 @@ impl<'i> State<'i> {
func_name: callee_name.clone(), func_name: callee_name.clone(),
})?; })?;
let block_init = func_def
.blocks
.get(&func_def.bid_init)
.expect("init block must exists");
if !(args.len() == block_init.phinodes.len()
&& izip!(args, &block_init.phinodes).all(|(a, d)| {
a.dtype().set_const(false) == d.deref().clone().set_const(false)
}))
{
panic!("dtype of args and phinodes of init block must be compatible");
}
let args = self.interp_args(func_signature, args)?; let args = self.interp_args(func_signature, args)?;
let stack_frame = StackFrame::new(func_def.bid_init, callee_name, func_def); let stack_frame = StackFrame::new(func_def.bid_init, callee_name, func_def);