diff --git a/src/ir/equiv.rs b/src/ir/equiv.rs index 7bfbec2..e53ea4d 100644 --- a/src/ir/equiv.rs +++ b/src/ir/equiv.rs @@ -306,6 +306,9 @@ fn is_equiv_block_exit(lhs: &BlockExit, rhs: &BlockExit, map: &HashMap { + is_equiv_operand(value, value_other, map) + } _ => lhs == rhs, } }