JIT: Assertion failed '!m_compiler->lvaInSsa(tree->GetLclNum())' during 'Assertion prop'

[jakobbotsch]

// Generated by Fuzzlyn v1.5 on 2023-08-10 23:00:28
// Run on X64 Windows
// Seed: 4252487236530659884
// Reduced from 45.5 KiB to 0.7 KiB in 00:01:26
// Hits JIT assert in Release:
// Assertion failed '!m_compiler->lvaInSsa(tree->GetLclNum())' in 'Program:Main(Fuzzlyn.ExecutionServer.IRuntime)' during 'Assertion prop' (IL size 112; hash 0xade6b36b; FullOpts)
// 
//     File: D:\a\_work\1\s\src\coreclr\jit\optimizer.cpp Line: 6440
// 
public class Program
{
    public static long s_2;
    public static bool s_3;
    public static byte[][] s_4;
    public static void Main()
    {
        if (!((1 >> (ushort)(0 * s_2)) >= 0))
        {
            try
            {
                s_2 <<= 0;
            }
            finally
            {
                s_3 = false;
                byte vr7 = 0;
                long[] vr8 = new long[]{0};
                s_4[0][0] = vr7;
                int vr9 = 0;
                vr9 = (ushort)(vr8[0] % vr9++);
                s_4[0] = new byte[]{1};
                var vr10 = new byte[, ]{{0, 0, 1, 0, 0, 0, 1, 0, 0}};
            }
        }
    }
}

Putting this in 9.0 since it seems to be related to statically dead code.

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-08-10 23:00:28
// Run on X64 Windows
// Seed: 4252487236530659884
// Reduced from 45.5 KiB to 0.7 KiB in 00:01:26
// Hits JIT assert in Release:
// Assertion failed '!m_compiler->lvaInSsa(tree->GetLclNum())' in 'Program:Main(Fuzzlyn.ExecutionServer.IRuntime)' during 'Assertion prop' (IL size 112; hash 0xade6b36b; FullOpts)
// 
//     File: D:\a\_work\1\s\src\coreclr\jit\optimizer.cpp Line: 6440
// 
public class Program
{
    public static long s_2;
    public static bool s_3;
    public static byte[][] s_4;
    public static void Main()
    {
        if (!((1 >> (ushort)(0 * s_2)) >= 0))
        {
            try
            {
                s_2 <<= 0;
            }
            finally
            {
                s_3 = false;
                byte vr7 = 0;
                long[] vr8 = new long[]{0};
                s_4[0][0] = vr7;
                int vr9 = 0;
                vr9 = (ushort)(vr8[0] % vr9++);
                s_4[0] = new byte[]{1};
                var vr10 = new byte[, ]{{0, 0, 1, 0, 0, 0, 1, 0, 0}};
            }
        }
    }
}

Putting this in 9.0 since it seems to be related to statically dead code.

Author:	jakobbotsch
Assignees:	-
Labels:	area-CodeGen-coreclr
Milestone:	9.0.0

[jakobbotsch]

This doesn't repro anymore.