Ensure the managed fallback for negate handles float properly

Author: tannergooding

src/libraries/System.Private.CoreLib/src/System/Numerics/Vector_1.cs

@@ -576,7 +576,22 @@ public static Vector<T> operator >>(Vector<T> value, int shiftCount)
         /// <param name="value">The vector to negate.</param>
         /// <returns>A vector whose elements are the unary negation of the corresponding elements in <paramref name="value" />.</returns>
         [Intrinsic]
-        public static Vector<T> operator -(Vector<T> value) => Zero - value;
+        [MethodImpl(MethodImplOptions.AggressiveInlining)]
+        public static Vector<T> operator -(Vector<T> value)
+        {
+            if (typeof(T) == typeof(float))
+            {
+                return value ^ Vector.Create(-0.0f).As<float, T>();
+            }
+            else if (typeof(T) == typeof(double))
+            {
+                return value ^ Vector.Create(-0.0).As<double, T>();
+            }
+            else
+            {
+                return Zero - value;
+            }
+        }
 
         /// <summary>Returns a given vector unchanged.</summary>
         /// <param name="value">The vector.</param>

src/libraries/System.Private.CoreLib/src/System/Runtime/Intrinsics/Vector128_1.cs

@@ -337,7 +337,22 @@ public static Vector128<T> operator >>(Vector128<T> value, int shiftCount)
         /// <returns>A vector whose elements are the unary negation of the corresponding elements in <paramref name="vector" />.</returns>
         /// <exception cref="NotSupportedException">The type of the vector (<typeparamref name="T" />) is not supported.</exception>
         [Intrinsic]
-        public static Vector128<T> operator -(Vector128<T> vector) => Zero - vector;
+        [MethodImpl(MethodImplOptions.AggressiveInlining)]
+        public static Vector128<T> operator -(Vector128<T> vector)
+        {
+            if (typeof(T) == typeof(float))
+            {
+                return vector ^ Vector128.Create(-0.0f).As<float, T>();
+            }
+            else if (typeof(T) == typeof(double))
+            {
+                return vector ^ Vector128.Create(-0.0).As<double, T>();
+            }
+            else
+            {
+                return Zero - vector;
+            }
+        }
 
         /// <summary>Returns a given vector unchanged.</summary>
         /// <param name="value">The vector.</param>

src/libraries/System.Private.CoreLib/src/System/Runtime/Intrinsics/Vector256_1.cs

@@ -335,7 +335,22 @@ public static Vector256<T> operator >>(Vector256<T> value, int shiftCount)
         /// <returns>A vector whose elements are the unary negation of the corresponding elements in <paramref name="vector" />.</returns>
         /// <exception cref="NotSupportedException">The type of the vector (<typeparamref name="T" />) is not supported.</exception>
         [Intrinsic]
-        public static Vector256<T> operator -(Vector256<T> vector) => Zero - vector;
+        [MethodImpl(MethodImplOptions.AggressiveInlining)]
+        public static Vector256<T> operator -(Vector256<T> vector)
+        {
+            if (typeof(T) == typeof(float))
+            {
+                return vector ^ Vector256.Create(-0.0f).As<float, T>();
+            }
+            else if (typeof(T) == typeof(double))
+            {
+                return vector ^ Vector256.Create(-0.0).As<double, T>();
+            }
+            else
+            {
+                return Zero - vector;
+            }
+        }
 
         /// <summary>Returns a given vector unchanged.</summary>
         /// <param name="value">The vector.</param>

src/libraries/System.Private.CoreLib/src/System/Runtime/Intrinsics/Vector512_1.cs

@@ -335,7 +335,22 @@ public static Vector512<T> operator >>(Vector512<T> value, int shiftCount)
         /// <returns>A vector whose elements are the unary negation of the corresponding elements in <paramref name="vector" />.</returns>
         /// <exception cref="NotSupportedException">The type of the vector (<typeparamref name="T" />) is not supported.</exception>
         [Intrinsic]
-        public static Vector512<T> operator -(Vector512<T> vector) => Zero - vector;
+        [MethodImpl(MethodImplOptions.AggressiveInlining)]
+        public static Vector512<T> operator -(Vector512<T> vector)
+        {
+            if (typeof(T) == typeof(float))
+            {
+                return vector ^ Vector512.Create(-0.0f).As<float, T>();
+            }
+            else if (typeof(T) == typeof(double))
+            {
+                return vector ^ Vector512.Create(-0.0).As<double, T>();
+            }
+            else
+            {
+                return Zero - vector;
+            }
+        }
 
         /// <summary>Returns a given vector unchanged.</summary>
         /// <param name="value">The vector.</param>

src/libraries/System.Private.CoreLib/src/System/Runtime/Intrinsics/Vector64_1.cs

@@ -389,7 +389,22 @@ public static Vector64<T> operator >>(Vector64<T> value, int shiftCount)
         /// <returns>A vector whose elements are the unary negation of the corresponding elements in <paramref name="vector" />.</returns>
         /// <exception cref="NotSupportedException">The type of the vector (<typeparamref name="T" />) is not supported.</exception>
         [Intrinsic]
-        public static Vector64<T> operator -(Vector64<T> vector) => Zero - vector;
+        [MethodImpl(MethodImplOptions.AggressiveInlining)]
+        public static Vector64<T> operator -(Vector64<T> vector)
+        {
+            if (typeof(T) == typeof(float))
+            {
+                return vector ^ Vector64.Create(-0.0f).As<float, T>();
+            }
+            else if (typeof(T) == typeof(double))
+            {
+                return vector ^ Vector64.Create(-0.0).As<double, T>();
+            }
+            else
+            {
+                return Zero - vector;
+            }
+        }
 
         /// <summary>Returns a given vector unchanged.</summary>
         /// <param name="value">The vector.</param>