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

Fix more ir equiv

Browse Source
This commit is contained in:
Jeehoon Kang
2020-06-14 15:40:45 +00:00
parent 73d006f111
commit 67920894bb
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/ir/equiv.rs
View File

@@ -264,7 +264,7 @@ fn is_equiv_block_exit(lhs: &BlockExit, rhs: &BlockExit, map: &HashMap<BlockId,
arg_else: arg_else_other,
},
) => {
if condition != condition_other {
if !is_equiv_operand(condition, condition_other, map) {
return false;
}
if !is_equiv_arg(arg_then, arg_then_other, map) {
@@ -287,7 +287,7 @@ fn is_equiv_block_exit(lhs: &BlockExit, rhs: &BlockExit, map: &HashMap<BlockId,
cases: cases_other,
},
) => {
if value != value_other {
if !is_equiv_operand(value, value_other, map) {
return false;
}
if !is_equiv_arg(default.deref(), default_other.deref(), map) {
@@ -314,9 +314,14 @@ fn is_equiv_arg(lhs: &JumpArg, rhs: &JumpArg, map: &HashMap<BlockId, BlockId>) -
if map.get(&lhs.bid) != Some(&rhs.bid) {
return false;
}
if lhs.args != rhs.args {
if lhs.args.len() != rhs.args.len() {
return false;
}
for (l, r) in izip!(&lhs.args, &rhs.args) {
if !is_equiv_operand(l, r, map) {
return false;
}
}
true
}