JIT: use stress mode tail call validation info for implicit tail calls (#25093)

If a call site fails tail call stress validation, don't consider it for
implicit tail calling either.

In normal jitting we defer this level of validation until impImportCall
to avoid duplicating work.

This avoids an assert when we have invalid IL.

Fixes #25027.

2 files changed, 126 insertions, 0 deletions

diff --git a/tests/src/JIT/Regression/JitBlue/GitHub_25027/GitHub_25027.il b/tests/src/JIT/Regression/JitBlue/GitHub_25027/GitHub_25027.il
new file mode 100644
index 0000000000..351af3ca64
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/GitHub_25027/GitHub_25027.il
@@ -0,0 +1,92 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+// See the LICENSE file in the project root for more information.
+//
+// GitHub 25027: Tail call stress shouldn't cause asserts 
+// in the presence of invalid IL
+
+.assembly extern System.Private.CoreLib { auto }
+.assembly extern mscorlib { auto }
+.assembly GitHub_25027 {}
+
+.class private auto ansi beforefieldinit X
+       extends [System.Private.CoreLib]System.Object
+{
+  .method public hidebysig static int32  Main() cil managed
+  {
+    .entrypoint
+    .locals init ([0] int32 result)
+    ldc.i4.m1
+    stloc.0
+
+    .try
+    {
+      call       int32 X::F()
+      stloc.0
+      leave.s    join
+
+    }
+    catch [System.Private.CoreLib]System.InvalidProgramException 
+    {
+      pop
+      ldc.i4.s   100
+      stloc.0
+      leave.s    join
+    }
+
+    join:
+
+    ldloc.0
+    ret
+  }
+
+  // F is intentionally made big enough so that it doesn't get inlined into
+  // Main without needing to be marked "noinlining"
+
+  .method private hidebysig static int32 
+          F() cil managed
+  {
+    .locals init ([0] int32 r,
+             [1] int32 i)
+    ldc.i4.0
+    stloc.0
+    ldc.i4.0
+    stloc.1
+    br.s test
+
+    loop:  
+
+    ldloc.0
+    ldloc.1
+    ldloc.1
+    mul
+    add
+    stloc.0
+    ldloc.1
+    ldc.i4.1
+    add
+    stloc.1
+
+    test:
+
+    ldloc.1
+    ldc.i4.s   10
+    ble.s      loop
+
+    ldloc.0
+
+    // invalid IL and invalid tail call site
+
+    dup
+    dup
+    call       void X::G(int32)
+    ret
+  }
+
+  .method private hidebysig static void
+          G(int32 x) cil managed
+  {
+    ret
+  }
+
+}
diff --git a/tests/src/JIT/Regression/JitBlue/GitHub_25027/GitHub_25027.ilproj b/tests/src/JIT/Regression/JitBlue/GitHub_25027/GitHub_25027.ilproj
new file mode 100644
index 0000000000..28e89d2eb0
--- /dev/null
+++ b/tests/src/JIT/Regression/JitBlue/GitHub_25027/GitHub_25027.ilproj
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="utf-8"?>
+<Project ToolsVersion="12.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+  <Import Project="$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildThisFileDirectory), dir.props))\dir.props" />
+  <PropertyGroup>
+    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
+    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
+    <AssemblyName>$(MSBuildProjectName)</AssemblyName>
+    <SchemaVersion>2.0</SchemaVersion>
+    <ProjectGuid>{95DFC527-4DC1-495E-97D7-E94EE1F7140D}</ProjectGuid>
+    <OutputType>Exe</OutputType>
+    <ProjectTypeGuids>{786C830F-07A1-408B-BD7F-6EE04809D6DB};{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}</ProjectTypeGuids>
+    <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\</SolutionDir>
+  </PropertyGroup>
+  <!-- Default configurations to help VS understand the configurations -->
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' "></PropertyGroup>
+  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' "></PropertyGroup>
+  <ItemGroup>
+    <CodeAnalysisDependentAssemblyPaths Condition=" '$(VS100COMNTOOLS)' != '' " Include="$(VS100COMNTOOLS)..\IDE\PrivateAssemblies">
+      <Visible>False</Visible>
+    </CodeAnalysisDependentAssemblyPaths>
+  </ItemGroup>
+  <PropertyGroup>
+    <DebugType>None</DebugType>
+    <Optimize>True</Optimize>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="GitHub_25027.il" />
+  </ItemGroup>
+  <ItemGroup>
+    <Service Include="{82A7F48D-3B50-4B1E-B82E-3ADA8210C358}" />
+  </ItemGroup>
+  <Import Project="$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildThisFileDirectory), dir.targets))\dir.targets" />
+  <PropertyGroup Condition=" '$(MsBuildProjectDirOverride)' != '' "></PropertyGroup>
+</Project>
\ No newline at end of file