[JIT] Allow new temp assignment whose dstTyp is TYP_I_IMPL and valTyp is TYP_BYREF (#79162)

TIHan · web-flow · commit 2bc4a9d65966 · 2022-12-05T18:11:38.000-08:00
* Allow temp assignment whose dstTyp is TYP_I_IMPL and valTyp is GC

* Only do this for byref
diff --git a/src/coreclr/jit/gentree.cpp b/src/coreclr/jit/gentree.cpp
@@ -15663,6 +15663,11 @@ GenTree* Compiler::gtNewTempAssign(
         {
             ok = true;
         }
+        // - TYP_I_IMPL = TYP_BYREF
+        else if ((dstTyp == TYP_I_IMPL) && (valTyp == TYP_BYREF))
+        {
+            ok = true;
+        }
         // - TYP_BYREF = TYP_REF when object stack allocation is enabled
         else if (JitConfig.JitObjectStackAllocation() && (dstTyp == TYP_BYREF) && (valTyp == TYP_REF))
         {

Original file line number	Diff line number	Diff line change
`@@ -15663,6 +15663,11 @@ GenTree* Compiler::gtNewTempAssign(`
`15663`	`15663`	`{`
`15664`	`15664`	`ok = true;`
`15665`	`15665`	`}`
	`15666`	`+ // - TYP_I_IMPL = TYP_BYREF`
	`15667`	`+ else if ((dstTyp == TYP_I_IMPL) && (valTyp == TYP_BYREF))`
	`15668`	`+ {`
	`15669`	`+ ok = true;`
	`15670`	`+ }`
`15666`	`15671`	`// - TYP_BYREF = TYP_REF when object stack allocation is enabled`
`15667`	`15672`	`else if (JitConfig.JitObjectStackAllocation() && (dstTyp == TYP_BYREF) && (valTyp == TYP_REF))`
`15668`	`15673`	`{`