Skip to content

SVE2 API for AbsoluteDifferenceAdd #115513

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 3, 2025
Merged

SVE2 API for AbsoluteDifferenceAdd #115513

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a0dc354
SVE2 API for AbsoluteDifferenceAdd and widening variants
jacob-crawley May 8, 2025
0b73439
Removing the 'unsafe' keyword from the intrinsic definitions
jacob-crawley May 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion src/coreclr/jit/hwintrinsiclistarm64sve.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -308,7 +308,10 @@ HARDWARE_INTRINSIC(Sve, ZipLow,
// {TYP_BYTE, TYP_UBYTE, TYP_SHORT, TYP_USHORT, TYP_INT, TYP_UINT, TYP_LONG, TYP_ULONG, TYP_FLOAT, TYP_DOUBLE}
// ***************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************
// SVE2 Intrinsics
#define FIRST_NI_Sve2 NI_Sve2_BitwiseClearXor
#define FIRST_NI_Sve2 NI_Sve2_AbsoluteDifferenceAdd
HARDWARE_INTRINSIC(Sve2, AbsoluteDifferenceAdd, -1, 3, {INS_sve_saba, INS_sve_uaba, INS_sve_saba, INS_sve_uaba, INS_sve_saba, INS_sve_uaba, INS_sve_saba, INS_sve_uaba, INS_invalid, INS_invalid}, HW_Category_SIMD, HW_Flag_Scalable|HW_Flag_HasRMWSemantics)
HARDWARE_INTRINSIC(Sve2, AbsoluteDifferenceAddWideningLower, -1, 3, {INS_invalid, INS_invalid, INS_sve_sabalb, INS_sve_uabalb, INS_sve_sabalb, INS_sve_uabalb, INS_sve_sabalb, INS_sve_uabalb, INS_invalid, INS_invalid}, HW_Category_SIMD, HW_Flag_Scalable|HW_Flag_BaseTypeFromFirstArg|HW_Flag_HasRMWSemantics)
HARDWARE_INTRINSIC(Sve2, AbsoluteDifferenceAddWideningUpper, -1, 3, {INS_invalid, INS_invalid, INS_sve_sabalt, INS_sve_uabalt, INS_sve_sabalt, INS_sve_uabalt, INS_sve_sabalt, INS_sve_uabalt, INS_invalid, INS_invalid}, HW_Category_SIMD, HW_Flag_Scalable|HW_Flag_BaseTypeFromFirstArg|HW_Flag_HasRMWSemantics)
HARDWARE_INTRINSIC(Sve2, BitwiseClearXor, -1, 3, {INS_sve_bcax, INS_sve_bcax, INS_sve_bcax, INS_sve_bcax, INS_sve_bcax, INS_sve_bcax, INS_sve_bcax, INS_sve_bcax, INS_invalid, INS_invalid}, HW_Category_SIMD, HW_Flag_Scalable|HW_Flag_SpecialCodeGen|HW_Flag_HasRMWSemantics)
HARDWARE_INTRINSIC(Sve2, BitwiseSelect, -1, 3, {INS_sve_bsl, INS_sve_bsl, INS_sve_bsl, INS_sve_bsl, INS_sve_bsl, INS_sve_bsl, INS_sve_bsl, INS_sve_bsl, INS_invalid, INS_invalid}, HW_Category_SIMD, HW_Flag_Scalable|HW_Flag_SpecialCodeGen|HW_Flag_HasRMWSemantics)
HARDWARE_INTRINSIC(Sve2, BitwiseSelectLeftInverted, -1, 3, {INS_sve_bsl1n, INS_sve_bsl1n, INS_sve_bsl1n, INS_sve_bsl1n, INS_sve_bsl1n, INS_sve_bsl1n, INS_sve_bsl1n, INS_sve_bsl1n, INS_invalid, INS_invalid}, HW_Category_SIMD, HW_Flag_Scalable|HW_Flag_SpecialCodeGen|HW_Flag_HasRMWSemantics)
Expand Down
126 changes: 126 additions & 0 deletions ...ies/System.Private.CoreLib/src/System/Runtime/Intrinsics/Arm/Sve2.PlatformNotSupported.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,132 @@ internal Arm64() { }
public static new bool IsSupported { get => IsSupported; }
}

// Absolute difference and accumulate

