Delete morph transform

SingleAccretion · SingleAccretion · commit dec0f8a5aa10 · 2022-05-10T18:34:57.000+03:00
diff --git a/src/coreclr/jit/morph.cpp b/src/coreclr/jit/morph.cpp
@@ -13073,9 +13073,8 @@ GenTree* Compiler::fgOptimizeAddition(GenTreeOp* add)
         DEBUG_DESTROY_NODE(constTwo);
     }
 
-    // Fold (x + 0) - given it won't change the tree type to TYP_REF.
-    // TODO-Bug: this code will lose the GC-ness of a tree like "native int + byref(0)".
-    if (op2->IsIntegralConst(0) && ((add->TypeGet() == op1->TypeGet()) || !op1->TypeIs(TYP_REF)))
+    // Fold (x + 0) - given it won't change the tree type.
+    if (op2->IsIntegralConst(0) && (genActualType(add) == genActualType(op1)))
     {
         if (op2->IsCnsIntOrI() && varTypeIsI(op1))
         {

Original file line number	Diff line number	Diff line change
`@@ -13073,9 +13073,8 @@ GenTree* Compiler::fgOptimizeAddition(GenTreeOp* add)`
`13073`	`13073`	`DEBUG_DESTROY_NODE(constTwo);`
`13074`	`13074`	`}`
`13075`	`13075`
`13076`		`- // Fold (x + 0) - given it won't change the tree type to TYP_REF.`
`13077`		`- // TODO-Bug: this code will lose the GC-ness of a tree like "native int + byref(0)".`
`13078`		`- if (op2->IsIntegralConst(0) && ((add->TypeGet() == op1->TypeGet()) \|\| !op1->TypeIs(TYP_REF)))`
	`13076`	`+ // Fold (x + 0) - given it won't change the tree type.`
	`13077`	`+ if (op2->IsIntegralConst(0) && (genActualType(add) == genActualType(op1)))`
`13079`	`13078`	`{`
`13080`	`13079`	`if (op2->IsCnsIntOrI() && varTypeIsI(op1))`
`13081`	`13080`	`{`