Skip to content

JIT: Assertion failed 'unreached' during 'Morph - Global' #117378

@amanasifkhalid

Description

@amanasifkhalid
// Generated by Fuzzlyn v3.2 on 2025-07-06 14:49:40
// Run on X64 Windows
// Seed: 14677918720271330548-vectort,vector128,vector256,vector512,x86aes,x86avx,x86avx2,x86avx512bw,x86avx512bwvl,x86avx512cd,x86avx512cdvl,x86avx512dq,x86avx512dqvl,x86avx512f,x86avx512fvl,x86avx512fx64,x86avx512vbmi,x86avx512vbmivl,x86bmi1,x86bmi1x64,x86bmi2,x86bmi2x64,x86fma,x86gfni,x86gfniv256,x86gfniv512,x86lzcnt,x86lzcntx64,x86pclmulqdq,x86pclmulqdqv256,x86pclmulqdqv512,x86popcnt,x86popcntx64,x86sse,x86ssex64,x86sse2,x86sse2x64,x86sse3,x86sse41,x86sse41x64,x86sse42,x86sse42x64,x86ssse3,x86x86base
// Reduced from 322.4 KiB to 0.6 KiB in 00:04:45
// Hits JIT assert for Release:
// Assertion failed 'unreached' in 'Program:M0()' during 'Morph - Global' (IL size 43; hash 0xaf50ff37; FullOpts)
// 
//     File: D:\a\_work\1\s\src\coreclr\jit\simd.h Line: 1142
// 
using System;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.X86;

public class Program
{
    public static Vector256<int> s_1;
    public static void Main()
    {
        M0();
    }

    public static void M0()
    {
        var vr2 = Vector256.Create<int>(0);
        var vr3 = Vector256.Create<int>(1);
        var vr1 = Avx512F.VL.CompareNotEqual(vr2, vr3);
        var vr4 = Vector256.Create<int>(0);
        var vr0 = Avx2.AndNot(vr1, vr4);
        s_1 = Avx512CD.VL.LeadingZeroCount(vr0);
    }
}

Also hit by Antigen. cc @dotnet/jit-contrib.

Metadata

Metadata

Labels

area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions