JIT: Invalid handling of comparison with `long.MinValue`

[jakobbotsch]

// Generated by Fuzzlyn v3.1 on 2025-05-30 09:55:02
// Run on Arm64 MacOS
// Seed: 17657029378323677877-vectort,vector64,vector128,armadvsimd,armadvsimdarm64,armaes,armarmbase,armarmbasearm64,armcrc32,armcrc32arm64,armdp,armrdm,armrdmarm64,armsha1,armsha256
// Reduced from 183.5 KiB to 0.6 KiB in 00:00:39
// Debug: Prints 0 line(s)
// Release: Prints 1 line(s)
using System;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.Arm;

public class Program
{
    public static long[] s_3 = new long[]
    {
        0
    };
    public static int s_6;
    public static ulong[] s_9;
    public static void Main()
    {
        if (1 <= s_3[0])
        {
            s_9 = new ulong[]
            {
                0
            };
        }
        else
        {
            if (long.MinValue > s_3[0])
            {
                System.Console.WriteLine(s_6);
            }
        }
    }
}

Repros on win-x64. Does not look like a recent regression.

cc @dotnet/jit-contrib

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.