JIT: Relax address exposure check for tailcalls (dotnet#111397)

The `lvHasLdAddrOp` based check is conservative: address exposure (as computed in local morph) is much more precise. We can switch to that check only.
sirntar · Jan 15, 2025 · d2cdcdd · d2cdcdd
1 parent 8104cb1
commit d2cdcdd
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/coreclr/jit/morph.cpp b/src/coreclr/jit/morph.cpp
@@ -5119,11 +5119,6 @@ GenTree* Compiler::fgMorphPotentialTailCall(GenTreeCall* call)
         //
         if (isImplicitOrStressTailCall)
         {
-            if (varDsc->lvHasLdAddrOp && !lvaIsImplicitByRefLocal(varNum))
-            {
-                failTailCall("Local address taken", varNum);
-                return nullptr;
-            }
             if (varDsc->IsAddressExposed())
             {
                 if (lvaIsImplicitByRefLocal(varNum))