Skip to content

JIT: Assertion failed '(resultLcl->TypeGet() == TYP_STRUCT) == (call->gtReturnType == TYP_STRUCT)' during 'Transform async' #115613

@jakobbotsch

Description

@jakobbotsch
// Generated by Fuzzlyn v3.1 on 2025-05-15 14:08:16
// Run on X64 Windows
// Seed: 200623394434482114-async,runtimeasync,vectort,vector128,vector256,x86aes,x86avx,x86avx2,x86bmi1,x86bmi1x64,x86bmi2,x86bmi2x64,x86fma,x86lzcnt,x86lzcntx64,x86pclmulqdq,x86pclmulqdqv256,x86popcnt,x86popcntx64,x86sse,x86ssex64,x86sse2,x86sse2x64,x86sse3,x86sse41,x86sse41x64,x86sse42,x86sse42x64,x86ssse3,x86x86base
// Reduced from 71.0 KiB to 0.9 KiB in 00:02:38
// Hits JIT assert for Release with Runtime Async:
// Assertion failed '(resultLcl->TypeGet() == TYP_STRUCT) == (call->gtReturnType == TYP_STRUCT)' in 'Program:M5():ubyte' during 'Transform async' (IL size 13; hash 0x6dd3c0f7; FullOpts)
//
//     File: C:\dev\dotnet\runtime2\src\coreclr\jit\async.cpp Line: 1509
//
using System;
using System.Numerics;
using System.Threading.Tasks;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.X86;

public class Program
{
    public static ulong[][] s_11 = new ulong[][]
    {
        new ulong[]
        {
            1,
            1,
            0,
            1
        }
    };
    public static Vector128<uint>[] s_16;
    public static void Main()
    {
        bool vr6 = M5().GetAwaiter().GetResult();
    }

    public static async Task<bool> M5()
    {
        var vr5 = await M7();
        return false;
    }

    public static async Task<Vector128<short>> M7()
    {
        var vr2 = new uint[]
        {
            0
        };
        var vr1 = (short)M9(ref s_16);
        return Vector128.Create<short>(vr1);
    }

    public static uint M9(ref Vector128<uint>[] arg5)
    {
        return default(uint);
    }
}

Metadata

Metadata

Assignees

Labels

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

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions