JIT SVE: Assertion failed 'secondId->idReg1() != secondId->idReg4()' during 'Emit code'

[jakobbotsch]

// Generated by Fuzzlyn v2.3 on 2024-08-23 10:10:06
// Run on Arm64 Windows
// Seed: 13584223539078280353-vectort,vector64,vector128,armsve
// Reduced from 87.4 KiB to 0.8 KiB in 00:00:52
// Hits JIT assert in Release:
// Assertion failed 'secondId->idReg1() != secondId->idReg4()' in 'S0:M6(ubyte,double):this' during 'Emit code' (IL size 81; hash 0x596acd7c; FullOpts)
//
//     File: C:\dev\dotnet\runtime2\src\coreclr\jit\emitarm64sve.cpp Line: 18601
//
using System;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.Arm;

public struct S0
{
    public void M6(byte arg0, double arg1)
    {
        var vr0 = Vector128.CreateScalar(119.12962f).AsVector();
        var vr3 = Program.s_2;
        var vr4 = Vector128.CreateScalar(1f).AsVector();
        var vr5 = Program.s_2;
        var vr2 = Sve.FusedMultiplySubtractNegated(vr3, vr4, vr5);
        if ((Sve.ConditionalExtractLastActiveElement(vr0, 0, vr2) < 0))
        {
            this = this;
        }
    }
}

public class Program
{
    public static Vector<float> s_2;
    public static double[] s_5 = new double[]
    {
        0
    };
    public static byte s_16;
    public static void Main()
    {
        var vr6 = s_5[0];
        new S0().M6(s_16, vr6);
    }
}

cc @dotnet/arm64-contrib @dotnet/jit-contrib

[dotnet-policy-service]

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

[jakobbotsch]

Maybe related:

// Generated by Fuzzlyn v2.3 on 2024-08-23 10:12:51
// Run on Arm64 Windows
// Seed: 4576767951799510057-vectort,vector64,vector128,armsve
// Reduced from 32.2 KiB to 0.5 KiB in 00:00:25
// Hits JIT assert in Release:
// Assertion failed 'secondId->idReg1() != secondId->idReg3()' in 'Program:Main(Fuzzlyn.ExecutionServer.IRuntime)' during 'Emit code' (IL size 55; hash 0xade6b36b; FullOpts)
//
//     File: C:\dev\dotnet\runtime2\src\coreclr\jit\emitarm64sve.cpp Line: 18600
//
using System;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.Arm;

public class Program
{
    public static void Main()
    {
        Vector<short> vr4 = default(Vector<short>);
        vr4 = Sve.MultiplyAdd(vr4, vr4, vr4);
        var vr5 = (short)0;
        var vr6 = Vector128.CreateScalar(vr5).AsVector();
        var vr7 = (short)0;
        var vr8 = Sve.ConditionalExtractLastActiveElement(vr6, vr7, vr4);
        System.Console.WriteLine(vr8);
    }
}