Try canonicalizing the tree from x - y to x + (-y)

Author: tannergooding

src/coreclr/jit/gentree.cpp

@@ -15006,6 +15006,16 @@ GenTree* Compiler::gtFoldExpr(GenTree* tree)
     {
         GenTree* op2 = tree->AsOp()->gtOp2;
 
+        if (tree->gtOper == GT_SUB)
+        {
+            // Canonicalize the tree from `x - y` to `x + (-y)`
+            // as this allows various other optimizations to kick in
+
+            tree->gtOper == GT_ADD;
+            op2 = gtNewOperNode(GT_NEG, genActualType(op2->gtType), op2);
+            tree->AsOp()->gtOp2 = op2;
+        }
+
         // The atomic operations are exempted here because they are never computable statically;
         // one of their arguments is an address.
         if (op1->OperIsConst() && op2->OperIsConst() && !tree->OperIsAtomicOp())