JIT: assertion propagation truncates 64-bit constant during range inference #132784

using System;
using System.Runtime.CompilerServices;

public static class Program
{
    [MethodImpl(MethodImplOptions.NoInlining)]
    static ulong F(ulong p1)
    {
        int v6 = 0, v13 = 0, v21 = 0;
        ulong v2 = 0, v4 = 0, v5 = 0, v42 = 0;

    b0:
        v4 = 0 - p1;
        v6 = p1 == 0xFFFE008000000000UL ? 1 : 0;
        if (v6 != 0) goto b1;
        goto b4;
    b1:
        v13 = v4 != v2 ? 1 : 0;
        if (v13 != 0) goto b2;
        goto b5;
    b2:
        if (v21 != 0) goto b7;
        goto b6;
    b4:
        goto b0;
    b5:
        v42 = v5 % (ulong)(Environment.TickCount & 0);
        goto b1;
    b6:
        return 0;
    b7:
        return v42;
    }

    public static int Main()
    {
        Console.WriteLine($"{F(0xFFFE008000000000UL):X16}");
        return 0;
    }
}