/// <summary>
/// svuint8_t svaba[_u8](svuint8_t op1, svuint8_t op2, svuint8_t op3)
/// UABA Ztied1.B, Zop2.B, Zop3.B
/// </summary>
public static Vector<byte> AbsoluteDifferenceAdd(Vector<byte> addend, Vector<byte> left, Vector<byte> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint16_t svaba[_s16](svint16_t op1, svint16_t op2, svint16_t op3)
/// SABA Ztied1.H, Zop2.H, Zop3.H
/// </summary>
public static Vector<short> AbsoluteDifferenceAdd(Vector<short> addend, Vector<short> left, Vector<short> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint32_t svaba[_s32](svint32_t op1, svint32_t op2, svint32_t op3)
/// SABA Ztied1.S, Zop2.S, Zop3.S
/// </summary>
public static Vector<int> AbsoluteDifferenceAdd(Vector<int> addend, Vector<int> left, Vector<int> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint64_t svaba[_s64](svint64_t op1, svint64_t op2, svint64_t op3)
/// SABA Ztied1.D, Zop2.D, Zop3.D
/// </summary>
public static Vector<long> AbsoluteDifferenceAdd(Vector<long> addend, Vector<long> left, Vector<long> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint8_t svaba[_s8](svint8_t op1, svint8_t op2, svint8_t op3)
/// SABA Ztied1.B, Zop2.B, Zop3.B
/// </summary>
public static Vector<sbyte> AbsoluteDifferenceAdd(Vector<sbyte> addend, Vector<sbyte> left, Vector<sbyte> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint16_t svaba[_u16](svuint16_t op1, svuint16_t op2, svuint16_t op3)
/// UABA Ztied1.H, Zop2.H, Zop3.H
/// </summary>
public static Vector<ushort> AbsoluteDifferenceAdd(Vector<ushort> addend, Vector<ushort> left, Vector<ushort> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint32_t svaba[_u32](svuint32_t op1, svuint32_t op2, svuint32_t op3)
/// UABA Ztied1.S, Zop2.S, Zop3.S
/// </summary>
public static Vector<uint> AbsoluteDifferenceAdd(Vector<uint> addend, Vector<uint> left, Vector<uint> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint64_t svaba[_u64](svuint64_t op1, svuint64_t op2, svuint64_t op3)
/// UABA Ztied1.D, Zop2.D, Zop3.D
/// </summary>
public static Vector<ulong> AbsoluteDifferenceAdd(Vector<ulong> addend, Vector<ulong> left, Vector<ulong> right) { throw new PlatformNotSupportedException(); }

// Absolute difference and accumulate long (bottom)

/// <summary>
/// svint16_t svabalb[_s16](svint16_t op1, svint8_t op2, svint8_t op3)
/// SABALB Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<short> AbsoluteDifferenceAddWideningLower(Vector<short> addend, Vector<sbyte> left, Vector<sbyte> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint32_t svabalb[_s32](svint32_t op1, svint16_t op2, svint16_t op3)
/// SABALB Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<int> AbsoluteDifferenceAddWideningLower(Vector<int> addend, Vector<short> left, Vector<short> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint64_t svabalb[_s64](svint64_t op1, svint32_t op2, svint32_t op3)
/// SABALB Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<long> AbsoluteDifferenceAddWideningLower(Vector<long> addend, Vector<int> left, Vector<int> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint16_t svabalb[_u16](svuint16_t op1, svuint8_t op2, svuint8_t op3)
/// UABALB Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<ushort> AbsoluteDifferenceAddWideningLower(Vector<ushort> addend, Vector<byte> left, Vector<byte> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint32_t svabalb[_u32](svuint32_t op1, svuint16_t op2, svuint16_t op3)
/// UABALB Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<uint> AbsoluteDifferenceAddWideningLower(Vector<uint> addend, Vector<ushort> left, Vector<ushort> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint64_t svabalb[_u64](svuint64_t op1, svuint32_t op2, svuint32_t op3)
/// UABALB Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<ulong> AbsoluteDifferenceAddWideningLower(Vector<ulong> addend, Vector<uint> left, Vector<uint> right) { throw new PlatformNotSupportedException(); }

// Absolute difference and accumulate long (top)

/// <summary>
/// svint16_t svabalt[_s16](svint16_t op1, svint8_t op2, svint8_t op3)
/// SABALT Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<short> AbsoluteDifferenceAddWideningUpper(Vector<short> addend, Vector<sbyte> left, Vector<sbyte> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint32_t svabalt[_s32](svint32_t op1, svint16_t op2, svint16_t op3)
/// SABALT Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<int> AbsoluteDifferenceAddWideningUpper(Vector<int> addend, Vector<short> left, Vector<short> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svint64_t svabalt[_s64](svint64_t op1, svint32_t op2, svint32_t op3)
/// SABALT Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<long> AbsoluteDifferenceAddWideningUpper(Vector<long> addend, Vector<int> left, Vector<int> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint16_t svabalt[_u16](svuint16_t op1, svuint8_t op2, svuint8_t op3)
/// UABALT Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<ushort> AbsoluteDifferenceAddWideningUpper(Vector<ushort> addend, Vector<byte> left, Vector<byte> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint32_t svabalt[_u32](svuint32_t op1, svuint16_t op2, svuint16_t op3)
/// UABALT Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<uint> AbsoluteDifferenceAddWideningUpper(Vector<uint> addend, Vector<ushort> left, Vector<ushort> right) { throw new PlatformNotSupportedException(); }

/// <summary>
/// svuint64_t svabalt[_u64](svuint64_t op1, svuint32_t op2, svuint32_t op3)
/// UABALT Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<ulong> AbsoluteDifferenceAddWideningUpper(Vector<ulong> addend, Vector<uint> left, Vector<uint> right) { throw new PlatformNotSupportedException(); }

// Bitwise clear and exclusive OR

/// <summary>
Expand Down
126 changes: 126 additions & 0 deletions src/libraries/System.Private.CoreLib/src/System/Runtime/Intrinsics/Arm/Sve2.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,132 @@ internal Arm64() { }
public static new bool IsSupported { get => IsSupported; }
}

// Absolute difference and accumulate

/// <summary>
/// svuint8_t svaba[_u8](svuint8_t op1, svuint8_t op2, svuint8_t op3)
/// UABA Ztied1.B, Zop2.B, Zop3.B
/// </summary>
public static Vector<byte> AbsoluteDifferenceAdd(Vector<byte> addend, Vector<byte> left, Vector<byte> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svint16_t svaba[_s16](svint16_t op1, svint16_t op2, svint16_t op3)
/// SABA Ztied1.H, Zop2.H, Zop3.H
/// </summary>
public static Vector<short> AbsoluteDifferenceAdd(Vector<short> addend, Vector<short> left, Vector<short> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svint32_t svaba[_s32](svint32_t op1, svint32_t op2, svint32_t op3)
/// SABA Ztied1.S, Zop2.S, Zop3.S
/// </summary>
public static Vector<int> AbsoluteDifferenceAdd(Vector<int> addend, Vector<int> left, Vector<int> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svint64_t svaba[_s64](svint64_t op1, svint64_t op2, svint64_t op3)
/// SABA Ztied1.D, Zop2.D, Zop3.D
/// </summary>
public static Vector<long> AbsoluteDifferenceAdd(Vector<long> addend, Vector<long> left, Vector<long> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svint8_t svaba[_s8](svint8_t op1, svint8_t op2, svint8_t op3)
/// SABA Ztied1.B, Zop2.B, Zop3.B
/// </summary>
public static Vector<sbyte> AbsoluteDifferenceAdd(Vector<sbyte> addend, Vector<sbyte> left, Vector<sbyte> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svuint16_t svaba[_u16](svuint16_t op1, svuint16_t op2, svuint16_t op3)
/// UABA Ztied1.H, Zop2.H, Zop3.H
/// </summary>
public static Vector<ushort> AbsoluteDifferenceAdd(Vector<ushort> addend, Vector<ushort> left, Vector<ushort> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svuint32_t svaba[_u32](svuint32_t op1, svuint32_t op2, svuint32_t op3)
/// UABA Ztied1.S, Zop2.S, Zop3.S
/// </summary>
public static Vector<uint> AbsoluteDifferenceAdd(Vector<uint> addend, Vector<uint> left, Vector<uint> right) => AbsoluteDifferenceAdd(addend, left, right);

/// <summary>
/// svuint64_t svaba[_u64](svuint64_t op1, svuint64_t op2, svuint64_t op3)
/// UABA Ztied1.D, Zop2.D, Zop3.D
/// </summary>
public static Vector<ulong> AbsoluteDifferenceAdd(Vector<ulong> addend, Vector<ulong> left, Vector<ulong> right) => AbsoluteDifferenceAdd(addend, left, right);

// Absolute difference and accumulate long (bottom)

/// <summary>
/// svint16_t svabalb[_s16](svint16_t op1, svint8_t op2, svint8_t op3)
/// SABALB Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<short> AbsoluteDifferenceAddWideningLower(Vector<short> addend, Vector<sbyte> left, Vector<sbyte> right) => AbsoluteDifferenceAddWideningLower(addend, left, right);

/// <summary>
/// svint32_t svabalb[_s32](svint32_t op1, svint16_t op2, svint16_t op3)
/// SABALB Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<int> AbsoluteDifferenceAddWideningLower(Vector<int> addend, Vector<short> left, Vector<short> right) => AbsoluteDifferenceAddWideningLower(addend, left, right);

/// <summary>
/// svint64_t svabalb[_s64](svint64_t op1, svint32_t op2, svint32_t op3)
/// SABALB Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<long> AbsoluteDifferenceAddWideningLower(Vector<long> addend, Vector<int> left, Vector<int> right) => AbsoluteDifferenceAddWideningLower(addend, left, right);

/// <summary>
/// svuint16_t svabalb[_u16](svuint16_t op1, svuint8_t op2, svuint8_t op3)
/// UABALB Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<ushort> AbsoluteDifferenceAddWideningLower(Vector<ushort> addend, Vector<byte> left, Vector<byte> right) => AbsoluteDifferenceAddWideningLower(addend, left, right);

/// <summary>
/// svuint32_t svabalb[_u32](svuint32_t op1, svuint16_t op2, svuint16_t op3)
/// UABALB Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<uint> AbsoluteDifferenceAddWideningLower(Vector<uint> addend, Vector<ushort> left, Vector<ushort> right) => AbsoluteDifferenceAddWideningLower(addend, left, right);

/// <summary>
/// svuint64_t svabalb[_u64](svuint64_t op1, svuint32_t op2, svuint32_t op3)
/// UABALB Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<ulong> AbsoluteDifferenceAddWideningLower(Vector<ulong> addend, Vector<uint> left, Vector<uint> right) => AbsoluteDifferenceAddWideningLower(addend, left, right);

// Absolute difference and accumulate long (top)

/// <summary>
/// svint16_t svabalt[_s16](svint16_t op1, svint8_t op2, svint8_t op3)
/// SABALT Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<short> AbsoluteDifferenceAddWideningUpper(Vector<short> addend, Vector<sbyte> left, Vector<sbyte> right) => AbsoluteDifferenceAddWideningUpper(addend, left, right);

/// <summary>
/// svint32_t svabalt[_s32](svint32_t op1, svint16_t op2, svint16_t op3)
/// SABALT Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<int> AbsoluteDifferenceAddWideningUpper(Vector<int> addend, Vector<short> left, Vector<short> right) => AbsoluteDifferenceAddWideningUpper(addend, left, right);

/// <summary>
/// svint64_t svabalt[_s64](svint64_t op1, svint32_t op2, svint32_t op3)
/// SABALT Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<long> AbsoluteDifferenceAddWideningUpper(Vector<long> addend, Vector<int> left, Vector<int> right) => AbsoluteDifferenceAddWideningUpper(addend, left, right);

/// <summary>
/// svuint16_t svabalt[_u16](svuint16_t op1, svuint8_t op2, svuint8_t op3)
/// UABALT Ztied1.H, Zop2.B, Zop3.B
/// </summary>
public static Vector<ushort> AbsoluteDifferenceAddWideningUpper(Vector<ushort> addend, Vector<byte> left, Vector<byte> right) => AbsoluteDifferenceAddWideningUpper(addend, left, right);

/// <summary>
/// svuint32_t svabalt[_u32](svuint32_t op1, svuint16_t op2, svuint16_t op3)
/// UABALT Ztied1.S, Zop2.H, Zop3.H
/// </summary>
public static Vector<uint> AbsoluteDifferenceAddWideningUpper(Vector<uint> addend, Vector<ushort> left, Vector<ushort> right) => AbsoluteDifferenceAddWideningUpper(addend, left, right);

/// <summary>
/// svuint64_t svabalt[_u64](svuint64_t op1, svuint32_t op2, svuint32_t op3)
/// UABALT Ztied1.D, Zop2.S, Zop3.S
/// </summary>
public static Vector<ulong> AbsoluteDifferenceAddWideningUpper(Vector<ulong> addend, Vector<uint> left, Vector<uint> right) => AbsoluteDifferenceAddWideningUpper(addend, left, right);

// Bitwise clear and exclusive OR

/// <summary>
Expand Down
Loading
Loading