JIT: avoid some unnecessary retyping in escape analysis (#116277)

AndyAyersMS · web-flow · commit ab30ec7f9db5 · 2025-06-03T15:54:35.000-07:00
We may discover a TYP_BYREF local can point to stack objects, in which case it will remain a TYP_BYREF local, so no retyping is needed. Fixes #116213
diff --git a/src/coreclr/jit/objectalloc.cpp b/src/coreclr/jit/objectalloc.cpp
@@ -2803,6 +2803,11 @@ void ObjectAllocator::RewriteUses()
                         varTypeName(newType));
                 lclVarDsc->lvType = newType;
             }
+            else
+            {
+                JITDUMP("V%02u already properly typed\n", lclNum);
+                lclVarDsc->lvTracked = 0;
+            }
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -2803,6 +2803,11 @@ void ObjectAllocator::RewriteUses()`
`2803`	`2803`	`varTypeName(newType));`
`2804`	`2804`	`lclVarDsc->lvType = newType;`
`2805`	`2805`	`}`
	`2806`	`+ else`
	`2807`	`+ {`
	`2808`	`+ JITDUMP("V%02u already properly typed\n", lclNum);`
	`2809`	`+ lclVarDsc->lvTracked = 0;`
	`2810`	`+ }`
`2806`	`2811`	`}`
`2807`	`2812`	`}`
`2808`	`2813`