[release/10.0] Ignore re-typed lcl in optAssertionPropLocal_RelOp (#119813)

* Fix optAssertionPropLocal_RelOp for retyped locals

* add a test

* change comment

---------

Co-authored-by: EgorBo <[email protected]>

Author: github-actions[bot]

src/coreclr/jit/assertionprop.cpp

@@ -4703,6 +4703,13 @@ GenTree* Compiler::optAssertionPropLocal_RelOp(ASSERT_VALARG_TP assertions, GenT
 
     // Find an equal or not equal assertion about op1 var.
     unsigned lclNum = op1->AsLclVarCommon()->GetLclNum();
+
+    // Make sure the local is not truncated.
+    if (!op1->TypeIs(lvaGetRealType(lclNum)))
+    {
+        return nullptr;
+    }
+
     noway_assert(lclNum < lvaCount);
     AssertionIndex index = optLocalAssertionIsEqualOrNotEqual(op1Kind, lclNum, op2Kind, cnsVal, assertions);
 

src/tests/JIT/Regression/JitBlue/Runtime_119654/Runtime_119654.cs

@@ -0,0 +1,27 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System;
+using System.Runtime.CompilerServices;
+using Xunit;
+
+public class Runtime_119654
+{
+    [Fact]
+    public static void TestEntryPoint()
+    {
+        if (ShouldReturnOne(-4294967296L) != 1)
+        {
+            throw new Exception("Test failed");
+        }
+    }
+
+    [MethodImpl(MethodImplOptions.NoInlining |
+                MethodImplOptions.AggressiveOptimization)]
+    private static int ShouldReturnOne(long availableSigned)
+    {
+        if (availableSigned == 0L)
+            return 0;
+        return (uint)(ulong)availableSigned != 0 ? 111 : 1;
+    }
+}

src/tests/JIT/Regression/JitBlue/Runtime_119654/Runtime_119654.csproj

@@ -0,0 +1,9 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <DebugType>None</DebugType>
+    <Optimize>True</Optimize>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="$(MSBuildProjectName).cs" />
+  </ItemGroup>
+</Project>