Replace XOR with self with 0

This commit is contained in:
Alex Beregszaszi 2016-11-09 02:25:44 +00:00
parent b8bba66220
commit 3fdef92911

View File

@ -262,6 +262,7 @@ Rules::Rules()
// operations involving an expression and itself
{{Instruction::AND, {X, X}}, [=]{ return X; }},
{{Instruction::OR, {X, X}}, [=]{ return X; }},
{{Instruction::XOR, {X, X}}, [=]{ return u256(0); }},
{{Instruction::SUB, {X, X}}, [=]{ return u256(0); }},
{{Instruction::EQ, {X, X}}, [=]{ return u256(1); }},
{{Instruction::LT, {X, X}}, [=]{ return u256(0); }},