forked from dotnet/runtime
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add TensorPrimitives.Max/MinNumber (dotnet#101435)
* Add TensorPrimitives.Max/MinNumber * Address PR feedback plus some cleanup
- Loading branch information
1 parent
0f4afbc
commit c6cb51f
Showing
7 changed files
with
340 additions
and
90 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
142 changes: 142 additions & 0 deletions
142
...System.Numerics.Tensors/src/System/Numerics/Tensors/netcore/TensorPrimitives.MaxNumber.cs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,142 @@ | ||
| // Licensed to the .NET Foundation under one or more agreements. | ||
| // The .NET Foundation licenses this file to you under the MIT license. | ||
|
|
||
| using System.Runtime.CompilerServices; | ||
| using System.Runtime.InteropServices; | ||
| using System.Runtime.Intrinsics; | ||
| using System.Runtime.Intrinsics.Arm; | ||
|
|
||
| namespace System.Numerics.Tensors | ||
| { | ||
| public static partial class TensorPrimitives | ||
| { | ||
| /// <summary>Searches for the largest number in the specified tensor.</summary> | ||
| /// <param name="x">The tensor, represented as a span.</param> | ||
| /// <returns>The maximum element in <paramref name="x"/>.</returns> | ||
| /// <exception cref="ArgumentException">Length of <paramref name="x" /> must be greater than zero.</exception> | ||
| /// <remarks> | ||
| /// <para> | ||
| /// The determination of the maximum element matches the IEEE 754:2019 `maximumNumber` function. Positive 0 is considered greater than negative 0. | ||
| /// </para> | ||
| /// <para> | ||
| /// This method may call into the underlying C runtime or employ instructions specific to the current architecture. Exact results may differ between different | ||
| /// operating systems or architectures. | ||
| /// </para> | ||
| /// </remarks> | ||
| public static T MaxNumber<T>(ReadOnlySpan<T> x) | ||
| where T : INumber<T> => | ||
| MinMaxCore<T, MaxNumberOperator<T>>(x); | ||
|
|
||
| /// <summary>Computes the element-wise maximum of the numbers in the specified tensors.</summary> | ||
| /// <param name="x">The first tensor, represented as a span.</param> | ||
| /// <param name="y">The second tensor, represented as a span.</param> | ||
| /// <param name="destination">The destination tensor, represented as a span.</param> | ||
| /// <exception cref="ArgumentException">Length of <paramref name="x" /> must be same as length of <paramref name="y" />.</exception> | ||
| /// <exception cref="ArgumentException">Destination is too short.</exception> | ||
| /// <exception cref="ArgumentException"><paramref name="x"/> and <paramref name="destination"/> reference overlapping memory locations and do not begin at the same location.</exception> | ||
| /// <exception cref="ArgumentException"><paramref name="y"/> and <paramref name="destination"/> reference overlapping memory locations and do not begin at the same location.</exception> | ||
| /// <remarks> | ||
| /// <para> | ||
| /// This method effectively computes <c><paramref name="destination" />[i] = <typeparamref name="T"/>.MaxNumber(<paramref name="x" />[i], <paramref name="y" />[i])</c>. | ||
| /// </para> | ||
| /// <para> | ||
| /// The determination of the maximum element matches the IEEE 754:2019 `maximumNumber` function. If either value is <see cref="IFloatingPointIeee754{TSelf}.NaN"/> | ||
| /// the other is returned. Positive 0 is considered greater than negative 0. | ||
| /// </para> | ||
| /// <para> | ||
| /// This method may call into the underlying C runtime or employ instructions specific to the current architecture. Exact results may differ between different | ||
| /// operating systems or architectures. | ||
| /// </para> | ||
| /// </remarks> | ||
| public static void MaxNumber<T>(ReadOnlySpan<T> x, ReadOnlySpan<T> y, Span<T> destination) | ||
| where T : INumber<T> => | ||
| InvokeSpanSpanIntoSpan<T, MaxNumberOperator<T>>(x, y, destination); | ||
|
|
||
| /// <summary>Computes the element-wise maximum of the numbers in the specified tensors.</summary> | ||
| /// <param name="x">The first tensor, represented as a span.</param> | ||
| /// <param name="y">The second tensor, represented as a scalar.</param> | ||
| /// <param name="destination">The destination tensor, represented as a span.</param> | ||
| /// <exception cref="ArgumentException">Destination is too short.</exception> | ||
| /// <exception cref="ArgumentException"><paramref name="x"/> and <paramref name="destination"/> reference overlapping memory locations and do not begin at the same location.</exception> | ||
| /// <remarks> | ||
| /// <para> | ||
| /// This method effectively computes <c><paramref name="destination" />[i] = <typeparamref name="T"/>.MaxNumber(<paramref name="x" />[i], <paramref name="y" />)</c>. | ||
| /// </para> | ||
| /// <para> | ||
| /// The determination of the maximum element matches the IEEE 754:2019 `maximumNumber` function. If either value is <see cref="IFloatingPointIeee754{TSelf}.NaN"/> | ||
| /// the other is returned. Positive 0 is considered greater than negative 0. | ||
| /// </para> | ||
| /// <para> | ||
| /// This method may call into the underlying C runtime or employ instructions specific to the current architecture. Exact results may differ between different | ||
| /// operating systems or architectures. | ||
| /// </para> | ||
| /// </remarks> | ||
| public static void MaxNumber<T>(ReadOnlySpan<T> x, T y, Span<T> destination) | ||
| where T : INumber<T> => | ||
| InvokeSpanScalarIntoSpan<T, MaxNumberOperator<T>>(x, y, destination); | ||
|
|
||
| /// <summary>T.MaxNumber(x, y)</summary> | ||
| internal readonly struct MaxNumberOperator<T> : IAggregationOperator<T> where T : INumber<T> | ||
| { | ||
| public static bool Vectorizable => true; | ||
|
|
||
| public static T Invoke(T x, T y) => T.MaxNumber(x, y); | ||
|
|
||
| [MethodImpl(MethodImplOptions.AggressiveInlining)] | ||
| public static Vector128<T> Invoke(Vector128<T> x, Vector128<T> y) | ||
| { | ||
| if (typeof(T) == typeof(float) || typeof(T) == typeof(double)) | ||
| { | ||
| if (AdvSimd.IsSupported && typeof(T) == typeof(float)) | ||
| { | ||
| return AdvSimd.MaxNumber(x.AsSingle(), y.AsSingle()).As<float, T>(); | ||
| } | ||
|
|
||
| if (AdvSimd.Arm64.IsSupported && typeof(T) == typeof(double)) | ||
| { | ||
| return AdvSimd.Arm64.MaxNumber(x.AsDouble(), y.AsDouble()).As<double, T>(); | ||
| } | ||
|
|
||
| return | ||
| Vector128.ConditionalSelect(Vector128.Equals(x, y), | ||
| Vector128.ConditionalSelect(IsNegative(y), x, y), | ||
| Vector128.ConditionalSelect(Vector128.Equals(y, y), Vector128.Max(x, y), x)); | ||
| } | ||
|
|
||
| return Vector128.Max(x, y); | ||
| } | ||
|
|
||
| [MethodImpl(MethodImplOptions.AggressiveInlining)] | ||
| public static Vector256<T> Invoke(Vector256<T> x, Vector256<T> y) | ||
| { | ||
| if (typeof(T) == typeof(float) || typeof(T) == typeof(double)) | ||
| { | ||
| return | ||
| Vector256.ConditionalSelect(Vector256.Equals(x, y), | ||
| Vector256.ConditionalSelect(IsNegative(y), x, y), | ||
| Vector256.ConditionalSelect(Vector256.Equals(y, y), Vector256.Max(x, y), x)); | ||
| } | ||
|
|
||
| return Vector256.Max(x, y); | ||
| } | ||
|
|
||
| [MethodImpl(MethodImplOptions.AggressiveInlining)] | ||
| public static Vector512<T> Invoke(Vector512<T> x, Vector512<T> y) | ||
| { | ||
| if (typeof(T) == typeof(float) || typeof(T) == typeof(double)) | ||
| { | ||
| return | ||
| Vector512.ConditionalSelect(Vector512.Equals(x, y), | ||
| Vector512.ConditionalSelect(IsNegative(y), x, y), | ||
| Vector512.ConditionalSelect(Vector512.Equals(y, y), Vector512.Max(x, y), x)); | ||
| } | ||
|
|
||
| return Vector512.Max(x, y); | ||
| } | ||
|
|
||
| public static T Invoke(Vector128<T> x) => HorizontalAggregate<T, MaxNumberOperator<T>>(x); | ||
| public static T Invoke(Vector256<T> x) => HorizontalAggregate<T, MaxNumberOperator<T>>(x); | ||
| public static T Invoke(Vector512<T> x) => HorizontalAggregate<T, MaxNumberOperator<T>>(x); | ||
| } | ||
| } | ||
| } |
Oops, something went wrong.