From 496db602ffce6234de58babac67fb6bcd45d32df Mon Sep 17 00:00:00 2001
From: Ficture Seven <FICTURE7@gmail.com>
Date: Thu, 9 Apr 2020 03:36:19 +0400
Subject: [PATCH] Optimize %x ^ %x = 0 (#1094)

* JIT: Optimize %x ^ %x = 0

* Address feedback

* Fix typo
---
 .../CodeGen/Optimizations/Simplification.cs   | 23 ++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/ARMeilleure/CodeGen/Optimizations/Simplification.cs b/ARMeilleure/CodeGen/Optimizations/Simplification.cs
index cafc025c..7704f798 100644
--- a/ARMeilleure/CodeGen/Optimizations/Simplification.cs
+++ b/ARMeilleure/CodeGen/Optimizations/Simplification.cs
@@ -12,7 +12,6 @@ namespace ARMeilleure.CodeGen.Optimizations
             switch (operation.Instruction)
             {
                 case Instruction.Add:
-                case Instruction.BitwiseExclusiveOr:
                     TryEliminateBinaryOpComutative(operation, 0);
                     break;
 
@@ -24,6 +23,10 @@ namespace ARMeilleure.CodeGen.Optimizations
                     TryEliminateBitwiseOr(operation);
                     break;
 
+                case Instruction.BitwiseExclusiveOr:
+                    TryEliminateBitwiseExclusiveOr(operation);
+                    break;
+
                 case Instruction.ConditionalSelect:
                     TryEliminateConditionalSelect(operation);
                     break;
@@ -89,6 +92,24 @@ namespace ARMeilleure.CodeGen.Optimizations
             }
         }
 
+        private static void TryEliminateBitwiseExclusiveOr(Operation operation)
+        {
+            // Try to recognize and optimize those 2 patterns (in order):
+            // x ^ y == 0x00000000 when x == y
+            // 0x00000000 ^ y == y, x ^ 0x00000000 == x
+            Operand x = operation.GetSource(0);
+            Operand y = operation.GetSource(1);
+
+            if (x == y && x.Type.IsInteger())
+            {
+                operation.TurnIntoCopy(Const(x.Type, 0));
+            }
+            else
+            {
+                TryEliminateBinaryOpComutative(operation, 0);
+            }
+        }
+
         private static void TryEliminateBinaryOpY(Operation operation, ulong comparand)
         {
             Operand x = operation.GetSource(0);