Skip to content

JIT: ArgumentOutOfRangeException in debug but not release with DotProductBySelectedQuadruplet #106608

@jakobbotsch

Description

@jakobbotsch
// Generated by Fuzzlyn v2.2 on 2024-08-17 15:13:27
// Run on Arm64 MacOS
// Seed: 17566447992392941035-vectort,vector64,vector128,armadvsimd,armadvsimdarm64,armaes,armarmbase,armarmbasearm64,armcrc32,armcrc32arm64,armdp,armrdm,armrdmarm64,armsha1,armsha256
// Reduced from 52.5 KiB to 0.7 KiB in 00:00:21
// Debug: Throws 'System.ArgumentOutOfRangeException'
// Release: Runs successfully
using System;
using System.Runtime.CompilerServices;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.Arm;

public class Program
{
    public static void Main()
    {
        var vr7 = M1();
    }

    public static ushort M1()
    {
        var vr2 = Vector64.CreateScalar(0);
        var vr1 = AdvSimd.Extract(vr2, 0);
        var vr4 = Vector64.Create<int>(0);
        var vr5 = Vector64.Create<sbyte>(0);
        var vr6 = Vector64.Create<sbyte>(0);
        var vr3 = Dp.DotProductBySelectedQuadruplet(vr4, vr5, vr6, 7);
        return (ushort)((byte)ArmBase.Arm64.MultiplyHigh(vr1, 0) >> (-32768 & AdvSimd.Extract(vr3, 0)));
    }
}

cc @dotnet/jit-contrib

Metadata

Metadata

Labels

area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMIin-prThere is an active PR which will close this issue when it is merged

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions