JIT: (bug) value numbering asserts when constant-folding 64-bit PopCount/LeadingZeroCount/TrailingZeroCount #133560

using System;
using System.Runtime.CompilerServices;

internal static class Program
{
    [MethodImpl(MethodImplOptions.NoInlining | MethodImplOptions.AggressiveOptimization)]
    private static ulong TestPopCount(ulong y) => ulong.PopCount((y - y) + 256);

    [MethodImpl(MethodImplOptions.NoInlining | MethodImplOptions.AggressiveOptimization)]
    private static ulong TestLeadingZeroCount(ulong y) => ulong.LeadingZeroCount((y - y) + 256);

    [MethodImpl(MethodImplOptions.NoInlining | MethodImplOptions.AggressiveOptimization)]
    private static ulong TestTrailingZeroCount(ulong y) => ulong.TrailingZeroCount((y - y) + 256);

    private static void Main()
    {
        ulong y = (ulong)Environment.TickCount64;
        Console.WriteLine(TestPopCount(y));
        Console.WriteLine(TestLeadingZeroCount(y));
        Console.WriteLine(TestTrailingZeroCount(y));
    }
}