[JIT] X64/ARM64 - Incorrect optimization prints `35514` instead of `28876`

[TIHan]

// Generated by Fuzzlyn v1.5 on 2023-04-26 02:07:41
// Run on Arm64 MacOS
// Seed: 4341704563799292540
// Reduced from 104.8 KiB to 0.5 KiB in 00:00:34
// Debug: Outputs 28876
// Release: Outputs 35514
public class Program
{
    public static long s_15;
    public static sbyte s_17;
    public static ushort s_21 = 36659;
    public static void Main()
    {
        s_15 = ~1;
        bool vr1 = M40(0);
    }

    public static bool M40(ushort arg0)
    {
        for (int var0 = 0; var0 < 2; var0++)
        {
            arg0 = 65535;
            arg0 &= (ushort)(s_15++ >> s_17);
            arg0 %= s_21;
        }

        System.Console.WriteLine(arg0);
        return false;
    }
}

Reproduces on Windows ARM64 and X64.

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

Issue Details

---

// Generated by Fuzzlyn v1.5 on 2023-04-26 02:07:41
// Run on Arm64 MacOS
// Seed: 4341704563799292540
// Reduced from 104.8 KiB to 0.5 KiB in 00:00:34
// Debug: Outputs 28876
// Release: Outputs 35514
public class Program
{
    public static long s_15;
    public static sbyte s_17;
    public static ushort s_21 = 36659;
    public static void Main()
    {
        s_15 = ~1;
        bool vr1 = M40(0);
    }

    public static bool M40(ushort arg0)
    {
        for (int var0 = 0; var0 < 2; var0++)
        {
            arg0 = 65535;
            arg0 &= (ushort)(s_15++ >> s_17);
            arg0 %= s_21;
        }

        System.Console.WriteLine(arg0);
        return false;
    }
}

Reproduces on Windows ARM64.

Author:	TIHan
Assignees:	-
Labels:	bug, arch-arm64, os-linux, os-mac-os-x, os-windows, area-CodeGen-coreclr
Milestone:	-

[TIHan]

#85081 is related.

[TIHan]

This is another issue related to optimizing CAST nodes by removal for NormalizeOnLoad assignments.